CDIP v1.1 — P18-revA: Conservative Core Extension for T5 (Strict) TAO+ and Bundle+ with Formal Projection π, Provenance Integrity ProvValid, Closed-World Evidence Types, Audit-Total Sandbox Semantics, and Execution-Domain Separation

Zenodo (CERN European Organization for Nuclear Research) 2026 Preprint Open access

Read full text
Authors: Jian Lin
DOI: 10.5281/zenodo.18406973
Cited by: 0

Abstract

This revision tightens CDIP v1.1 P18 by eliminating proof gaps and making all im- plementation dependencies explicit as auditable regime obligations. We integrate T5 (Creativ- ity/Intuition/Affect/Exploration/Calibration) into the core contract via TAO+ and Bundle+ while proving conservativity of the core truth decision under declared regime assumptions.

Fields of Study & Subjects

Logic Reasoning and Knowledge Diverse Interdisciplinary Research Studies programming and type systems

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
28 January 2026
Document type
Preprint