Record paused Surface integration handoff

Separate completed f804bc5f validation from the incomplete 185-unit run on the latest merged implementation.

Co-Authored-By: Codex <noreply@openai.com>
This commit is contained in:
Karl Von Richter
2026-10-16 21:03:34 +10:00
parent 8cb9ff44b7
commit 88596f8e90
3 changed files with 53 additions and 1 deletions
+26
View File
@@ -1010,3 +1010,29 @@ older pass certifies that head. Cone
trim/fast-drop virtual callbacks, part 9 iso/tessellation, torus/extrusion,
curve-on-surface and B-spline cache-storage adapters remain explicit gaps. No cone
null-offset numerical result is certified by this PR.
## Paused at user request (2026-10-16)
Draft PR: https://github.com/bherbruck/solidcore/pull/133. Branch
`t3/kernel-surface-dispatch`, latest implementation `8cb9ff44`, merged main
through `8f6a9378` (#120/#131/#128/#142). No additional implementation should
continue until requested. The active 185-unit GNU run 38889088718 was cancelled
to pause work; it does not certify the final merged source.
Completed on 8cb9ff44: fmt, strict plain/C++ Clippy, 1,230 workspace tests
(1,208 core), WASM, license/source checks and publish dry-run. Native full gate,
sensitivity and focused FFI tests still need to finish on this revision.
Last completed full GNU validation is f804bc5f, run 38884360383: 183 units,
99 green / 84 partial, 466,597 total cases, 453,941 compared, 12,656 deferred,
zero failed; sensitivity 453,859 detected / 453,859 perturbed, 82 empty outputs
unperturbed; 1,218 workspace tests and eight focused FFI tests pass. Reports
for that run are retained in `/tmp/sc133-premerge-ci-reports`, with its log in
`/tmp/sc133-premerge-ci.log`; they have not replaced newer main's reports.
Resume by checking live claims and main, finishing the current revision's native
gate/sensitivity/FFI checks, verifying all fixed tolerances and floor policies,
then refreshing reports, modules, findings, STATUS and the draft description.
Never hand-edit PROGRESS. Remaining cone_p2/sphere/analytic callback and storage
adapter gaps are recorded above; do not duplicate their numerical owners.
+26
View File
@@ -5513,3 +5513,29 @@ cone dispatch through `IntersectTarget::Surface` is not certified here; that
helper currently reaches the supplied general callback rather than recognizing
the new Cone variant as an analytic target. This remains part of the common
intersection adapter handoff, along with the explicit Surface method stubs.
### Moving-base integration during review validation
While the f804bc5f run was executing, main advanced through 8f6a9378 with
#128 (including heal.face_props) and #142's edge-use review fixes. The branch
merges that base and adapts six healing call sites to the borrowed Kernel. The
edge-use runner conflict is resolved by retaining both Kernel forwarding and
the incoming numerical gap arrays, exact-plane import and inexact-geometry
deferrals. Their numerical implementations are not duplicated or rewritten.
The completed [f804bc5f GNU run](https://github.com/Karl-VonRichter/solidcore/actions/runs/38884360383)
passes 183 units: 99 green / 84 partial, 466597 total cases, 453941 compared,
12656 deferred, zero failed. Sensitivity detects 453859/453859 perturbations,
with 82 empty outputs unperturbed. Workspace tests pass 1218 (1196 core), plus
eight focused FFI tests. These results certify f804bc5f only. The new 185-unit
run on 8cb9ff44 was cancelled at the user's pause request and does not certify the final merged revision.
### User pause (2026-10-16)
Work is paused with implementation 8cb9ff44 saved in draft PR #133. The
185-unit GNU validation run 38889088718 was cancelled at the user's request.
All required Rust checks, C++-feature Clippy and 1230 workspace tests (1208
core) pass on this revision. Its full native gate, sensitivity and focused FFI
tests remain incomplete; f804bc5f's completed 183-unit run is historical
evidence only. See STATUS for the exact handoff, artifact paths and resume steps.
+1 -1
View File
File diff suppressed because one or more lines are too long