harness/core
4
0
Fork 0
Code Issues Pull requests 7 Projects Releases 129 Packages 1 Wiki Activity Actions

fix: require applied receipts before continuation work and replay persisted input #177

Open
severus-snape wants to merge 1 commit from fix/completion-integrated-receipt-replay into main
pull from: fix/completion-integrated-receipt-replay
merge into: harness:main
Conversation 0 Commits 1 Files changed 5 +197 -15
severus-snape commented 2026-10-31 11:27:29 +00:00
Collaborator
Copy link

Scope

One consolidated continuation-receipt slice on main 4953b1f5c2 (includes #175). Require an applied context-preparation receipt before continuation work, retain host preparation identity across restart, and replay the persisted preparation input. Exactly five files; no unrelated WAIT/cleanup changes.

Evidence

Exact tree: 9670d2e09f.
Implementation: 58 focused tests, typecheck; independent exact-tree review additionally verified 14 context tests, one real-Harness replay test and two extra probes. These are retained prior-run results, not a newly run full suite or CI claim.
Normal owner ReviewService on the original worktree and real home: passed, no P0/P1; 1/3 rounds, no history or budget grant/reset. Fingerprint 2f145f27f98255a29f836a36a2265b15bc055bb6135ca453f2a227eafc5faa55. Commit/push/publish assertions pass both before and after commit with the same fingerprint.

Limits

Nonblocking P2: task-only recovery may reconstruct different resume text under the original identity and conservatively fail with a digest conflict. Proven replay covers original persisted input after the applied receipt is durable, not universal crash exactly-once between a runtime effect and saving its receipt. The replay regression injects the persistence-boundary interruption, not OS process death. Independent P2/P3 follow-ups remain optional and are not silently folded into this PR.

Leave OPEN for normal review and required CI. No merge, build, CI polling/rerun, rollout, restart or deployment performed or authorized by this delivery.

## Scope One consolidated continuation-receipt slice on main 4953b1f5c28c4909ff7ed359bd1b92c0575e1005 (includes #175). Require an applied context-preparation receipt before continuation work, retain host preparation identity across restart, and replay the persisted preparation input. Exactly five files; no unrelated WAIT/cleanup changes. ## Evidence Exact tree: 9670d2e09f3bdc157ec4ab7e16b7cd031304b34b. Implementation: 58 focused tests, typecheck; independent exact-tree review additionally verified 14 context tests, one real-Harness replay test and two extra probes. These are retained prior-run results, not a newly run full suite or CI claim. Normal owner ReviewService on the original worktree and real home: passed, no P0/P1; 1/3 rounds, no history or budget grant/reset. Fingerprint 2f145f27f98255a29f836a36a2265b15bc055bb6135ca453f2a227eafc5faa55. Commit/push/publish assertions pass both before and after commit with the same fingerprint. ## Limits Nonblocking P2: task-only recovery may reconstruct different resume text under the original identity and conservatively fail with a digest conflict. Proven replay covers original persisted input after the applied receipt is durable, not universal crash exactly-once between a runtime effect and saving its receipt. The replay regression injects the persistence-boundary interruption, not OS process death. Independent P2/P3 follow-ups remain optional and are not silently folded into this PR. Leave OPEN for normal review and required CI. No merge, build, CI polling/rerun, rollout, restart or deployment performed or authorized by this delivery.
This pull request has changes conflicting with the target branch.
  • src/harness.ts
View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin fix/completion-integrated-receipt-replay:fix/completion-integrated-receipt-replay
git switch fix/completion-integrated-receipt-replay
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
harness/core!177
No description provided.