Skip to content

Fix plan-part contract binding, replan feedback, and E2E evidence - #5262

Merged
Trecek merged 21 commits into
developfrom
impl-plan-contract-binding-20261010-152201
Oct 11, 2026
Merged

Trecek merged 21 commits into
developfrom
impl-plan-contract-binding-20261010-152201

Conversation

@Trecek

@Trecek Trecek commented Oct 11, 2026 •

Copy link
Copy Markdown
Collaborator

Model-written plans could fail the sealed plan-set gate because the planning templates did not show the required allocation grammar. Rejected binds could then return empty feedback, causing a replan to repeat the same mistake. Failed E2E runs also discarded the plans and orchestrator transcripts needed to diagnose the rejection.

This change:

  • Makes the make-plan and rectify templates conform to the actual verifier, tests their worked examples, and tells dry-walkthrough to preserve the form.
  • Returns actionable feedback for every defective part and rejects coverage-failure results with blank feedback, including empty-allocation cases.
  • Makes recipes use the producer's captured part list, documents terminal failure dispositions, and guards the existing bounded replan routes. Regenerates compiled recipes and derived hashes, and updates measured delivery baselines without changing budget limits.
  • Retains pipeline plans and Claude transcripts for unsuccessful E2E runs, skips symlinks, records collection errors without changing the verdict, and carries the evidence through existing redaction and upload steps.

Validation: each phase independently passed the configured test_check gate and pre-commit run --all-files. The final gate reported 50,558 passed, 609 skipped, and 29 xfailed. All three recipes validate successfully with no new semantic findings; existing advisory findings remain.

Closes #5259. The README documents the real-model bind check required after merge and before CI commissioning; that operator check has not been run. The original discarded MiniMax plans remain unavailable.

Trecek added 21 commits October 10, 2026 17:28
@Trecek
Trecek added this pull request to the merge queue Oct 11, 2026
Merged via the queue into develop with commit 618856c Oct 11, 2026
11 checks passed
@Trecek
Trecek deleted the impl-plan-contract-binding-20261010-152201 branch October 11, 2026 07:52
Trecek added a commit that referenced this pull request Oct 13, 2026
)

Model-written plans could fail the sealed plan-set gate because the
planning templates did not show the required allocation grammar.
Rejected binds could then return empty feedback, causing a replan to
repeat the same mistake. Failed E2E runs also discarded the plans and
orchestrator transcripts needed to diagnose the rejection.

This change:

- Makes the make-plan and rectify templates conform to the actual
verifier, tests their worked examples, and tells dry-walkthrough to
preserve the form.
- Returns actionable feedback for every defective part and rejects
coverage-failure results with blank feedback, including empty-allocation
cases.
- Makes recipes use the producer's captured part list, documents
terminal failure dispositions, and guards the existing bounded replan
routes. Regenerates compiled recipes and derived hashes, and updates
measured delivery baselines without changing budget limits.
- Retains pipeline plans and Claude transcripts for unsuccessful E2E
runs, skips symlinks, records collection errors without changing the
verdict, and carries the evidence through existing redaction and upload
steps.

Validation: each phase independently passed the configured test_check
gate and pre-commit run --all-files. The final gate reported 50,558
passed, 609 skipped, and 29 xfailed. All three recipes validate
successfully with no new semantic findings; existing advisory findings
remain.

Related to #5259. The README documents the real-model bind check
required after merge and before CI commissioning; that operator check
has not been run. The original discarded MiniMax plans remain
unavailable.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant