Source: MIZOKI audit 2026-09-06 (pinned fc8b03f9) → work-order backlog 2026-09-08 (docs/audits/AUDIT_WORK_ORDERS_2026-09-08.md). Findings are hypotheses until reproduced on current main (WO-00).

Finding: Six-check validator with a failed incremental-profit check still returned ELIGIBLE at DEL 91.7 because eligibility uses an aggregate pass-rate floor [R1][R2]. Files: services/service-policy-engine/main.py (pass_rate / DEL); services/service-validation-orchestrator/main.py (incremental_profit check); services/service-decision-control-plane/main.py. Fix: partition checks into hard (economic, integrity, consent, policy) and rank. Any hard failure → INELIGIBLE before DEL is computed. Exploratory experiments get their own bounded eligibility class, never a hidden exception. Acceptance: negative tests: each hard check failing alone, with all others passing at 100%, → INELIGIBLE. Property test: no combination of rank scores can flip a hard failure. Depends on: WO-00.