Skip to content

Speed up and dedupe Navigator verification#45

Merged
DavertMik merged 4 commits into
mainfrom
feature/faster-verification
Jun 1, 2026
Merged

Speed up and dedupe Navigator verification#45
DavertMik merged 4 commits into
mainfrom
feature/faster-verification

Conversation

@DavertMik
Copy link
Copy Markdown
Contributor

  • Navigator verifyState: early-exit majority loop, dedicated verifyAttempts cap, and reduced per-assertion timeout so checks resolve faster
  • Reuse prior verification results via ActionResult.getVerification — exact match plus AI semantic match (ALREADY_VERIFIED marker) on the same page
  • New config: ai.agents.navigator.verifyAttempts (3) / verifyTimeout (1500ms)
  • Pilot: navigation-milestone-only and unmet-prerequisite scenarios no longer pass (treated as milestone / skipped)
  • Bump @testomatio/reporter to 2.8.4, playwright to 1.60
  • CLAUDE.md: private methods after public; avoid unnecessary === null/undefined

DavertMik and others added 4 commits June 1, 2026 03:47
- Navigator verifyState: early-exit majority loop, dedicated verifyAttempts
  cap, and reduced per-assertion timeout so checks resolve faster
- Reuse prior verification results via ActionResult.getVerification — exact
  match plus AI semantic match (ALREADY_VERIFIED marker) on the same page
- New config: ai.agents.navigator.verifyAttempts (3) / verifyTimeout (1500ms)
- Pilot: navigation-milestone-only and unmet-prerequisite scenarios no longer
  pass (treated as milestone / skipped)
- Bump @testomatio/reporter to 2.8.4, playwright to 1.60
- CLAUDE.md: private methods after public; avoid unnecessary === null/undefined

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Reporter 2.8.4 writes the HTML report under a run-group subfolder
(reports/<RUNGROUP_TITLE>/<file>.html) instead of reports/<file>.html.
Assert the nested path using the run group the reporter set.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
The Reporter no longer forces an opinionated "Explorbot <date>" run group
when none is configured — it sets a run group only when one is provided.
The init command now writes reporter.runGroup = today's date into the
generated config, so the default is visible and editable by the user.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
The Reporter no longer turns on the HTML report on its own. HTML (and
markdown) are produced only when reporter.html / reporter.markdown are
set, and either flag now implies the reporter is enabled for local output.
explorbot init writes a reporter block (html + markdown on, date-based
run group) so report output is explicit and editable.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@DavertMik DavertMik merged commit 693c83c into main Jun 1, 2026
2 checks passed
@DavertMik DavertMik deleted the feature/faster-verification branch June 1, 2026 01:14
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