yogsoth-ai/de-anthropocentric-research-engine

audit-validator-independence

Audit whether a validator, benchmark, sandbox, or test can pass by construction because it embeds the same assumptions as the theory it claims to validate.

소스 보기

사용 방법

  1. 설치 명령을 복사하고 자신의 에이전트 환경에 설치하기 전에 소스 패키지를 확인하세요.
  2. 필요한 도구, 인증 정보, 지원 환경은 원본 문서에서 확인하세요.
  3. 입력과 원하는 산출물을 설명하고 출처와 결과를 대조하세요.
npx skills add https://github.com/yogsoth-ai/de-anthropocentric-research-engine --skill audit-validator-independence

시작 전 확인

  • 설치에는 모델 구독, API 한도, 파일 접근 권한이 포함되지 않습니다.
  • 별점 수와 설치 수는 활동 지표이며 독립적인 품질·보안 검증이 아닙니다.
원본 Skill 문서

원본 저장소의 제목, 예시, 코드, 표, 링크, 이미지를 유지해 표시합니다.

audit-validator-independence

Purpose

Detect validators that pass by construction because they copy the target theory's assumptions.

Input contract

yaml
mode_contracts:
  validator: &validator_audit_input
    required: [target_claim, validator, validator_artifacts]
    optional: [data_generation, metric, oracle, acceptance_rule]
    constraints: [validator_assumptions_and_target_assumptions_must_be_separately_listed]
  benchmark: *validator_audit_input
  sandbox: *validator_audit_input
  simulation: *validator_audit_input

Execution protocol

Do not perform called SOP operations inline; each loaded SOP owns its contract and thresholds.

  1. You MUST load skill enumerate-validator-assumptions to enumerate embedded validator assumptions.
  2. You MUST load skill build-noncircularity-matrix to cross-tabulate target and validator assumptions.
  3. You MUST load skill detect-pass-by-construction to detect copied assumptions. You MUST load skill design-falsification-test to design an independent failure channel.

Deviation: if no non-circular channel is feasible, return blocked validation rather than a pass.

Output contract

yaml
mode_contracts:
  validator: &validator_audit_output
    produces: [noncircularity_matrix, red_cell_actions, validator_verdict, adversarial_ground_truth_set]
    delta_fields: [findings, evidence_updates, uncertainties, decisions, open_questions]
  benchmark: *validator_audit_output
  sandbox: *validator_audit_output
  simulation: *validator_audit_output

Thresholds and quality gates

  • At least one validator path must be independent of the target's defining assumptions.
  • Shared or derived-from-target dependencies must be explicit in the matrix.

Failure and counterexamples

Pass-by-construction is a finding, not evidence of corroboration. Unknown dependencies remain unresolved.

Provenance map

  • resolved: circular-validation-audit

Preserved source criteria ledger

sourcesource linekindsource criterion
v4 architecturenode desctextualBuild claim-validator assumption matrix and require a non-circular failure channel.

Context checkpoint / Delta notes

Append assumptions, matrix cells, circularity findings, and proposed independent test.

Mode branches

  • validator: inspect validator implementation assumptions.
  • benchmark: inspect benchmark construction and metric assumptions.
  • sandbox: inspect environment/oracle assumptions.
  • simulation: inspect simulator and initialization assumptions.

관련 작업

같은 저장소의 Skills

더 많은 Skills

모든 Skills