@kontextmind/kxm 0.6.0

package/schemas/vnext/sync-event.schema.json

@@ -0,0 +1,234 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.kxm.dev/vnext/sync-event.schema.json",
+  "title": "KXM sync-safe run event",
+  "type": "object",
+  "required": [
+    "schema",
+    "sourceEventId",
+    "eventType",
+    "projectId",
+    "runId",
+    "homeRuntimeId",
+    "sequence",
+    "occurredAt",
+    "configRevision",
+    "memoryRevision",
+    "executorPolicyRevision",
+    "toolPolicyRevision",
+    "syncPolicyRevision",
+    "redaction",
+    "payload"
+  ],
+  "properties": {
+    "schema": { "const": "kxm.sync-event.v1" },
+    "sourceEventId": { "$ref": "common.schema.json#/$defs/opaqueId" },
+    "eventType": { "$ref": "common.schema.json#/$defs/runEventType" },
+    "projectId": { "$ref": "common.schema.json#/$defs/opaqueId" },
+    "runId": { "$ref": "common.schema.json#/$defs/opaqueId" },
+    "homeRuntimeId": { "$ref": "common.schema.json#/$defs/opaqueId" },
+    "sequence": { "type": "integer", "minimum": 1 },
+    "occurredAt": { "$ref": "common.schema.json#/$defs/timestamp" },
+    "configRevision": { "$ref": "common.schema.json#/$defs/sha256" },
+    "memoryRevision": { "$ref": "common.schema.json#/$defs/opaqueId" },
+    "executorPolicyRevision": { "$ref": "common.schema.json#/$defs/sha256" },
+    "toolPolicyRevision": { "$ref": "common.schema.json#/$defs/sha256" },
+    "syncPolicyRevision": { "$ref": "common.schema.json#/$defs/sha256" },
+    "redaction": {
+      "type": "object",
+      "required": ["version", "fieldsOmitted", "valuesReplaced"],
+      "properties": {
+        "version": { "$ref": "common.schema.json#/$defs/identifier" },
+        "fieldsOmitted": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1, "maxLength": 128 },
+          "uniqueItems": true,
+          "maxItems": 128
+        },
+        "valuesReplaced": { "type": "integer", "minimum": 0, "maximum": 100000 }
+      },
+      "additionalProperties": false
+    },
+    "payload": { "$ref": "#/$defs/payload" }
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": {
+          "eventType": {
+            "enum": [
+              "effect.intent_recorded",
+              "effect.dispatched",
+              "effect.observed",
+              "effect.receipt_recorded",
+              "effect.settled",
+              "effect.blocked_uncertain",
+              "effect.uncertainty_resolved"
+            ]
+          }
+        },
+        "required": ["eventType"]
+      },
+      "then": {
+        "properties": {
+          "payload": { "type": "object", "required": ["effect"] }
+        }
+      }
+    },
+    {
+      "if": {
+        "properties": {
+          "eventType": { "enum": ["effect.intent_recorded", "effect.dispatched"] },
+          "payload": {
+            "type": "object",
+            "properties": {
+              "effect": {
+                "type": "object",
+                "properties": {
+                  "policy": {
+                    "type": "object",
+                    "properties": { "sharedMutable": { "const": true } },
+                    "required": ["sharedMutable"]
+                  }
+                },
+                "required": ["policy"]
+              }
+            },
+            "required": ["effect"]
+          }
+        },
+        "required": ["eventType", "payload"]
+      },
+      "then": {
+        "properties": {
+          "payload": { "type": "object", "required": ["lease"] }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "eventType": { "const": "effect.uncertainty_resolved" } }, "required": ["eventType"] },
+      "then": {
+        "properties": {
+          "payload": { "type": "object", "required": ["effect", "resolvedBy", "resolutionAction", "reason", "suppliedRefs"] }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "eventType": { "enum": ["lease.acquired", "lease.released", "lease.lost"] } }, "required": ["eventType"] },
+      "then": {
+        "properties": {
+          "payload": { "type": "object", "required": ["lease"] }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "eventType": { "const": "approval.recorded" } }, "required": ["eventType"] },
+      "then": {
+        "properties": {
+          "payload": { "type": "object", "required": ["actor", "outcome", "suppliedRefs"] }
+        }
+      }
+    }
+  ],
+  "additionalProperties": false,
+  "$defs": {
+    "safeReceipt": {
+      "type": "object",
+      "required": ["provider", "kind", "id"],
+      "properties": {
+        "provider": { "$ref": "common.schema.json#/$defs/identifier" },
+        "kind": { "$ref": "common.schema.json#/$defs/identifier" },
+        "id": { "type": "string", "minLength": 1, "maxLength": 512 },
+        "hash": { "$ref": "common.schema.json#/$defs/sha256" },
+        "observedAt": { "$ref": "common.schema.json#/$defs/timestamp" }
+      },
+      "additionalProperties": false
+    },
+    "candidateSummary": {
+      "type": "object",
+      "required": ["id", "type", "summary", "confidence", "status"],
+      "properties": {
+        "id": { "$ref": "common.schema.json#/$defs/opaqueId" },
+        "type": { "enum": ["knowledge", "skill", "workflow", "agent", "model", "environment", "template", "temporal-state"] },
+        "summary": { "type": "string", "minLength": 1, "maxLength": 1000 },
+        "confidence": { "enum": ["verified", "probable", "uncertain"] },
+        "status": { "enum": ["proposed", "evaluating", "review-required", "promoted", "rejected", "quarantined"] }
+      },
+      "additionalProperties": false
+    },
+    "payload": {
+      "type": "object",
+      "minProperties": 1,
+      "properties": {
+        "workflowId": { "$ref": "common.schema.json#/$defs/identifier" },
+        "displayTitle": { "type": "string", "minLength": 1, "maxLength": 200 },
+        "promptHash": { "$ref": "common.schema.json#/$defs/sha256" },
+        "status": { "$ref": "common.schema.json#/$defs/lifecycleStatus" },
+        "previousStatus": { "$ref": "common.schema.json#/$defs/lifecycleStatus" },
+        "outcome": { "$ref": "common.schema.json#/$defs/identifier" },
+        "summary": { "type": "string", "minLength": 1, "maxLength": 1000 },
+        "stepId": { "$ref": "common.schema.json#/$defs/identifier" },
+        "stepAttempt": { "type": "integer", "minimum": 1 },
+        "fromStepId": { "$ref": "common.schema.json#/$defs/identifier" },
+        "toStepId": { "$ref": "common.schema.json#/$defs/identifier" },
+        "assignmentId": { "$ref": "common.schema.json#/$defs/opaqueId" },
+        "attemptId": { "$ref": "common.schema.json#/$defs/opaqueId" },
+        "agentId": { "$ref": "common.schema.json#/$defs/identifier" },
+        "instanceNo": { "type": "integer", "minimum": 1, "maximum": 64 },
+        "scopeEpoch": { "type": "integer", "minimum": 1 },
+        "executor": { "$ref": "common.schema.json#/$defs/executorResolution" },
+        "model": { "$ref": "common.schema.json#/$defs/modelResolution" },
+        "timing": { "$ref": "common.schema.json#/$defs/timing" },
+        "usage": { "$ref": "common.schema.json#/$defs/usage" },
+        "fileChanges": {
+          "type": "array",
+          "items": { "$ref": "common.schema.json#/$defs/fileChanges" },
+          "maxItems": 64
+        },
+        "evidenceRefs": {
+          "type": "array",
+          "items": { "$ref": "common.schema.json#/$defs/evidenceRef" },
+          "maxItems": 64
+        },
+        "artifacts": {
+          "type": "array",
+          "items": { "$ref": "common.schema.json#/$defs/artifactRef" },
+          "maxItems": 64
+        },
+        "receipts": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/safeReceipt" },
+          "maxItems": 64
+        },
+        "environment": {
+          "type": "array",
+          "items": { "$ref": "common.schema.json#/$defs/environmentResolution" },
+          "maxItems": 256
+        },
+        "error": { "$ref": "common.schema.json#/$defs/errorSummary" },
+        "effect": { "$ref": "run-event.schema.json#/$defs/effect" },
+        "lease": { "$ref": "common.schema.json#/$defs/lease" },
+        "actor": { "$ref": "common.schema.json#/$defs/actor" },
+        "resolvedBy": { "$ref": "common.schema.json#/$defs/actor" },
+        "resolutionAction": {
+          "enum": ["mark-completed", "confirm-absent-and-retry", "compensate-and-retry", "mark-failed", "cancel"]
+        },
+        "reason": { "type": "string", "minLength": 1, "maxLength": 1000 },
+        "suppliedRefs": {
+          "type": "array",
+          "items": { "$ref": "common.schema.json#/$defs/evidenceRef" },
+          "maxItems": 64
+        },
+        "candidate": { "$ref": "#/$defs/candidateSummary" },
+        "counts": {
+          "type": "object",
+          "propertyNames": { "$ref": "common.schema.json#/$defs/identifier" },
+          "additionalProperties": { "type": "integer", "minimum": 0 },
+          "maxProperties": 32
+        },
+        "degraded": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    }
+  }
+}

package/schemas/vnext/template-provenance.schema.json

@@ -0,0 +1,38 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.kxm.dev/vnext/template-provenance.schema.json",
+  "title": "KXM managed-template provenance v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema", "templateId", "templateRevision", "inputs", "files"],
+  "properties": {
+    "schema": { "const": "kxm.template-provenance.v1" },
+    "templateId": { "const": "builtin-minimal" },
+    "templateRevision": { "$ref": "common.schema.json#/$defs/sha256" },
+    "inputs": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["projectId", "projectName"],
+      "properties": {
+        "projectId": { "$ref": "common.schema.json#/$defs/opaqueId" },
+        "projectName": { "type": "string", "minLength": 1, "maxLength": 120, "pattern": "^[^\\u0000\\r\\n]+$" }
+      }
+    },
+    "files": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 128,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["path", "sha256", "authoritySha256", "bytes"],
+        "properties": {
+          "path": { "$ref": "common.schema.json#/$defs/relativePath" },
+          "sha256": { "$ref": "common.schema.json#/$defs/sha256" },
+          "authoritySha256": { "$ref": "common.schema.json#/$defs/sha256" },
+          "bytes": { "type": "integer", "minimum": 1, "maximum": 262144 }
+        }
+      }
+    }
+  }
+}

package/schemas/vnext/workflow.schema.json

@@ -0,0 +1,248 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.kxm.dev/vnext/workflow.schema.json",
+  "title": "KXM ordered workflow definition",
+  "description": "The filename determines the workflow identity.",
+  "type": "object",
+  "required": ["schema", "steps"],
+  "properties": {
+    "schema": { "const": "kxm.workflow.v1" },
+    "description": { "type": "string", "maxLength": 4000 },
+    "coordinator": { "$ref": "common.schema.json#/$defs/identifier" },
+    "limits": { "$ref": "#/$defs/workflowLimits" },
+    "reproOracle": { "$ref": "#/$defs/oracle" },
+    "planHash": { "$ref": "#/$defs/oracle" },
+    "requirePlanHash": {
+      "type": "array",
+      "items": { "$ref": "common.schema.json#/$defs/identifier" },
+      "uniqueItems": true,
+      "maxItems": 128
+    },
+    "steps": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 128,
+      "items": { "$ref": "#/$defs/step" }
+    }
+  },
+  "additionalProperties": false,
+  "$defs": {
+    "workflowLimits": {
+      "type": "object",
+      "properties": {
+        "maxTransitions": { "type": "integer", "minimum": 1, "maximum": 1000 },
+        "maxRunDurationMs": { "$ref": "common.schema.json#/$defs/durationMs" },
+        "maxAgentTimeMs": { "$ref": "common.schema.json#/$defs/durationMs" },
+        "maxModelCost": { "type": "number", "exclusiveMinimum": 0 },
+        "currency": { "type": "string", "pattern": "^[A-Z]{3}$" }
+      },
+      "additionalProperties": false
+    },
+    "assignmentPolicy": {
+      "type": "object",
+      "properties": {
+        "allowedAgents": {
+          "type": "array",
+          "items": { "$ref": "common.schema.json#/$defs/identifier" },
+          "uniqueItems": true,
+          "minItems": 1,
+          "maxItems": 32
+        },
+        "minimum": { "type": "integer", "minimum": 1, "maximum": 64 },
+        "target": { "type": "integer", "minimum": 1, "maximum": 64 },
+        "maximum": { "type": "integer", "minimum": 1, "maximum": 64 },
+        "maxParallel": { "type": "integer", "minimum": 1, "maximum": 64 },
+        "maxAttemptsPerAssignment": { "type": "integer", "minimum": 1, "maximum": 20, "default": 1 },
+        "maxWriteRepositories": { "type": "integer", "minimum": 1, "maximum": 64 },
+        "distinctBy": {
+          "type": "array",
+          "items": { "enum": ["provider", "model", "profile"] },
+          "uniqueItems": true,
+          "maxItems": 3
+        }
+      },
+      "additionalProperties": false
+    },
+    "joinPolicy": {
+      "type": "object",
+      "required": ["strategy"],
+      "properties": {
+        "strategy": { "enum": ["all", "all-settled", "quorum", "first-success"] },
+        "minimumPassed": { "type": "integer", "minimum": 1, "maximum": 64 },
+        "cancelRemaining": { "type": "boolean" }
+      },
+      "allOf": [
+        {
+          "if": { "properties": { "strategy": { "const": "quorum" } }, "required": ["strategy"] },
+          "then": { "required": ["minimumPassed"] }
+        }
+      ],
+      "additionalProperties": false
+    },
+    "oracle": {
+      "type": "object",
+      "required": ["stageId", "evidenceKey"],
+      "properties": {
+        "stageId": { "$ref": "common.schema.json#/$defs/identifier" },
+        "evidenceKey": { "$ref": "common.schema.json#/$defs/identifier" }
+      },
+      "additionalProperties": false
+    },
+    "producerPolicy": {
+      "type": "object",
+      "required": ["minimumProducers", "eligibleAgents", "acceptedStatuses"],
+      "properties": {
+        "minimumProducers": { "type": "integer", "minimum": 1, "maximum": 16 },
+        "eligibleAgents": {
+          "type": "array",
+          "items": { "$ref": "common.schema.json#/$defs/identifier" },
+          "uniqueItems": true,
+          "minItems": 1,
+          "maxItems": 32
+        },
+        "acceptedStatuses": {
+          "type": "array",
+          "items": { "const": "passed" },
+          "minItems": 1,
+          "maxItems": 1
+        },
+        "degradation": {
+          "type": "object",
+          "required": ["minimumProducers"],
+          "properties": {
+            "minimumProducers": { "type": "integer", "minimum": 1, "maximum": 15 }
+          },
+          "additionalProperties": false
+        }
+      },
+      "additionalProperties": false
+    },
+    "evidenceRequirement": {
+      "type": "object",
+      "required": ["key", "kind"],
+      "properties": {
+        "key": { "$ref": "common.schema.json#/$defs/identifier" },
+        "kind": { "enum": ["assignment-result", "gate", "receipt", "approval", "artifact"] },
+        "minimum": { "type": "integer", "minimum": 1, "maximum": 16 },
+        "producerPolicy": { "$ref": "#/$defs/producerPolicy" },
+        "reusableAcrossAttempts": { "type": "boolean", "default": false }
+      },
+      "allOf": [
+        {
+          "if": { "required": ["producerPolicy"] },
+          "then": { "properties": { "kind": { "const": "assignment-result" } } }
+        }
+      ],
+      "additionalProperties": false
+    },
+    "transitionTarget": {
+      "type": "string",
+      "pattern": "^(?:\\$terminal|[a-z][a-z0-9]*(?:[-_][a-z0-9]+)*)$",
+      "maxLength": 64
+    },
+    "transition": {
+      "oneOf": [
+        { "$ref": "common.schema.json#/$defs/identifier" },
+        {
+          "type": "object",
+          "required": ["target"],
+          "properties": {
+            "target": { "$ref": "#/$defs/transitionTarget" },
+            "maxTransitions": { "type": "integer", "minimum": 1, "maximum": 100 },
+            "terminalStatus": { "enum": ["completed", "failed", "cancelled"] }
+          },
+          "allOf": [
+            {
+              "if": {
+                "properties": { "target": { "const": "$terminal" } },
+                "required": ["target"]
+              },
+              "then": { "required": ["terminalStatus"] },
+              "else": { "not": { "required": ["terminalStatus"] } }
+            }
+          ],
+          "additionalProperties": false
+        }
+      ]
+    },
+    "step": {
+      "type": "object",
+      "required": ["id", "kind"],
+      "properties": {
+        "id": { "$ref": "common.schema.json#/$defs/identifier" },
+        "kind": { "enum": ["agent", "moa", "gate", "approval", "wait"] },
+        "description": { "type": "string", "maxLength": 2000 },
+        "maxAttempts": { "type": "integer", "minimum": 1, "maximum": 20, "default": 1 },
+        "instructions": { "type": "string", "maxLength": 16000 },
+        "agent": { "$ref": "common.schema.json#/$defs/identifier" },
+        "gate": { "$ref": "common.schema.json#/$defs/identifier" },
+        "expect": { "enum": ["pass", "fail"], "default": "pass" },
+        "signal": { "$ref": "common.schema.json#/$defs/identifier" },
+        "model": { "$ref": "common.schema.json#/$defs/modelSelector" },
+        "repositories": {
+          "type": "object",
+          "propertyNames": { "$ref": "common.schema.json#/$defs/identifier" },
+          "additionalProperties": { "$ref": "common.schema.json#/$defs/repositoryAccess" },
+          "maxProperties": 64
+        },
+        "tools": { "$ref": "common.schema.json#/$defs/toolPolicy" },
+        "secrets": {
+          "type": "array",
+          "items": { "$ref": "common.schema.json#/$defs/secretGrant" },
+          "maxItems": 64
+        },
+        "assignments": { "$ref": "#/$defs/assignmentPolicy" },
+        "join": { "$ref": "#/$defs/joinPolicy" },
+        "requiredEvidence": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/evidenceRequirement" },
+          "maxItems": 64
+        },
+        "timeoutMs": { "$ref": "common.schema.json#/$defs/durationMs" },
+        "safeSpeculation": { "type": "boolean", "default": false },
+        "on": {
+          "type": "object",
+          "propertyNames": { "$ref": "common.schema.json#/$defs/identifier" },
+          "additionalProperties": { "$ref": "#/$defs/transition" },
+          "minProperties": 1,
+          "maxProperties": 32
+        }
+      },
+      "allOf": [
+        {
+          "if": { "required": ["expect"] },
+          "then": { "properties": { "kind": { "const": "gate" } } }
+        },
+        {
+          "if": { "properties": { "kind": { "enum": ["agent", "moa"] } }, "required": ["kind"] },
+          "then": { "required": ["agent"] }
+        },
+        {
+          "if": { "properties": { "kind": { "const": "gate" } }, "required": ["kind"] },
+          "then": { "required": ["gate"] }
+        },
+        {
+          "if": { "properties": { "kind": { "const": "wait" } }, "required": ["kind"] },
+          "then": { "required": ["signal"] }
+        },
+        {
+          "if": {
+            "properties": {
+              "join": {
+                "type": "object",
+                "properties": { "strategy": { "const": "first-success" } },
+                "required": ["strategy"]
+              }
+            },
+            "required": ["join"]
+          },
+          "then": {
+            "properties": { "safeSpeculation": { "const": true } },
+            "required": ["safeSpeculation"]
+          }
+        }
+      ],
+      "additionalProperties": false
+    }
+  }
+}