{"id": "RG-0001", "event": "candidate_opened", "candidate_id": "CAND-2026-34-01", "decided_by": "agent", "confirmed_at": "2026-08-14T09:00:00Z", "rationale": "Derived candidate: trigger control of an in-flight async operation has no busy/disabled state and can re-trigger concurrent side effects. Same normalized issue across 3 distinct runs in 2 task contexts, 0 unexplained false positives.", "evidence_refs": ["run-41/point-back.md#finding.2", "run-42/point-back.md#finding.1", "run-47/point-back.md#finding.3"]}
{"id": "RG-0002", "event": "evidence_appended", "candidate_id": "CAND-2026-34-01", "decided_by": "agent", "confirmed_at": "2026-08-22T09:00:00Z", "rationale": "Advisory execution on 2 further runs: 2 confirmed hits; 1 counter-example (a declared idempotent batch operation correctly does not hit — exception mechanism verified).", "evidence_refs": ["run-49/point-back.md#finding.1", "run-50/point-back.md#finding.2", "run-48/point-back.md#counter-example.1"]}
{"id": "RG-0003", "event": "adjudicated", "candidate_id": "CAND-2026-34-01", "rule_id": "ST-01", "decision": "promote", "decided_by": "user", "confirmed_at": "2026-08-14T10:00:00Z", "rationale": "Promote the repeated finding into the registry as an advisory entry (provenance becomes promoted-from-findings).", "target_status": "advisory", "target_version": 1, "criteria": {"authority": "platform-convention + the contract's async-operation declaration (L4)", "risk": "re-trigger causes duplicate side effects (duplicate export / duplicate delete), user-visible and possibly irreversible", "fp_cost": "0 false positives across the opening corpus; idempotent operations are already listed as exceptions"}, "supersedes": null}
{"id": "RG-0004", "event": "adjudicated", "candidate_id": "CAND-2026-34-01", "rule_id": "ST-01", "decision": "promote", "decided_by": "user", "confirmed_at": "2026-08-22T11:00:00Z", "rationale": "Second adjudication: all six promotion criteria met after the advisory evidence period; promote to machine-enforced.", "target_status": "machine-enforced", "target_version": 2, "criteria": {"authority": "platform-convention + the contract's async-operation declaration (L4) — authority source in place", "risk": "re-trigger -> duplicate export/delete side effects, bound to run-42 L6.1 (time-limited export criterion) and run-47 L6.2 (batch delete confirmation)", "reproducible": "deterministic inputs: spec L4 async declaration && trigger source lacks busy/disabled binding && interaction trace reproduces the second trigger; hit condition is mechanically decidable (machine-detector path assessed)", "fp_cost": "0 false positives across 5 runs; miss cost = irreversible side effects > friction of a busy state (standard convention); exception and run-level exemption mechanisms in place", "fix_path": "fix instruction (busy + disable re-trigger) and the owning-declaration recirculation path (R2/R4) are defined", "validation": "internal sample set run-41/42/47 (hits confirmed) + counter-example set run-48 (idempotent operation correctly does not hit)"}, "supersedes": null}