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