Requirements
Bounded outcome
Implement the observable supervisory lifecycle for approval, external direction, intervention, controller handoff, override, and cancellation using existing runtime, store, audit, idempotency, and security boundaries.
Non-goals
- Participant-internal reasoning or chain-of-thought.
- A new workflow engine, persistence store, audit channel, or gateway.
- Backend capability declarations or universal relation claims.
Dependencies
Acceptance criteria
- Runtime transitions enforce authenticated caller, target binding, participant subject/authority, action admission, and visibility as separate gates.
- Decisions are ordered, idempotent, append-only, policy-revision bound, and reject stale or conflicting control state.
- Handoff/override/cancellation cannot silently rewrite prior action, observation, or controller history.
- Expected failures use bounded diagnostics; unexpected failures retain the redacted error envelope.
- Update the participant section of
docs/explain/sdl/lineage.md with this issue's adopted intellectual lineage, exact ACES artifact mappings, delivery status, evidence links, and explicit nonclaims; update contracts/provenance/sdl-lineage-ledger-v1.json and its source audit only when normative derivation or compatibility claims change.
Required assurance evidence
- Boundary behavioral tests for approval, denial, handoff, override, cancellation, retries, and conflicts.
- Persistence/restart/replay and audit-integrity tests.
- Negative authorization, cross-participant, stale-policy, and error-leakage tests.
Parent program: #794.
Requirements
Bounded outcome
Implement the observable supervisory lifecycle for approval, external direction, intervention, controller handoff, override, and cancellation using existing runtime, store, audit, idempotency, and security boundaries.
Non-goals
Dependencies
Acceptance criteria
docs/explain/sdl/lineage.mdwith this issue's adopted intellectual lineage, exact ACES artifact mappings, delivery status, evidence links, and explicit nonclaims; updatecontracts/provenance/sdl-lineage-ledger-v1.jsonand its source audit only when normative derivation or compatibility claims change.Required assurance evidence
Parent program: #794.