yogsoth-ai Critical Case Design
Tactics
- boundary-probing
- counterexample-heuristics
Method
- Identify the claim's scope and conditions
- Design most-likely case: conditions maximally favorable to claim
- Design least-likely case: conditions maximally unfavorable
- If claim fails in most-likely case: strong disconfirmation
- If claim holds in least-likely case: strong confirmation
- Report inferential power of each test
Budget
| Size | Critical cases designed | Evaluation depth |
|---|---|---|
| S | 2 (one most-likely, one least-likely) | Surface |
| M | 4 (two each) | Moderate |
| L | 6 (three each) | Deep |
Orchestration
- Dispatch
parameter-space-mappingto identify conditions - Dispatch
extreme-value-generationfor favorable/unfavorable extremes - Dispatch
breakpoint-detectionto test claim at critical cases - Dispatch
contradiction-detectionto evaluate outcomes
Subagents
- parameter-space-mapping
- extreme-value-generation
- breakpoint-detection
- contradiction-detection
Available Tactics
Optional, no fixed order; the final leaf is always a sop.
| Tactic | When to use |
|---|---|
| boundary-probing | Map parameter space, generate extreme values, test at boundaries, detect breakpoints, synthesize validity envelope. |
| counterexample-heuristics | Generate counterexamples (monsters), attempt monster-barring, incorporate surviving counterexamples as lemma refinements (Lakatos method). |
Available SOPs
Optional, no fixed order; the final leaf is always a sop.
| SOP | When to use |
|---|---|
| breakpoint-detection | Test a claim at extreme parameter values and detect the precise point where it breaks down. |
| contradiction-detection | Evaluate whether a derivation chain has reached a genuine contradiction, absurdity, or inconclusive state. |
| extreme-value-generation | Generate boundary and extreme test values for a given parameter dimension to stress-test claims. |
| parameter-space-mapping | Identify all parameter dimensions along which a claim's validity might vary. |