How to use
- Copy the installation command and review the source package before installing it in your own agent environment.
- Check the source document for required tools, credentials and supported hosts.
- Describe your input and desired deliverable; review the output against the source material.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill downgrade-equivalence-claimBefore you start
- Installation does not include a model subscription, API allowance or permission to access your files.
- Repository stars and installation counts describe activity, not an independent quality or security test.
Original skill document
Rendered from the source repository. Headings, examples, code, tables, links, and referenced images are preserved.
downgrade-equivalence-claim
Purpose
When full equivalence fails, downgrade to the strongest defensible relation and record what was not preserved.
Input contract
yaml
required: [equivalence_claim, preservation_report, counterexamples]
optional: [relation_ladder, scope]
constraints: [each downgrade must name lost structures or operations]Procedure
- List failed preservation obligations.
- Test candidate weaker relations.
- Select the strongest relation supported and document exclusions.
Output contract
yaml
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
