Re-init mechanical field refresh

Re-init runs a fresh scan but then discards the scan's metadata fields (`name`, `language`, `framework`, `packageManager`) in favor of potentially stale values from the old config. A project that changed its primary language, switched package managers, or renamed itself gets stale ana.json fields even after re-init. The user wants these four fields to refresh automatically, the same way `anaVersion` and `lastScanAt` already do.

verdict PASSscore 13 / 13findings 3 (0 risk · 0 debt · 3 obs)duration 11h 17mrejection cycles 0shipped May 18, 2026surface cli

Pipeline timeline

Intent to proven code in 11h 17m across Think, Plan, Build, and Verify.

Think
4m
Plan
650m
Build
3m
Verify
3m

Assertion ledger

13 claims, each independently verified. Showing 8 — show all →

IDSaysMatcher
A001Re-init updates the project name from the fresh scanverifiedok
A002Re-init updates the language from the fresh scanverifiedok
A003Re-init updates the framework from the fresh scanverifiedok
A004Re-init updates the package manager from the fresh scanverifiedok
A005User-customized commands survive re-initverifiedok
A006Unknown user-added keys survive re-init alongside field refreshverifiedok
A007Co-author setting survives re-initverifiedok
A008Artifact branch setting survives re-initverifiedok

Findings 3 total

obspackages/cli/src/commands/init/state.tsclosed
A013 (doc comment) has no tagged test — verified by source inspection only
obspackages/cli/src/commands/init/state.tsclosed
Merge override assumes newAnaConfig always contains all four keys — undefined would silently drop the field from JSON output
obspackages/cli/src/commands/init/state.tsclosed
pkg.path injected without sanitization in createAnaJson — pre-existing, unrelated to this build

Integrity seal

scopesha256:e810a909f4a22...
contractsha256:038d579a1a343...
plansha256:4d17042575452...
specsha256:34014f2078122...
build-reportsha256:ab7f898cc2d63...
build-datasha256:bb9080c9cfd9a...
verify-reportsha256:dbacd07bf843a...
verify-datasha256:7c478a3537791...
audit cmd$ ana proof audit reinit-field-refresh   → all hashes match