feat(linear-static-3d-euler-beam): step 18 - sparse-assembly-review-fix
This commit is contained in:
File diff suppressed because it is too large
Load Diff
@@ -729,8 +729,7 @@
|
|||||||
`tests/unit/assembly/sparse_assembler_test.cpp`, `src/fesa/CMakeLists.txt`,
|
`tests/unit/assembly/sparse_assembler_test.cpp`, `src/fesa/CMakeLists.txt`,
|
||||||
`tests/CMakeLists.txt`,
|
`tests/CMakeLists.txt`,
|
||||||
`docs/implementation-plans/linear-static-3d-euler-beam-implementation-report.md`,
|
`docs/implementation-plans/linear-static-3d-euler-beam-implementation-report.md`,
|
||||||
`phases/linear-static-3d-euler-beam/index.json`,
|
`phases/linear-static-3d-euler-beam/index.json`
|
||||||
`.superpowers/sdd/linear-static-3d-euler-beam/task-18-report.md`
|
|
||||||
- requirement_ids: `FESA-REQ-LS3DEB-024`, `FESA-REQ-LS3DEB-025`,
|
- requirement_ids: `FESA-REQ-LS3DEB-024`, `FESA-REQ-LS3DEB-025`,
|
||||||
`FESA-REQ-LS3DEB-034`, `FESA-REQ-LS3DEB-035`
|
`FESA-REQ-LS3DEB-034`, `FESA-REQ-LS3DEB-035`
|
||||||
- test_ids: `T18-SPARSE-001`, `T18-SPARSE-002`, `T18-SPARSE-003`,
|
- test_ids: `T18-SPARSE-001`, `T18-SPARSE-002`, `T18-SPARSE-003`,
|
||||||
@@ -748,7 +747,7 @@
|
|||||||
| VERIFY-full | `ctest --test-dir .harness/build -C Debug --output-on-failure` | 0 | Full accumulated C++ suite has zero failures | 47/47 tests passed |
|
| VERIFY-full | `ctest --test-dir .harness/build -C Debug --output-on-failure` | 0 | Full accumulated C++ suite has zero failures | 47/47 tests passed |
|
||||||
| VERIFY-contract-scans | Public backend/upward-dependency/PARDISO, assembler shared-CSR-member, dense inheritance, exact-test-count, and CMake registration scans using fail-on-match/count `rg` wrappers | 0 | Sparse storage and reduction remain behind the exact approved boundaries | public backend leaks 0; math-header upward dependencies 0; PARDISO matches 0; assembler CSR-member writes 0; dense inheritance 0; tests 5; registrations 2/2 |
|
| VERIFY-contract-scans | Public backend/upward-dependency/PARDISO, assembler shared-CSR-member, dense inheritance, exact-test-count, and CMake registration scans using fail-on-match/count `rg` wrappers | 0 | Sparse storage and reduction remain behind the exact approved boundaries | public backend leaks 0; math-header upward dependencies 0; PARDISO matches 0; assembler CSR-member writes 0; dense inheritance 0; tests 5; registrations 2/2 |
|
||||||
| VERIFY-determinism | Exact bytes, reversed completion, serial/TBB, repeated TBB, tuple-cancellation, structural-zero, empty-row, multiply, validation, and symmetry assertions in the targeted suite | 0 | NR-O02 fixed-order reduction and NR-T11 scheduler independence are observable | one serial, one TBB, one reverse-order, and eight repeated TBB assemblies produced byte-identical row/column/value vectors; duplicate cancellation produced the tuple-ordered literal `1.0` |
|
| VERIFY-determinism | Exact bytes, reversed completion, serial/TBB, repeated TBB, tuple-cancellation, structural-zero, empty-row, multiply, validation, and symmetry assertions in the targeted suite | 0 | NR-O02 fixed-order reduction and NR-T11 scheduler independence are observable | one serial, one TBB, one reverse-order, and eight repeated TBB assemblies produced byte-identical row/column/value vectors; duplicate cancellation produced the tuple-ordered literal `1.0` |
|
||||||
| VERIFY-diff | `git diff --check` plus trailing-whitespace scan over the six new files | 0 | Tracked and untracked Step 18 files have no whitespace errors | Diff check exit 0; new-file trailing whitespace matches 0 |
|
| VERIFY-diff | `git diff --check 59da6c6` | 0 | The combined base-to-current-worktree Step 18 tracked range has no whitespace errors | Exact tracked scope is 10 files; generated discovery JSON and ignored scratch report are absent from the range |
|
||||||
| VERIFY-reference | `git diff --exit-code -- reference/`; `git status --short -- reference/` | 0 | Approved legacy reference artifacts remain read-only and unchanged | Reference diff exit 0 and reference status empty |
|
| VERIFY-reference | `git diff --exit-code -- reference/`; `git status --short -- reference/` | 0 | Approved legacy reference artifacts remain read-only and unchanged | Reference diff exit 0 and reference status empty |
|
||||||
|
|
||||||
- contract_checks: `SparseMatrix` is a separate owning CSR type with 0-based
|
- contract_checks: `SparseMatrix` is a separate owning CSR type with 0-based
|
||||||
@@ -779,3 +778,34 @@
|
|||||||
descriptors, indexing conversion, factorization, and substitution.
|
descriptors, indexing conversion, factorization, and substitution.
|
||||||
- concerns: none; no implementation, environment, backend, or upstream
|
- concerns: none; no implementation, environment, backend, or upstream
|
||||||
contract conflict was found.
|
contract conflict was found.
|
||||||
|
|
||||||
|
### Step 18 Review Fix Round 1 — evidence artifact scope
|
||||||
|
|
||||||
|
- classification: evidence/artifact-integrity correction only. Production,
|
||||||
|
public headers, tests, CMake, upstream contracts, and phase-index content
|
||||||
|
were not changed by this review fix.
|
||||||
|
- reproduced_finding: before correction,
|
||||||
|
`git diff --check 59da6c6..HEAD` exited 2 with 382 trailing-whitespace
|
||||||
|
findings, all from tracked generated file
|
||||||
|
`.harness/step18-discovery.json`. The cumulative `changed_files` list omitted
|
||||||
|
that tracked file while listing ignored scratch file
|
||||||
|
`.superpowers/sdd/linear-static-3d-euler-beam/task-18-report.md` as though it
|
||||||
|
were tracked.
|
||||||
|
- correction: deleted the generated discovery JSON with `apply_patch` and
|
||||||
|
reconciled `changed_files` to the exact 10-file combined tracked scope. The
|
||||||
|
ignored scratch report remains supplementary evidence and is not listed as
|
||||||
|
a tracked Step 18 file.
|
||||||
|
- phase_index_guard: `git hash-object
|
||||||
|
phases/linear-static-3d-euler-beam/index.json` was
|
||||||
|
`6808d3a8101f656e978b7e00df6cf1a4ad5f1711` before and after correction.
|
||||||
|
|
||||||
|
| stage | exact command | exit_code | observed_result |
|
||||||
|
| --- | --- | ---: | --- |
|
||||||
|
| REVIEW1-reproduce | `git diff --check 59da6c6..HEAD` | 2 | 382 trailing-whitespace findings were isolated to the accidental tracked discovery JSON |
|
||||||
|
| REVIEW1-scope | `git diff --name-status 59da6c6` | 0 | Combined base-to-worktree scope contains exactly 10 tracked Step 18 files; discovery JSON and ignored scratch report are absent |
|
||||||
|
| REVIEW1-diff | `git diff --check 59da6c6` | 0 | Combined committed plus worktree Step 18 range is whitespace-clean after artifact deletion |
|
||||||
|
| REVIEW1-configure | `cmake -S . -B .harness/build -A x64 -DFESA_GTEST_SOURCE_DIR=C:/git/googletest "-DMKL_DIR=C:/Program Files (x86)/Intel/oneAPI/mkl/2026.1/lib/cmake/mkl" "-DTBB_DIR=C:/Program Files (x86)/Intel/oneAPI/tbb/2023.1/lib/cmake/tbb" "-DHDF5_DIR=C:/Program Files/HDF_Group/HDF5/2.1.1/cmake"` | 0 | Exact MSVC x64 dependency-resolved configuration completed |
|
||||||
|
| REVIEW1-build | `cmake --build .harness/build --config Debug` | 0 | Full Debug build completed under `/W4 /WX` without a new warning |
|
||||||
|
| REVIEW1-targeted | `ctest --test-dir .harness/build -C Debug -R SparseAssembly --output-on-failure` | 0 | Exact SparseAssembly suite passed 5/5 |
|
||||||
|
| REVIEW1-full | `ctest --test-dir .harness/build -C Debug --output-on-failure` | 0 | Full accumulated suite passed 47/47 |
|
||||||
|
| REVIEW1-reference | `git diff --exit-code 59da6c6 -- reference/`; `git status --short -- reference/` | 0 | Approved reference artifacts remain unchanged and reference status is empty |
|
||||||
|
|||||||
Reference in New Issue
Block a user