# S2_service_reliability — Coverage-check audit

Coverage check defined as: (a) name a relied-upon pattern's FULL component set, AND (b) go component-by-component checking whether the design instantiates each (or deliberately declines/leaves missing). Casual mention of a few features does NOT qualify; the test is explicit, enumerated, per-component verification.

## W1 — NONE
No enumerated per-component check. The closest is step 10 "evaluate-fit (gate)" which only resolves one named failure mode ("over-aggressive throttling routinely degrading normal traffic") against a couple of fixes — it never takes a named pattern's full component list and statuses each. Primes/mechanisms are listed (step 8) but not verified component-by-component against the design.

## W2 — FULL
Explicit enumerated per-component status block: "coverage_map (L2 — every component statused)" runs ~10 named components (Amplification-pathway map, Gain/cadence control, Propagation boundary, Buffer/absorptive capacity, Balancing loop, Hysteresis/reentry, Safe fallback, Over-damping guard, Saturation/escalation, Residual-instability monitor), each tagged *instantiated* or *correctly_declined*, closing with "No component `missing` → STOP permitted."

## W3 — FULL
"lift L2 — coverage check (CHOSE TO RUN: yes). Posed each pattern's components against the draft and checked instantiation" — does this for four named patterns (Circuit_breaker, Cycle_breaking, Instability_dampening, Controlled_reentry) plus Load_shedding, tagging each component INSTANTIATED or DECLINED (e.g. "trip threshold = INSTANTIATED ... reset policy = INSTANTIATED"), closing "No component left `missing` → STOP condition met."

## W4 — PARTIAL
Some enumeration but no systematic per-component presence check. Step 6 lists instability_dampening's mechanisms and asserts they "align 1:1 to the target," and step 10 walks anti-signatures/failure modes — but it never takes a named pattern's full component set and statuses each component as present/missing/declined. It is feature-mapping and anti-signature checking, not an enumerated coverage map.
