8 Commits

Include renames

Author	SHA1	Message	Date
pj	40c92d4569	test(verifier): rewrite integration tests for sample-app spec ... The old tests loaded merchant-android uiautomator dumps from /tmp and skipped when absent. Replace with two hermetic tests that bundle examples/sample-app/spec.ts against a synthetic hierarchy: one checks tapClickMe fires, the other drives the three properties through a holds/holds/violated snapshot sequence.	2026-04-18 10:33:43 +07:00
pj	f2fe54debc	test(verifier): verify dismissMultiDevice fires against real confirm dialog	2026-04-18 06:39:00 +07:00
pj	cefb398437	feat(verifier): retry NextAction up to 16x so gated generators eventually fire	2026-04-18 06:39:00 +07:00
pj	6c7ea35a7d	feat(hierarchy): expose checked/focused/selected on element objects	2026-04-18 06:39:00 +07:00
pj	b248ad2e5a	test(verifier): integration tests against live uiautomator dumps	2026-04-18 01:59:54 +07:00
pj	5f2a2d52ab	feat(verifier): wire hierarchy into state.ax and carry element coords in Action	2026-04-18 01:23:55 +07:00
pj	abeded0b19	test(verifier): cover spec lifecycle and weighted action selection	2026-04-17 23:48:59 +07:00
pj	72175bb13c	feat(verifier): goja runtime hosting the spec API ... Installs globalThis.__uatu__ with extract, always, actions, weighted, tap, inputText, and stub taps/swipes. Load runs the bundled spec, then pulls properties + actions out of globalThis. PushSnapshot rebuilds state.snapshots and refreshes every extractor handle's current/previous in registration order so chained extractors observe up-to-date values. Properties are wired through internal/ltl as Always(Thunk(...)), so verdicts latch to violated as soon as a predicate returns false. NextAction resolves actions/weighted recursively with a seedable rand source for reproducible runs.	2026-04-17 23:48:58 +07:00