fix(workspace): jugar-probar dep needs version for clean-room A0 (Refs PMAT-157)#903
Merged
Conversation
…-strip (Refs PMAT-157) Clean-Room CI Gate A1 fails with: error: dependency (jugar-probar) specified without providing a local path, Git repository, version, or workspace dependency to use Root cause: `cargo publish` simulation strips `path = "..."` from every Cargo.toml. The original dep line had no `version = "X"`, so after strip there's nothing left for cargo to resolve. Fix: add `version = "0.31.0"` to the jugar-probar dep in aprender-qa-runner/Cargo.toml, matching the pattern used by sibling aprender-test-cli/Cargo.toml:27. Rebase of closed #900 after merge conflict with #901 (publish = false).
2 tasks
…PMAT-157)
Three tests in aprender-contracts/src/query/ relied on
`parent.join("aprender").exists()` to detect a local-dev environment with
sibling repos. GitHub Actions checks repos out at /__w/<repo>/<repo>, so
the parent directory *always* contains a child named `aprender` (the
workspace itself) — the check false-positives in CI, the tests proceed
expecting provable-contracts/contracts/aprender/binding.yaml, and fail.
Fix: check for `provable-contracts` (a distinct sibling that never shares
a name with the checked-out repo) instead of `aprender`. Local dev has
provable-contracts alongside aprender; CI does not.
Failing tests now fixed:
- query::cross_project::tests::find_binding_path_real
- query::cross_project::tests::binding_refs_for_aprender
- query::coverage_tests::coverage_map_enrichment
Verified locally: 3/3 pass with provable-contracts sibling present.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Clean-room rebase of closed #900. Merge conflict with #901 (which added
publish = false) blocked the original PR; this re-applies only the one-line version fix on current main.Problem
Clean-Room CI Gate A1 in paiml/infra fails for aprender with:
Root Cause (Five Whys)
cargo generate-lockfilerejectedaprender-qa-runner's manifest.jugar-probarhad no version/git/path/workspace after A0 strip.sed 's/path = "...", *//g'on every Cargo.toml (simulate cargo publish).version = "X":version = "X", path = "..."pattern (seeaprender-test-cli/Cargo.toml:27).Fix
Add
version = "0.31.0"to thejugar-probardep — matches the workspace version and the siblingaprender-test-clipattern. After A0 path-strip,versionremains, satisfying cargo.Test Plan
cargo check -p aprender-qa-runnerpasses locallyRefs: PMAT-157, closes #900