MCP

For a listed problem, carry its exact problem_ref into orient. Use the problem field as a task query that names the action, scope, and method. Set intent to match the action and keep the default 20k packet for initial orientation. Read canonical_problem, actionability, query_assessment, retrieval health, and context_packet. Inspect selected records with get_research_object when their summaries affect the plan. Before expensive work, call check_plan, choose one returned approach key or a new/<provisional> key, and state a structured scope when possible. Carry that approach key and the check_plan impression_id into record_result. Save useful failures with the conditions that would justify a retry. For program-backed evidence, attach source_lines plus source_sha256, or an immutable source location plus its exact commit, release, or digest. If code is unavailable, use sourced evidence. For Lean work, call prepareLeanProof and use its proof_bundle, exact declaration name, statement, and pinned world. Start each private compile with checkLeanDraft, poll getLeanDraftRun until it finishes, and repair the proof using diagnostics.proof_line. Call submitLeanProof only after the draft check is accepted, then poll getLeanProofRun until verification and packet publication finish. Free-text discovery is a fallback for sessions without an exact reference.