Commit Graph

Select branches

Hide Pull Requests

action-wire-and-test-scaffolding

android-physical-device

ci-dispatch-workflows

ci-latest-tool-versions

correctness-and-spec-skills

default-actions

docs-driver-history

docs-web-support-arch

experiment-instrumentation

fix-action-audit-findings

fix-element-value-exposure

fix-font-warnings

fix-gradle-deprecation-warnings

fix-ios-spec-driving

fix-ltl-semantics

fix-violation-step-attribution

folio-kotlinconf-refactor

full-attr-selector

hierarchy-path-query

ios-driver-env-launch

ios-e2e-support

ios-physical-device

ios-simulator-driver

llm-action-source

llm-recording-and-analysis

master

pr-73-followups

react-blr-talk

recalibrate-ios-seed

redact-only-passwords

refactor-sanderling

release-versioning

remove-sdk

remove-sidecar-ios-backend

rename-inspect-to-replay

spec-typed-attrs-and-clear-data

test-suite-refactor

update-docs

update-docs-after-web

update-spec-lang-docs

wda-warmup-fix

web-native-state

#1

#10

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#28

#29

#3

#32

#34

#35

#36

#37

#38

#39

#40

#41

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#56

#57

#58

#59

#6

#60

#61

#62

#63

#65

#66

#67

#68

#7

#70

#71

#72

#73

#74

#77

#8

#82

#83

#84

#85

#86

#87

#88

#88/merge

#9

#91

#93

#94

#94/merge

v0.0.1

v0.0.1-rc1

v0.0.1-rc2

v0.0.1-rc3

v0.0.1-rc4

v0.0.2

v0.0.3

v0.0.4

v0.0.5

Mono Color

• aee5d8110a test(verifier): author specs through the shared picker path pj 2026-06-01 16:59:23 +05:30
• f8e3baf439 refactor(runner): decode V8 actions via the unified DecodeAction; wire goja runtime pj 2026-06-01 16:59:18 +05:30
• 411aefe25f refactor(verifier): goja host + shared picker replace the duplicate Go picker pj 2026-06-01 16:59:12 +05:30
• 59cb77d29c refactor(verifier): one DecodeAction reads the unified flat wire contract pj 2026-06-01 16:59:04 +05:30
• 50cb9e98cb feat(spec): serialize selector-only string targets for the runner to re-resolve pj 2026-06-01 16:58:59 +05:30
• 1a9d82711f refactor(spec): drop the legacy goja bridge fields from action factories pj 2026-06-01 16:58:59 +05:30
• 76c68b84ac feat(testrun): bundle the goja runtime entry so the verifier runs the shared picker pj 2026-06-01 16:43:50 +05:30
• 45366ddde5 feat(bundler): optional RuntimeFile prepends a runtime-entry import via stdin pj 2026-06-01 16:43:50 +05:30
• bf89f3b1cf feat(spec): goja runtime entry wires the shared picker over the Go host pj 2026-06-01 16:42:48 +05:30
• 7a5fc9aca5 refactor(spec): picker emits native selector + scroll endpoints, setup precedence pj 2026-06-01 16:42:38 +05:30
• 6600994ef1 test(spec): cover the WEB Host surface and seed precision pj 2026-06-01 16:37:42 +05:30
• b23bd516a8 refactor(spec): web-runtime becomes the WEB Host, delegates to shared picker pj 2026-06-01 16:37:37 +05:30
• b6a706699b refactor(spec): installRuntime accepts a lazy root resolver pj 2026-06-01 16:37:30 +05:30
• 26e27832a2 test(spec): tolerate legacy bridge fields on builtin nodes pj 2026-06-01 16:31:37 +05:30
• 58585b88b2 fix(spec): web runtime walks the spec's globalThis.actions data tree pj 2026-06-01 16:31:37 +05:30
• ee54c474b6 refactor(spec): bridge data-tree nodes to the legacy goja picker tags pj 2026-06-01 16:31:37 +05:30
• c9d8f165b1 test(spec): runtime-entry serializeAction wire-contract round-trip pj 2026-06-01 16:27:29 +05:30
• 51200ed829 test(spec): assert data-tree shapes for action factories pj 2026-06-01 16:27:29 +05:30
• 804cee70d2 feat(spec): export LongPress/Scroll/longPresses/scrolls factories pj 2026-06-01 16:27:29 +05:30
• e18feff5fe feat(spec): shared runtime-entry installs next-action over pick.ts pj 2026-06-01 16:24:24 +05:30
• 06ae965387 refactor(spec): wire from() sampling through the picker rng pj 2026-06-01 16:24:24 +05:30
• fe3ebd0484 refactor(spec): actions.ts returns pure GeneratorNode data trees pj 2026-06-01 16:24:20 +05:30
• b34f73f3f7 test(spec): picker draw-order and determinism pj 2026-06-01 16:13:53 +05:30
• 3e9f0b9367 test(spec): verb matrix and warn-once semantics pj 2026-06-01 16:13:53 +05:30
• d253d68b52 feat(spec): deterministic shared action picker pj 2026-06-01 16:13:47 +05:30
• a4bbd71e04 feat(spec): verb support matrix and warn-once helper pj 2026-06-01 16:13:47 +05:30
• af9dd6c741 feat(spec): action-tree types and Host interface pj 2026-06-01 16:13:44 +05:30
• 882c3fb053 feat(spec): shared input corpus and press-key pools pj 2026-06-01 16:13:44 +05:30
• 39f2197b2f test(spec): assert pcg.ts matches the PCG golden fixture pj 2026-06-01 16:09:02 +05:30
• 231f96f5a5 feat(spec): bit-exact PCG port of Go math/rand/v2 pj 2026-06-01 16:09:02 +05:30
• 307213ef45 test(spec): add Go math/rand/v2 PCG oracle and golden fixture pj 2026-06-01 16:09:02 +05:30
• d4ffdce8f9 test: cover web-runtime seeded PRNG, weighted pick, and seed define wiring pj 2026-06-01 15:10:04 +05:30
• 6fc1c971c7 feat(testrun): inject seed into web bundle via SANDERLING_SEED define pj 2026-06-01 15:10:01 +05:30
• d7c05181b0 fix(web-runtime): seed PRNG for reproducible runs and align weighted pick pj 2026-06-01 15:09:58 +05:30
• b5e8d9892e test(ltl): lock implies and bounded-always false-negative regressions pj 2026-06-01 14:11:26 +05:30
• 1834019419 fix(ltl): eliminate implies and bounded-always false-negatives pj 2026-06-01 14:11:26 +05:30
• 283bf44920 test(verifier): finalize surfaces unmet eventually with witness pj 2026-06-01 13:58:45 +05:30
• 8ac05b458e test(ltl): lock violation witness reason, IsError, and step pj 2026-06-01 13:58:45 +05:30
• 17f4c7e600 feat(runner): thread violation witnesses, finalize, skip marker into trace pj 2026-06-01 13:57:34 +05:30
• 3cf668e59a feat(trace): witnesses map and skipped-verification marker on Step pj 2026-06-01 13:56:31 +05:30
• 4dcd01eba9 test(verifier): witness API for thrown predicates pj 2026-06-01 13:56:15 +05:30
• f346864b2f refactor(verifier): replace predicate err side-channel with violation witness pj 2026-06-01 13:56:11 +05:30
• e6a3852112 feat(ltl): flag thrown-predicate witnesses with IsError pj 2026-06-01 13:56:08 +05:30
• a01e126ff9 test(ltl): migrate thunk call sites to (bool,error) pj 2026-06-01 13:53:42 +05:30
• 9be00dff90 feat(ltl): witness violations and (bool,error) predicate thunks pj 2026-06-01 13:53:38 +05:30
• 2a57031bb7 feat(inspect): within clause on always residual node pj 2026-06-01 13:49:47 +05:30
• 898ff72b37 test(ltl): Finalize, bounded eventually, latch, collapse pj 2026-06-01 13:49:44 +05:30
• 59113cbf9d test(ltl): property-based NNF laws pj 2026-06-01 13:49:41 +05:30
• c965089825 feat(ltl): NNF in NewEvaluator, bounded-always, Finalize, collapse pj 2026-06-01 13:49:37 +05:30
• 88295fc02e feat(ltl): negation normal form pass pj 2026-06-01 13:49:32 +05:30
• 4163f43736 feat(ltl): bound fields on AlwaysFormula and named thunks pj 2026-06-01 13:49:24 +05:30
• 88db9653e5 refactoring default action layer (#51) pj 2026-06-01 12:48:51 +05:30
• 37eceed674 test(spec): cover route gate in submit-balance predicate default-actions pj 2026-05-31 22:14:43 +05:30
• 4c7c22ced6 fix(folio): gate submit-balance property on Home route landing pj 2026-05-31 22:14:38 +05:30
• 52865a1d7b test(runner): cover transient apply error resilience pj 2026-05-31 21:33:09 +05:30
• 113282ffb2 feat(runner): treat transient apply errors as transitional steps pj 2026-05-31 21:33:03 +05:30
• 7beefdc5c9 test(spec): cover computeHomeTotalBalance carrier behaviour pj 2026-05-31 21:15:26 +05:30
• 5e6f45408e fix(folio): totalBalance carrier tracks only Home, not Ledger pj 2026-05-31 21:15:21 +05:30
• 5a5b15e89e feat(folio): add computeHomeTotalBalance helper pj 2026-05-31 21:15:16 +05:30
• 9647d5e042 test(folio): cover submit predicate with raw typed-amount inputs pj 2026-05-31 18:57:34 +05:30
• 3e4cf965b0 fix(folio): carry forward total balance across off-screen transitions pj 2026-05-31 18:57:07 +05:30
• 7ef448987f fix(folio): parse raw amount input as cents in submit predicate pj 2026-05-31 18:56:46 +05:30
• d88200f398 fix(folio): add parseTypedAmount helper matching app's parseCents pj 2026-05-31 18:56:30 +05:30
• ee1fad1d30 fix(verifier): populate Action.On when tap chooser picks an element pj 2026-05-31 18:53:27 +05:30
• ff1a8928dc fix(runner): mark nil/empty hierarchy as transitional pj 2026-05-31 18:50:28 +05:30
• 211f3fbf96 docs(action-space): move LongPress, Scroll, DoubleTap to current actions pj 2026-05-31 18:13:23 +05:30
• 49333d42f8 test(runner): cover LongPress and Scroll dispatch pj 2026-05-31 18:13:23 +05:30
• e14dd20a83 feat(runner): dispatch LongPress and Scroll actions pj 2026-05-31 18:13:18 +05:30
• 9df5edb900 test(proto): expect LongPress in service descriptor pj 2026-05-31 18:11:37 +05:30
• b23a8efbdb test(spec): cover LongPress and Scroll runtime members pj 2026-05-31 18:09:34 +05:30
• 792010c6d0 feat(spec): re-export longPresses and scrolls as opt-in generators pj 2026-05-31 18:09:34 +05:30
• 8efcfbce51 feat(spec): no-op LongPress and Scroll in web runtime pj 2026-05-31 18:09:34 +05:30
• 66b2877f9f feat(spec): add LongPress and Scroll authoring surface pj 2026-05-31 18:08:19 +05:30
• a6a629a6bc test(folio-spec): unit tests for submitChangesBalanceByTypedAmount pj 2026-05-31 18:07:57 +05:30
• c6efc15951 test(verifier): cover longPresses and scrolls generators pj 2026-05-31 18:07:37 +05:30
• dc0026ad37 feat(verifier): wire longPresses and scrolls generators pj 2026-05-31 18:07:37 +05:30
• 2397a65b9f feat(folio-spec): wire submitMovesBalanceByTypedAmount property pj 2026-05-31 18:07:08 +05:30
• 7a2f03e67f feat(folio-spec): predicate that gates balance check on TxnSubmit tap pj 2026-05-31 18:07:01 +05:30
• 8ffb174c1b feat(verifier): add LongPress and Scroll action kinds pj 2026-05-31 18:06:29 +05:30
• ae271b86e0 test(sidecar): implement longPress in snapshot test backend pj 2026-05-31 18:03:41 +05:30
• 050246448b test(sidecar): cover LongPress dispatch pj 2026-05-31 18:02:50 +05:30
• 95bb77d43c feat(sidecar): dispatch LongPress RPC to backend pj 2026-05-31 18:02:50 +05:30
• 33fbf2a68e feat(sidecar): implement longPress across backends pj 2026-05-31 18:02:50 +05:30
• b3742101d1 feat(chrome): implement LongPress as press-and-hold pj 2026-05-31 18:02:08 +05:30
• ecaae817a0 feat(mock): record LongPress action pj 2026-05-31 18:01:38 +05:30
• fc54e86b17 feat(sidecar): add LongPress client method pj 2026-05-31 18:01:38 +05:30
• 55352f72c5 feat(driver): add LongPress to DeviceDriver interface pj 2026-05-31 18:01:24 +05:30
• 1ffca2e560 chore(proto): regenerate Go stubs for LongPress pj 2026-05-31 18:01:18 +05:30
• 26ed8e7760 feat(proto): add LongPress RPC pj 2026-05-31 18:01:09 +05:30
• 9f7f2f5b21 test(sidecar): assert InputText types at cursor without clearing pj 2026-05-31 17:52:45 +05:30
• 4d497cce56 fix(sidecar): type text at cursor instead of clearing the field pj 2026-05-31 17:52:24 +05:30
• 17fc698e10 fix(chrome): launch with no-sandbox so headless Chrome starts in CI pj 2026-05-31 17:09:35 +05:30
• 726e5e0a20 fix(build): rebuild sidecar JAR when Kotlin sources change pj 2026-05-31 15:56:30 +05:30
• 37079a0d84 test(spec): cover balanceMatchesAddedSum single, sum-match, over, under cases pj 2026-05-31 15:49:55 +05:30
• b88b6c239d fix(folio): use sum-of-added-rows in balanceMatchesAddedTxn pj 2026-05-31 15:49:51 +05:30
• 35fce05b65 fix(folio): extract balanceMatchesAddedSum predicate as testable helper pj 2026-05-31 15:49:45 +05:30
• e9c6066ba4 refactor(inspect-ui): rename Step.action to Step.next_action pj 2026-05-31 15:41:25 +05:30
• f237eb2c4d test(inspect): update fixtures to use next_action trace field pj 2026-05-31 15:40:34 +05:30
• 7916123458 refactor(inspect): decode trace step's next_action JSON field pj 2026-05-31 15:40:04 +05:30
• 332e7a034d refactor(runner): assign trace action to Step.NextAction field pj 2026-05-31 15:39:43 +05:30