v0.1.0

⚠️ Breaking Changes

• Implement 2D CDT ergodic moves #55
• Adopt delayed CDT proposals
• Adopt checked Delaunay v0.7.7 APIs
• Resolve periodic toroidal moves with Simplex APIs
• Complete 1+1 toroidal CDT sampling
• Add proposal-site accounting and profiled CDT starts
• Require validated CDT runtime configs #163
• Harden foliation validation and unify backend payload APIs
• Split Metropolis into module tree
• Validate runtime invariants at parse boundaries
• Enforce simulation state invariants #174
• Encode nonzero CDT invariants
• Run continuation through planned proposals #153
• Encode trace and count invariants #164
• Enforce trace profile invariants #164
• Enforce CDT and backend invariants
• Harden CDT telemetry and profiled initialization
• Reject volume-profile override overflows
• Make Metropolis step telemetry nonzero #153
• Align tooling and CDT error APIs
• Align repository tooling with MCMC

Merged Pull Requests

• Enforce simulation state invariants #174
• Encode trace and count invariants #164
• Enforce trace profile invariants #164
• Require validated CDT runtime configs #163
• Tighten coverage and doctest assertion checks #163
• Tighten Semgrep fixture coverage #162
• Harden Semgrep and zizmor checks #162
• Run continuation through planned proposals #153
• Make Metropolis step telemetry nonzero #153
• Add chunked Metropolis checkpoint sweeps #152
• Support fallible public examples #151
• Tighten unwrap Semgrep fixtures #151
• Anchor unwrap fixture exclusions #151
• Replace Node formatters with Rust-native checks #129
• Add toroidal topology infrastructure #61
• Implement foliation for 1+1 CDT #57
• Harden foliation causality checks and backend data mutation #57
• Wire Metropolis loop to real CDT moves #56
• Implement 2D CDT ergodic moves #55
• Migrate DelaunayBackend to upstream key-based handles #54
• Enforce CDT validation guardrails #8

Added

• Add Crates.io and Docs.rs badges to README 88e8f1a

  Include badges for the Crates.io version, download statistics, and
  Docs.rs documentation to improve project visibility and provide quick
  access to package metadata and API docs.

• Migrate DelaunayBackend to upstream key-based handles #54
  da3ba1d

  • Replace UUID-based handles with upstream VertexKey/EdgeKey/CellKey

  • Own DelaunayTriangulation directly (remove Arc/RefCell/PhantomData)

  • Delete DelaunayEdgeCache and count_edges_in_tds; use upstream
    edges()/incident_edges()/vertex_coords()/cell_vertices()/
    cell_neighbors()/adjacent_cells() iterators

  • Remove stale thread-safety warning; add ThreadSafeBackend impl

  • Replace generic InvalidHandle(String) with typed error variants
    (InvalidVertex, InvalidEdge, InvalidFace) including the failing key

  • Add NotImplemented error variant for mutation stubs

  • Remove unused GeometryError variant and uuid dependency

  • Drop unnecessary [f64; D] serde bounds from all trait impl blocks

  • Simplify CoordinateScalar trait (remove bounds implied by Float)

  • Remove stale "Send + Sync requirements removed" note from
    GeometryBackend doc

  • Update and consolidate tests: 27 backend tests covering all query
    methods, invalid-handle error variants, dimension, Euler
    characteristic, face-neighbor symmetry, and thread safety

• Integrate markov-chain-monte-carlo crate for Metropolis-Hastings
  33b6ae5

  • Add markov-chain-monte-carlo v0.1.0 dependency

  • Implement CdtTarget (Target trait) computing log_prob = -S/T from Regge action

  • Add placeholder CdtProposal (ProposalMut trait) returning None until #55

  • Rewrite MetropolisAlgorithm::run() using Chain::step_mut with automatic rollback

  • Add seed: Option<u64> to MetropolisConfig and CdtConfig (--seed CLI arg)

  • Seed both initial triangulation generation and Monte Carlo RNG for full
    reproducibility (closes #59)

  • Add CdtError::Mcmc variant with From<McmcError> conversion

  • run() now returns CdtResult<SimulationResultsBackend>

  • Update integration tests, examples, and benchmarks for new API

  • Add proptest for CdtTarget log_prob consistency across arbitrary couplings

  • Update docs/project.md with markov-chain-monte-carlo dependency

• Implement foliation for 1+1 CDT #57
  7e1a751

  • Add Foliation struct with VertexSecondaryMap<u32> for O(1)
    per-vertex time labels, stored in the CDT layer (not the geometry
    backend)

  • Add EdgeType enum (Spacelike / Timelike) and classification via
    Foliation::classify_edge

  • Add from_foliated_cylinder constructor: grid-based CDT with
    y-coordinate bucket labeling, spatial extent ≤ 1.0, concave √(t+1)
    boundary perturbation to guarantee causality

  • Add assign_foliation_by_y_coordinate for existing triangulations

  • Implement validate_foliation() (structural: label count, non-empty
    slices, sizes consistency)

  • Implement validate_causality() (edge-level: no edge spans >1 time
    slice, uses y-coordinate bucketing for backend-agnostic check)

  • Add CausalityViolation { time_0, time_1 } error variant with
    structured fields for programmatic matching

  • Add safe numeric helpers in util.rs: saturating_usize_to_i32,
    y_to_time_bucket, f64_band_to_u32

  • Bump delaunay dependency to v0.7.3 (VertexSecondaryMap re-export,
    AdaptiveKernel as default builder kernel)

  • 50 new tests (7 foliation unit, 21 integration, 1 proptest, 11 util,
    1 error display, 9 pre-existing updated)

• Store time labels as vertex data, mirroring CDT++ vertex->info()
  1817018

  • Change DelaunayBackend2D vertex data from () to u32 — time-slice
    labels are now stored directly on vertices via Vertex<f64, u32, 2>

  • Embed labels at construction: from_foliated_cylinder uses
    VertexBuilder::data(t) and DelaunayTriangulationBuilder::from_vertices

  • Simplify Foliation to bookkeeping only (slice_sizes + num_slices),
    remove VertexSecondaryMap — labels live on vertices, not a side map

  • Read labels from vertex data: time_label, edge_type, classify_edge,
    validate_causality_delaunay all use vertex_time_label() on the backend

  • Rebuild triangulation in assign_foliation_by_y_coordinate as
    workaround for missing set_vertex_data (blocked on delaunay#284)

  • Tighten re-export guidance in docs/dev/rust.md (stable API only,
    drop incorrect prelude terminology)

  • Update docs/foliation.md and docs/project.md architecture sections

• Add CellType classification for triangulation faces
  9b28642

  • Introduce CellType enum (Up/Down) with i32 encoding in foliation module

  • Add classify_cell function to determine cell type from vertex time labels

  • Implement cell_type, cell_type_from_data, and classify_all_cells on
    CdtTriangulation for bulk cell classification with persistent storage

  • Add cell_key() accessor to DelaunayFaceHandle and cell data read/write
    support in the Delaunay backend

  • Tighten CdtTriangulation generics to require TriangulationQuery trait bound

  • Export CellType and TriangulationQuery from crate root

  • Update foliation and project documentation to reflect new cell data model

  • Bump delaunay dependency to 0.7.4

• Initialize foliated triangulations from labeled Delaunay backends
  90feaae

  Introduce a constructor to derive foliation structure from existing
  vertex time labels. This update also ensures Metropolis simulations
  capture the initial state at step 0, refines measurement boundary
  validation to prevent overflows, and improves the reliability of edge
  endpoint resolution for hand-built geometries.

• Add toroidal topology infrastructure #61
  c0972a2

  • Add CdtTopology enum (OpenBoundary, Toroidal) with CLI --topology arg,
    CdtConfigOverrides support, and CdtMetadata.topology field

  • Add topology-aware validate_topology(): χ=1/2 for open boundary, χ=0
    for toroidal

  • Add CdtTriangulation::with_topology() constructor

  • Add build_explicit_delaunay2_with_topology() generator wrapping
    DelaunayTriangulationBuilder::from_vertices_and_cells()

  • Wire topology through run_simulation() to dispatch on CdtTopology

  • Add from_toroidal_cdt() placeholder pending delaunay#313

  • Update delaunay to 0.7.5, markov-chain-monte-carlo to 0.2.0

  • Migrate Chain field access to accessor methods (state(), log_prob(),
    into_state())

• Complete toroidal CDT generation with topology-aware validation
  8d5c6bf

• [breaking] Implement 2D CDT ergodic moves #55
  f359c2d

  • Replace placeholder random move outcomes with Delaunay-backed k=2, k=1 insert, and k=1 remove operations.
  • Add causality-aware candidate selection, foliation resynchronization, and structured backend mutation errors.
  • Keep EdgeFlip as a 2D Move22 alias while preserving separate move statistics.
  • Add focused move preludes, doctests, benchmarks, Semgrep checks, and updated move documentation.
  • Mark public error enums non-exhaustive and document orthogonal error guidance.

• Wire Metropolis loop to real CDT moves #56
  4d49422

  • Replace the zero-move Metropolis guardrail with real ergodic move execution.
  • Compute proposal action deltas before mutating and apply accepted moves with rollback-backed retry handling.
  • Add structured Metropolis move application failures for accepted moves that cannot be applied safely.
  • Record live simplex measurements, move statistics, and final triangulation state from simulation runs.
  • Update examples, benchmarks, docs, and tests for real simulation behavior and focused preludes.

• [breaking] Adopt delayed CDT proposals 77c03d3

  • Update markov-chain-monte-carlo to 0.3.0 and replace the legacy mutation-first CDT proposal adapter with delayed-commit planning.
  • Treat accepted moves that cannot find a realizable local site as ordinary proposal rejections while preserving hard backend failures as typed errors.
  • Add public delayed-proposal telemetry and error types, deterministic Metropolis benchmarking, stricter rustdoc link checks, and tolerant float assertions.

• Implement explicit CDT strip construction ed4b7e6

  • Replace the placeholder strip constructor with deterministic layered connectivity, direct time labels, overflow checks, and strict CDT validation.
  • Persist Up/Down cell classifications for explicit strip and toroidal constructors while preserving backend payloads on mutation failures.
  • Update foliation documentation for explicit open-boundary strips and toroidal meshes.
  • Tighten benchmark tooling diagnostics and Python exception boundaries so stdout remains data-only and broad support-script catches stay blocked.

• Feat!(cdt): add dimensional observables bf3ffb1

• Add simulation output and resumable checkpoints
  99a7ba9

  • Add CSV measurement and JSON summary output paths for configured simulation runs.
  • Add serde-backed CDT triangulation and MCMC checkpoints with validated resume state, preserved RNG streams, and typed checkpoint errors.
  • Add an output-and-checkpoint example with semantic example validation through just examples-validate.
  • Document output files, resumable checkpoints, example validation, and Rust review guidance updates.

• [breaking] Adopt checked Delaunay v0.7.7 APIs
  ad0d31a

  • Upgrade to delaunay 0.7.7 and route backend construction through checked, topology-aware validation.
  • Harden CDT initialization, checkpoint restore, and mutation paths so invalid Delaunay state is rejected with typed errors.
  • Replace public simulation result fields with constructors and accessors, and add typed output/checkpoint/backend operation categories.
  • Move mock backend fixtures into the testing prelude and widen Euler characteristic arithmetic to i128.

• Feat!(tooling): add repository hygiene workflows
  b775761

• [breaking] Resolve periodic toroidal moves with Simplex APIs
  82717b9

  • Update to delaunay 0.7.8 and use the upstream Simplex terminology across CDT geometry wrappers, foliation classification, docs, examples, and tests.
  • Finalize accepted local moves through evolved-CDT validation so invalid toroidal mutations roll back while offset-aware periodic moves can apply.
  • Harden release and benchmark support scripts around missing metadata, Windows path fallbacks, unsized benchmark sorting, and legacy baseline lookup.

• [breaking] Complete 1+1 toroidal CDT sampling
  c83b665

  • Support toroidal volume-changing CDT moves that preserve χ = 0, foliation, and closed spatial slices.
  • Plan concrete Metropolis-Hastings proposals before acceptance and weight forward/reverse local-site counts for detailed balance.
  • Add hard-failure move telemetry and typed validation/application failure details for sampler diagnostics.
  • Document binary usage, unfixed-volume ensemble behavior, large-scale debug workflows, and release-roadmap scope.

• [breaking] Add proposal-site accounting and profiled CDT starts
  1839f30

  • Add explicit spatial volume profiles for CLI/configuration, initial CDT construction, simulation output, and documentation.

  • Plan Metropolis proposals through sampled local move sites and apply the Hastings correction from forward and reverse site counts.

  • Add proposal-kernel telemetry with saturating counters for no-site outcomes, site rejections, Metropolis rejections, accepted transitions, and hard
    failures.

  • Replace stringly validation and history fields with typed error categories and move enums.

  • Document detailed-balance semantics and add proposal-site benchmark coverage.

• Add chunked Metropolis checkpoint sweeps #152
  5065bd2

  • Add resumable Metropolis checkpoint continuation so chunked drivers can inspect checkpointed triangulations between sweeps.
  • Route the large-scale 1+1 debug harness through checkpoint-preserving Metropolis chunks sized from the current simplex count.
  • Document the MCMC backend boundary and roadmap blockers for upstream markov-chain-monte-carlo continuation work.

• Support fallible public examples #151
  9c10f0b

  • Convert public Rust doctests to CdtResult-based flows with typed error propagation.
  • Add Semgrep guardrails for unwrap/expect in doctests, benches, and examples.
  • Preserve standalone CDT proposal application failures as typed CdtError variants.
  • Re-export MCMC simulation traits from the simulation prelude for proposal workflows.
  • Replace benchmark fixture expect paths with operation-aware setup helpers.

• [breaking] Require validated CDT runtime configs #163
  fbdcc41

  • Add ValidatedCdtConfig and ValidatedInitialVolume so runtime construction consumes topology, volume, schedule, dimensionality, and coupling invariants
    after validation.

  • Move Metropolis/action runtime conversion behind validated configs and route run_simulation and examples through the proof-bearing API.

  • Report invalid Metropolis schedules and temperatures with InvalidSimulationConfiguration while keeping geometry, topology, and action failures on
    InvalidConfiguration .

  • Bump the Rust baseline to 1.96.0, update the MCMC backend to 0.4.0, and align docs.rs metadata, API docs, and test assertions with the new baseline.

Changed

• Consolidate and refine crate keywords 41a8212

  Combine "quantum" and "gravity" into "quantum-gravity" and remove the redundant "physics" tag to improve package discoverability and metadata accuracy.

• Use TDS key checks for handle validation and log stubs
  aa0ca36

  Update handle validation in the Delaunay backend to check the topology
  data structure directly for vertex and cell keys. Remove the unused
  OperationFailed error variant and add warning logs to the unimplemented
  clear and reserve_capacity methods.

• Document mutation support and update changelog for backend keys
  974ba38

  Update the Delaunay backend documentation to clarify that mutation
  methods are currently unimplemented and return errors. Synchronize the
  changelog to reflect the migration from UUID-based handles to upstream
  key-based handles.

• Make performance regression check non-blocking in CI
  75eb4d2

  Update the performance workflow to warn rather than fail when
  regressions are detected. Shared GitHub Actions runners often produce
  noisy benchmark results with significant variance, leading to false
  positives. This change ensures that statistical noise does not block
  pull request merges while maintaining visibility via PR comments.

• Improve foliation API correctness, error handling, and test coverage
  28c28da

  • Replace .unwrap() with Result propagation in from_foliated_cylinder and
    generate_delaunay2_with_context for VertexBuilder::build() errors

  • Add CdtError::VertexBuildFailed variant for vertex construction failures
    instead of misusing DelaunayGenerationFailed

  • Make validate_topology, validate_causality, validate_foliation public with
    doctests so crate users can run targeted validation checks

  • Simplify DelaunayBackend trait bounds: import DataType directly, remove
    redundant where clauses leveraging edition 2024 struct-level bounds

  • Add debug_assert in Foliation::new for out-of-range time labels

  • Fix docs/foliation.md heading levels (h4→h3) and add code block language

  • Add integration property tests (tests/proptest_foliation.rs) for cylinder
    invariants, edge classification completeness, and seed determinism

  • Add unit tests for acausal edge classification, new vertex labeling,
    single-slice foliation, and larger grid scaling

  • Update docs/dev/rust.md with doctest and re-export guidance

• Improve foliation robustness and add acausal edge classification
  1385793

  Explicitly classify edges spanning multiple time slices as acausal
  instead of treating them as invalid timelike edges. Replace debug
  assertions in Foliation construction with a formal Result-based API and
  improve error propagation during foliation assignment and causality
  validation in CdtTriangulation.

• Isolate delaunay crate behind geometry boundary, add prelude
  1c152b3

  • Move Delaunay generators from util.rs to new geometry/generators.rs
    module, establishing src/geometry/ as the sole delaunay crate boundary

  • Strip util.rs to pure numeric helpers (no delaunay imports)

  • Remove raw delaunay crate imports from cdt/triangulation.rs; use
    DelaunayBackend2D type alias and backend trait methods instead

  • Add prelude module with prelude::, prelude::triangulation::, and
    prelude::simulation::* sub-preludes; update all doctests, examples,
    integration tests, proptests, and benchmarks to use them

  • Shorten generator function names (generate_delaunay2_with_context →
    delaunay2_with_context, etc.) and assign_foliation_by_y_coordinate →
    assign_foliation_by_y

  • Expand FoliationError with LabelCountMismatch, EmptySlice, and
    SliceSizeSumMismatch variants; add From<FoliationError> for CdtError

  • Fix dropped backend error in assign_foliation_by_y (was map_err(|_|))

  • Add 9 new tests: causality violation detection, FoliationError Display
    and conversion, build_delaunay2_with_data edge cases

  • Document Geometry Backend Isolation rule in docs/dev/rust.md, AGENTS.md,
    and project.md

• Improve foliation consistency and specialize validation API
  c947e12

  Clear stale face classifications when updating time labels or
  re-classifying cells to ensure data consistency. Specialize CDT
  validation methods for the 2D Delaunay backend to facilitate direct
  vertex data access and restrict test-only triangulation generators to
  internal crate usage.

• Update triangulation metadata when assigning foliation
  fb12663

  Update the modification count and timestamp within assign_foliation_by_y
  to ensure the triangulation metadata accurately reflects the state
  change. Additionally, remove a redundant validation check for slice size
  sums that is already handled during foliation construction.

• Validate vertex time labels and improve causality test stability
  47f474a

  Add explicit bounds checking for vertex time labels during foliation
  construction to ensure data consistency, returning an error if labels
  exceed the slice count. Refactor the causality violation test to use
  deterministic triangulation data for more reliable validation.

• Enhance causality validation in tests by using a foliated cylinder setup
  e61932f

• Reformat vertex time label access in triangulation tests
  37ed0e9

  Internal formatting update to improve code readability within the test
  suite.

• Invalidate cache when assigning foliation by y-coordinate
  090b5be

  Ensure cached properties are cleared when updating vertex time labels
  to prevent stale data from persisting after a foliation change.

• Refactor triangulation tests for deterministic causality validation
  20ff771

  Refactor foliation and causality tests to use hand-built geometry and
  deterministic triangulation generators. This avoids issues with Delaunay
  tie-breaking in larger meshes, ensuring that causality violation
  detection is tested against a stable and predictable state.

• Implement structured error handling for configuration and generation
  1df0a5d

  Replace generic string-based error messages with structured CdtError
  variants to provide better diagnostic context for configuration and
  triangulation failures. This update centralizes simulation parameter
  validation and introduces stricter checks for measurement schedules to
  ensure at least one post-thermalization data point is recorded.

• [breaking] Harden foliation validation and unify backend payload APIs
  934f38c

  • add live-label consistency checks with explicit missing, out-of-range, and slice-mismatch diagnostics
  • replace legacy payload mutation/read paths with key-based backend helpers across triangulation logic
  • centralize metadata mutation and cache invalidation bookkeeping behind dedicated update helpers
  • make the provisional point-set strip constructor internal and align strip property tests with the explicit-strip placeholder path

• Track foliation synchronization and harden time-slice assignment
  e1c3b8a

  Introduce a synchronization counter to ensure foliation metadata remains
  synchronized with geometry changes. This update also enforces non-empty
  time slices and ensures that foliation assignment is atomic, preventing
  partial backend mutations if validation fails.

• Defer geometry cache invalidation until backend mutation occurs
  d912f8a

  Modify the geometry mutation wrapper to distinguish between metadata
  updates (like simulation event recording) and actual backend modifications.
  This ensures that foliation metadata and geometry caches are only
  invalidated when the underlying triangulation is accessed for mutation.

  Additionally, specialize foliation validation for the Delaunay backend to
  eliminate dynamic downcasting and ensure cell type lookups correctly
  identify and handle stale states following geometry changes.

• Simplify geometry abstraction and remove redundant mesh module
  44bc7b8

  Streamline the geometry interface by removing the unused mesh module and
  redundant traits (ThreadSafeBackend, TriangulationFactory). This
  refactor favors direct triangulation queries over intermediate mesh
  structures. Additionally, the update improves test determinism by using
  seeded point generation and adds verification for vertex-time labels and
  foliation re-assignment consistency.

• Import rand::RngExt trait for random number utilities
  ea094f2

• Refactor!(cdt): remove mutable triangulation escape hatches
  a289361

• Refactor!(cdt): split triangulation modules and harden invariants
  aa08007

• Refine Semgrep unwrap fixture exclusion patterns
  0f4fb0f

  Replace wildcard function arguments with explicit signatures for internal
  Semgrep unwrap/expect rule exclusions. This ensures more precise pattern
  matching and prevents unintended false negatives for doctests and internal
  utility functions.
  Refs: #151

• Update tooling documentation on Semgrep unwrap/expect rules
  8ac8398

  Document refinements to Semgrep rules for unwrap() and expect().
  This clarifies how rules distinguish code from prose mentions and
  anchor fixture exclusions, preventing false positives in doctests
  and ensuring accurate public-surface checks.

• [breaking] Split Metropolis into module tree
  3d602c5

  • Move CDT Metropolis adapter, runner, checkpoint, telemetry, and shared helper logic into an explicit src/cdt/metropolis/ module tree.
  • Keep adapter.rs as the single boundary to markov-chain-monte-carlo while preserving existing public simulation re-exports.
  • Calibrate the default 1+1 CDT action constants to kappa_0 = 0, kappa_2 = 0, and lambda_edge = (2 / 3) ln 2.
  • Document the Metropolis module layout, Delaunay initialization role, and 1+1 CDT coupling calibration.

• [breaking] Validate runtime invariants at parse boundaries
  8a03da7

  • Require action, Metropolis, and top-level simulation configuration to enter runtime code through validated private-field types.

  • Validate result, checkpoint, move, and proposal telemetry before storage or deserialization so impossible counters and incoherent step records cannot be
    represented.

  • Move CDT triangulation state into the triangulation module tree and expose metadata, statistics, and constants through focused accessors and preludes.

• [breaking] Enforce simulation state invariants #174
  583e5d4

  • Reject checkpoints and completed results whose proposal telemetry does not match recorded sampler steps, accepted transitions, or rejected transitions
  • Record Metropolis measurements only on the configured post-thermalization cadence and validate deserialized measurement streams against the same schedule
  • Resolve configured output paths before triangulation or sampling begins, and prevent CDT modification counters from wrapping into stale cache versions

• [breaking] Encode nonzero CDT invariants 938d712

  • Store Metropolis step counts, measurement cadence, foliation slice counts, and CDT time-slice metadata as NonZeroU32.
  • Preserve validated Metropolis configuration inside ValidatedCdtConfig instead of rebuilding from raw fields.
  • Move time-slice parsing into construction and deserialization boundaries so downstream accessors can stay infallible.
  • Widen measurement-count arithmetic before including the current step to avoid overflow.

• [breaking] Run continuation through planned proposals #153
  262518f

  • Drive chunked Metropolis runs and checkpoint resume through the upstream sampler planned-step handoff while preserving CDT measurements, telemetry, and move
    history.

  • Carry validated config, volume, and foliation counts as NonZeroU32 so downstream construction can rely on nonzero invariants.

  • Add Semgrep guardrails around planned-step telemetry and sampler-state synchronization.

• [breaking] Encode trace and count invariants #164
  d843d16

  • Represent constructed CDT simplex counts with invariant-bearing nonzero types while keeping raw backend geometry counts as usize.
  • Replace public measurement and Metropolis step fields with typed accessors and outcome-specific telemetry payloads.
  • Export simulation diagnostics through upstream scalar trace CSV rows instead of legacy measurement CSV rows.
  • Remove saturating telemetry downcasts in favor of checked conversions and structured count/trace error variants.
  • Update docs, examples, preludes, and tooling guidance for the new trace and count contracts.

• [breaking] Enforce trace profile invariants #164
  f481bc2

  • Reject measurement and scalar trace volume profiles whose totals exceed the stored triangle count.
  • Preserve checkpoint seed metadata across resumed scalar trace rows and reject mismatched trace seeds during validation.
  • Clarify that CSV output carries trace rows while JSON output carries summary metadata and final triangulation data.

Dependencies

• Bump actions/cache from 5.0.1 to 5.0.4 063c3fc

• Bump the dependencies group with 2 updates e19510f

• Bump taiki-e/install-action from 2.68.35 to 2.69.8
  3cc7c55

• Bump codecov/codecov-action from 5.5.2 to 5.5.3
  69e2fca

• Bump codecov/codecov-action from 5.5.3 to 6.0.0
  57464a4

• Bump astral-sh/setup-uv from 7.6.0 to 8.0.0 c7e4472

• Bump pygments from 2.19.2 to 2.20.0 5cc07e9

• Bump taiki-e/install-action from 2.69.8 to 2.70.3
  387e96d

• Bump taiki-e/install-action from 2.70.3 to 2.75.0
  e3f4018

• Bump the dependencies group across 1 directory with 2 updates
  d843b90

• Bump astral-sh/setup-uv from 8.0.0 to 8.1.0 ba66738

• Bump actions-rust-lang/setup-rust-toolchain e618486

• Bump taiki-e/install-action from 2.75.0 to 2.75.24
  b7e2413

• Bump actions/github-script from 8.0.0 to 9.0.0
  2923849

• Bump actions/upload-artifact from 7.0.0 to 7.0.1
  c0ec7f6

• Bump actions/cache from 5.0.4 to 5.0.5 74ff03a

• Bump taiki-e/install-action from 2.75.24 to 2.77.1
  8c5b755

• Bump taiki-e/install-action from 2.77.1 to 2.77.6
  718681b

• Bump actions-rust-lang/setup-rust-toolchain effbbd4

• Bump assert_cmd in the dependencies group 035bfcc

• Bump urllib3 in the uv group across 1 directory
  6d436aa

• Bump idna in the uv group across 1 directory df3480f

• Bump taiki-e/install-action from 2.77.6 to 2.79.2
  6f611ff

• Bump codecov/codecov-action from 6.0.0 to 6.0.1
  3847062

• Bump serde_json 1780261

• Bump log from 0.4.29 to 0.4.30 in the dependencies group
  ac3237f

• Bump taiki-e/install-action from 2.79.2 to 2.79.9
  788eea8

Documentation

• Clarify CDT-owned mutation boundaries 60730b6

  • Describe foliation label writes through CDT-owned helper paths instead of backend mutation APIs.
  • Document rollback boundaries for mutating ergodic move helpers.
  • Cover legacy std::f64 non-finite defaults in the Semgrep fixture.

• Clarify geometry backend move responsibilities
  6a0eb2b

  • Document that src/geometry/ wraps upstream Delaunay operations through crate-owned traits.
  • Spell out its conversion, validation, and error translation role between Delaunay and CDT geometry types.

• Clarify Metropolis proposal cache identity b3bfa4b

  • Document that proposal-site cache validity uses (instance_id, modification_count).
  • Explain the reverse proposal-site denominator stored on CDT proposal plans.

• Wrap volume-fixing citation prose 7cf8ffd

  • Keep the Metropolis documentation within the raw Markdown line-length limit.

• Clarify saturated proposal telemetry merging 3e218da

  • Document that ProposalStatistics::extend uses saturating counter addition.
  • Explain that saturated telemetry remains serializable while exact terminal-outcome partitions may be coarsened.

Fixed

• Validate config in run(), record seed for provenance
  d9e713d

  • Validate measurement_frequency > 0 and temperature finite/positive
    at start of MetropolisAlgorithm::run() to prevent panics and NaN

  • Generate and record a random seed when none is provided, ensuring
    every simulation run is reproducible after the fact

  • Add #![forbid(unsafe_code)] to proptest integration test crate

  • Add tests for config validation and seed provenance recording

• Harden foliation causality checks and backend data mutation #57
  58d4483

  • make foliated cylinder generation fail fast when point-set Delaunay output is not a valid 1+1 CDT strip
  • add explicit backend mutation APIs for vertex and cell payloads, with structured backend-mutation error propagation
  • tighten causality validation to enforce the CDT per-triangle edge mix (one spacelike and two timelike)
  • update edge endpoint resolution to optional lookup semantics and optimize membership checks via local adjacency
  • add geometry-focused prelude exports and refresh doctests/examples for seeded triangulation plus foliation assignment workflows
  • convert foliation property coverage to known-limitation guards while explicit CDT strip construction is pending

• Report actual coordinate range in triangulation failure diagnostics
  6d23d2e

  Replace the hardcoded (0.0, 0.0) coordinate range in the Delaunay
  generation error with the computed bounds of the input vertices. This
  improves diagnostic visibility for failed triangulation attempts by
  providing the actual spatial extent of the processed data.

• Harden toroidal CDT validation and run_simulation semantics
  9240252

  • Tighten time_step_distance: out-of-range labels (t >= T) bypass
    toroidal wrap-around so causality violations are reported with the
    raw step distance rather than being silently folded to 0 via min(T, 0).

  • Add FoliationError::MissingTemporalWrapAround variant (with Display
    and test) and validate_toroidal_temporal_wraparound() to distinguish
    a torus from a cylinder. chi = 0 alone is ambiguous; we now also
    require every slice to have timelike adjacency to (t-1) mod T and
    (t+1) mod T. Wired into validate_foliation alongside the existing
    spatial-S^1 check.

  • Refresh CdtTopology doc comments: remove stale 'blocked on delaunay#313'
    notes from OpenBoundary and Toroidal; document Toroidal as supported
    via CdtTriangulation::from_toroidal_cdt.

  • CdtConfig::validate: for Toroidal, require timeslices >= 3, vertices
    divisible by timeslices, and vertices >= 3 * timeslices. Tests cover
    each branch and confirm OpenBoundary is unaffected.

  • run_simulation: treat config.vertices as the TOTAL vertex count for
    both topologies. Toroidal branch now divides by timeslices to recover
    vertices_per_slice. Lib test asserts vertices=12, timeslices=3 yields
    a 12-vertex (not 36-vertex) toroidal triangulation.

• Harden CDT invariants and repository rules 800f2fb

  • Centralize toroidal time-slice validation through the metadata write path so foliation assignment cannot bypass topology invariants.
  • Make mock geometry mutations either update stored topology or return specific, debuggable errors.
  • Add focused coverage for Codecov gaps, move-statistics accounting, mock backend mutation paths, and toroidal foliation validation.
  • Expand public doctests and private-helper documentation guidance across CDT and geometry modules.
  • Tighten Semgrep/SARIF workflow handling, coverage-report docs, changelog line-length checks, and unsafe-code enforcement.

• Address review findings for changelog and geometry
  216252e

  • Harden changelog postprocessing, archive sorting, release staging, and Semgrep coverage for script tests.
  • Centralize toroidal time-slice validation and add unsafe-code guards where missing.
  • Improve mock backend mutation behavior, unordered facet equality, and saturating Euler arithmetic.
  • Strengthen seeded Delaunay determinism tests and re-export topology metadata through the crate API.
  • Remove panic-prone acceptance-rate conversions and broaden targeted regression coverage.

• Tighten geometry topology and tooling diagnostics
  9585d93

  • Add unsafe-code guards to geometry backend and trait modules.
  • Preserve relative parent path prefixes during config path normalization.
  • Return concrete mock adjacency, incidence, and face-neighbor topology.
  • Re-export ToroidalConstructionMode through the geometry public facade.
  • Expand Semgrep direct-delaunay import detection for multiline grouped imports.
  • Include XML parse diagnostics in coverage report errors.
  • Include star bullets when injecting changelog summary sections.
  • Add regression coverage for path handling, mock topology, Semgrep fixtures, and Python tooling.

• Enforce CDT validation guardrails #8
  15234c3

  • Reject zero-move CDT simulations and placeholder ergodic moves with typed unsupported-operation errors.
  • Validate CDT metadata, topology, action couplings, and foliation mutation paths before committing state changes.
  • Add typed errors, property tests, doctests, and Semgrep coverage for validation and diagnostics.
  • Update examples, benchmarks, CLI docs, and preludes for the guarded simulation behavior.

• Enforce CDT validation guardrails #8
  77650dc

  • Validate action couplings before MetropolisAlgorithm::run reaches the pending-moves guardrail.
  • Preserve Metropolis scaffolding while documenting and benchmarking the current unsupported-operation path.
  • Return typed toroidal time-slice metadata errors before staged foliation construction.
  • Add focused Metropolis coverage for aggregation helpers and the placeholder proposal contract.
  • Update CLI, example, benchmark, CodeRabbit, and Semgrep docs/config to match current behavior.

• Harden ergodic move validation 657e0e6

  • Add edge-adjacent face queries so causal edge flips avoid full face scans and hot-path candidate allocations.
  • Report post-mutation foliation sync failures as hard failures instead of ordinary rejections.
  • Keep foliation state unsynchronized when cell classification fails.
  • Update CDT benchmarks to exercise a real degree-3 vertex removal.
  • Strengthen Semgrep coverage for nested public error enums and tighten positive-path move tests.

• Compute toroidal face centroids correctly across periodic boundaries
  faf5b0e

  Adds specialized centroid calculation for toroidal triangulations,
  unwrapping coordinates to ensure geometric accuracy for faces spanning
  domain boundaries. Also exposes the periodic domain from the geometry
  backend.

  Refines error reporting by introducing HardFailure(CdtError) for
  irreversible post-mutation failures, distinct from reversible rejections.

  Introduces and maintains an internal interior_facets_by_edge cache for
  Delaunay 2D backends to efficiently query adjacent facets for edges,
  improving performance and correctness of topological mutations.
  Refs: #55

• Validate stored foliation after backend mutation
  7040ff9

  • Keep live foliation queries and cell classification active when mutable backend access invalidates sync bookkeeping without removing the foliation.
  • Clarify periodic and open-boundary CDT foliation docs, including from_toroidal_cdt() and from_cdt_strip() behavior.

• Harden from_cdt_strip generation cdbf363

  • Reserve explicit strip construction buffers fallibly and report CDT generation errors with strip context when allocation fails.
  • Keep strip triangles in fixed-size cells until the backend boundary and reject generated backends whose vertex or face counts differ from the requested
    strip.

• Update simulation history modification timestamps
  76cd209

  • Refresh last_modified when recording simulation events so metadata reflects history-only CDT updates.
  • Warm triangulation caches explicitly in cache invalidation coverage.
  • Measure metadata cache invalidation without including triangulation construction cost.

• Preserve toroidal invariants during moves e4a398b

  • Reject toroidal candidate edits that would break chi = 0 or the closed-S1
    foliation contract before recording move success.

  • Document the toroidal Metropolis invariant contract and refresh stale testing,
    move, foliation, and crate-level documentation.

  • Replace the retired TODO document with a high-level roadmap for release
    direction and follow-up work.

• [breaking] Enforce CDT and backend invariants
  3225000

  • Build open-boundary simulations from foliated CDT strips and validate regular per-slice configuration before simulation startup.
  • Validate topology in CdtTriangulation::with_topology before publishing wrapped backends.
  • Make TriangulationMut::clear and reserve_capacity fallible so unsupported or failed backend operations cannot silently succeed.
  • Add typed coordinate and reservation errors, and update docs and examples toward foliated CDT constructors.

• Harden output and checkpoint serialization 45bc9e0

  • Reject invalid checkpoint state at serde boundaries, including empty foliation bookkeeping and invalid toroidal periods.
  • Prevent CSV and JSON outputs from resolving to the same file before writing either artifact.
  • Align serialized topology names with CLI vocabulary and report equilibrium-only average action in JSON summaries.
  • Avoid preallocating simulation step history from the full configured step count.

• Fix!(cdt): enforce Delaunay initialization invariants
  55cdbd4

• Fix!(geometry): reject structurally invalid Delaunay edits
  3f5a857

• Normalize CDT validation check tokens f7c3605

  • Emit ergodic_move_candidate_geometry consistently with the other
    CdtValidationCheck display identifiers.

  • Keep validation regression coverage deterministic for structural Delaunay
    rollback and checkpointed Metropolis runs.

• Harden move failures and result deserialization
  5685f1b

  • Propagate post-mutation CDT invariant failures as hard move errors instead of candidate rejections.
  • Reject toroidal (1,3) subdivisions before mutation while preserving inverse (3,1) coverage.
  • Validate simulation result deserialization through the checked constructor so invalid configs or final triangulations fail to load.
  • Report inserted-vertex label failures with the matching backend mutation operation and document adjacent_faces query cost.

• Harden benchmark and changelog tooling 9100099

  • Prefer Criterion new estimates over stale base entries during fallback discovery so each benchmark id appears once.
  • Restrict changelog release-heading preservation to SemVer headings so bracketed commit-body headings are demoted.
  • Normalize non-Rust tooling to 160 columns with Markdown reflow and a raw line-length guard.
  • Document GitHub releases with the tag string as the release title.

• Harden toroidal proposal accounting 9c6acb9

  • Count only move sites that can commit through the deterministic backend mutation path, and carry the forward site count into Metropolis-Hastings
    proposal-ratio scoring.

  • Reject resumable checkpoints with nonzero hard-failure counters and preserve structured Metropolis move failure sources across error conversions.

  • Document clone-plan-commit move ordering, unfixed-volume sampling, proposal-ratio correction, citation metadata, references, AI tooling, and release
    validation recipes.

• Correct 1+1 toroidal proposal accounting 8f3f96b

  • Count only backend-committable CDT move sites when computing Metropolis-Hastings proposal ratios.
  • Keep toroidal grow and inverse local moves aligned with the same deterministic committability checks used by the mutating kernels.
  • Document manual cosmological-constant tuning for v0.1.0 until automated lambda-scan utilities land.

• [breaking] Harden CDT telemetry and profiled initialization
  f7f7244

  • Preserve supplied proposal statistics when constructing simulation results.
  • Leave Metropolis step delta_action unset for self-loop proposals without a concrete plan.
  • Validate profiled open-boundary strip vertex and face counts before constructing foliation metadata.
  • Recompute vertex and timeslice counts when merging volume-profile overrides.

• [breaking] Reject volume-profile override overflows
  c5a3206

  • Make CdtConfig::merge_with_override fail on volume-profile count overflow instead of clamping derived vertices and timeslices.
  • Preserve profile-derived configuration invariants before post-merge validation runs.
  • Track the v0.1.0 public doctest error-handling audit in the roadmap.

• Tighten unwrap Semgrep fixtures #151
  2e44e17

  • Avoid flagging doctest prose that merely mentions .unwrap() or .expect().
  • Keep bench/example unwrap checks scoped away from rust-style fixture helpers.
  • Remove stale bench/example annotations from the rust-style Semgrep fixture.

• Anchor unwrap fixture exclusions #151
  5048842

  • Tie Semgrep bench/example unwrap exclusions to the rust-style fixture path.
  • Mirror the fixture-path anchors beside the rust-style unwrap fixture helpers.

• Count multi-rule Semgrep fixtures 657f478

  • Split comma-separated Semgrep fixture annotations before comparing expected findings.
  • Keep Python fixture helpers typed and remove a stale unwrap expectation from the bench/example fixture.

• Require literal UTF-8 test fixture I/O 759437b

  • Tighten the Python test encoding Semgrep rule so Path.read_text and Path.write_text only pass with explicit encoding="utf-8".

• [breaking] Make Metropolis step telemetry nonzero #153
  f736b97

  • Store completed Metropolis step numbers as NonZeroU32 in public telemetry and resumable checkpoints.
  • Reject zero-valued completed-step telemetry while preserving step 0 for initial measurement records.
  • Derive accepted planned-step delta_action from the same action_after value used to update CDT state, including reconstructed action values.
  • Return a typed telemetry error when an accepted planned proposal lacks action evidence.

Maintenance

• Bump pytest in the uv group across 1 directory
  eb26876

  Bumps the uv group with 1 update in the / directory: pytest.

  Updates pytest from 9.0.2 to 9.0.3

  • Release notes
  • Changelog
  • Commits

---

updated-dependencies:

• dependency-name: pytest
  dependency-version: 9.0.3
  dependency-type: direct:development
  dependency-group: uv
  ...

• [breaking] Align tooling and CDT error APIs
  bc3630b

  • Port Delaunay-style changelog archive and postprocessing utilities.
  • Add Semgrep, coverage, Python, and workflow tooling updates.
  • Regenerate CHANGELOG.md with the new git-cliff pipeline.
  • Enforce toroidal time-slice metadata invariants through concrete CDT errors.
  • Simplify geometry trait result types and rename public Delaunay generator helpers.
  • Replace boxed example errors with CdtResult and derive CdtError with thiserror.
  • Update documentation.

• Add repository rule SARIF gate e91f4bb

  • Add a native Semgrep SARIF workflow for repository-owned rules and document it in the project layout.
  • Harden Semgrep rules for direct delaunay imports, broad Python exceptions, and ad hoc subprocess-result mocks.
  • Standardize changelog scripts on the uv shebang and normalize generated archive links to POSIX paths.
  • Enforce the pinned cargo-llvm-cov version during setup.
  • Replace subprocess-result mocks in Python tests with typed CompletedProcess values.
  • Add focused coverage for mock geometry backend behavior and ergodic move statistics.

• Harden release tooling checks 201fa76

  • Normalize changelog source paths before building truncated tag URLs.
  • Add regression coverage for Windows-style archive changelog paths.
  • Run Semgrep rule tests across the full fixture directory.
  • Restore Clippy SARIF pipefail behavior and cargo lint coverage.

• Harden coverage and release tooling e4f6ad1

  • Skip Clippy SARIF uploads for forked pull requests to avoid permission failures.
  • Remove the Codacy coverage upload from the Codecov workflow while repo access is unavailable.
  • Handle git command timeouts in the release tag CLI error path.
  • Add regression coverage for release timeout handling and targeted geometry coverage gaps.

• [breaking] Align repository tooling with MCMC
  f7e6464

  • Add explicit CodeQL, rustfmt, Python, Semgrep, and changelog tooling configuration adapted for CDT.
  • Modernize changelog generation with the MCMC-style git-cliff template and no-temporary-tag release flow while preserving CDT release-series archiving.
  • Harden Python support scripts against malformed benchmark, coverage, Criterion, and release-tag inputs.
  • Update repository guidance, release docs, command docs, and tooling comparison notes for the new workflows.

• Replace Node formatters with Rust-native checks #129
  40a8e74

  • Move Markdown checks to rumdl and keep legacy documentation exclusions explicit.
  • Limit dprint to YAML formatting with the pretty_yaml plugin and add check/fix aliases for TOML, YAML, and shell tooling.
  • Enforce workflow action pinning, allowlisting, and version comments with Semgrep fixtures.
  • Document the Rust-native tooling setup and check-before-fix workflow guidance.

• Tighten coverage and doctest assertion checks #163
  36be83f

  • Include src/lib.rs in Codecov analysis so public API and run_simulation changes are visible in patch coverage.
  • Add a Semgrep rule that rejects assert!(matches!(...)) in public Rust doctests.
  • Update public examples and development docs to use std::assert_matches for diagnostic-friendly enum and result assertions.

• Align security checks with shared Rust workflow
  3d5fbec

  • Run the CI matrix through pinned just ci tooling on Linux, macOS, and Windows.
  • Move workflow tool installation to cached Cargo installs and uv-managed Python tooling.
  • Add zizmor workflow coverage, SECURITY.md, and Dependabot cooldowns for security maintenance.
  • Expand repository Semgrep rules for GitHub Actions hardening, subprocess wrapper usage, and MCMC adapter boundaries.
  • Mirror pinned tool versions across workflows and justfile setup checks.

• Lock local Python tool installs 9cf18d7

  • Require setup-tools to sync uv dependencies with the lockfile.
  • Pin pytest and ty in the dev dependency group so local installs match the locked tooling set.

• Make Semgrep fixture cleanup Windows-safe 2bec72a

  • Remove the temporary mirrored Semgrep config directory in one guarded cleanup step.
  • Avoid manual symlink unlinking and directory removal that fails on Windows runners.

• Tighten Semgrep fixture coverage #162
  5ff5abe

  • Port low-risk MCMC Semgrep rules for unchecked Rust APIs and dynamic error erasure in public examples.
  • Check repository Semgrep fixtures with direct annotation counts so path-sensitive rules stay covered.
  • Require explicit UTF-8 fixture I/O in benchmark utility tests to keep Windows runs portable.

• Harden Semgrep and zizmor checks #162
  acbf1ad

  • Avoid zizmor concurrency group collisions across refs and runs.
  • Validate Semgrep fixture checker inputs before comparing rule results.
  • Accept explicit UTF-8 encodings in fixture rules for both quote styles and the shared UTF8 constant.

• Enforce MCMC sampler boundary d523854

  • Add repository Semgrep rules that reject CDT-local Metropolis-Hastings acceptance draws and manual accepted/rejected sampler counters.
  • Cover the new guardrails with positive and negative Semgrep fixtures.
  • Document that CDT owns proposal planning and telemetry while markov-chain-monte-carlo owns reusable sampler mechanics

• Finalize v0.1.0 validation 31a4cff

  • Store resumable checkpoint actions behind a finite-action boundary before exposing checkpoint state.
  • Reject non-finite and mismatched checkpoint actions during checkpoint construction and deserialization.
  • Run slow release validation through the perf profile with a bounded large-scale debug harness.
  • Align v0.1.0 release-readiness docs with upstream-backed Metropolis continuation and completed validation gates.

Performance

• Speed up Rust validation workflows 25ada46

  • Run runnable Rust unit, integration, CLI, slow, example, and release test recipes with cargo nextest while keeping rustdoc doctests on cargo test.
  • Build release examples once and execute the compiled binaries for validated example runs.
  • Install pinned cargo-nextest in CI and document the validation split.

• Add CDT CI performance suite f449c0b

  • Add a perf-profile Criterion suite for CDT generation, validation, move attempts, ten-sweep random-move workloads, and short Metropolis runs.
  • Wire benchmark analysis and baseline comparison tooling to use stable Criterion benchmark IDs from the new suite.
  • Keep Linux, macOS, and Windows CI coverage while speeding Windows Rust validation with nextest.
  • Align coverage and changelog tooling with the Delaunay refresh, including cargo-llvm-cov 0.8.7 and archive heading normalization.

• Cache Metropolis proposal-site universes 6b3bfbe

  • Cache sampleable local sites per move family and triangulation instance so Metropolis sampling and proposal denominators share the same candidate set
    without repeatedly re-enumerating sites.

  • Give cloned and deserialized triangulations fresh transient identities so cached backend handles cannot leak across distinct states with matching
    modification counts.

  • Store reverse proposal-site counts on concrete CDT proposal plans to keep Hastings ratios tied to the proposed state that was actually planned.

  • Document cached proposal-site semantics and the v0.1.x roadmap split for chunked Metropolis sweeps.

  • Harden changelog formatting when no archived changelog files are present.