← Church Machine

Figure 2 — GT Format and Type Field

Bit layout of all four Golden Token types side by side, showing both the Sim-32 (32-bit, Capability) and Sim-64 (64-bit, CTMM) formats. The 2-bit Type field determines hardware behavior: local dereference, remote fetch, fault, or unforgeable constant.

Sim-32 Format (32-bit Golden Token — Capability) Bit positions (MSB left) 31 25 24 8 7 2 1 0 Inform Type=00 Version (7) Index (17) Perms (6) 00 [31:25] [24:8] [7:2] [1:0] Outform Type=01 Version (7) Index (17) Perms (6) 01 NULL Type=10 All zeroes (invalid / empty slot) 10 Abstract Type=11 Encoded Value (30 bits) 11 Unforgeable constant (e.g., pi, e, c). No namespace dereference. Immutable. Permission Bits [7:2] — R W X L S E R=Read(DREAD) W=Write(DWRITE) X=Execute(LAMBDA) L=Load(LOAD) S=Save(SAVE) E=Enter(CALL) Capability Register: 128 bits (4 x 32-bit words) — R0: GT | R1: Location + B-bit(31) | R2: Limit | R3: Version(7) + CRC Seal(16) Sim-64 Format (64-bit Golden Token — CTMM) Bit positions (MSB left) 63 58 57 G 32 31 0 Inform Type=00 Perms(6) G Spare / Version (25) Offset (32) [63:58] [57] [56:32] [31:0] Outform Type=01 Perms(6) G Tunnel ID / Remote Version (25) Remote Offset (32) NULL Type=10 All zeroes (invalid / empty slot) — FAULT on any operation Abstract Type=11 Encoded Constant Value (64 bits) Unforgeable constant. Returns encoded value directly. No namespace dereference. Immutable. Permission Bits [63:58] — R W X L S E R=Read(DREAD) W=Write(DWRITE) X=Execute(LAMBDA) L=Load(LOAD) S=Save(SAVE) E=Enter(CALL) Sim-64 uses inline permissions at the MSB end. G-bit (57) is integrated for PP250 garbage collection liveness tracking. GT Type Field — Hardware Behavior Type Name Semantic Category Hardware Behavior 00 Inform Name (local resource) mLoad: MAC, version, permissions, namespace lookup 01 Outform Name (remote resource) HTTPS fetch/flush or RPC tunnel dereference 10 NULL Empty / invalid FAULT on any operation 11 Abstract Unforgeable constant Returns encoded value; immutable; no dereference
Version / Offset fields
Index / G-bit (GC)
Permission bits (R,W,X,L,S,E)
Outform / remote fields
Abstract (unforgeable constant)
NULL / spare