Implement an optional Product execution contract and deterministic validation of whole-execution interruption and composite snapshots.
The contract must preserve legacy turn-only interruption and leave G11/G14/G16 wire APIs unchanged. The optional Product boundary supplies explicit outcome/quiescence, bound execution identity, coherent source observations and snapshots. Validate the reviewed R3 barrier across output/completion races, successive executions, pre-entry cancellation and canonical Session reopen.
Deliverables:
- Optional immutable values and structural Product port, separate from HostedSessionPortV1.
- Executable coordination needed to validate targeted whole-execution versus legacy interruption and retained cleanup responsibility.
- Composite snapshot capture/matching with separate source cursor and execution revision, bounded retries and binding fencing.
- Deterministic fake-Product tests using explicit barriers, including no-model success, failure, cancellation races, stale target, quiescence, A/B transitions, reopen and bounded views.
- Source-backed contract/evidence documentation and applicable local quality checks.
This is the first execution-lifecycle increment. Submission deduplication, new wire profiles, real Coding adapter activation and native GUI delivery remain later increments. Keep the active G17 worktree undisturbed; integrate shared transport/composition work with its stabilized base later.
Implement an optional Product execution contract and deterministic validation of whole-execution interruption and composite snapshots.
The contract must preserve legacy turn-only interruption and leave G11/G14/G16 wire APIs unchanged. The optional Product boundary supplies explicit outcome/quiescence, bound execution identity, coherent source observations and snapshots. Validate the reviewed R3 barrier across output/completion races, successive executions, pre-entry cancellation and canonical Session reopen.
Deliverables:
This is the first execution-lifecycle increment. Submission deduplication, new wire profiles, real Coding adapter activation and native GUI delivery remain later increments. Keep the active G17 worktree undisturbed; integrate shared transport/composition work with its stabilized base later.