lab(arm): wire coding_markdown_v5_reqecho_v1 (T2 requirements-echo contrast arm)

↗ view on GitHub · Eli Ziff · 2026-08-07 · a0c1ab20

v5 chassis + MIKE_REQUIREMENTS_ECHO=1: fetch_requirements joins the
resident tool set (Glob,Grep,Read,generate_docx,fetch_requirements,Edit),
and under the exposure gate the first generate_docx refusal re-serves the
verbatim task prompt alongside the unread-coverage list (requirements echo
rides the coverage echo). echo_call_count>=1 is asserted post-run so a
completed run with a non-firing gate is typed as a failure, not silently
treated as the mechanism having run.

Delta wiring: coding_markdown_v5_reqecho_v1 joins lean_batch/coding_*/
v5-specific receipt deltas and the requirements_echo_delta include list in
all three receipt blocks (differential lever vs the 8 no-echo v5 tax
strata). tsc --noEmit clean.
Repository eliziff/Beaver
Author Eli Ziff <eliasziff@gmail.com>
Authored
Parents eaf8df8c
Stats 1 file changed , +170 , -43
Part of Evaluation harness: Beaver-CAN and LegalBench-RAG adapters

Capture this commit into my fork

Download a Markdown prompt that tells Claude how to port this exact commit into your working tree. Run it via claude -p < capture-commit-a0c1ab20.md from inside the repo you want the change in.

⬇ Download capture-commit-a0c1ab20.md