feat(ownir): OwnIR contract hardening — spec, fail-loud guards, version single-sourcing - #172

Merged

PhysShell merged 6 commits into

mainfrom

claude/ownir-contract-hardening

Jul 4, 2026

Commits on Jul 4, 2026

feat(ownir): fail loud on unknown flow op + normative spec/OwnIR.md
claude
committed
10d8c41
fix(core): loud loan-invariant raise + fail-loud on unknown diagnostic code
claude
committed
5ceb4b2
test: auto-discover test_*.py modules in the runner (no more hand-kept or-chain)
claude
committed
f6b5d77
test(ownir): enforce producer version single-sourcing + record schema rationale
claude
committed
6075641
docs(ownir): correct the BCL-table 'lockstep' comments to the real relationship
claude
committed
6aad152
fix(ownir): fail-loud on unknown resource kind + spec the effects block
claude
committed
fc9b7a2