Skip to content

fix(compiler): enforce source and IR acceptance parity - #34

Merged
AetherAI3 merged 4 commits into
mainfrom
codex/acceptance-parity-merge
Aug 19, 2026
Merged

fix(compiler): enforce source and IR acceptance parity#34
AetherAI3 merged 4 commits into
mainfrom
codex/acceptance-parity-merge

Conversation

@AetherAI3

Copy link
Copy Markdown
Owner

Summary

  • reject source programs that would emit unloadable empty IR nodes or empty risk limits
  • reject empty/repeated agent role bodies instead of silently overwriting roles
  • validate v1 parameter scalar types and deterministic numeric domains
  • bound integer literals to 640 significant digits before conversion and reject nonfinite float literals across all source numeric paths
  • publish package 1.0.7; Nano IR remains 0.1.0/1.0.0

Evidence

  • independent adversarial review found and verified fixes for ambient integer-guard leakage and float overflow to Infinity
  • focused merge-entry: 600 passed
  • full: 979 passed, 2 skipped
  • contribution checker: 53 ready
  • all 59 shipped/example sources and paired IR documents compile/load
  • external wheel 1.0.7, catalog 53 with zero diagnostics, protocol constants unchanged
  • receipt golden changes are identity.nanoVersion 1.0.6 to 1.0.7 only

No serialized shape change, ambient network/clock/randomness, broker execution, or performance claim.

@AetherAI3
AetherAI3 merged commit cb81d16 into main Aug 19, 2026
6 checks passed
@AetherAI3
AetherAI3 deleted the codex/acceptance-parity-merge branch August 19, 2026 22:47
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.

1 participant