Additional Information
Record status
Two signed corrections were issued on 6 and 7 September 2026. The 7 September correction addresses the axioms of the sealed Lean source. In the repaired source, the single-governor result is conditional on a named hypothesis on the signature predicate.
Neither correction alters the sealed paper, its timestamps, or the sealed provenance record.
The corrected Lean 4 source, the corrections and the verification record are held on the private record of AgentOBO Inc. They are not publicly available.
Verified, not ratified.
Announcement
Welcome! Check out my new announcement.
Appointed Intelligence™ and the Algorithm of Trust Delegated™: a full architecture for who may act, on whose behalf, under what intent, with what proof, and how that authority can be withdrawn.