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 test-structure-preservationBefore 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.
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
