registry state

Engine

Engine is the contract a registered engine satisfies. Methods take and return plain values only, so the engine never receives a reference into registry state (tasarim-v6 §5.4 defence (a)).

SampleSeed

SampleSeed is rendered once at registration; its hash is the fingerprint.

record

Board

Board is registry-owned state that a foreign engine can get a pointer to.

engines

// engine pkgpath -> \*record

board

bumps

Register

Register stores the caller realm's engine. The id is the caller's pkgpath, so a realm can only ever register itself.

RenderWith

RenderWith runs a registered engine. Read-only: reached through qeval.

RenderInTx

RenderInTx runs an engine inside a transaction. UNSAFE PROBE: a qeval discards writes, so this is how the spike observes on chain what engine code can do from a write path — the thing core never does (I-12).

VerifyFingerprint

VerifyFingerprint re-renders the sample and compares it with the hash stored at registration; false means the engine's output changed.

Fingerprint

IsRegistered

SharedBoard

SharedBoard returns a pointer into registry state. UNSAFE PROBE: the spike checks that a foreign engine writing through it is refused by the VM (interrealm v2 §3.2 readonly check).

BoardCount

BoardCount reads the probe target.

UnsafeBump

UnsafeBump is a non-crossing exported function that mutates registry state. UNSAFE PROBE: interrealm v2 §4.1 says a non-crossing call into /r/registry borrows /r/registry's storage, so a foreign engine calling it SHOULD succeed. That is exactly why production core exports no state-changing non-crossing function (invariant I-12).

Bumps

Bumps reads the UnsafeBump counter.

Render

mustRecord

sha256Hex