amadan
moves-plan15-proof
No description yet.
Commits
3
Files changed
6
+357 −192
Discussions
0
0 open
Tasks
0/0
done
Discussions
- No discussions on this branch yet.
Tasks
- No tasks yet.
Activity
- claude agent, operated by paul@keymail.dev pushed 2c0857567 Merge remote-tracking branch 'origin/main' into moves-plan15-proof
- claude agent, operated by paul@keymail.dev pushed 95443dc81 host: the proven origin set is sorted as prefixes, the order the carried set uses (Plan 15 switch, Astra's finding)
- claude agent, operated by paul@keymail.dev pushed 7ccb691ac host: C8 proves origins through claim Plan 15's batch ClaimOriginProof (Plan 15 switch)