polydeukes 0.0.1 → 0.4.0

package/dist/schema/polydeukes.schema.json

@@ -0,0 +1,203 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "title": "Polydeukes config",
+  "description": "Schema v2 (config as data) — equivalent to the runtime defineConfig() validator; the equivalence is enforced by a contract test.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["languages"],
+  "properties": {
+    "$schema": {
+      "description": "IDE schema reference — accepted and ignored by the runtime validator.",
+      "type": "string"
+    },
+    "languages": {
+      "description": "Language axis, first-class. Keys are user values ('typescript', 'python', ...).",
+      "type": "object",
+      "minProperties": 1,
+      "additionalProperties": { "$ref": "#/$defs/languageProfile" }
+    },
+    "protectedPaths": {
+      "description": "Raw protected path patterns — normalization happens at resolve time.",
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "adapters": {
+      "description": "Adapter namespaces — keys are adapter names, values are each adapter's own settings object (contents not validated by the core schema).",
+      "type": "object",
+      "additionalProperties": { "type": "object" }
+    },
+    "telemetry": { "$ref": "#/$defs/telemetry" },
+    "disciplines": {
+      "description": "User-declared disciplines — validated data the covenant package compiles. Fully identical entries are copy-paste duplicates (by-id uniqueness is enforced by the runtime validator).",
+      "type": "array",
+      "uniqueItems": true,
+      "items": { "$ref": "#/$defs/discipline" }
+    },
+    "witness": { "$ref": "#/$defs/witness" }
+  },
+  "$defs": {
+    "languageProfile": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["productionGlob", "testCmd"],
+      "properties": {
+        "productionGlob": {
+          "description": "What counts as production source for this language.",
+          "anyOf": [
+            { "type": "string", "minLength": 1 },
+            {
+              "type": "array",
+              "minItems": 1,
+              "items": { "type": "string", "minLength": 1 }
+            }
+          ]
+        },
+        "testCmd": {
+          "description": "Shell command template that verifies the given scope — every literal {scope} token is substituted at resolve time.",
+          "type": "string",
+          "minLength": 1
+        }
+      }
+    },
+    "telemetry": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "logPath": {
+          "description": "Telemetry log path. Defaults to .polydeukes/roi.log when omitted. Must be non-empty after trimming.",
+          "type": "string",
+          "minLength": 1,
+          "pattern": "\\S"
+        }
+      }
+    },
+    "witness": {
+      "description": "TTL witness settings — the agreed token and validity window (minutes) consumed by the covenant valve assembly (CONFIG-05).",
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["token", "ttlMinutes"],
+      "properties": {
+        "token": {
+          "description": "The agreed phrase a human types alone on a message's first line — quoting it mid-sentence is a mention, not an invocation (COVENANT-15). Must be non-empty after trimming; the value itself is free.",
+          "type": "string",
+          "minLength": 1,
+          "pattern": "\\S"
+        },
+        "ttlMinutes": {
+          "description": "Validity window in minutes from the user message's timestamp. Must be a finite number > 0.",
+          "type": "number",
+          "exclusiveMinimum": 0
+        }
+      }
+    },
+    "disciplineId": {
+      "description": "Unique handle — telemetry label and verdict reason prefix.",
+      "type": "string",
+      "minLength": 1
+    },
+    "disciplineWhy": {
+      "description": "Prose rationale, documentation only — never judged.",
+      "type": "string"
+    },
+    "globOrGlobs": {
+      "anyOf": [
+        { "type": "string", "minLength": 1 },
+        {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "minLength": 1 }
+        }
+      ]
+    },
+    "requirePrecedent": {
+      "description": "Context family — the session evidence one edit requires beforehand. Exactly one evidence key. The core owns and fully validates 'command'; every other key is adapter vocabulary whose value passes through verbatim (unconstrained here, judged by that adapter).",
+      "type": "object",
+      "minProperties": 1,
+      "maxProperties": 1,
+      "properties": {
+        "command": {
+          "description": "Core evidence vocabulary — regex over the shell command strings observed in the session.",
+          "type": "string",
+          "minLength": 1,
+          "format": "regex"
+        }
+      }
+    },
+    "discipline": {
+      "description": "One discipline entry — exactly one predicate family (forbid | immutable | forbidCommand | requirePrecedent); in/except scope the forbid and requirePrecedent families, and when scopes requirePrecedent only.",
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["id", "forbid"],
+          "properties": {
+            "id": { "$ref": "#/$defs/disciplineId" },
+            "why": { "$ref": "#/$defs/disciplineWhy" },
+            "in": { "$ref": "#/$defs/globOrGlobs" },
+            "except": { "$ref": "#/$defs/globOrGlobs" },
+            "forbid": {
+              "description": "Delta family — string shorthand is equivalent to { added }.",
+              "anyOf": [
+                { "type": "string", "minLength": 1, "format": "regex" },
+                {
+                  "type": "object",
+                  "additionalProperties": false,
+                  "required": ["added"],
+                  "properties": {
+                    "added": { "type": "string", "minLength": 1, "format": "regex" }
+                  }
+                }
+              ]
+            }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["id", "immutable"],
+          "properties": {
+            "id": { "$ref": "#/$defs/disciplineId" },
+            "why": { "$ref": "#/$defs/disciplineWhy" },
+            "immutable": {
+              "description": "Path family — its own glob is the scope.",
+              "$ref": "#/$defs/globOrGlobs"
+            }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["id", "forbidCommand"],
+          "properties": {
+            "id": { "$ref": "#/$defs/disciplineId" },
+            "why": { "$ref": "#/$defs/disciplineWhy" },
+            "forbidCommand": {
+              "description": "Command family — regex over shell command strings.",
+              "type": "string",
+              "minLength": 1,
+              "format": "regex"
+            }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["id", "requirePrecedent"],
+          "properties": {
+            "id": { "$ref": "#/$defs/disciplineId" },
+            "why": { "$ref": "#/$defs/disciplineWhy" },
+            "in": { "$ref": "#/$defs/globOrGlobs" },
+            "except": { "$ref": "#/$defs/globOrGlobs" },
+            "when": {
+              "description": "Context-family trigger — added-direction delta regex. Absent means every in-scope change triggers.",
+              "type": "string",
+              "minLength": 1,
+              "format": "regex"
+            },
+            "requirePrecedent": { "$ref": "#/$defs/requirePrecedent" }
+          }
+        }
+      ]
+    }
+  }
+}

package/package.json

@@ -1,13 +1,15 @@
 {
   "name": "polydeukes",
-  "version": "0.0.1",
-  "description": "A harness framework for developing alongside an AI coding partner — deterministic guards, verifiable work ledger, local knowledge graph, and adversarial verification. Pre-alpha; design stage.",
+  "version": "0.4.0",
+  "description": "A development discipline framework for building alongside an AI coding partner — deterministic covenants, a verifiable work ledger, local memory, and adversarial verification. Alpha.",
   "keywords": [
     "harness",
+    "guard",
+    "discipline",
+    "covenant",
     "ai",
     "agent",
     "dev-tool",
-    "guard",
     "ledger",
     "verification"
   ],
@@ -22,6 +24,10 @@
     "url": "https://github.com/huskyhoochu/polydeukes/issues"
   },
   "type": "module",
+  "bin": {
+    "pdks": "./dist/bin.js",
+    "polydeukes": "./dist/bin.js"
+  },
   "main": "./dist/index.js",
   "module": "./dist/index.js",
   "types": "./dist/index.d.ts",
@@ -29,24 +35,38 @@
     ".": {
       "types": "./dist/index.d.ts",
       "import": "./dist/index.js"
-    }
+    },
+    "./claude-code": {
+      "types": "./dist/claude-code-hook.d.ts",
+      "import": "./dist/claude-code-hook.js"
+    },
+    "./schema.json": "./dist/schema/polydeukes.schema.json"
   },
   "files": [
     "dist",
     "README.md"
   ],
-  "scripts": {
-    "build": "tsc -p tsconfig.json",
-    "typecheck": "tsc --noEmit",
-    "prepublishOnly": "pnpm run build"
-  },
   "engines": {
     "node": ">=24"
   },
   "publishConfig": {
     "access": "public"
   },
+  "dependencies": {
+    "yaml": "2.9.0",
+    "@polydeukes/adapter-claude-code": "^0.4.0",
+    "@polydeukes/adapter-git": "^0.4.0",
+    "@polydeukes/core": "^0.4.0",
+    "@polydeukes/covenant": "^0.4.0"
+  },
   "devDependencies": {
-    "typescript": "^5.7.0"
+    "@types/node": "^24.0.0",
+    "typescript": "7.0.2",
+    "vitest": "^4.1.0"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json && node scripts/copy-docs.mjs && node scripts/copy-schema.mjs",
+    "typecheck": "tsc --noEmit",
+    "test": "vitest run"
   }
-}
+}