feat(continuation): formalize continuation proofs for claim and push (closes #189) #253

Merged

sysadmin merged 1 commits from feat/issue-189-continuation-mode-proofs into feat/issue-188-continuation-selection-wall

2026-07-06 11:27:26 -05:00

Author	SHA1	Message	Date
sysadmin	1158594a20	feat(continuation): formalize continuation proofs for claim and push (closes #189 ) Extend #188 continuation mode with issue claim status evidence, force-with-lease push reporting, canonical secret sweep helper, and composite final-report checks wired into assess_issue_selection_final_report.	2026-07-06 11:54:40 -04:00

Author

SHA1

Message

Date

sysadmin

1158594a20

feat(continuation): formalize continuation proofs for claim and push (closes #189 )

Extend #188 continuation mode with issue claim status evidence,
force-with-lease push reporting, canonical secret sweep helper, and
composite final-report checks wired into assess_issue_selection_final_report.

2026-07-06 11:54:40 -04:00