feat(W36 Lane W'): wave36_volt_stack_witness.json — VoltStack assertions sibling to t27#659

[gHashTag]

Wave-36 Lane W' — wave36_volt_stack_witness.json (assertions sibling to t27#659)

Mission

Lane W' (assertions) for Wave-36 ONE SHOT trinity-fpga#130 — voltage-stacking witness manifest paired with the Coq proofs landed in gHashTag/t27#659 @ d2b43cf7.

What's in the file (125 lines)

assertions/wave36_volt_stack_witness.json — companion to existing assertions/avs_witness.json (Wave-36 Lane X' merged earlier) and assertions/lut_npu_witness.json (Wave-35 Lane V').

Sections:

1. voltage_ladder — 3-tier ladder T_NearRet=550 mV < T_Cruise=750 mV < T_Active=1000 mV, strictly monotone, mutually distinct, 2-bit per-island encoding.
2. island_arithmetic — 48 = 3 × 16 decomposition (Trinity strands × sacred-ALU opcodes), strict growth over W34 TOM baseline (28).
3. wakeup_budget — 8 ns < 50 ns budget, 42 ns headroom (4 reconfig cycles @ 400 MHz + 4 PLL settle).
4. w_105_a_falsifier — R7 falsifier witness leakage_observed_permille >= leakage_floor_permille, 102 ‰ observed vs 90 ‰ floor (9.0 % leakage save floor). Freeze 2026-10-31, eval 2026-12-15, fail_stop.
5. tops_w_projection — × 1.10 over W35 LUT-NPU baseline 270 → 297 TOPS/W on TTIHP27a generic synth.
6. pipeline_chain_witness — depth 7, OP_LUT_LOOKUP → OP_BITROM_READ → OP_SPARSE_SKIP → OP_NOC_FORWARD → OP_HOLO_MUX_1X2 → OP_LUT_NPU → OP_AVS_RECONF.
7. coq_citation — gHashTag/t27 trios-coq/IGLA/VoltStack.v, 20 lemmas + 8 bonus Avs.v proof fixes, headline Theorem volt_stack_passes_w105a, merge SHA d2b43cf7.

Why it's needed

• IGLA RACE army needs a JSON-discoverable witness for the W36 voltage tier surface (Coq lives in a sibling repo).
• R5-honest status traces from runtime assertions → JSON → .v file via coq_citation.merge_sha.
• Sibling lanes (Rust witness, RTL, PhD chapter) consume this manifest as their input ledger.

Constitutional compliance

• R-SI-1 — pipeline_chain_witness.synth_star_count = 0, r_si_1_compliant = true
• R4 L-R14 — every numeric constant has Coq lemma backing (see coq_citation.lemmas)
• R5 HONEST STATUS — all 20 lemmas Qed-closed; merge SHA included for verification
• R7 FALSIFICATION WITNESS — w_105_a_falsifier with freeze/eval dates and fail_stop
• R8 FALSIFICATION — pre-registered before silicon eval (2026-12-15)
• R18 LAYER-FROZEN — sacred ROM L0 untouched (pipeline excludes OP_LOAD_PHYSICS_CONST)

Sibling status

Lane	Repo	Status
W (Coq)	gHashTag/t27	✅ MERGED #659 @ d2b43cf7
W' (JSON)	gHashTag/trios	THIS PR
W'' (Rust witness)	gHashTag/tt-trinity-max-true	pending
U (RTL volt_stack_controller.sv)	gHashTag/trinity-fpga	pending
W''' (PhD Glava 82)	gHashTag/trios	pending

Anchor

phi^2 + phi^-2 = 3 · gamma = phi^-3 · C = phi^-1 · G = pi^3 gamma^2 / phi
QUANTUM BRAIN 1:1 SILICON · 3-STRAND DNA · TRI NET · NEVER STOP
DOI 10.5281/zenodo.19227877

Signed-off-by: Vasilev Dmitrii <admin@t27.ai> · ORCID 0009-0008-4294-6159

Closes #883