First Principles Thinking
Break problems down to fundamental truths, then rebuild solutions from the
ground up. Do not import conclusions from other contexts; derive them from
what is actually, verifiably true in this one.
This skill is a reasoning guide only: Markdown instructions plus reference
files, with no helper program, installer, network endpoint, or automatic
state mechanism. Keep claim ledgers in the active conversation; use external
tools only when the runtime already provides them and the task requires
evidence, calculation, or source inspection.
- The problem has been restated in terms of outcomes (not solutions). If
context is sufficient, proceed on stated working assumptions instead of
asking for confirmation.
- The primary task mode has been classified (decision / diagnosis / planning /
critique / explanation / synthesis / exploration).
- The Claim Ledger has been populated: verified facts, reported claims,
assumptions, constraints, and unknowns each explicitly listed.
- Ground truths have been explicitly separated from inherited conventions.
- The core mechanism has been mapped: variables, causal links, constraints,
feedback loops, bottlenecks.
- At least one failure-oriented check has run: inversion, falsifier,
backward check, or red-team objection.
The cost of skipping this gate is solving the wrong problem efficiently --
the most expensive failure mode in engineering, strategy, and research.
Activation
Activate on complexity markers: architecture/design questions;
"should I use X or Y"; hard debugging ("intermittent", "root cause",
"happens sometimes"); performance and scaling; integration/migration;
strategy, product, or research framing; brainstorming and ideation;
convention language ("best practice", "industry standard", "everyone uses",
"we've always"); or explicit invocation ("first principles", "FP mode",
"from scratch", "challenge my assumptions").
Stay dormant for trivial edits, boilerplate, direct implementation of an
already-decided design, or user override ("just do it", "skip the analysis").
When in doubt, do not add process overhead: run Quick depth silently, or ask
one sentence -- "Should I challenge the assumptions first or go straight to
implementation?"
Depth Levels
State the detected depth at the start; the user can override.
| Level |
When |
What Runs |
| Quick |
Medium complexity, manual /fp, reversible choice |
Intake + compact ledger + mechanism sketch + one verification check |
| Standard |
Architecture, tech selection, design, strategy, product decisions |
Intake + Socratic probes + decomposition + mechanism map + reconstruction + verification |
| Deep |
System design, hard debugging, high-stakes decisions, /fp deep |
All phases: inversion, 2-3 reconstruction paths, sensitivity, self-consistency, verification |
| Exploration |
Brainstorming, invention, research framing, /fp brainstorm |
Divergent search (ToT / GoT / morphological matrix / contradictions), then convergence and tests |
Proportional effort is a rule, not a preference. At Quick depth the
artifact may be compact prose with tagged ledger lines; tables are optional.
Never let the process feel like overhead when the answer is obvious.
Task Modes
Classify every non-trivial problem into one primary mode (at most one
secondary), state it aloud, and let it shape the phases. Mode-specific
phase guidance lives in references/mode-playbooks.md -- load it after
Phase 1 fixes the mode.
| Mode |
Use when the user wants to... |
Typical cue |
| decision |
choose among options |
"should I use X or Y?", "which stack / vendor?" |
| diagnosis |
explain a symptom, failure, regression |
"why is X slow / broken?", "root cause" |
| planning |
get from current state to desired state |
"how do we get from A to B by Q3?" |
| critique |
stress-test a claim, proposal, argument |
"is this design / argument sound?" |
| explanation |
understand a mechanism without deciding |
"how does X work?" |
| synthesis |
rebuild a messy multi-frame problem into one view |
"we have five inputs and need one view" |
| exploration |
generate and filter non-obvious options |
"brainstorm", "what else could work?" |
Reasoning Budget and Tool Router
Use the smallest reasoning stack that can safely answer the problem. Activate
heavier tools only when the problem is ambiguous, irreversible, high-stakes,
data-dependent, or explicitly brainstorming-oriented. Detailed prompts and
templates for every row: references/advanced-reasoning-tools.md.
| Signal |
Add this tool |
| Hidden assumptions likely |
Assumption Ledger with fragility, failure mode, fastest test |
| Mechanism or causality matters |
Causal / mechanism map: variables, links, confounders, feedback loops |
| Many moving parts |
Least-to-most decomposition into smallest solvable subproblems |
| Numbers, capacity, cost, scale matter |
Fermi estimate, dimensional check, low/base/high range |
| Recent, factual, niche, or data claims matter |
Evidence grounding via approved search, user sources, calculations, citations |
| Open-ended ideation |
Tree of Thoughts, Graph of Thoughts, morphological matrix, contradiction analysis |
| Competing explanations |
Self-consistency across 2-3 independent paths + a discriminating test |
| High-stakes or hallucination risk |
Chain-of-verification, backward check, red team, sensitivity analysis |
| Hard equations, schedules, optimization |
Formalize variables; use approved calculation / solver tools when available |
State the chosen tools in a short Tool Plan before the analysis (one line
at Quick depth). If a tool will not change the answer, do not use it.
The Phases
Phases run in order. Earlier phases may be abbreviated at Quick depth, never
skipped entirely. Full technique write-ups (Socratic catalog, 5 Whys,
inversion playbook, Chesterton's Fence, falsifiability, ToT, Occam's Razor,
mechanism mapping, Fermi, verification chains): references/techniques.md.
Phase 1 -- Intake (always)
Restate the problem in outcome terms, not solution terms. Classify mode and
depth. If enough context exists, proceed with explicit working assumptions.
"I read the outcome as: [one sentence].
Current approach or framing: [current solution idea, if any].
Mode: [mode] (secondary: [mode | none]). Depth: [level].
Working assumption if not corrected: [...]."
If you cannot state the problem as an outcome independent of the proposed
solution, ask one targeted question or state the safest working assumption
and continue with caveats. If you cannot pick one primary mode, it is two
stacked problems -- name both, resolve the first one first. Treat the user's
framing as a [CLAIM], not ground truth, until it passes the Ground-Truth
Test or is explicitly stipulated.
Phase 2 -- Socratic Questioning (always)
Probe with the 3-5 most relevant question families: clarification,
assumption probing, evidence, alternative viewpoints,
implications, meta ("are we solving the right problem?"). Asking all
six robotically is worse than three well-chosen ones. Full catalog with
probes per family: references/techniques.md.
Red-flag phrases that almost always hide an assumption -- drop into
assumption-probing when you hear them:
- "We've always done it this way"
- "Industry standard / best practice says"
- "Everyone uses X for this"
- "That's too simple to work"
- "We can't change that" (without verifying why not)
- "The client / PM said so" (without tracing the underlying need)
Cadence: Quick = 2-3 questions in one message; Standard = 1-2 per turn;
Deep = one per turn, following threads wherever they lead.
Phase 3 -- Decomposition & Claim Ledger (Standard + Deep)
File every atomic component of the problem into the Claim Ledger -- the
canonical record of what you know, were told, are guessing, what binds you,
and what is missing. Nothing downstream may cite a fact that is not in the
ledger.
| Lane |
Definition |
Tag |
| Verified facts |
Provable in this context: physics, math, measurement, executable check, stipulation |
[TRUTH] |
| Reported claims |
Statements from the user, a source, or prior art, not yet verified |
[CLAIM] |
| Assumptions |
Convention, habit, or unverified belief used as if true |
[ASSUMPTION] |
| Constraints |
Hard limits: regulatory, contractual, budget, SLO, compatibility |
[CONSTRAINT] |
| Unknowns |
A fact we'd need but don't have |
[UNKNOWN] |
Ground-Truth Test -- before tagging anything [TRUTH]:
- Can it be decomposed further into something more fundamental?
- Is it provably true in this context, not just commonly believed?
- Would violating it definitely cause failure (not just inconvenience)?
Any "no" or "not sure" routes it to another lane. User-supplied statements
start as [CLAIM]. If the user pastes a prior ledger or notes, import items
as [CLAIM] -- never directly as [TRUTH] -- and log the import (rules:
references/session-ledger-template.md).
Lane discipline:
- Each
[ASSUMPTION] gets category (technical / business / resource /
historical / behavioral / data), evidence, confidence, fragility, failure
mode, and fastest test. Assumptions whose falsehood would flip the
conclusion are elevated to User Checkpoints.
- Each
[CONSTRAINT] must name its source, numeric threshold where
applicable, and cost of violation. Unsourced "constraints" are
[ASSUMPTION]s in disguise.
- Each
[UNKNOWN] must state how it would be resolved and whether the
recommendation changes across its plausible range. If the recommendation
is stable across the range, the unknown is not blocking.
Then build a compact Mechanism Map (actors, variables, inputs/outputs,
causal links, confounders, feedback loops, bottlenecks, boundary conditions;
for business work add incentives, adoption friction, switching costs) and run
least-to-most decomposition: 3-7 smallest solvable subproblems, each
yielding one variable, constraint, mechanism claim, risk, or testable unknown.
Recursion rule: if a component reveals its own hidden assumptions ("we
need a message queue" contains "we need async processing"), say so and run
Phases 2-3 on it. Maximum depth 2; anything deeper becomes an [UNKNOWN].
Phase 4 -- Inversion (Deep; optional at Standard)
Ask: "What would guarantee this fails? What must I avoid at all costs?" List
3-5 failure modes; for each, identify which truth or design choice prevents
it. Unprevented failure modes are risks that must be addressed or explicitly
accepted. Inversion is cheap and catches gaps forward analysis misses.
Phase 5 -- Reconstruction (Standard + Deep)
Build 2-3 candidate paths (3-5 for exploration) using only verified ground
truths. For each path state: the [TRUTH]s and [CONSTRAINT]s it is built
on, its design choices, its core mechanism, trade-offs against the other
paths (cost, reversibility, complexity, novelty), remaining [UNKNOWN]s, and
the cheapest falsifying test. If magnitudes matter, add a Fermi / dimensional
check before ranking. The conventional path may win -- but because the
analysis led there, not because it was the default.
Chesterton's Fence: before recommending removal of any existing structure,
state why it was built and whether those conditions still hold. If you can't,
you don't yet have the right to remove it.
Phase 6 -- Verification (Deep; optional at Standard)
Stress-test before handing over:
- Strongest alternative view -- the best objection or competing option,
attributed to the smartest possible critic, not a strawman.
- Self-consistency -- 2-3 independent reasoning paths when uncertain.
- Chain-of-verification -- ask at minimum: which claim is most likely
false? which fact needs external evidence? which assumption would flip
the conclusion? Answer independently, then revise.
- Backward check -- if the conclusion is true, what else must be true?
Check against the ledger.
- Falsifier -- what observation would prove this wrong? If nothing
would, it is not rigorous enough.
- 5 Whys on the chosen path -- must bottom out in a
[TRUTH] or
[CONSTRAINT], not another [ASSUMPTION].
- Sensitivity -- the 1-3 variables most likely to change the answer; if
a +/-20% change flips it, lower confidence and make the test explicit.
- Reversibility -- cheap-to-reverse decisions need less certainty.
- Confidence -- low / medium / high, grounded in which
[UNKNOWN]s
remain open.
Phase 7 -- Artifact (always)
Emit a structured First Principles Analysis block; it stays in context
and guides subsequent work. Full Quick and Standard/Deep templates plus the
carry-forward summary format: references/artifact-templates.md.
Every artifact, at any depth, must contain: problem-as-outcome, mode, depth,
tool plan, claim ledger, mechanism sketch or map, assumptions challenged with
verdicts (Keep / Modify / Discard / Investigate), the recommendation with
each major choice citing a [TRUTH] or [CONSTRAINT], at least one
verification check (falsifier / backward check / sensitivity), and User
Checkpoints -- the top 1-3 assumptions the user should confirm, reject, or
supply next. Exploration artifacts additionally include: best practical
option, most novel option, fastest experiment, biggest risk, and what would
make each option wrong.
Brainstorming (Exploration depth)
Diverge first, converge second. Diverge with at least two of: Tree of
Thoughts (3-5 genuinely different paths, expand top 2, keep the runner-up),
Graph of Thoughts (ideas as nodes/edges, synthesize non-obvious
intersections), morphological matrix, contradiction analysis ("more X without
more Y"), or multi-perspective debate (mechanist, operator, red team,
creative strategist -- each critiques another before synthesis). Converge
with red-team critique, fastest experiment, and sensitivity to the dominant
assumption. Templates: references/advanced-reasoning-tools.md.
Key Principles
- Opinionated on process, neutral on solution. Enforce deconstruction
ruthlessly; then present options and let the user choose.
- Separate IS from ASSUMED. Distinguishing irreducible constraints from
inherited conventions is the core skill; everything else follows.
- Recursive, not linear. Sub-problems have their own assumptions.
- Proportional effort. Trivial problems get trivial analysis.
- Build from bedrock upward. When the bedrock-derived answer matches the
industry standard, fine -- the analysis converged; the convention was not
imported.
- Invert, always invert. Forward analysis finds what to do; inversion
finds what must be avoided. Both are required.
- Development time is a ground truth too. When an existing solution is
within 2x of optimal and the team already knows it, that is usually the
right answer. First principles pays off where convention is 10x wrong, not
10% suboptimal.
Common Traps
Reasoning by analogy creeping back in:
| Trap |
Smell |
Check |
| Analogy |
"Company X does it this way" |
Are your constraints identical in every relevant dimension? What did they have that you don't? |
| Complexity |
Solution more elaborate than the problem |
Remove components one at a time until removal breaks the outcome; what's left is the minimum design |
| Legacy |
Compatibility with decisions that no longer serve |
Why was it decided? Do those conditions still exist? Cost of changing vs. cost of keeping? |
| Tool |
"We have X, so this is an X problem" |
Would you pick this tool starting fresh today, no sunk cost? |
| Authority |
"The senior engineer / PM / client said so" |
Trace the instruction to the underlying need; reasoning must be reproducible from truths |
| Purity |
Re-deriving everything from scratch |
If convention is within 2x of optimal and known to the team, use it |
Supporting Files
references/techniques.md -- full toolbox: Socratic catalog, 5 Whys,
inversion, Chesterton's Fence, falsifiability, ToT, Occam's Razor,
mechanism mapping, Fermi, verification chains. Load when picking the right
tool for a phase.
references/advanced-reasoning-tools.md -- templates for every Tool Router
row: mechanism map, assumption ledger v2, least-to-most, Fermi, evidence
grounding, CoVe, self-consistency, sensitivity, brainstorming pack, solver
trigger. Load at Deep or Exploration depth.
references/mode-playbooks.md -- per-mode phase emphasis for all seven
modes. Load after Phase 1.
references/artifact-templates.md -- Quick and Standard/Deep artifact
formats plus the carry-forward ledger summary. Load at Phase 7.
references/session-ledger-template.md -- ledger lanes, import rules for
pasted prior context, carry-forward block.
references/examples.md -- four worked engineering examples end to end.
Load to see what good output looks like.
references/review-notes.md -- human-review note: this package is
text-only, with no executable helper or automatic state mechanism.
Boundaries
This skill challenges assumptions visibly, tags truths / assumptions /
unknowns distinctly, builds reasoning traceable to fundamentals, and surfaces
inversion risks and falsifiers. It does not dismiss conventional
solutions reflexively, expand trivial decisions into philosophy, override
domain expertise with naive re-derivation, promise the "best" solution (it
produces better reasoning), or keep running once the user says "skip the
analysis".
Quick Reference Checklist
Before emitting a recommendation, confirm:
1---2name: first-principles-thinking3description: Use when facing architecture or system-design decisions, technology selection, hard debugging, performance or scaling work, migrations, strategy, research framing, or brainstorming -- especially when a solution is being justified by convention: 'best practice', 'industry standard', 'everyone uses X', 'we've always done it this way'. Also on explicit triggers: 'first principles', 'FP mode', 'from scratch', 'challenge my assumptions', 'think from fundamentals'.4---56# First Principles Thinking78Break problems down to fundamental truths, then rebuild solutions from the9ground up. Do not import conclusions from other contexts; derive them from10what is actually, verifiably true in this one.1112This skill is a reasoning guide only: Markdown instructions plus reference13files, with no helper program, installer, network endpoint, or automatic14state mechanism. Keep claim ledgers in the active conversation; use external15tools only when the runtime already provides them and the task requires16evidence, calculation, or source inspection.1718<HARD-GATE>19Do NOT propose a solution, recommend a technology, or start writing code until:20211. The problem has been restated in terms of outcomes (not solutions). If22 context is sufficient, proceed on stated working assumptions instead of23 asking for confirmation.242. The primary task mode has been classified (decision / diagnosis / planning /25 critique / explanation / synthesis / exploration).263. The Claim Ledger has been populated: verified facts, reported claims,27 assumptions, constraints, and unknowns each explicitly listed.284. Ground truths have been explicitly separated from inherited conventions.295. The core mechanism has been mapped: variables, causal links, constraints,30 feedback loops, bottlenecks.316. At least one failure-oriented check has run: inversion, falsifier,32 backward check, or red-team objection.3334The cost of skipping this gate is solving the wrong problem efficiently --35the most expensive failure mode in engineering, strategy, and research.36</HARD-GATE>3738## Activation3940**Activate** on complexity markers: architecture/design questions;41"should I use X or Y"; hard debugging ("intermittent", "root cause",42"happens sometimes"); performance and scaling; integration/migration;43strategy, product, or research framing; brainstorming and ideation;44convention language ("best practice", "industry standard", "everyone uses",45"we've always"); or explicit invocation ("first principles", "FP mode",46"from scratch", "challenge my assumptions").4748**Stay dormant** for trivial edits, boilerplate, direct implementation of an49already-decided design, or user override ("just do it", "skip the analysis").50When in doubt, do not add process overhead: run Quick depth silently, or ask51one sentence -- "Should I challenge the assumptions first or go straight to52implementation?"5354## Depth Levels5556State the detected depth at the start; the user can override.5758| Level | When | What Runs |59|-------|------|-----------|60| Quick | Medium complexity, manual `/fp`, reversible choice | Intake + compact ledger + mechanism sketch + one verification check |61| Standard | Architecture, tech selection, design, strategy, product decisions | Intake + Socratic probes + decomposition + mechanism map + reconstruction + verification |62| Deep | System design, hard debugging, high-stakes decisions, `/fp deep` | All phases: inversion, 2-3 reconstruction paths, sensitivity, self-consistency, verification |63| Exploration | Brainstorming, invention, research framing, `/fp brainstorm` | Divergent search (ToT / GoT / morphological matrix / contradictions), then convergence and tests |6465**Proportional effort is a rule, not a preference.** At Quick depth the66artifact may be compact prose with tagged ledger lines; tables are optional.67Never let the process feel like overhead when the answer is obvious.6869## Task Modes7071Classify every non-trivial problem into one primary mode (at most one72secondary), state it aloud, and let it shape the phases. Mode-specific73phase guidance lives in `references/mode-playbooks.md` -- load it after74Phase 1 fixes the mode.7576| Mode | Use when the user wants to... | Typical cue |77|------|-------------------------------|-------------|78| decision | choose among options | "should I use X or Y?", "which stack / vendor?" |79| diagnosis | explain a symptom, failure, regression | "why is X slow / broken?", "root cause" |80| planning | get from current state to desired state | "how do we get from A to B by Q3?" |81| critique | stress-test a claim, proposal, argument | "is this design / argument sound?" |82| explanation | understand a mechanism without deciding | "how does X work?" |83| synthesis | rebuild a messy multi-frame problem into one view | "we have five inputs and need one view" |84| exploration | generate and filter non-obvious options | "brainstorm", "what else could work?" |8586## Reasoning Budget and Tool Router8788Use the smallest reasoning stack that can safely answer the problem. Activate89heavier tools only when the problem is ambiguous, irreversible, high-stakes,90data-dependent, or explicitly brainstorming-oriented. Detailed prompts and91templates for every row: `references/advanced-reasoning-tools.md`.9293| Signal | Add this tool |94|--------|---------------|95| Hidden assumptions likely | Assumption Ledger with fragility, failure mode, fastest test |96| Mechanism or causality matters | Causal / mechanism map: variables, links, confounders, feedback loops |97| Many moving parts | Least-to-most decomposition into smallest solvable subproblems |98| Numbers, capacity, cost, scale matter | Fermi estimate, dimensional check, low/base/high range |99| Recent, factual, niche, or data claims matter | Evidence grounding via approved search, user sources, calculations, citations |100| Open-ended ideation | Tree of Thoughts, Graph of Thoughts, morphological matrix, contradiction analysis |101| Competing explanations | Self-consistency across 2-3 independent paths + a discriminating test |102| High-stakes or hallucination risk | Chain-of-verification, backward check, red team, sensitivity analysis |103| Hard equations, schedules, optimization | Formalize variables; use approved calculation / solver tools when available |104105State the chosen tools in a short **Tool Plan** before the analysis (one line106at Quick depth). If a tool will not change the answer, do not use it.107108## The Phases109110Phases run in order. Earlier phases may be abbreviated at Quick depth, never111skipped entirely. Full technique write-ups (Socratic catalog, 5 Whys,112inversion playbook, Chesterton's Fence, falsifiability, ToT, Occam's Razor,113mechanism mapping, Fermi, verification chains): `references/techniques.md`.114115### Phase 1 -- Intake (always)116117Restate the problem in outcome terms, not solution terms. Classify mode and118depth. If enough context exists, proceed with explicit working assumptions.119120> "I read the outcome as: **[one sentence]**.121> Current approach or framing: **[current solution idea, if any]**.122> Mode: **[mode]** (secondary: **[mode | none]**). Depth: **[level]**.123> Working assumption if not corrected: **[...]**."124125If you cannot state the problem as an outcome independent of the proposed126solution, ask one targeted question or state the safest working assumption127and continue with caveats. If you cannot pick one primary mode, it is two128stacked problems -- name both, resolve the first one first. Treat the user's129framing as a `[CLAIM]`, not ground truth, until it passes the Ground-Truth130Test or is explicitly stipulated.131132### Phase 2 -- Socratic Questioning (always)133134Probe with the 3-5 most relevant question families: **clarification**,135**assumption probing**, **evidence**, **alternative viewpoints**,136**implications**, **meta** ("are we solving the right problem?"). Asking all137six robotically is worse than three well-chosen ones. Full catalog with138probes per family: `references/techniques.md`.139140**Red-flag phrases** that almost always hide an assumption -- drop into141assumption-probing when you hear them:142143- "We've always done it this way"144- "Industry standard / best practice says"145- "Everyone uses X for this"146- "That's too simple to work"147- "We can't change that" (without verifying why not)148- "The client / PM said so" (without tracing the underlying need)149150Cadence: Quick = 2-3 questions in one message; Standard = 1-2 per turn;151Deep = one per turn, following threads wherever they lead.152153### Phase 3 -- Decomposition & Claim Ledger (Standard + Deep)154155File every atomic component of the problem into the **Claim Ledger** -- the156canonical record of what you know, were told, are guessing, what binds you,157and what is missing. Nothing downstream may cite a fact that is not in the158ledger.159160| Lane | Definition | Tag |161|------|------------|-----|162| Verified facts | Provable in this context: physics, math, measurement, executable check, stipulation | `[TRUTH]` |163| Reported claims | Statements from the user, a source, or prior art, not yet verified | `[CLAIM]` |164| Assumptions | Convention, habit, or unverified belief used as if true | `[ASSUMPTION]` |165| Constraints | Hard limits: regulatory, contractual, budget, SLO, compatibility | `[CONSTRAINT]` |166| Unknowns | A fact we'd need but don't have | `[UNKNOWN]` |167168**Ground-Truth Test** -- before tagging anything `[TRUTH]`:1691701. Can it be decomposed further into something more fundamental?1712. Is it provably true in this context, not just commonly believed?1723. Would violating it *definitely* cause failure (not just inconvenience)?173174Any "no" or "not sure" routes it to another lane. User-supplied statements175start as `[CLAIM]`. If the user pastes a prior ledger or notes, import items176as `[CLAIM]` -- never directly as `[TRUTH]` -- and log the import (rules:177`references/session-ledger-template.md`).178179Lane discipline:180- Each `[ASSUMPTION]` gets category (technical / business / resource /181 historical / behavioral / data), evidence, confidence, fragility, failure182 mode, and fastest test. Assumptions whose falsehood would flip the183 conclusion are elevated to User Checkpoints.184- Each `[CONSTRAINT]` must name its source, numeric threshold where185 applicable, and cost of violation. Unsourced "constraints" are186 `[ASSUMPTION]`s in disguise.187- Each `[UNKNOWN]` must state how it would be resolved and whether the188 recommendation changes across its plausible range. If the recommendation189 is stable across the range, the unknown is not blocking.190191Then build a compact **Mechanism Map** (actors, variables, inputs/outputs,192causal links, confounders, feedback loops, bottlenecks, boundary conditions;193for business work add incentives, adoption friction, switching costs) and run194**least-to-most decomposition**: 3-7 smallest solvable subproblems, each195yielding one variable, constraint, mechanism claim, risk, or testable unknown.196197**Recursion rule:** if a component reveals its own hidden assumptions ("we198need a message queue" contains "we need async processing"), say so and run199Phases 2-3 on it. Maximum depth 2; anything deeper becomes an `[UNKNOWN]`.200201### Phase 4 -- Inversion (Deep; optional at Standard)202203Ask: "What would guarantee this fails? What must I avoid at all costs?" List2043-5 failure modes; for each, identify which truth or design choice prevents205it. Unprevented failure modes are risks that must be addressed or explicitly206accepted. Inversion is cheap and catches gaps forward analysis misses.207208### Phase 5 -- Reconstruction (Standard + Deep)209210Build 2-3 candidate paths (3-5 for exploration) using *only* verified ground211truths. For each path state: the `[TRUTH]`s and `[CONSTRAINT]`s it is built212on, its design choices, its core mechanism, trade-offs against the other213paths (cost, reversibility, complexity, novelty), remaining `[UNKNOWN]`s, and214the cheapest falsifying test. If magnitudes matter, add a Fermi / dimensional215check before ranking. The conventional path may win -- but because the216analysis led there, not because it was the default.217218**Chesterton's Fence:** before recommending removal of any existing structure,219state why it was built and whether those conditions still hold. If you can't,220you don't yet have the right to remove it.221222### Phase 6 -- Verification (Deep; optional at Standard)223224Stress-test before handing over:2252261. **Strongest alternative view** -- the best objection or competing option,227 attributed to the smartest possible critic, not a strawman.2282. **Self-consistency** -- 2-3 independent reasoning paths when uncertain.2293. **Chain-of-verification** -- ask at minimum: which claim is most likely230 false? which fact needs external evidence? which assumption would flip231 the conclusion? Answer independently, then revise.2324. **Backward check** -- if the conclusion is true, what else must be true?233 Check against the ledger.2345. **Falsifier** -- what observation would prove this wrong? If nothing235 would, it is not rigorous enough.2366. **5 Whys on the chosen path** -- must bottom out in a `[TRUTH]` or237 `[CONSTRAINT]`, not another `[ASSUMPTION]`.2387. **Sensitivity** -- the 1-3 variables most likely to change the answer; if239 a +/-20% change flips it, lower confidence and make the test explicit.2408. **Reversibility** -- cheap-to-reverse decisions need less certainty.2419. **Confidence** -- low / medium / high, grounded in which `[UNKNOWN]`s242 remain open.243244### Phase 7 -- Artifact (always)245246Emit a structured **First Principles Analysis** block; it stays in context247and guides subsequent work. Full Quick and Standard/Deep templates plus the248carry-forward summary format: `references/artifact-templates.md`.249250Every artifact, at any depth, must contain: problem-as-outcome, mode, depth,251tool plan, claim ledger, mechanism sketch or map, assumptions challenged with252verdicts (Keep / Modify / Discard / Investigate), the recommendation with253each major choice citing a `[TRUTH]` or `[CONSTRAINT]`, at least one254verification check (falsifier / backward check / sensitivity), and **User255Checkpoints** -- the top 1-3 assumptions the user should confirm, reject, or256supply next. Exploration artifacts additionally include: best practical257option, most novel option, fastest experiment, biggest risk, and what would258make each option wrong.259260## Brainstorming (Exploration depth)261262Diverge first, converge second. Diverge with at least two of: Tree of263Thoughts (3-5 genuinely different paths, expand top 2, keep the runner-up),264Graph of Thoughts (ideas as nodes/edges, synthesize non-obvious265intersections), morphological matrix, contradiction analysis ("more X without266more Y"), or multi-perspective debate (mechanist, operator, red team,267creative strategist -- each critiques another before synthesis). Converge268with red-team critique, fastest experiment, and sensitivity to the dominant269assumption. Templates: `references/advanced-reasoning-tools.md`.270271## Key Principles272273- **Opinionated on process, neutral on solution.** Enforce deconstruction274 ruthlessly; then present options and let the user choose.275- **Separate IS from ASSUMED.** Distinguishing irreducible constraints from276 inherited conventions is the core skill; everything else follows.277- **Recursive, not linear.** Sub-problems have their own assumptions.278- **Proportional effort.** Trivial problems get trivial analysis.279- **Build from bedrock upward.** When the bedrock-derived answer matches the280 industry standard, fine -- the analysis converged; the convention was not281 imported.282- **Invert, always invert.** Forward analysis finds what to do; inversion283 finds what must be avoided. Both are required.284- **Development time is a ground truth too.** When an existing solution is285 within 2x of optimal and the team already knows it, that is usually the286 right answer. First principles pays off where convention is 10x wrong, not287 10% suboptimal.288289## Common Traps290291Reasoning by analogy creeping back in:292293| Trap | Smell | Check |294|------|-------|-------|295| Analogy | "Company X does it this way" | Are your constraints identical in every relevant dimension? What did they have that you don't? |296| Complexity | Solution more elaborate than the problem | Remove components one at a time until removal breaks the outcome; what's left is the minimum design |297| Legacy | Compatibility with decisions that no longer serve | Why was it decided? Do those conditions still exist? Cost of changing vs. cost of keeping? |298| Tool | "We have X, so this is an X problem" | Would you pick this tool starting fresh today, no sunk cost? |299| Authority | "The senior engineer / PM / client said so" | Trace the instruction to the underlying need; reasoning must be reproducible from truths |300| Purity | Re-deriving everything from scratch | If convention is within 2x of optimal and known to the team, use it |301302## Supporting Files303304- `references/techniques.md` -- full toolbox: Socratic catalog, 5 Whys,305 inversion, Chesterton's Fence, falsifiability, ToT, Occam's Razor,306 mechanism mapping, Fermi, verification chains. Load when picking the right307 tool for a phase.308- `references/advanced-reasoning-tools.md` -- templates for every Tool Router309 row: mechanism map, assumption ledger v2, least-to-most, Fermi, evidence310 grounding, CoVe, self-consistency, sensitivity, brainstorming pack, solver311 trigger. Load at Deep or Exploration depth.312- `references/mode-playbooks.md` -- per-mode phase emphasis for all seven313 modes. Load after Phase 1.314- `references/artifact-templates.md` -- Quick and Standard/Deep artifact315 formats plus the carry-forward ledger summary. Load at Phase 7.316- `references/session-ledger-template.md` -- ledger lanes, import rules for317 pasted prior context, carry-forward block.318- `references/examples.md` -- four worked engineering examples end to end.319 Load to see what good output looks like.320- `references/review-notes.md` -- human-review note: this package is321 text-only, with no executable helper or automatic state mechanism.322323## Boundaries324325This skill challenges assumptions visibly, tags truths / assumptions /326unknowns distinctly, builds reasoning traceable to fundamentals, and surfaces327inversion risks and falsifiers. It does **not** dismiss conventional328solutions reflexively, expand trivial decisions into philosophy, override329domain expertise with naive re-derivation, promise the "best" solution (it330produces better *reasoning*), or keep running once the user says "skip the331analysis".332333## Quick Reference Checklist334335Before emitting a recommendation, confirm:336337- [ ] Problem stated as an outcome, not a solution; mode and depth announced338- [ ] Tool Plan names only the tools the problem warrants339- [ ] Claim Ledger populated across all five lanes; user statements routed to the right lane via the Ground-Truth Test340- [ ] Mechanism map built when causality, strategy, systems, or debugging matter341- [ ] Assumptions given verdicts; constraints carry source + threshold + cost; unknowns carry resolution plan + sensitivity342- [ ] At least one inversion failure mode answered (Deep)343- [ ] Each design choice traces to a `[TRUTH]` or `[CONSTRAINT]`344- [ ] Strongest alternative view stated and addressed (Standard + Deep)345- [ ] Falsifier named; sensitivity and residual confidence stated346- [ ] Mode playbook followed; artifact emitted with User Checkpoints