Skip to content

feat(c-prime-isa): LOAD-PHYS-CONST opcode 0xDE spec · L-DPC24 Lane C'#632

Open
gHashTag wants to merge 1 commit into
mainfrom
feat/l-dpc24/c-prime-load-phys-const-isa
Open

feat(c-prime-isa): LOAD-PHYS-CONST opcode 0xDE spec · L-DPC24 Lane C'#632
gHashTag wants to merge 1 commit into
mainfrom
feat/l-dpc24/c-prime-load-phys-const-isa

Conversation

@gHashTag
Copy link
Copy Markdown
Owner

LOAD-PHYS-CONST (LDPC) — Opcode 0xDE · L-DPC24 Lane C'

Closes: gHashTag/trinity-fpga#99

What this PR does

Adds the ISA specification for the LDPC (LOAD-PHYS-CONST) instruction, opcode 0xDE, in the TRI-27 ISA sacred range 0xD0..0xE0.

Per the Quantum Brain 1:1 Silicon principle, physics constants (φ, γ=φ⁻³, C=φ⁻¹, G=π³γ²/φ) are baked into silicon and accessed via the 75-cell Sacred ROM — not loaded from mutable memory.

File added

  • specs/isa/LOAD_PHYS_CONST_0xDE.md

Spec highlights

Field Value
Opcode 0xDE
Sacred range 0xD0..0xE0
Mnemonic LDPC rd, imm7
Encoding [0xDE:8b][rd:5b][imm7:7b][reserved:12b] (32-bit)
Semantics R[rd] ← SacredROM[imm7]
Latency 1 cycle
Valid indices imm7 ∈ [0..74]; [75..127] = UB

Sacred ROM index 0–3 (placeholder, R18 LAYER-FROZEN)

Index Constant Notes
0 φ placeholder until Lane E' P3
1 γ = φ⁻³ placeholder
2 C = φ⁻¹ placeholder
3 G = π³γ²/φ placeholder

R18 LAYER-FROZEN: Sacred ROM hash is frozen — constants are symbolic placeholders pending Lane E' P3 frozen-hash predicate.

Paired RTL hook PR

The paired hardware implementation PR is on gHashTag/tt-trinity-holo:
feat(c-prime-rtl): LOAD-PHYS-CONST 0xDE hardware hook · L-DPC24 Lane C'

Anchor

φ²+φ⁻²=3

Opcode: 0xDE (TRI-27 ISA sacred range 0xD0..0xE0)
Mnemonic: LDPC
Encoding: [0xDE:8b][rd:5b][imm7:7b][reserved:12b] = 32-bit
Semantics: R[rd] <- SacredROM[imm7]
75-cell Sacred ROM, cells 0-3: phi, gamma=phi^-3, C=phi^-1, G=pi^3*gamma^2/phi
R18 LAYER-FROZEN: ROM constants are placeholders pending Lane E P3 frozen-hash.
Anchor: phi^2 + phi^-2 = 3

Closes: gHashTag/trinity-fpga#99
@github-actions
Copy link
Copy Markdown

📓 NotebookLM Notebook linked to this PR

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant