Доказательство герметичности сборки 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. Отчёты содержат только хэши, счётчики, логические значения, классификации и вердикты. Материалы, похожие на секреты, необработанные журналы и поля тела/содержимого отклоняются. Инструмент проверки DSH читает манифест, не являющийся символьной ссылкой, относительно рабочей области, записывает только в явный artifactDir относительно рабочей области, создаёт исключительно детерминированный контент-адресуемый вывод и проверяет его повторным чтением.

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 или новее. Проверяющий не имеет зависимостей во время выполнения, не запускает процессы и не выполняет сетевых запросов.