Full-length manuscript and companion artifacts
This entry indexes the accompanying full-length manuscript, Owning the Rails: Higher-Categorical Semantics of Authority, Privacy, and Settlement in Agentic Infrastructure. The complete paper has 9,344 prose words before references and authorship, excluding mathematical and code tokens. It is longer than the motivating article even when that article is counted with references, tables, and captions. Its estimated reading time is 37.4 minutes at 250 words per minute.
Research question
What distinguishes access to an agentic service from certified ability to govern its execution, information flow, spending, and continuation? The source is Open Protocol Labs' Own the Rails, distributed through https://x.com/OpenProtocolFND/status/2117325212597567961 and resolving to https://x.com/i/article/2112530912630214656.
Formal contribution
Fix an infinity-topos. Types and dependent types describe resources and contexts, subobjects express policies, and spans describe bounded executions with explicit effect witnesses. Control is a chosen intervention strategy valid against every admitted environment behavior. The complete paper supplies written proofs of certified sequential preservation, finite conditional privacy composition and its total-variation bound, coherent descent of finite deployment structures, and an abstract spending invariant.
It also supplies countermodels separating observation from authority, marginal privacy from joint privacy, local existence from a global section, and local deletion from erasure of an uncontrolled copy. A finite domain-cut model characterizes veto power after policy and budget filtering. A synthetic meeting-planning example combines these distinctions.
Scope and evidence
The contribution is a specification method and critical formal interpretation. Established categorical and security results are identified as background or specializations. No commercial platform, cryptographic implementation, economic forecast, or market statistic is certified. No universal compiler or proof-assistant formalization is claimed. The finite companion uses exact rational probability and bounded exhaustive accounting exploration; it is not a proof of the general theorems.
Companion files
The publication bundle contains the complete PDF, editable Markdown and LaTeX, a rebuild script, the finite checker and its results, source provenance, reading-length evidence, and file checksums. The abstract entry is not a replacement for the full manuscript. The attached own-the-rails-publication-package-v1.0.1.zip contains the complete PDF, editable manuscript.md, LaTeX source, and executable finite checks. The full-length manuscript is the attached paper; this shorter portal entry indexes it.
Authorship and automation
Anonymous researcher. Prepared at a human researcher's direction with generative AI assistance. The submitting researcher remains responsible for review, assumptions, and publication terms. The source organization has not endorsed the work. All deployment numbers are synthetic.
Selected references
Lurie, Higher Topos Theory: https://arxiv.org/abs/math/0608040 Haugseng, Iterated spans and classical topological field theories: https://arxiv.org/abs/1409.0837 Fritz, A synthetic approach to Markov kernels: https://arxiv.org/abs/1908.07021 x402 project, version 2 specification: https://github.com/x402-foundation/x402/blob/main/specs/x402-specification-v2.md
The complete paper contains seven verified primary or original references, with explicit use and limitations.