OCLM Phase 2 v2.0.0 — Adversarial Validation of Canonical Lineage Non-Substitutability

OCLM Phase 2: Adversarial Validation of Canonical Lineage Non-Substitutability

Version 2.0.0 - oclm-phase2-v2.0.0

OCLM Phase 2 is the completed adversarial validation of canonical lineage non-substitutability across the inherited Phase 1 Tamarin model suite.

Verified result

• 80/80 symbolic adversarial attack classes ruled out under the stated models and assumptions
• 0 counterexample traces
• 0 unresolved attack classes
• 8/8 health and reachability properties reachable
• A48 H1/H2/H3 + final property verified in one integrated Tamarin invocation

The release includes the complete Sections 1-11 manuscript, PDF, formal models and evidence, the 80 + 8 catalog, machine-readable result files, A48 proof material, reproducibility scripts, formal-boundary documentation, and integrity manifests.

Central statement

A different record, identifier, certificate, ledger history, or consensus outcome does not become the canonical lineage of an existing Child merely by being recorded or accepted as such. Canonical continuity requires authenticated origin and succession.

Multi-blockchain position

OCLM does not replace blockchain consensus. It is intended to operate as a higher lineage layer determining whether states accepted by different systems belong to the same authenticated canonical lineage.

Evidence boundary

The result applies to the exact preserved symbolic models, cryptographic abstractions, compromise conditions, and attacker capabilities. It does not claim universal unbreakability or automatic security of every physical Oracle, implementation, or blockchain deployment.

Attribution and license

Conceived and designed by Hirofumi Kureha (HiRO).
First published by WonderMetanism Inc.

Publicly verifiable and source-available for non-commercial use. Commercial use requires prior written authorization from WonderMetanism Inc.

Phase 1 DOI: https://doi.org/10.5281/zenodo.21416118