Skip to content

Tags: nForma-AI/nForma

Tags

v0.41.0-rc.1

Toggle v0.41.0-rc.1's commit message
fix: use portable nf-bin path in debug.md require() for lint-isolation

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>

v0.40.2-rc.1

Toggle v0.40.2-rc.1's commit message
fix(ci): skip version stamp when package.json already matches tag

Prevents 'Version not changed' error when the prerelease version
is set in package.json before tagging.

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>

v0.39.0

Toggle v0.39.0's commit message
Release 0.39.0

v0.39.0-rc.2

Toggle v0.39.0-rc.2's commit message
Release candidate v0.39.0-rc.2

v0.39.0-rc.1

Toggle v0.39.0-rc.1's commit message
Release candidate v0.39.0-rc.1

v0.39

Toggle v0.39's commit message
chore: remove archived ROADMAP.md and REQUIREMENTS.md (v0.39)

Archives preserved at .planning/milestones/v0.39-*

Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

v0.37.1

Toggle v0.37.1's commit message
v0.37.1: Triage fixes — data preservation, multi-ecosystem, auto-commit

Bug fixes:
- #21: derived_from array normalization in gate computation
- #24: formal spec path resolution (no more symlink needed)
- #25: code-trace-index preserves user entries across regen
- #28: hazard-model preserves user overrides across regen

Enhancements:
- #22: D→C scanner supports Python/Go/Rust dependency manifests
- #23: T→C runner supports exclude_paths/include_paths config
- #26: Haiku classification retry with error tracking
- #27: R→F residual excludes Pending/Future requirements

New feature:
- #30: Stop hook auto-commits dirty .planning/formal/ files at session end

Requirements: GATE-05, RSN-06, TRACE-06, VERF-04, DIAG-04, DIAG-05, DIAG-06, CLASS-02

v0.37

Toggle v0.37's commit message
chore: rename release to v0.37.0 (no v0.38 milestone exists yet)

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>

v0.36

Toggle v0.36's commit message
docs(v0.36): milestone audit passed (17/17 requirements)

v0.35

Toggle v0.35's commit message
docs(phase-v0.35-04): complete phase execution — TUI CLI Agent MCP entry

Counterexample override: pre-existing mcp-calls:tlc not caused by this phase.

Co-Authored-By: Claude Opus 4.6 <[email protected]>