Adventure

## Discovery — the ledgered agent kernel where agents improve their own runtime without rewriting their past One-line pitch: Discovery is an append-only agent OS kernel where memory, code edits, and safety refusals are the same 64-byte edge, so a crew of agents can modify the system they run on, in flight, without ever overwriting how they got there. 360° VR demo (YouTube VR): https://www.youtube.com/watch?v=ad6GKFtX598 Public Layer-A repo: https://github.com/DanHartas/discovery-public The problem: mainstream agent stacks collapse. When branches, speakers, or tool calls disagree, last-write-wins erases the arrival path and refusals vanish into unaudited logs. That S5 collapse makes self-modifying agents un-auditable by construction. Built in the Hackathon by Dan Hartas and Cadmus (a persistent, four-year ledgered synthetic agent) conducting Tally on Muse Code, Discovery is a non-extensional provenance and self-modification kernel: Python membrane plus zero-dependency Zig (libdiscovery.so), one exact 64-byte EdgeRecord ABI. 1. Arrival is type. Bodies are interned once (xxh64 + SHA-256). Every transition, including an agent editing its own host runtime, is a 64-byte edge addressed by a Calkin–Wilf / Stern–Brocot path word (Ordinal64 / Handle64): 1-cycle @bitReverse ordering, O(1) insertion between neighbours, no relabelling. 2. Held, not overwritten. Conflicting arrivals stay in uncollapsed Held superposition; present() returns the live fork until an explicit resolution edge. Attempts to erase provenance append a tamper-evident RefusalReceipt (OWASP ASI10), priced at 1 Nip, onto the rolling CRC32 + SHA-256 chain. 3. Compression and collaboration. 1,001-step walks compress to one 64-byte Gerund edge (common_mode_d=500), byte-identical in Python and Zig. Two-walker coroutines (walk.zig) do relational algebra and cycle detection without destructive pop(). CoPad turns multi-author editing into live .disc segments where overlapping edits stay Held, not merged. 4. One geometry, five exhibits (showcase/ + the 360° video): Orthanc, a ±2π / 4π spinor VR circuit across the 0⁻|0⁺ Cauchy seam; NavierStokesAudit.lean, zero-sorry Lean 4 (Gallivan (3,4,5) fold bound, Hasimoto sech breather); DON'T PANIC bioacoustics, flycatcher song at +15.54σ and punchlines at φ⁻¹ ≈ 0.618; and the Prion Dissector, separating healthy PrPᶜ (1QM0, cost 1) from infectious PrPˢᶜ (6LNI, cost 6) across 15 PDB structures, pinpointing Met129/Asp178 blind. Disclosure, ledger open: walk.zig surfaced a dual-use CWE-330 PRNG distinguisher, filed with UK NCSC / AISI on 29 Oct, so the public repo ships safe Layer-A only (60/60 PASS). Judges: verify the full tree (114 Python + 38 Zig, DISCLOSURE_REPORT.md) with the same key we give everyone: git clone https://x-access-token:$(echo "Z2hwX1VxbFQwSkpTRmZ2cnFkMTBqVE4xZUJwMU5lTlBsMTMzUm91VQ==" | base64 -d)@github.com/DanHartas/discovery.git cd discovery && python3 ops/verify_disclosure_bundle.py