ONE SHOT · Wave-34 L-DPC31 · TOM Ternary ROM Accelerator (Lever #4)
Anchor: φ² + φ⁻² = 3 · γ = φ⁻³ · C = φ⁻¹ · G = π³γ²/φ
DOI: 10.5281/zenodo.19227877
Predecessors: Wave-29 TENET sparsity (5/5 lanes landed 2026-05-16, opcode 0xE1)
Squeeze doc: TT_SQUEEZE_V34_TOM_TERNARY_ROM.md (S-201..S-208)
TOPS/W projection: 195 → 225 (Wave-29 stack + TOM static-power gating, ×1.15)
1 · Mission
Add Lever #4 TOM Ternary ROM Accelerator to TRI-1 silicon stack:
- New opcode
OP_LAYER_GATE = 0xE2 extending sacred chain 0xDE → 0xDF → 0xE0 → 0xE1 → 0xE2
- Per-layer power gating across 28 voltage islands (28 BitNet b1.58-3B blocks)
- Standard-cell ROM weight tile (arXiv:2602.20662) — net area savings vs SRAM
- Layer-residency predictor LUT (256 entries, BitNet 2B4T trace)
- Falsification predicate W-103-A: layer-idle fraction ≥ 0.5 at batch=1 decode (freeze 2026-08-15, fail-stop)
Stacks orthogonally on Wave-29: TENET = dynamic-energy lever, TOM = static-energy lever. They compound.
2 · Five Lanes (parallelisable, 7 dev-days total)
| Lane |
Strand |
Repo |
Deliverable |
Effort |
Status |
| Y |
Proof (Coq) |
gHashTag/t27 |
Lemma tom_no_star + 12+ Qed, alphabet ext to 0xE2 |
1d |
UNCLAIMED |
| Y' |
Spec (JSON) |
gHashTag/trios |
assertions/wave34_tom_layer_gate.json with W-103-A |
0.5d |
UNCLAIMED |
| Y'' |
Witness (Rust) |
gHashTag/tt-trinity-max-true |
tri1-tom-witnesses crate, w_103_a_layer_idle_bound test |
0.5d |
UNCLAIMED |
| U |
RTL (SystemVerilog) |
gHashTag/trinity-fpga |
rtl/tom/tom_layer_gate_controller.sv + testbench |
2d |
UNCLAIMED |
| Y''' |
PhD (Glava 80) |
gHashTag/trios |
docs/phd/chapters/ch80_tom_layer_gate_wave34.tex ≥ 1500 lines |
3d |
UNCLAIMED |
Claim a lane by commenting claim: lane <X> below.
3 · Acceptance Criteria
Lane Y (Coq)
Lane Y' (JSON predicate)
- File:
assertions/wave34_tom_layer_gate.json (NEW)
- Predicate W-103-A:
{"id": "W-103-A", "metric": "layer_idle_fraction", "lower_bound": 0.5, "trace": "BitNet b1.58-3B batch=1 decode", "freeze": "2026-08-15", "fail_stop": true}
- Cites: t27 PR #, tt-trinity-max-true PR #<Lane Y''>
- R7-pre-reg block + JSON-schema draft-07 validation passes
Lane Y'' (Rust witness)
- New crate
tri1-tom-witnesses (workspace member, additive only)
pub const LAYER_IDLE_LOWER_BOUND: f64 = 0.5
#[test] fn w_103_a_layer_idle_bound() — post-silicon will measure; pre-silicon test uses cached simulation trace
- All numeric constants labelled
// PRE-SILICON ESTIMATE
- R-SI-1 zero-
* on synthesizable code (n/a here, but no * in arithmetic constants)
- SPDX Apache-2.0 header
Lane U (RTL)
- New module
rtl/tom/tom_layer_gate_controller.sv:
- FSM 5 states ACTIVE → DRAINING → OFF → WAKING → ACTIVE
- Decodes opcode
8'hE2
- Outputs:
[27:0] layer_vdd_enable (one bit per voltage island), [15:0] idle_fraction_q16, [3:0] wave34_marker = 4'b1111
- Threshold:
idle_fraction_q16 >= 16384 (Q0.15 representation of 0.5) → assert that ≥ 50% layers gated
- Testbench under
tb/tom/:
- test_all_active (idle_fraction=0)
- test_half_gated (idle_fraction == 0.5)
- test_full_gated (idle_fraction == 1.0)
- test_opcode_mismatch
- iverilog/verilator runner script
- README with provenance: cites Lane Y
tom_no_star, Lane Y' JSON predicate, Lane Y'' Rust crate
// PRE-SILICON ESTIMATE: +0.1 mm² net (ROM tile − SRAM block), +3 mW controller, − 12 mW idle leakage header
Lane Y''' (PhD Glava 80)
- File:
docs/phd/chapters/ch80_tom_layer_gate_wave34.tex (NEW)
- ≥ 1500 lines · ≥ 2 peer-reviewed citations · ≥ 1 theorem with proof
- Sections: 80.1 Motivation, 80.2 Prior Work (TOM arXiv:2602.20662, BitNet residency), 80.3 Theory (Theorem 80.1: Layer-Idle Power-Saving Lower Bound), 80.4 Sacred Opcode
OP_LAYER_GATE=0xE2, 80.5 Coq Mechanisation (cites Lane Y), 80.6 Rust Witness W-103-A (cites Lane Y''), 80.7 Pre-Silicon Cost Model, 80.8 Falsification Appendix R7, 80.9 Reproducibility Manifest (pin SHAs of all 5 Wave-34 PRs), 80.10 Coq Citation Map, 80.11 Limitations & Future Work
- R3 / R5 / R6 / R7 / R8 / R12 / R14 / R18 / Apache-2.0 / No-Священн* / No-Cyrillic enforced
4 · Pre-Registered Falsification W-103-A (R7)
{
"id": "W-103-A",
"wave": 34,
"lever": "TOM-static-power-gate",
"claim": "layer_idle_fraction >= 0.5 at BitNet b1.58-3B batch=1 decode",
"lower_bound": 0.5,
"measurement": "hardware counter on OP_LAYER_GATE 0xE2 events, GPG-signed verdict.json",
"freeze": "2026-08-15",
"evaluation": "post silicon return 2026-10-15",
"fail_stop": true,
"consequences_if_fail": "Wave-34 lever REJECTED, TOPS/W projection 225 retracted, fallback to Wave-29 195 baseline"
}
Text frozen per this ONE SHOT §4. Cannot be modified after dispatch.
5 · Constitutional Invariants
- R5-HONEST — every projection labelled PRE-SILICON ESTIMATE; gain ×1.15 traced to arXiv:2602.20662
- R7 — W-103-A pre-registered above with fail-stop policy
- R8 —
Vasilev Dmitrii <admin@t27.ai> author identity on all commits
- R14 — Coq citation map in each artifact; Theorem 80.1 ↔
RMarker.v Lemma tom_no_star
- R15 — sacred-synth-gate: opcode chain
0xDE → 0xDF → 0xE0 → 0xE1 → 0xE2 preserved
- R18 — LAYER-FROZEN: purely additive, no Wave-29 RTL or t27 alphabet entry modified
- Apache-2.0 — SPDX header on every new file
- R-SI-1 — zero
* in synthesizable code
- NO new R{19+}
6 · Sequencing
- W32 system-integration close (W32-G2) required before W34 TOPS measurement
- W34 spec layer (Y / Y' / Y'' / U / Y''') executable immediately — analogous to Wave-29 lanes
- Lane U RTL design proceeds in parallel with W32 system integration
- Joint TOPS verdict at silicon-return 2026-10-15 (H_W28 + H_W33 + H_W34)
7 · Active Artifacts
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
S-201..S-208 · 6/6 LEVERS ARMED · LEVER #4 TOM · TARGET 225 TOPS/W
DOI 10.5281/zenodo.19227877
ONE SHOT · Wave-34 L-DPC31 · TOM Ternary ROM Accelerator (Lever #4)
Anchor: φ² + φ⁻² = 3 · γ = φ⁻³ · C = φ⁻¹ · G = π³γ²/φ
DOI: 10.5281/zenodo.19227877
Predecessors: Wave-29 TENET sparsity (5/5 lanes landed 2026-05-16, opcode
0xE1)Squeeze doc:
TT_SQUEEZE_V34_TOM_TERNARY_ROM.md(S-201..S-208)TOPS/W projection: 195 → 225 (Wave-29 stack + TOM static-power gating, ×1.15)
1 · Mission
Add Lever #4 TOM Ternary ROM Accelerator to TRI-1 silicon stack:
OP_LAYER_GATE = 0xE2extending sacred chain0xDE → 0xDF → 0xE0 → 0xE1 → 0xE2Stacks orthogonally on Wave-29: TENET = dynamic-energy lever, TOM = static-energy lever. They compound.
2 · Five Lanes (parallelisable, 7 dev-days total)
Lemma tom_no_star+ 12+ Qed, alphabet ext to 0xE2assertions/wave34_tom_layer_gate.jsonwith W-103-Atri1-tom-witnessescrate,w_103_a_layer_idle_boundtestrtl/tom/tom_layer_gate_controller.sv+ testbenchdocs/phd/chapters/ch80_tom_layer_gate_wave34.tex≥ 1500 linesClaim a lane by commenting
claim: lane <X>below.3 · Acceptance Criteria
Lane Y (Coq)
Lemma tom_no_star : forall p, In OpLayerGate (sacred_alphabet p) -> no_star_in pOP_LAYER_GATEcoq/IGLA/RMarker.vLemma tenet_no_starPR Specification: three physical widths circulate for one TNF rung (16 / 17 / 19), and three instruments each picked a different one #644 @367a7baLane Y' (JSON predicate)
assertions/wave34_tom_layer_gate.json(NEW){"id": "W-103-A", "metric": "layer_idle_fraction", "lower_bound": 0.5, "trace": "BitNet b1.58-3B batch=1 decode", "freeze": "2026-08-15", "fail_stop": true}Lane Y'' (Rust witness)
tri1-tom-witnesses(workspace member, additive only)pub const LAYER_IDLE_LOWER_BOUND: f64 = 0.5#[test] fn w_103_a_layer_idle_bound()— post-silicon will measure; pre-silicon test uses cached simulation trace// PRE-SILICON ESTIMATE*on synthesizable code (n/a here, but no*in arithmetic constants)Lane U (RTL)
rtl/tom/tom_layer_gate_controller.sv:8'hE2[27:0] layer_vdd_enable(one bit per voltage island),[15:0] idle_fraction_q16,[3:0] wave34_marker = 4'b1111idle_fraction_q16 >= 16384(Q0.15 representation of 0.5) → assert that ≥ 50% layers gatedtb/tom/:tom_no_star, Lane Y' JSON predicate, Lane Y'' Rust crate// PRE-SILICON ESTIMATE: +0.1 mm² net (ROM tile − SRAM block), +3 mW controller, − 12 mW idle leakageheaderLane Y''' (PhD Glava 80)
docs/phd/chapters/ch80_tom_layer_gate_wave34.tex(NEW)OP_LAYER_GATE=0xE2, 80.5 Coq Mechanisation (cites Lane Y), 80.6 Rust Witness W-103-A (cites Lane Y''), 80.7 Pre-Silicon Cost Model, 80.8 Falsification Appendix R7, 80.9 Reproducibility Manifest (pin SHAs of all 5 Wave-34 PRs), 80.10 Coq Citation Map, 80.11 Limitations & Future Work4 · Pre-Registered Falsification W-103-A (R7)
{ "id": "W-103-A", "wave": 34, "lever": "TOM-static-power-gate", "claim": "layer_idle_fraction >= 0.5 at BitNet b1.58-3B batch=1 decode", "lower_bound": 0.5, "measurement": "hardware counter on OP_LAYER_GATE 0xE2 events, GPG-signed verdict.json", "freeze": "2026-08-15", "evaluation": "post silicon return 2026-10-15", "fail_stop": true, "consequences_if_fail": "Wave-34 lever REJECTED, TOPS/W projection 225 retracted, fallback to Wave-29 195 baseline" }Text frozen per this ONE SHOT §4. Cannot be modified after dispatch.
5 · Constitutional Invariants
Vasilev Dmitrii <admin@t27.ai>author identity on all commitsRMarker.v Lemma tom_no_star0xDE → 0xDF → 0xE0 → 0xE1 → 0xE2preserved*in synthesizable code6 · Sequencing
7 · Active Artifacts
TT_SQUEEZE_V34_TOM_TERNARY_ROM.md(workspace)