Current (the one you don't like)
— Track 1: claim vs. artifact —
T1a — citation resolves to a real source line (✓) or points at nothing (✗)
T1b — claimed 'done' next to what the artifact actually shows (the gap)
— Track 2: API-spec conformance (bigger, split) —
T2c — REFINED: we CALL an external API; our request checked field-by-field vs the vendor spec (amount/currency ✓, source drifted ✗)
// sr:conforms stripe#/v1/charges await http.post("/v1/charges", { amount, currency })
T2a — (earlier) OpenAPI spec ↔ impl linked by // sr:conforms, conforms ✓
POST /charge body: amount: integer currency: string
// sr:conforms openapi.yaml#/charge export function POST(req) { const { amount, currency } = req.body }
T2b — same, but the impl drifted from the spec ✗
POST /charge currency: stringrequired
// sr:conforms openapi.yaml#/charge const { amount } = req.body // currency dropped