Repository navigation

verification: independent end-to-end checks (S4) - #13

Merged

AidenJohnston merged 59 commits into

mainfrom

t3/verification

Sep 27, 2026

Merged

verification: independent end-to-end checks (S4)#13
AidenJohnston merged 59 commits into
mainfrom
t3/verification

Commits on Sep 26, 2026
- verification: add Simulator runner, STATE probe and UX checklist
  
  SamGu-NRX
  and
  claude
  committed
  1cd340d
- verification: time states by the log clock; fix probe argument
  
  SamGu-NRX
  and
  claude
  committed
  05f70dc
- verification: check replay sessions against C3 and ground truth
  
  SamGu-NRX
  and
  claude
  committed
  78d6553
- verification: add end-to-end server check
  
  SamGu-NRX
  and
  claude
  committed
  2a6d3f7
- verification: probe checks the Simulator can read a host-path replay; document checks
  
  SamGu-NRX
  and
  claude
  committed
  42b9fdc
- verification: solver shim, per-use worktrees, margin rule for other unsure causes
  
  SamGu-NRX
  and
  claude
  committed
  e0959c2
- verification: record load average with e2e latency
  
  SamGu-NRX
  and
  claude
  committed
  328373d
- verification: add the scoreboard; e2e reports app exports
  
  SamGu-NRX
  and
  claude
  committed
  2ae5a80
- verification: regenerate scoreboard
  
  SamGu-NRX
  and
  claude
  committed
  ede8be1
- verification: independent placement cases from the public goldens
  
  SamGu-NRX
  and
  claude
  committed
  c47c70e
- verification: count contract problems apart from case expectations
  
  SamGu-NRX
  and
  claude
  committed
  5ed6fda
- verification: accessibility audit harness; probe gains a negative control
  
  SamGu-NRX
  and
  claude
  committed
  8610d63
- verification: fix cases that missed public rules; accept a named raw-body endpoint
  
  SamGu-NRX
  and
  claude
  committed
  0d4f1d6
- verification: independent accessibility audit per screen
  
  SamGu-NRX
  and
  claude
  committed
  69592e6
- verification: pick the JSON-answering upload endpoint; variants keep bundle images
  
  SamGu-NRX
  and
  claude
  committed
  6cf8692
- verification: scope app evidence to the app branch's runs; regenerate scoreboard
  
  SamGu-NRX
  and
  claude
  committed
  0b21608
- verification: goldens 07 and 09; cases can rule out one outcome and point at scenes outside git
  
  SamGu-NRX
  and
  claude
  committed
  c692a8d
- verification: real-geometry scene from ETH3D facade
  
  SamGu-NRX
  and
  claude
  committed
  820ac91
- verification: regenerate scoreboard
  
  SamGu-NRX
  and
  claude
  committed
  9e25dbf
- verification: C5 check reads the review line; margin must be within error of a line
  
  SamGu-NRX
  and
  claude
  committed
  fc1858e
- verification: runner waits only for compiling builds; reports keep every app log line
  
  SamGu-NRX
  and
  claude
  committed
  9038202
- verification: start the product description of the capture app
  
  SamGu-NRX
  and
  claude
  committed
  1330a82
- verification: product description pilot, first Simulator pass, triage; scoreboard evidence
  
  SamGu-NRX
  and
  claude
  committed
  e38ca04
- verification: make sim-app and make e2e; reports record peak memory
  
  SamGu-NRX
  and
  claude
  committed
  7c2c9ab
- verification: product description and UX review at t3/ios-mvf 0876e03; cleanup
  
  SamGu-NRX
  and
  claude
  committed
  e18a2eb
- verification: recheck at t3/ios-mvf 525ea40; fix a race in the audit harness
  
  SamGu-NRX
  and
  claude
  committed
  60fe0d3
- verification: scoreboard with the slow probes run
  
  SamGu-NRX
  and
  claude
  committed
  4b4425b
- verification: regenerate scoreboard
  
  SamGu-NRX
  and
  claude
  committed
  5e60831
- verification: recheck at t3/ios-mvf beede15
  
  SamGu-NRX
  and
  claude
  committed
  30e866c
- verification: derive coverage radii from rules.yaml, add ordering, completeness and hostile-input checks
  
  SamGu-NRX
  and
  claude
  committed
  97cebbf
- verification: widen each clearance's reach by the battery's error, check requests per band, bound hostile inputs by memory
  
  SamGu-NRX
  and
  claude
  committed
  3b6459c
- verification: recheck at t3/ios-mvf a39d0a5 and t3/server 739fb6f
  
  SamGu-NRX
  and
  claude
  committed
  56bdde6
- verification: read ru_maxrss in kilobytes on Linux
  
  SamGu-NRX
  and
  claude
  committed
  683a386
- verification: friction audit of the homeowner's path at t3/ios-mvf a39d0a5
  
  SamGu-NRX
  and
  claude
  committed
  eb903b7
- verification: recheck t3/server 779f0c3, hosted and 0bad4de; stale rows cite the run that measured the SHA
  
  SamGu-NRX
  and
  claude
  committed
  52aa87f
- verification: final app run on the hosted API at t3/ios-mvf 194f2eb
  
  SamGu-NRX
  and
  claude
  committed
  29b7b7d
- verification: point the facade scene's rule sources at docs/04
  
  SamGu-NRX
  and
  claude
  committed
  63350b1
Commits on Sep 27, 2026
- verification: fix the review's nine findings; move the app reviews to #61
  
  SamGu-NRX
  and
  claude
  committed
  e0e3ae6
- verification: count a past-end request as covering what lies beyond the end
  
  SamGu-NRX
  and
  claude
  committed
  5f73553
- verification: cut the README to the experiment format; move what each check asserts into the docstrings
  
  SamGu-NRX
  and
  claude
  committed
  4fe1e43
- verification: require views strictly past the needed height; credit walk-past requests only at the real end
  
  SamGu-NRX
  and
  claude
  committed
  5df7468
- verification: check each sweep start alone; survive malformed answers and shared builds
  
  SamGu-NRX
  and
  claude
  committed
  3e95373
- verification: say that sweep coverage samples starts, not the server's list
  
  SamGu-NRX
  and
  claude
  committed
  544db3b
- verification: facing and headroom need the band past the battery by the wall's error
  
  SamGu-NRX
  and
  claude
  committed
  c114db2
- verification: widen facing and headroom by the drifted error, as the server does
  
  SamGu-NRX
  and
  claude
  committed
  1b62f94
- verification: lay walls out and check declared heights as server 7133283 does
  
  SamGu-NRX
  and
  claude
  committed
  de53ecd
- verification: scoreboard and result at server 7133283
  
  SamGu-NRX
  and
  claude
  committed
  1a0433e
- verification: a wall view without out_ft reached headroom height, as server 6200098 reads it
  
  SamGu-NRX
  and
  claude
  committed
  77ae847
- verification: claim only demonstrated reach in the ETH3D builder; owe requests for a spot's unseen checks
  
  SamGu-NRX
  and
  claude
  committed
  fcfecba
- verification: scoreboard and result at server 9176125
  
  SamGu-NRX
  and
  claude
  committed
  36ac02f
- verification: app rows at t3/ios-mvf f14947e; read its bundle line; tolerance for requests
  
  SamGu-NRX
  and
  claude
  committed
  64d70d1
- verification: close three false certifications; pin to server 4a9fa44
  
  SamGu-NRX
  and
  claude
  committed
  33811e4
- verification: sample ground cells at their centres as well as their edges
  
  SamGu-NRX
  and
  claude
  committed
  7761447
- verification: pin to server 86b2b4d; scoreboard and result
  
  SamGu-NRX
  and
  claude
  committed
  371c512
- verification: a reject needs every start failing; a footprint needs its wall; pin to a726199
  
  SamGu-NRX
  and
  claude
  committed
  21c8832
- verification: pin to server 3baa338; accept a pass by the smallest reported margin
  
  SamGu-NRX
  and
  claude
  committed
  255bc84
- verification: match server 3baa338's coverage, from the final Opus review of 255bc84
  
  SamGu-NRX
  and
  claude
  committed
  379e5ad
- verification: three more false certifications from Codex on 255bc84
  
  SamGu-NRX
  and
  claude
  committed
  b9f1601
- verification: app rows at #10's freeze c820cf1; band gaps under 0.01 ft are rounding
  
  SamGu-NRX
  and
  claude
  committed
  fb20cf7

Commits

Commits on Sep 26, 2026

Commits on Sep 27, 2026