Verwendung
- Installationsbefehl kopieren und das Quellpaket vor der Installation in der eigenen Agentenumgebung prüfen.
- Benötigte Werkzeuge, Zugangsdaten und Hosts im Original prüfen.
- Eingabe und gewünschtes Ergebnis beschreiben und die Ausgabe mit den Quellen abgleichen.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill test-structure-preservationVor dem Start
- Die Installation umfasst weder Modellabo noch API-Kontingent oder Dateizugriffsrechte.
- Sterne und Installationen zeigen Aktivität, keine unabhängige Qualitäts- oder Sicherheitsprüfung.
Originales Skill-Dokument
Aus dem Quell-Repository gerendert; Überschriften, Beispiele, Code, Tabellen, Links und Bilder bleiben erhalten.
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
