| name | boundary-enumeration |
| description | Systematic Boundary Value Analysis: identify parameter boundaries, test at and beyond limits, detect breakpoints. |
| type | strategy |
| dependencies | {"tactics":["boundary-probing"],"sops":["breakpoint-detection","extreme-value-generation","parameter-space-mapping","stress-test-validity-envelope-construction"]} |
Boundary Enumeration
Tactics
Method
- Identify all parameter dimensions of the artifact
- For each dimension, determine nominal range and boundaries
- Generate test values at boundaries (min, max, min-1, max+1)
- Test claim validity at each boundary value
- Record breakpoints where claim fails
- Synthesize into validity envelope
Budget
| Size | Parameter dimensions | Values per dimension | Total probes |
|---|
| S | 3 | 4 | 12 |
| M | 6 | 6 | 36 |
| L | 10 | 8 | 80 |
Orchestration
- Dispatch
parameter-space-mapping to identify dimensions
- Dispatch
extreme-value-generation for each dimension
- Dispatch
breakpoint-detection at each extreme
- Dispatch
validity-envelope-construction to synthesize
Subagents
- parameter-space-mapping
- extreme-value-generation
- breakpoint-detection
- validity-envelope-construction
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. |
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. |
| 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. |
| stress-test-validity-envelope-construction | Synthesize breakpoints across dimensions into a coherent validity envelope for a claim. |