Four short papers on making AI-assisted work re-checkable

I have released four short papers on one idea: making AI-assisted work re-checkable.

• EMET — a byte-level integrity witness whose verdict {MATCH, DRIFT, UNVERIFIABLE} cannot, by construction, express “trusted.” Four independent implementations, 44 conformance vectors.
• BuildLang — a compiler that puts ambient capabilities in the function type and seals re-derivable receipts verified by re-execution.
• Witnessed Independence — a mechanism that records whether a verifier graded its own work, and refuses to decide when independence is not witnessed.
• Proof Packets — an envelope for one agent action whose verdict is derived from checks, so a claim can never vouch for itself.

Source and tests for all four are public.

Papers: https://harperz9.github.io/publications.html