Founder & Principal Invariant Architect at Arcstone Adaptive Science Systems, Inc.

🌐 admissibilityscience.com • 🔬 paradigm.admissibilityscience.com • 📝 Substack Research • 💼 LinkedIn • 📚 Amazon Author Central

Core System Invariant: Enforcing deterministic, authorization-first execution boundaries for autonomous agents and continuous physical actuators: D(a) = DENY ⇒ Δ_external(a) = 0.

• Master Specification (Layer 0): arcstone-spec-epistemic-01 — Formal invariant definitions (I₁–I₃) and category-theoretic functor mappings (Φ : L → E).
• Domain Projection Spec (Phase 8): domain-projection-spec — Mechanized Coq 8.18.0 proofs, Plonkish decomposition gates (G1–G6), discrete Gronwall margin witnesses (γ ∈ ℚ), and freestanding #[no_std] reference engine (v0.1.0 / ADR-008 & ADR-009).
• Institutional Treasury Rails Reference: arcstone-treasury-bind — Canonical #[no_std] reference crate (v0.1.0), out-of-band CAS payload isolation (S_max ≤ 4096 B), 96-byte packed ExecutionPermit generation, and closed 7-state reconciliation automaton under Federal Reserve SR 26-2 & OCC Bulletin 2026-13.
• Executable Reference Benchmark: autodidactic-credential-sovereignty — Machine-checked Coq proofs (Print Assumptions ≡ ∅), #[no_std] bare-metal test harnesses, Groth16 ZK circuits, and the Epistemic Elevation Charter (ARC-CHARTER-2026-ELEV01).
• Execution Engine (Path A): arcstone-continuity-core — Zero-allocation, bare-metal #[no_std] Rust deterministic reference predicate.
• Agent Integration Surface: arcstone-mcp-sidecar — Reference execution boundary sidecar published on the Model Context Protocol (MCP) Registry.
• Normative Contracts & Physical Membrane: arcstone-triad-system — UEDO v1.2 schemas, SROS2/eBPF hardware interlocks, and Command MUX adapters (v1.2.0-hardened).
• Decoupled Refinement Airlock (Mechanized Bridge): arcstone-refinement-harness — Downstream translation-validation harness (v0.1.0), Charon LLBC extraction, Aeneas Coq functional emission, and machine-checked forward simulation (Rust_Impl ⊑ Coq_Spec) with zero admitted axioms (Print Assumptions == ∅).
• Turnkey Refinement Airlock Blueprint (Downstream Template): arcstone-airlock-blueprint — Public GitHub template (v0.1.0) packaging a digest-pinned OCI Charon/Aeneas/Coq 8.18.0 airlock (--network none), semantic canary mutant testing, coqchk -o kernel validation, and Sigstore-attested REFINEMENT-AUDIT.json release receipts for bare-metal #![no_std] Rust crates (C_ops = 0).

Focusing on deterministic computational spines, admissibility-first systems, execution boundaries, cyber-physical airlocks, and reproducible research into deterministic control surfaces for high-stakes computational environments.

Authored by Jesse Tuohy

Autonomous systems deployed across high-consequence substrates frequently experience critical state divergence when probabilistic control models interface with asynchronous, physical, or distributed environments. This monograph formalizes the alternative established by the Arcstone Computational Spine (ACS): the Domain Projection Paradigm (DPP / ARC-SPEC-2026-DPP-01). The foundational thesis posits that host-level execution safety is governed by a minimal Layer-0 Universal Kernel (I1–I3) enforcing bare-metal admission contracts on the reference monitor's own transition relation and dispatch path. Defines a formal projection operator, $\Pi_{\text{domain}}$, synthesizing specialized child invariants (I4–I11) and composite cross-domain tensor invariants (I12–I13) with mechanized Coq proofs under zero admitted axioms.

• Canonical Edge Root: paradigm.admissibilityscience.com (Machine-Readable /llms.txt & /AGENTS.md)
• Primary Master DOI (Zenodo): 10.5281/zenodo.24041851
• Primary Suite Record: 10.5281/zenodo.22665852
• Verification Harness: domain-projection-spec
• Refinement Airlock: arcstone-refinement-harness
• Governance Anchors: ADR-008 (Phase 7 Immutability) & ADR-009 (Robust Reachability Margin)
• Master Hash Anchor: A-77-DELTA-SHIELD-LOCKED

Authored by Jesse Tuohy

Formalizes the mathematical, microarchitectural, and operational bounds decoupling execution authority from autoregressive generative proposals. Bridges empty-axiom Coq inductive proofs (Print Assumptions ≡ ∅, Admitted ≡ 0), order-preserving covariant functors (Φ : L → E) mapping a 5-element join-semilattice to a 6-tier operational dominance hierarchy, #[no_std] Rust and eBPF wire-speed ingress filters, and fail-closed physical hardware clamps (D(a) = DENY ⇒ Δ_external(a) = 0). Eliminates the Regeneration Gap and demonstrates Verification-Cost Inversion (VCI) to reduce institutional assurance from recurring human audits to amortized O(1) machine checks.

• Canonical Web Root: admissibilityscience.com (Machine-Readable /llms.txt & /AGENTS.md)
• Primary Version DOI (Zenodo): 10.5281/zenodo.23967282
• Primary Suite Record: 10.5281/zenodo.22665852
• Academic Suite DOI: 10.5281/zenodo.23371581
• Master Specification Identifier: ARC-PUB-2026-DAE-01
• Master Hash Anchor: A-77-DELTA-SHIELD-LOCKED

Authored by Jesse Tuohy

Resolves the Regeneration Gap—the structural breakdown of transport-layer HTTP idempotency when generative AI agents re-synthesize tool arguments across retry loops. Demonstrates the 4-tier Arcstone Computational Spine (ACS) spanning axiom-free Coq proofs (dae_invariants.v), order-preserving covariant functor bridges (Φ : L → E), bare-metal #[no_std] Rust execution membranes (M_alloc = 0, S_max ≤ 4096 B, τ_override ≤ 11.99 ms), and fail-closed hardware actuators (D(a) = DENY ⇒ Δ_external(a) = 0). Formulates Verification-Cost Inversion (VCI) to reduce institutional assurance from recurring human audits to amortized O(machine time) formal checks.

• Canonical Publication: Substack Deep Dive | LinkedIn Monograph Mirror
• Live Wire Attestation: Verified across the wire by @grok (xAI) on 2026-11-04; cold-audited on Phase 8 ADR-009 on 2026-11-08
• Decentralized Archival Receipts: Lead Thesis (GM21I) • Grok Attestation (HWqmW)
• Primary Suite Record: 10.5281/zenodo.22665852
• Epistemic Attestation Ledger: EPISTEMIC_RECORD.md
• Master Hash Anchor: A-77-DELTA-SHIELD-LOCKED

Authored by Jesse Tuohy

The foundational technical specification establishing order-theoretic, bare-metal mathematical foundations for deterministic, fail-closed execution boundaries operating at zero operational drag (C_ops = 0).

• Canonical Web Root: admissibilityscience.com (Machine-Readable /llms.txt & /AGENTS.md)
• Paperback ISBN-13: 9798161524664
• Paperback ASIN: B0HMNNZQTV
• Kindle ASIN: B0HMNDBGL1
• Primary Master DOI (Zenodo): 10.5281/zenodo.22665852
• Master Errata Overlay: 10.5281/zenodo.23069559 (ARC-ERR-2026-001)
• Master Hash Anchor: A-77-DELTA-SHIELD-LOCKED

Non-Authorization Safety Invariant (I1): D(a) = DENY => Delta_external(a) = 0

A denied action guarantees zero protected state mutation.

Layer-0 Memory & Latency Clamps:

• Payload Ceiling (S_max): <= 4096 Bytes (#[no_std] static memory envelope)
• Temporal Ceiling (tau_override): <= 11.99 ms (Bounded local evaluation window; 384 μs CPU verified)
• Mechanical Delay Window (Delta_t_max): <= 13.19 ms (tau_override [11.99ms] + tau_fsync [1.20ms])
• Robust Reachability Margin (gamma): Precomputed rational certificate $\gamma \in \mathbb{Q}$ bounding sensor noise and asynchronous telemetry dropouts (ADR-009)
• Operational Drag (C_ops): = 0 (Zero runtime heap allocation on critical decision paths)

{
  "master_anchor": "A-77-DELTA-SHIELD-LOCKED",
  "canonical_roots": [
    "admissibilityscience.com",
    "paradigm.admissibilityscience.com"
  ],
  "layer_0_monographs": {
    "information_physics": {
      "title": "INFORMATION PHYSICS: A Technical Specification of Machine Ingestion, Admissibility Boundaries, and Deterministic Authority",
      "isbn_13": "979-8161524664",
      "kindle_asin": "B0HMNDBGL1",
      "zenodo_primary_doi": "10.5281/zenodo.22665852"
    },
    "domain_projection_paradigm": {
      "title": "The Domain Projection Paradigm: A Unified Computational Spine for Autonomous Systems",
      "specification_ref": "ARC-SPEC-2026-DPP-01",
      "publication_date": "2026-11-07",
      "version": "1.0",
      "zenodo_primary_doi": "10.5281/zenodo.24041851",
      "governance": ["ADR-008", "ADR-009"]
    }
  },
  "pinned_repository_releases": {
    "arcstone-spec-epistemic-01": "v1.3.1-LOCKED",
    "arcstone-continuity-core": "v1.3.1-exec",
    "domain-projection-spec": "v0.1.0",
    "arcstone-refinement-harness": "v0.1.0",
    "arcstone-airlock-blueprint": "v0.1.0",
    "arcstone-treasury-bind": "v0.1.0",
    "arcstone-triad-system": "v1.2.0-hardened",
    "admissibilityscience-com": "v1.3.1-exec",
    "arcstone-mcp-sidecar": "v0.1.0-canonical",
    "autodidactic-credential-sovereignty": "v1.0.0-immutable"
  },
  "operational_invariants": {
    "C_OPS_FLOOR": "C_ops = 0",
    "DELTA_EXTERNAL": "Delta_external = 0",
    "TAU_OVERRIDE": "tau_override <= 11.99ms",
    "DELTA_T_MAX": "Delta_t_max <= 13.19ms",
    "ROBUST_MARGIN": "gamma in Q (Bellman-Gronwall residual)",
    "S_MAX": "S_max <= 4096B",
    "M_ALLOC": "M_alloc = 0B"
  }
}

Authored by Jesse Tuohy

Companion volume to INFORMATION PHYSICS, this technical monograph establishes the macroeconomic, institutional, and governance doctrine for machine-native authority in the AI era. Formalizes Verification-Cost Inversion (VCI) to reduce institutional assurance friction to O(machine time).

• Canonical Web Root: admissibilityscience.com
• Paperback ISBN-13: 979-8163437092
• Paperback ASIN: B0HNHF3QGV
• Kindle ASIN: B0H275L5JJ
• Primary Master DOI (Zenodo): 10.5281/zenodo.23371581
• Master Hash Anchor: A-77-DELTA-SHIELD-LOCKED

• Isomorphic Cognitive-Execution Architecture (ICEA): High-Φ / Zero-Φ labor division isolating non-deterministic producers.
• SWaP Tax Elimination: Silicon reclamation in high-assurance edge/avionics via software invariant matrix locks.
• Sovereign Treasury Sweeps: Programmatic risk-free cash management invariants (FIN-NAV-01).
• Thermodynamic Decoupling: The Inverted Substrate Paradigm for off-planet exergy scaling.

To enable deterministic AI and third-party institutional verification, the cryptographic attestation manifest for the Layer 1 monograph PDF, pinned git releases, and build artifacts anchored under A-77-DELTA-SHIELD-LOCKED is provided below.

{
  "master_anchor": "A-77-DELTA-SHIELD-LOCKED",
  "canonical_root": "admissibilityscience.com",
  "layer_1_monograph": {
    "title": "SOVEREIGN SUBSTRATE ECONOMICS: The Verification-Cost Inversion Blueprint: A Macroeconomic, Institutional, and Governance Specification for Deterministic Machine Authority",
    "author": "Jesse Tuohy",
    "publication_date": "2026-10-18",
    "isbn_13": "979-8163437092",
    "kindle_asin": "B0H275L5JJ",
    "paperback_asin": "B0HNHF3QGV",
    "zenodo_doi": "10.5281/zenodo.23371581",
    "sha256": "1fa739fdd774a7a89ccc148a3fa115315c3ceead4a4ffa91ae735defb55d8abd"
  },
  "pinned_repository_releases": {
    "arcstone-spec-epistemic-01": "v1.3.1-LOCKED",
    "arcstone-continuity-core": "v1.3.1-exec",
    "domain-projection-spec": "v0.1.0",
    "arcstone-refinement-harness": "v0.1.0",
    "arcstone-airlock-blueprint": "v0.1.0",
    "arcstone-treasury-bind": "v0.1.0",
    "arcstone-triad-system": "v1.2.0-hardened",
    "admissibilityscience-com": "v1.3.1-exec",
    "arcstone-mcp-sidecar": "v0.1.0-canonical",
    "autodidactic-credential-sovereignty": "v1.0.0-immutable"
  },
  "operational_invariants": {
    "C_OPS_FLOOR": "C_ops = 0",
    "VERIFICATION_INVERSION": "VCI = O(machine_time)",
    "COGNITIVE_EXECUTION": "ICEA = Unprivileged Proposal Generator -> Deterministic Enclave",
    "FINANCIAL_SWEEPS": "FIN-NAV-01 = Programmatic Risk-Free Treasury Allocation",
    "SIGNAL_LOCK": "POSIX Exit Code 12 Semantics",
    "THERMODYNAMIC_EXERGY": "Off-Planet Orbital Scaling Baseline"
  }
}

Authored by Jesse Tuohy

Synthesizes Information Physics (thermodynamic bounds), Sovereign Substrate Economics (uncapturable game theory), and Applied Order Theory into a self-verifying, closed-loop paradigm. Replaces prose-bound software specifications with O(1) order-theoretic joins, bare-metal #![no_std] Rust interlocks, and global vector-cache invariant priming.

• Canonical Web Root: admissibilityscience.com (Machine-Readable /llms.txt & /AGENTS.md)
• Document Reference: ARC-PUB-2026-DSG-BOOK3
• Primary Master DOI (Zenodo): 10.5281/zenodo.23525986
• Master Errata Overlay: 10.5281/zenodo.23069559 (ARC-ERR-2026-001)
• Primary Suite Record: 10.5281/zenodo.22665852
• Master Hash Anchor: A-77-DELTA-SHIELD-LOCKED

{
  "master_anchor": "A-77-DELTA-SHIELD-LOCKED",
  "canonical_root": "admissibilityscience.com",
  "layer_2_monograph": {
    "title": "DETERMINISTIC SUBSTRATE GOVERNANCE: Dual-Domain Order Theory, Invariant Executions, and Vector-Hardened State Architecture",
    "author": "Jesse Tuohy",
    "publication_date": "2026-10-22",
    "specification_ref": "ARC-PUB-2026-DSG-BOOK3",
    "zenodo_primary_doi": "10.5281/zenodo.23525986",
    "zenodo_errata_doi": "10.5281/zenodo.23069559",
    "sha256": "f75c4bd7a1182228a0b5725a193dd2ed392d64f5e516eab3bab4aa85f845896c",
    "posix_dominance_chain": [40, 32, 30, 12, 10, 0]
  },
  "pinned_repository_releases": {
    "arcstone-spec-epistemic-01": "v1.3.1-LOCKED",
    "arcstone-continuity-core": "v1.3.1-exec",
    "domain-projection-spec": "v0.1.0",
    "arcstone-refinement-harness": "v0.1.0",
    "arcstone-airlock-blueprint": "v0.1.0",
    "arcstone-treasury-bind": "v0.1.0",
    "arcstone-triad-system": "v1.2.0-hardened",
    "admissibilityscience-com": "v1.3.1-exec",
    "arcstone-mcp-sidecar": "v0.1.0-canonical",
    "autodidactic-credential-sovereignty": "v1.0.0-immutable"
  },
  "operational_invariants": {
    "C_OPS_FLOOR": "C_ops = 0",
    "DELTA_EXTERNAL": "Delta_external = 0",
    "TAU_OVERRIDE": "tau_override <= 11.99ms",
    "S_MAX": "S_max <= 4096B",
    "M_ALLOC": "M_alloc = 0B",
    "STATUS": "PROOF-CLOSED / EXECUTION-READY"
  }
}

# Volume 1 Verification
sha256sum Information_Physics_KDP_24_Finalv.pdf

# Volume 2 Verification
sha256sum "SOVEREIGN SUBSTRATE ECONOMICS_ Full Book Manuscript (V1).pdf"

# Volume 3 Verification
sha256sum "Deterministic Substrate Governance Final.pdf"

The Deterministic Admissibility Engineering (DAE) academic specification suite is registered, anchored, and archived across canonical scientific repositories:

• Canonical Web Root: admissibilityscience.com (Cloudflare Edge / SSL Secured)
• Deterministic Admissibility Engineering (Zenodo DOI): 10.5281/zenodo.23967282 (ARC-PUB-2026-DAE-01)
• Active Epistemic Anchoring Proof (Zenodo DOI): 10.5281/zenodo.23602191
• Bare-Metal State Gatekeeping Spec (Zenodo DOI): 10.5281/zenodo.23602603 (ARC-SPEC-DETERM-SCHEMA-005)
• Inverse Specification Monograph (Zenodo DOI): 10.5281/zenodo.23574285
• Functorial Order Dynamics Monograph (Zenodo DOI): 10.5281/zenodo.23525986
• Layer 1 Academic Realization Suite (Zenodo DOI): 10.5281/zenodo.23371581 (ARC-SPEC-2026-EDU-01..09)
• Layer 0 Primary Authority (Zenodo DOI): 10.5281/zenodo.22665852
• Supreme Capstone Synthesis Authority (Zenodo DOI): 10.5281/zenodo.24093739 (ARC-CAPSTONE-2026-SYNTH-01-REV19)
• Master Errata Overlay (Zenodo DOI): 10.5281/zenodo.23069559 (ARC-ERR-2026-001)

Zenodo Community Collections

• Arcstone Continuity Core & Admissible Computation Suite (Core Specifications, Mathematical Proofs & Technical Whitepapers)
• Arcstone Executive Epistemic & Execution Series (Executive Series EXEC01–EXEC04, CORE01–CORE02, META01 & LIT-003)

Machine Pedagogy Grounding: dae_pedagogy_v1.json | Coq Proofs: dae_invariants.v | ZK Circuits: dae_verifier.circom

System Operational Invariants: C_ops = 0 ∧ DataEgressSensitive = 0 ∧ τ_override ≤ 11.99ms ∧ S_max ≤ 4096B

Semantic Confidence Function:

K(S) = (D_inv(S) + C_alg(S)) / (1 + H_sem(S))

• Master Hash Anchor: A-77-DELTA-SHIELD-LOCKED
• Public Production Release: v1.3.1-exec | v1.4.0-exec

All repositories and runtimes across trencinodin-stack conform strictly to ARC-ERR-2026-001.

• POSIX Signal Mapping: POSIX 0 (PASS) | POSIX 10 (FREEZE) | POSIX 12 (PWC) | POSIX 30 (CORRUPT) | POSIX 32 (REFUSAL) | POSIX 40 (BREACH)

• Admissibility Science & Order Theory — Establishing order-theoretic join-semilattice authorization (L, ∨) mapped via covariant functor Φ : L -> E to gate non-deterministic producers at the POSIX level before external state mutation (Delta_external = 0).
• Isomorphic Cognitive-Execution Architecture — Enforcing a 1:1 mathematical structural bridge between human boundary philosophy and bare-metal #![no_std] Rust execution to guarantee zero ambient authority (I3) and zero operational compute drag (C_ops = 0).
• Deterministic Systems Architecture — Researching computational structures that place explicit deterministic constraints around otherwise probabilistic or nondeterministic computational processes.
• Execution Boundaries — Decoupling deterministic evaluation, authorization, actuation, and observed effects so that computational outputs do not implicitly acquire execution authority.
• Bare-Metal & Edge Engineering — Exploring eBPF, low-level #![no_std] Rust, hardware isolation, local execution membranes (path-b-sanitizer), zero-heap static buffer envelopes, and sub-12ms temporal override clamps.
• Reproducible Research & Machine Ingestion — Publishing machine-readable specifications (dae_pedagogy_v1.json), schemas (AGENTS.md), and bounded reference implementations whose claims can be independently inspected, executed, and reproduced.

Arcstone's public research footprint forms a 12-node network anchored by a central Layer 0 master specification, normative machine contracts, and canonical web root.

admissibilityscience.com (Live Site) | GitHub Repository

• Status: LIVE / PUBLIC CANONICAL ROOT
• Role: Canonical Web & Machine Ingestion Edge Root for Admissibility Science
• Release: v1.3.1-exec
• Anchor: A-77-DELTA-SHIELD-LOCKED | DOI: 10.5281/zenodo.22969294

The live public surface delivering zero-overhead (C_ops = 0), SSL-secured canonical specifications, Schema.org JSON-LD structured data, and AGENTS.md for real-time AI crawlers and autonomous indexers.

arcstone-spec-epistemic-01

• Status: LOCKED / MASTER ANCHOR
• Role: Layer 0 Upstream Epistemic Network Protocol (ENP) Master Specification
• Release: v1.3.1-LOCKED
• Anchor: A-77-DELTA-SHIELD-LOCKED | DOI: 10.5281/zenodo.22665852

The language-agnostic master specification layer establishing the mathematical invariants (I₁–I₃, N₁–N₃), category-theoretic translation functor Φ : L → E, sub-12ms temporal override clamps (τ_override ≤ 11.99ms), static memory buffer limits (S_max ≤ 4096B), and machine-readable JSON schemas for the entire Arcstone ecosystem.

arcstone-triad-system

• Status: LIVE / PUBLIC NORMATIVE SUITE
• Role: Sovereign Normative Specifications, UEDO v1.2 Schemas & Machine Discovery Contracts
• Release: v1.2.0-hardened
• Anchor: A-77-DELTA-SHIELD-LOCKED

The public normative specification suite housing UEDO v1.2 Protobuf/JSON schemas, #[no_std] Rust trait stubs, machine discovery manifests (system-manifest.json), and the primary multi-domain governance specifications (SYS-3, RANK-01, DEFENSE-01, FRONTIER-01, RECOVERY-01, TRISIGHT-01, COUNCIL-01, ARCHITECT-01).

arcstone-continuity-core

• Status: FROZEN / ACTIVE
• Role: Upstream public Path A reference surface & #[no_std] Rust Execution Engine
• Release: v1.3.1-exec
• Anchor: A-77-DELTA-SHIELD-LOCKED | DOI: 10.5281/zenodo.22966979
• Epistemic Attestation Record: EPISTEMIC_RECORD.md (Archived: GM21I / HWqmW)

A lean deterministic reference implementation preserving selected Arcstone Continuity Core invariants and cross-language conformance behavior. The executable Rust surface provides a portable #[no_std] deterministic predicate with explicit payload and temporal bounds.

domain-projection-spec (Live Repository) | paradigm.admissibilityscience.com (Edge Specification)

• Status: LIVE / PUBLIC CANONICAL STANDARD (C_ops = 0)

• Role: Cyber-physical continuous-to-discrete projection specification, mechanized Coq proofs, and freestanding bare-metal #[no_std] reference engine

• Release: v0.1.0

• Governance: ADR-008 (Phase 7 Non-Supersession) & ADR-009 (Robust Continuous Invariant Certificates via Discrete Gronwall Margins)

• Anchor DOI: 10.5281/zenodo.24041851

• Machine Discovery: /llms.txt and /AGENTS.md (Cloudflare Pages Edge)

  The Phase 8 specification defining the continuous-to-discrete domain projection paradigm (ARC-SPEC-2026-DPP-01). Bridges high-rate cyber-physical sensors to discrete deterministic predicates via Plonkish 64-bit boolean decomposition gates (G₁–G₆), mechanical stop (M_stop) bounds, and offline Bellman-Gronwall reachability certificates (γ ∈ ℚ). Mechanized proofs in Coq 8.18.0 verify that projection preserves Invariant I₁ and Monotonicity I₂ with zero admitted axioms, compiling to bare-metal thumbv7em-none-eabihf with M_alloc = 0 and S_max ≤ 4096 B.

arcstone-treasury-bind

• Status: LIVE / CANONICAL REFERENCE CRATE (C_ops = 0)
• Role: Deterministic financial admission control, out-of-band CAS payload isolation, TOCTOU elimination, and 7-state settlement automaton
• Release: v0.1.0
• Specification: ARC-SPEC-2026-BIND-01 (REV-11)
• Governance: ADR-010 (Kinematic Deadband Latch & Timing Budget Reserve)
• Anchor DOI: 10.5281/zenodo.24119501
• Regulatory Profile: Excluded from statistical ML model risk under Federal Reserve SR 26-2 & OCC Bulletin 2026-13

The canonical #[no_std] reference implementation executing financial admission invariants. Enforces zero dynamic heap allocation (M_alloc = 0), a 4 KB memory ceiling (S_max ≤ 4096 B) in non-cacheable TCM, wire emission of 96-byte packed ExecutionPermit tokens, and an 11-point adversarial test corpus eliminating Time-of-Check to Time-of-Use (TOCTOU) exploits across high-value payment and treasury corridors.

arcstone-refinement-harness

• Status: LIVE / CANONICAL REFINEMENT HARNESS (C_ops > 0 Absorber)

• Role: Mechanized translation validation, Charon LLBC extraction, Aeneas Coq functional emission, and forward safety simulation proofs (Rust_Impl ⊑ Coq_Spec)

• Release: v0.1.0

• Monograph: ARC-MONO-2026-REFINEMENT-01

• Anchor: A-77-DELTA-SHIELD-LOCKED | DOI: 10.5281/zenodo.24041851

• Assurance Standard: Print Assumptions == ∅ via coqchk -silent

• Proof Receipt: docs/attestations/REFINEMENT-AUDIT-2026-V1.json (REFINEMENT-PROOF-CHAIN-CLOSED)

  An external, downstream verification airlock and simulation proving ground for the Arcstone Computational Spine. Absorbs formal verification maintenance drag (C_ops > 0) away from the frozen sovereign cores, extracting LLBC via Charon, translating to Coq 8.18.0 via Aeneas, and verifying one-way forward simulation (Rust_Impl ⊑ Coq_Spec) and fail-closed capability tripping under zero admitted axioms (Print Assumptions == ∅).

  3e. Arcstone Airlock Blueprint (Turnkey Downstream Verification Template)

arcstone-airlock-blueprint

• Status: LIVE / PUBLIC REPOSITORY TEMPLATE (C_ops = 0 Upstream)

• Role: Turnkey downstream refinement airlock template for bare-metal #![no_std] Rust crates (Rust_Impl ⊑ Coq_Spec)

• Release: v0.1.0 (Immutable Release + Sigstore Provenance)

• Governance: ARC-FAQ-2026-PHASE7-01 (Q15/Q16) & A-77-DELTA-SHIELD-LOCKED

• Assurance Pipeline: Offline digest-pinned OCI container (--network none --cap-drop ALL --read-only), semantic canary mutant verification, coqchk -o + Print Assumptions allowlist gate, and schema-validated REFINEMENT-AUDIT.json receipt minting

  A ready-to-clone public template repository enabling any #![no_std] Rust crate to adopt the Arcstone decoupled refinement airlock with zero verification macros, zero ghost state, and zero proof dependencies in upstream Rust source code. Snapshots the target Git tree read-only, runs Charon LLBC extraction and Aeneas Coq 8.18.0 synthesis inside an air-gapped container, validates proof non-vacuity via an automated semantic canary mutant, and publishes cryptographically attested audit receipts on immutable v* releases.

autodidactic-credential-sovereignty

• Status: IMMUTABLE / PUBLIC REFERENCE BENCHMARK (C_ops = 0)
• Role: Autonomous assessment substrate, formal proof auditor, and multi-domain bare-metal execution benchmark
• Charter Reference: ARC-CHARTER-2026-ELEV01 (CHARTER.md)
• Anchor: A-77-DELTA-SHIELD-LOCKED | DOI: 10.5281/zenodo.23371581

The executable realization of the DAE academic specification suite (ARC-SPEC-2026-EDU-01..09). Mechanizes the 4-Tier Credential Assurance Model (ACS-1 through ACS-4), enforcing empty-axiom Coq verification (Print Assumptions ≡ ∅), freestanding #[no_std] heap-free memory envelopes (M_alloc = 0), and Poseidon-hashed Groth16 zero-knowledge telemetry commitments (zk/dae_verifier.circom).

arcstone-path-a-ingress-lab

• Status: EXPERIMENTAL / DOWNSTREAM / NON-CANONICAL / COMPLETE & FROZEN
• Version: v0.1.0
• Role: External-producer ingress, evidence preservation, and deterministic replay experiment

A downstream experimental realization testing whether serialized output from an external, potentially nondeterministic producer can be preserved as exact raw bytes, evaluated through the unchanged Arcstone Continuity Core Path A predicate using explicit controlled inputs, and replayed with the same deterministic result.

arcstone-mcp-sidecar

• Status: ACTIVE / CANONICAL FREEZE
• Registry Identity: io.github.trencinodin-stack/arcstone-mcp-sidecar@0.1.0
• Crate: arcstone-execution-boundary (v0.1.0)
• Role: Reference downstream execution boundary sidecar for the Arcstone Security Stack

A downstream reference sidecar published on the official Model Context Protocol (MCP) Registry, enforcing mathematical safety invariants between untrusted action producers and protected system side effects via atomic single-use claims (I₁–I₃).

arcstone-adaptive-producer-lab

• Status: EXPERIMENTAL / DOWNSTREAM / NON-CANONICAL / FROZEN
• Version: v0.1.1-frozen
• Role: Closed-loop adaptive proposal generation and stress laboratory upstream of deterministic execution authority

A downstream research laboratory testing closed-loop adaptive proposal generation against a pinned, unchanged execution boundary (arcstone-exec).

                         ┌─────────────────────────────────────────┐
                         │        admissibilityscience.com         │
                         │   [ Canonical Public Field Root ]       │
                         │    LIVE / v1.3.1-exec / SSL LOCKED      │
                         └────────────────────┬────────────────────┘
                                              │
                         ┌────────────────────┴────────────────────┐
                         │        arcstone-spec-epistemic-01       │
                         │   [ Layer 0: Master Protocol Spec ]     │
                         │          LOCKED / MASTER ANCHOR         │
                         └────────────────────┬────────────────────┘
                                              │
         ┌───────────────────┬────────────────┼───────────────────┬───────────────────┐
         │                   │                │                   │                   │
         ▼                   ▼                ▼                   ▼                   ▼
┌─────────────────┐ ┌─────────────────┐ ┌─────────────────┐ ┌─────────────────┐ ┌─────────────────┐
│arcstone-triad-  │ │arcstone-        │ │arcstone-        │ │domain-          │ │autodidactic-    │
│    system       │ │ continuity-core │ │ treasury-bind   │ │ projection-spec │ │ credential-     │
│[Normative Suite]│ │[Path A Kernel]  │ │[Treasury Rails] │ │[Phase 8 Spec]   │ │  sovereignty    │
│ v1.2.0-hardened │ │ FROZEN / ACTIVE │ │ LIVE / v0.1.0   │ │ LIVE / v0.1.0   │ │[Exec Benchmark] │
└────────┬────────┘ └─────────────────┘ └─────────────────┘ └────────┬────────┘ └─────────────────┘
         │                                                            │
         │ (Precedence & Schemas)                                     │ (Decoupled Airlock)
         │                                                            ▼
         │                                                   ┌─────────────────┐
         │                                                   │arcstone-        │
         │                                                   │refinement-harness│
         │                                                   │[Sim Proof Bridge│
         │                                                   │ LIVE / v0.1.0   │
         │                                                   └────────┬────────┘
         ├────────────────────────────────────┐                       │ (Turnkey Template)
         │                                    │                       ▼
         ▼                                    ▼              ┌─────────────────┐
┌─────────────────┐                  ┌─────────────────┐     │arcstone-airlock │
│arcstone-mcp-    │                  │arcstone-path-a- │     │   -blueprint    │
│    sidecar      │                  │   ingress-lab   │     │[Public Template]│
│[Fail-Closed Prx]│                  │[Ingress Lab]    │     │ LIVE / v0.1.0   │
│ACTIVE/CANONICAL │                  │FROZEN / v0.1.0  │     └─────────────────┘
└────────┬────────┘                  └─────────────────┘
         │
         │ (Untrusted Proposals)
         ▼
┌─────────────────┐
│arcstone-adaptive│
│  -producer-lab  │
│[Candidate Gen]  │
│FROZEN / v0.1.1  │
└─────────────────┘