oathe / primitives
Every unit of work is an oathe.
Six primitives define how work happens. Enforcement lives in the state of the work, not in a classifier reading the agent's words — a lease expires, the work requeues. Nothing reads the reason.
WorkClaim An obligation with one owner and one lifecycle. Outlives every process assigned to it. why it exists: the duplicate-session pileup
VerificationContract The standard the work is judged against — frozen at dispatch, before the agent runs. why it exists: our yield gate fired 28 times. wrong all 28
EffectReceipt Did the email send? Claim → attempt → receipt → reconcile. Unknown is a bounded state with a named resolver. why it exists: replay re-fired an external effect
ContextCompilation Context is compiled from company state with full provenance — every source, hash, and omission recorded. why it exists: seven uncoordinated injection paths
ScopeBound Tools, servers, model, budget — computed per claim from authority, enforced before the harness runs. why it exists: ambient config leaked into sessions
Settlement "Done" is a claim; only verification settles it. Replays can't settle twice. why it exists: an agent said done. it wasn't.