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

• 75d66a916a test(replay-ui): trace fixtures for the vacuity counts pj 2026-08-15 13:38:18 +05:30
• 2a807b38fc fix(release): stage the sidecar jar at the renamed embed path pj 2026-08-15 13:36:19 +05:30
• 6e52fa0837 fix(runner): an apply error leaves the action's fate unknown, not undone pj 2026-08-15 13:33:55 +05:30
• 53245fc589 fix(verifier): report whether the last action was confirmed applied pj 2026-08-15 13:33:49 +05:30
• 47481fed93 docs: say how the cli and spec package versions relate pj 2026-08-15 13:32:28 +05:30
• e8beddfd70 docs(spec): cut the package readme to a description and doc links pj 2026-08-15 13:32:23 +05:30
• ebed84afc3 feat(campaign): record the label source in the manifest pj 2026-08-15 13:32:05 +05:30
• ff2de344e9 feat(campaign): make the label source a cell dimension pj 2026-08-15 13:32:05 +05:30
• 4b22b45b68 fix(spec): export Direction, ScrollAction and LongPressAction from the entry pj 2026-08-15 13:31:32 +05:30
• fb57ab2f56 fix(testrun): alias the installed spec package so one module graph loads pj 2026-08-15 13:30:21 +05:30
• b3d4c5c213 fix(spec): publish src so an installed package carries the runtime entries pj 2026-08-15 13:29:14 +05:30
• d987526e47 Merge origin/master into llm-recording-and-analysis pj 2026-08-15 13:28:11 +05:30
• 56fe509150 chore: point stale spec-api comments at pkg/spec pj 2026-08-15 13:27:44 +05:30
• 1f9af6e8e5 fix(build): clean pkg/spec/dist, not the dead spec-api path pj 2026-08-15 13:27:37 +05:30
• 6caf77a194 ci(folio): run gradle on jdk 21 for the metro plugin pj 2026-08-15 13:27:09 +05:30
• b02e86b2e3 ci: dispatch workflows for folio and the replay ui (#73) pj 2026-08-15 13:01:27 +05:30
• f0cb07d3a6 ci(replay-ui): skip a run directory with no trace ci-dispatch-workflows pj 2026-08-15 12:47:03 +05:30
• b2f9335f5d ci(folio): a missing trace is not a verdict pj 2026-08-15 12:47:03 +05:30
• 9a05add30c ci: fail fast when a server never comes up pj 2026-08-15 12:47:03 +05:30
• 7c845ff498 ci: declare least-privilege permissions pj 2026-08-15 12:46:49 +05:30
• 6605df5752 ci: pin buf-setup-action to a commit pj 2026-08-15 12:46:49 +05:30
• 859d06c3a0 test(sidecar): pin the transition cap by driving it pj 2026-08-15 12:46:40 +05:30
• 0e35978e25 fix(sidecar): measure the stability streak as observed quiet pj 2026-08-15 12:46:40 +05:30
• e7f66b8a95 ci: run the kotlin tests in make test pj 2026-08-15 12:46:32 +05:30
• b657d4c74f test(runner): bound the last-action test by steps, not wall clock pj 2026-08-15 12:46:32 +05:30
• 7c26eac322 docs(replay-ui): the enumeration reaches step rows now pj 2026-08-15 12:46:32 +05:30
• f09c6b5d4d fix(web): read aria-disabled as disabled pj 2026-08-15 12:46:24 +05:30
• f3096d195b test(browser): tap a role-based control end to end pj 2026-08-15 12:46:13 +05:30
• a460eba3db fix(web): offer the aria roles a user activates pj 2026-08-15 12:45:49 +05:30
• ce4f660098 test(browser): drive an undefined reading through the whole web path pj 2026-08-15 12:45:37 +05:30
• 85338aeaf1 fix(runner): fail when the page reports fewer readings than extractors pj 2026-08-15 12:45:31 +05:30
• 4b7a9e2fe2 feat(verifier): report the registered extractor count pj 2026-08-15 12:45:31 +05:30
• 45b7624280 fix(web): keep an undefined reading's index through JSON pj 2026-08-15 12:45:25 +05:30
• 63d80f293e perf(folio): read each frame once pj 2026-08-15 12:45:16 +05:30
• ade3e77ff5 fix(folio): drop a name two cards answer to pj 2026-08-15 12:45:09 +05:30
• ea4d40e507 docs: six of seven, the seventh is the stock property pj 2026-08-14 22:49:09 +05:30
• 61e493002e fix(web): fail on a partial extractor override pj 2026-08-14 22:49:09 +05:30
• 973ca16a41 fix(chrome): anchor the transition deadline when the dom goes quiet pj 2026-08-14 22:48:38 +05:30
• f738a590f0 fix(web): read the page's extractors only on steps that count pj 2026-08-14 22:48:38 +05:30
• b1bf39bac5 test(sidecar): pin that a slow read counts toward the stability streak pj 2026-08-14 22:41:58 +05:30
• 9f1dfe27ba docs: correct the snippets and numbers that drifted from the code pj 2026-08-14 22:41:53 +05:30
• 5ad545a6ba ci: install idb-companion from its tap and stop interpolating inputs pj 2026-08-14 22:41:53 +05:30
• f1989324a2 ci(folio): a thrown predicate is not a conviction pj 2026-08-14 22:41:53 +05:30
• 87b1eb0910 docs: only the repo owner merges pj 2026-08-14 22:23:53 +05:30
• 85358f007e ci(folio): let the android leg run far enough to see its conviction pj 2026-08-14 20:40:22 +05:30
• 129bbc7a62 fix(android): wait out a route cross-fade before snapshotting pj 2026-08-14 20:39:58 +05:30
• 05d65841b7 docs(ci): describe the two properties and why android cannot convict pj 2026-08-14 19:04:15 +05:30
• a9334b2927 ci(folio): pin the recalibrated seeds and drop android to a health gate pj 2026-08-14 19:03:51 +05:30
• 21ae7fde83 fix(folio): only disambiguate counts that came from merged text pj 2026-08-14 19:03:21 +05:30
• a97e5fef8f docs(manual): a step bound counts observations, not runner steps pj 2026-08-14 17:50:37 +05:30
• 3f0132c92a fix(folio-web): bound the reachability properties by steps pj 2026-08-14 17:50:37 +05:30
• 349a0644ac test(spec): guard the step unit on the authoring surface pj 2026-08-14 17:50:37 +05:30
• a449c99f08 test(ltl): pin that a slow policy does not fail on time alone pj 2026-08-14 17:50:37 +05:30
• a1e6bd7853 fix(ltl): keep the authored window on a step-bounded obligation pj 2026-08-14 17:50:19 +05:30
• 0cc20539bc test(campaign): wait for the trap instead of racing it pj 2026-08-14 17:50:19 +05:30
• eacf3fd11f fix(analyze): divide per-hour rates by time actually worked pj 2026-08-14 17:43:12 +05:30
• c63a2e4897 fix(campaign): record both clocks a run was measured on pj 2026-08-14 17:43:12 +05:30
• 95a474339e perf(runner): confirm focus only when another element holds it pj 2026-08-14 17:43:12 +05:30
• dd17f831ef fix(campaign): signal a timed-out run so it reaps its sidecar pj 2026-08-14 17:27:13 +05:30
• 9efed1f669 test(folio): cover transition frames, card readings and creation pj 2026-08-14 16:33:11 +05:30
• d31de3b247 fix(folio): never read a frame that shows two screens pj 2026-08-14 16:33:11 +05:30
• 6f7e690750 test(folio): pin the window rules and the count invariant pj 2026-08-14 13:52:28 +05:30
• e5900712b8 fix(folio): read the app's own total and refuse contaminated windows pj 2026-08-14 13:52:28 +05:30
• 6f0ee85eec feat(folio): tag the home total and the card transaction count pj 2026-08-14 13:52:28 +05:30
• a6474dc911 docs: write down the silent-vacuity failure modes pj 2026-08-14 11:58:48 +05:30
• 32b6869526 docs: stop teaching the zero-default that caused a false alarm pj 2026-08-14 11:23:00 +05:30
• 646c3663e0 test(folio): pin the safe-integer guard and its boundary pj 2026-08-14 11:22:07 +05:30
• 0ad8a015ca fix(folio): stop convicting on arithmetic float64 cannot hold pj 2026-08-14 11:22:07 +05:30
• e591cdf6bf docs(ci): correct the calibrated step ranges pj 2026-08-14 11:05:07 +05:30
• 3ce9455928 fix(ios): read a StaticText's label as its text pj 2026-08-14 11:04:05 +05:30
• 9a2bbbf769 fix(runner): confirm focus moved before typing pj 2026-08-13 23:00:39 +05:30
• 6fd3fef9fa docs(manual): attrs carries raw attribute names on web too pj 2026-08-13 22:55:20 +05:30
• 78e561ba7e fix(verifier): name a web handle by the same ladder as a tree element pj 2026-08-13 22:55:20 +05:30
• 037a803f0e fix(spec): key web attrs by the names the markup writes pj 2026-08-13 22:55:20 +05:30
• 2f782608c5 docs(ci): explain why a submit tap landing on home is the bug pj 2026-08-13 22:41:24 +05:30
• 7cd3bc7749 ci(folio): make web an expect-the-bug leg pj 2026-08-13 22:41:24 +05:30
• 94084d9992 test(folio): cover merged-card parsing and unknown balances pj 2026-08-13 22:34:35 +05:30
• 5b80c0701b fix(folio): read balances from merged cards and treat unreadable as unknown pj 2026-08-13 22:34:35 +05:30
• 739e921788 docs: minimal changes, self-documenting code, tests as first-class pj 2026-08-13 22:28:18 +05:30
• 68d5633d1d fix: bound the pre-run app launch pj 2026-08-13 21:45:30 +05:30
• 5017036b62 fix(chrome): wait out a route transition before sampling facts pj 2026-08-13 21:45:24 +05:30
• 5c420ef72a fix(web): carry element identity on actions and fix findAll on paths pj 2026-08-13 21:45:24 +05:30
• 1d46107ee8 fix(web): install lastAction in the page before extractors read it pj 2026-08-13 21:45:18 +05:30
• df74bf4d6f refactor(verifier): derive the lastAction shape from one field list pj 2026-08-13 21:45:18 +05:30
• b6dabaeeca fix(folio-web): enumerate authored targets and values, declare the llm generator pj 2026-08-13 21:45:05 +05:30
• 4c5932b4be fix(folio): enumerate authored targets and values instead of sampling pj 2026-08-13 21:45:05 +05:30
• 9f75ee433d docs(ci): correct the ios hang wording and note the device lock pj 2026-08-13 21:05:38 +05:30
• 0c249ec261 fix(ios): bound lifecycle rpcs and claim the target device pj 2026-08-13 21:05:16 +05:30
• 0a8b441d35 docs: record that canvas apps need a dom proxy to be text-fuzzable pj 2026-08-13 20:48:14 +05:30
• 71657b2d0b ci: authenticate and pin the buf setup step pj 2026-08-13 20:48:14 +05:30
• a632dbc406 ci: pin calibrated seeds, skip the flaky ios reinstall, bound every job pj 2026-08-13 02:04:49 +05:30
• 83285f0c30 refactor(web): use max for the settle budget pj 2026-08-13 01:36:39 +05:30
• b7d3b1b7cb ci(folio): give the ios leg its jdk, android sdk, just, and a clean app start pj 2026-08-13 01:23:49 +05:30
• dfff790805 docs: describe the dispatch workflows and how to read a failure pj 2026-08-13 01:17:12 +05:30
• 8ceab4d581 ci: add dispatch workflows for folio and the replay ui pj 2026-08-13 01:17:12 +05:30
• 08b15ba812 chore(make): add per-platform sanderling build targets pj 2026-08-13 01:09:51 +05:30
• d945c8bb13 fix(replay-ui): scope the screenshot property to the named state panel pj 2026-08-13 01:09:26 +05:30
• 4fce5f7c82 feat(replay-ui): add the dogfood spec sanderling runs against the replay ui pj 2026-08-13 01:02:12 +05:30
• c5b221fe3b feat(replay-ui): add data-testid hooks the dogfood spec drives pj 2026-08-13 00:58:55 +05:30
• f307354bc7 docs(manual): value generators are refused under the model policy too pj 2026-08-13 00:58:18 +05:30