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를 정직하게 관찰했음을 증명할 수 없습니다.