feat(coq): ICA-W40-001 Lane Q1 — OP_NULL_PE→0xEA, OP_SPEC_EXIT→0xEB

[gHashTag]

ICA-W40-001 Lane Q1 — Coq Opcode Rectification

Resolves hard opcode collisions verified on master.

Collisions Fixed

Old	Conflicting Constants	New
0xE6 (230)	OP_NULL_PE ↔ OP_HOLO_MUX_X4	OP_NULL_PE → 0xEA (234)
0xE7 (231)	OP_SPEC_EXIT ↔ OP_DFS_GATE	OP_SPEC_EXIT → 0xEB (235)

Canonical Opcode Map (post-rectification)

0xE5 OP_SUBTH_CLK    (W37, post ICA-W38-001)
0xE6 OP_HOLO_MUX_X4  (W39 H)            — KEEP
0xE7 OP_DFS_GATE     (W40)              — KEEP
0xE8 OP_SPARSE_SKIP  (W41)              — KEEP
0xE9 OP_STOCH_ROUND  (W42)              — KEEP
0xEA OP_NULL_PE      (W38, relocated)   ← Lane Q1 (this PR)
0xEB OP_SPEC_EXIT    (W39 E, relocated) ← Lane Q1 (this PR)

Files Changed

• trios-coq/Physics/NullorReversible.v — OP_NULL_PE := 234 (was 230)
• trios-coq/Physics/SpeculativeExit.v — OP_SPEC_EXIT := 235 (was 231)
• docs/NOW.md — ICA-W40-001 entry at top

Companion Lanes (parallel under ICA-W40-001)

• Q2 RTL → trinity-fpga rtl/nullor/nullor_pe.sv 8'hE6→8'hEA, rtl/spec_exit/spec_exit_pipeline.sv 8'hE7→8'hEB
• Q3 Rust → tt-trinity-max-true nullor-witness + spec-exit-witness opcode constants
• Q4 JSON → trios assertions/nullor_witness.json + assertions/spec_exit_witness.json

Constitutional Compliance

Rule	Status
R1 RUST/ZIG ONLY	✅ Coq + JSON (allowed in proof tier)
R5 HONEST	✅ Provenance preserved, no silent drops
R7 Falsification	✅ Witnesses retained, only constant changed
R15 SACRED-SYNTH-GATE	✅ Sacred opcodes 0xD0..0xE0 untouched
R18 LAYER-FROZEN	✅ 75 Sacred ROM cells preserved

Verification

grep -E "OP_NULL_PE|OP_SPEC_EXIT" trios-coq/Physics/*.v
trios-coq/Physics/NullorReversible.v:Definition OP_NULL_PE : nat := 234.
trios-coq/Physics/SpeculativeExit.v:Definition OP_SPEC_EXIT : nat := 235.

Anchor

φ² + φ⁻² = 3 · γ = φ⁻³ · C = φ⁻¹ · G = π³γ²/φ
DOI 10.5281/zenodo.19227877 · NEVER STOP

Closes #148

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

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.