dsh-build-hermeticity-proof
Run the following command in DeepSeek Harness:
dsh plugin install dongsheng123132/dsh-build-hermeticity-proof
Paste the following prompt into your AI chat to install this plugin:
Run dsh plugin install dongsheng123132/dsh-build-hermeticity-proof in your DeepSeek Harness terminal to install this plugin; the source is available at https://github.com/dongsheng123132/dsh-build-hermeticity-proof
About this plugin
In supply-chain build audits, the most frequently asked question is: did this build quietly read undeclared files, touch the network, or depend on unrecorded environment variables or randomness? dsh-build-hermeticity-proof supplies an offline, deterministic evidence layer that answers exactly that. It accepts a single hash-only build access receipt and checks, line by line, whether every file read/write, environment read, network call, clock value, and randomness draw fell inside the declared closure. Any observed undeclared access fails immediately; a denied undeclared attempt is retained as containment evidence without breaching the closure.
Core capabilities include a v1 deny-only network policy where any observed network traffic is an automatic failure; hash-binding of source revision, invocation, clock value, random seed, and allowed environment values so internal consistency is verifiable; and reports that contain only hashes, counts, booleans, classifications, and verdicts, explicitly rejecting secret-shaped material and raw logs. The verifier has zero runtime dependencies, spawns no processes, makes no network requests, and runs on Node.js 22 or newer.
The plugin does not execute a build, enforce a sandbox, authenticate the receipt, or prove reproducibility; its scope is to determine whether a recorded build receipt is internally complete and policy-conformant. It is suited for supply-chain security auditors, build-compliance reviewers, and any team that needs to verify isolation boundaries offline without re-running the build.
Use Cases
- Verify offline that a build did not access undeclared files, network, or environment variables
- Confirm receipt hash-closure integrity and policy conformance during compliance review
- Audit whether a build depended on unrecorded clock values or randomness without re-execution
Best For
- Supply-chain security auditors
- Build-compliance and isolation reviewers
- DevSecOps teams requiring offline isolation-boundary verification
Related Plugins
Adds an Auto approval mode on the official workspace-write sandbox, classifying semantic risks, asking when ambiguous, and denying destructive operations.
Undo/rollback system for DSH: config & plugin snapshots, one-click undo/redo/restore, message-level revert, secret masking, safe mode, and offline WebUI/GUI/CLI rescue tools for when DSH won't start.
Packages all 87 SKILL.md files from upstream reverse-skill as a DeepSeek Harness plugin that auto-registers them for authorized reverse engineering, penetration testing, and security research.
Dockyard DSH is a native DeepSeek Harness plugin that unifies official OAuth/client sessions for Codex, Antigravity, Grok, Claude, and Cursor, providing account pool, model catalog, and quota status.