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

PR-11 — Cross-Layer Conformance Tests: Core→VM→Bytecode (HIP)

Goal

Prove end-to-end determinism and stability.

Required Tests

1. PBS snippet (or Core IR fixture) that:

• allocates a storage struct
• mutates a field
• peeks value

Assert:

• VM IR contains:

  • Alloc(type_id, slots)
  • GateBeginMutate/EndMutate
  • GateStore(offset)
  • GateBeginPeek/EndPeek
  • GateLoad(offset)
  • RC ops (retain/release)

2. Bytecode golden output for the same program:

• assert the exact bytes match the frozen ISA/ABI.

Non-goals

• No runtime execution

---

STOP POINT (Hard Gate)

• HIP access is fully deterministic
• RC events are explicit and testable
• HIP ISA/ABI v0 is frozen with golden bytecode tests

Only after this point may we implement/tune:

• Gate Pool
• Heap allocation
• RC counters + safe point reclaim
• Traps at runtime