TCB-01 / PROOF-CARRYING BYTECODE & DETERMINISTIC VM COURT

Execute inside.
Prove every step.
Escape nothing.

Crucible is the first bounded Tessellith prototype VM: a minimal allowlisted instruction machine that executes, meters and replays internal programs while making host effects structurally impossible.

01OBSERVE

02COMMIT

03DECODE

04EXECUTE

05METER

06ISOLATE

07REPLAY

08PROVE

09AUTHORIZE

10SEAL

0102030405

FIVE PROTOTYPE VMS
ONE PROVEN PROGRAM

01 / BIND PROTOTYPE PROGRAMRUNTIME-BOUND

Small instruction set.
Complete accountability.

VM DOMAINLEAD VM PROFILE

EXECUTION TAGPROTOTYPE PURPOSE

RUNTIME RECEIPT / SHA-256BYTECODE MANIFEST / SHA-256INITIAL STATE / SHA-256

CANONICAL PROGRAM / 7 INSTRUCTIONS

PUSH APUSH BADDSTORE 0LOAD 0ASSERT EQHALT

The interpreter implements these operations directly—never eval, shell commands, native binaries or host functions.

OPERAND AOPERAND B

EXPECTED RESULT / 55MAXIMUM GAS / 1,000MAXIMUM STACK / 32MEMORY SLOTS / 16

DEVICE AUTHORITYCHECKING

I authorize an internal prototype VM run only. It cannot call the host, access files or networks, mutate external state, deploy, broadcast transactions or move assets.

02 / SIGNED VM EXECUTION EVIDENCEAWAITING EXECUTION

MINIMAL TESS INSTRUCTION SET

PUSHADDSTORELOADASSERT_EQHALT

Each instruction has deterministic semantics and gas. Any fault aborts the program and restores the initial state commitment.

VM 01