test: enforce 10-second default test budget

.config/nextest.toml

@@ -15,6 +15,10 @@ fail-fast = false
 # Retry flaky tests (useful for proptests)
 retries = 0
 
+# Default-suite tests should stay under the 10-second per-test budget. Longer
+# deterministic correctness tests belong behind the slow-tests feature.
+slow-timeout = { period = "10s", terminate-after = 1 }
+
 [profile.ci]
 # CI profile: optimized for GitHub Actions
 # Inherits from default profile
@@ -29,8 +33,8 @@ fail-fast = false
 # Retry flaky tests once in CI (helps with proptests and timing-sensitive tests)
 retries = 1
 
-# Show slow tests (> 60s) in CI
-slow-timeout = { period = "60s", terminate-after = 2 }
+# Enforce the default-suite 10-second per-test budget in CI.
+slow-timeout = { period = "10s", terminate-after = 1 }
 
 # JUnit report configuration
 [profile.ci.junit]

.github/workflows/codecov.yml

@@ -84,8 +84,6 @@ jobs:
           echo "::group::Running tests with nextest"
           # Generate JUnit XML for Codecov Test Analytics
           # JUnit path is configured in .config/nextest.toml [profile.ci.junit]
-          # Release mode is required: exact-predicate arithmetic makes 3D+ proptests
-          # exceed timeout limits in debug mode (>60s debug vs <1s release).
           # Avoid --all-features: it enables slow-tests and count-allocations which
           # are special-purpose features not suitable for general test runs.
           cargo nextest run --release --profile ci

CHANGELOG.md

@@ -16,9 +16,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Flatten triangulation modules into focused APIs [#399](https://github.com/acgetchell/delaunay/pull/399)
 - Reconcile topology validation policy [#385](https://github.com/acgetchell/delaunay/pull/385) [#404](https://github.com/acgetchell/delaunay/pull/404)
 - Box Delaunay repair flip errors [#407](https://github.com/acgetchell/delaunay/pull/407)
+- Run slow correctness cases through slow-tests [#412](https://github.com/acgetchell/delaunay/pull/412)
 
 ### Merged Pull Requests
 
+- Run slow correctness cases through slow-tests [#412](https://github.com/acgetchell/delaunay/pull/412)
+- Isolate strict insphere consistency control [#383](https://github.com/acgetchell/delaunay/pull/383) [#411](https://github.com/acgetchell/delaunay/pull/411)
 - Use typed errors in public examples [#365](https://github.com/acgetchell/delaunay/pull/365) [#410](https://github.com/acgetchell/delaunay/pull/410)
 - Prefer builder-based fallible examples [#214](https://github.com/acgetchell/delaunay/pull/214) [#409](https://github.com/acgetchell/delaunay/pull/409)
 - Box Delaunay repair flip errors [#407](https://github.com/acgetchell/delaunay/pull/407)
@@ -37,7 +40,6 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Support periodic flip parity for external cells [#391](https://github.com/acgetchell/delaunay/pull/391)
 - Refactor/387 tds mutation boundaries [#390](https://github.com/acgetchell/delaunay/pull/390)
 - Refresh release docs and benchmark guidance [#389](https://github.com/acgetchell/delaunay/pull/389)
-- Isolate strict insphere consistency control [#383](https://github.com/acgetchell/delaunay/pull/383)
 
 ### Added
 
@@ -119,8 +121,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
   - Update repair and construction mappings for the named boxed variant.
   - Cover clone and source behavior for wrapped linear-algebra errors.
-- Isolate strict insphere consistency control [#383](https://github.com/acgetchell/delaunay/pull/383)
-  [`54a08b7`](https://github.com/acgetchell/delaunay/commit/54a08b7a9e773cfee4747ee8efc5ac59e73e064e)
+- Isolate strict insphere consistency control [#383](https://github.com/acgetchell/delaunay/pull/383) [#411](https://github.com/acgetchell/delaunay/pull/411)
+  [`222e572`](https://github.com/acgetchell/delaunay/commit/222e572b4364007cdbf6d1fa6428ea7e670cfb56)
 
   - Document the strict insphere consistency environment knob as a process-wide
     once-per-process snapshot.
@@ -129,6 +131,31 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
     exercised without mutating global environment state.
 
   - Mark the production review checklist item complete.
+- [**breaking**] Run slow correctness cases through slow-tests [#412](https://github.com/acgetchell/delaunay/pull/412)
+  [`1498153`](https://github.com/acgetchell/delaunay/commit/149815313530335a98f6951c63924e4774d509c1)
+
+  - Define the slow-test bucket around deterministic correctness tests that exceed the default-suite budget.
+  - Move runnable high-dimensional properties out of ignored tests and into either the default suite or the slow-tests feature.
+  - Give just test-slow a release-mode nextest profile with a longer watchdog for intentional multi-minute regressions.
+  - Add a repository Semgrep guard against reintroducing slow ignored tests.
+
+#### Changed: Enforce explicit test buckets
+
+- Sort correctness tests into default and slow-tests buckets instead of relying on ignored tests.
+- Move benchmark-style boundary and UUID iterator measurements into a Criterion benchmark target.
+- Replace ignored flaky or known-failure cases with active assertions or slow-tests gating.
+- Add a Semgrep guard against reintroducing ignored tests and align docs and helper recipes with the new taxonomy.
+- Enforce 10-second default test budget [`772b2d0`](https://github.com/acgetchell/delaunay/commit/772b2d0298bf7cee4373602e05992f54ad1b010f)
+
+  - Gate default-suite cases at or above the 10-second budget behind
+    slow-tests and remove obsolete high-dimensional periodic validation from
+    routine runs.
+
+  - Move allocation hot-path contracts into a Criterion benchmark over
+    calibrated 2D-5D fixtures, leaving allocation_api as wiring smoke coverage.
+
+  - Document the toroidal validation limits and add the bench-allocations
+    workflow.
 
 ### Documentation
 

Cargo.toml

@@ -84,43 +84,48 @@ codegen-units = 1
 debug = "line-tables-only"
 
 [[bench]]
-name = "circumsphere_containment"
-path = "benches/circumsphere_containment.rs"
+name = "allocation_hot_paths"
+path = "benches/allocation_hot_paths.rs"
 harness = false
 
 [[bench]]
-name = "topology_guarantee_construction"
-path = "benches/topology_guarantee_construction.rs"
+name = "boundary_uuid_iter"
+path = "benches/boundary_uuid_iter.rs"
 harness = false
 
 [[bench]]
-name = "tds_clone"
-path = "benches/tds_clone.rs"
+name = "ci_performance_suite"
+path = "benches/ci_performance_suite.rs"
 harness = false
 
 [[bench]]
-name = "boundary_uuid_iter"
-path = "benches/boundary_uuid_iter.rs"
+name = "circumsphere_containment"
+path = "benches/circumsphere_containment.rs"
 harness = false
 
 [[bench]]
-name = "remove_vertex"
-path = "benches/remove_vertex.rs"
+name = "cold_path_predicates"
+path = "benches/cold_path_predicates.rs"
 harness = false
 
 [[bench]]
-name = "ci_performance_suite"
-path = "benches/ci_performance_suite.rs"
+name = "profiling_suite"
+path = "benches/profiling_suite.rs"
 harness = false
 
 [[bench]]
-name = "profiling_suite"
-path = "benches/profiling_suite.rs"
+name = "remove_vertex"
+path = "benches/remove_vertex.rs"
 harness = false
 
 [[bench]]
-name = "cold_path_predicates"
-path = "benches/cold_path_predicates.rs"
+name = "tds_clone"
+path = "benches/tds_clone.rs"
+harness = false
+
+[[bench]]
+name = "topology_guarantee_construction"
+path = "benches/topology_guarantee_construction.rs"
 harness = false
 
 [lints.rust]

benches/README.md

@@ -8,9 +8,10 @@ predicates fast across 2D-5D.
 
 | Benchmark | Purpose | Scale | Typical Runtime | Used By |
 |-----------|---------|-------|-----------------|---------|
+| `allocation_hot_paths.rs` | Allocation contracts for public hot paths | Calibrated 2D-5D canary fixtures | ~1-2 min | Manual allocation checks |
+| `boundary_uuid_iter.rs` | Focused boundary-facet and UUID iterator microbenchmarks | 3D small fixed schedules | <1 min | Manual micro-optimization checks |
 | `ci_performance_suite.rs` | Public workflow regression contract | Calibrated 2D-5D canaries | ~5-10 min | CI, baselines, `just perf-no-regressions` |
 | `circumsphere_containment.rs` | Compare circumsphere predicate methods | 2D-5D fixed, 3D random, edge cases | ~5 min | Predicate tuning, summaries |
-| `boundary_uuid_iter.rs` | Focused boundary-facet and UUID iterator microbenchmarks | 3D small fixed schedules | <1 min | Manual micro-optimization checks |
 | `cold_path_predicates.rs` | Track hot/cold predicate paths | 2D-5D hot queries, near-boundary cases | ~2-5 min | Predicate optimization work |
 | `profiling_suite.rs` | Large-scale construction, memory, query, validation profiling | 2D/3D 10k, 4D 3k, 5D 1k | ~2-3 hr | Manual/monthly |
 | `remove_vertex.rs` | Vertex removal and rollback cost | 2D-5D fixed cases | ~1-5 min | Vertex removal |
@@ -25,17 +26,19 @@ predicates fast across 2D-5D.
 | Quick local large-scale wall-clock guard | `just perf-large-scale-smoke` |
 | Fast local PR performance guard with temporary same-machine baseline | `just perf-no-regressions` |
 | Full CI benchmark suite only | `just bench-ci` |
+| Allocation-contract microbenchmarks | `just bench-allocations` |
 | Persist/update the default local baseline artifact | `just perf-baseline` |
 | Generate a scratch baseline without replacing the default | `just perf-baseline-to <out> [ref]` |
 | Persist/update the default local baseline from a release/ref | `just perf-baseline v0.7.5` |
 | Compare against an existing baseline | `just perf-compare <file>` |
 | Release performance summary | `just bench-perf-summary` |
 | Smoke-test benchmark harnesses | `just bench-smoke` |
-| Vertex removal mutation baseline | `cargo bench --profile perf --bench remove_vertex -- --noplot` |
-| Predicate comparison | `cargo bench --profile perf --bench circumsphere_containment -- --noplot` |
+| Allocation hot-path contracts | `cargo bench --profile perf --bench allocation_hot_paths --features count-allocations -- --noplot` |
 | Boundary/UUID microbenchmarks | `cargo bench --profile perf --bench boundary_uuid_iter -- --noplot` |
+| Predicate comparison | `cargo bench --profile perf --bench circumsphere_containment -- --noplot` |
 | Predicate cold-path work | `cargo bench --profile perf --bench cold_path_predicates -- --noplot` |
 | Large-scale scaling suite | `cargo bench --profile perf --bench profiling_suite -- --noplot` |
+| Vertex removal mutation baseline | `cargo bench --profile perf --bench remove_vertex -- --noplot` |
 | One-dimension acceptance/profiling run | `just debug-large-scale-{2,3,4,5}d [n] [repair_every]` |
 | Deep profiling | `cargo bench --profile perf --bench profiling_suite --features count-allocations` |