05 — Phase E: Quorum readback (live, read-only)

The live quorum rule (verbatim logic of public.quorum_passed(p_code text))

proposer  := COALESCE(source_context->>'proposer', source_context->>'created_by')
risk      := apr_action_types.risk_level for the APR's proposed_action_code
count approvals on apr_approvals WHERE apr_id = <apr> AND (proposer IS NULL OR approver <> proposer):
  v_president = approve AND approver_type='human'      AND approver ILIKE '%president%'
  v_council   = approve AND approver_type='ai_council'
  v_rejects   = reject
IF v_rejects > 0            -> false                      (INV-3 reject blocks)
IF risk='high'             -> (v_president >= 1 AND v_council >= 2)
IF risk='medium'           -> (v_president >= 1)
IF risk='low'              -> (v_total >= 1)

patch_ops_code risk = high ⇒ APR-0415 needs ≥1 human president AND ≥2 ai_council, 0 rejects.

APR-0415 quorum state (now)

metric	value
quorum_passed('APR-0415')	false
status	pending
total approvals (apr_id=415)	0
approve / reject	0 / 0
human president approvals	0 (need ≥1)
ai_council approvals	0 (need ≥2)
proposer (source)	dot-c1-w7-authorize-build-step-handler-proposal

Mechanism is real (live, not fabricated)

• apr_approvals schema: id, apr_id, approver, approver_type, decision, rationale, created_at.
• Live distinct approver_type values in use: ai_council, human.
• A live president identity exists: distinct approver president (approver_type human) has approved prior APRs. (Carried context: 42 historical approvals across the system.)

Decision

Quorum is NOT complete through any legitimate external action (0 approvals exist). Therefore the result is C1_W7_PATCH_OPS_CODE_APR_PROPOSED_AWAITING_QUORUM (NOT …_QUORUM_READY_FOR_EXECUTION).

Missing (exact)

1 human president approve + 2 ai_council approve, 0 rejects — cast by 3 distinct real identities via their own channels. No agent vote. No fabrication.