dsh-openwrite 0.2.8

package/vendor/dsh-dog/package.json

@@ -0,0 +1,97 @@
+{
+  "name": "@dsh-external/dsh-dog",
+  "version": "1.2.0",
+  "description": "DeepSeek Harness DoG (DAG of Goals) graph validation and trusted artifact verification plugin.",
+  "private": true,
+  "type": "module",
+  "main": "lib/index.js",
+  "types": "lib/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./lib/index.d.ts",
+      "default": "./lib/index.js"
+    },
+    "./core": {
+      "types": "./lib/core.d.ts",
+      "default": "./lib/core.js"
+    },
+    "./client": "./lib/client.js",
+    "./cordis.patch.yml": "./cordis.patch.yml",
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "lib",
+    "src",
+    "SPEC.md",
+    "cordis.patch.yml"
+  ],
+  "scripts": {
+    "typecheck": "tsc -p tsconfig.json && tsc -p tsconfig.client.json",
+    "test": "vitest run",
+    "build": "tsdown",
+    "check": "pnpm run typecheck && pnpm run test && pnpm run build"
+  },
+  "dsh": {
+    "bundle": {
+      "patch": "./cordis.patch.yml"
+    },
+    "client": {
+      "inject": [
+        "@deepseek-ai/dsh-client-connection",
+        "@deepseek-ai/dsh-api-session-controller",
+        "@deepseek-ai/dsh-client-ui-layout",
+        "@deepseek-ai/dsh-client-ui-session"
+      ],
+      "platform": "web"
+    }
+  },
+  "peerDependencies": {
+    "@deepseek-ai/cordis": "4.0.2",
+    "@deepseek-ai/dsh-client-connection": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-client-ui-layout": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-client-ui-slots": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-home-paths": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-host-webserver": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-tools": "0.1.2-rc.1",
+    "@deepseek-ai/schemastery": "3.18.2",
+    "react": "^18.3.1"
+  },
+  "devDependencies": {
+    "@deepseek-ai/cordis": "4.0.2",
+    "@deepseek-ai/dsh-agent": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-api-gateway": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-api-session-controller": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-attachment": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-client-connection": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-client-ui-layout": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-client-ui-renderer": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-client-ui-slots": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-code-runtime": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-home-paths": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-host-webserver": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-invariants": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-jobs": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-llm": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-scope": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-session": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-settings": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-subagent": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-system-prompt": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-tools": "0.1.2-rc.1",
+    "@deepseek-ai/dsh-user-approval": "0.1.2-rc.1",
+    "@deepseek-ai/schemastery": "3.18.2",
+    "@types/node": "^22.20.0",
+    "@types/react": "~18.3.31",
+    "tsdown": "^0.22.2",
+    "typescript": "^5.9.3",
+    "vitest": "^4.1.1",
+    "@deepseek-ai/dsh-client-ui-session": "0.1.2-rc.1",
+    "react": "^18.3.1"
+  },
+  "license": "BSD-3-Clause",
+  "dependencies": {
+    "ajv": "^8.20.0",
+    "ajv-formats": "^3.0.1",
+    "tar": "7.5.7"
+  }
+}

package/vendor/dsh-dog/schemas/schema-0.2/graph.schema.json

@@ -0,0 +1,139 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/dsh-external/dsh-dog/schemas/schema-0.9/graph.schema.json",
+  "title": "DoG v0.9 graph input (dog_validate / dog_create payload)",
+  "description": "Verification graph authored by the planning agent. Machine-readable counterpart of SPEC §4 / §1. Graph-level semantic rules (reference resolution, acyclicity, leaf-requires-verifier) are enforced by the compiler, not expressible here.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "id", "root", "nodes", "contains", "dependsOn"],
+  "properties": {
+    "schemaVersion": { "const": "0.9" },
+    "id": { "$ref": "#/$defs/asciiId" },
+    "root": { "$ref": "#/$defs/goalId" },
+    "nodes": {
+      "type": "object",
+      "minProperties": 1,
+      "propertyNames": { "$ref": "#/$defs/goalId" },
+      "additionalProperties": { "$ref": "#/$defs/node" }
+    },
+    "contains": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/containment" }
+    },
+    "dependsOn": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/dependency" }
+    }
+  },
+  "$defs": {
+    "asciiId": {
+      "type": "string",
+      "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._-]{0,127}$"
+    },
+    "goalId": {
+      "type": "string",
+      "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._-]{0,127}$"
+    },
+    "node": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["kind", "title", "constraint", "target"],
+      "properties": {
+        "kind": { "enum": ["leaf", "composite"] },
+        "title": { "type": "string", "minLength": 1 },
+        "constraint": { "enum": ["hard", "soft"] },
+        "target": {
+          "description": "Single file, or a directory/collection packed into .tar by the engine.",
+          "type": "string",
+          "minLength": 1
+        },
+        "verifier": {
+          "description": "Leaf: required. Composite: optional whole-object assertion (runs after the subtree settles).",
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["mode"],
+          "properties": {
+            "mode": { "enum": ["programmatic", "agentic"] },
+            "script": { "type": "string", "minLength": 1 },
+            "instruction": { "type": "string", "minLength": 1 }
+          }
+        },
+        "completion": {
+          "description": "Required when kind=composite; forbidden when kind=leaf.",
+          "$ref": "#/$defs/expr"
+        }
+      },
+      "allOf": [
+        {
+          "if": { "properties": { "kind": { "const": "leaf" } }, "required": ["kind"] },
+          "then": {
+            "required": ["verifier"],
+            "not": { "required": ["completion"] }
+          }
+        },
+        {
+          "if": { "properties": { "kind": { "const": "composite" } }, "required": ["kind"] },
+          "then": { "required": ["completion"] }
+        }
+      ]
+    },
+    "expr": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "op": { "enum": ["ref", "all", "any", "not", "atLeast"] },
+        "id": { "$ref": "#/$defs/goalId" },
+        "count": { "type": "integer", "minimum": 1 },
+        "item": { "$ref": "#/$defs/expr" },
+        "items": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/expr" }
+        }
+      },
+      "allOf": [
+        {
+          "if": { "properties": { "op": { "const": "ref" } }, "required": ["op"] },
+          "then": { "required": ["id"], "not": { "anyOf": [{ "required": ["items"] }, { "required": ["item"] }, { "required": ["count"] }] } }
+        },
+        {
+          "if": { "properties": { "op": { "const": "not" } }, "required": ["op"] },
+          "then": { "required": ["item"], "not": { "anyOf": [{ "required": ["items"] }, { "required": ["id"] }, { "required": ["count"] }] } }
+        },
+        {
+          "if": { "properties": { "op": { "const": "atLeast" } }, "required": ["op"] },
+          "then": { "required": ["count", "items"], "not": { "anyOf": [{ "required": ["id"] }, { "required": ["item"] }] } }
+        },
+        {
+          "if": { "properties": { "op": { "enum": ["all", "any"] } }, "required": ["op"] },
+          "then": { "required": ["items"], "not": { "anyOf": [{ "required": ["id"] }, { "required": ["item"] }, { "required": ["count"] }] } }
+        }
+      ]
+    },
+    "containment": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["parent", "child", "required", "failure"],
+      "properties": {
+        "parent": { "$ref": "#/$defs/goalId" },
+        "child": { "$ref": "#/$defs/goalId" },
+        "required": { "type": "boolean" },
+        "failure": { "enum": ["fatal", "tolerable", "degrade"] },
+        "degradeTo": { "$ref": "#/$defs/goalId" }
+      }
+    },
+    "dependency": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["source", "target"],
+      "properties": {
+        "source": { "$ref": "#/$defs/goalId" },
+        "target": { "$ref": "#/$defs/goalId" },
+        "data": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      }
+    }
+  }
+}

package/vendor/dsh-dog/schemas/schema-0.2/report.schema.json

@@ -0,0 +1,87 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/dsh-external/dsh-dog/schemas/schema-0.2/report.schema.json",
+  "title": "DoG v0.2 CI report (dog_status full response)",
+  "description": "Machine-readable report consumed by the development agent and external CI. Machine-readable counterpart of SPEC §10 report stage.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["runId", "graphId", "rootState", "goals"],
+  "properties": {
+    "runId": { "$ref": "#/$defs/uuid" },
+    "graphId": { "type": "string", "minLength": 1 },
+    "graphDigest": { "$ref": "#/$defs/sha256" },
+    "rootState": {
+      "enum": ["success", "partial_success", "failure", "infeasible", "needs_replan", "cancelled", "running"]
+    },
+    "goals": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/goalReport" }
+    },
+    "revalidated": {
+      "description": "Goal IDs re-run in this run (GM changed or non-programmatic).",
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "inherited": {
+      "description": "Goal IDs whose prior verification record was reused unchanged.",
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["goalId", "fromRunId", "state"],
+        "properties": {
+          "goalId": { "type": "string", "minLength": 1 },
+          "fromRunId": { "$ref": "#/$defs/uuid" },
+          "state": { "const": "inherited" }
+        }
+      }
+    },
+    "warning": {
+      "type": "string",
+      "description": "Threshold warning when the submission re-triggered more leaves than revalidateThreshold (SPEC §9.2)."
+    },
+    "generatedAt": { "type": "string", "format": "date-time" }
+  },
+  "$defs": {
+    "uuid": {
+      "type": "string",
+      "pattern": "^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$"
+    },
+    "sha256": {
+      "type": "string",
+      "pattern": "^([0-9a-f]{64}|sha256:[0-9a-f]{64})$"
+    },
+    "goalReport": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["goalId", "state"],
+      "properties": {
+        "goalId": { "type": "string", "minLength": 1 },
+        "state": {
+          "enum": [
+            "pending", "running", "success", "failure", "blocked",
+            "needs_human", "cancelled", "invalidated", "partial", "inherited"
+          ]
+        },
+        "verifier": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["mode"],
+          "properties": {
+            "mode": { "enum": ["programmatic", "agentic"] }
+          }
+        },
+        "evidence": {
+          "description": "Proof satisfying the contract's evidence schema. References resolve into the sandbox store; never raw artifact bytes.",
+          "type": "array",
+          "items": { "type": "object" }
+        },
+        "defect": {
+          "description": "Bounded human-readable reason when state=failure or needs_human.",
+          "type": "string"
+        },
+        "settledAt": { "type": "string", "format": "date-time" }
+      }
+    }
+  }
+}

package/vendor/dsh-dog/schemas/schema-0.2/run.schema.json

@@ -0,0 +1,259 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/dsh-external/dsh-dog/schemas/schema-0.2/run.schema.json",
+  "title": "DoG v0.2 persisted run record (runs/<run-id>.json)",
+  "description": "Execution state and terminal result of one dog_run. Machine-readable counterpart of SPEC §8 + §11.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "runId",
+    "graphId",
+    "graphDigest",
+    "state",
+    "goals",
+    "createdAt",
+    "updatedAt"
+  ],
+  "properties": {
+    "runId": {
+      "$ref": "#/$defs/uuid"
+    },
+    "graphId": {
+      "type": "string",
+      "minLength": 1
+    },
+    "graphDigest": {
+      "$ref": "#/$defs/sha256"
+    },
+    "workspaceBaseDir": {
+      "description": "Calling session cwd; verifier workspaces are allocated under it when known.",
+      "type": "string",
+      "minLength": 1
+    },
+    "state": {
+      "enum": [
+        "running",
+        "completed",
+        "cancelled",
+        "failed"
+      ]
+    },
+    "rootState": {
+      "description": "Terminal root state when settled (SPEC §8).",
+      "enum": [
+        "success",
+        "partial_success",
+        "failure",
+        "infeasible",
+        "needs_replan",
+        "cancelled"
+      ]
+    },
+    "goals": {
+      "type": "object",
+      "additionalProperties": {
+        "$ref": "#/$defs/goalResult"
+      }
+    },
+    "gmDigests": {
+      "description": "Per-leaf grounding-material digest recorded at revalidate_select.",
+      "type": "object",
+      "additionalProperties": {
+        "$ref": "#/$defs/sha256"
+      }
+    },
+    "invocation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "callId"
+      ],
+      "properties": {
+        "callId": {
+          "type": "string",
+          "minLength": 1
+        },
+        "agentSessionId": {
+          "type": "string",
+          "minLength": 1
+        },
+        "parentSessionId": {
+          "type": "string",
+          "minLength": 1
+        },
+        "invokedAt": {
+          "type": "string",
+          "format": "date-time"
+        }
+      }
+    },
+    "warning": {
+      "type": "string",
+      "description": "Bounded run warning (e.g. runtime-event persist failure); never alters a verdict."
+    },
+    "createdAt": {
+      "type": "string",
+      "format": "date-time"
+    },
+    "updatedAt": {
+      "type": "string",
+      "format": "date-time"
+    },
+    "runtimeWarning": {
+      "type": "string"
+    }
+  },
+  "$defs": {
+    "uuid": {
+      "type": "string",
+      "pattern": "^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$"
+    },
+    "sha256": {
+      "type": "string",
+      "pattern": "^([0-9a-f]{64}|sha256:[0-9a-f]{64})$"
+    },
+    "goalResult": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "state"
+      ],
+      "properties": {
+        "state": {
+          "enum": [
+            "pending",
+            "running",
+            "success",
+            "failure",
+            "blocked",
+            "needs_human",
+            "cancelled",
+            "invalidated",
+            "partial",
+            "inherited"
+          ]
+        },
+        "reason": {
+          "type": "string"
+        },
+        "inheritedFrom": {
+          "description": "Run ID whose verification record was reused when state=inherited.",
+          "$ref": "#/$defs/uuid"
+        },
+        "verification": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "schemaVersion",
+            "runId",
+            "graphId",
+            "graphDigest",
+            "goalId",
+            "judgment",
+            "passed",
+            "at"
+          ],
+          "properties": {
+            "schemaVersion": {
+              "const": "0.1"
+            },
+            "runId": {
+              "$ref": "#/$defs/uuid"
+            },
+            "graphId": {
+              "type": "string",
+              "minLength": 1
+            },
+            "graphDigest": {
+              "$ref": "#/$defs/sha256"
+            },
+            "goalId": {
+              "type": "string",
+              "minLength": 1
+            },
+            "judgment": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": [
+                "mode"
+              ],
+              "properties": {
+                "mode": {
+                  "enum": [
+                    "programmatic",
+                    "agentic"
+                  ]
+                },
+                "script": {
+                  "type": "string"
+                },
+                "scriptDigest": {
+                  "type": "string"
+                },
+                "instructionHash": {
+                  "type": "string"
+                }
+              }
+            },
+            "gmDigest": {
+              "$ref": "#/$defs/sha256"
+            },
+            "passed": {
+              "type": [
+                "boolean",
+                "null"
+              ]
+            },
+            "evidence": {
+              "type": [
+                "object",
+                "array",
+                "string",
+                "number",
+                "boolean",
+                "null"
+              ]
+            },
+            "at": {
+              "type": "string",
+              "format": "date-time"
+            }
+          }
+        },
+        "agentSessions": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+              "sessionId",
+              "role",
+              "boundAt"
+            ],
+            "properties": {
+              "sessionId": {
+                "type": "string",
+                "minLength": 1
+              },
+              "parentSessionId": {
+                "type": "string",
+                "minLength": 1
+              },
+              "role": {
+                "enum": [
+                  "orchestrator",
+                  "verifier",
+                  "reviewer"
+                ]
+              },
+              "boundAt": {
+                "type": "string",
+                "format": "date-time"
+              }
+            }
+          }
+        }
+      }
+    }
+  }
+}

package/vendor/dsh-dog/schemas/schema-0.2/runtime-event.schema.json

@@ -0,0 +1,105 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/dsh-external/dsh-dog/schemas/schema-0.2/runtime-event.schema.json",
+  "title": "DoG v0.2 runtime event (runtime-events/<run-id>-<goal-id>.jsonl)",
+  "description": "Append-only bounded diagnostic activity; one JSON object per line. Never verifier evidence. Machine-readable counterpart of SPEC §8 + §11.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "runId",
+    "goalId",
+    "phase",
+    "state",
+    "at"
+  ],
+  "properties": {
+    "runId": {
+      "$ref": "#/$defs/uuid"
+    },
+    "goalId": {
+      "type": "string",
+      "minLength": 1
+    },
+    "phase": {
+      "description": "Operational stage of the goal in this run.",
+      "enum": [
+        "goal_started",
+        "dependency_blocked",
+        "grounding_extracted",
+        "workspace_allocated",
+        "verifier_started",
+        "verifier_passed",
+        "verifier_failed",
+        "verifier_inconclusive",
+        "composite_evaluated",
+        "result_inherited",
+        "structured_error",
+        "goal_settled",
+        "run_warning",
+        "verifier_released",
+        "verifier_bind_failed"
+      ]
+    },
+    "state": {
+      "description": "Goal state at the moment of the event.",
+      "enum": [
+        "pending",
+        "running",
+        "success",
+        "failure",
+        "blocked",
+        "needs_human",
+        "cancelled",
+        "invalidated",
+        "partial",
+        "inherited"
+      ]
+    },
+    "verifier": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "mode"
+      ],
+      "properties": {
+        "mode": {
+          "enum": [
+            "programmatic",
+            "agentic"
+          ]
+        }
+      }
+    },
+    "attempt": {
+      "type": "integer",
+      "minimum": 1
+    },
+    "durationMs": {
+      "type": "integer",
+      "minimum": 0
+    },
+    "reason": {
+      "type": "string"
+    },
+    "errorCategory": {
+      "type": "string"
+    },
+    "gmDigest": {
+      "$ref": "#/$defs/sha256"
+    },
+    "at": {
+      "type": "string",
+      "format": "date-time"
+    }
+  },
+  "$defs": {
+    "uuid": {
+      "type": "string",
+      "pattern": "^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$"
+    },
+    "sha256": {
+      "type": "string",
+      "pattern": "^([0-9a-f]{64}|sha256:[0-9a-f]{64})$"
+    }
+  }
+}