# Adventure

- **Event:** [Meta Global AI Developer Hackathon](https://cerebralvalley.ai/e/meta-ai-developer-hackathon)
- **When:** Oct 26, 12:00 PM – Nov 4, 9:00 PM (EST)
- **Where:** Online
- **Team:** [Dan Hartas](https://cerebralvalley.ai/u/Adventure)
- **GitHub:** https://github.com/DanHartas/discovery-public
- **Demo video:** https://www.youtube.com/watch?v=ad6GKFtX598
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3368

## 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

## More from Meta Global AI Developer Hackathon

- [LantentOra](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3365)
- [Little Take](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3366)
- [Melosome Group](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3367)
- [Rauros Systems](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3369)
- [Akanksha Sharma](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3370)
- [Dyad](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3371)

---

Markdown version of https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3368. Site index for agents: https://cerebralvalley.ai/llms.txt · full text: https://cerebralvalley.ai/llms-full.txt