decided_by: agent

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.


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).


event: adjudicated

decision: promote

decided_by: user

rationale: Promote the repeated finding into the registry as an advisory entry (provenance becomes promoted-from-findings).

target_status: advisory

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


rationale: Second adjudication: all six promotion criteria met after the advisory evidence period; promote to machine-enforced.

target_status: machine-enforced

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)