abstract-structure
Remove domain surface details to expose transferable relational/mechanistic structure at a chosen abstraction level.
@yogsoth-aiInstall SkillAutomation
Skill
/downgrade-equivalence-claim
When full equivalence fails, downgrade to the strongest defensible relation (e.g. substructure, homomorphism, shared invariant, analogy) and record exactly what ceased to be preserved.
Claude Code
$ npx -y skills add yogsoth-ai/de-anthropocentric-research-engine --skill downgrade-equivalence-claim --agent claude-code
Codex
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill downgrade-equivalence-claim -a codex -y
Cursor
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill downgrade-equivalence-claim -a cursor -y
Gemini CLI
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill downgrade-equivalence-claim -a gemini-cli -y
GitHub Copilot
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill downgrade-equivalence-claim -a github-copilot -y
OpenCode
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill downgrade-equivalence-claim -a opencode -y
Windsurf
$ npx skills add yogsoth-ai/de-anthropocentric-research-engine --skill downgrade-equivalence-claim -a windsurf -y
SKILL.md
downgrade-equivalence-claim.SKILL.mdname: downgrade-equivalence-claim description: "When full equivalence fails, downgrade to the strongest defensible relation (e.g. substructure, homomorphism, shared invariant, analogy) and record exactly what ceased to be preserved."
downgrade-equivalence-claim
Purpose
When full equivalence fails, downgrade to the strongest defensible relation and record what was not preserved.
Input contract
required: [equivalence_claim, preservation_report, counterexamples] optional: [relation_ladder, scope] constraints: [each downgrade must name lost structures or operations]
Procedure
1. List failed preservation obligations. 2. Test candidate weaker relations. 3. Select the strongest relation supported and document exclusions.
Output contract
produces: [downgraded_relation, lost_invariants, supporting_mapping, exclusions] delta_fields: [findings, evidence_updates, uncertainties, decisions]
Quality gates
- Downgrade cannot silently retain a failed invariant.
Failure and counterexamples
Do not downgrade by vocabulary alone; provide the preserved relation and counterexample boundary.
Provenance map
- resolved: isomorphism-falsification
Ships withde-anthropocentric-research-engine
A research skill graph for AI-native science. 271 markdown files. No runtime, no dependencies, no build step.
507200 skills
Stars on GitHub
Momentum
- stars in total
- 507
Other skills on de-anthropocentric-research-engine.
@yogsoth-aiInstall Skilladjudicate-exchange
Evaluate competing arguments against stated criteria and produce a reasoned verdict with uncertainty.
@yogsoth-aiInstall Skilladjust-abstraction-sco…
Move a scientific object up/down in abstraction or narrow/broaden selected scope dimensions (population, mechanism, context,…
@yogsoth-aiInstall Skilladversarial-deliberati…
Run structured attack/defense/adjudication over a claim, candidate, criterion set, or current winner. Perspective, target,…
@yogsoth-aiInstall Skillaggregate-ranking
Aggregate criterion or comparison results into an ordered recommendation under an explicit rule.
@yogsoth-aiInstall Skillanalogical-discovery
Abstract relational structure from source domains, map it to the target, validate depth, and instantiate transferable mechanisms.
@yogsoth-aiInstall SkillMore skills from other plugins.
browser-use
Direct browser control via CDP for web interaction: automation, scraping, testing, screenshots, and site/app work. Also covers…
@browser-useInstall Skillagent-browser
Browser automation CLI for AI agents. Use when the user needs to interact with websites, including navigating pages, filling…
@vercel-labs-2Install Skill
Questions about downgrade-equivalence-claim.
- Which coding agents can use downgrade-equivalence-claim?
- downgrade-equivalence-claim installs in Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot, OpenCode and Windsurf with the skills CLI, using each agent's flag shown on this page. Flowy's auto-invocation, which fires a skill when your prompt matches, runs in Claude Code only.