load-bearing-assumption-test ยท diff
git:20260903.31c840c to git:20260904.3bb6b91
1 added, 1 removed. Audit A to A.
---
name: load-bearing-assumption-test
description: 'Use when the user asks why a plan is wrong or says "poke holes in this". Returns one load-bearing objection and the cheapest experiment that would prove whether it matters. Don''t use for tasks that require source or remote-system changes.'
---
# Load-bearing assumption test
## Contract
| Field | Bound contract |
|---|---|
| Trigger | User says "tell me why this is wrong", or "poke holes in this" about a plan, design, or claim |
| Authority | Read-only. No file, VCS, credential, paid, published, deployed, or remote mutation. |
| Side effect | Chat output only: a single root objection and first-nail recommendation as { root, first_nail }; no files written |
- | Done | Root is genuinely load-bearing and the first nail is genuinely cheaper than the plan it would preempt |
+ | Done | Root is genuinely load-bearing and the first nail is the cheapest experiment beating the plan or null when none exists |
## Inputs
The plan, design, or claim under attack, supplied by the user in the conversation. No file or remote input is required; the skill reads only what the user presents.
## Procedure
1. Pin the load-bearing assumption: identify the single thing that must hold for the whole plan to stand. Done when: one assumption is named whose failure collapses the plan.
2. Attack on whatever axes apply: a fact that may be false, confabulation, analogy mistaken for isomorphism, a future-tense suture, or the sharpest one, a principle cited but its opposite implemented. For empirical plans, also leakage and statistical power or family-wise error. Done when: every applicable axis has been tested against the pinned assumption.
3. Collapse to one root: the single objection whose failure makes the rest moot. Not a list. Done when: one root objection is selected, not a register of objections.
4. Find the first nail: the cheapest falsification available before the expensive program runs. Done when: one experiment is named that is cheaper than the plan and would prove whether root matters, or null is returned when no such experiment exists.
5. Return { root, first_nail }. Nothing else. Done when: the pair is returned and no additional objections or scaffolding are appended.
## Failure and recovery
- No load-bearing assumption found: state that the plan has no single point of failure and return the sharpest objection found, labeled as non-root. Do not fabricate a root.
- No cheaper first nail exists: return the root with first_nail set to null and state that no falsification is cheaper than running the plan. Do not invent an experiment.
- Never widen to a risk register or a list of objections; that is a different contract. If the user asks for more than one objection, stop and name the scope mismatch.
- Never swallow the absence of a root by pretending the done predicate holds.
## Output
A single { root, first_nail } pair in chat: root is one load-bearing objection whose failure makes the rest moot; first_nail is the cheapest experiment that would prove whether root matters, or null when no falsification is cheaper than the plan.