Skip to content

v0.8.1

Latest
Latest

Choose a tag to compare

View all tags
@acgetchell acgetchell released this 28 Aug 13:50
· 1 commit to main since this release
Immutable release. Only release title and notes can be modified.
v0.8.1
8343567

⚠️ Breaking Changes

  • Automate transactional release preparation #584
  • Add verified scientific checkpoint manifests #587
  • Name public error variant fields #567
  • Separate Level 4 and Delaunay owners #557 #569
  • Unify proof-bearing builder transitions #574

Merged Pull Requests

  • Add verified scientific checkpoint manifests #587
  • Bump the github-actions group with 4 updates #586
  • Automate transactional release preparation #584
  • Harden release and performance preflight #582
  • Feat/550 performance artifacts #581
  • Unify proof-bearing builder transitions #574
  • Align module ownership with proof layers #572
  • Automate repository dependency updates #571
  • Separate Level 4 and Delaunay owners #557 #569
  • Name public error variant fields #567
  • Split bistellar flips into focused modules #565
  • Align k=1 preflight with periodic realization #564
  • Enforce Proptest case-count precedence #563
  • Rebalance default and slow test coverage #562
  • Restore topology construction repair policy #561
  • Accelerate full Delaunay reports #560
  • Certify Level 4 realization fast paths #559
  • Refresh pins and extend the auto-merge wait #556
  • Bump the dependencies group with 2 updates #555
  • Reject malformed notebook schema values #549
  • Harden version resolution and refresh tool pins #547
  • Update setuptools requirement in the dependencies group #545
  • Refresh dependencies and update automation #544
  • Harden dependency and release automation #543

Added

  • [breaking] Automate transactional release preparation #584
    484f263

    • Synchronize package, lockfile, citation, changelog, and documentation versions through rollback-safe release commands.
    • Update exact Python development pins before lock regeneration and verify release identity against published stable history.
    • Promote validated performance evidence into curated reports and an atomic README snapshot with durable provenance.
    • Fail closed on stale dates, mismatched metadata, unsafe tag input, and partial artifact publication.

  • [breaking] Add verified scientific checkpoint manifests #587
    3ef8e4d

    • Add schema-v2 owner checkpoints with versioned SHA-256 digests, complete f-vectors, and derived Euler characteristics.
    • Canonicalize exact coordinate bits, UUID topology, proof context, periodic offsets, and supported user payloads independently of codec ordering.
    • Reject malformed or tampered evidence with typed errors, then rebuild storage and re-establish validation Levels 1–5.
    • Expose focused APIs for manifest inspection, verification, custom-kernel restoration, and explicit schema-v1 migration.

Changed

  • Rebalance default and slow test coverage #562
    b318142

    • Promote bounded 3D and 4D invariant coverage into the default suite.
    • Limit debug timeout relief to two platform-sensitive periodic builder tests.
    • Document catalog-based ownership for remaining slow-test cases.

  • Split bistellar flips into focused modules #565
    e2fc731

    • Separate move types, contexts, mutation and orientation engines, typed errors, repair queues, and shared support.
    • Keep unit tests with their owning modules and preserve existing public re-export paths.
    • Update documentation and Semgrep coverage for the directory-backed layout.

  • [breaking] Name public error variant fields #567
    eb80aad

    • Replace positional error payloads with named source fields and typed convex-hull insufficiency reasons.
    • Enforce named public error fields and positive Semgrep rule coverage.
    • Extend release benchmark timeouts and reconcile v0.8.0 artifact metadata.

  • [breaking] Separate Level 4 and Delaunay owners #557
    #569 40ae56d

    • Promote Triangulation to the proof-bearing Levels 1–4 domain owner, with checked TDS restoration and dedicated builder terminals.
    • Reserve DelaunayTriangulation for cumulative Levels 1–5 values, using strict certification or consuming delaunayize conversion from Triangulation.
    • Move bistellar and Pachner mutation workflows onto Triangulation and require explicit demotion before editing a Delaunay value.
    • Split consuming PL-manifold TDS repair from proof-bearing reconstruction and preserve typed boundary failures throughout the composed workflows.

  • Align module ownership with proof layers #572
    8b10278

    • Keep Levels 1–2 TDS ownership and validation under core.
    • Move Levels 3–4 triangulation workflows into a dedicated module tree.
    • Isolate the Level 5 Delaunay model and enforce one-way proof-layer dependencies.
    • Codify owner-local unit-test placement and retire duplicate integration coverage.

Fixed: Restore validated EdgeIndex construction

  • Restrict raw edge-index state to the core layer.
  • Route triangulation queries through controlled construction and read-only accessors.
  • Align Level 2 evidence and custom-kernel coverage with the intended APIs.

Fixed: Make benchmark and notebook evidence trustworthy

  • Fail benchmark preflights on predicate errors, disagreements, or invalid topology.
  • Keep certification outside timed loops and restrict topology comparisons to valid PL-manifold policies.
  • Extract and test notebook rendering with independent validation of visual witnesses.
  • Lock workflow tool execution and track all benchmark and paper-producing inputs.
  • Preserve core ownership of adjacency internals through validated constructors and read-only accessors.
  • Archive the completed production review remediation checklist.

Fixed: Harden benchmark and notebook evidence #568

  • Publish benchmark results and metadata as a rollback-safe pair so failures preserve the previous baseline.

  • Validate notebook witnesses before rendering and report invalid simplex references with contextual diagnostics.

  • Parse workflow trigger paths structurally and align their Python dependencies.

  • Correct validation documentation and colocate test-only Rust support with its owning module tests.

  • [breaking] Unify proof-bearing builder transitions #574
    d0d5abd

    • Add public drafts for unpublished TDS and Delaunay construction.
    • Publish each invariant-bearing owner through a layer-specific, failure-atomic builder.
    • Separate snapshot-free strict certification from transactional canonicalization and flip repair.
    • Remove redundant conversion paths and encapsulate lower-layer storage.

  • Feat/550 performance artifacts #581
    c55db1f

Fixed

  • Harden dependency and release automation #543
    39d0993

    • Authenticate CodeRabbit review requests as acgetchell and deduplicate them per PR head.
    • Cancel superseded runs and queue squash auto-merge only for the triggering commit.
    • Include the version title in the suggested GitHub release command.

  • Harden version resolution and refresh tool pins #547
    a6786b7

    • Fail workflow setup when justfile pins cannot be resolved or are empty.
    • Stagger weekly Dependabot updates for Actions, Cargo, and uv dependencies.
    • Update rumdl, uv, zizmor, and the pinned zizmor action.

  • Reject malformed notebook schema values #549
    4af5e20

    • Reject non-object cell metadata with notebook and cell context.
    • Require nbformat to use the JSON integer 4 rather than numeric-equivalent values.

  • Queue approved Dependabot updates for auto-merge 14c7f36

  • Restore topology construction repair policy #561
    d1d2f7f

    • Use the default Delaunay repair cadence during construction measurements.
    • Require insertion and completion validation to succeed for every sample.
    • Update the manual suite runtime estimate for the repaired workload.

  • Enforce Proptest case-count precedence #563
    feeedca

    • Apply the 32-case repository fallback while preserving suite-specific budgets.
    • Let PROPTEST_CASES override repository and suite fallbacks, including manual runners.
    • Synchronize packaged test support, configuration declarations, and guidance.
    • Refresh the locked UUID dependency and uv tool pin.

  • Align k=1 preflight with periodic realization #564
    3a66fca

    • Evaluate insertion containment in the simplex's lifted periodic frame.
    • Share deterministic validation between feasibility checks and mutation.
    • Report typed exterior-facet and slot diagnostics without mutating topology.

  • Harden release and performance preflight #582
    c310023

    • reject release tags, citation dates, and DOI metadata that diverge from authoritative release metadata
    • fail identical release comparisons before setup and stream progress from long benchmark phases
    • preserve concrete CPU provenance and accept valid ordered Criterion confidence intervals
    • package the Python support tools with their dedicated documentation

Maintenance

Performance

  • Certify Level 4 realization fast paths #559
    3d3b7b0

    • Preserve exact active-set classification for degenerate simplex pairs and
      verify optimized agreement across random and boundary cases in 2D–5D.
    • Add focused narrow-phase and whole-realization benchmarks with stable IDs
      to local and release comparison workflows.
    • Add an isolated large-scale Level 4 validation mode.
    • Add scoped Cargo and uv update recipes, refresh dependency locks, and pin
      rumdl 0.2.55.

  • Accelerate full Delaunay reports #560
    e7fd9b8

    • Certify complete Euclidean point-set triangulations with robust local flip predicates in O(simplices).
    • Preserve exhaustive empty-sphere diagnostics for unproven connectivity, subset reports, and inconclusive certificates.
    • Add Level 5 performance canaries for well-conditioned and adversarial inputs from 2D through 5D.

Fixed: Preserve sound Delaunay report certificates

  • Invalidate complete-point-set provenance after deletion, repair access, topology edits, and actual topology changes.
  • Preserve certified fast paths across rejected or idempotent topology updates.
  • Keep certificate provenance internal and retain exhaustive reporting for unproven connectivity.
  • Cover cumulative 2D validation benchmarks and document fast-path and fallback complexity.

Changed: Cover report certificate invalidation paths

  • Exercise certificate invalidation across topology-scope Pachner moves.
  • Verify global topology changes revoke Euclidean report provenance.
  • Clarify the complexity difference between Level 5 and cumulative reports.

Maintenance: Update uv and build dependency pins

  • Pin uv 0.12.4 for local and CI tooling.
  • Update cc to 1.4.3 and find-msvc-tools to 0.1.11.
Assets 3
Loading