docs(explore): PlanReviewInputError inn i unnslippings-listen (F4-oppfoelging) [skip-docs]

Kommentaren over explore-kallet i run.py teller opp hva som fortsatt KAN forlate sloeyfa etter at
konfig-nektene er hoistet. Etter F4 er det tre ting, ikke to - en ubesvart plan-review er den
tredje. Repoet gater prosa-paastander flater gjoer om seg selv; en liste som ikke lenger er komplett
er den samme klassen, bare i kommentarform.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LtMDsh2zfp4Bmw8KGJ4aLD
This commit is contained in:
Kjell Tore Guttormsen 2026-08-26 00:36:45 +02:00
commit 6020f4453d

View file

@ -2117,8 +2117,9 @@ def main(argv: list[str] | None = None) -> int:
# Every ExplorationError ``explore()`` can raise for a CONFIG reason is unreachable from here by
# construction: both plan-review preconditions are refused above, and the duplicate-base-id
# refusal needs two bases where this surface passes one. What can still escape — an unreadable
# marked hypothesis, an exhausted budget — is the RUN failing, not the caller erring, and leaves
# as it does for the debate today.
# marked hypothesis, an exhausted budget, and (since F4) a plan review the operator left
# unanswered — is the RUN failing, not the caller erring, and leaves as it does for the debate
# today.
if args.explore is not None:
assert (
exploration_contract is not None