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 test-structure-preservationAvant 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.
test-structure-preservation
Purpose
Test whether a proposed mapping preserves required relations, operations, and invariants, while searching a minimal counterexample.
Input contract
yaml
required: [mapping, preservation_obligations, source_and_target]
optional: [counterexample_search_space]
constraints: [obligations must be enumerated before testing]Procedure
- Evaluate each relation, operation, and invariant.
- Search for the smallest preservation failure.
- Record pass, fail, unknown, and counterexample evidence.
If material relations fail to survive the mapping, consider downgrade-equivalence-claim as the next tactic.
Output contract
yaml
produces: [preservation_matrix, counterexample, failed_obligations, uncertainty]
delta_fields: [findings, evidence_updates, uncertainties, decisions]Quality gates
- A preserved invariant needs a tested mapping and evidence.
Failure and counterexamples
Unknown preservation is not a pass.
Provenance map
- resolved: isomorphism-falsification
