feature/Validation-detail-loss · L-260925-024e20

[lchoquel]

Validation no longer loses detail before the reader: a failing dry run is one located dry_run item per failing pipe, at the innermost pipe that failed and is not allowed to fail, where it used to be one item holding a repr of the sweep's records, repeated for every controller around it. Every error the parser reports is now an item, an uncategorized one included with its field path, a TOML syntax error carries its line and column, and an unresolved concept lists the concepts the validated bundle declares in its domain. validate pipe and validate --all answer a failing dry run with the same invalid verdict as validate bundle.

Closes L-260925-024e20

🤖 Generated with Claude Code

---

Summary by cubic

Validation no longer loses detail before the reader: every parser error becomes a validation item, and a failing dry run is now one located dry_run item per failing pipe at the innermost pipe that failed instead of one item holding a repr of the sweep's records repeated for every controller around it.

• validate pipe and validate --all now answer a failing dry run with the same invalid verdict as validate bundle, and the agent CLI's dry_run_error extra is dropped in favor of the item.
• Uncategorized errors keep their field path, TOML syntax errors carry line and column, and an unresolved concept lists the concepts its domain declares.
• A failure located at a pipe loaded from the host's own library directories never names that file in the item's source, but only when the validation runs on submitted content — a method validated from its own file keeps a sibling file's source.

^{Written for commit 1cb2412. Summary will update on new commits.}

[lchoquel]

Review pass at profile 4, round 3 (bar necessity) on 8a8e859. Reviewers: cubic, Codex review, Codex adversarial and code-review; one verifier.

Fixed in 6caef5e (critical): a dry-run failure located at a pipe loaded from the host's own library directories carried that pipe's on-disk path as its item's source, which STRICT disclosure passes to the caller. Only pipes of the content under validation name their file now.

Deferred (unverified unless stated): the title-only text of dry-run failures that are not caller-facing, on local surfaces too; union-branch noise items on pipe fields; the per-pipe dedupe dropping a distinct fault at a shared sub-pipe, and dependency aliases colliding; one failure per multi-branch parallel run; test_validation_render.py still describing the single dry-run rendering. Verified, for conformance: tests/pipelex_agent/test_validate_errors.py:247 asserts a dry_run item has no source.

round 4 — bar necessity — profile 4 (derived) — the round-3 pass fixed a critical, so this pass is held to necessity rather than the ladder's freeze: the fix is verified by a pass that may still fix what the fix broke

[lchoquel]

Review pass at profile 4, round 4 (bar necessity) on the round-3 fix commit 6caef5e. Reviewers: cubic, Codex review, Codex adversarial and code-review; one verifier.

Fixed in 1cb2412: the round-3 source filter also ran when a bundle is validated from a file on the caller's own disk, so a dry-run failure in a sibling file of the same method lost its source. Only validation of submitted content, which every hosted path uses, filters sources now.

Deferred, unverified: pipe_ref equality is not provenance, so an aliased dependency sharing a submitted pipe's ref could be given the submitted file as its source; and load-time items raised by a pipe of the host's own library still carry the host file as their source, which predates this branch.

stalled — round 5 would pass the cap of 4, and the round-4 pass fixed under its bar; a person decides

[lchoquel]

Superseded by #1276, which carries this branch's commits and landed on dev as a7924f6.