polydeukes 0.4.0 → 0.6.0

package/dist/schema/polydeukes.schema.json

@@ -91,113 +91,86 @@
       }
     },
     "disciplineId": {
-      "description": "Unique handle — telemetry label and verdict reason prefix.",
+      "description": "Unique handle — telemetry label and verdict reason prefix. The three meta-covenant labels are reserved.",
       "type": "string",
-      "minLength": 1
+      "minLength": 1,
+      "not": { "enum": ["self-mod", "shell-mod", "transcript-mod"] }
     },
     "disciplineWhy": {
-      "description": "Prose rationale, documentation only — never judged.",
+      "description": "Prose rationale — never judged, and carried into the break message.",
       "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"
-        }
-      }
+    "enforceLevel": {
+      "description": "The entry's own level. 'advise' records a break without stopping it; 'block' pins the entry at block. Composes with the surface's level, the lenient side winning; absent means advise; 'block' is the promotion rung.",
+      "enum": ["block", "advise"]
     },
     "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.",
+      "description": "One discipline entry — a judged entry (id + declare, optionally why and enforce), or a draft (id + why + draft: true, no declaration).",
       "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"],
+          "required": ["id", "why", "draft"],
           "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.",
+            "why": {
+              "description": "A draft's only body is its prose, so why is required and non-empty here.",
               "type": "string",
-              "minLength": 1,
-              "format": "regex"
+              "minLength": 1
+            },
+            "draft": {
+              "description": "Marks an unpromoted entry — declared as prose, never judged, never recorded. Only the literal true exists; false would be dead data synonymous with absence.",
+              "const": true
             }
           }
         },
         {
           "type": "object",
           "additionalProperties": false,
-          "required": ["id", "requirePrecedent"],
+          "required": ["id", "declare"],
           "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" }
+            "enforce": { "$ref": "#/$defs/enforceLevel" },
+            "declare": { "$ref": "#/$defs/declarationBody" }
           }
         }
       ]
+    },
+    "declarationBody": {
+      "description": "Declaration family — one judgment written as data, in the grammar of the algebra declaration schema published beside this one, minus its 'discipline' key: the entry id is the declaration's name. The blocks' interiors are validated against that schema by the runtime validator.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["mechanism", "extract", "relate"],
+      "properties": {
+        "mechanism": {
+          "enum": [
+            "pairing",
+            "companion",
+            "monotonic-order",
+            "fingerprint-sync",
+            "producer-owned",
+            "self-absolution-ban",
+            "actor-scope",
+            "precedent",
+            "phase-order",
+            "turn-locality",
+            "stated-ground",
+            "controlled-vocabulary",
+            "naming",
+            "added-only",
+            "one-way-marker",
+            "scoped-valve",
+            "forbidden-command"
+          ]
+        },
+        "scope": { "type": "object" },
+        "sources": { "type": "object" },
+        "supply": { "type": "object" },
+        "extract": { "type": "object", "minProperties": 1 },
+        "relate": { "type": "array", "minItems": 1 },
+        "witness": { "type": "object" }
+      }
     }
   }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "polydeukes",
-  "version": "0.4.0",
+  "version": "0.6.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",
@@ -37,8 +37,8 @@
       "import": "./dist/index.js"
     },
     "./claude-code": {
-      "types": "./dist/claude-code-hook.d.ts",
-      "import": "./dist/claude-code-hook.js"
+      "types": "./dist/claude-code.d.ts",
+      "import": "./dist/claude-code.js"
     },
     "./schema.json": "./dist/schema/polydeukes.schema.json"
   },
@@ -54,10 +54,10 @@
   },
   "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"
+    "@polydeukes/adapter-git": "^0.6.0",
+    "@polydeukes/covenant": "^0.6.0",
+    "@polydeukes/core": "^0.6.0",
+    "@polydeukes/adapter-claude-code": "^0.6.0"
   },
   "devDependencies": {
     "@types/node": "^24.0.0",