P1 SACRED FOUNDATION · L0 Sacred Core · R17 mutation test · pre: none

[gHashTag]

P1 — SACRED FOUNDATION (TRI NET integration phase 1/6)

Parent EPIC: #61 · ONE SHOT: #79

Layer: L0 Sacred Core (axiom substrate)
Window: Days 1-3 to Wave-15-TT-E (2026-05-15..05-17)
Pre-condition: none — entry point.

Goal

Verify R17 axiomatic synth-gate works: mutation in PHI_NUMERATOR Verilog parameter MUST cause make synth exit non-zero. No silent fallback.

Includes

• G-15 — sacred opcodes 0xD0..0xD7 verify φ²+φ⁻²=3 at synth (carry v17)
• G-148 — R17 mutation test: change PHI_NUMERATOR → Yosys elab assert fires
• Coq theorem TrinityIdentity.v Qed-verified
• Sacred ROM init with φ=1.6180339887, γ=0.2360679775, C=0.6180339887, π=3.1415926536
• Reserved opcode range 0xD0..0xDF documented

CI workflow

r17-sacred-physics.yml — runs mutation test on every PR touching rtl/sacred/.

Acceptance

• TrinityIdentity.v compiles with Qed.
• make synth with original PHI_NUMERATOR=1618 → success
• make synth with mutated PHI_NUMERATOR=1619 → exit code ≠ 0
• Yosys log shows ERROR: TrinityIdentity assertion failed
• ROM init data matches phi/gamma/C/pi constants byte-exactly

Risk

None — pure constants and elaboration-time check.

Anchor

φ² + φ⁻² = 3 · R17 SACRED-PHYSICS · TRINITY · NEVER STOP