Skip to content

fix(opy): converge semantic failure frontiers - #166

Merged
Teakowa merged 1 commit into
mainfrom
codex/issue-162-semantic-resolution
Sep 2, 2026
Merged

fix(opy): converge semantic failure frontiers#166
Teakowa merged 1 commit into
mainfrom
codex/issue-162-semantic-resolution

Conversation

@e54-bot

@e54-bot e54-bot commented Sep 2, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Move invalid range binders and four-dimensional indexed assignments to the source semantic failure frontier.
  • Preserve stable source-attributed diagnostics and update compiler/differential/conformance expectations.
  • Reclassify canonical-WIR residuals to the lowering boundary and remove obsolete integration-only assertions.

Validation

  • cargo fmt --all -- --check
  • cargo clippy --locked --workspace --all-targets --all-features -- -D warnings
  • cargo test --locked --workspace --all-targets --all-features
  • python3 -m unittest discover -s compatibility/tests
  • Offline conformance: 63 fixtures; Converge semantic resolution and catalog-backed source conformance exposed by #158 #162 probes match.
  • Independent ablation confirmed the semantic regression fails when the new guards are removed.

Fixes #162

Move invalid range binders and four-dimensional assignments to the source semantic boundary, update conformance ownership, and retain canonical-WIR residuals for later work.

Fixes #162
@Teakowa
Teakowa merged commit 9939d7d into main Sep 2, 2026
5 checks passed
@Teakowa
Teakowa deleted the codex/issue-162-semantic-resolution branch September 2, 2026 09:25
@e54-bot e54-bot mentioned this pull request Sep 2, 2026
@e54-bot e54-bot mentioned this pull request Sep 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Converge semantic resolution and catalog-backed source conformance exposed by #158

2 participants