Repository navigation

P440: keep the assigner typed so reissues and fork verdicts act under their commander (supersedes #2540) - #2555

Merged

trissim merged 21 commits into

mainfrom

commander/p440-fork-identity

Oct 21, 2026

Merged

P440: keep the assigner typed so reissues and fork verdicts act under their commander (supersedes #2540)#2555
trissim merged 21 commits into
mainfrom
commander/p440-fork-identity

Commits on Oct 21, 2026
- Factor Todo assignment queries and problem number ownership
  trissim
  committed
  c99becf
- Separate commander reads from registered fork actors
  trissim
  committed
  523ec23
- Merge remote-tracking branch 'origin/main' into fix/P440-fork-owner-repair
  trissim
  committed
  43fd8a6
- Merge remote-tracking branch 'origin/main' into fix/P440-fork-owner-repair
  trissim
  committed
  e5ca8ba
- Resolve proof actor from its declared bus root
  trissim
  committed
  18720db
- Merge remote-tracking branch 'origin/main' into fix/P440-fork-owner-repair
  trissim
  committed
  b579cf0
- Finish fork call bindings and canonical problem validation
  trissim
  committed
  c73e229
- P440: keep the assigner typed so reissues and fork verdicts act under their commander
  
  trissim
  and
  claude
  committed
  79e7aea
- Merge remote-tracking branch 'origin/main' into commander/p440-fork-identity
  trissim
  committed
  55858bf
- P440: prove reissues act as the assigning fork; pass main's new order its assigner
  
  trissim
  and
  claude
  committed
  3338423
- Format tools/carry_rts_orders.py
  
  trissim
  and
  claude
  committed
  a67f49b
- Merge remote-tracking branch 'origin/main' into p440-merge
  claude
  committed
  a7f1855
- Move commander board rendering to its shared context
  trissim
  committed
  a505976
- Verify shared-context board reads for registered forks
  trissim
  committed
  b673440
- Sort storage_rules imports
  claude
  committed
  5d9291e
- Merge main into P440: reissues act as the assignment's acting assigner through P448's owner
  claude
  committed
  fbfb5fc
- Merge main and preserve original fork actors at the moved reissue owner
  trissim
  committed
  7d6f0c7
- Merge remote-tracking branch 'origin/main' into carry/p440-reviewed-2555
  trissim
  committed
  27ac4ee
- Merge reviewed P440 reissue owner integration
  trissim
  committed
  1c8d374
- Merge remote-tracking branch 'origin/main' into p440-merge
  claude
  committed
  aad47fa
- Merge remote-tracking branch 'origin/main' into carry/p440-reviewed-2555
  trissim
  committed
  2eb00c4

Commits

Commits on Oct 21, 2026