DSH 빌드 밀폐성 증명

DeepSeek Harness 공급망을 위한 오프라인, 결정적 증거 계층입니다. 명시적이고 해시 전용 빌드 접근 영수증이 선언된 파일, 환경, 네트워크, 클록, 난수 및 출력 클로저 안에 머물렀는지 검증합니다.

빌드를 실행하지 않으며, 샌드박스를 강제하지 않고, 영수증을 인증하지도 않으며, 기록되지 않은 접근이 발생할 수 없음을 증명하지도 않습니다. 또한 재현성을 증명하지 않습니다. hermetic 판정은 제공된 영수증이 내부적으로 완전하고 정책을 준수한다는 것만을 의미합니다.

상호 보완 경계

• dsh-reproducible-build-proof는 독립적으로 수행된 재빌드 영수증을 비교하여 지정된 출력물이 바이트 단위로 동일한지 확인합니다.

• dsh-attestation-proof는 DSSE/in-toto 서명, 서명 대상 및 서명자 임계값을 검증합니다.

• 이 플러그인은 기록된 하나의 빌드에 대해 선언된 외부 영향 클로저, 즉 파일 읽기/쓰기, 환경 읽기, 네트워크, 클록 및 난수를 확인합니다.

관찰된 미선언 접근은 실패로 처리됩니다. 거부된 미선언 시도는 격리 증거로 유지되지만 클로저를 위반하지는 않습니다. 관찰된 네트워크 접근은 v1 거부 전용 네트워크 정책에서 항상 실패합니다. 선언된 입력과 출력은 모두 영수증에 나타나야 하며, 소스 리비전, 호출, 클록 값, 난수 시드 및 허용된 환경 값은 해시로 바인딩됩니다.

Related MCP server: Spec Kit Acceptance Gate MCP

설치

dsh plugin add github:dongsheng123132/dsh-build-hermeticity-proof#COMMIT

이 번들은 하나의 헤드리스 코어에서 dsh_build_hermeticity_inspect와 dsh_build_hermeticity_verify를 노출합니다. 독립적인 MCP stdio 서버는 build_hermeticity_inspect와 build_hermeticity_verify를 노출합니다. CLI는 inspect 또는 verify와 명시적 JSON 경로를 받습니다.

examples/hermetic.json을 참조하십시오. 보고서에는 해시, 개수, 불리언, 분류 및 판정만 포함됩니다. 비밀 형태의 자료, 원시 로그 및 body/content 필드는 거부됩니다. DSH verify 도구는 작업공간 상대 경로의 비심볼릭 링크 매니페스트를 읽고, 명시적 작업공간 상대 경로의 artifactDir에만 쓰며, 결정적 콘텐츠 주소 지정 출력만 생성하고, 이를 읽어 확인(read-back)하여 검증합니다.

npm test
npm run check
npm run smoke:plugin
npm run smoke:mcp
python C:/Users/YOU/.codex/skills/.system/plugin-creator/scripts/validate_plugin.py .

Node.js 22 이상이 필요합니다. 검증기는 런타임 의존성이 없으며, 프로세스를 생성하지 않고, 네트워크 요청을 하지 않습니다.