사용 방법
- 설치 명령을 복사하고 자신의 에이전트 환경에 설치하기 전에 소스 패키지를 확인하세요.
- 필요한 도구, 인증 정보, 지원 환경은 원본 문서에서 확인하세요.
- 입력과 원하는 산출물을 설명하고 출처와 결과를 대조하세요.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill test-structure-preservation시작 전 확인
- 설치에는 모델 구독, API 한도, 파일 접근 권한이 포함되지 않습니다.
- 별점 수와 설치 수는 활동 지표이며 독립적인 품질·보안 검증이 아닙니다.
원본 Skill 문서
원본 저장소의 제목, 예시, 코드, 표, 링크, 이미지를 유지해 표시합니다.
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
