Campaign: Logical extreme and boundary testing via reductio ad absurdum and edge-case analysis. Core question: Does this artifact collapse under logical limits and boundary conditions? Methods: Lakatos 1976, Dutilh Novaes 2016, BVA, Flyvbjerg Critical Case, Popper.
SkillScore91Maintained
Automatic
◆Research pack
Last verified 8/22/2026
What it changes
Passed 18 of 20 test cases with the skill, and 10 of 20 without it.
Without skill50%
With skill91%
Checks it passed that the model alone missed
Calls context-init SOP at the start of a research Phase.
Allocates exactly 3 parameter dimensions for small (S) budget.
Selects lakatos-heuristics as the primary strategy for gap artifacts.
and 9 more in the full report
11 fixed9 passed either way0 still failing2 broke
Pass-rate lift
+41 pp
Tokens
+7%
Agent turns
0%
Response time
-52%
Model gemini-3.6-flashMeasured 8/22/2026v220 of 22 cases passed with skill · 20 comparable
Tokens, turns and time describe resource use, not a dollar price.
See it in action
One of 9 test cases the skill fixed. Same model, same prompt, with and without the skill.
1 of 9
Prompt
Our team is executing a medium-budget (M tier) boundary testing campaign on a data replication protocol. How many counterexamples or boundary cases are prescribed for an M resource budget?
What was checked, without and with the skill
Checked
Without skill
With skill
Allocates exactly 12 counterexamples or boundary cases for medium (M) budget.
Missed
Passed
case-07 · gemini-3.6-flash · 8/22/2026 · answers are capped and redacted
What's inside
The instructions your model reads when the skill loads.
SKILL.md85 linessingle file
Adversarial Stress Testing
Core Question: Does this artifact collapse under logical limits and boundary conditions?
Methodology Sources
Lakatos (1976) — Proofs and Refutations: counterexample-driven refinement
Dutilh Novaes (2016) — Adversarial argumentation as dialogical practice
Clarke BVA — Boundary Value Analysis for systematic edge testing
Flyvbjerg (2006) — Critical case methodology: most-likely/least-likely selection
Popper (1959) — Falsificationism: seek conditions where claims break