Universal Applicability Analysis

Input: $ARGUMENTS

Step 1: State the Claim

Extract the claim, principle, or method being tested for universality.

CLAIM: [The thing being tested for universal applicability]
IMPLICIT SCOPE: [What scope does the claim currently assume?]
STATED AS UNIVERSAL: [Yes/No — does it claim to work everywhere?]

Step 2: Select Diverse Test Domains

Pick 5+ domains that are maximally different from each other. Avoid clustering in familiar territory.

TEST DOMAINS:
1. [Domain 1] — chosen because: [why it's a good test]
2. [Domain 2] — chosen because: [why it's a good test]
3. [Domain 3] — chosen because: [why it's a good test]
4. [Domain 4] — chosen because: [why it's a good test]
5. [Domain 5] — chosen because: [why it's a good test]

DIVERSITY CHECK: [Do these domains span different scales, cultures, time periods, or disciplines?]

Step 3: Test in Each Domain

Apply the claim in each domain. Be honest — don’t force it to fit.

DOMAIN 1 — [Name]:
- Application: [How the claim would apply here]
- Result: [HOLDS / PARTIALLY HOLDS / BREAKS]
- Evidence: [Why]

DOMAIN 2 — [Name]:
- Application: [How the claim would apply here]
- Result: [HOLDS / PARTIALLY HOLDS / BREAKS]
- Evidence: [Why]

[Repeat for all domains]

Step 4: Map the Boundaries

Synthesize results into a clear scope map.

WHERE IT HOLDS:
- [Context/condition 1]
- [Context/condition 2]

WHERE IT BREAKS:
- [Context/condition 1] — because: [reason]
- [Context/condition 2] — because: [reason]

PATTERN: [What distinguishes hold-contexts from break-contexts?]

Step 5: State the Universalized Version

Rewrite the claim with accurate boundary conditions.

ORIGINAL CLAIM: [As stated]

TRUE SCOPE: [The actual range of applicability]

UNIVERSALIZED VERSION:
"[Restated claim with boundary conditions baked in,
  so it is actually true everywhere it claims to be.]"

CONFIDENCE: [How confident are you in these boundaries?]
UNTESTED TERRITORY: [Domains not yet checked that might surprise you]

Integration

Use with:

• /nrwd -> Go deep in a domain where the claim breaks
• /ht -> Formally test the claim as a hypothesis
• /aex -> Check assumptions embedded in the claim