Code-X v1.22.7
A hardening patch: a protocol invariant that lived in prose convention is now a declared, checker-parsed fact — and 95 more gate clauses now prove they fail for the RIGHT reason. 594 self-tests · 487 gate clauses each proven to bite · consistency strict-clean · installer 26/26.
What's new
- The conflict-scan version floor is now a declared anchor, not a prose convention (PBF-PROP-023). When a protocol-improvement proposal is queued, the checker verifies its conflict scan wasn't run against stale history — using a "floor" commit it used to find by grabbing the FIRST backtick-quoted sha anywhere in the current version's history row. That's positional prose: an innocent citation reorder could silently move the floor, and a hex-looking non-commit produced misleading mass failures. Now the current version's row must declare exactly one structured
base=`<40-hex sha>`token. Zero tokens, two tokens, or a sha that isn't a real commit each fail CLOSED with their own plain-English message — and both legacy fallbacks (first-sha scan and git-blame) are deleted, proven gone by 6 new adversarial tests (hijack, missing, duplicate, non-commit, legacy row shape, malformed token). - 95 gate clauses now prove they fail for the right reason (PBF-PROP-021 remainder). A contract clause used to only prove "the gate rejects this bad fixture" — it could start failing for a completely different (wrong) reason and stay green. Every pre-existing clause that lacked a cause-specific
expect_containssubstring now carries one, each verified against the real failure output, closing the audit backlog. - EVAL-057 and EVAL-058 registered; the shipped VERSION-HISTORY template documents the new
base=token rule for fresh installs recording their own folds.
Verify it yourself
git clone https://github.com/1984-alt/code-x.git && cd code-x/plugins/code-x/skills/code-x
python3 checkers/tests/run.py # 594 tests, OK
python3 checkers/tests/run_contracts.py # all 487 gate clauses bite
python3 checkers/cx --version # cx — Code-X V1.22.7Full details in CHANGELOG.md.