기록된 DeepSeek Harness 스키마 마이그레이션에 대한 오프라인, 콘텐츠 주소 지정 증거입니다. 마이그레이션을 실행하거나 데이터 본문을 반환하지 않고 출력 결정성, 멱등 재실행, 되돌릴 수 있는 롤백, 필수 불변식 및 명시적 손실 필드 공개에 대해 고정된 픽스처 봉투를 검증합니다.
이것은 마이그레이션 실행기, 데이터베이스 도구, 복구 시스템 또는 두 번째 표면 계약 검증기가 아닙니다. dsh-recovery-proof는 격리된 복원 훈련을 테스트하고, dsh-surface-contract-proof는 ToolRuntime/MCP/CLI 봉투를 비교하며, dsh-lineage는 객체/작업 관계를 기록합니다. 이 프로젝트는 도구 개정판과 소스/대상 스키마가 고정된 마이그레이션 테스트 하네스가 생성한 증거를 평가합니다.
매니페스트에는 안정적인 ID와 SHA-256 다이제스트만 포함됩니다. 본문, 데이터, 페이로드, 비밀, 자격 증명, 프롬프트 및 메시지 형태의 필드는 거부됩니다. 누락, 실패 또는 관찰되지 않은 필수 불변식은 폐쇄적으로 실패합니다. 되돌릴 수 있는 마이그레이션은 롤백을 증명해야 하며, 손실 픽스처는 공개된 모든 손실 필드를 열거해야 합니다.
DSH: dsh_schema_migration_inspect, dsh_schema_migration_verify.
CLI: dsh-schema-migration-proof verify --workspace-root examples --migration migration.json --artifact-dir artifacts.
MCP: schema_migration_inspect_inline, schema_migration_verify_inline; 제한된 인라인 JSON만 허용하며, 파일시스템, 네트워크, 하위 프로세스 또는 마이그레이션 실행이 없습니다.
dsh plugin --profile web add github:dongsheng123132/dsh-schema-migration-proof
npm test
npm run check
npm run smoke:plugin
npm run smoke:mcpMIT
This server cannot be deployed
Read-only verifier for 25 ProofRelay MCP tools and non-confidential evidence bundles.
Verifies Bernstein run receipts and hash chains; lists the shipped presets and adapters. Read-only.
Reviewed public-data search and execution with provenance and verifiable integrity receipts.
Browser-local and CLI static evidence for deployed AI model artifacts.
