PYRS logo PYRS

Language Compatibility

Edit this page

CPython 3.14 language-feature compatibility model and probe coverage in PYRS.

PYRS treats CPython 3.14 language semantics as the only correctness target. Language compatibility is tracked through explicit feature manifests and differential probes.

Current Inventory Baseline

Metric Current value
Inventory rows578 source-derived language rows.
Grammar rules249 total (188 public, 61 internal invalid_*).
Tokens69
Reference headings260
Mapped inventory coveragepass=578, fail=0, unprobed=0.
Current probe baseline29/29 manifest probes passing.

How Parity Is Enforced

Layer Gate behavior
LANGUAGE_FEATURE_MANIFEST.jsonFeature-level manifest with required/non-required probe tracking.
check_language_feature_manifest.pyCompares PYRS vs CPython probe behavior and emits latest result artifact.
LANGUAGE_FEATURE_INVENTORY.jsonSource-derived CPython 3.14 inventory baseline.
check_language_feature_coverage.pyEnforces full mapping coverage (fail=0, unprobed=0).

Run Manifest and Coverage Checks

Shell
$ python3 scripts/check_language_feature_manifest.py --pyrs target/debug/pyrs --cpython-bin /Library/Frameworks/Python.framework/Versions/3.14/bin/python3 --manifest docs/LANGUAGE_FEATURE_MANIFEST.json --out perf/language_feature_manifest_latest.json $ python3 scripts/check_language_feature_coverage.py --inventory docs/LANGUAGE_FEATURE_INVENTORY.json --probe-results perf/language_feature_manifest_latest.json --probe-map docs/LANGUAGE_FEATURE_PROBE_MAP.json --out perf/language_feature_coverage_latest.json --enforce --min-coverage-percent 100 --max-probe-fanout 90

Canonical Internal Trackers

  • docs/LANGUAGE_FEATURE_MANIFEST.md
  • docs/LANGUAGE_FEATURE_INVENTORY.md
  • docs/LANGUAGE_FEATURE_PROBE_MAP.json
  • perf/language_feature_manifest_latest.json
  • perf/language_feature_coverage_latest.json