Arkiv Ideathon · August 2026 · Open lane · Other
Two recordings, both subtitled — toggle captions with the CC button. The first is the design actually running; the second walks through the entry. Nothing is deployed and nothing is staged.
Demo · the claim, running
One real-time take, nothing cut: a certificate written with a 40-second lifetime goes green, then red, while the query on screen never changes and no date is ever compared. The gate check is gateCheck() imported unmodified from layak.sketch.ts — the same function the invariants run — against MemArkiv, the executable spec. Run it yourself: demo/ (the certificate there lasts two minutes).
Walkthrough
A narrated pass over the live write-up: the problem under Permenaker 8/2020, the entity model, the queries, and what deliberately stays off Arkiv. Page: layak.html.
Evidence behind both: submissions/evidence/. The other entry lives at selisih.html.