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)

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.

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

0

Average

Upload OA version

Are you the author of this publication? Upload your Open Access version to Zenodo!

It’s fast and easy, just two clicks!

uploadUpload now