CDIP v1.1 — P18 Runner Spec v0.2 Minimal Executable Contract for TAO+ with Gate Receipts (Anti-Forgery), Mixed-Type Predicate + Split Rules, and DET-E2 (Canonicalize → Hash)
Abstract
0. Delta Summary (v0.2 vs v0.1)Why v0.2. This revision closes three audit-critical gaps identified in v0.1:1. Anti-forgery for CORE: add Gate Execution Receipts and require CORE artifacts to be produced by declared core gates (not merely self-consistent hashes).2. Mixed-type semantics: define a computable predicate Mixed(e) via TypePredicates and en- force split rules with ancestry preservation.3. DET-E transitivity: replace distance-based DET-E with DET-E2 (canonicalize → byte- hash), restoring an equivalence relation.
Fields of Study & Subjects
Blockchain Technology Applications and Security
Logic
programming
and type systems
Access Control and Trust
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 29 January 2026
- Document type
- Preprint