…sion (#26) ## Summary The two **corrective musts** from the v0.2 maintenance roadmap. Closes #12 · Closes #13. ### #12 — transitive-import closure hashing (the real fix) `proven` invalidation hashed a file's own bytes only, so a promoted file whose **dependency** changed upstream stayed green in `proven/` while logically broken — exactly the silent-failure class arghda exists to catch. Now, when a workspace declares a source tree (`[proven] include_root` in `.arghda/config.toml`), promotion records a **closure hash** (the file + every transitive import that resolves in-tree, deterministic order), and `stale` re-checks it — distinguishing `content changed since promotion` from `a transitive import changed since promotion`. Design keeps it backward-compatible and low-blast-radius: the include root is a **workspace property**, so `transition`/`stale_proven` signatures are unchanged, existing call sites and tests are untouched, and older `hashes.json` manifests still load (`closure_sha256` is optional). ### #13 — cycle-safety regression test On inspection, `graph::transitive_imports` is **already** cycle-safe (the `reachable` visited-set prevents re-traversal) and `build` is a flat pass — so the survey's "infinite-loop risk" was overstated. Rather than invent a fix for a bug that isn't there, this pins the property with a regression test (A↔B fixture terminates), guarding against a refactor reintroducing a loop — relevant because `watch` runs over `working/`, where half-edited files can transiently form a cycle. ## Changes - `src/proven.rs` — `closure_hash()`; `ProvenRecord.closure_sha256` (optional). - `src/config.rs` — `[proven] include_root` knob + `proven_include_root()` (relative paths resolved against the workspace). - `src/workspace.rs` — record closure on promotion; richer stale reason. - `src/graph.rs` — cycle-termination regression test. - `tests/proven.rs` — end-to-end transitive-staleness test. - `STATE.a2ml` — content-hash milestone 75% → 100%. ## Verification Full CI gate green locally: `cargo fmt --check`, `cargo build --all-targets`, `cargo test` (50 unit + integration, incl. the 4 new tests), `cargo clippy --all-targets -- -D warnings`, SPDX invariant. ## Context First two items of the corrective/adaptive/perfective backlog filed as #12–#25. Remaining corrective follow-ups: #14 (parser resilience), #15 (timestamp KATs). 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_019GiSiEfgZCte35dyykgBHs --- _Generated by [Claude Code](https://claude.ai/code/session_019GiSiEfgZCte35dyykgBHs)_

Uh oh!

perfective/wish: parallel linting, metrics, arghda-studio #25

Description

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions