open-code-review/internal
Gongyl01 c35ddd7223
feat(resume): add trusted resume validation and transition lineage (#786) (#845)
* feat(resume): verify input identity before reusing checkpoints

`ocr review --resume` admitted a session whenever the ref text matched, which
is neither sufficient nor necessary evidence about the input: `abc1234` and
`abc1234def` name the same commit, while a branch name that did not change can
name a new one. Resuming then mixed comments computed from one input with
comments computed from another, and nothing in the report distinguished them.

Compare the resolved input identity instead. agent.ResolveIdentity replays the
run's own selection — the same diff load and the same two filter passes — and
returns the identity a real run would record, so the parent manifest and the
child candidate are directly comparable. Any mismatch on mode, repository,
source artifact or rule config rejects the whole resume rather than degrading
to partial reuse. A provider or model change must be asked for with --provider
or --model; one that arrived through config or the environment is rejected.

Two behaviour changes fall out of this. Ref text no longer decides admission,
so ValidateOptions only checks the review mode. A parent that completed zero
items is now admitted: its manifest is verifiable, so its selected set is
simply re-dispatched, which is the case resume exists for.

Reuse is then gated on the parent manifest rather than on the checkpoint lines:
only a fingerprint the manifest claims as completed or reused is reused, which
keeps the manifest the single source of coverage truth. That gate is also what
makes an unreadable checkpoint survivable, so review loads through
LoadReviewResumeState, which drops lines it cannot parse — the file such a line
described is simply reviewed again, instead of one truncated write costing every
other file its checkpoint. Scan keeps the strict LoadResumeState, because with
no manifest to arbitrate, a dropped line cannot be told apart from a checkpoint
that was never written.

Rejection happens strictly before agent.New, because session.New writes
session_start the moment it is called — validating any later would leave an
orphan session behind every rejection. Keeping it there needs the run to review
exactly what was admitted, so the pre-flight hands back the commit endpoints it
resolved that identity from, and a resumed run loads its diff from those instead
of from the refs the user typed; file_read reads at the same sealed head. Both
loads then see the same immutable objects, so a ref moving after admission can
no longer change what the run reviews, and no mid-run re-check is needed to
discover that it did. An accepted resume records one
resume_lineage event naming the parent run and the provider/model endpoints,
surfaced by `ocr session show`; it carries non-secret labels only.

Interrupted runs become unresumable, since session_end is the sole carrier of
run_manifest. That is deliberate: an unverifiable input is exactly what this
change refuses to build on, and the error says so rather than reporting the
parent as unproductive.

Refs #786

* fix(resume): freeze refs before loading identity diff

* test(resume): cover sealed input resolution
2026-08-14 11:31:40 +08:00
..
agent feat(resume): add trusted resume validation and transition lineage (#786) (#845) 2026-08-14 11:31:40 +08:00
config fix: make FileFilter patterns case-insensitive (#859) 2026-08-13 18:43:47 +08:00
delegate chore: add SPDX license headers and automated verification (#740) 2026-08-05 21:26:27 +08:00
diff chore(ci): fail CI when unapproved non-English text appears in source files (#876) 2026-08-13 14:43:55 +08:00
gitcmd chore: add SPDX license headers and automated verification (#740) 2026-08-05 21:26:27 +08:00
llm feat(llm): task-scoped session affinity for prompt caching (#332) 2026-08-14 11:23:44 +08:00
llmloop feat(llm): task-scoped session affinity for prompt caching (#332) 2026-08-14 11:23:44 +08:00
mcp test: raise statement coverage to 90% and enforce it in CI (#747) 2026-08-06 12:55:44 +08:00
model chore: add SPDX license headers and automated verification (#740) 2026-08-05 21:26:27 +08:00
pathutil test: raise statement coverage to 90% and enforce it in CI (#747) 2026-08-06 12:55:44 +08:00
release chore: add SPDX license headers and automated verification (#740) 2026-08-05 21:26:27 +08:00
scan feat(llm): task-scoped session affinity for prompt caching (#332) 2026-08-14 11:23:44 +08:00
session feat(resume): add trusted resume validation and transition lineage (#786) (#845) 2026-08-14 11:31:40 +08:00
stdout chore: add SPDX license headers and automated verification (#740) 2026-08-05 21:26:27 +08:00
suggestdiff chore: add SPDX license headers and automated verification (#740) 2026-08-05 21:26:27 +08:00
telemetry test: raise statement coverage to 90% and enforce it in CI (#747) 2026-08-06 12:55:44 +08:00
tool chore: add SPDX license headers and automated verification (#740) 2026-08-05 21:26:27 +08:00
viewer chore(ci): fail CI when unapproved non-English text appears in source files (#876) 2026-08-13 14:43:55 +08:00