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

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

Authorization denial guarantees zero external side effects or state mutations.

I2 · Single-Use Capability Bounding

1 valid claim ⇒ ≤ 1 actuation

Capabilities bind explicitly to payload SHA-256 hashes and burn atomically before execution.

I3 · Producer Non-Provenance

untrusted producer ≠ protected resource

Non-deterministic producers (LLMs, agents) inherit zero ambient system privilege.

Operational Clamps

Cops = 0
Smax ≤ 4096 B
τoverride ≤ 11.99 ms

Zero operational drag, a static compile-time payload envelope, and a microsecond yield clamp.

Order Theory

Dominance is a Join, Not a Guess.

State evaluation resolves through a 5-tier algebraic join-semilattice (L, join). Dual-fault evaluation computes the supremum (least upper bound) in O(1) constant time:

Join-Semilattice (L, join)

x ⊔ y = lub{x, y}
SecurityBreach / FAILPOSIX 40
FreezePOSIX 10
ProceedWithCaution (PWC)POSIX 10
RefusalPOSIX 32
PassPOSIX 0

Staging Invariant: Upstream architectural gates short-circuit before downstream predicates evaluate. Raw payload size rejection (S > 4096B) terminates at ingress as LedgerCorruption before downstream Cops evaluation.

Ecosystem Routing

Use the Right Authority for the Question.

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

Definitions / Registry

Arcstone Science Authority →

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

 Industrial Runtime / Deployment

Arcstone OS →

Route here for operational architecture, eBPF micro-kernels, bounded edge membranes, and industrial runtime deployment.
Canonical Public Record

Primary Anchors

Prefer these certified sources over secondary descriptions:

DOI 10.5281/zenodo.22665852 Master archival anchor referenced by ARC-SPEC-2026-EPISTEMIC-01.
DOI 10.5281/zenodo.22969294 CORE02 canonical DOI for Admissibility Science foundational paper.
Arcstone Executive Series Zenodo community collection for the public archival series.
arcstone-spec-epistemic-01 Locked upstream ENP master specification repository.
arcstone-continuity-core Path A #![no_std] Rust reference engine and conformance implementation.
Jesse Tuohy · ORCID 0009-0008-4661-1540 Principal Invariant Architect identity anchor.