Repository navigation

Add scene-witness reducer (checkpoint: contract module saved) - #232

Draft

SamGu-NRX wants to merge 21 commits into

mainfrom

obv/products-l3-scene-witness-reducer-20261010

Draft

Add scene-witness reducer (checkpoint: contract module saved)#232
SamGu-NRX wants to merge 21 commits into
mainfrom
obv/products-l3-scene-witness-reducer-20261010

Commits on Sep 27, 2026
- server: fixes from the main-track review of 9edcd4b
  
  SamGu-NRX
  and
  claude
  committed
  6c7ca23
- server: find drift-dependent passing intervals by bracketing
  
  SamGu-NRX
  and
  claude
  committed
  14dd051
- server: fixes from the Codex review of 6c7ca23
  
  SamGu-NRX
  and
  claude
  committed
  903d86f
- server: finish the height, segment and gap fixes (caretaker on 903d86f)
  
  SamGu-NRX
  and
  claude
  committed
  7133283
- server: safety fixes from the Codex review of 7133283
  
  SamGu-NRX
  and
  claude
  committed
  6200098
- server: document and pin the wall out_ft equality rule
  
  SamGu-NRX
  and
  claude
  committed
  9176125
- server: two false passes from the Codex review of 9176125
  
  SamGu-NRX
  and
  claude
  committed
  4a9fa44
- server: every request settles in one capture (S4 on 4a9fa44)
  
  SamGu-NRX
  and
  claude
  committed
  5682a67
- server: the caretaker's three findings at 4a9fa44
  
  SamGu-NRX
  and
  claude
  committed
  5a4b4f4
- server: a conservative house, and the coverage tolerance counted once
  
  SamGu-NRX
  and
  claude
  committed
  86b2b4d
- Test that more space never makes a check worse
  
  SamGu-NRX
  and
  claude
  committed
  22292a8
- Count ground seen past a limit end inside an unexplored end's reach
  
  SamGu-NRX
  and
  claude
  committed
  a726199
- Hold every PASS wherever the declared errors put things
  
  SamGu-NRX
  and
  claude
  committed
  da6d308
- Judge spans with the battery's error along the walls, not the meter's
  
  SamGu-NRX
  and
  claude
  committed
  0ac96a3
- Bound the route's meter error exactly, and hold a PASS strictly
  
  SamGu-NRX
  and
  claude
  committed
  3baa338
- Fix the final review's side passage, drive, fixed-point and size findings
  
  SamGu-NRX
  and
  claude
  committed
  6c7bea1
- Move a hazard on another wall's line with that wall
  
  SamGu-NRX
  and
  claude
  committed
  1d1e7e1
Commits on Oct 10, 2026
Commits on Oct 11, 2026
- Add scene-witness contract module (checkpoint; rebuild in progress after sandbox wipes)
  
  SamGu-NRX
  and
  obvious-autobuild[bot]
  committed
  62bd963

Navigation Menu

Repository navigation

Add scene-witness reducer (checkpoint: contract module saved) - #232

Add scene-witness reducer (checkpoint: contract module saved)#232
SamGu-NRX wants to merge 21 commits into
mainfrom
obv/products-l3-scene-witness-reducer-20261010

Commits on Sep 27, 2026

server: fixes from the main-track review of 9edcd4b

server: find drift-dependent passing intervals by bracketing

server: fixes from the Codex review of 6c7ca23

server: finish the height, segment and gap fixes (caretaker on 903d86f)

server: safety fixes from the Codex review of 7133283

server: document and pin the wall out_ft equality rule

server: two false passes from the Codex review of 9176125

server: every request settles in one capture (S4 on 4a9fa44)

server: the caretaker's three findings at 4a9fa44

server: a conservative house, and the coverage tolerance counted once

Test that more space never makes a check worse

Count ground seen past a limit end inside an unexplored end's reach

Hold every PASS wherever the declared errors put things

Judge spans with the battery's error along the walls, not the meter's

Bound the route's meter error exactly, and hold a PASS strictly

Fix the final review's side passage, drive, fixed-point and size findings

Move a hazard on another wall's line with that wall

Commits on Oct 10, 2026

Add review-hardening witness regressions (all failing on t3/server)

Implement the evidence, budget and reason/provenance repairs

Add independent corner, ground, uncertainty and schema-compat witnesses

Commits on Oct 11, 2026

Add scene-witness contract module (checkpoint; rebuild in progress after sandbox wipes)