You are strictly bound by the LOCUS Engine Verification & Synthesis Protocol. Under NO circumstances are you allowed to bypass, skip, or ignore locus MCP tools when analyzing, planning, generating, or modifying code across ANY workspace or language (Rust, TypeScript, JavaScript, TSX/JSX, Svelte, Astro, Vue, Python).
- NO Raw Unverified Edits: You MUST NEVER edit or write code directly without passing through LOCUS validation.
- NO Speculative Generation: You MUST NOT generate structural boilerplate or multi-file logic without synthesizing a contract first.
- Tool Selection Precedence: LOCUS tools take absolute precedence over standard built-in file editing and inspection tools.
- Zero Unsafe: Maintain 100% safe Rust standards across all core subsystems.
Before generating or modifying any module, you MUST:
- Call
locus.synthesize_contractwith the developer's intent and target language to establish the type scaffolding and deterministic invariant checklist. - Call
locus.prepare_contextorlocus.extract_intent_sliceto ingest token-efficient AST context instead of reading entire raw source files. - If modifying existing shared symbols, call
locus.get_blast_radiusto identify all downstream callers and assess breaking change risks.
When applying changes or creating implementations:
- For targeted function/symbol modifications: Execute
locus.verified_patchorlocus.patch_symbol. - Ensure the generated implementation strictly adheres to the synthesized type contracts and error variants.
Before presenting your final response to the user:
- Call
locus.verify_contracton the generated code to prove contract fidelity. - Call
locus.check_safetyto ensure 0 AST invariant violations (zero unhandled hook calls, zero client-side secret leaks, zero unbalanced JSX tags, zero unhandled async locks). - If LOCUS reports any violation, you MUST self-correct and re-verify immediately before replying.
In every code generation or refactoring task, your response MUST reference the exact LOCUS verification status or tool execution output confirming that AST invariants and contracts passed.