QCoreIV: STLF, STLF_0S, and 3D Contract Protection for the Worker Corridor

Read full text
Authors: William J. Richardson
Cited by: 0

Abstract

Foundational — QCoreIV: STLF, STLF_0S, and 3D Contract Protection for the Worker Corridor. This article upgrades QCore without rewriting its worker identity. The central contribution is a 3D protection shell for the capsule-local worker engine: frozen intersection support, typed-zero inheritance, shadow-only continuity, no-backflow, Strong-to-Weak-to-Weaker closure, and merged-row certification before perpendicular audit. The paper also locks STLF_0S into QCore as a protected refinement of the existing STLF front edge, separating true-null pressure from shadow-occupancy pressure while preserving replayability and preventing promotion laundering. The result is a stronger and more general QCore architecture that remains backward-compatible with honest 2D benches while gaining contract-grade protection for stacked support, typed missingness, and worker-side closure.

Fields of Study & Subjects

Logic programming and type systems Access Control and Trust Distributed systems and fault tolerance

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
16 March 2026
Language
EN