gebra <gebra-version> — fail.ir.yaml (ir-document)
  identity                ir_version 1.0 | graph_version 
sha256:32b0b9dc8aaa0184... | strict off

P-01 graph-well-formed — pass  [DEFENSIBLE]
  witness                 4 nodes reachable from START | 1 terminal node | no 
orphan nodes | no unresolved targets
    reachable from START    4 nodes: compose_message, log_receipt, send_sms, 
verify_delivery
    terminal nodes          log_receipt
    orphan check            evaluated — no node stands outside every edge
    reference check         evaluated — every edge and path_map target resolves

P-02 termination-witness — fail  (1 finding: 1 fatal)
  fatal: cycle-without-termination-witness  [P-02 termination-witness | 
DEFENSIBLE]
    component               send_sms, verify_delivery
    representative          send_sms -> verify_delivery -> send_sms
    cycle list              not exhaustive — a re-run after a fix may surface 
another
    finding                 Simple cycle carries no declared termination witness

P-03 signature-soundness — not checked  [deferred-to-phase-1]
  status                  no verdict was reached — this is not a pass, and it is
outside the Phase-0 wedge
    detail                  P-03 signature-soundness is outside the Phase-0 
wedge (SOW §8) and has no validator in this release; the catalog contract is 
PROPERTY-CATALOG-SPEC §P-03 (stub; Verification-Properties §2 authoritative). No
verdict was reached — this is not a pass.

P-04 dataflow-completeness — pass  [DEFENSIBLE-A]
  witness                 4 (reader, key) obligations covered
    coverage                4 (reader, key) obligations covered
    covered                 log_receipt reads receipt_id <- covered by send_sms
    covered                 send_sms reads message <- covered by compose_message
    covered                 verify_delivery reads attempts <- covered by 
send_sms
    covered                 verify_delivery reads delivery_status <- covered by 
send_sms

P-05 guard-exhaustiveness — not checked  [deferred-to-phase-1]
  status                  no verdict was reached — this is not a pass, and it is
outside the Phase-0 wedge
    detail                  P-05 guard-exhaustiveness is outside the Phase-0 
wedge (SOW §8) and has no validator in this release; the catalog contract is 
PROPERTY-CATALOG-SPEC §P-05 (stub; Verification-Properties §2 authoritative). No
verdict was reached — this is not a pass.

P-06 effect-safety — fail  (1 finding: 1 error)
  error: unprotected-effect-in-retry-region  [P-06 effect-safety | DEFENSIBLE-A]
    node                    send_sms
    declared effects        billable, network
    anchor cycle            send_sms -> verify_delivery -> send_sms
    finding                 Effect-carrying node in a retry region without 
binding protection

P-07 retry-coherence — not checked  [deferred-to-phase-1]
  status                  no verdict was reached — this is not a pass, and it is
outside the Phase-0 wedge
    detail                  P-07 retry-coherence is outside the Phase-0 wedge 
(SOW §8) and has no validator in this release; the catalog contract is 
PROPERTY-CATALOG-SPEC §P-07 (stub; Verification-Properties §2 authoritative). No
verdict was reached — this is not a pass.

P-08 determinism-replay — pass  [HEURISTIC]
  witness                 0 declared determinism claims
    claim class             heuristic (carried in-band)
    claims                  no node declared determinism, so nothing was checked
— this is not a statement that every node is deterministic

P-09 parallel-safety — not checked  [deferred-to-phase-1]
  status                  no verdict was reached — this is not a pass, and it is
outside the Phase-0 wedge
    detail                  P-09 parallel-safety is outside the Phase-0 wedge 
(SOW §8) and has no validator in this release; the catalog contract is 
PROPERTY-CATALOG-SPEC §P-09 (stub; Verification-Properties §2 authoritative). No
verdict was reached — this is not a pass.

P-10 subgraph-consistency — not checked  [deferred-to-phase-1]
  status                  no verdict was reached — this is not a pass, and it is
outside the Phase-0 wedge
    detail                  P-10 subgraph-consistency is outside the Phase-0 
wedge (SOW §8) and has no validator in this release; the catalog contract is 
PROPERTY-CATALOG-SPEC §P-10 (stub; Verification-Properties §2 authoritative). No
verdict was reached — this is not a pass.

P-11 join-key-soundness — not checked  [deferred-to-phase-1]
  status                  no verdict was reached — this is not a pass, and it is
outside the Phase-0 wedge
    detail                  P-11 join-key-soundness is outside the Phase-0 wedge
(SOW §8) and has no validator in this release; the catalog contract is 
PROPERTY-CATALOG-SPEC §P-11 (stub; Verification-Properties §2 authoritative). No
verdict was reached — this is not a pass.

P-12 evolution-safety — not checked  [deferred-to-phase-1]
  status                  no verdict was reached — this is not a pass, and it is
outside the Phase-0 wedge
    detail                  P-12 evolution-safety is outside the Phase-0 wedge 
(SOW §8) and has no validator in this release; the catalog contract is 
PROPERTY-CATALOG-SPEC §P-12 (stub; Verification-Properties §2 authoritative). No
verdict was reached — this is not a pass.

P-13 interrupt-gate-coverage — not checked  [deferred-to-phase-1]
  status                  no verdict was reached — this is not a pass, and it is
outside the Phase-0 wedge
    detail                  P-13 interrupt-gate-coverage is outside the Phase-0 
wedge (SOW §8) and has no validator in this release; the catalog contract is 
PROPERTY-CATALOG-SPEC §P-13 (stub; Verification-Properties §2 authoritative). No
verdict was reached — this is not a pass.

summary
  findings                1 fatal | 1 error | 0 warning
  notes                   0 carried (0 warning-grade)
  properties              5 reported | 8 produced no verdict
  strict                  off
  exit                    1 — a FATAL or ERROR finding is present, or a strict 
policy promoted a warning
  snapshot                not recorded for this run: a FATAL finding is present 
(PROPERTY-CATALOG-SPEC §0.2)
