v0.7.1

v0.7.1

Release scope:

• Patch release for the HigherGraphen Rust workspace at 0.7.1.
• Three general-purpose primitive improvements over the v0.7.0 advisory
  extensions, requested by AdvisoryGraphen. All additive and deterministic, no
  new dependencies, no consumer domain vocabulary. Design spec:
  docs/specs/incidence-evaluator-hardening.md.
• Git tag and GitHub Release are prepared for publication after maintainer
  approval.

Highlights:

• Incidence severity (latent-gap fix): reasoning::incidence obstructions no
  longer hardcode Severity::Medium. IncidenceRelation::with_dangling_severity
  / with_context_mismatch_severity and RequiredRegion::with_severity let the
  caller declare a finding's severity. Default stays Medium.
• Acyclicity parity: EvaluatorCheck::Acyclicity now reports every simple cycle
  with edge witnesses (related_morphism_ids) and a per-cycle counterexample,
  backed by the existing InMemorySpaceStore::find_simple_cycles (the bespoke
  single-cycle DFS is removed). The reported representation changed from the
  single-cycle message to an all-cycles, witnessed form.
• Cross-context policy: IncidenceRelation::with_cross_context_allowed()
  suppresses the context-mismatch obstruction for legitimately cross-context
  edges; default unchanged.

v0.7.0

v0.7.0

Release scope:

• Minor release for the HigherGraphen Rust workspace at 0.7.0.
• Extends the deterministic core's expressiveness for AI-authored,
  incidence-centric, non-numeric advisory domains, in response to downstream
  (AdvisoryGraphen) friction points. All additions stay deterministic, emit
  structured records, preserve provenance/severity/review separation, and never
  promote generated results into accepted facts. Design spec:
  docs/specs/advisory-domain-extensions.md.
• Git tag and GitHub Release are prepared for publication after maintainer
  approval.

Highlights:

• Obstruction richness: CheckResult::to_obstruction now carries a custom
  obstruction type, counterexample, and required resolution via optional
  Violation fields. The built-in InvariantViolation / ConstraintUnsatisfied
  mapping is preserved when the new fields are unset.
• Projection loss: measure_projection_loss natively handles untraced and
  empty attributable output, emitting SourceTraceMissing (item-level) without
  conflating it with UnsupportedLossMetric (kind-level). ProjectionEntry /
  ProjectionSection / ProjectionOutput constructors accept empty source
  attribution and empty collections.
• Completion taxonomy: MissingType::Custom extension mirroring
  ObstructionType::Custom, flowing through rule-driven detection and completion
  unchanged. Downstream domains can register custom missing kinds.
• Wire ergonomics: stable kind() discriminant accessors on GluingResult,
  DifferenceSeverity, and OverlapWitnessKind, verified against serde output.
• Wire stability: docs/specs/wire-stability-contract.md declares the JSON
  compatibility surface; cross-linked from core-contracts.md.
• Incidence engine: reasoning::incidence::IncidenceConsistencyEngine, a bounded
  deterministic engine over non-numeric incidence views that emits dangling,
  uncovered-region, and context-mismatch obstructions derivable purely from
  explicit input. It constructs no cells, morphisms, or complexes.

Breaking changes:

• MissingType is no longer Copy (now Clone) and gained a Custom(String)
  variant with a manual serde implementation. Built-in variants keep their
  existing snake_case wire form; custom values serialize with a custom: prefix.

v0.6.0

v0.6.0

Release scope:

• Minor release for the HigherGraphen Rust workspace at 0.6.0.
• Sharpens the deterministic mathematical core: real finite (co)limit
  constructions, persistence-diagram distance, an abstract-interpretation
  fixpoint, computed projection-loss metrics, typed provenance, and a
  static-analysis compliance refactor.
• Git tag and GitHub Release are prepared for publication after maintainer
  approval.

Highlights:

• Pushout: construct_explicit_pushout now materializes the merged finite cell
  complex as a reviewable candidate (replacing the empty shell), with
  gluing-axiom obstructions (incompatible/ambiguous identification, relation
  endpoint conflict).
• Pullback: construct_explicit_pullback materializes the fibered product with
  an incompatible_fiber obstruction.
• Persistence-diagram distance: exact bottleneck and p-Wasserstein distances in
  deterministic doubled-integer arithmetic, exposed as reviewable structural
  comparison candidates.
• Abstract interpretation: a monotone least-fixpoint engine with widening.
• Projection loss metrics: computed cardinality, collapsed-pair, omitted, and
  ambiguity metrics with review-signal obstructions, hardening the projection
  information-loss contract.
• Gluing: retired the fabricated complex:glued identifier
  (GluingResult::Success.merged_complex is now optional) and added
  attempt_structural_gluing, which returns a genuinely constructed merged
  complex through the new InMemorySpaceStore::construct_pushout and
  construct_pullback store adapters.
• Typed provenance: a Reviewed<T, S> typestate makes candidate-to-accepted
  promotion require an explicit review morphism at compile time, adopted in the
  completion-review acceptance path.
• Consolidated the shared finite-construction scaffolding and refactored the
  workspace to satisfy the static-analysis size and complexity policy with
  behavior preserved (all existing tests unchanged).

Publication decisions:

• Publish a Git tag and GitHub Release for the repository state after maintainer
  approval.
• Crate publication to crates.io is a separate, explicitly-approved step and is
  not performed automatically by this release preparation.

HigherGraphen v0.5.0

Release scope:

• Minor release for the HigherGraphen Rust workspace at 0.5.0.
• Adds the Correspondence / Overlap workflow as a first-class, reviewable
  structure surface.
• Git tag and GitHub Release are prepared for repository publication after
  maintainer approval.

Highlights:

• Added CorrespondenceCell, OverlapWitness, DifferenceWitness, and
  GluingAttempt core contracts with validation invariants.
• Added deterministic overlap candidate generation for identifiers,
  normalized labels, shared evidence, shared invariants, and typed relation
  triples.
• Added difference extraction for modality, evidence, invariant satisfaction,
  and context mismatches.
• Added deterministic gluing checks that return success, review candidate, or
  failure with obstruction while preserving review boundaries.
• Added human, AI-agent, and audit correspondence projections with explicit
  projection-loss declarations.
• Added bounded semantic candidate generation from supplied semanticSignals;
  LLM and embedding signals remain candidates until explicit review.
• Added CLI coverage for overlap candidates, overlap explanation,
  correspondence projection, semantic correspondence review, and gluing checks.
• Updated correspondence documentation, examples, JSON schema fixtures, and
  release static-limit structure.

Publication decisions:

• Publish reusable crates before dependent crates and CLI tools.
• Example workspace packages remain unpublished validation fixtures.
• Durable external publication actions still require explicit maintainer
  approval at release time.

v0.4.1

Patch release for the HigherGraphen Rust workspace at 0.4.1.

Highlights:

• Expanded graph analytics with SCCs, centrality, cut-cell candidates, dominators, and two-seed minimum vertex-cut candidates.
• Expanded bounded model checking with exhaustive markers, temporal descriptors, unified temporal dispatch, and state-label query helpers.
• Added value-of-information scoring, relation-mapping monotonicity checks, batched diagram commutativity checks, and math kernel API examples.

Cargo packages are published to crates.io for reusable crates and CLI tools. Example workspace packages remain unpublished validation fixtures.

v0.4.0

Highlights

• Adds incidence-based directed simple cycle detection to higher-graphen-structure with deterministic ordering, relation filters, and bounded search controls.
• Exposes core extension concepts and support objects on the public surface so product integrations can reference lifecycle, review, inference, policy, trade-off, and schema verification primitives directly.
• Strengthens native CaseGraphen operation gates to enforce policy/capability scope, audience, and source boundary on close, propose, check, apply, and reject paths.
• Implements a bounded DDD review workflow that derives review records from the case space and fences accepted facts from inferred candidates.
• Adds an AI product integration guide covering when to use each extension object and how to ground inferred state through review.
• Includes Darwin arm64 binaries for casegraphen and highergraphen.

Quality

• Resolves the static-limit regressions introduced after v0.3.0 by splitting oversized test files and CLI helpers; ddd_review.rs remains over the limit as a known v0.3.0 baseline carry-over.
• Fixes clippy warnings reported under `-D warnings` (redundant closures, single-element slice clone, double negation).

Verification

• scripts/static-analysis.sh
• cargo build --workspace --release --locked
• cargo test --workspace --release --locked
• cargo fmt --all --check

Notes

This release continues the pre-1.0 series. Cargo packages are not published to crates.io because workspace packages currently set publish = false.

v0.3.0

Highlights

• Consolidates the HigherGraphen Rust package surface into core, structure, reasoning, evidence, projection, interpretation, and runtime packages.
• Preserves conceptual primitives as modules while reducing public package sprawl.
• Keeps CaseGraphen and HigherGraphen CLI workflows release-ready after static-limit cleanup.
• Includes Darwin arm64 binaries for casegraphen and highergraphen.

Verification

• scripts/static-analysis.sh
• cargo build --workspace --release --locked
• cargo package --workspace --locked --allow-dirty
• cargo audit -q
• cargo tree --workspace --duplicates
• git diff --check

Notes

This is a pre-1.0 breaking release because package boundaries changed from the 0.2.x surface.

v0.2.1

v0.2.1

Release scope:

• Patch release for the HigherGraphen Rust workspace at 0.2.1.
• CLI binaries: casegraphen and highergraphen.
• Provider-neutral CLI skill bundle at 0.5.1.

Highlights:

• Added plain text version commands for both CLIs: casegraphen version, casegraphen --version, highergraphen version, and highergraphen --version.
• Updated CLI usage, documentation, repository skills, and CLI skill bundle metadata so agents can verify installed binary versions before running report workflows.
• Kept report-producing command behavior unchanged; JSON workflow reports still require --format json.

Publication decisions:

• Cargo packages are not published to crates.io in this release because workspace packages currently set publish = false.
• Provider marketplace publication, MCP server publication, and provider-specific manifests remain out of scope.
• This release publishes a Git tag, GitHub Release, and Darwin arm64 binary artifacts after explicit maintainer approval.

v0.2.0

v0.2.0

Release scope:

• Repository release for the HigherGraphen Rust workspace at 0.2.0.
• CLI binaries: casegraphen and highergraphen.
• Provider-neutral CLI skill bundle at 0.5.0.
• JSON schemas, fixtures, examples, docs, repository-owned skills, public .casegraphen traces, license, and commercial boundary.

Highlights:

• Added deterministic PR review target workflows for deriving review inputs from Git changes and recommending structural review targets.
• Added abstract coverage, weighted coverage, topology, and persistent homology concepts to generic higher-graphen-* packages for reuse beyond PR review.
• Added structural boundary signals that catch parent module wiring and command dispatch changes during PR review target selection.
• Expanded CaseGraphen topology surfaces, including focused topology and topology diff reports for workflow and native case history.
• Updated docs, skills, schemas, fixtures, and the provider-neutral CLI skill bundle to reflect the current CLI integration surface.

Publication decisions:

• Cargo packages are not published to crates.io in this release because workspace packages currently set publish = false.
• Provider marketplace publication, MCP server publication, and provider-specific manifests remain out of scope.
• This release publishes a Git tag, GitHub Release, and Darwin arm64 binary artifacts after explicit maintainer approval.

v0.1.0

Release Notes

v0.1.0

Release scope:

• Repository release for the HigherGraphen Rust workspace at 0.1.0.
• CLI binaries: casegraphen and highergraphen.
• Provider-neutral CLI skill bundle at 0.4.0.
• JSON schemas, fixtures, examples, docs, repository-owned skills, public .casegraphen traces, license, and commercial boundary.

Highlights:

• Added higher-order topology and homology summaries for CaseGraphen graph, workflow, and native CaseSpace surfaces.
• Hardened release quality gates with workspace format/check/test/clippy/doc, static limits, CLI report validation, JSON schema contract validation, and CLI skill bundle validation.
• Added CI release-quality workflow.
• Added native CaseGraphen report schemas, workflow operation report schemas, and schema alias coverage.
• Preserved explicit review boundaries: proposal and generated completion flows keep inferred structures unreviewed until an explicit review action.
• Added release-runner as a repository-owned skill for release preparation through publication.

Publication decisions:

• Cargo packages are not published to crates.io in this release because workspace packages currently set publish = false.
• Provider marketplace publication, MCP server publication, and provider-specific manifests remain out of scope.
• Publishing a Git tag, GitHub Release, or binary artifacts still requires explicit maintainer approval at release time.