Mode d’emploi
- Copiez la commande et examinez le paquet avant de l’installer dans votre environnement agent.
- Consultez le document original pour les outils, identifiants et environnements requis.
- Décrivez les entrées et le livrable souhaité ; comparez la sortie aux sources.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill downgrade-equivalence-claimAvant de commencer
- L’installation n’inclut ni abonnement au modèle, ni quota API, ni accès aux fichiers.
- Étoiles et installations reflètent l’activité, pas un test indépendant de qualité ou de sécurité.
Document Skill original
Rendu depuis le dépôt source en conservant titres, exemples, code, tableaux, liens et images.
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
