Phase 7 completion: scalability tests, Hessian cross-checks, 176/0 baseline #4

user2595 · 2026-05-18T21:45:40Z

user2595 commented

2026-05-18 21:45:40 +00:00

Summary

This PR finalises Phase 7 of conformallab++. It ports the two remaining Java @Ignore Hessian tests into real cross-module checks, adds scalability smoke tests on real meshes, and establishes the clean 176 tests / 0 skipped baseline that marks the end of the porting phase.

Changes

New tests

test_scalability_smoke.cpp — 3 smoke tests on real meshes (CatHead V=131, Brezel genus-2 V=6910, Brezel2 V=2622); asserts correctness (iter < 30, ‖G‖ < 1e-8, seam count = 2g), not timing
EuclideanFunctional.GradientCheck_Hessian — replaces GTEST_SKIP stub; cross-module check: euclidean_gradient() ↔ euclidean_hessian() via finite differences
SphericalFunctional.GradientCheck_Hessian — same für spherical_gradient() ↔ spherical_hessian()

New documentation

doc/math/complexity.md — O() analysis, measured timings (cathead < 1 ms, brezel 69 ms), projection table V=500–100K, HyperIdeal FD bottleneck

Fixes

16 inconsistencies corrected by consistency audit (gradient sign convention in docs, brezel.obj genus annotation, skip count references)
All test count references updated throughout docs: 176 CGAL / 36 non-CGAL / 0 skipped

CLAUDE.md

Full 23-document navigation map in 6 categories
Release state section (v0.7.0)

Test results

[==========] 176 tests from 35 test suites ran.
[  PASSED  ] 176 tests.
[  SKIPPED ] 0 tests.

Checklist

All 176 CGAL tests pass, 0 skipped
All 36 non-CGAL tests pass
No stale test count references in any doc
Gradient + Hessian cross-module consistency verified (Euclidean + Spherical)
Scalability smoke tests pass on cathead, brezel (genus-2), brezel2

## Summary This PR finalises Phase 7 of conformallab++. It ports the two remaining Java `@Ignore` Hessian tests into real cross-module checks, adds scalability smoke tests on real meshes, and establishes the clean **176 tests / 0 skipped** baseline that marks the end of the porting phase. ## Changes ### New tests - `test_scalability_smoke.cpp` — 3 smoke tests on real meshes (CatHead V=131, Brezel genus-2 V=6910, Brezel2 V=2622); asserts correctness (iter < 30, ‖G‖ < 1e-8, seam count = 2g), not timing - `EuclideanFunctional.GradientCheck_Hessian` — replaces `GTEST_SKIP` stub; cross-module check: `euclidean_gradient()` ↔ `euclidean_hessian()` via finite differences - `SphericalFunctional.GradientCheck_Hessian` — same für `spherical_gradient()` ↔ `spherical_hessian()` ### New documentation - `doc/math/complexity.md` — O() analysis, measured timings (cathead < 1 ms, brezel 69 ms), projection table V=500–100K, HyperIdeal FD bottleneck ### Fixes - 16 inconsistencies corrected by consistency audit (gradient sign convention in docs, brezel.obj genus annotation, skip count references) - All test count references updated throughout docs: **176 CGAL / 36 non-CGAL / 0 skipped** ### CLAUDE.md - Full 23-document navigation map in 6 categories - Release state section (v0.7.0) ## Test results ``` [==========] 176 tests from 35 test suites ran. [ PASSED ] 176 tests. [ SKIPPED ] 0 tests. ``` ## Checklist - [x] All 176 CGAL tests pass, 0 skipped - [x] All 36 non-CGAL tests pass - [x] No stale test count references in any doc - [x] Gradient + Hessian cross-module consistency verified (Euclidean + Spherical) - [x] Scalability smoke tests pass on cathead, brezel (genus-2), brezel2

user2595 added 6 commits 2026-05-18 21:45:41 +00:00

docs: CLAUDE.md — vollständige Dokumentations-Karte (23 Dokumente, v0.7.0)

C++ Tests / test-fast (push) Successful in 1m56s

Details

C++ Tests / test-cgal (push) Has been skipped

Details

e79c8a5707

Abschnitt "Key documentation" → "Documentation map":
- 6 Zeilen → 23 Dokumente in 6 kategorisierten Tabellen
  (Mathematik, Architektur, API, Konzepte, Roadmap, Tutorials)
- Jede Tabelle als Frage→Dokument-Format für schnellen Lookup
- geometry-central-Kontext auf eigene Sektion verschoben + GC-Roadmap-Link

Neuer Abschnitt "Release state":
- v0.7.0 Tag dokumentiert
- CITATION.cff, CONTRIBUTING.md, scripts/try_it.sh, cmake --install erwähnt

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

test/docs: Scalability Smoke Tests + Komplexitätsdokumentation

C++ Tests / test-fast (push) Successful in 2m37s

Details

C++ Tests / test-cgal (push) Has been skipped

Details

7edf699ac2

test_scalability_smoke.cpp (3 neue Tests → 176 CGAL-Tests gesamt):
  SmokeEuclidean.CatHead_SmallOpen   — V=131,  Newton 3 iter, <1ms
  SmokeEuclidean.Brezel_LargeGenus2  — V=6910, Newton 3 iter, 69ms (Apple M)
  SmokeEuclidean.Brezel2_Genus2_CutGraph — V=2622, Cut Graph 10ms, 4 Nähte
  - Korrektheit-Assertions (iter<30, ||G||<1e-8), kein Timing-Assert (CI-stabil)
  - Informative Ausgabe: iter, Residuum, Laufzeit als stdout-Print
  - Korrektur: brezel.obj ist Genus-2 (χ=−2), nicht Genus-1 (Namensgebung
    aus Java-Original übernommen, nicht topologisch)
  - Perturbation x0=−0.05 damit Newton tatsächlich iteriert

doc/math/complexity.md (neu):
  - O()-Analyse aller Pipeline-Schritte tabellarisch
  - Gemessene Timings auf echten Meshes (Apple M, Release, Single-Thread)
  - HyperIdeal-FD-Hessian als bekannter Bottleneck dokumentiert
  - Skalierungsprojektion bis V=100K
  - Speicherverbrauch-Tabelle
  - Reproduzierbare Messanleitung

README.md + CLAUDE.md: Testzähler 173→176, complexity.md verlinkt

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

fix: correct 16 inconsistencies found by consistency audit

C++ Tests / test-fast (push) Successful in 1m59s

Details

C++ Tests / test-cgal (push) Has been skipped

Details

88a99d8bd1

Math / code:
- layout.hpp: add explanatory comment for Möbius deck transformation
  (from_three with z1=w1, z2=w2 encodes T fixing cut-edge endpoints)
- layout.hpp: document spherical holonomy limitation — Vector2d stores
  only (x,y) of 3-D position diff; full SO(3) representation deferred

Gradient sign convention (CLAUDE.md was wrong):
- Euclidean and Spherical both use G_v = Θ_v − actual (target minus actual)
- HyperIdeal uses G_v = actual − Θ_v
- Hessian sign differs: Euclidean PSD, Spherical NSD → −H, HyperIdeal PSD

Test counts (were inconsistent across all files):
- Actual: 176 CGAL tests, 2 GTEST_SKIP (not 173/170/174, not 1 skip)
- The 2 skips are EuclideanFunctional + SphericalFunctional Hessian gradient
  checks (Java @Ignore ports) — not HyperIdeal Hessian as previously stated
- doc/api/tests.md: add missing SmokeEuclidean suite (3 tests),
  EuclideanLayout (2), SphericalLayout (1), fix GaussBonnet 8→12,
  MeshIO 9→6, Layout 8→6, EuclideanFunctional 11→12,
  HomologyGenerators no longer a GTEST_SKIP stub (live test on brezel2.obj)
- doc/roadmap/phases.md: Phase 7 cumulative 158→176 tests
- doc/roadmap/phases.md: Phase 3 clarified — HyperIdeal Hessian is FD
- CLAUDE.md: suite count 28→34, test ref 173+36→174+36
- scripts/try_it.sh: expected output 173/1 skipped → 174/2 skipped

CI table (CLAUDE.md):
- test-cgal now triggers on pull requests only (not main/dev pushes)

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Merge remote-tracking branch 'codeberg/main' 3c973fc3f1

Port GradientCheck_Hessian tests: replace GTEST_SKIP stubs with real cross-module checks 1442de9c8d

Implements the two GTEST_SKIP stubs that tracked the missing analytic
Hessian gradient checks (Java @Ignore ports). Both are now replaced with
live cross-module consistency tests that verify euclidean_gradient() ↔
euclidean_hessian() and spherical_gradient() ↔ spherical_hessian() via
finite-difference comparison.

Result: 176 tests from 35 test suites — 176 PASSED, 0 SKIPPED.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Update all doc test counts to 176 CGAL tests, 0 skipped

C++ Tests / test-fast (push) Successful in 2m10s

Details

C++ Tests / test-cgal (push) Has been skipped

Details

C++ Tests / test-fast (pull_request) Successful in 2m3s

Details

C++ Tests / test-cgal (pull_request) Failing after 2m51s

Details

52f61cec36

Propagates the new baseline (176 passed, 0 skipped) established by the
GradientCheck_Hessian implementation across all documentation files that
previously referenced the stale counts (174/173/170 + 1-2 skips).

Files updated: CLAUDE.md, doc/api/tests.md, doc/contributing.md,
doc/getting-started.md, doc/math/novelty-statement.md,
doc/math/validation.md, doc/math/validation-protocol.md, scripts/try_it.sh

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

user2595 merged commit 43d0f70204 into main

2026-05-18 21:50:20 +00:00

user2595 referenced this issue from a commit

2026-05-18 21:50:21 +00:00

Merge pull request 'Phase 7 completion: scalability tests, Hessian cross-checks, 176/0 baseline' (#4) from dev into main

user2595 referenced this pull request

2026-05-19 20:19:06 +00:00

ci: fix test-cgal OOM + add Doxygen API-docs job #7

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: conformallab/ConformalLabpp#4