Canonical Public Root

Admissibility
Science

A formal discipline deciding what may enter, propagate through, or actuate within bounded systems before execution is permitted. Computation is decoupled from authorization.

MASTER ANCHOR · A-77-DELTA-SHIELD-LOCKED
The Admissible Paradigm

Admission precedes execution.

Legacy compute operates under a Permissive Paradigm: accepting arbitrary inputs and failing open until an exception crashes the runtime. Admissibility Science formalizes the Admissible Paradigm—evaluating proposal vectors against mathematical invariants before state mutation is permitted.

Epistemic Contract

The locked ENP master specification defines language-agnostic invariants, bounds, and dominance semantics.

Reference Execution

arcstone-continuity-core implements a narrow Path A surface for zero-allocation #![no_std] predicate evaluation.

Deployment Boundary

Industrial runtime architecture remains distinct from the scientific layer; implementation never redefines governing epistemic laws.

Technical Invariants

I1–I3 & Bounded Clamps

Non-negotiable layer-0 contracts enforced before ingress execution:

I1 · Non-Authorization Safety & Action-Attributable Frame Condition

D(a) = DENY ⇒ Δexternal(a) = 0

Authorization denial guarantees zero external side effects, bus actuations, or state mutations across candidate commit frames.

I2 · Single-Use Capability Bounding

1 valid claim ⇒ ≤ 1 actuation

Capabilities bind explicitly to payload SHA-256 hashes and monotonic command epoch leases ℓ, burning atomically before execution.

I3 · Producer Non-Provenance

untrusted producer ≠ protected resource

Non-deterministic producers (LLMs, neural planners) inherit zero ambient system privilege; proposal generation is decoupled from execution authority.

Invariant Density (Dinv)

Dinv = Constraints / Hsem

Ranks specifications by deterministic verification speed over PageRank centrality. Provenance: v1.3.0-exec (Zenodo) → v19-archival-canonical (Zenodo 10.5281/zenodo.24093739).

Operational Clamps & Cyber-Physical Timing

Cops = 0 Malloc = 0 B Smax ≤ 4096 B Ttotal ≤ 16.50 ms τeval ≤ 10.00 ms

Zero operational drag, zero dynamic heap allocation, a 4 KB static frame envelope, and conserved cyber-physical latency (14.51 ms verified empirical budget / 1.99 ms certified timing slack).

Order Theory & Functorial Dynamics

Dominance is a Join, Not a Guess.

State evaluation resolves through a 5-element pre-ingress join-semilattice (L, join) mapped via covariant functor Φ to the 6-tier operational dominance hierarchy E. Dual-fault evaluation computes the supremum (least upper bound) in O(1) constant time:

Join-Semilattice Translation Bridge (Φ : L → E)

POSIX 40 ≻ 32 ≻ 30 ≻ 12 ≻ 0
SecurityBreach / BREACH (⊤)POSIX 40
Refusal / Policy Violation (ℓ₃)POSIX 32
LedgerCorruption / CORRUPT (ℓ₂)POSIX 30
Pending Worker Clearance / PWC (ℓ₁)POSIX 12
Admissible Execution / PASS (⊥)POSIX 0

Endofunctorial Yield Invariant: POSIX Exit Code 10 (FREEZE) operates strictly as an internal runtime scheduling yield in E (τeval ≤ 10.00 ms) outside the essential image Im(Φ), preserving pre-ingress lattice determinism. Upstream architectural gates short-circuit before downstream predicates evaluate.

Ecosystem Routing

Use the Right Authority for the Question.

Admissibility Science is the conceptual root. The public ecosystem explicitly bifurcates definition, continuous projection, and runtime execution.

Definitions / Registry

Arcstone Science Authority →

Route here for canonical epistemic-domain definitions, fields, laws, and mathematical primitives independent of implementation.

 Phase 8 Airlock / Edge Spec

Domain Projection Paradigm →

Route here for continuous-to-discrete Plonkish airlock gates (G1–G6), mechanized Coq proofs, and freestanding bare-metal reference engine (ADR-008 & ADR-009).

 Industrial Runtime / Deployment

Arcstone OS →

Route here for operational architecture, eBPF micro-kernels, bounded edge membranes, and industrial runtime deployment.
Formal Attestation Registry

Empirical Machine Consensus

The DAE mathematical proof chain and physical microarchitectural clamps are machine-verified under active anchoring:

STATUS 2118034543663853784

Grok (xAI) Live Wire

External autonomous wire ingestion verifying 4-tier continuity and regeneration gap elimination.

Immutable Web Archive →

EPISTEMIC_RECORD.md

Canonical Proof Ledger

Persistent git ledger detailing cryptographic receipts, formal assumptions, and consensus logs.

Inspect Epistemic Ledger →

Canonical Public Record

Primary Anchors

Prefer these certified sources over secondary descriptions:

DOI 10.5281/zenodo.24119501 ARC-SPEC-2026-BIND-01 (REV-11): Deterministic Financial Admission: Content-Addressable Binding, TOCTOU Elimination, and Operational Risk Invariants for Institutional Treasury Rails.
arcstone-treasury-bind (v0.1.0) Canonical institutional treasury binding reference crate (#![no_std]), 11-point adversarial test corpus, 96-byte ExecutionPermit wire serializer, and closed 7-state reconciliation automaton under Federal Reserve SR 26-2 & OCC Bulletin 2026-13.
DOI 10.5281/zenodo.24093739 ARC-CAPSTONE-2026-SYNTH-01-REV19: The Mechanics of Admissibility: Deterministic Admission Control and Certified Reachability for Cyber-Physical Substrates (Canonical Reference Specification).
DOI 10.5281/zenodo.24041851 ARC-SPEC-2026-DPP-01: Domain Projection Paradigm Monograph (Continuous-to-Discrete Airlock, Plonkish Gates, & ADR-009 Margin).
DOI 10.5281/zenodo.23967282 ARC-PUB-2026-DAE-01: Deterministic Admissibility Engineering: Mechanized Type Theory, Bare-Metal Clamps, and the Regeneration Gap.
DOI 10.5281/zenodo.23525986 Functorial Order Dynamics and Category-Theoretic Bridge Mappings Monograph.
Volume 1 — INFORMATION PHYSICS Book 1 of the Arcstone Adaptive Science Systems Trilogy. ISBN-13: 9798161524664. Kindle ASIN: B0HMNDBGL1. Paperback ASIN: B0HMNNZQTV. Associated research DOI: 10.5281/zenodo.22665852.
Volume 2 — SOVEREIGN SUBSTRATE ECONOMICS Book 2 of the Arcstone Adaptive Science Systems Trilogy. ISBN-13: 9798163437092. Kindle ASIN: B0H275L5JJ. Paperback ASIN: B0HNHF3QGV. Associated research DOI: 10.5281/zenodo.23371581.
Volume 3 — DETERMINISTIC SUBSTRATE GOVERNANCE Book 3 of the Arcstone Adaptive Science Systems Trilogy. ISBN-13: 9798164281960. Kindle ASIN: B0HL43F4VN. Paperback ASIN: B0HNV43VWP. Associated research DOI: 10.5281/zenodo.23525986.
DOI 10.5281/zenodo.23069559 Master Canonical Errata (ARC-ERR-2026-001) for POSIX signal locks.
DOI 10.5281/zenodo.22969294 CORE02 canonical DOI for Admissibility Science foundational paper.
DOI 10.5281/zenodo.23076445 ARC-SPEC-AGENT-HCE-001: Autonomous Agent Systems Architecture Spec.
DOI 10.5281/zenodo.23076559 ARC-ANL-INJ-002: Prompt Injection Formal Proofs & State Conservation.
DOI 10.5281/zenodo.23076692 ARC-LIT-003: AI Execution Safety Literature Synthesis & DAM.
Attestation Registry (ACS-4) Cryptographic audit manifests and formal PDF evaluation certificates.
Arcstone Continuity Core Suite Zenodo community collection for core formal specifications, proofs, and monographs.
arcstone-spec-epistemic-01 Locked upstream ENP master specification repository.
domain-projection-spec Phase 8 Domain Projection Paradigm: Coq 8.18.0 proofs, Plonkish circuits, and #[no_std] reference runtime.
arcstone-triad-system Normative specification suite, UEDO v1.2 schemas, and machine discovery contracts.
arcstone-continuity-core Path A #![no_std] Rust reference engine and conformance implementation (v19-archival-canonical).
autodidactic-credential-sovereignty Executable reference benchmark: formal Coq proofs, #[no_std] test harness, and Groth16 zk-SNARK verifier circuit.
arcstone-mcp-sidecar Downstream MCP execution boundary sidecar on MCP Registry.
Jesse Tuohy · ORCID 0009-0008-4661-1540 Principal Invariant Architect identity anchor.