cargo-allow v0.1.8

cargo-allow v0.1.8

cargo-allow v0.1.8 is a cleanup patch for the opt-in spec-system preview
profile introduced in v0.1.7.

Default cargo-allow behavior remains the source-exception ledger:

cargo-allow audit
cargo-allow check --mode no-new
cargo-allow diff --base origin/main
cargo-allow worklist --format json

The spec-system preview remains explicit:

cargo-allow init --profile spec-system
cargo-allow doctor --profile spec-system
cargo-allow check --profile spec-system
cargo-allow worklist --profile spec-system --format json

Highlights

• Makes init --profile spec-system easier to adopt in a new repository by
  starting bootstrap active-goal validation as optional until the repo registers
  a real proposal/spec/plan graph.
• Keeps first-hour doctor --profile spec-system, check --profile spec-system --mode audit, and worklist --profile spec-system --format json
  clean immediately after bootstrap.
• Adds generated comments that explain when to enable active_goal_required = true.
• Simplifies Markdown finding headings so advisory reports do not repeat
  Advisory Findings.
• Updates adoption docs with the bootstrap posture and the promotion point for
  active-goal validation.

Install

cargo install cargo-allow --version 0.1.8 --locked

Preview Boundary

spec-system is preview and opt-in. It is not part of default
cargo-allow check.

The profile validates structural source-tree relationships: IDs, paths,
statuses, required fields, links, support-tier proof fields, active-goal
references, and closeout links.

It does not execute proof commands, call GitHub APIs, run Cargo, rustc, Clippy,
build scripts, proc macros, ripr, unsafe-review, coverage, or network checks as
part of the cargo-allow scan. It does not claim semantic correctness, proof
execution, release readiness, unsafe soundness, test adequacy, or coverage
proof.

More

• Changelog:
  CHANGELOG.md
• Detailed release record:
  docs/release/0.1.8.md
• First-hour spec-system guide:
  docs/how-to/adopt-spec-system-profile.md