Prior art
Defensive publications.
Post Oak Labs publishes these under CC0 1.0 (public domain dedication) to establish dated prior art for mechanisms built into the OpenChainGraph standard. Publication does not claim patent rights and does not grant any warranty of applicability to a specific claim - it simply fixes a date on which this description was public.
Compilation of a Passkey-Signed Work Mandate into a Machine-Checkable Execution-Gating Policy
A method for converting a human-authored, passkey-signed Work Mandate document into a compiled, machine-checkable policy that constrains an autonomous agent's runtime execution and is carried forward into every receipt the agent produces.
Deterministic Forward-Only Decision-Gated Workflow Chains with Both-Branch Coverage Proofs
A method for structuring a receipted computation workflow as a directed, forward-only sequence of steps and decision gates, where the chain definition carries a machine-checkable proof that every branch of every gate is reachable and terminates.
Binding a Computation Execution Receipt Hash to an Independent External Timestamp Anchor
A method for binding a content-hashed execution receipt to one or more external timestamp anchors (RFC 3161 TSAs, OpenTimestamps, RFC 9162 Certificate Transparency), so any holder can independently prove the receipt existed by a given time and has not been altered.
All three publications above share one Zenodo record: doi.org/10.5281/zenodo.21343520. The dated record on this domain is the primary prior-art evidence independent of the DOI.