Add `programbench submit` (package/verify/publish/register)#39

Open

john-b-yang wants to merge 11 commits into

mainfrom

add-submit-commands

Commits on Jun 17, 2026

Add `programbench submit` (package / verify / register / recombine)
john-b-yang
committed
Potential fix for pull request finding

john-b-yang
and
Copilot
authored
Potential fix for pull request finding

john-b-yang
and
Copilot
authored
Potential fix for pull request finding

john-b-yang
and
Copilot
authored
Address review: make submit register --source/--commit take effect; fix Tier-1 verify
john-b-yang
committed
Address review (remaining): tighten verify tolerance, check recombine downloads, add submit CLI tests
john-b-yang
committed
Add `programbench submit publish`: create + push a submission's GitHub repo
john-b-yang
committed
Address second review round (submit group)
john-b-yang
committed

Commits on Jun 18, 2026