dic-workflow-kit 1.1.1 → 1.1.3

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
+}

package/schemas/ontology-snapshot.schema.json

@@ -0,0 +1,252 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://dicworkflowkit.local/schemas/ontology-snapshot.schema.json",
+  "title": "DIC Ontology Snapshot",
+  "description": "Portable, file-backed semantic graph for design-implementation consistency.",
+  "type": "object",
+  "required": [
+    "schema",
+    "version",
+    "snapshotId",
+    "projectRoot",
+    "objects",
+    "links",
+    "invariantResults"
+  ],
+  "properties": {
+    "schema": { "const": "dic.ontology-snapshot.v1" },
+    "version": { "type": "string" },
+    "snapshotId": { "$ref": "#/$defs/stableId" },
+    "snapshotRevision": {
+      "type": "string",
+      "pattern": "^[a-f0-9]{64}$"
+    },
+    "projectRoot": { "type": "string" },
+    "objects": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/object" }
+    },
+    "links": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/link" }
+    },
+    "invariantResults": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/invariantResult" }
+    },
+    "appliedActionIds": {
+      "type": "array",
+      "items": {
+        "type": "string",
+        "pattern": "^act-[a-zA-Z0-9._:-]+$"
+      },
+      "uniqueItems": true
+    }
+  },
+  "$defs": {
+    "stableId": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9-]*-[a-zA-Z0-9._:-]+$"
+    },
+    "lifecycle": {
+      "enum": [
+        "draft",
+        "confirmed",
+        "active",
+        "deprecated",
+        "superseded",
+        "rejected",
+        "open",
+        "approved",
+        "in_progress",
+        "resolved",
+        "blocked"
+      ]
+    },
+    "provenance": {
+      "type": "object",
+      "required": ["source", "sourceRevision", "createdBy"],
+      "properties": {
+        "source": { "type": "string", "minLength": 1 },
+        "sourceLocator": { "type": "string" },
+        "sourceRevision": { "type": "string", "minLength": 1 },
+        "contentHash": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{64}$"
+        },
+        "createdBy": { "type": "string", "minLength": 1 },
+        "runId": { "type": "string" }
+      },
+      "additionalProperties": false
+    },
+    "object": {
+      "type": "object",
+      "required": ["id", "type", "lifecycle", "properties", "provenance"],
+      "properties": {
+        "id": { "$ref": "#/$defs/stableId" },
+        "type": {
+          "enum": [
+            "Project",
+            "DesignSource",
+            "Change",
+            "Requirement",
+            "Scenario",
+            "ImplementationUnit",
+            "Gap",
+            "RepairAction",
+            "Validation",
+            "Evidence",
+            "AgentRun",
+            "Decision",
+            "Risk"
+          ]
+        },
+        "lifecycle": { "$ref": "#/$defs/lifecycle" },
+        "interfaces": {
+          "type": "array",
+          "items": {
+            "enum": [
+              "SourceBacked",
+              "Verifiable",
+              "Versioned",
+              "GovernedMutation",
+              "ContentAddressed"
+            ]
+          },
+          "uniqueItems": true
+        },
+        "properties": {
+          "type": "object",
+          "additionalProperties": true
+        },
+        "provenance": { "$ref": "#/$defs/provenance" }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": { "type": { "const": "Evidence" } },
+            "required": ["type"]
+          },
+          "then": {
+            "properties": {
+              "interfaces": {
+                "contains": { "const": "ContentAddressed" }
+              },
+              "properties": {
+                "required": ["path"],
+                "properties": {
+                  "path": { "type": "string", "minLength": 1 }
+                }
+              },
+              "provenance": {
+                "required": ["contentHash"]
+              }
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": { "type": { "const": "ImplementationUnit" } },
+            "required": ["type"]
+          },
+          "then": {
+            "properties": {
+              "interfaces": {
+                "contains": { "const": "ContentAddressed" }
+              },
+              "properties": {
+                "required": ["path"],
+                "properties": {
+                  "path": { "type": "string", "minLength": 1 }
+                }
+              },
+              "provenance": {
+                "required": ["contentHash"]
+              }
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": { "type": { "const": "Validation" } },
+            "required": ["type"]
+          },
+          "then": {
+            "properties": {
+              "properties": {
+                "required": ["status", "executedAt", "inputs"],
+                "properties": {
+                  "status": { "enum": ["PASS", "FAIL", "BLOCKED"] },
+                  "executedAt": { "type": "string", "format": "date-time" },
+                  "inputs": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/validationInput" }
+                  }
+                }
+              }
+            }
+          }
+        }
+      ],
+      "additionalProperties": false
+    },
+    "validationInput": {
+      "type": "object",
+      "required": ["objectId", "contentHash"],
+      "properties": {
+        "objectId": { "$ref": "#/$defs/stableId" },
+        "contentHash": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{64}$"
+        }
+      },
+      "additionalProperties": false
+    },
+    "link": {
+      "type": "object",
+      "required": ["id", "type", "from", "to", "lifecycle", "provenance"],
+      "properties": {
+        "id": { "$ref": "#/$defs/stableId" },
+        "type": {
+          "enum": [
+            "CONTAINS",
+            "PROPOSES",
+            "DERIVED_FROM",
+            "REFINES",
+            "IMPLEMENTED_BY",
+            "VERIFIED_BY",
+            "VIOLATES",
+            "RESOLVES",
+            "PRODUCES",
+            "SUPPORTS",
+            "CONTRADICTS",
+            "REMAINS_AFTER",
+            "SUPERSEDES"
+          ]
+        },
+        "from": { "$ref": "#/$defs/stableId" },
+        "to": { "$ref": "#/$defs/stableId" },
+        "lifecycle": { "$ref": "#/$defs/lifecycle" },
+        "provenance": { "$ref": "#/$defs/provenance" }
+      },
+      "additionalProperties": false
+    },
+    "invariantResult": {
+      "type": "object",
+      "required": ["id", "status", "severity", "message", "objectIds"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "status": { "enum": ["PASS", "FAIL", "NOT_APPLICABLE"] },
+        "severity": { "enum": ["info", "warning", "blocking"] },
+        "message": { "type": "string" },
+        "objectIds": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/stableId" },
+          "uniqueItems": true
+        }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/project-profile.schema.json

@@ -10,6 +10,8 @@
     "projectRoot": { "type": "string" },
     "projectTypes": { "type": "array", "items": { "type": "string" } },
     "adapters": { "type": "array", "items": { "type": "string" } },
+    "bddSources": { "type": "array", "items": { "type": "string" } },
+    "availableBddSources": { "type": "array", "items": { "type": "string" } },
     "designEntry": {
       "type": "object",
       "required": ["type", "changeId", "lifecycle", "changeRoot", "documents", "deltaSpecs", "baselineSpecs"],

package/skills/knowledge-bdd/SKILL.md

@@ -1,7 +1,8 @@
 ---
 name: knowledge-bdd
-version: 1.1.1
-description: Derive Given-When-Then acceptance scenarios from confirmed design rules and flow contracts.
+description: Interpret or derive Gherkin/BDD Feature, Background, Scenario, Scenario Outline, Examples, and Given-When-Then acceptance contracts when .feature files or confirmed behavioral rules are in scope.
+metadata:
+  version: 1.1.3
 ---
 
 # Knowledge: BDD
@@ -20,3 +21,14 @@ For every confirmed rule, consider:
 - concurrency or ordering
 
 BDD scenarios are acceptance criteria. They are not a license to invent behavior outside source truth.
+
+When `.feature` files are mounted in the ontology:
+
+- treat `Feature` as the parent Requirement
+- preserve inherited Background clauses
+- preserve Scenario Outline Examples without expanding invented cases
+- use `DERIVED_FROM` and `REFINES` for source and parent traceability
+- add `VERIFIED_BY` only after current executable validation produces evidence
+
+Use `ontology-explain --id <scenario-id>` when a scenario's source, parent,
+implementation, validation, or evidence chain is unclear.

package/skills/knowledge-openspec/SKILL.md

@@ -1,7 +1,8 @@
 ---
 name: knowledge-openspec
-version: 1.1.1
 description: OpenSpec knowledge pack for proposals, specs, scenarios, tasks, changes, archived capabilities, validation, and design-to-implementation mapping.
+metadata:
+  version: 1.1.3
 ---
 
 # Knowledge: OpenSpec

package/skills/knowledge-repair-distill/SKILL.md

@@ -1,7 +1,8 @@
 ---
 name: knowledge-repair-distill
-version: 1.1.1
 description: Generic repair convergence guidance, gap taxonomy, model steering hints, and validation gates for design-implementation consistency work.
+metadata:
+  version: 1.1.3
 ---
 
 # Knowledge: Repair Distill

package/skills/workflow-core/SKILL.md

@@ -1,7 +1,8 @@
 ---
 name: workflow-core
-version: 1.1.1
 description: Core Design-Implementation Consistency workflow contract, evidence model, handoff rules, and final output expectations.
+metadata:
+  version: 1.1.3
 ---
 
 # Workflow Core
@@ -15,11 +16,71 @@ Principles:
 - Every repair must trace to a source-backed obligation.
 - Subagents are useful only when they produce consumed evidence.
 - Final success requires validation evidence, residual-risk classification, and final artifacts.
+- `reports/ontology-snapshot.json` is the semantic source of truth for objects, links, lifecycle, and provenance.
+- Reports summarize the ontology; prose must not silently create or override semantic facts.
+
+Ontology operating model:
+
+- `spec-reader` and `contract-oracle` establish source-backed requirements and scenarios.
+- `impl-inspector` records existing code with `ObserveImplementation` or opens gaps.
+- `repair-planner` proposes typed `RepairAction` objects.
+- `code-repairer` executes only approved, path-bounded actions.
+- `validation-runner` attaches `Validation` and `Evidence`.
+- `final-reviewer` computes PASS from invariants instead of agent confidence.
+
+Use `schemas/ontology-action.schema.json` for auditable mutations. Every action
+records actor, targets, preconditions, postconditions, allowed paths, and evidence.
+Set `expectedSnapshotRevision` when authoring an action.
+When the bundled CLI is available, run `action-check` before execution and
+`action-record` after the action reaches its recorded state. Never reuse an
+action ID with different content.
+
+Every completed action includes `parameters.ontologyPatch`. Use only the object,
+link, and lifecycle effects permitted for that action type. After recording,
+run `ontology-reconcile`; do not mutate the snapshot directly. Reconciliation is
+idempotent and must preserve all structural invariants.
+Reconcile each new record before recording the next action. New ledger entries
+form a sequence-numbered hash chain and bind the Snapshot revision used during
+recording; run `ontology-ledger-check` before final review.
+
+Treat validation as successful only when its lifecycle is current and
+`properties.status` is `PASS`. Every Validation records `executedAt` and an
+`inputs` entry containing the object ID and current SHA-256 for every consumed
+DesignSource and ImplementationUnit. Run `ontology-validation-check`; an old
+test result must never approve newer design or implementation bytes.
+Attach each required Evidence object to a real
+project-relative artifact with `provenance.contentHash` and the
+`ContentAddressed` interface. Run `ontology-evidence-check` before attestation.
+
+Treat implementation as current only when its `ImplementationUnit` has a current
+lifecycle and a real project-relative file whose SHA-256 matches provenance.
+Use `ObserveImplementation` for existing code and `ApplyRepair` only for code
+created or changed by an approved repair. Run `ontology-implementation-check`
+before attestation.
+
+Treat `snapshotRevision` as an integrity boundary. Before final review, run
+`ontology-drift`; tracked source changes block PASS. Use `ontology-plan` to
+convert design, implementation, and Evidence integrity issues into the smallest
+recommended Agent-stage rerun.
+
+Final prose is a view, not an authority. Generate `reports/ontology-report.md`
+with `ontology-report`, create `reports/ontology-attestation.json` with
+`ontology-attest`, and run `ontology-attestation-check` immediately before
+publishing the result. The attestation binds the terminal status to the exact
+snapshot revision, action-ledger hash, design-source hashes, Evidence artifact
+hashes, ImplementationUnit hashes, and evaluated invariants.
+It also binds the Validation-to-input causality inventory.
+Persist its `contentHash` outside the evidence directory, then verify it with
+`--expected-hash`.
 
 Required durable outputs:
 
 ```text
 reports/project-profile.json
+reports/ontology-snapshot.json
+reports/ontology-actions.jsonl
+reports/ontology-report.md
+reports/ontology-attestation.json
 reports/final-consistency-report.md
 reports/FINAL_RESULT.json
 result/output.md

package/skills/workflow-intake/SKILL.md

@@ -1,7 +1,8 @@
 ---
 name: workflow-intake
-version: 1.1.1
 description: Discover authoritative design sources, implementation roots, test roots, protected paths, validation commands, and adapter hints.
+metadata:
+  version: 1.1.3
 ---
 
 # Workflow Intake

package/skills/workflow-profile/SKILL.md

@@ -1,7 +1,8 @@
 ---
 name: workflow-profile
-version: 1.1.1
 description: Build a normalized project profile for design-implementation consistency work without hardcoding a repository or technology stack.
+metadata:
+  version: 1.1.3
 ---
 
 # Workflow Profile

package/skills/workflow-repair/SKILL.md

@@ -1,7 +1,8 @@
 ---
 name: workflow-repair
-version: 1.1.1
 description: Guide source-backed implementation inspection, repair planning, code repair, validation loops, and final consistency evidence.
+metadata:
+  version: 1.1.3
 ---
 
 # Workflow Repair