moves-plan15-proof
Commits
-
2c0857567Merge remote-tracking branch 'origin/main' into moves-plan15-proof -
95443dc81host: the proven origin set is sorted as prefixes, the order the carried set uses (Plan 15 switch, Astra's finding) -
7ccb691achost: C8 proves origins through claim Plan 15's batch ClaimOriginProof (Plan 15 switch)