refactor(ci): retire bot-issue onto the engine, and close every row this session opened - #811

Closed

wenzowski wants to merge 29 commits into

mainfrom

claude/cloud-1295-retire-bot-issue

Commits on Sep 1, 2026

feat(fetch): pair the HTTP method with its body, so PATCH becomes expressible
wenzowski
committed
63caf53
feat(carry): decide whether a licence-carry branch is derivable, offline
wenzowski
committed
85cbafb
feat(claim): attest a licence-carry branch, so the lane needs no fake claim
wenzowski
committed
c947f87
revert(fetch): drop the PATCH payload, whose premise did not survive the port
wenzowski
committed
49c4bec
refactor(ci)!: retire bot-issue onto the engine, and wire the carry receipt
wenzowski
committed
47dff8f
test(bot): gate the bot lane suite on unix, where its stub can run
wenzowski
committed
9cad860
feat(rules): let a receipt row accept any one of several receipts
wenzowski
committed
2759da7
test(rules): drive the receipt alternation over the compiled binary
wenzowski
committed
2c7361d
refactor(ci): admit a task-name span in the retirement repointing arm
wenzowski
committed
94d2695
fix(ci): report the reclaim verdict once per boot, not once per session
wenzowski
committed
2b3de57
fix(ci): keep the reclaim body inline-shaped and annotate its spawns
wenzowski
committed
6d77ebb
docs(ci): declare the receipt-alternation weakening in its landable form
wenzowski
committed
9ed38ed
fix(rules): declare `checks_any`'s fact, and split the two long assertions
wenzowski
committed
b3c822f
fix(ci): refresh the prune basis count to the tree that exists
wenzowski
committed
9192b4e
chore(bench): re-measure the corpus over the rebased tree
wenzowski
committed
0e089a9
feat(ci): let the licence-carry lane land itself on green
wenzowski
committed
554eedd

Navigation Menu

Uh oh!

refactor(ci): retire bot-issue onto the engine, and close every row this session opened - #811

refactor(ci): retire bot-issue onto the engine, and close every row this session opened#811
wenzowski wants to merge 29 commits into
mainfrom
claude/cloud-1295-retire-bot-issue

Commits on Sep 1, 2026

feat(fetch): pair the HTTP method with its body, so PATCH becomes expressible

feat(carry): decide whether a licence-carry branch is derivable, offline

feat(claim): attest a licence-carry branch, so the lane needs no fake claim

revert(fetch): drop the PATCH payload, whose premise did not survive the port

refactor(ci)!: retire bot-issue onto the engine, and wire the carry receipt

test(bot): gate the bot lane suite on unix, where its stub can run

feat(rules): let a receipt row accept any one of several receipts

test(rules): drive the receipt alternation over the compiled binary

refactor(ci): admit a task-name span in the retirement repointing arm

fix(ci): report the reclaim verdict once per boot, not once per session

fix(ci): keep the reclaim body inline-shaped and annotate its spawns

docs(ci): declare the receipt-alternation weakening in its landable form

fix(rules): declare `checks_any`'s fact, and split the two long assertions

fix(ci): refresh the prune basis count to the tree that exists

chore(bench): re-measure the corpus over the rebased tree

feat(ci): let the licence-carry lane land itself on green

Commits on Sep 2, 2026

feat(policy): the punt sweep gets an exit code

test(policy): the engine tier cannot build an empty delta, so say so

fix(claim): one branch carries as many claims as it has rows

feat(ready): the prose dialect becomes a legacy, on a declared cutover

feat(policy): the plan a branch declared, held to its own end

fix(policy): the plan mutation named a variable the arm does not bind

feat(hook): a host's plan surface is surveyed, unsurveyed, or measured none

feat(ready): a test obligation's mutation names a slug, not a sentence

feat(facts): one definition of an issue key, and a gate on the twenty-first

fix(claim): a carried row keeps the weakening it groomed

feat(policy): a declared obligation names a case, or it is not landing

feat(record): a verb writes the closes record, so the exemption can fire

fix(policy): the obligation mutations named a variable the arms do not bind