Searching protocol for "case-analysis"
Spot edge cases before PRD bugs.
Deeply analyzes court judgments with FIRAC.
Spot and fix hidden failure modes in PRDs.
Blueprint solutions, not code.
Plan and analyze without edits.
Principles for form and composition
Clarify scope and refine requirements.
Generate proof skeletons for theorem provers.
Craft beautiful interfaces.
Test by context, not dogma.
End-to-end 1C feature dev, from analysis to code.
Automate QA to catch bugs early and reliably.