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.