BLVM Dependency Architecture

Orange Paper (IR) → 6 Verification Mechanisms (Z3 proofs, spec drift detection, hash verification, property tests, equivalence proofs, differential testing) → Consensus Proof (BLVM) → Upper tiers