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

• 8414953135 fix(conformance): g4 reads a doubling off the observed field value pj 2026-08-18 20:13:52 +05:30
• f0726a1e61 fix(analyze): compare arms on censored runs, not on flattened step counts pj 2026-08-18 20:13:12 +05:30
• b7ee23942e feat(analyze): add the gehan generalized wilcoxon test pj 2026-08-18 20:13:05 +05:30
• 3526d7a9dd refactor(analyze): open the log-rank up to a weight on the risk set pj 2026-08-18 20:12:59 +05:30
• 74cae01a5c feat(cli): --allow-no-generator-actions pj 2026-08-18 20:10:29 +05:30
• 93614a48b9 fix(testrun): the dead-run refusal gets its own opt-out pj 2026-08-18 20:10:29 +05:30
• aa49c3bc34 fix(testrun): a recorded violation outranks the dead-run refusal pj 2026-08-18 20:08:03 +05:30
• f631415cb6 test(conformance): the g4 fixture holds what a redacted android trace holds pj 2026-08-18 20:07:39 +05:30
• f7b90a9886 docs(folio): say how to point just test at a remote adb server pj 2026-08-18 19:54:49 +05:30
• 34f73b82f2 fix(folio): install through adb so a remote adb server works pj 2026-08-18 19:54:45 +05:30
• ca3519ba3a docs(manual): what an action count with no producer means for a rate pj 2026-08-18 19:45:58 +05:30
• ca6a05ca5e fix(analyze): mark an action count of unknown provenance in the report pj 2026-08-18 19:45:58 +05:30
• 628eb1949a fix(analyze): refuse to compare attributed and unattributed denominators pj 2026-08-18 19:45:55 +05:30
• 67c9de6365 fix(analyze): read how much of a record's action count names no producer pj 2026-08-18 19:45:55 +05:30
• e0180f891a fix(campaign): a record always says how many actions named no producer pj 2026-08-18 19:45:49 +05:30
• 153f857431 fix(defect-identity): degrade a redacted origin action to its selector pj 2026-08-18 19:43:28 +05:30
• 454988fbc8 fix(trace): an action names the generator that produced it pj 2026-08-18 17:58:38 +05:30
• 66fd5bce5d fix(runner): a secure field's value does not reach state.lastAction either pj 2026-08-18 17:32:28 +05:30
• 38d328df90 fix(verifier): a secure field's typed value never reaches the record pj 2026-08-18 17:17:03 +05:30
• b1e95739ad feat(hierarchy): an element reports whether it masks what is typed into it pj 2026-08-18 17:16:55 +05:30
• 5f1f50c2fb fix(campaign): the action count leaves the setup's login out on a model run pj 2026-08-18 16:52:22 +05:30
• b278fc869d fix(testrun): an ios run records the simulator it executed on pj 2026-08-18 16:38:00 +05:30
• 6cac99cc32 feat(runner): the summary says how many steps the generator drove pj 2026-08-18 16:38:00 +05:30
• 58168a6a3e fix(testrun): the refusal asks whether the generator drove, not whether anything did pj 2026-08-18 16:29:03 +05:30
• 5a36b583ea test(verifier): an unreadable committed fixture fails, it does not skip pj 2026-08-18 16:13:06 +05:30
• e08e1cc83b feat(bundle-check): --allow-no-properties opts out of the refusal pj 2026-08-18 16:12:56 +05:30
• c8fcc21e6b docs(spec-language): name the hintText selector's host divergence pj 2026-08-18 16:11:45 +05:30
• 15126c291d docs(cli): document --label-source pj 2026-08-18 16:11:45 +05:30
• 513b33c0e5 feat(testrun): refuse a run that dispatched none of its actions pj 2026-08-18 14:16:47 +05:30
• 0646611a7f fix(runner): a source that was asked and handed nothing says so pj 2026-08-18 14:16:42 +05:30
• 1da0c3e118 fix(analyze): censor a clean run at the steps it ran, and refuse mismatched budgets pj 2026-08-18 14:11:18 +05:30
• ff6c66a74b fix(confusion-matrix): a campaign that died is missing data, not a true negative pj 2026-08-18 14:08:59 +05:30
• 1d684a98eb ci: let a restored ios bundle survive make's mtime check pj 2026-08-18 13:04:31 +05:30
• 7b6a346443 feat(trace): record the device a run executed on pj 2026-08-18 13:03:42 +05:30
• a7f26e27c4 fix(campaign): quarantine a device that keeps failing fast pj 2026-08-18 13:03:42 +05:30
• bdf5f80842 fix(campaign): refuse to start on a device that is not there pj 2026-08-18 13:03:42 +05:30
• dd9c3a1d9a ci: pin the idb-companion tap to the formula the companion is staged from pj 2026-08-18 09:44:05 +05:30
• badabbaed8 fix(confusion-matrix): name every missing required flag, in flag order pj 2026-08-18 00:17:10 +05:30
• 627f9eeeff fix(implementation-sweep): name every missing required flag, in flag order pj 2026-08-18 00:17:10 +05:30
• 5892983ff8 fix(corpus-sweep): name every missing required flag, in flag order pj 2026-08-18 00:17:10 +05:30
• 2fd67d42f9 fix(campaign): name every missing required flag, in flag order pj 2026-08-18 00:17:10 +05:30
• ab4c42601d fix(web-runtime): focus follows the caret to the field it types into pj 2026-08-18 00:16:52 +05:30
• 04327e63b6 test(chrome): the handle and the enumeration agree on editable too pj 2026-08-18 00:15:55 +05:30
• 93580e076d test(chrome): a hinted field is not named by its css class pj 2026-08-18 00:10:53 +05:30
• bd01a76d70 fix(web-runtime): a handle answers editable for itself, not its container pj 2026-08-18 00:05:16 +05:30
• d5f48266e8 fix(corpus-sweep): name every missing binary, in flag order pj 2026-08-18 00:01:26 +05:30
• 5fc91fdca1 fix(chrome): focus follows the caret to the field it types into pj 2026-08-18 00:00:24 +05:30
• 176b495245 fix(implementation-sweep): name every missing binary, in flag order pj 2026-08-17 23:57:54 +05:30
• 6706461b91 fix(web-runtime): focus descends into the shadow root here too pj 2026-08-17 23:48:14 +05:30
• e432af7828 fix(replay-ui): read data-* attributes by their markup names pj 2026-08-17 23:45:33 +05:30
• 5651adb439 test(implementation-sweep): supply the binaries the missing-binary test does not test pj 2026-08-17 23:44:26 +05:30
• 071f9c7f52 fix(chrome): focus descends into the shadow root pj 2026-08-17 23:44:21 +05:30
• 0bfd194332 test(confusion-matrix): cover cell assignment, precision and recall pj 2026-08-17 23:27:51 +05:30
• cb7936fe36 test(confusion-matrix): reject malformed inputs and keep missing data out of the cells pj 2026-08-17 23:27:51 +05:30
• 56a002d87a feat(confusion-matrix): score the checker against a blind reviewer pj 2026-08-17 23:27:47 +05:30
• 8c8e87761d fix(folio-web): keep submit live for 400ms after saving pj 2026-08-17 23:27:37 +05:30
• bc0f286e29 feat(folio-web): judge one commit per submit over a home-card window pj 2026-08-17 23:27:33 +05:30
• dc2da35e2c feat(folio-web): predicates for counting commits against submit actions pj 2026-08-17 23:27:33 +05:30
• 2aba29a6e3 test(bundle-check): cover the zero-property refusal and pin the reported bundle pj 2026-08-17 23:27:29 +05:30
• 26455d5ec4 feat(bundle-check): fail a spec that bundles but registers no properties pj 2026-08-17 23:27:29 +05:30
• 9523133c59 docs(cli): document --allow-no-properties pj 2026-08-17 23:27:25 +05:30
• 1e8db8524d feat(cli): --allow-no-properties opts a run out of the refusal pj 2026-08-17 23:27:25 +05:30
• 7bafed8af4 feat(testrun): refuse a run against a spec that registers no properties pj 2026-08-17 23:27:21 +05:30
• 11c1569932 feat(verifier): expose the property names a loaded spec registered pj 2026-08-17 23:24:31 +05:30
• 573749f17a fix(make): build the binary instead of matching the build directory pj 2026-08-17 23:24:27 +05:30
• d84975e042 test(chrome): both resolvers agree on tag where a container's name contains its child's pj 2026-08-17 23:24:10 +05:30
• 9012ffa304 fix(selectors): tag names the whole tag, not a substring of it pj 2026-08-17 23:24:06 +05:30
• 81fe5f66f2 merge origin/master into llm-recording-and-analysis pj 2026-08-17 23:21:11 +05:30
• bf73f41300 docs(triage): name the trace field a run that never started leaves pj 2026-08-17 14:35:37 +05:30
• ddf17129bd feat(campaign): count the runs that were never in the app pj 2026-08-17 14:35:37 +05:30
• ca8b517d98 test(runner): the gate keeps looking until its budget runs out pj 2026-08-17 14:35:37 +05:30
• a7ed433706 fix(runner): budget the foreground gate in time, not in polls pj 2026-08-17 14:35:29 +05:30
• 1ebb8b191f feat(trace): a step can name the precondition it could not meet pj 2026-08-17 14:35:19 +05:30
• 6c5fd210de docs(driver): name the iOS implementation in the interface comment docs-driver-history pj 2026-08-17 11:29:31 +05:30
• 7a1ce8f01f docs(manual): correct the selector reference and the empty snapshots panel pj 2026-08-17 11:29:31 +05:30
• 135934d210 docs(manual): stop describing a sidecar on iOS pj 2026-08-17 11:29:31 +05:30
• d33a50738e docs(development): drop the deleted in-app SDK from the design principles pj 2026-08-17 11:29:31 +05:30
• e36ce36193 docs(development): correct the architecture page to the four driver paths pj 2026-08-17 11:29:31 +05:30
• 95a19fcc1e ci: pin the first-party actions to commit shas (#86) v0.0.3 pj 2026-08-17 10:26:05 +05:30
• b1874343b0 ci: pin the first-party actions to commit shas (#85) ci-latest-tool-versions pj 2026-08-17 10:21:47 +05:30
• 93c2d2ba74 ci: fix the node 20 warning and pin the protoc plugins (#84) v0.0.2 pj 2026-08-16 22:57:38 +05:30
• 7371081229 docs(development): record how the driver layer got here pj 2026-08-16 22:42:13 +05:30
• b45f28368f ci: keep IOS_DEVICE a device name, not the resolved udid pj 2026-08-16 22:24:56 +05:30
• 9a292aefd8 ci: run the ios leg on macos-26, pinned to a device and a runtime pj 2026-08-16 22:14:56 +05:30
• 6e85cac8b3 merge origin/master into llm-recording-and-analysis pj 2026-08-16 18:10:55 +05:30
• 56f66817f7 test(browser): assert an uncaught page exception reaches the trace pj 2026-08-16 17:45:47 +05:30
• 5967b4c79b docs(manual): document innermost text matching, escape and the web scroll verb pj 2026-08-16 17:45:47 +05:30
• 341d6a0614 feat(corpus-sweep): run one specification against a served corpus of implementations pj 2026-08-16 17:45:42 +05:30
• 146152a3af feat(implementation-sweep): run one campaign against every implementation of a requirement pj 2026-08-16 17:45:41 +05:30
• a45ba76d8e feat(oracle-reduction): replay stored traces under four reduced oracles pj 2026-08-16 17:45:41 +05:30
• a0a8c9c710 feat(defect-identity): count distinct defects across stored runs pj 2026-08-16 17:45:35 +05:30
• 11fca22d36 feat(exploration-reach): count the distinct structural states a stored run visited pj 2026-08-16 17:45:35 +05:30
• 0d1b2cf4e8 feat(label-coverage): report the addressable share of an app's interactive surface pj 2026-08-16 17:45:35 +05:30
• b47509a8e8 test(analyze): recover planted effects through the tool's own entry point pj 2026-08-16 17:45:26 +05:30
• 4dff70b18b feat(analyze): add the seed-paired signed-rank comparison and record the holm family pj 2026-08-16 17:45:26 +05:30
• b99da0be0e feat(analyze): time an event at the step it was detected and report the quartiles pj 2026-08-16 17:45:20 +05:30
• a28178337c refactor(seedspec): move seed spec parsing out of the campaign command pj 2026-08-16 17:44:57 +05:30
• 7823f53453 feat(tracecorpus): load recorded runs for offline measures pj 2026-08-16 17:44:52 +05:30
• 34db6457ac feat(testrun): expose the seeded bundle a run loaded pj 2026-08-16 17:44:52 +05:30
• 404573566d feat(verifier): expose extractor names and rebuilt property formulas pj 2026-08-16 17:44:52 +05:30