feat(W47-QQ'): RBB assertions JSON — 31 IDs, R18 bank extension 0xD0..0xFF

[gHashTag]

Wave-47 Lane QQ' — RBB Assertions JSON

Context

Source-of-truth assertions for Wave-47 L-DPC34 Reverse Body Bias (RBB) — idle-PE leakage recovery via dynamic V_BS = -V_DD·γ⁴ ≈ -2.5 mV bias generation.

ONE SHOT: trinity-fpga#167.
Coq SoT: t27#681 (trios-coq/Physics/RBB.v, 33 Qed, 0 Admitted).
Sacred opcode slot: 0xF1 = 241 OP_RBB — first entry in EXTENDED sacred bank 0xD0..0xFF (R18 ceremony, bank grown 16→32 slots, NO new ROM cell — B007 reused via γ⁴ = B007⁴).

Files

• assertions/wave47_rbb.json (134 lines, 31 IDs W-120-A..AE)

Coverage

Block	IDs	What it locks
R18 bank extension	A..D	32 slots, distinctness 0xD0..0xFF, all W46 opcodes in bank, no new ROM
Coq Lane QQ	E..M	OP_RBB=241, V_BS=-25 dV, γ⁴ bps=31, leakage band 35-50%, active≤1.5%, net≥30%, TOPS lift ≥1.5%, f_clk invariant
Rust Lane QQ''	N..S	crate rbb-witness, OP_RBB const, 12 tests, leakage band, distinctness, γ⁴ identity
RTL Lane RR	T..Y	body_bias_gen.sv (V_BS gen), rbb_controller.sv (decode 0xF1), ≤400 cells, R-SI-1 zero *, ≥15 SVA
PhD Lane QQ'''	Z..AB	glava 107, ≥1500L, ≥2 citep, ≥1 thm
Constitutional	AC..AE	R5 Provenance, R7 falsification, R15 sacred-synth-gate, R18 LAYER-FROZEN

Constitutional Provenance

• R1 ALGEBRAIC ANCHOR — γ⁴ = φ⁻¹² baked in, not parameterised
• R4 L-R14 — every constant traces to RBB.v lemma
• R5 HONEST STATUS — 0 Admitted in source Coq
• R6 ZERO FREE PARAMETERS — V_BS hard-set to γ⁴, no operator knob
• R7 FALSIFICATION — if measured leakage save outside 35-50% band → falsified
• R15 SACRED-SYNTH-GATE — bank extension proved in same ceremony
• R18 LAYER-FROZEN — extended bank 0xD0..0xFF locked; no further extension without R18-v2

Reproduction

jq '.assertions[].id' assertions/wave47_rbb.json | wc -l   # → 31
jq '.constitutional.rules' assertions/wave47_rbb.json      # → R1,R4,R5,R6,R7,R15,R18

Closes

Part of trinity-fpga#167 (Wave-47 L-DPC33→34 Reverse Body Bias).

Anchor

φ² + φ⁻² = 3 · γ⁴ = φ⁻¹² · V_BS = -V_DD·γ⁴ · DOI 10.5281/zenodo.19227877

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