docs: correct migration-era residue and stale counts - #51
Merged
Conversation
- opy-hir-v1.md: rewrite the retired 'compatibility adapter' producer framing; the native opy-frontend lower stage produces the payload and the clean-room boundary forbids importing the reference AST - hir/types.rs, opy-frontend lib.rs, probes/validate.py: fix stale version/location comments and the wrong runnable validate.py path - fixtures/README + upstream-references.md: scope the dated 2026-08-17 oracle re-run to the 27 snapshots that existed then; correct the synthetic count (28: initial ported set plus in-repo additions) without fabricating a new verification date - support-matrix.json semantics/diagnostics note: replace the stale '13-code contract' with a pointer to the documented stable-code table - support-matrix.md: fix synthetic corpus evidence paths (missing synthetic/ segment) - compatibility/README.md: replace the nonexistent 'opy-rs compat' producer example with a generic placeholder and note diff.py has no in-repo producer - tooling-api.md: document the CheckOutcome.post_compile_hook field Entropy audit candidate 3 (migration-residue doc drift). No wire format, provenance record, or support semantics changed.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Entropy-audit cut (2026-08-22 audit, candidate 3, Risk A/B): one pass
correcting documentation and comments that still describe the retired
"wright adapter" architecture or carry stale counts. No wire format,
provenance record, or support semantics changes.
docs/hir/opy-hir-v1.md— rewrite the retired "compatibilityadapter" producer framing. The payload is produced by the native
opy-frontendlowering stage in this repository; the clean-room boundary(never import the reference implementation's AST) is stated explicitly.
§6 no longer cites reference-internal class names (
__add__, …).Normative JSON definitions are untouched.
crates/opy-frontend/src/hir/types.rs— header claimed version1.0.0and located the spec "in the wright repository"; both wrong.crates/opy-frontend/src/lib.rs— dead in-repo pathcrates/wright-opyreworded to an explicit wright-repository provenancereference.
crates/opy-frontend/src/manifest/probes/validate.py— thecopy-pasteable run command pointed at the pre-migration path; fixed, plus
the stale depth-label comment.
compatibility/fixtures/README.md+docs/compatibility/upstream-references.md— the dated 2026-08-17 oracle re-run is now scoped to the 27 snapshots
that existed at that date (verified via
git ls-treeof the recordingcommit), instead of silently conflicting with the current 42. The
synthetic count is corrected to 28 (initial ported set plus in-repo
additions). No new verification date is fabricated.
compatibility/support-matrix.json(semantics/diagnosticsnote) —the stale "13-code contract" is replaced by a pointer to the stable-code
table in
docs/opy/tooling-api.md(36 codes documented), which is theauthoritative, drift-resistant source.
docs/opy/support-matrix.md— synthetic evidence paths were missingthe
synthetic/path segment; all cited paths verified to exist.compatibility/README.md— thediff.pyexample invoked anonexistent
opy-rs compatcommand; replaced with a generic placeholderplus a note that the native comparison runs through the Rust
differential suite.
docs/opy/tooling-api.md— document the existingCheckOutcome.post_compile_hookfield (record-only semantics, issue Integrate OPY lowering and end-to-end compatibility with workshop-rs #8).Validation
cargo fmt --all -- --checkcargo clippy --workspace --all-targets --all-features -- -D warningscargo test --workspace --all-targets --all-features(differential suitere-ran with the updated support matrix; all green)
python3 -m unittest discover -s compatibility/tests(20 tests OK)rgsweeps: zero "adapter" mentions left in the HIR spec; no stalecrates/wright-opyin-repo paths,opy-rs compat,13-code, orunscoped 27-snapshot claims remain.