dsh-tool-surface-proof

Inhaltsadressierter Nachweis, dass die tatsächlich aufgezeichnete, modellsichtbare Tool-Oberfläche einer DeepSeek-Harness-Bereitstellung weiterhin mit einem genehmigten Lock über Agent-Scopes, Berechtigungsmodi und Präsentationsmodi übereinstimmt.

DeepSeek Harness erzeugt bereits einen offiziellen Standard-Tool-Schema-Katalog, indem es ausgelieferte Tool-Plugins startet. dsh-mcp-lens komprimiert bereits große MCP-Kataloge und bietet Schema-Budget-Prüfungen. Dieses Plugin tut keines von beidem. Es verifiziert bereitstellungsspezifische, explizit aufgezeichnete Envelopes: zum Beispiel, ob eine Owner/Native-Oberfläche und eine Reader/Native-Oberfläche nach einem Upgrade weiterhin exakt die genehmigten Tool-Identitäten und Schemata offenlegen.

Nachweisvertrag

Schema-Version 1 bindet eine exakte Bereitstellungsrevision, Bewertungszeit, Aktualitätsrichtlinie und eine genehmigte Oberfläche pro surfaceId. Jede Oberfläche deklariert agentScope, permissionMode, presentationMode und geordnete {nameHash, schemaHash, position}-Locks. Jede Beobachtung zeichnet dieselben öffentlichen Dimensionen plus die modellsichtbaren Tool-Objekte auf, die von einem separaten vertrauenswürdigen Recorder erfasst wurden.

Der Verifizierer erkennt fehlende oder unerwartete Oberflächen, Scope-/Berechtigungs-/Präsentationsabweichungen, hinzugefügte oder entfernte Tools, Schemaänderungen, optionale Reihenfolgeabweichungen, veraltete/zukünftige Beobachtungen, doppelte Identitäten und Revisionsabweichungen. Berichte enthalten nur SHA-256-Identitäten, Zählungen und Abweichungskategorien. Sie geben niemals Tool-Namen, Beschreibungen, Schemata oder rohe Geschäftsinhalte zurück.

Dieses Plugin erfasst keinen Live-Laufzeitzustand, gewährt oder verweigert keine Berechtigungen, führt keine Befehle aus, verbindet sich nicht mit MCP-Servern und beweist nicht, dass ein Recorder ehrlich war. Verwenden Sie einen vertrauenswürdigen bereitstellungsspezifischen Recorder, um den Beobachtungs-Envelope zu erstellen, und überprüfen Sie das Lock vor der Genehmigung.

CLI

dsh-tool-surface-proof inspect --manifest surface.json
dsh-tool-surface-proof verify --workspace-root . --manifest surface.json --artifact-dir artifacts

Die Verifizierung liest eine arbeitsbereichsrelative reguläre Datei, lehnt Symlinks und Traversal ab, führt keine Netzwerkanfragen oder Unterprozesse aus und schreibt nur einen inhaltsadressierten JSON-Bericht unterhalb des expliziten Artefaktverzeichnisses mit exklusiver Erstellung und Rücklese-Verifikation.

DSH und MCP

Das DSH-Bundle stellt dsh_tool_surface_inspect und dsh_tool_surface_verify bereit. Der unabhängige stdio-MCP-Server stellt Inline-Äquivalente ohne Dateisystem bereit. Beide rufen denselben schnittstellenfreien Kern auf.

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 .

MIT-lizenziert. Siehe SECURITY.md.