merge queue: checking #567 on main (344657b), stacked on #519, #525 and #540 - #588

Closed

mergify[bot] wants to merge 18 commits into

mainfrom

mergify/merge-queue/b6241e3608

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
Revert "Perf playbook: measure, identify, fix, verify with a rerunnable ledger (#549)"

EdbertChan
and
claude
committed
e5cbc53
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
46c4b89
Merge of #525
mergify[bot]
committed
3d0d29b
Merge of #540
mergify[bot]
committed
34f194f
Merge of #567
mergify[bot]
committed
ea7f308

Navigation Menu

merge queue: checking #567 on main (344657b), stacked on #519, #525 and #540 - #588

merge queue: checking #567 on main (344657b), stacked on #519, #525 and #540#588
mergify[bot] wants to merge 18 commits into
mainfrom
mergify/merge-queue/b6241e3608

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.

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

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