Building an Independent Verification Oracle
A checker that shares its subject's assumptions cannot falsify anything. How to build a second implementation independent enough to disagree, and how to prove it.
Learn / level
Advanced
3 published pieces at this level.
Idempotent Ingestion Across Heterogeneous Stores
Deriving identifiers so that a redelivered event converges three stores on the same state, without a distributed transaction and without a deduplication table.
Production AI Systems Need Refusal Paths
Every stage that can degrade should be able to decline. Where refusal belongs across ingestion, retrieval, extraction and inference, and what omitting it costs.