Jak używać
- Skopiuj polecenie instalacji i sprawdź źródła przed instalacją we własnym środowisku agenta.
- W oryginale sprawdź wymagane narzędzia, dane dostępowe i obsługiwane środowiska.
- Opisz dane wejściowe i oczekiwany rezultat; porównaj wynik ze źródłami.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill downgrade-equivalence-claimPrzed rozpoczęciem
- Instalacja nie obejmuje subskrypcji modelu, limitu API ani uprawnień do plików.
- Gwiazdki i instalacje pokazują aktywność, a nie niezależny test jakości lub bezpieczeństwa.
Oryginalny dokument Skill
Treść z repozytorium z zachowaniem nagłówków, przykładów, kodu, tabel, linków i obrazów.
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
