archctx 0.6.3 → 0.7.1

package/schemas/runtime/projection-result.schema.json

@@ -17,6 +17,9 @@
     "refreshSignals": { "type": "array", "description": "Canonical wire order is by signalId and cross-object receipt/snapshot bindings are enforced by projectionResultInvariantIssues.", "items": { "$ref": "#/$defs/refreshSignal" } },
     "applyReceipt": { "$ref": "#/$defs/applyIdentity" },
     "priorCommittedApplies": { "type": "array", "minItems": 1, "description": "Omitted, never empty. Canonical wire order is by changeSetId and is enforced by projectionResultInvariantIssues.", "items": { "$ref": "#/$defs/priorCommittedApply" } },
+    "freshness": { "$ref": "#/$defs/freshness" },
+    "replayed": { "const": true, "description": "A repeated apply for the same requestId and request digest returned the committed result without applying again. Excluded from receiptDigest." },
+    "majorChangeAcceptance": { "const": "declined-unprovable-proof", "description": "Present only when the request sent acceptObservedMajorChange and the provider declined it because a capability proof is unprovable; humanActions then carries unprovable-required-flow instead of unresolved-major-change." },
     "receiptDigest": { "$ref": "#/$defs/digest" }
   },
   "allOf": [
@@ -31,6 +34,25 @@
         "required": ["applyReceipt"],
         "properties": { "refreshSignals": { "maxItems": 0 } }
       }
+    },
+    {
+      "if": { "required": ["majorChangeAcceptance"] },
+      "then": {
+        "properties": {
+          "status": { "const": "human-action-required" },
+          "humanActions": {
+            "contains": { "properties": { "reasonCode": { "const": "unprovable-required-flow" } }, "required": ["reasonCode"] },
+            "not": { "contains": { "properties": { "reasonCode": { "const": "unresolved-major-change" } }, "required": ["reasonCode"] } }
+          }
+        }
+      }
+    },
+    {
+      "if": { "required": ["replayed"] },
+      "then": {
+        "required": ["applyReceipt"],
+        "properties": { "status": { "enum": ["applied", "applied-reconcile-required"] } }
+      }
     }
   ],
   "$defs": {
@@ -51,16 +73,15 @@
         "codeGraphDigest": { "$ref": "#/$defs/digest" },
         "indexedWorktreeDigest": { "$ref": "#/$defs/nullableDigest" },
         "projectionInputDigest": { "$ref": "#/$defs/digest" },
-        "rendererVersion": { "const": "archcontext.docs-renderer/v4" },
+        "rendererVersion": { "const": "archcontext.docs-renderer/v5" },
         "layoutVersion": { "const": "archcontext.docs-layout/v1" },
         "generatedFrom": {
           "type": "object",
           "additionalProperties": false,
-          "required": ["codeGraphPackage", "codeGraphVersion", "codeGraphBinaryDigest", "codeGraphStatus"],
+          "required": ["codeGraphPackage", "codeGraphVersion", "codeGraphStatus"],
           "properties": {
             "codeGraphPackage": { "const": "@colbymchenry/codegraph" },
             "codeGraphVersion": { "const": "1.6.1" },
-            "codeGraphBinaryDigest": { "$ref": "#/$defs/digest" },
             "codeGraphStatus": { "enum": ["ready", "unavailable"] }
           }
         }
@@ -78,32 +99,62 @@
         },
         "action": { "enum": ["create", "delete", "unchanged", "update"] },
         "preimageDigest": { "$ref": "#/$defs/nullableDigest" },
-        "outputDigest": { "$ref": "#/$defs/nullableDigest" }
+        "outputDigest": { "$ref": "#/$defs/nullableDigest" },
+        "preview": { "$ref": "#/$defs/filePreview" }
       },
       "allOf": [
         {
           "if": { "properties": { "action": { "const": "create" } }, "required": ["action"] },
-          "then": { "properties": { "preimageDigest": { "const": null }, "outputDigest": { "$ref": "#/$defs/digest" } } }
+          "then": { "properties": { "preimageDigest": { "const": null }, "outputDigest": { "$ref": "#/$defs/digest" }, "preview": { "properties": { "format": { "const": "body" } } } } }
         },
         {
           "if": { "properties": { "action": { "const": "delete" } }, "required": ["action"] },
-          "then": { "properties": { "preimageDigest": { "$ref": "#/$defs/digest" }, "outputDigest": { "const": null } } }
+          "then": { "properties": { "preimageDigest": { "$ref": "#/$defs/digest" }, "outputDigest": { "const": null }, "preview": { "properties": { "format": { "const": "unified-diff" } } } } }
         },
         {
           "if": { "properties": { "action": { "enum": ["unchanged", "update"] } }, "required": ["action"] },
           "then": { "properties": { "preimageDigest": { "$ref": "#/$defs/digest" }, "outputDigest": { "$ref": "#/$defs/digest" } } }
+        },
+        {
+          "if": { "properties": { "action": { "const": "update" } }, "required": ["action"] },
+          "then": { "properties": { "preview": { "properties": { "format": { "const": "unified-diff" } } } } }
+        },
+        {
+          "if": { "properties": { "action": { "const": "unchanged" } }, "required": ["action"] },
+          "then": { "not": { "required": ["preview"] } }
         }
       ]
     },
+    "filePreview": {
+      "type": "object",
+      "additionalProperties": false,
+      "description": "plan results only (#264): the rendered body of a create, or a unified diff of an update or delete, returned in the response and never persisted. content is cut at a line boundary to at most 65536 UTF-8 bytes per file and 1048576 per result; byteLength is the UTF-8 length of the complete content. The byte bounds and truncated/byteLength coupling are enforced by projectionResultInvariantIssues.",
+      "required": ["format", "content", "byteLength", "truncated"],
+      "properties": {
+        "format": { "enum": ["body", "unified-diff"] },
+        "content": { "type": "string", "maxLength": 65536 },
+        "byteLength": { "type": "integer", "minimum": 0 },
+        "truncated": { "type": "boolean" }
+      }
+    },
     "humanAction": {
       "type": "object",
       "additionalProperties": false,
       "required": ["reasonCode", "affectedNodeIds", "requestPayloadDigest"],
       "properties": {
-        "reasonCode": { "enum": ["adoption-required", "manual-region-conflict", "target-collision", "unprovable-required-flow", "unresolved-major-change"] },
+        "reasonCode": { "enum": ["adoption-required", "manual-region-conflict", "orphaned-document-review", "target-collision", "unprovable-required-flow", "unresolved-major-change"] },
         "affectedNodeIds": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "path": {
+          "type": "string",
+          "minLength": 1,
+          "description": "The orphaned managed document a human must review. Present exactly when reasonCode is orphaned-document-review.",
+          "not": { "anyOf": [{ "pattern": "^/" }, { "pattern": "\\\\" }, { "pattern": "(^|/)\\.\\.(/|$)" }] }
+        },
         "requestPayloadDigest": { "$ref": "#/$defs/digest" }
-      }
+      },
+      "if": { "properties": { "reasonCode": { "const": "orphaned-document-review" } }, "required": ["reasonCode"] },
+      "then": { "required": ["path"] },
+      "else": { "not": { "required": ["path"] } }
     },
     "digestSet": {
       "type": "object",
@@ -116,6 +167,27 @@
         "projectionDigest": { "$ref": "#/$defs/digest" }
       }
     },
+    "capabilityChange": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["capabilityId", "reasonCodes", "changedFacets", "proofStatusBefore", "proofStatusAfter"],
+      "properties": {
+        "capabilityId": { "type": "string", "minLength": 1 },
+        "reasonCodes": { "type": "array", "uniqueItems": true, "items": { "$ref": "#/$defs/reasonCode" } },
+        "changedFacets": { "type": "array", "uniqueItems": true, "items": { "enum": ["constraints", "entrypoints", "interfaces", "lifecycle", "names", "ownership", "placement", "relations", "responsibilities", "riskBoundaries"] } },
+        "proofStatusBefore": { "anyOf": [{ "type": "null" }, { "$ref": "#/$defs/proofStatus" }] },
+        "proofStatusAfter": { "anyOf": [{ "type": "null" }, { "$ref": "#/$defs/proofStatus" }] }
+      }
+    },
+    "proofStatus": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["p1", "p2"],
+      "properties": {
+        "p1": { "enum": ["proven", "unprovable"] },
+        "p2": { "enum": ["not-applicable", "proven", "unprovable"] }
+      }
+    },
     "reasonCode": {
       "enum": ["constraint-changed", "entrypoint-changed", "interface-changed", "lifecycle-changed", "node-added", "node-moved", "node-removed", "node-renamed", "ownership-changed", "relation-changed", "responsibility-changed", "risk-boundary-changed", "verified-flow-proof-changed"]
     },
@@ -143,6 +215,7 @@
         "acceptedChange": { "$ref": "#/$defs/acceptedChange" },
         "reasonCodes": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/reasonCode" } },
         "affectedNodeIds": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+        "capabilities": { "type": "array", "minItems": 1, "description": "The observed per-capability breakdown of this signal, sorted by capabilityId (enforced by architectureRefreshSignalInvariantIssues). Part of the signal identity; signals committed before it existed lack it.", "items": { "$ref": "#/$defs/capabilityChange" } },
         "refreshTargets": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "enum": ["architecture-contract-context", "architecture-readiness", "architecture-request-index", "capability-context", "capability-index"] } },
         "baseDigests": { "$ref": "#/$defs/digestSet" },
         "resultingDigests": { "$ref": "#/$defs/digestSet" },
@@ -167,6 +240,33 @@
         "affectedNodeIds": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } }
       }
     },
+    "freshness": {
+      "type": "object",
+      "additionalProperties": false,
+      "description": "Present on check results only. Canonical wire orders and the ok/reasonCodes/staleNodes coupling are enforced by projectionResultInvariantIssues.",
+      "required": ["ok", "reasonCodes", "staleNodes"],
+      "properties": {
+        "ok": { "type": "boolean" },
+        "reasonCodes": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": { "enum": ["projection-manifest-missing", "projection-manifest-unreadable", "projection-snapshot-provenance-missing", "projection-source-changed-since-stamp", "projection-source-stamp-invalid", "projection-source-stamp-missing", "projection-source-tree-digest-mismatch"] }
+        },
+        "staleNodes": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["nodeId", "stampedDigest", "currentDigest"],
+            "properties": {
+              "nodeId": { "type": "string", "minLength": 1 },
+              "stampedDigest": { "$ref": "#/$defs/digest" },
+              "currentDigest": { "$ref": "#/$defs/digest" }
+            }
+          }
+        }
+      }
+    },
     "priorCommittedApply": {
       "type": "object",
       "additionalProperties": false,