CDIP v1.1 — P20-IND v0.2 Execution Contract Addendum (Scheme-Only)
Abstract
This addendum freezes a scheme-only (non-engineering) execution contract for the CDIPv1.1 P20-IND v0.2 fragment: an auditable inductive extension restricted to IND-ADT recursion over PlanAST and a TypeDepDAG traversal. The contract is designed for deterministic, earliest-fail adjudication, conservative integration with P18-revA (closed-world evidence types, provenance integrity, anti-launder), and external anchoring via P19-WCCC v0.2 with hmax = 2 and Anchor={Human or Proof Assistant + DOI}. No executable code is provided; only schemas, gate order, and reason-code obligations are specified.
Fields of Study & Subjects
Logic
programming
and type systems
Reasoning
and Knowledge
Diverse Interdisciplinary Research Studies
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 31 January 2026
- Document type
- Preprint