Pinned Loading

1. linear-ceiling linear-ceiling Public

   Pre-registered experiment record on KV-cache reuse at agent handoffs: same-model drift at re-rendered prompts, cross-model linear transfer, hash-chained ledger, Lean proofs. NeurIPS 2026 LCFM paper.

   Python 1

2. intent-plane intent-plane Public

   Fail-closed authorization gate for agent actions: agents declare intents, a deterministic gate decides, exactly one durable record per irreversible action — every decision re-derivable from the fee…

   Go 1

3. regulatory-rule-engine regulatory-rule-engine Public

   ATLAS ingests regulatory text, extracts candidate legal rules, verifies them through schema, semantic, entailment, cross-rule, and human-review tiers, then compiles approved rules into deterministi…

   Rust