Skip to content

tdealer01-crypto/dsg-governance

v1.0.0

Govern agent actions against approved plans and retain deterministic evidence and proof receipts through DSG ONE.

DSG Governance — Agent Plugins 1.0 package

Portable Agent Plugins v1 package for using DSG ONE as an independent evidence and conformance plane around agent executions.

Install from the DSG Agent Plugin marketplace

The repository exposes a GitHub Copilot plugin marketplace named dsg-agent-plugins from .github/plugin/marketplace.json.

copilot plugin marketplace add tdealer01-crypto/DSG-Cinema-Proof-Agent
copilot plugin marketplace browse dsg-agent-plugins
copilot plugin install dsg-governance@dsg-agent-plugins

These commands are covered by a real GitHub Copilot CLI client-install E2E on a GitHub-hosted runner. Authenticated agent-driven dsg_status and one benign full governed execution through proof-receipt readback are covered by separate gated E2E workflows and permanent evidence below.

Package contents

marketplace/agent-plugin/
├── plugin.json
├── mcp.json
└── skills/
    └── dsg-governed-execution/
        ├── SKILL.md
        └── references/
            └── revenue.md

plugin.json targets Agent Plugins 1.0.0. mcp.json declares the production DSG MCP endpoint as streamable-http. No credentials are stored in the package; Agent Plugins v1 authorization is client-managed.

What it does

The skill drives this evidence path:

Agent/App
  → raw approved plan
  → DSG plan hash + approval binding
  → plan-alignment verification
  → deterministic constraints + exact Z3
  → agent executes the approved action
  → execution record + real evidence
  → replay/evidence verification
  → proof receipt

The plugin does not turn DSG into another autonomous agent platform. It gives an existing agent a portable path into DSG's independent policy/evidence layer.

Revenue path

Plugin discovery
  → free activation (25 verified proofs, hard cap)
  → governed executions
  → quota/payment remediation
  → user-initiated Stripe Checkout
  → signed scoped webhook entitlement
  → proof-bound metering
  → usage ledger + Stripe meter sync

Checkout creation never grants entitlement. The existing DSG signed Stripe webhook is the paid-entitlement boundary.

Compatibility evidence

TargetCurrent evidenceStatus
Agent Plugins v1 package structureRepository conformance test validates manifest, MCP config, Skill frontmatter, HTTPS endpoint, and absence of embedded credentialsCI-GATED
DSG Copilot marketplace catalogRepository conformance test validates .github/plugin/marketplace.json, the dsg-governance source path, version alignment, and strict loadingCI-GATED
DSG MCP protocol contractExisting API tests exercise initialize, tools/list, tool calls, refusal handling, and no caller-supplied verdictsCI-GATED
DSG execution semanticsExisting API tests cover approved execution, out-of-plan BLOCK, replay REVIEW, deterministic constraints, and fail-closed verifier behaviorCI-GATED
VS Code / GitHub Copilot client installNo real client run is stored in this repository yetNOT VERIFIED
Copilot CLI client installGitHub Actions run 32482954936 used GitHub Copilot CLI 1.0.80 to add dsg-agent-plugins, browse it, install dsg-governance@dsg-agent-plugins, and confirm plugin v1.0.0 in the installed-plugin list. Permanent evidence: evidence/client/copilot-cli-plugin-e2e-2026-08-21.jsonPASS
Copilot CLI agent authentication in CIGitHub Actions run 32497793523 authenticated GitHub Copilot CLI 1.0.80 with the configured user-owned COPILOT_CLI_TOKEN before any DSG key was issued. Permanent evidence: evidence/client/copilot-cli-mcp-auth-e2e-2026-08-21.jsonPASS
Copilot CLI authenticated DSG MCP dsg_status tool callRun 32497793523 activated an ephemeral free DSG key only after Copilot auth, registered dsg-one-auth, independently verified authenticated dsg_status = READY, and then had the Copilot agent invoke dsg_status successfully. Credentials were not retained. Permanent evidence: evidence/client/copilot-cli-mcp-auth-e2e-2026-08-21.jsonPASS
Copilot CLI full governed execution + proof receiptRun 32499134400 completed one benign run-bound conformance flow through plan creation, approval, alignment, exact-Z3 constraints, execution record, content-verified evidence, replay, execution verification and proof readback. Independent post-agent checks re-read proof_01m0jfx6fvcm1fbxt6w4vh and required ALLOW, VERIFIED_GLOBAL_OPTIMUM, complete evidence/replay, and receipt_hash_verified = true. Permanent evidence: evidence/client/copilot-cli-full-governed-e2e-2026-08-21.jsonPASS
Other Agent Plugins clientsMust be tested client by clientNOT VERIFIED

Package conformance is not client compatibility. A client row changes to PASS only when a real client run produces stored evidence for that exact surface.

Authentication

The portable package deliberately contains no X-DSG-API-Key header. Store DSG credentials using the client/application's credential mechanism. Agent Plugins 1.0 does not define a portable secret-reference field for remote HTTP headers, so this package does not fake one.

For automated Copilot CLI agent/tool-call testing, the repository workflows expect a secret named COPILOT_CLI_TOKEN. It must be a user-owned fine-grained GitHub token with the Copilot Requests account permission. Do not put this token in the plugin package, repository files, issue comments, or workflow logs.

The workflows perform Copilot authentication before calling /billing/activate, so an unavailable Copilot credential does not create additional DSG free accounts. If authentication passes, the DSG API key is generated for that CI attempt, masked immediately, used only in the ephemeral runner, and not retained in artifacts.

User-visible result

A useful integration must show, without requiring log inspection:

  1. whether DSG returned ALLOW, REVIEW, BLOCK, or unavailable;
  2. the specific reason;
  3. receipt/proof identity when verified;
  4. the remediation and next action when not verified;
  5. billing/quota state without implying that Checkout creation itself granted access.

Truth boundary

This directory is a portable package and CI target. The marketplace catalog is proven discoverable/installable by GitHub Copilot CLI 1.0.80; run 32497793523 proves authenticated agent-driven dsg_status; and run 32499134400 proves one benign Copilot CLI full governed conformance execution reached an independently re-read ALLOW · VERIFIED_GLOBAL_OPTIMUM proof receipt with complete content evidence, replay match, and a verified receipt hash against the Azure DSG MCP endpoint. The exercised action was only a CI conformance record. This evidence does not claim that Copilot deployed or changed an external production resource. VS Code and other Agent Plugins clients remain unverified until client-specific evidence exists.