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).
• 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).

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
• Governance Anchors: ADR-008 (Phase 7 Immutability) & ADR-009 (Robust Reachability Margin)
• Master Hash Anchor: A-77-DELTA-SHIELD-LOCKED

---

### FEATURED PAPER: Deterministic Admissibility Engineering: Mechanized Type Theory, Bare-Metal Clamps, and the Regeneration Gap

*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](https://admissibilityscience.com) (Machine-Readable `/llms.txt` & `/AGENTS.md`)
- **Primary Version DOI (Zenodo):** [10.5281/zenodo.23967282](https://doi.org/10.5281/zenodo.23967282)
- **Primary Suite Record:** [10.5281/zenodo.22665852](https://doi.org/10.5281/zenodo.22665852)
- **Academic Suite DOI:** [10.5281/zenodo.23371581](https://doi.org/10.5281/zenodo.23371581)
- **Master Specification Identifier:** `ARC-PUB-2026-DAE-01`
- **Master Hash Anchor:** `A-77-DELTA-SHIELD-LOCKED`

---

### FEATURED RESEARCH & LIVE ATTESTATION: Beyond Social Assurance: Formal Invariants, the Regeneration Gap, and Closing the Specification Gap

*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 ($\Phi : L \to E$), bare-metal `#[no_std]` Rust execution membranes ($M_{\text{alloc}} = 0, S_{\max} \le 4096\text{ B}, \tau_{\text{override}} \le 11.99\text{ ms}$), and fail-closed hardware actuators ($D(a) = \text{DENY} \implies \Delta_{\text{external}}(a) = 0$). Formulates Verification-Cost Inversion (VCI) to reduce institutional assurance from recurring human audits to amortized $O(\text{machine time})$ formal checks.

- **Canonical Publication:** [Substack Deep Dive](https://founderarcstoneos.substack.com/p/beyond-social-assurance-formal-invariants) | [LinkedIn Monograph Mirror](https://www.linkedin.com/in/jesse-tuohy/)
- **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)](https://archive.is/GM21I) • [Grok Attestation (HWqmW)](https://archive.is/HWqmW)
- **Primary Suite Record:** [10.5281/zenodo.22665852](https://doi.org/10.5281/zenodo.22665852)
- **Epistemic Attestation Ledger:** [`EPISTEMIC_RECORD.md`](https://github.com/trencinodin-stack/arcstone-continuity-core/blob/main/EPISTEMIC_RECORD.md)
- **Master Hash Anchor:** `A-77-DELTA-SHIELD-LOCKED`

---

### VOLUME 1: INFORMATION PHYSICS: A Technical Specification of Machine Ingestion, Admissibility Boundaries, and Deterministic Authority

*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](https://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](https://doi.org/10.5281/zenodo.22665852)
- **Master Errata Overlay:** [10.5281/zenodo.23069559](https://doi.org/10.5281/zenodo.23069559) (ARC-ERR-2026-001)
- **Master Hash Anchor:** `A-77-DELTA-SHIELD-LOCKED`

#### Core Systemic Invariants & Bounds

**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 Attestation & Layer 0 Cryptographic Root Manifest

```json
{
  "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-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-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-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
• 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 9-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.

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-        │  │domain-          │ │autodidactic-    │
│    system       │ │ continuity-core │  │ projection-spec │ │ credential-     │
│[Normative Suite]│ │[Path A Kernel]  │  │[Phase 8 Airlock]│ │  sovereignty    │
│ v1.2.0-hardened │ │ FROZEN / ACTIVE │  │ LIVE / v0.1.0   │ │[Exec Benchmark] │
└────────┬────────┘ └─────────────────┘  └─────────────────┘ └─────────────────┘

         │
         │ (Precedence & Schemas)
         │
         ├────────────────────────────────────┐
         │                                    │
         ▼                                    ▼
┌─────────────────┐                  ┌─────────────────┐
│arcstone-mcp-    │                  │arcstone-path-a- │
│    sidecar      │                  │   ingress-lab   │
│[Fail-Closed Prx]│                  │[Ingress Lab]    │
│ACTIVE/CANONICAL │                  │FROZEN / v0.1.0  │
└────────┬────────┘                  └─────────────────┘
         │
         │ (Untrusted Proposals)
         ▼
┌─────────────────┐
│arcstone-adaptive│
│  -producer-lab  │
│[Candidate Gen]  │
│FROZEN / v0.1.1  │
└─────────────────┘