Skip to main content
Glama
deenesjakoruzh
dongsheng123132

dsh-build-hermeticity-proof

by dongsheng123132
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Local

Доказательство герметичности сборки DSH

Офлайн-слой детерминированных доказательств для цепочек поставок DeepSeek Harness. Он проверяет, оставался ли явный доступ к сборке, основанный только на хэшах, в пределах объявленного закрытия файлов, окружения, сети, часов, случайности и выходных данных.

Он не выполняет сборку, не обеспечивает песочницу, не аутентифицирует квитанцию и не доказывает, что незаписанные доступы не могли произойти. Он также не доказывает воспроизводимость. Вердикт hermetic означает только то, что предоставленная квитанция внутренне полна и соответствует политике.

Дополнительная граница

  • dsh-reproducible-build-proof сравнивает независимо выполненные квитанции повторной сборки для побайтово идентичных указанных выходных данных.

  • dsh-attestation-proof проверяет подписи DSSE/in-toto, субъекты и пороговые значения подписантов.

  • Этот плагин проверяет объявленное закрытие внешнего влияния одной записанной сборки: чтение/запись файлов, чтение окружения, сеть, часы и случайность.

Наблюдаемый незадекларированный доступ приводит к сбою. Отклонённая незадекларированная попытка сохраняется как доказательство сдерживания, но не нарушает закрытие. Наблюдаемый сетевой доступ всегда приводит к сбою в соответствии с политикой сети v1, разрешающей только запрет. Объявленные входные и выходные данные должны все присутствовать в квитанции; ревизия исходного кода, вызов, значение часов, случайное зерно и разрешённые значения окружения привязаны к хэшам.

Related MCP server: dsh-artifact-promotion-proof

Установка

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

This server cannot be deployed

One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

Resources

Related MCP Connectors

Related MCP Servers

  • dsh-artifact-promotion-proof

    dongsheng123132
    A
    license
    Not graded
    quality
    C
    maintenance
    Enables offline, deterministic verification that one immutable artifact followed a declared build-to-production promotion chain, using only hash-based evidence and failing closed on incomplete or nonconformant gate records.
    MIT

  • dsh-duty-separation-proof

    dongsheng123132
    A
    license
    Not graded
    quality
    C
    maintenance
    Enables offline verification that a supplied DSH workflow adhered to declared duty-separation constraints, producing a redacted, content-addressed JSON verdict.
    MIT

  • dsh-vulnerability-remediation

    dongsheng123132
    A
    license
    Not graded
    quality
    C
    maintenance
    Offers proof-only tools to inspect and verify remediation closure receipts, deterministically confirming asset coverage, fixed artifact deployment, rescanning, deadline compliance, and zero-residual closure without executing scans or touching live systems.
    MIT