prima check: run a scenario end to end and report what it proved - #110

Merged

DavertMik merged 40 commits into

mainfrom

fix/prima-executor

Aug 16, 2026

Commits on Aug 7, 2026

Make prima an executor you can trust: no substitution, refs, proofs

DavertMik
and
claude
committed
edeb863

Commits on Aug 9, 2026

prima check: run a scenario end to end and report what it proved

DavertMik
and
claude
committed
7fcf7bf
Let do succeed when an instruction needs no action

DavertMik
and
claude
committed
6a098d9
do accounts for every instruction by number

DavertMik
and
claude
committed
e82707d
Give every finished test a verdict

DavertMik
and
claude
committed
d4198a7
Cut prima's top-level help by a third

DavertMik
and
claude
committed
aa69757
Read focus from the page, not from an ARIA snapshot

DavertMik
and
claude
committed
b88fb0b
Capture the focused element with the page state

DavertMik
and
claude
committed
f85f24a
Report check's routine steps as a count, not a list

DavertMik
and
claude
committed
538f62e
Show do what it has already finished, not just what is left

DavertMik
and
claude
committed
c5a2e5d
Stop dropping the tester's rules as soon as it takes a note

DavertMik
and
claude
committed
b8369d8
Settle expected outcomes on evidence, not on an exact echo

DavertMik
and
claude
committed
1ec5b87
Keep check's step log to what failed

DavertMik
and
claude
committed
3a2349d
Settle do's unreported instructions instead of writing them off

DavertMik
and
claude
committed
900d926
Judge unreported instructions against when they were due

DavertMik
and
claude
committed
9e1f04c
Describe see() by what only a screenshot can answer

DavertMik
and
claude
committed
01a100d
Give do the refs it was already fetching, and a tool to click them

DavertMik
and
claude
committed
97c7cf5
Report a ref click as a locator a later test can replay

DavertMik
and
claude
committed
b5c023e
Give the tester refs in its page context

DavertMik
and
claude
committed
68e36c2
Make clickRef actually run, and offer it where refs exist

DavertMik
and
claude
committed
9207e63
Keep click alongside clickRef

DavertMik
and
claude
committed
a6bc343
Say that a ref-bearing element needs no locator

DavertMik
and
claude
committed
3f1cc22
Cut prima's help to the commands and how to call them

DavertMik
and
claude
committed
83166d5
State what prima's commands are, rather than instructing the model

DavertMik
and
claude
committed
fcfec11
Drop the explanatory paragraph from prima's help

DavertMik
and
claude
committed
28a4f7e
Say what prima is for in its one-line description

DavertMik
and
claude
committed
baf8000
Add prima models

DavertMik
and
claude
committed
f4017c9
Report do as an ordered log of what happened

DavertMik
and
claude
committed
57fd97d
Keep the page each step produced next to the log

DavertMik
and
claude
committed
3f91fe1
Let the model, not a failed check, decide whether do succeeded

DavertMik
and
claude
committed
943e5e2

Commits on Aug 10, 2026

Rename prima models to prima config, and show the three roles

DavertMik
and
claude
committed
5aeea2d
Record a prima session and report on it on demand

DavertMik
and
claude
committed
1bb9f71
Make prima --verbose print the log it promises

DavertMik
and
claude
committed
1dc1a74
Drop prima's logging flags for DEBUG

DavertMik
and
claude
committed
ce31dd7

Commits on Aug 12, 2026

Show prima's current activity on one rewritten line

DavertMik
and
claude
committed
4199fe5

Commits on Aug 16, 2026

Merge remote-tracking branch 'origin/main' into fix/prima-executor
DavertMik
committed
21a34ef
Document prima as it is, not as it was before this branch

DavertMik
and
claude
committed
d4dc92b
Count retried attempts, warn on a foreign origin, keep the session with its project

DavertMik
and
claude
committed
c395357
Ignore the session and browser state a run leaves in the repo

DavertMik
and
claude
committed
d2489f2
Say which commands actually carry used: and Changes

DavertMik
and
claude
committed
85887f0