Feature · Emulators
*** UNIVERSAL SHD-CCP TRACKER ***
AKASHIC UPLINK SECURE
> RUN SIMULATION > ISSUE SEED
█
AKASHIC UPLINK SECURE
> RUN SIMULATION > ISSUE SEED
█
Proofer Terminal · PROOF-64
The C64 proof terminal — emulator + cartridge issuer in one. Mount a knowledge cartridge, step the Lean-SHD proof state with the Felis / Canis inspector, then chain-issue new seeds.
Power on →
Owl Amiga Proof Workbench 1.3
Topology.library v33
Trefoil.device v33
Insert proof cartridge ▸
Topology.library v33
Trefoil.device v33
Insert proof cartridge ▸
Proof Workbench (Amiga-class)
16-bit class workbench for richer, interactive proof cartridges. Same cartridge format, deeper rendering surface.
Boot Workbench →
Feature · Cartridge Makers
⬢ chained-seed issuer
◈
Proofer Terminal · Seed Issuer
The terminal's ISSUE CHAINED SEED tab — generate a wrapped, Akashic-chained cartridge payload the Proofer Terminal can mount & stamp.
⬢ Instructor+ to seal
◈
Workbench Cartridge Maker
Build richer Amiga-class cartridges (abstract, body, tags, interactive flag) with the same seal + priority stamping.
Cartridge Library
Proof · Canonical
Torsional Trefoil Markov Pump
Proof · Experimental
Hyperbolic Sparsemax Pump
Empty slot
＋ Insert cartridge later
Empty slot
＋ Insert cartridge later
The library will fill as you author cartridges — these slots are placeholders you can populate later.
Cartridge Format
Emulators and makers share one self-describing JSON artifact (cartridge.js). It carries a tamper-evident seal and the author's tier-based priority, so trust travels with the proof.
{
"format": "owl-proof-cartridge", "version": 1,
"machine": "c64" | "amiga",
"id": "ttmpt-pump", "title": "…", "abstract": "…", "tags": ["…"],
"author": { "genesisId": "0x…", "tier": "ARCHON|INSTRUCTOR|ACOLYTE" },
"priority": "canonical | validated | experimental",
"payload": { "kind": "proof|interactive", "body": "…markdown…", "program": "" },
"seal": "fnv1a-of-canonical-content"
}
Security: the emulator recomputes seal and quarantines any altered cartridge; payload bodies render escaped (never raw HTML) and program is not evaluated.