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

OCLM Phase 1 v1.0.0 — Formally Verified Release

Oracle–Child Lineage Model (OCLM) Phase 1

Formally Verified Lineage-Substitution Resistance Core

Version: 1.0.0

Publication date: 2026-07-18

DOI: 10.5281/zenodo.21416118

Conceived and designed by Hirofumi Kureha (HiRO).

First published by WonderMetanism Inc.

Formal-verification status

OCLM Phase 1-A through Phase 1-C6B is complete.

The final Phase 1-C6B Tamarin model contains 13 formally verified lemmas.

The included reproduction record independently verifies all 13 lemmas.

Signed source record

Git tag: oclm-phase1-v1.0.0

Commit:

ab20419402c9a3c02771bc42b94277d355a440fa

SSH signing-key fingerprint:

SHA256:3VtSVBH9PjRel08AfClI/yhVk/cZxbxGhCOF/wyrHwg

Both the commit and annotated tag are reported by GitHub as cryptographically verified.

Canonical Phase 1-C6B artifacts

Model SHA-256

c3a350f15677c93491b3af392c0519f08d3d0a6ea70200121eb4a315d7064328

Consolidated proof SHA-256

de6d508dc5508b1e19e7009242f4541f9cdf8ecc170c02a1746ee8544977caec

Frozen verified release ZIP SHA-256

39a6aa3b4103e4a50f3977b43d4948142541e788dd77a69b533ed58afb4c363e

Verification

Run:

./scripts/verify-release-integrity.sh
./scripts/verify-phase1c6b.sh

Expected final results:

OCLM PHASE 1 RELEASE INTEGRITY: PASS
Verified lemma count: 13/13
OCLM PHASE 1-C6B FORMAL REPRODUCTION: PASS

Rights and licensing

Copyright © 2026 Hirofumi Kureha (HiRO).

Licensed and administered by WonderMetanism Inc.

Released under the OCLM Open Verification Release License Version 1.0.

Commercial use requires prior written authorization and a separate agreement with WonderMetanism Inc.