popper_refute
Execute a two-phase refutation loop: first, receive a firewalled fan-out plan; then, log probe verdicts to decide if the design survives, needs refinement, or is exhausted.
Instructions
Return a firewalled fan-out plan (call 1); log verdicts + decide survive/refine/exhaust (call 2 with verdicts).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| depth | No | Reasoning depth; ultra is a Phase D capability. | |
| verdicts | No | Probe verdicts to log; omit on the first call to get the plan. | |
| pairVerdicts | No | UltraPopper: interacting-pair verdicts from the pair-probe round; a fatal pair adds a conflict edge. Omit if no pair probes were dispatched. | |
| resolvedDefects | No | UltraPopper: defects a probe surfaced that you RESOLVED by refining the design (fragment survives). Recorded to the KB (anchored) so the next session gets them as crossSessionKb ammunition — the loop learns from its own work. Include one per fixed defect, with evidenceAnchors on the touched files. | |
| reverifications | No | Answers to the plan's reverifyProbes: for each stale KB pattern, whether the flaw still applies (stillValid); include perAnchor for multi-file patterns so fixed files are dropped. | |
| fragmentVerdicts | No | UltraPopper: per-fragment refutation verdicts. Tag `category` (so fatals promote to the KB and refutation coverage is measured) and set `reproduced` (a fatal prunes only if not explicitly false — an unreproduced hunch is recorded, not acted on). Omit for light mode or the ultra plan call. | |
| compositeVerdicts | No | UltraPopper: composite (N-way) verdicts from the composite-probe round; a fatal composite forbids that exact combination and any superset. Omit if no composite probes were dispatched. |