V4 release

V4 stabilizes the local review-map workflow.

Arkheionx v4.0.0 is the milestone where the review-map path and its focused views are the stable, supported public surface. It does not mean ArkheionX guarantees protocol safety, confirms vulnerabilities, or replaces an audit. The package version is 4.1.0, which adds the v4.1 research-memory workflow on top of v4.0.0; v4.0.0 remains the last published GitHub release and git tag.

Read the Arkheionx v4 technical paper (PDF).

Stable in V4

The review workflow is supported.

arkheionx version
arkheionx doctor
arkheionx review-map .
arkheionx value-paths .
arkheionx assumptions .
arkheionx test-gap-map .
arkheionx proof-plan .

EXP

Experimental / advanced

The source-tree commands scan, test-plan, and search are not the canonical first run and are not bundled in the installed wheel. Run them from a repository checkout.

LIM

Known limitations

Static heuristics, not execution. Cross-contract value flow is surfaced as per-contract paths. Depth is shown on fixtures; real-protocol validation is planned.

CHK

Validation

Docs links, safety wording, version consistency, release readiness, the full unit-test suite, make validate, and the site build all pass.

Try it

The bundled multi-contract demo.

arkheionx review-map examples/vault-strategy-oracle-fixture

After V4: engine sharpness and real-protocol proof.

The next focus is deeper cross-contract value flow and authorized real-protocol case studies. The full release package lives in the repository under docs/releases/, and the scope is in docs/V4_STABLE_SCOPE.md.

See the roadmap