07 — No-Bypass Proof v3 (explicit booleans; NO tautology)

v_qt001_no_bypass_proof_v3: each row names attempted_path, required_blocker, actual_blocker_status, and blocked as an EXPLICIT boolean over real guard values (no (NOT pass) IS NOT NULL). Chains:

• writer_calls_planner_v2 / driver_calls_planner_v2 → blocked = no_legacy_planner_guard.pass
• builder_transitively_reaches_planner_v2 → blocked = authoritative_legacy_dependency_guard.pass
• planner_v2_influences_eligibility → blocked = planner_v2_sentinel_only_guard.pass
• fake_capability_unlocks_scale → blocked = (capability_no_function_exists_proof_guard.pass AND scale_behavioral.scale_not_safe)
• stale_or_v4_plan_applies → blocked = current_plan_fingerprint_authority_status_v5.pass
• null_fingerprint_applies → blocked = plan_fingerprint_v5_null_guard.pass
• unsigned_tier_applies → blocked = (no tier apply_allowed AND no exact signoff_satisfies_v5)
• no_permit_applies → blocked = (0 open execute permits)
• directus_dml_writes_control_plane / public_execute_writes_control_plane → blocked = NOT readiness_v8.overall_ready (risk OPEN, routed 2.6B, but readiness BLOCKED so it cannot apply — a real, non-tautological dependence on readiness actually being blocked)

LIVE: bool_and(blocked)=true across all 11 chains.

v_qt001_no_tautology_proof_guard: scans the no_bypass_v3 definition (by pg_class name at runtime) and passes iff it contains NO IS NOT NULL tautology. LIVE pass=true.