workspai 0.65.0 → 0.67.0

package/contracts/workspace-activity-event.v1.json

@@ -0,0 +1,132 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://workspai.dev/contracts/workspace-activity-event.v1.json",
+  "title": "Workspai Workspace Activity Event",
+  "description": "Local-first operational activity emitted by Workspai commands. Activity is observational and does not by itself establish evidence or decision authority.",
+  "type": "object",
+  "required": [
+    "schemaVersion",
+    "eventId",
+    "sequence",
+    "timestamp",
+    "runId",
+    "scope",
+    "kind",
+    "status",
+    "component",
+    "message"
+  ],
+  "properties": {
+    "schemaVersion": { "const": "workspace-activity-event.v1" },
+    "eventId": { "type": "string", "minLength": 8 },
+    "sequence": { "type": "integer", "minimum": 1 },
+    "timestamp": { "type": "string", "format": "date-time" },
+    "runId": { "type": "string", "minLength": 8 },
+    "parentRunId": { "type": "string", "minLength": 8 },
+    "spanId": { "type": "string", "minLength": 1 },
+    "parentSpanId": { "type": "string", "minLength": 1 },
+    "causationId": { "type": "string", "minLength": 1 },
+    "correlationId": { "type": "string", "minLength": 1 },
+    "scope": {
+      "type": "object",
+      "required": ["kind", "id", "label", "portable"],
+      "properties": {
+        "kind": { "enum": ["ephemeral-project", "project", "workspace"] },
+        "id": { "type": "string", "minLength": 8 },
+        "label": { "type": "string", "minLength": 1 },
+        "portable": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "kind": {
+      "enum": [
+        "run.started",
+        "run.completed",
+        "run.failed",
+        "run.cancelled",
+        "block.planned",
+        "block.started",
+        "block.progress",
+        "block.completed",
+        "block.failed",
+        "block.blocked",
+        "block.skipped",
+        "edge.declared",
+        "operation.started",
+        "operation.completed",
+        "operation.failed",
+        "touch.planned",
+        "touch.observed",
+        "artifact.published",
+        "artifact.rejected",
+        "warning.detected"
+      ]
+    },
+    "status": {
+      "enum": [
+        "planned",
+        "running",
+        "succeeded",
+        "warned",
+        "blocked",
+        "failed",
+        "cancelled",
+        "skipped",
+        "rolled-back"
+      ]
+    },
+    "component": { "type": "string", "minLength": 1 },
+    "message": { "type": "string", "minLength": 1 },
+    "blockId": { "type": "string", "minLength": 1 },
+    "attempt": { "type": "integer", "minimum": 1 },
+    "origin": {
+      "type": "object",
+      "required": ["id", "kind", "label"],
+      "properties": {
+        "id": { "type": "string", "minLength": 8 },
+        "kind": { "enum": ["project", "workspace-root"] },
+        "label": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    },
+    "projectId": { "type": "string", "minLength": 1 },
+    "durationMs": { "type": "number", "minimum": 0 },
+    "progress": {
+      "type": "object",
+      "properties": {
+        "completed": { "type": "number", "minimum": 0 },
+        "total": { "type": "number", "minimum": 0 },
+        "percent": { "type": "number", "minimum": 0, "maximum": 100 },
+        "iteration": { "type": "number", "minimum": 0 },
+        "iterations": { "type": "number", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "target": {
+      "type": "object",
+      "required": ["kind"],
+      "properties": {
+        "kind": {
+          "enum": ["file", "directory", "artifact", "process", "workspace", "project", "other"]
+        },
+        "locator": { "type": "string" },
+        "operation": { "type": "string" },
+        "provenance": { "enum": ["authoritative", "observed", "inferred"] }
+      },
+      "additionalProperties": false
+    },
+    "edge": {
+      "type": "object",
+      "required": ["id", "fromBlockId", "toBlockId", "kind"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "fromBlockId": { "type": "string", "minLength": 1 },
+        "toBlockId": { "type": "string", "minLength": 1 },
+        "kind": { "enum": ["sequence", "parallel", "gate", "handoff"] }
+      },
+      "additionalProperties": false
+    },
+    "attributes": { "type": "object", "additionalProperties": true }
+  },
+  "additionalProperties": false
+}

package/contracts/workspace-activity-monitor-fleet.v1.json

@@ -0,0 +1,18 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://workspai.dev/contracts/workspace-activity-monitor-fleet.v1.json",
+  "title": "Workspai Activity Monitor Fleet Snapshot",
+  "description": "A deterministic aggregate of bounded local activity monitor snapshots.",
+  "type": "object",
+  "required": ["schemaVersion", "generatedAt", "scopes", "diagnostics"],
+  "properties": {
+    "schemaVersion": { "const": "workspace-activity-monitor-fleet.v1" },
+    "generatedAt": { "type": "string", "format": "date-time" },
+    "scopes": {
+      "type": "array",
+      "items": { "$ref": "workspace-activity-monitor-snapshot.v1.json" }
+    },
+    "diagnostics": { "type": "array", "items": { "type": "string" } }
+  },
+  "additionalProperties": false
+}

package/contracts/workspace-activity-monitor-snapshot.v1.json

@@ -0,0 +1,161 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://workspai.dev/contracts/workspace-activity-monitor-snapshot.v1.json",
+  "title": "Workspai Activity Monitor Snapshot",
+  "description": "A deterministic local projection of durable Workspai activity journals. It is observational and is not verification evidence by itself.",
+  "type": "object",
+  "required": ["schemaVersion", "generatedAt", "scope", "runs", "diagnostics"],
+  "properties": {
+    "schemaVersion": { "const": "workspace-activity-monitor-snapshot.v1" },
+    "generatedAt": { "type": "string", "format": "date-time" },
+    "scope": { "$ref": "#/$defs/scope" },
+    "runs": { "type": "array", "items": { "$ref": "#/$defs/run" } },
+    "diagnostics": { "type": "array", "items": { "type": "string" } }
+  },
+  "additionalProperties": false,
+  "$defs": {
+    "status": {
+      "enum": [
+        "planned",
+        "running",
+        "succeeded",
+        "warned",
+        "blocked",
+        "failed",
+        "cancelled",
+        "skipped",
+        "rolled-back"
+      ]
+    },
+    "scope": {
+      "type": "object",
+      "required": ["kind", "id", "label", "portable"],
+      "properties": {
+        "kind": { "enum": ["ephemeral-project", "project", "workspace"] },
+        "id": { "type": "string", "minLength": 1 },
+        "label": { "type": "string", "minLength": 1 },
+        "portable": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "origin": {
+      "type": "object",
+      "required": ["id", "kind", "label"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "kind": { "enum": ["project", "workspace-root"] },
+        "label": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    },
+    "progress": {
+      "type": "object",
+      "properties": {
+        "completed": { "type": "number", "minimum": 0 },
+        "total": { "type": "number", "minimum": 0 },
+        "percent": { "type": "number", "minimum": 0, "maximum": 100 },
+        "iteration": { "type": "number", "minimum": 0 },
+        "iterations": { "type": "number", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "attempt": {
+      "type": "object",
+      "required": ["attempt", "status", "startedAt", "updatedAt"],
+      "properties": {
+        "attempt": { "type": "integer", "minimum": 1 },
+        "status": { "$ref": "#/$defs/status" },
+        "startedAt": { "type": "string", "format": "date-time" },
+        "updatedAt": { "type": "string", "format": "date-time" },
+        "progress": { "$ref": "#/$defs/progress" },
+        "durationMs": { "type": "number", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "block": {
+      "type": "object",
+      "required": ["id", "label", "status", "order", "updatedAt", "attempts"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "label": { "type": "string", "minLength": 1 },
+        "status": { "$ref": "#/$defs/status" },
+        "order": { "type": "number" },
+        "parentId": { "type": "string", "minLength": 1 },
+        "progress": { "$ref": "#/$defs/progress" },
+        "durationMs": { "type": "number", "minimum": 0 },
+        "layoutHint": { "enum": ["source", "process", "gate", "sink"] },
+        "group": { "type": "string", "minLength": 1 },
+        "updatedAt": { "type": "string", "format": "date-time" },
+        "attempt": { "type": "integer", "minimum": 1 },
+        "attempts": { "type": "array", "items": { "$ref": "#/$defs/attempt" } }
+      },
+      "additionalProperties": false
+    },
+    "edge": {
+      "type": "object",
+      "required": ["id", "fromBlockId", "toBlockId", "kind", "status", "order", "updatedAt"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "fromBlockId": { "type": "string", "minLength": 1 },
+        "toBlockId": { "type": "string", "minLength": 1 },
+        "kind": { "enum": ["sequence", "parallel", "gate", "handoff"] },
+        "status": { "$ref": "#/$defs/status" },
+        "order": { "type": "number" },
+        "updatedAt": { "type": "string", "format": "date-time" }
+      },
+      "additionalProperties": false
+    },
+    "touch": {
+      "type": "object",
+      "required": ["locator", "at"],
+      "properties": {
+        "locator": { "type": "string" },
+        "operation": { "type": "string" },
+        "at": { "type": "string", "format": "date-time" }
+      },
+      "additionalProperties": false
+    },
+    "artifact": {
+      "type": "object",
+      "required": ["locator", "at"],
+      "properties": {
+        "locator": { "type": "string" },
+        "at": { "type": "string", "format": "date-time" }
+      },
+      "additionalProperties": false
+    },
+    "run": {
+      "type": "object",
+      "required": [
+        "runId",
+        "command",
+        "status",
+        "startedAt",
+        "updatedAt",
+        "blocks",
+        "edges",
+        "touches",
+        "artifacts",
+        "warnings"
+      ],
+      "properties": {
+        "runId": { "type": "string", "minLength": 1 },
+        "parentRunId": { "type": "string", "minLength": 1 },
+        "pid": { "type": "integer", "minimum": 1 },
+        "orphaned": { "type": "boolean" },
+        "origin": { "$ref": "#/$defs/origin" },
+        "command": { "type": "array", "items": { "type": "string" } },
+        "status": { "$ref": "#/$defs/status" },
+        "startedAt": { "type": "string", "format": "date-time" },
+        "updatedAt": { "type": "string", "format": "date-time" },
+        "durationMs": { "type": "number", "minimum": 0 },
+        "blocks": { "type": "array", "items": { "$ref": "#/$defs/block" } },
+        "edges": { "type": "array", "items": { "$ref": "#/$defs/edge" } },
+        "touches": { "type": "array", "items": { "$ref": "#/$defs/touch" } },
+        "artifacts": { "type": "array", "items": { "$ref": "#/$defs/artifact" } },
+        "warnings": { "type": "array", "items": { "type": "string" } }
+      },
+      "additionalProperties": false
+    }
+  }
+}

package/contracts/workspace-intelligence/agent-bootstrap-receipt.v1.json

@@ -10,6 +10,8 @@
     "generatedAt",
     "receiptId",
     "status",
+    "statusScope",
+    "readiness",
     "requestedAgent",
     "resolvedHost",
     "project",
@@ -28,6 +30,18 @@
     "generatedAt": { "type": "string", "format": "date-time" },
     "receiptId": { "$ref": "#/$defs/hash" },
     "status": { "$ref": "#/$defs/status" },
+    "statusScope": { "const": "agent-grounding" },
+    "readiness": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["agentGrounding", "architectureEvidence", "projectEnvironment", "release"],
+      "properties": {
+        "agentGrounding": { "$ref": "#/$defs/status" },
+        "architectureEvidence": { "$ref": "#/$defs/status" },
+        "projectEnvironment": { "enum": ["ready", "degraded", "blocked"] },
+        "release": { "enum": ["not-verified", "degraded", "blocked"] }
+      }
+    },
     "requestedAgent": {
       "enum": [
         "generic",
@@ -127,6 +141,9 @@
       ],
       "properties": {
         "projectContext": { "const": ".workspai/reports/project-context-agent.json" },
+        "projectKnowledgeGraph": {
+          "const": ".workspai/reports/project-knowledge-graph-reference.json"
+        },
         "workspaceIndex": { "const": "workspace:.workspai/reports/INDEX.json" },
         "workspaceContext": {
           "const": "workspace:.workspai/reports/workspace-context-agent.json"

package/contracts/workspace-intelligence/mcp-design.v1.json

@@ -9,8 +9,10 @@
     "workspaceRoot",
     "status",
     "mode",
+    "runtime",
     "safety",
-    "candidateTools"
+    "candidateTools",
+    "plannedTools"
   ],
   "properties": {
     "schemaVersion": {
@@ -25,11 +27,50 @@
       "minLength": 1
     },
     "status": {
-      "const": "design-only"
+      "const": "implemented"
     },
     "mode": {
       "const": "read-mostly"
     },
+    "runtime": {
+      "type": "object",
+      "required": [
+        "command",
+        "transport",
+        "lifecycle",
+        "supportedProtocolVersions",
+        "structuredContent",
+        "toolExecutionErrors"
+      ],
+      "properties": {
+        "command": {
+          "type": "string",
+          "minLength": 1
+        },
+        "transport": {
+          "const": "stdio-jsonrpc"
+        },
+        "lifecycle": {
+          "const": "dual-era"
+        },
+        "supportedProtocolVersions": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}$"
+          },
+          "uniqueItems": true,
+          "minItems": 1
+        },
+        "structuredContent": {
+          "const": true
+        },
+        "toolExecutionErrors": {
+          "const": true
+        }
+      },
+      "additionalProperties": false
+    },
     "safety": {
       "type": "object"
     },
@@ -38,6 +79,12 @@
       "items": {
         "type": "object"
       }
+    },
+    "plannedTools": {
+      "type": "array",
+      "items": {
+        "type": "object"
+      }
     }
   },
   "additionalProperties": true

package/contracts/workspace-intelligence/project-agent-entry.v1.json

@@ -66,6 +66,9 @@
       "properties": {
         "projectContext": { "const": ".workspai/reports/project-context-agent.json" },
         "projectGrounding": { "const": ".workspai/PROJECT-GROUNDING.md" },
+        "projectKnowledgeGraph": {
+          "const": ".workspai/reports/project-knowledge-graph-reference.json"
+        },
         "goalIndex": { "const": "workspace:.workspai/goals/index.json" },
         "workspaceIndex": { "const": "workspace:.workspai/reports/INDEX.json" },
         "workspaceContext": {

package/contracts/workspace-intelligence/project-context-agent.v1.json

@@ -29,6 +29,9 @@
           "enum": ["managed", "adopted", "imported", "linked", "restored"]
         },
         "contract": { "const": "workspace:.workspai/workspace.contract.json" },
+        "projectKnowledgeGraph": {
+          "const": ".workspai/reports/project-knowledge-graph-reference.json"
+        },
         "model": { "const": "workspace:.workspai/reports/workspace-model.json" },
         "knowledgeGraph": {
           "const": "workspace:.workspai/reports/workspace-knowledge-graph.json"
@@ -140,6 +143,7 @@
         "relationsByKind",
         "languages",
         "semantic",
+        "projection",
         "relatedProjects",
         "freshness",
         "topology",
@@ -200,6 +204,41 @@
           },
           "additionalProperties": false
         },
+        "projection": {
+          "description": "Observable bounds for the representative entity projection. Counts remain exhaustive; omitted entities are available through bounded graph search.",
+          "type": "object",
+          "required": [
+            "mode",
+            "maxEntities",
+            "byteBudget",
+            "selectedBytes",
+            "eligibleCount",
+            "selectedCount",
+            "omittedCount",
+            "selectedByKind",
+            "omittedByKind",
+            "continuationCommand"
+          ],
+          "properties": {
+            "mode": { "const": "stratified-byte-bounded" },
+            "maxEntities": { "type": "integer", "minimum": 1 },
+            "byteBudget": { "type": "integer", "minimum": 1 },
+            "selectedBytes": { "type": "integer", "minimum": 0 },
+            "eligibleCount": { "type": "integer", "minimum": 0 },
+            "selectedCount": { "type": "integer", "minimum": 0 },
+            "omittedCount": { "type": "integer", "minimum": 0 },
+            "selectedByKind": {
+              "type": "object",
+              "additionalProperties": { "type": "integer", "minimum": 0 }
+            },
+            "omittedByKind": {
+              "type": "object",
+              "additionalProperties": { "type": "integer", "minimum": 1 }
+            },
+            "continuationCommand": { "type": "string", "minLength": 1 }
+          },
+          "additionalProperties": false
+        },
         "relatedProjects": {
           "type": "array",
           "items": { "type": "string" },
@@ -223,12 +262,12 @@
             "dependencies": {
               "type": "array",
               "items": { "$ref": "#/$defs/topologyRelation" },
-              "maxItems": 128
+              "maxItems": 16
             },
             "dependents": {
               "type": "array",
               "items": { "$ref": "#/$defs/topologyRelation" },
-              "maxItems": 128
+              "maxItems": 16
             }
           },
           "additionalProperties": false
@@ -267,7 +306,7 @@
             "decisions": { "$ref": "#/$defs/entityList" },
             "ports": {
               "type": "array",
-              "maxItems": 32,
+              "maxItems": 8,
               "items": { "$ref": "#/$defs/port" }
             }
           },
@@ -275,6 +314,7 @@
         },
         "diagnostics": {
           "type": "array",
+          "maxItems": 16,
           "items": {
             "type": "object",
             "required": ["code", "severity", "message"],
@@ -294,23 +334,24 @@
       "type": "object",
       "required": ["readOrder", "projectProofArtifacts", "relations", "proofs"],
       "properties": {
-        "readOrder": { "type": "array", "items": { "type": "string" }, "uniqueItems": true },
+        "readOrder": { "type": "array", "maxItems": 12, "items": { "type": "string" }, "uniqueItems": true },
         "projectProofArtifacts": {
           "type": "array",
           "items": {
             "type": "string",
             "not": { "pattern": "^(?:/|[A-Za-z]:[\\\\/])" }
           },
-          "uniqueItems": true
+          "uniqueItems": true,
+          "maxItems": 24
         },
         "relations": {
           "type": "array",
-          "maxItems": 128,
+          "maxItems": 16,
           "items": { "$ref": "#/$defs/relation" }
         },
         "proofs": {
           "type": "array",
-          "maxItems": 128,
+          "maxItems": 16,
           "items": { "$ref": "#/$defs/proof" }
         }
       },
@@ -384,6 +425,7 @@
         "requiredReadOrder": {
           "type": "array",
           "minItems": 4,
+          "maxItems": 10,
           "uniqueItems": true,
           "items": { "type": "string", "minLength": 1 }
         },

package/contracts/workspace-intelligence/project-knowledge-graph-reference.v1.json

@@ -0,0 +1,51 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://workspai.dev/schemas/workspace-intelligence/project-knowledge-graph-reference.v1.json",
+  "title": "Workspai Project Knowledge Graph Reference",
+  "description": "Portable, integrity-bound project reference to the canonical workspace Knowledge Graph.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "generatedAt", "project", "canonical", "summary", "integrity"],
+  "properties": {
+    "schemaVersion": { "const": "project-knowledge-graph-reference.v1" },
+    "generatedAt": { "type": "string", "format": "date-time" },
+    "project": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["name"],
+      "properties": { "name": { "type": "string", "minLength": 1 } }
+    },
+    "canonical": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["graph", "boundedQuery", "sourceHash", "projectionHash"],
+      "properties": {
+        "graph": { "const": "workspace:.workspai/reports/workspace-knowledge-graph.json" },
+        "boundedQuery": { "type": "string", "minLength": 1 },
+        "sourceHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+        "projectionHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+      }
+    },
+    "summary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["entityCount", "relationCount", "proofCount"],
+      "properties": {
+        "entityCount": { "type": "integer", "minimum": 0 },
+        "relationCount": { "type": "integer", "minimum": 0 },
+        "proofCount": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "integrity": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["algorithm", "payloadHash", "portable", "absolutePathsEmitted"],
+      "properties": {
+        "algorithm": { "const": "sha256" },
+        "payloadHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+        "portable": { "const": true },
+        "absolutePathsEmitted": { "const": false }
+      }
+    }
+  }
+}