prometeu-runtime/docs/specs/pbs/files/PRs para Junie.md

PR-25 — Core IR Invariants Test Suite

Goal

Lock in correct semantics before touching the VM.

Required Invariants

• Every Begin* has a matching End*
• Gate passed to Begin* is available at End*
• No storage writes without BeginMutate
• No silent fallbacks

Tests

• Property-style tests or golden IR assertions

---

STOP POINT

After PR-25:

• Core IR correctly represents PBS HIP semantics
• Lowering is deterministic and safe
• VM is still unchanged

Only after this point may VM PRs begin.

Any VM work before this is a hard rejection.

---

Instruction to Junie

If any rule in this document is unclear:

• Stop
• Add a failing test
• Document the ambiguity

Do not invent behavior.

This document is binding.