dsh-tool-surface-proof

콘텐츠 주소 기반 증명으로, DeepSeek Harness 배포 한 곳의 실제 기록된 모델 가시 툴 표면이 에이전트 범위, 권한 모드, 프레젠테이션 모드 전반에 걸쳐 승인된 잠금(lock)과 여전히 일치함을 입증합니다.

DeepSeek Harness는 이미 번들된 툴 플러그인을 부팅하여 공식 기본 툴 스키마 카탈로그를 생성합니다. dsh-mcp-lens는 이미 대 MCP 카탈로그를 압축하고 스키마 예산 검사를 제공합니다. 이 플러그인은 둘 다 수행하지 않습니다. 배포별로 명시적으로 기록된투(envelope)를 검증합니다. 예를 들어, 업그레이드 후에도 owner/native 표면과 reader/native 표면이 승인된 툴 식별자와 스키마를 정확히 그대로 노출하는지 확인합니다.

증명 계약

스키마 버전 1은 정확한 배포 리전, 평가 시각, 신선도 정책, 그리고 surfaceId당 승인된 표면 하나를 바인딩합니다. 각 표면은 agentScope, permissionMode, presentationMode, 그리고 순서가 있는 {nameHash, schemaHash, position} 잠금을 선합니다. 각 관측 기록은 동일한 공개 차원에 더해 별도의 신뢰된 레코더가 포착한 모델 가시 툴 객체를 기록합니다.

검증기는 누락되거나 예상치 못한 표면, 범위/권한/프레젠테이션 불일치, 추가되거나 제거된 툴, 스키마 변경, 선택적 순서 드리프트, 오래되었거나 미래 시각의 관측, 중복 식별자, 리비전 불일치를 감지합니다. 보고서에는 SHA-256 식별자, 개수, 드리프트 범주만 포함됩니다. 툴 이름, 설명,키마 또는 원시 비즈니 콘텐츠는 절대 반환하지 않습니다.

이 플러그인은 실시간 런타임 상태를 포착하지 않으며, 권한을 부여하거나 거부하지 않고, 명령을 실행하지 않고, MCP 서버에 연결하지 않으며, 레코더가 정직했음을 증명하지 않습니다. 관측 봉투를 만들려면 신뢰할 수 배포별 레코더를 사용하고, 승인 전에 잠금을 검토하십.

Related MCP server: dsh-schema-migration-proof

CLI

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

검증은 워크스페이스 상대 경로의 일반 파일 하나를 읽고, 심볼릭 링크와 경로 탐색을부하며, 네트워크 요청이나 하위 프로세스를 수행하지 않고 명시된 아티팩트 디렉터리 아래에 콘텐츠 주소 기반 JSON 보고서만 배타적 생성 및 읽기-백 검증 방식으로 작성합니다.

##SH 및 MCP

DSH 번 dsh_tool_surface_inspect와 dsh_t_surface_verify를 노출합니다. 독립형 stdio MCP 서버는 인라인, 파일시스템 비사용 방식의 동등 기능을 노출합니다. 둘 다 동일한 인터페이스 없는어를 호출합니다.

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 라이선스. SECURITY.md 참조.