A roll-call that sees live agents. The gate checks the record's shape instead, so a roll-call cannot be proved complete — a limit accepted knowingly. #420

New issue

Open

opened 2026-08-26 16:20:20 +00:00 by jbr870 · 0 comments

jbr870 commented

2026-08-26 16:20:20 +00:00

Owner

Spawned from finding F-PO-45-2-4 (out-of-scope) on issue #45 during decision D-PO-45-2-4.

Original scope note: Flagged as out of scope in the approved PREQ: enumerating live agents would need harness-specific knowledge in the shipped helper tier, breaching the stack-agnostic rule.

Disposition rationale: A roll-call that enumerates live agents would need harness-specific knowledge inside the shipped helper tier, which the stack-agnostic rule forbids — so enforcement is on the record's shape, and a roll-call cannot be proved complete. That limit is accepted knowingly in the PREQ and restated in the SREQ's acceptance criteria. The stub carries the limit forward as a tracked, revisitable item: if the harness ever exposes a portable way to enumerate a phase's own spawns, this is the ticket that says what it would buy. Resolved under the operator's standing instruction of 2026-08-26 ("resolve all decisions as recommended"), which is the authority for taking each producer recommendation as given.

This issue was deferred out of the parent feature's scope; it carries no PREQ yet. Run /dev:requirements --issue={new-number} to flesh it out before planning.

Spawned from finding `F-PO-45-2-4` (out-of-scope) on issue #45 during decision D-PO-45-2-4. **Original scope note:** Flagged as out of scope in the approved PREQ: enumerating live agents would need harness-specific knowledge in the shipped helper tier, breaching the stack-agnostic rule. **Disposition rationale:** A roll-call that enumerates live agents would need harness-specific knowledge inside the shipped helper tier, which the stack-agnostic rule forbids — so enforcement is on the record's shape, and a roll-call cannot be *proved* complete. That limit is accepted knowingly in the PREQ and restated in the SREQ's acceptance criteria. The stub carries the limit forward as a tracked, revisitable item: if the harness ever exposes a portable way to enumerate a phase's own spawns, this is the ticket that says what it would buy. Resolved under the operator's standing instruction of 2026-08-26 ("resolve all decisions as recommended"), which is the authority for taking each producer recommendation as given. This issue was deferred out of the parent feature's scope; it carries no PREQ yet. Run `/dev:requirements --issue={new-number}` to flesh it out before planning.

jbr870 added the

labels

2026-08-26 16:20:20 +00:00

jbr870 referenced this issue

2026-08-26 16:20:21 +00:00

Phase Outcomes: no supersede path when a posted outcome's premise turns out false #45

jbr870 referenced this issue

2026-08-27 07:32:44 +00:00