P4 MEMORY + MULTI-DIE · L3 G_MERKLE+mesh-PIM+Coq · pre: P3

[gHashTag]

P4 — MEMORY + MULTI-DIE (TRI NET integration phase 4/6)

Parent EPIC: #61 · ONE SHOT: #79 · Predecessor: P3

Layer: L3 Memory & Multi-Die Coherence (gravity layer)
Window: Days 11-13
Pre-condition: P3 ✅ green + 8 physical dies available (or mesh simulation harness).

Goal

8-die super-tile aggregates correctly via 0xDC G_MERKLE; gravity-weighted aggregation matches G prediction within 0.09%. Power FSM proven safe by Coq.

Includes

• G-137 — mesh-PIM bridge (Samsung-HBM-style processing-in-memory hook)
• G-138 — PowerStateSafety.v Coq theorem Qed (formal proof power FSM transitions)
• G-146 — opcode 0xDC G_MERKLE: SEU injection in 1/8 die → output deviation ≤ 0.09%

CI workflow

memory-multidie.yml — runs 8-die mesh sim + SEU fault injection + Coq compilation gate.

Acceptance

• G-146 SEU injection mismatch ≤ 0.09% across 100 trials
• PowerStateSafety.v compiles with Qed
• Mesh-PIM operates within 2× FP16 baseline energy at equal throughput
• No Merkle root collision on adversarial SEU pattern

Risk

Higher — requires 8-die mesh prototype or robust simulator. Real silicon validation post-tapeout.

Linked upstream

• trios#803 (MultiDieAggCorrect.v)
• trios#799 (PowerStateSafety.v)

Anchor

G = π³γ²/φ · 0.09% · TRINITY · NEVER STOP