Restore the harness lib test build on main
Merged
VA
1d ago+6+6+0123456789-12-12-01234567890123456789
Problem
cargo test -p acyclic-harness --lib fails to compile on main: E0063 (missing requester in a FileValue literal, #860 x #669) and two E0599s where callers that landed after #804 sit outside its narrowed gates (ordinary_journal_owner, write_unchanged_state). Every lane's harness lib tests and the Windows proof are blocked.
Fix
- Build the window test's value via
FileValue::new(no struct literal to break when fields are added). - Gate
ordinary_journal_ownerandwrite_unchanged_statewith their callers (removing the over-narrow cfgs). No behaviour change.
Tests run (bb1)
cargo test -p acyclic-harness --lib --no-run: compiles.recent::window: 5 passed, 0.02 s.
🤖 Generated with Claude Code
Summary by cubic
Restores the acyclic-harness lib test build and the acyclic-fs Windows build on main, both broken by recent field additions and over-narrow or under-narrow feature gates.
- Builds the recent-window test's value via
FileValue::newso future fields cannot break the literal. - Removes the
tuigate fromwrite_unchanged_stateand thefilesystem-local+native-executiongate fromordinary_journal_owner; both were narrower than their callers. - Gates the Windows clone path (
clone_file_fromand its two sparse helpers) withnative-mountor test soacyclic-fswithoutnative-mountcompiles on Windows.