Handbook
Cheap-model operating guide
This guide describes a practical loop for using forge-lcdl with small / inexpensive models: stay deterministic where the library already is, and reserve fuzzy reasoning for tightly scoped steps.
Recommended loop
- Contract first — Pick a catalog
task_idand version; ensure inputs match the contract. Use CONTRACT-SPEC.md and machine-readablecontract.jsonwhere present. - Context pack — Call
forge_lcdl.context.build_context_packwith a narrow task string and a bounded budget. See CONTEXT-PACKS.md. - Plan patch units — For coding-style work, use
forge_lcdl.coding.planner.create_patch_unitsto emit small, reviewable units. See CODING-EXECUTOR.md. - Verify — Run registered verifiers or subprocess checks; capture
VerificationResultobjects. See VERIFICATION.md. - Repair — On failure, run
classify_failurethenreduce_failure_to_repairfor deterministic next-step hints. See REPAIR-LOOPS.md. - Proof — Aggregate patch outcomes with
proof_report_from_results/proof_report_to_dict. See CODING-EXECUTOR.md.
Cursor and MCP
- Cursor integration pack: CURSOR-INTEGRATION.md — rules, skills, agents shipped under
.cursor/. - MCP sidecar: MCP-SIDECAR.md — local-only patterns; prefer least privilege and avoid shipping secrets.
What cheap models cannot safely assume
Small models cannot reliably replace architecture decisions, security review, or broad refactors without tight guardrails. Read KNOWN-LIMITATIONS.md and keep humans in the loop for high-impact changes.
Offline health checks
- Baseline tasks (fake chat):
cheap_model_baseline— BENCHMARKS.md. - Library dogfood on this repo:
lcdl_dogfood_alpha— DOGFOODING.md.