feat(lab): completeness-floor arms for the read-scope x write-discipline 2x2
Phase C cells: {whole-e2e, scoped-index} x {current prompt, +completeness
floor}. New arms mike_markdown_e2e_floor_v1 and
mike_markdown_e2e_index_floor_v1 - ONE delta vs their parent arms: the
COMPLETENESS block appended to the system prompt, verbatim from
LEAN_BATCH_LAB_SYSTEM_PROMPT (the only arm ever carrying a completeness
clause; best-ever 59/65 on covenants). Mechanism-only, no task enumeration.
Wiring: MIKE_COMPLETENESS_FLOOR flag + two prompt consts in the surface
module; chat.ts prompt ternary handles both floor cells; surface receipt
gains completeness_floor and the markdown conformance block asserts it (plus
the A1 prompt-sha gate, which covers the new prompts automatically);
armEnvironment entries, armExpectedSurface entries, singleInvocationArms,
DOCX gate, unknown-arm message, prompt_variant tags, and floor delta fields
at all three receipt sites. Both arms preflight with distinct prompt shas.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_011pfUVhNFTRvhYGXBwoKNj6
| Repository | eliziff/Beaver |
|---|---|
| Author | Eli Ziff <eliasziff@gmail.com> |
| Authored | |
| Parents | 207ab5a7 |
| Stats | 3 files changed , +145 , -13 |
| 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-d00f2f1e.md
from inside the repo you want the change in.