v0.1.160

@research-engineering/agentic-proofkit 0.1.160

Breaking Contract Changes

• proofkit.python-wheel.macos-minimum: Darwin distributions now declare macOS 12.0 as their minimum supported operating-system version, matching the embedded executable.
• proofkit.requirement-graph.topology-id-removal: Requirement traceability graph inputs advance to schemaVersion 2 and reject the semantically inert codeTopology.topologyId field.

Additions

• proofkit.python-wheel.license-closure: Python wheels carry Core Metadata 2.4 license fields and an exact copy of the repository MIT license.
• proofkit.release.change-record: Release notes are generated from this version-bound machine-readable public-contract change record.
• proofkit.release.retained-evidence-topology: Retained evidence checksums use executable artifact-relative paths owned by one builder and verifier.
• proofkit.requirement-graph.topology-closure: Traceability graph build and output admission enforce source-digest coherence, bounded materialization, and parent-to-edge topology closure.

Migration

Migration is required:

• Set requirement-traceability-graph input schemaVersion to 2 and remove codeTopology.topologyId.
• Run Darwin package binaries only on macOS 12.0 or later.

Platform Requirements

• Published Darwin package binaries require macOS 12.0 or later on arm64 and x86_64.

Known Limitations

• TSX source parsing remains unsupported.
• The immutable 0.1.159 release retains its inaccurate macOS wheel tags and incomplete wheel license payload.

Install

Primary npm channel:

npm install -D @research-engineering/agentic-proofkit@0.1.160

Python/uv channel:

uv tool install agentic-proofkit==0.1.160

GitHub Release assets and checksums are archive and provenance evidence, not package-manager dependency authority.

Rollback

• Pin npm consumers to the previous admitted version with npm install -D @research-engineering/agentic-proofkit@<previous-version>.
• Pin Python/uv consumers with uv tool install agentic-proofkit==<previous-version>.
• Treat local package artifacts as candidates until registry identity is proven.

v0.1.159

@research-engineering/agentic-proofkit 0.1.159

Primary install channel:

npm install -D @research-engineering/agentic-proofkit@0.1.159

This release publishes one root CLI package with embedded platform binaries.
GitHub Release assets and checksums are archive/provenance evidence.

Rollback:

• Pin consumers to the previous admitted version with npm install -D @research-engineering/agentic-proofkit@<previous-version>.
• Treat local package artifacts as candidates until registry identity is proven.

Python/uv install channel:

uv tool install agentic-proofkit==0.1.159

PyPI registry identity is recorded in the release manifest.

v0.1.158

@research-engineering/agentic-proofkit 0.1.158

Primary install channel:

npm install -D @research-engineering/agentic-proofkit@0.1.158

This release publishes one root CLI package with embedded platform binaries.
GitHub Release assets and checksums are archive/provenance evidence.

Rollback:

• Pin consumers to the previous admitted version with npm install -D @research-engineering/agentic-proofkit@<previous-version>.
• Treat local package artifacts as candidates until registry identity is proven.

Python/uv install channel:

uv tool install agentic-proofkit==0.1.158

PyPI registry identity is recorded in the release manifest.

v0.1.157

@research-engineering/agentic-proofkit 0.1.157

Primary install channel:

npm install -D @research-engineering/agentic-proofkit@0.1.157

This release publishes one root CLI package with embedded platform binaries.
GitHub Release assets and checksums are archive/provenance evidence.

Rollback:

• Pin consumers to the previous admitted version with npm install -D @research-engineering/agentic-proofkit@<previous-version>.
• Treat local package artifacts as candidates until registry identity is proven.

Python/uv install channel:

uv tool install agentic-proofkit==0.1.157

PyPI registry identity is recorded in the release manifest.

v0.1.156

@research-engineering/agentic-proofkit 0.1.156

Primary install channel:

npm install -D @research-engineering/agentic-proofkit@0.1.156

This release publishes one root CLI package with embedded platform binaries.
GitHub Release assets and checksums are archive/provenance evidence.

Rollback:

• Pin consumers to the previous admitted version with npm install -D @research-engineering/agentic-proofkit@<previous-version>.
• Treat local package artifacts as candidates until registry identity is proven.

Python/uv install channel:

uv tool install agentic-proofkit==0.1.156

PyPI registry identity is recorded in the release manifest.

v0.1.155

@research-engineering/agentic-proofkit 0.1.155

Primary install channel:

npm install -D @research-engineering/agentic-proofkit@0.1.155

This release publishes one root CLI package with embedded platform binaries.
GitHub Release assets and checksums are archive/provenance evidence.

Rollback:

• Pin consumers to the previous admitted version with npm install -D @research-engineering/agentic-proofkit@<previous-version>.
• Treat local package artifacts as candidates until registry identity is proven.

Python/uv install channel:

uv tool install agentic-proofkit==0.1.155

PyPI registry identity is recorded in the release manifest.

v0.1.154

@research-engineering/agentic-proofkit 0.1.154

Primary install channel:

npm install -D @research-engineering/agentic-proofkit@0.1.154

This release publishes one root CLI package with embedded platform binaries.
GitHub Release assets and checksums are archive/provenance evidence.

Rollback:

• Pin consumers to the previous admitted version with npm install -D @research-engineering/agentic-proofkit@<previous-version>.
• Treat local package artifacts as candidates until registry identity is proven.

Python/uv install channel:

uv tool install agentic-proofkit==0.1.154

PyPI registry identity is recorded in the release manifest.

v0.1.153

@research-engineering/agentic-proofkit 0.1.153

Primary install channel:

npm install -D @research-engineering/agentic-proofkit@0.1.153

This release publishes one root CLI package with embedded platform binaries.
GitHub Release assets and checksums are archive/provenance evidence.

Rollback:

• Pin consumers to the previous admitted version with npm install -D @research-engineering/agentic-proofkit@<previous-version>.
• Treat local package artifacts as candidates until registry identity is proven.

Python/uv install channel:

uv tool install agentic-proofkit==0.1.153

PyPI registry identity is recorded in the release manifest.

v0.1.152

@research-engineering/agentic-proofkit 0.1.152

Primary install channel:

npm install -D @research-engineering/agentic-proofkit@0.1.152

This release publishes one root CLI package with embedded platform binaries.
GitHub Release assets and checksums are archive/provenance evidence.

Rollback:

• Pin consumers to the previous admitted version with npm install -D @research-engineering/agentic-proofkit@<previous-version>.
• Treat local package artifacts as candidates until registry identity is proven.

Python/uv install channel:

uv tool install agentic-proofkit==0.1.152

PyPI registry identity is recorded in the release manifest.

v0.1.151

@research-engineering/agentic-proofkit 0.1.151

Primary install channel:

npm install -D @research-engineering/agentic-proofkit@0.1.151

This release publishes one root CLI package with embedded platform binaries.
GitHub Release assets and checksums are archive/provenance evidence.

Rollback:

• Pin consumers to the previous admitted version with npm install -D @research-engineering/agentic-proofkit@<previous-version>.
• Treat local package artifacts as candidates until registry identity is proven.

Python/uv install channel:

uv tool install agentic-proofkit==0.1.151

PyPI registry identity is recorded in the release manifest.