dsh-loader-settlement-proof

記録されたDeepSeek Harness Loaderの決済に対するオフライン証跡レイヤー。以下に対する固定されたボディフリーのレシートを検証します：

• 対象DSHリビジョンとLoaderコントラクトのバインディング；

• 順序付けられたdeclared → resolved → loaded → activatedライフサイクル；

• 有効化/必須エントリのアクティベーションと分類された障害；

• 要求されたインジェクションと解決されたインジェクションの比較；

• 必須ツール名とそのスキーマSHA-256レシート；

• 重複エントリ、フェーズ、ツール、およびエントリ間のツール衝突。

決定的でコンテンツアドレス可能なJSONを出力します。DSHツール/CLIは、明示的なartifactDirの下にのみ公開でき、公開後にバイトを検証できます。MCPはインラインのみです。

意図的な境界

これは別のLoaderではありません。DSH app-bootはすでにライブのassertEntriesLoadedとassertEntriesActivatedを強制します；dsh-reloaderはサーフェスを再起動し、dsh-builtin-togglesは許可リストに登録されたUIサブセットを変更し、dsh-profile-lock-proofはインストールされた構成を証明し、Awesomeランタイムマトリックスは実際のクロスプラットフォームブートを実行します。このプラグインは、後日の監査のためにプロデューサーが提供したリビジョンにバインドされた決済レシートを検証します。記録されたプラグインをインポート、実行、再ロード、またはトグルすることは決してなく、生のログ、スタックトレース、出力、ビジネスボディ、またはシークレットを受け入れることもありません。

Related MCP server: ShipReceipt MCP Server

使用法

dsh plugin --profile web add github:dongsheng123132/dsh-loader-settlement-proof#<commit>
dsh-loader-settlement-proof inspect examples/settlement.json
dsh-loader-settlement-proof verify examples/settlement.json artifacts

DSHツール：dsh_loader_settlement_inspect、dsh_loader_settlement_verify。

MCPツール：loader_settlement_inspect_inline、loader_settlement_verify_inline。

検証

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

verifiedは、レシートがその明示的なポリシーと内部的に整合していることを意味します。これはセキュリティ認証ではなく、レシートプロデューサーがライブのLoaderを正直に観測したことを証明することはできません。