Now
Current Focus
Short-form updates on the Rust runtime, evidence, and claim-hygiene work in motion right now.
The primary focus right now is the Rust evidence-runtime stack: hardening Recall, proving Gloss chat runtime behavior, and connecting ClaimLedger to Gloss as a claim/evidence compiler.
Active tracks
- Recall - enforcing daemon-owned authority, runtime truth, receipts, doctor reports, and repair packet generation.
- Gloss - proving desktop chat produces visible tokens, visible errors, or durable attempt traces for every prompt.
- ClaimLedger - turning raw claim compilation into source-spanned bundles, support judgments, contradiction records, review queues, and testimony exports for Gloss.
- Libraries - keeping canonical Rust crates, satellite utilities, and quantization research separated by explicit support boundaries.
Want more detail? Browse the Projects, the Lab, or the latest Writing.