Skip to content

fix(toolexecution): recheck admission before native preparation and bind disclosed canonical args - #2090

Closed
chris-beckman wants to merge 4 commits into
test/ua02-branch-preparation-freshnessfrom
feat/ua02-preparation-admission
Closed

chris-beckman wants to merge 4 commits into
test/ua02-branch-preparation-freshnessfrom
feat/ua02-preparation-admission

Conversation

@chris-beckman

@chris-beckman chris-beckman commented Nov 10, 2026 •

Copy link
Copy Markdown
Contributor

Native preparation could read files after its program frame closed during approval. Disclosing additional inputs also retained the first preparation’s canonical arguments, causing approval of the new inputs to be requested repeatedly.

Recheck existing admission before each preparation pass and bind the legitimate disclosed-input transition before its fresh review. Preserve global argument/permit binding and final owner checks. Coordinator-authored tests cover actual file reads, successful authorized workflows and both approval boundaries.

Depends on #2066 → #2080 → #2083 → #2084 → #2086. Includes the complete test work from #2087; #2087 does not need a separate landing.

Validation: 63 focused test/subtest results passed on Mac mini at 09b18c8 (tree 3e3e9f8965f0df7e6348b31b975a11511749bd0d), covering preparation, binding substitutions, recorder policy changes, frame draining, execution permits and review lifetime. Initial-source failure and isolated transition-only control demonstrate test sensitivity. Independent code review accepted. Exact-source size budgets also passed. Full gates, applied-kernel and installed-desktop qualification are not claimed.

Signed-off-by: Chris Beckman <chris@paintedwolf.ai>
Signed-off-by: Chris Beckman <chris@paintedwolf.ai>
Signed-off-by: Chris Beckman <chris@paintedwolf.ai>
…ind disclosed canonical args

Signed-off-by: Chris Beckman <chris@paintedwolf.ai>
@chris-beckman

Copy link
Copy Markdown
Contributor Author

Combined into #2097 — this layer's content is included there.

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