These papers share one bet: that AI-assisted work is only trustworthy when its result is re-checkable: a verdict you can re-derive yourself, that says plainly what it does not claim, and that fails to UNVERIFIABLE rather than to trust. Each paper is deliberately scoped to the size its code and proofs actually support. Where a result is a design and a shipped artifact rather than a measured breakthrough, it says so.
Source and tests for every paper are public. ORCID 0009-0001-7175-5393. Everything below is archived on Zenodo with a permanent DOI; every one of them is also hosted here, six as direct PDFs and the two corpora as full-text pages you can read without leaving the site. None of it is peer reviewed, and each entry says exactly what it is.
Plate 01Glass debris under edge light: what a claim keeps after everything that could not survive review is gone.
Everything here shares one discipline: a verdict is a re-derivable function of its inputs, carries a machine-readable statement of what it does not claim, and refuses to launder inability into trust. Four papers stake that discipline at four points, integrity witnessing, accountable compute, the independence of the checker, and the record of a single action. Two shorter notes carry it to where automation hands off to a person and where an actuator’s effect is re-perceived rather than self-reported. Two archived corpora hold the philosophical ground the rest of it stands on.
The counts are not decoration. Two systems papers, two published preprints, two research notes, two archived corpora, and the difference between those labels is the difference between what each one has actually earned. A note is not a paper. An archived corpus is not a peer-reviewed publication. Nothing here is peer reviewed at all, and where that changes this page will name the venue.
Papers
EMET: An Authority-Incapable Byte-Level Integrity WitnessA shipped, frozen tool whose verdict lattice (MATCH / DRIFT / UNVERIFIABLE) cannot, by construction, express trusted or approved. Four independent implementations, 44 conformance vectors. Systems paper. · source · PyPI · PDF · Zenodo DOI · arXiv cs.CR (endorsement pending)
BuildLang: Accountable Compute via Typed Capability EffectsA compiler where the capabilities a function may exercise appear in its type, feeding re-derivable codegen and scientific-runtime receipts verified by re-execution, each with a mandatory overclaim boundary. Systems paper. · source · PDF · Zenodo DOI · arXiv cs.PL (endorsement pending)
Witnessed Independence: Recording Whether a Verifier Graded Its Own WorkA small mechanism that turns “a criterion it did not author” from an assumption into a recorded, three-valued field of a verdict, and refuses, at an opt-in boundary, to decide when independence is not witnessed. Published preprint. · source · PDF · Zenodo DOI
Proof Packets: A Derive-Don’t-Trust Envelope for Accountable Agent ActionsA packet for one agent action whose verdict is derived from checks, never read from the packet: a canned MATCH can never win. Missing evidence is UNVERIFIABLE by JSON path, tamper is DRIFT. Published preprint. · source · PDF · Zenodo DOI
Notes
Shorter, and titled at that size deliberately. A note carries one idea far enough to be checked and no further.
The Personhood-Gate Handoff: Drawing the Automation Boundary at the False-Signal LineA counterparty-anchored predicate for owner-driven automation: hand off to the maintainer exactly when a step would transmit a false human-present signal to a third party, so login, CAPTCHA, MFA, attestation, e-signature, and payment fall out as the handoff points, enforced in code rather than left to owner discipline. Novelty stated as modest. Note. · source · PDF · Zenodo DOI
Re-Perceived Effects: A Well-Formedness Contract for Accountable ActuationReplaces an actuator’s self-report with a re-perceived effect (on-disk hash against intended hash, return code, witnessed bytes), admitted before the fact by a capability check and total by construction (UNVERIFIABLE, never an exception). A contract at honest altitude, not a control-theory result. Note. · source · PDF · Zenodo DOI
Archived corpora
Long-form work, deposited whole rather than cut into papers. These are the philosophical ground the engineering stands on, and they are cited as corpora because that is what they are: no venue, no review, a permanent record and a date.
Conferred ExistenceA thesis on made minds: perception, memory, external anchors, legitimate standing, authority, and relation to the world. It asks what a made mind could be owed and held to, and the answer it reaches is the rule the tools enforce, that a verdict reaches exactly as far as its criterion is independently witnessed. Archived research corpus. · read it here · PDF · the argument in brief · Zenodo DOI
The Witnessing SpineThe collected research corpus behind the verification work: the line running from what a bounded agent can honestly claim, through what survives communication between two of them, to the operating rule the software implements. Archived research corpus. · read it here · PDF · the research index · Zenodo DOI
A paper that claims more than its evidence is a liability, not an asset: the first competent reviewer removes the flag. These are titled at their real size on purpose: the honesty is the point, and it is the same property the tools themselves enforce.