FA-99880 / Agent workflow termination / Member archive
Workflow: workflow completes when its first branch finishes · case 05
The run closes while another required branch is still active.
Case contract
Given statuses, return true iff the list is nonempty and every item is complete or failed.
Why this case matters
This toy decision rule isolates one bounded agent-loop completion contract.
One recorded failure
Sample boundary fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| one running | true | false | Failed |
MEMBER ARCHIVE
The complete case is available to members.
This record includes three runnable implementations, regression fixtures, execution results, and source hashes.
Member access is invitation-based. Sign in with your invited account to inspect the sources.
Sign in to the archive ↗