Ticket authority: docs/tickets/F14-distribution.md § T-1124. PRD: PRD-F14 requirement 26.
Depends on: T-1121 merged. There is no wrapper on Windows before it.
Why this is separate from reachability: install.ps1 makes Windows reachable. It does not make it supported. #71's install-root containment — the check that stops a recorded commitlore.bin from pointing at an arbitrary executable — has only ever been verified on macOS. A property verified on one platform is not a property of the product.
RED test: #71's two containment attacks, executed against a wrapper target on windows-latest — a recorded target outside the install root is refused, and a recorded target that is neither a script nor a recognised wrapper is refused.
Minimum GREEN: both attacks pass on windows-latest, in a required job, in this ticket's own pull request. Only then may any document call Windows supported.
Forbidden scope: continue-on-error is forbidden; do not mark Windows supported unless the attacks pass on Windows; do not loosen any containment match to make a test pass — the match being exact is the property.
Stop condition: if the attacks fail on Windows for any reason, stop. Do not weaken the job or skip the assertion. Record the failure as its own issue. Ending with "Windows is reachable but not supported, and here is the executed evidence" is an acceptable outcome; a supported claim without the property is not.
No implementation code until PRD-F14 and this ticket are both approved.
Ticket authority:
docs/tickets/F14-distribution.md§T-1124. PRD: PRD-F14 requirement 26.Depends on: T-1121 merged. There is no wrapper on Windows before it.
Why this is separate from reachability:
install.ps1makes Windows reachable. It does not make it supported. #71's install-root containment — the check that stops a recordedcommitlore.binfrom pointing at an arbitrary executable — has only ever been verified on macOS. A property verified on one platform is not a property of the product.RED test: #71's two containment attacks, executed against a wrapper target on
windows-latest— a recorded target outside the install root is refused, and a recorded target that is neither a script nor a recognised wrapper is refused.Minimum GREEN: both attacks pass on
windows-latest, in a required job, in this ticket's own pull request. Only then may any document call Windows supported.Forbidden scope:
continue-on-erroris forbidden; do not mark Windowssupportedunless the attacks pass on Windows; do not loosen any containment match to make a test pass — the match being exact is the property.Stop condition: if the attacks fail on Windows for any reason, stop. Do not weaken the job or skip the assertion. Record the failure as its own issue. Ending with "Windows is reachable but not supported, and here is the executed evidence" is an acceptable outcome; a supported claim without the property is not.
No implementation code until PRD-F14 and this ticket are both approved.