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

Closed

mergify[bot] wants to merge 16 commits into

mainfrom

mergify/merge-queue/e5ccf6eb30

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
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
bd76330
Merge of #525
mergify[bot]
committed
dce75f9
Merge of #540
mergify[bot]
committed
7ccd6ec

Navigation Menu

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

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

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.

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