| _version_ | 1866902335835340800 |
|---|---|
| author | Lin, Jian |
| author_facet | Lin, Jian |
| contents | <p>This document integrates two meta-level obligations of the CDIP v1.1 corpus into a single audit surface. P13 (Soundness) formalizes the logical soundness of the CDIP adjudication pipeline: under declared regime admissibility and verified evidence surfaces, a PASS out- come implies existence of an admissible certificate and forbids contradictory extrapolations. P15 (Invariance) defines typed comparability and proves decision invariance/robustness under declared transformations (gauge alignment, basis changes, unit rescalings, sampling refinements, and implementation-equivalent inner products). These are not separate Zenodo records; they are sections of this paper.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18360428 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | CDIP v1.1 — Meta-Theory + Invariance Pack (M1) Lin, Jian <p>This document integrates two meta-level obligations of the CDIP v1.1 corpus into a single audit surface. P13 (Soundness) formalizes the logical soundness of the CDIP adjudication pipeline: under declared regime admissibility and verified evidence surfaces, a PASS out- come implies existence of an admissible certificate and forbids contradictory extrapolations. P15 (Invariance) defines typed comparability and proves decision invariance/robustness under declared transformations (gauge alignment, basis changes, unit rescalings, sampling refinements, and implementation-equivalent inner products). These are not separate Zenodo records; they are sections of this paper.</p> |
| title | CDIP v1.1 — Meta-Theory + Invariance Pack (M1) |
| url | https://doi.org/10.5281/zenodo.18360428 |