Skip to content

Arcstone Executive Epistemic & Execution Series: Human-First Trust, Machine-First Execution, Hybrid Alignment, Continuity Core, Machine-Native Authority, and Admissibility Science (EXEC01–EXEC04, CORE01–CORE02)

Sep 2026 · Figshare
Security and Verification in Computing

Abstract

===============================================================================ARCSTONE EXECUTIVE EPISTEMIC & EXECUTION SERIES (EXEC01–EXEC04, CORE01-CORE02)Primary Suite DOI Anchor: 10.5281/zenodo.22665852Master System Hash Anchor: A-77-DELTA-SHIELD-LOCKEDCanonical Handle: @admissibilityscience=============================================================================== This publication unit consolidates the foundational executive papers, formal theory, and bare-metal execution baseline for the Arcstone Computational Spine (ACS), Arcstone Continuity Core, and Machine-Native Authority (MNA) framework. -------------------------------------------------------------------------------1. ARC-PUB-2026-EXEC01: The Human-First Trust LayerImplicit Authority, Social Proof, and the Architecture of Human-Mediated Decision SystemsZenodo DOI: 10.5281/zenodo.22677708Abstract:Evaluates the degradation of human trust boundaries in AI-augmented decision networks. Establishes the formal trust layer binding qualitative human intent to machine execution. -------------------------------------------------------------------------------2. ARC-PUB-2026-EXEC02: The Machine-First Execution BoundaryA Foundational Architecture for Autonomous Systems and Deterministic State ResolutionZenodo DOI: 10.5281/zenodo.22678934Abstract:Formalizes the authorization-first control plane for autonomous agents. Replaces permissive prompt heuristics with deterministic, fail-closed state bounds. -------------------------------------------------------------------------------3. ARC-PUB-2026-EXEC03: The Hybrid Epistemic LayerHuman Meaning, Machine Resolution, and the Architecture of Augmented CognitionZenodo DOI: 10.5281/zenodo.22679072Abstract:Models the cognitive exoskeleton formed by pairing a high-Phi conscious human operator with a zero-Phi functional engine, bridging human qualitative intent with high-throughput machine execution. -------------------------------------------------------------------------------4. ARC-PUB-2026-EXEC04: Machine-Native Authority (MNA)Epistemic Ingestion, Zero-Social Propagation, and the Inversion of Technology Transfer in Autonomous SubstratesDoc Reference: ARC-PUB-2026-EXEC04Publication Classification: Foundational Architecture & Invariant Theory PaperDocument Zenodo DOI: 10.5281/zenodo.22985065Release Tag: v1.3.1-exec Abstract:Traditional software distribution relies on human social proof, marketing hype, and institutional pedigree. Whitepaper ARC-PUB-2026-EXEC04 formalizes Machine-Native Authority (MNA)—a technology transfer methodology engineered for autonomous systems, LLM reasoning pipelines, and #![no_std] execution substrates. By prioritizing high Invariant Density (D_inv), hard physical bounds (S_max <= 4096 B, tau_override <= 11.99 ms, C_ops = 0), Layer-0 safety contracts (I1–I3), and order-theoretic join-semilattices, MNA enables instant, zero-entropy indexing by global AI knowledge graphs without prior human social hype. Establishes the Semantic Confidence Function K(S) = [ D_inv(S) + C_alg(S) ] / [ 1 + H_sem(S) ] and documents empirical 20-hour multi-model verification. -------------------------------------------------------------------------------5. ARC-PUB-2026-CORE01: Arcstone Continuity CoreA Zero-Allocation, Fail-Closed Execution Membrane for Non-Deterministic AI ProducersDoc Reference: ARC-PUB-2026-CORE01Publication Classification: Downstream Technical PaperDocument Zenodo DOI: 10.5281/zenodo.22966979Release Tag: v1.3.1-exec Abstract:Integrating non-deterministic artificial intelligence (AI) producers such as Large Language Models (LLMs) and autonomous agent frameworks into deterministic software environments introduces severe safety and verification challenges. Traditional runtime guardrails rely on dynamic assertion checks, heap-allocated exception handling, or prompt-level heuristics. These approaches introduce unbounded state drift, non-deterministic recovery loops, and significant operational overhead (C_ops > 0). This paper presents the Arcstone Continuity Core, a zero-allocation (#![no_std]), local-first execution membrane designed to enforce deterministic, fail-closed actuation boundaries over untrusted AI producers. We formalize system state precedence as a 5-element poset chain forming a join-semilattice (FAIL > FREEZE > PWC > REFUSAL > PASS). By evaluating pre-ingress payload metadata via constant-time O(1) predicate gates, the core isolates adaptive proposal generation from actuation authority. Our open-source Rust implementation operates under static resource clamps (S_max <= 4096 B, tau_override <= 11.99 ms), guaranteeing that inadmissible action proposals collapse in constant CPU instruction cycles while mutating exactly zero bytes of application heap memory. -------------------------------------------------------------------------------6. ARC-PUB-2026-CORE02: Principles of Admissibility ScienceAxiomatic Foundations, Order-Theoretic State Resolution, and Zero-Allocation Boundaries for Non-Deterministic ProducersDoc Reference: ARC-PUB-2026-CORE02Publication Classification: Foundational Theory PaperDocument Zenodo DOI: 10.5281/zenodo.22969294Release Tag: v1.3.1-exec Abstract:Admissibility Science studies the deterministic boundary between non-deterministic proposal generation and authorized external action. It formalizes admissibility as a distinct control problem in which adaptive or probabilistic producers may generate candidate operations without possessing actuation authority. The framework develops axiomatic foundations for bounded pre-ingress evaluation, order-theoretic state resolution, and fail-closed execution boundaries. Non-PASS outcomes are required to preserve a zero-external-mutation condition (Delta_external = 0), separating computation and proposal generation from authorization and externally consequential state transition. The resulting architecture provides a formal basis for deterministic admissibility membranes governing non-deterministic producers and establishes the theoretical foundation underlying the Arcstone Continuity Core. ===============================================================================Conformance Status: 100% Certified / Production LockedLicense: Creative Commons Attribution 4.0 International (CC BY 4.0)

View source

Similar papers

#computer vision Open access Jun 2016

Software Development in Startup Companies: The Greenfield Startup Model

The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.

Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al. · 178 citations · ⚡14
#computer vision Open access Oct 2016

Software Startups - A Research Agenda

Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.

M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al. · 157 citations · ⚡17
#machine learning Review Open access Oct 2016

“Failures” to be celebrated: an analysis of major pivots of software startups

This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.

Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al. · 127 citations · ⚡15
#computer vision Review Open access May 2015

A survey study on major technical barriers affecting the decision to adopt cloud services

The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.

Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al. · 111 citations · ⚡8
#computer vision Conference Open access Dec 2013

Affordable and Energy-Efficient Cloud Computing Clusters: The Bolzano Raspberry Pi Cloud Cluster Experiment

The ongoing work building a Raspberry Pi cluster consisting of 300 nodes is presented, with potential use cases being an inexpensive and green test bed for cloud computing research and a robust and mobile data center for operating in adverse environments.

P. Abrahamsson, S. Helmer, Nattakarn Phaphoom et al. · 110 citations · ⚡7
#computer vision Book Open access Mar 2017

On the Unhappiness of Software Developers

The results indicate that software developers are a slightly happy population, but the need for limiting the unhappiness of developers remains, and 219 factors representing causes of unhappiness while developing software are identified.

D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al. · 84 citations · ⚡6

Related blog posts

Microsoft Research Blog Oct 12, 2026

Simulating student learning for better AI tutoring

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.