Repository navigation

feat(rollup): rollup bot — select, build, verify, close-with-SHA (Refs #5737) - #5742

Merged

noahgift merged 22 commits into

mainfrom

feat/rollup-bot

Oct 20, 2026

Merged

feat(rollup): rollup bot — select, build, verify, close-with-SHA (Refs #5737)#5742
noahgift merged 22 commits into
mainfrom
feat/rollup-bot

Commits on Oct 19, 2026
- feat(rollup): pure selection, bisection and close-outcome core for the rollup bot (Refs #5394)
  
  noahgift
  and
  claude
  committed
  138d94c
- chore(roadmap): PMAT-5737 T-rollup ticket (Refs #5737, #5394)
  
  noahgift
  and
  claude
  committed
  5a7718b
- feat(rollup): parse gh pr list JSON into candidates, failing closed (Refs #5737)
  
  noahgift
  and
  claude
  committed
  42326e4
- feat(rollup): plan subcommand and report text, binary-debt row (Refs #5737)
  
  noahgift
  and
  claude
  committed
  c7ad9af
- feat(rollup): branch builder steps and build subcommand, ejects conflicting PRs (Refs #5737)
  
  noahgift
  and
  claude
  committed
  52ac446
- feat(rollup): gh args to close with SHA or keep open with reason (Refs #5737)
  
  noahgift
  and
  claude
  committed
  b2ec68c
- feat(rollup): merge-group verdict, halves bisect, close plan (Refs #5737)
  
  noahgift
  and
  claude
  committed
  4ff0fe9
- feat(rollup): verify command wires merge-group verdict, bisect halves and close (Refs #5737)
  
  noahgift
  and
  claude
  committed
  3fb3298
- Merge remote-tracking branch 'origin/main' into feat/rollup-bot
  noahgift
  committed
  9e5cb42
- feat(rollup): cap a rollup at 3 entries until p_red is measured (Refs #5737)
  
  noahgift
  and
  claude
  committed
  3f53383
- fix(rollup): bind verdict to head SHA, check SHA on main, name over-cap rejects (Refs #5737)
  
  noahgift
  and
  claude
  committed
  2b4c4e5
- feat(rollup): bind build to judged head, all-skipped checks are not green (Refs #5737)
  
  noahgift
  and
  claude
  committed
  8e1b7f8
- Merge main into feat/rollup-bot (Refs #5737)
  
  noahgift
  and
  claude
  committed
  9de6cb7
- Merge remote-tracking branch 'origin/main' into fx5742
  noahgift
  committed
  d69d39d
- fix(ci): regenerate tree_reader_tests.txt (aprender-rollup registered) and shapes.ttl after merging main
  
  noahgift
  and
  claude
  committed
  7c77046
- fix(contracts): regenerate shapes.ttl and witness with the in-tree pv (ont4b freshness gate)
  
  noahgift
  and
  claude
  committed
  2a637f0
- Merge origin/main into feat/rollup-bot
  
  noahgift
  and
  claude
  committed
  cab84b7
- Regenerate roadmap.yaml from entries (make roadmap-aggregate)
  
  noahgift
  and
  claude
  committed
  acde1c4
Commits on Oct 20, 2026

Navigation Menu

Repository navigation

feat(rollup): rollup bot — select, build, verify, close-with-SHA (Refs #5737) - #5742

feat(rollup): rollup bot — select, build, verify, close-with-SHA (Refs #5737)#5742
noahgift merged 22 commits into
mainfrom
feat/rollup-bot

Commits on Oct 19, 2026

feat(rollup): pure selection, bisection and close-outcome core for the rollup bot (Refs #5394)

chore(roadmap): PMAT-5737 T-rollup ticket (Refs #5737, #5394)

feat(rollup): parse gh pr list JSON into candidates, failing closed (Refs #5737)

feat(rollup): plan subcommand and report text, binary-debt row (Refs #5737)

feat(rollup): branch builder steps and build subcommand, ejects conflicting PRs (Refs #5737)

feat(rollup): gh args to close with SHA or keep open with reason (Refs #5737)

feat(rollup): merge-group verdict, halves bisect, close plan (Refs #5737)

feat(rollup): verify command wires merge-group verdict, bisect halves and close (Refs #5737)

Merge remote-tracking branch 'origin/main' into feat/rollup-bot

feat(rollup): cap a rollup at 3 entries until p_red is measured (Refs #5737)

fix(rollup): bind verdict to head SHA, check SHA on main, name over-cap rejects (Refs #5737)

feat(rollup): bind build to judged head, all-skipped checks are not green (Refs #5737)

Merge main into feat/rollup-bot (Refs #5737)

Merge remote-tracking branch 'origin/main' into fx5742

fix(ci): regenerate tree_reader_tests.txt (aprender-rollup registered) and shapes.ttl after merging main

fix(contracts): regenerate shapes.ttl and witness with the in-tree pv (ont4b freshness gate)

Merge origin/main into feat/rollup-bot

Regenerate roadmap.yaml from entries (make roadmap-aggregate)

Commits on Oct 20, 2026

aprender-rollup: README and binary-snapshot row so the binary-debt ledger entry resolves (lint, readme_contract, ont4d)

Merge remote-tracking branch 'origin/main' into remerge-5742-2340

aprender-rollup: ship the CLI as an aprender-ci-tools bin so FALSIFY-MONO-011 holds without growing the shrink-only allowlist

contracts.nt: generator order for the re-keyed aprender-rollup binary rows