Preprint / scholarly article

Observable-Only Proof-Carrying Autonomy (OOPCA): Audit Compression and Hybrid Proof/Replay Gating for No-Meta Agents

K. Takahashi

Published
DOI
10.5281/zenodo.18453429

Full text PDF (Zenodo)

Abstract

The preprint introduces OOPCA, a hybrid proof-and-replay audit mode for observable-only no-meta agents that compresses verifier workload by replacing selected deterministic replay segments with pinned proof verification, while preserving fail-closed semantics, evidence closure, and deterministic fallback receipts.

Keywords

  • OOPCA
  • proof-carrying autonomy
  • audit compression
  • no-meta
  • observable-only
  • deterministic replay
  • hybrid proof replay
  • fail-closed verification
  • evidence closure
  • pinned semantics
  • verifier workload

Identifiers and source records