yogsoth-ai/de-anthropocentric-research-engine

downgrade-equivalence-claim

When full equivalence fails, downgrade to the strongest defensible relation (e.g.

Vedi sorgente

Come usare

  1. Copia il comando e controlla il pacchetto prima di installarlo nel tuo ambiente agente.
  2. Controlla strumenti, credenziali e ambienti richiesti nel documento originale.
  3. Descrivi input e risultato desiderato; confronta l’output con le fonti.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill downgrade-equivalence-claim

Prima di iniziare

  • L’installazione non include abbonamenti, quote API o accesso ai file.
  • Stelle e installazioni indicano attività, non un test indipendente di qualità o sicurezza.
Documento Skill originale

Contenuto dal repository con titoli, esempi, codice, tabelle, link e immagini preservati.

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

  1. List failed preservation obligations.
  2. Test candidate weaker relations.
  3. 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

Correlati per attività

dallo stesso repository

Altri Skills

Tutti gli Skills