SSX v5 hardening: theorem-first overlap certification, unified budgets/status, singular-case completeness (L41–L61)#45

Open

sth-v wants to merge 55 commits into

tinyfrom

ssx5-singular-hardening

Commits on Jul 10, 2026

fix(ssx5): harden singular and rational intersections
sth-v
committed

Commits on Jul 11, 2026

docs(ssx5): budget review + overlap contract — decisions on record, ledger L41–L54

sth-v
and
claude
committed

Commits on Jul 12, 2026

fix(ssx5): L41 — schema v2 (complete/status.reasons/status.work) + adapter always-return-status

sth-v
and
claude
committed
fix(ssx5): L42 — CSX curved-UV overlap fallback (bounded + honest partial)

sth-v
and
claude
committed
feat(ssx5): L28 — 2-D overlap regions (approved Option C)

sth-v
and
claude
committed
fix(ssx5): L43+L44+L45 — budget exchange rates + NaN chain (P0 batch)

sth-v
and
claude
committed
fix(ssx5): L46 — closest-point budget signal + interior starvation

sth-v
and
claude
committed
fix(ssx5): review fix — overlap-box coverage requires both parameter planes

sth-v
and
claude
committed
docs(ssx5): kickoff — next-session prompt for L25/L47+ queue

sth-v
and
claude
committed
fix(ssx5): L25 — exit commits only on a certified on-face root; march past edge-grazes

sth-v
and
claude
committed
feat(ccx): L47 — residual-certified overlap tier (user-approved contract); L55 resolved

sth-v
and
claude
committed
test(param-tol): L48 — regression pins for the semantic shift + legacy consumers

sth-v
and
claude
committed
fix(ssx5): L49 — cut-face CSX parameter_fibers surfaced, never dropped silently

sth-v
and
claude
committed
fix(ssx6): L53 — repair the corrupted interior-path filter; stale-fork charter

sth-v
and
claude
committed
fix(csx): L51 — boundary exhaustion keeps certified roots; ledger: L50 investigation

sth-v
and
claude
committed
docs(ssx5): kickoff — 2026-07-12 evening session 2 closed; next queue L54-verify/L52/L50

sth-v
and
claude
committed
fix(ccx,ssx5): L54 — audit results: on-node crossing bridge + NaN exit hardening

sth-v
and
claude
committed
refactor(ssx5,ccx): L52 slice 1 — remove measured-dead code

sth-v
and
claude
committed
refactor(adapters): L52 slice 3 — one status ledger for _nccx4/_ncsx4

sth-v
and
claude
committed
test(ssx5,ccx,csx): L52 slices 2+4 — preflight pins + in-repo budget_contract gate

sth-v
and
claude
committed
docs(ssx5): kickoff — L52 slices shipped; next queue = L52 remainder, then L50

sth-v
and
claude
committed
docs(ssx5): kickoff — final HEAD pin + L52-slice record for the next session

sth-v
and
claude
committed
refactor(ssx5): L52 slice 5a — SoftWorkBudget + charge_hook extracted to _work_budget

sth-v
and
claude
committed
refactor(ssx5,ccx,csx): L52 slices 5b+5e — BernsteinZeroBudget + LatchingSpend into _work_budget

sth-v
and
claude
committed
test(ccx): L56 — exactness contracts re-pinned to the L47 tier; suites join the §3 gates

sth-v
and
claude
committed
refactor(ccx,csx): L52 slice 5c — inline cell counters onto shared DownCounter

sth-v
and
claude
committed
refactor(adapters,closest-point): L52 slice 5d — clamp-and-charge family onto reconcile_reported

sth-v
and
claude
committed
test(ssx5): L52 slice 11 — coverage harness enforces per-case work drift <= 2x baseline

sth-v
and
claude
committed
fix(param-tol): L52 slice 12 — collapsed-speed guards use < _TINY, not == 0.0

sth-v
and
claude
committed
test(ccx): slice-5 review finding — hump re-pin asserts the overlap span

sth-v
and
claude
committed
refactor(ccx,csx): L52 slices 6a+6b — shared Bernstein product + explicit envelope reconciliation

sth-v
and
claude
committed
fix(csx): L52 slice 6c — L1 roundoff margin on the G-net exclusion prune

sth-v
and
claude
committed
docs(ssx5): kickoff §2 — L52 continuation session record (slices 5, 6, 11, 12-first; L56; review + process notes)

sth-v
and
claude
committed
refactor(ccx,csx): L52 slice 7a — shared subdivide/restrict helpers in _bezier_common

sth-v
and
claude
committed
refactor(ssx5,csx): L52 slice 7b — one collapsed-geometry predicate

sth-v
and
claude
committed
fix(adapters): L52 slice 8 — reject unknown kwargs; nurbs_csx atol= renamed to tol=

sth-v
and
claude
committed
fix(ssx5): L52 slice 9a — c1 Σ-truncation is unresolved_singular_set, not work_budget

sth-v
and
claude
committed
docs(ssx5): kickoff §2 — continuation session final record (slices 7, 8, 9a; next queue 9b/10/12/L50)

sth-v
and
claude
committed
fix(ssx5): slices-6-9a review findings — c1 contention guard + latent test debris

sth-v
and
claude
committed
fix(csx): L52 slice 10 — short clipped overlap spans ship typed, not silently complete

sth-v
and
claude
committed
docs(ssx5): kickoff §2 — session close (slice 10 + second review done; next: 9b/12-remainder/L50)

sth-v
and
claude
committed
feat(ssx5): L52 slice 9b — typed unresolved complement (unresolved_regions)

sth-v
and
claude
committed
docs(ssx5): ledger — register L57 (planar-quad edge-overlap branch loss, user fixtures) + L58 (spheres, parked)

sth-v
and
claude
committed
test(csx): track the six overlap_nurbs_intersection_*_new real-data scripts (user geometry)

sth-v
and
claude
committed
docs(ssx5): ledger — L59 registered with the user's theorem-first decision + bisect evidence

sth-v
and
claude
committed
feat(csx,ssx5): L59 — theorem-first curve-on-surface overlap certification (user decision)

sth-v
and
claude
committed
docs(ssx5): kickoff §2 — session close (9b + L59 shipped; next: L60/12-remainder/L50; PR deferred pending user)

sth-v
and
claude
committed
feat(csx): L60 — aligned zero exclusion + one-side-pinned band certification

sth-v
and
claude
committed
fix(csx): L60 follow-up — arm the overlap tier for zero-boundary-zero pairs; split pricing

sth-v
and
claude
committed
test(csx): migrate the tracked overlap scripts to the L41 3-tuple returns

sth-v
and
claude
committed
docs(ssx5): kickoff §2 — L60 complete (both rounds); scripts migrated and green

sth-v
and
claude
committed

Commits on Jul 13, 2026

Commits on Jul 14, 2026