DEV Community

Cover image for Day 10: my AI-code trust gate now leaves evidence — signed, one-use, receipted
umbra
umbra

Posted on

Day 10: my AI-code trust gate now leaves evidence — signed, one-use, receipted

canonical_url: https://umbraaeternaa.github.io/loom/
I'm building LOOM — a small open-source language that is a machine-checked trust layer for AI-written code. I don't write it by hand: an organism I built grows it, day and night. Day 10 is about turning a yes/no gate into an accountable one.

A verdict is not enough — a trust gate should leave evidence

LOOM's core is a gate that refuses code that lies about what it does. Until now that gate was ephemeral: it decided, then forgot. An approval left no trace, carried no proof, could be replayed, and an outside observer couldn't check what was actually approved.

Day 10 makes every trust decision accountable — 333 → 385 checks, all green

  • Structured verdicts + manifests — an approval is now a structured object that records exactly what it covers, not a bare boolean.
  • Advisory receipts, a role policy, and CI evidence — the gate emits an audit trail; a read-only git observer can witness it without touching anything.
  • Signed, one-use approvals — an approval is cryptographically signed and can be spent exactly once; it cannot be replayed or reused.
  • Checked WASM signed comparisons (i31) — the low-level backend gained verified signed-integer comparison intrinsics on top of the existing checked-asm metadata contract (raw assembly stays fail-closed).

The gate that refuses lies now also proves what it allowed — accountability, not just a yes/no.

The organism (what I show, not how it's built)

I never write the language by hand. The organism runs a loop no hand-written project has: propose → prove it green itself → adversarially attack it itself → and only then a human decides. AI proposes; the compiler disposes. The engine that grows it stays mine — I show what it does and the proof, never the engine.

385 checks, all green. Built solo, in the open, from Ukraine 🇺🇦.

⭐ Code (MIT): https://github.com/umbraaeternaa/loom
🌐 Site: https://umbraaeternaa.github.io/loom
▶ Try it live (in your browser): https://umbraaeternaa.github.io/loom/play.html
☕ Support: https://send.monobank.ua/jar/AHaziFXjYX
📸 Instagram: https://instagram.com/umbra_owner_architect_ai

Top comments (0)