dic-workflow-kit 1.1.2 → 1.1.4

package/schemas/ontology-action-record.schema.json

@@ -0,0 +1,62 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://dicworkflowkit.local/schemas/ontology-action-record.schema.json",
+  "title": "DIC Ontology Action Ledger Record",
+  "description": "One immutable entry in reports/ontology-actions.jsonl.",
+  "oneOf": [
+    { "$ref": "#/$defs/legacyRecord" },
+    { "$ref": "#/$defs/chainedRecord" }
+  ],
+  "$defs": {
+    "legacyRecord": {
+      "type": "object",
+      "required": ["schema", "recordedAt", "sha256", "action"],
+      "properties": {
+        "schema": { "const": "dic.ontology-action-record.v1" },
+        "recordedAt": { "type": "string", "format": "date-time" },
+        "sha256": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{64}$"
+        },
+        "action": { "$ref": "ontology-action.schema.json" }
+      },
+      "additionalProperties": false
+    },
+    "chainedRecord": {
+      "type": "object",
+      "required": [
+        "schema",
+        "sequence",
+        "recordedAt",
+        "previousHash",
+        "baseSnapshotRevision",
+        "actionHash",
+        "recordHash",
+        "action"
+      ],
+      "properties": {
+        "schema": { "const": "dic.ontology-action-record.v2" },
+        "sequence": { "type": "integer", "minimum": 1 },
+        "recordedAt": { "type": "string", "format": "date-time" },
+        "previousHash": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{64}$"
+        },
+        "baseSnapshotRevision": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{64}$"
+        },
+        "actionHash": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{64}$"
+        },
+        "recordHash": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{64}$"
+        },
+        "action": { "$ref": "ontology-action.schema.json" }
+      },
+      "additionalProperties": false
+    }
+  }
+}

package/schemas/ontology-action.schema.json

@@ -0,0 +1,118 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://dicworkflowkit.local/schemas/ontology-action.schema.json",
+  "title": "DIC Ontology Action",
+  "description": "Auditable request to change ontology or repository state.",
+  "type": "object",
+  "required": [
+    "schema",
+    "id",
+    "type",
+    "actor",
+    "status",
+    "targets",
+    "preconditions",
+    "postconditions",
+    "evidence"
+  ],
+  "properties": {
+    "schema": { "const": "dic.ontology-action.v1" },
+    "id": {
+      "type": "string",
+      "pattern": "^act-[a-zA-Z0-9._:-]+$"
+    },
+    "type": {
+      "enum": [
+        "IntakeDesignSource",
+        "ConfirmObligation",
+        "ObserveImplementation",
+        "OpenGap",
+        "ProposeRepair",
+        "ApproveRepair",
+        "ApplyRepair",
+        "RunValidation",
+        "AttachEvidence",
+        "CloseGap",
+        "MarkBlocked",
+        "SupersedeSource",
+        "RegisterCandidate",
+        "RecordGateRun",
+        "AssertClaim",
+        "ChallengeClaim",
+        "RecordCounterexample",
+        "RecordDecision",
+        "RecordWaiver",
+        "RegisterPolicy"
+      ]
+    },
+    "actor": { "type": "string", "minLength": 1 },
+    "expectedSnapshotRevision": {
+      "type": "string",
+      "pattern": "^[a-f0-9]{64}$",
+      "description": "Optional optimistic-concurrency precondition for authored actions."
+    },
+    "status": {
+      "enum": [
+        "proposed",
+        "approved",
+        "in_progress",
+        "completed",
+        "rejected",
+        "blocked",
+        "rolled_back"
+      ]
+    },
+    "targets": {
+      "type": "array",
+      "items": { "type": "string" },
+      "minItems": 1,
+      "uniqueItems": true
+    },
+    "parameters": {
+      "type": "object",
+      "properties": {
+        "ontologyPatch": {
+          "$ref": "ontology-patch.schema.json"
+        }
+      },
+      "additionalProperties": true
+    },
+    "preconditions": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/condition" }
+    },
+    "postconditions": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/condition" }
+    },
+    "allowedPaths": {
+      "type": "array",
+      "items": { "type": "string" },
+      "uniqueItems": true
+    },
+    "evidence": {
+      "type": "array",
+      "items": { "type": "string" },
+      "uniqueItems": true
+    },
+    "rollback": {
+      "type": ["string", "null"]
+    }
+  },
+  "$defs": {
+    "condition": {
+      "type": "object",
+      "required": ["description", "status"],
+      "properties": {
+        "description": { "type": "string", "minLength": 1 },
+        "status": { "enum": ["PENDING", "PASS", "FAIL"] },
+        "evidence": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/ontology-attestation.schema.json

@@ -0,0 +1,187 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://dicworkflowkit.local/schemas/ontology-attestation.schema.json",
+  "title": "DIC Ontology Attestation",
+  "description": "Content-addressed final decision bound to ontology, ledger, sources, and invariants.",
+  "type": "object",
+  "required": [
+    "schema",
+    "attestationId",
+    "contentHash",
+    "version",
+    "status",
+    "final",
+    "summary",
+    "createdAt",
+    "snapshot",
+    "ledger",
+    "sources",
+    "evidence",
+    "implementations",
+    "validationCausality",
+    "invariants"
+  ],
+  "properties": {
+    "schema": { "const": "dic.ontology-attestation.v1" },
+    "attestationId": {
+      "type": "string",
+      "pattern": "^att-[a-f0-9]{16}$"
+    },
+    "contentHash": {
+      "type": "string",
+      "pattern": "^[a-f0-9]{64}$"
+    },
+    "version": { "type": "string" },
+    "status": { "enum": ["PASS", "PARTIAL", "BLOCKED", "FAIL"] },
+    "final": { "const": true },
+    "summary": { "type": "string", "minLength": 1 },
+    "createdAt": { "type": "string", "format": "date-time" },
+    "snapshot": {
+      "type": "object",
+      "required": ["snapshotId", "snapshotRevision"],
+      "properties": {
+        "snapshotId": { "type": "string" },
+        "snapshotRevision": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{64}$"
+        }
+      },
+      "additionalProperties": false
+    },
+    "ledger": {
+      "type": "object",
+      "required": ["sha256", "actionCount", "headHash"],
+      "properties": {
+        "sha256": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{64}$"
+        },
+        "actionCount": { "type": "integer", "minimum": 0 },
+        "headHash": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{64}$"
+        }
+      },
+      "additionalProperties": false
+    },
+    "sources": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["id", "path", "status", "contentHash"],
+        "properties": {
+          "id": { "type": "string" },
+          "path": { "type": "string" },
+          "status": {
+            "enum": [
+              "UNCHANGED",
+              "CHANGED",
+              "MISSING",
+              "UNTRACKED",
+              "OUTSIDE_PROJECT",
+              "INVALID"
+            ]
+          },
+          "contentHash": { "type": "string" }
+        },
+        "additionalProperties": false
+      }
+    },
+    "evidence": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["id", "path", "status", "contentHash"],
+        "properties": {
+          "id": { "type": "string" },
+          "path": { "type": "string" },
+          "status": {
+            "enum": [
+              "UNCHANGED",
+              "CHANGED",
+              "MISSING",
+              "UNTRACKED",
+              "OUTSIDE_PROJECT",
+              "INACTIVE",
+              "INVALID"
+            ]
+          },
+          "contentHash": { "type": "string" }
+        },
+        "additionalProperties": false
+      }
+    },
+    "implementations": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["id", "path", "status", "contentHash"],
+        "properties": {
+          "id": { "type": "string" },
+          "path": { "type": "string" },
+          "status": {
+            "enum": [
+              "UNCHANGED",
+              "CHANGED",
+              "MISSING",
+              "UNTRACKED",
+              "OUTSIDE_PROJECT",
+              "INACTIVE",
+              "INVALID"
+            ]
+          },
+          "contentHash": { "type": "string" }
+        },
+        "additionalProperties": false
+      }
+    },
+    "validationCausality": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": [
+          "id",
+          "status",
+          "targetIds",
+          "requiredInputIds",
+          "missingInputIds",
+          "staleInputIds"
+        ],
+        "properties": {
+          "id": { "type": "string" },
+          "status": {
+            "enum": ["CURRENT", "INCOMPLETE", "STALE", "INVALID"]
+          },
+          "targetIds": {
+            "type": "array",
+            "items": { "type": "string" },
+            "uniqueItems": true
+          },
+          "requiredInputIds": {
+            "type": "array",
+            "items": { "type": "string" },
+            "uniqueItems": true
+          },
+          "missingInputIds": {
+            "type": "array",
+            "items": { "type": "string" },
+            "uniqueItems": true
+          },
+          "staleInputIds": {
+            "type": "array",
+            "items": { "type": "string" },
+            "uniqueItems": true
+          }
+        },
+        "additionalProperties": false
+      }
+    },
+    "invariants": {
+      "type": "array",
+      "items": {
+        "$ref": "ontology-snapshot.schema.json#/$defs/invariantResult"
+      }
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/ontology-patch.schema.json

@@ -0,0 +1,48 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://dicworkflowkit.local/schemas/ontology-patch.schema.json",
+  "title": "DIC Ontology Patch",
+  "description": "Declarative semantic effects produced by one authorized ontology action.",
+  "type": "object",
+  "properties": {
+    "addObjects": {
+      "type": "array",
+      "items": {
+        "$ref": "ontology-snapshot.schema.json#/$defs/object"
+      }
+    },
+    "addLinks": {
+      "type": "array",
+      "items": {
+        "$ref": "ontology-snapshot.schema.json#/$defs/link"
+      }
+    },
+    "lifecycleTransitions": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["objectId", "to"],
+        "properties": {
+          "objectId": { "type": "string" },
+          "to": {
+            "enum": [
+              "draft",
+              "confirmed",
+              "active",
+              "deprecated",
+              "superseded",
+              "rejected",
+              "open",
+              "approved",
+              "in_progress",
+              "resolved",
+              "blocked"
+            ]
+          }
+        },
+        "additionalProperties": false
+      }
+    }
+  },
+  "additionalProperties": false
+}