Repository navigation
[bug] scan red on master: ledger.t27 tests carry 9 developer home paths (from #10646) #10653
Copy link
Copy link
Closed
Labels
bugSomething isn't workingSomething isn't workingphi-loopPHI LOOP development cyclePHI LOOP development cyclequeen-shapedtooling
Description
Summary
specs/tools/t27o/ledger.t27, merged with #10646 (lane X of #10522, mine), carries 9 hard-coded developer home paths (/Users/playom/trios, ...) in its cache_path / repo_is_here tests. tools/check_devhome_paths.py (the scan check) now reports FAIL new specs/tools/t27o/ledger.t27 (9 occurrence(s)), so every pull request after it shows scan red.
Expected vs actual
Expected: no developer home path in the tree outside the baseline. Actual: 9 new occurrences, test literals only.
Fix
The rule under test reads only the last path component, so the literals become a neutral prefix (/srv/checkouts/trios, ...) with every expected value unchanged. Re-seal; regenerate gen/rust/tools/t27o/ledger.rs (tests are not lowered, so it should not change).
Boundary
- May touch:
specs/tools/t27o/ledger.t27,.trinity/seals/t27o_T27oLedger.json,gen/rust/tools/t27o/ledger.rsif regeneration changes it.
Links
User Scenarios
- Given
specs/tools/t27o/ledger.t27contains 9 hard-coded developer home paths in itscache_path/repo_is_heretest literals, whentools/check_devhome_paths.pyruns, then it reportsFAIL new specs/tools/t27o/ledger.t27 (9 occurrence(s))and the scan check fails. - Given the developer home paths are replaced with neutral prefixes (e.g.,
/srv/checkouts/trios) that preserve the last path component, when the scan runs again, then it reports zero new occurrences and the scan check passes. - Given the spec is updated and re-sealed, when the Rust code is regenerated via
t27c, thengen/rust/tools/t27o/ledger.rsis updated accordingly (or unchanged if tests are not lowered) and all ledger tests still pass.
Requirements
- FR-001: The
specs/tools/t27o/ledger.t27file MUST replace all 9 hard-coded developer home paths with neutral prefixes (e.g.,/srv/checkouts/trios) while preserving the last path component used by the rule under test. - FR-002: The seal file
.trinity/seals/t27o_T27oLedger.jsonMUST be regenerated to match the updated spec. - FR-003: The generated Rust file
gen/rust/tools/t27o/ledger.rsMUST be regenerated if the spec changes affect lowering; otherwise it MUST remain unchanged. - FR-004: The
tools/check_devhome_paths.pyscan MUST report zero new developer home path occurrences inspecs/tools/t27o/ledger.t27.
Success Criteria
python tools/check_devhome_paths.pyexits withexit 0and reports 0 new occurrences inspecs/tools/t27o/ledger.t27.t27c specs/tools/t27o/ledger.t27exits withexit 0and regenerates.trinity/seals/t27o_T27oLedger.jsonandgen/rust/tools/t27o/ledger.rs.cargo test -p t27o_ledger(or the project's ledger test command) exits withexit 0and all tests pass.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't workingphi-loopPHI LOOP development cyclePHI LOOP development cyclequeen-shapedtooling
Activity
github-actions commentedon Oct 18, 2026
Closed by the issue-shape gate (specs/policy/issue_shape.t27, #7498): an issue must have the template's sections. Edit the body; an edit that passes reopens it.
FR-001: ... MUST ...exit 0, or a backticked commandledger.t27: neutral checkout paths in the sweep tests, so the devhome…