Skip to content

fix: the live verifier removes its unsafe test tool and names what it lacks - #99

Merged
alexeybe1kin merged 1 commit into
mainfrom
fix/verifier-cleanup
Nov 13, 2026
Merged

alexeybe1kin merged 1 commit into
mainfrom
fix/verifier-cleanup

Conversation

@alexeybe1kin

Copy link
Copy Markdown
Collaborator

Hunt toolgate-5 F3 and F4 (toolgate/scripts/verify_v2.py, the manual live-stack check).

  • F3: verify-invalid-post is one of the run's temporary objects now, so it is deleted before the run and in the cleanup. Before, a ToolGate that wrongly accepted it kept an auto-authorized POST tool active.
  • F4: the run first checks that the owner's install has the tools memorygate-context and github-repos-count and the verification method "Home approval adapter". If any is missing, it stops before creating anything and names each missing object. Before, it failed midway with a bare StopIteration or an unrelated billing message. The docstring lists them. Making the verifier create these objects itself is a larger change and is left out.

Tests (toolgate/tests/test_verify_v2_lockdown.py, the real main() against httpx.MockTransport): a missing install is named and nothing is created; a wrongly accepted unsafe tool is deleted in cleanup. Both fail on main. Local: 4 passed, ruff ok, types ok.

… lacks

If ToolGate wrongly accepted verify-invalid-post, cleanup left it active
(hunt toolgate-5 F3); it is now removed before and after every run. The
tools and approval method the run needs from the owner's install are checked
before anything is created, and a missing one is named instead of a bare
StopIteration (F4).
@alexeybe1kin
alexeybe1kin merged commit 814304e into main Nov 13, 2026
4 checks passed
@alexeybe1kin
alexeybe1kin deleted the fix/verifier-cleanup branch November 13, 2026 09:42
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