merge queue: checking #494 on main (344657b), stacked on 4 pull requests ahead - #589

Closed

mergify[bot] wants to merge 23 commits into

mainfrom

mergify/merge-queue/8a85c4c48a

Commits on Sep 14, 2026

[Hooks Cannot See] (2) Require the output to entail the claim, not merely agree

EdbertChan
and
claude
committed
eaa9504
invoker: wf-1789279240280-10/verify-judge-investigate-tests — Proof step 1 for the llm-judge investigate mode.

Invoker Bot
authored and
EdbertChan
committed
a6c7201
invoker: wf-1789279240280-10/verify-judge-full-suite — Proof step 2 for the llm-judge investigate mode.

Invoker Bot
authored and
EdbertChan
committed
b182d29
invoker: wf-1789279240280-10/verify-judge-no-new-comments — Proof step 3 for the llm-judge investigate mode.

Invoker Bot
authored and
EdbertChan
committed
538767d
invoker: wf-1789279240280-10/scrub-handoff-artifacts — Check that no ephemeral inter-task handoff files remain before the merge gate.

Invoker Bot
authored and
EdbertChan
committed
a711d7d
invoker: wf-1789279268766-11/implement-inbox-report-line — Append the judge answer's report string to a hit message in the llm-judge inbox.

Invoker Bot
authored and
EdbertChan
committed
3ca9331
invoker: wf-1789279268766-11/verify-inbox-report-tests — Proof step 1 for the inbox report line.

Invoker Bot
authored and
EdbertChan
committed
f12cf32
invoker: wf-1789279268766-11/verify-inbox-full-suite — Proof step 2 for the inbox report line.

Invoker Bot
authored and
EdbertChan
committed
34ddc99
invoker: wf-1789279268766-11/verify-inbox-no-new-comments — Proof step 3 for the inbox report line.

Invoker Bot
authored and
EdbertChan
committed
80c5064
invoker: wf-1789279268766-11/document-inbox-report-line — Describe the report line in the llm-judge README's inbox section.

Invoker Bot
authored and
EdbertChan
committed
e3d91c9
invoker: wf-1789279268766-11/scrub-handoff-artifacts — Check that no ephemeral inter-task handoff files remain before the merge gate.

Invoker Bot
authored and
EdbertChan
committed
ef227f4
invoker: wf-1789236146378-22/implement-landing-detector-result — Make the landing-proof detector require the check's OK result, not merely its invocation.

Invoker Bot
authored and
EdbertChan
committed
659e190
invoker: wf-1789236146378-22/verify-landing-detector-result — Run the deterministic proof for the landing detector's result reading.

Invoker Bot
authored and
EdbertChan
committed
9c1d357
invoker: wf-1789236146378-22/scrub-handoff-artifacts — Terminal check that no ephemeral inter-task handoff files remain.

Invoker Bot
authored and
EdbertChan
committed
068137e
Revert "Perf playbook: measure, identify, fix, verify with a rerunnable ledger (#549)"

EdbertChan
and
claude
committed
e5cbc53
gh-write-verification: keep the command record alias importable on Python 3.9

EdbertChan
and
claude
committed
f70ccad
principle-prove-it: example where the pasted output is narrower than the claim

EdbertChan
and
claude
committed
2371e0a
test(llm-judge): the shared test base runs only a local stub judge

EdbertChan
and
claude
committed
1aaedf3
Merge of #519
mergify[bot]
committed
9177950
Merge of #525
mergify[bot]
committed
39d53a7
Merge of #540
mergify[bot]
committed
b44d9b5
Merge of #567
mergify[bot]
committed
630c8c2
Merge of #494
mergify[bot]
committed
38e793d

Navigation Menu

merge queue: checking #494 on main (344657b), stacked on 4 pull requests ahead - #589

merge queue: checking #494 on main (344657b), stacked on 4 pull requests ahead#589
mergify[bot] wants to merge 23 commits into
mainfrom
mergify/merge-queue/8a85c4c48a

Commits on Sep 14, 2026

[Hooks Cannot See] (2) Require the output to entail the claim, not merely agree

invoker: wf-1789279240280-10/verify-judge-investigate-tests — Proof step 1 for the llm-judge investigate mode.

invoker: wf-1789279240280-10/verify-judge-full-suite — Proof step 2 for the llm-judge investigate mode.

invoker: wf-1789279240280-10/verify-judge-no-new-comments — Proof step 3 for the llm-judge investigate mode.

invoker: wf-1789279240280-10/scrub-handoff-artifacts — Check that no ephemeral inter-task handoff files remain before the merge gate.

invoker: wf-1789279268766-11/implement-inbox-report-line — Append the judge answer's report string to a hit message in the llm-judge inbox.

invoker: wf-1789279268766-11/verify-inbox-report-tests — Proof step 1 for the inbox report line.

invoker: wf-1789279268766-11/verify-inbox-full-suite — Proof step 2 for the inbox report line.

invoker: wf-1789279268766-11/verify-inbox-no-new-comments — Proof step 3 for the inbox report line.

invoker: wf-1789279268766-11/document-inbox-report-line — Describe the report line in the llm-judge README's inbox section.

invoker: wf-1789279268766-11/scrub-handoff-artifacts — Check that no ephemeral inter-task handoff files remain before the merge gate.

invoker: wf-1789236146378-22/implement-landing-detector-result — Make the landing-proof detector require the check's OK result, not merely its invocation.

invoker: wf-1789236146378-22/verify-landing-detector-result — Run the deterministic proof for the landing detector's result reading.

invoker: wf-1789236146378-22/scrub-handoff-artifacts — Terminal check that no ephemeral inter-task handoff files remain.

Revert "Perf playbook: measure, identify, fix, verify with a rerunnable ledger (#549)"

gh-write-verification: keep the command record alias importable on Python 3.9

principle-prove-it: example where the pasted output is narrower than the claim

test(llm-judge): the shared test base runs only a local stub judge

Merge of #519

Merge of #525

Merge of #540

Merge of #567

Merge of #494