archctx 0.7.2 → 0.8.0

package/schemas/runtime/practice-checkpoint.schema.json

@@ -24,6 +24,7 @@
     "nextSnapshot"
   ],
   "properties": {
+    "debt": { "$ref": "architecture-debt.schema.json" },
     "schemaVersion": { "const": "archcontext.practice-checkpoint/v1" },
     "taskSessionId": { "type": "string", "minLength": 1 },
     "event": { "enum": ["manual", "post-edit", "post-write", "pre-complete"] },

package/schemas/runtime/product-version-manifest.schema.json

@@ -39,7 +39,7 @@
             "packageName": { "type": "string", "minLength": 1 },
             "version": { "$ref": "#/$defs/semver" },
             "entrypoint": { "type": "string", "minLength": 1 },
-            "rpcSchemaVersion": { "const": "archcontext.runtime-rpc/v1" }
+            "rpcSchemaVersion": { "const": "archcontext.runtime-rpc/v2" }
           }
         },
         "mcp": {
@@ -78,7 +78,7 @@
           "additionalProperties": false,
           "required": ["schemaVersion", "protocol"],
           "properties": {
-            "schemaVersion": { "const": "archcontext.runtime-rpc/v1" },
+            "schemaVersion": { "const": "archcontext.runtime-rpc/v2" },
             "protocol": { "enum": ["http-loopback"] }
           }
         },

package/schemas/runtime/projection-apply-readback.schema.json

@@ -76,7 +76,7 @@
           "$ref": "#/$defs/digest"
         },
         "rendererVersion": {
-          "const": "archcontext.docs-renderer/v5"
+          "const": "archcontext.docs-renderer/v6"
         },
         "layoutVersion": {
           "const": "archcontext.docs-layout/v1"
@@ -94,7 +94,7 @@
               "const": "@colbymchenry/codegraph"
             },
             "codeGraphVersion": {
-              "const": "1.6.1"
+              "const": "1.6.2"
             },
             "codeGraphStatus": {
               "enum": [
@@ -819,6 +819,312 @@
         ]
       }
     },
+    "targetChange": {
+      "type": "object",
+      "additionalProperties": false,
+      "description": "How one target changes since the committed projection and what this run's write does to its file (#327). null is an unknown comparison. classification follows blocked > proof-change (a known proof change) > baseline-missing > semantic-change > output-change > stamp-only > unchanged.",
+      "required": [
+        "targetId",
+        "path",
+        "affectedCapabilityIds",
+        "stampChanged",
+        "outputChanged",
+        "semanticChanged",
+        "proofChanged",
+        "plannedAction",
+        "classification",
+        "reasonCodes"
+      ],
+      "properties": {
+        "targetId": {
+          "type": "string",
+          "minLength": 1
+        },
+        "path": {
+          "type": "string",
+          "minLength": 1,
+          "not": {
+            "anyOf": [
+              {
+                "pattern": "^/"
+              },
+              {
+                "pattern": "\\\\"
+              },
+              {
+                "pattern": "(^|/)\\.\\.(/|$)"
+              }
+            ]
+          }
+        },
+        "affectedCapabilityIds": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        },
+        "stampChanged": {
+          "type": [
+            "boolean",
+            "null"
+          ]
+        },
+        "outputChanged": {
+          "type": "boolean"
+        },
+        "semanticChanged": {
+          "type": [
+            "boolean",
+            "null"
+          ]
+        },
+        "proofChanged": {
+          "type": [
+            "boolean",
+            "null"
+          ]
+        },
+        "plannedAction": {
+          "enum": [
+            "create",
+            "delete",
+            "none",
+            "update"
+          ]
+        },
+        "classification": {
+          "enum": [
+            "baseline-missing",
+            "blocked",
+            "output-change",
+            "proof-change",
+            "semantic-change",
+            "stamp-only",
+            "unchanged"
+          ]
+        },
+        "reasonCodes": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "enum": [
+              "adoption-required",
+              "ambiguous-ownership",
+              "baseline-missing",
+              "file-bytes-changed",
+              "flow-proof-changed",
+              "model-digest-changed",
+              "orphan-review-required",
+              "rendered-output-changed",
+              "selector-evidence-changed",
+              "semantic-fingerprint-changed",
+              "source-stamp-changed",
+              "target-added",
+              "target-removed",
+              "target-row-missing",
+              "unprovable-required-flow",
+              "verified-flow-proof-changed"
+            ]
+          }
+        }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": {
+              "classification": {
+                "const": "blocked"
+              }
+            },
+            "required": [
+              "classification"
+            ]
+          },
+          "then": {
+            "properties": {
+              "plannedAction": {
+                "const": "none"
+              }
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": {
+              "classification": {
+                "enum": [
+                  "stamp-only",
+                  "unchanged"
+                ]
+              }
+            },
+            "required": [
+              "classification"
+            ]
+          },
+          "then": {
+            "properties": {
+              "plannedAction": {
+                "const": "none"
+              },
+              "outputChanged": {
+                "const": false
+              },
+              "stampChanged": {
+                "type": "boolean"
+              },
+              "semanticChanged": {
+                "const": false
+              },
+              "proofChanged": {
+                "const": false
+              }
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": {
+              "classification": {
+                "const": "unchanged"
+              }
+            },
+            "required": [
+              "classification"
+            ]
+          },
+          "then": {
+            "properties": {
+              "reasonCodes": {
+                "maxItems": 0
+              },
+              "affectedCapabilityIds": {
+                "maxItems": 0
+              }
+            }
+          },
+          "else": {
+            "properties": {
+              "reasonCodes": {
+                "minItems": 1
+              }
+            }
+          }
+        }
+      ]
+    },
+    "architectureDebt": {
+      "type": "object",
+      "additionalProperties": false,
+      "description": "Present on every check and plan result and on no other. Never changes status. Canonical wire orders and the coverage/coverageReasonCodes coupling are enforced by projectionArchitectureDebtIssues.",
+      "required": [
+        "coverage",
+        "coverageReasonCodes",
+        "items"
+      ],
+      "properties": {
+        "coverage": {
+          "enum": [
+            "complete",
+            "partial",
+            "unknown"
+          ]
+        },
+        "coverageReasonCodes": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "enum": [
+              "code-facts-import-limit",
+              "code-facts-truncated",
+              "code-facts-unavailable",
+              "workspace-resolution-failed"
+            ]
+          }
+        },
+        "items": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+              "reasonCode",
+              "fromCapabilityId",
+              "toCapabilityId",
+              "importEdgeCount"
+            ],
+            "properties": {
+              "reasonCode": {
+                "enum": [
+                  "undeclared-dependency"
+                ]
+              },
+              "fromCapabilityId": {
+                "type": "string",
+                "minLength": 1
+              },
+              "toCapabilityId": {
+                "type": "string",
+                "minLength": 1
+              },
+              "importEdgeCount": {
+                "type": "integer",
+                "minimum": 1
+              }
+            }
+          }
+        }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": {
+              "coverage": {
+                "const": "complete"
+              }
+            },
+            "required": [
+              "coverage"
+            ]
+          },
+          "then": {
+            "properties": {
+              "coverageReasonCodes": {
+                "maxItems": 0
+              }
+            }
+          },
+          "else": {
+            "properties": {
+              "coverageReasonCodes": {
+                "minItems": 1
+              }
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": {
+              "coverage": {
+                "const": "unknown"
+              }
+            },
+            "required": [
+              "coverage"
+            ]
+          },
+          "then": {
+            "properties": {
+              "items": {
+                "maxItems": 0
+              }
+            }
+          }
+        }
+      ]
+    },
     "freshness": {
       "type": "object",
       "additionalProperties": false,
@@ -839,9 +1145,7 @@
             "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"
             ]
@@ -962,12 +1266,14 @@
           "enum": [
             "adoption-required",
             "applied",
+            "applied-partial",
             "applied-reconcile-required",
             "blocked",
             "human-action-required",
             "noop",
             "permanent-failure",
             "planned",
+            "planned-partial",
             "retryable-failure"
           ]
         },
@@ -1020,14 +1326,31 @@
         "freshness": {
           "$ref": "#/$defs/freshness"
         },
+        "architectureDebt": {
+          "$ref": "#/$defs/architectureDebt"
+        },
+        "changes": {
+          "type": "array",
+          "description": "Present on every check and plan result and on no other. One entry per target path, the projection manifest excluded. Canonical wire order is by path; the precedence derivation of classification, the reason-code couplings and the binding of plannedAction to files[] and of blocked targets to coverage are enforced by projectionTargetChangesIssues and projectionResultInvariantIssues.",
+          "items": {
+            "$ref": "#/$defs/targetChange"
+          }
+        },
         "replayed": {
           "const": true,
           "description": "A repeated apply for the same requestId and request digest returned the committed result without applying again. Excluded from receiptDigest."
         },
+        "written": {
+          "type": "boolean",
+          "description": "Present exactly when replayed is. false: the replay wrote nothing. true: the projection-owned outputs differed from the approved result at the approved snapshot and the replay wrote the committed fixed point again under the original receipt. 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."
         },
+        "coverage": {
+          "$ref": "#/$defs/coverage"
+        },
         "receiptDigest": {
           "$ref": "#/$defs/digest"
         }
@@ -1122,6 +1445,43 @@
             }
           }
         },
+        {
+          "if": {
+            "properties": {
+              "status": {
+                "enum": [
+                  "applied-partial",
+                  "planned-partial"
+                ]
+              }
+            },
+            "required": [
+              "status"
+            ]
+          },
+          "then": {
+            "required": [
+              "coverage"
+            ],
+            "not": {
+              "required": [
+                "applyReceipt"
+              ]
+            },
+            "properties": {
+              "refreshSignals": {
+                "maxItems": 0
+              }
+            }
+          },
+          "else": {
+            "not": {
+              "required": [
+                "coverage"
+              ]
+            }
+          }
+        },
         {
           "if": {
             "required": [
@@ -1130,7 +1490,8 @@
           },
           "then": {
             "required": [
-              "applyReceipt"
+              "applyReceipt",
+              "written"
             ],
             "properties": {
               "status": {
@@ -1141,6 +1502,18 @@
               }
             }
           }
+        },
+        {
+          "if": {
+            "required": [
+              "written"
+            ]
+          },
+          "then": {
+            "required": [
+              "replayed"
+            ]
+          }
         }
       ]
     },
@@ -1234,7 +1607,7 @@
           "$ref": "#/$defs/digestSet"
         },
         "rendererVersion": {
-          "const": "archcontext.docs-renderer/v5"
+          "const": "archcontext.docs-renderer/v6"
         },
         "layoutVersion": {
           "const": "archcontext.docs-layout/v1"
@@ -1252,7 +1625,7 @@
               "const": "@colbymchenry/codegraph"
             },
             "codeGraphVersion": {
-              "const": "1.6.1"
+              "const": "1.6.2"
             },
             "codeGraphStatus": {
               "enum": [
@@ -1400,6 +1773,96 @@
           "$ref": "#/$defs/digest"
         }
       }
+    },
+    "coverage": {
+      "type": "object",
+      "additionalProperties": false,
+      "description": "Present exactly on planned-partial and applied-partial results; a result that covers every target omits it. Canonical wire orders, the capability bindings and the exclusion of carried-forward paths from files are enforced by projectionCoverageIssues.",
+      "required": [
+        "complete",
+        "blockedCapabilityIds",
+        "blockedTargets",
+        "appliedTargetIds"
+      ],
+      "properties": {
+        "complete": {
+          "const": false
+        },
+        "blockedCapabilityIds": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        },
+        "blockedTargets": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+              "targetId",
+              "path",
+              "capabilityIds",
+              "reasonCodes"
+            ],
+            "properties": {
+              "targetId": {
+                "type": "string",
+                "minLength": 1
+              },
+              "path": {
+                "type": "string",
+                "minLength": 1,
+                "not": {
+                  "anyOf": [
+                    {
+                      "pattern": "^/"
+                    },
+                    {
+                      "pattern": "\\\\"
+                    },
+                    {
+                      "pattern": "(^|/)\\.\\.(/|$)"
+                    }
+                  ]
+                }
+              },
+              "capabilityIds": {
+                "type": "array",
+                "minItems": 1,
+                "uniqueItems": true,
+                "items": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              },
+              "reasonCodes": {
+                "type": "array",
+                "minItems": 1,
+                "uniqueItems": true,
+                "items": {
+                  "enum": [
+                    "unprovable-required-flow",
+                    "verified-flow-proof-changed"
+                  ]
+                }
+              }
+            }
+          }
+        },
+        "appliedTargetIds": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        }
+      }
     }
   }
 }

package/schemas/runtime/projection-apply-recovery.schema.json

@@ -41,7 +41,7 @@
       "required": ["codeGraphPackage", "codeGraphVersion", "codeGraphStatus"],
       "properties": {
         "codeGraphPackage": { "const": "@colbymchenry/codegraph" },
-        "codeGraphVersion": { "const": "1.6.1" },
+        "codeGraphVersion": { "const": "1.6.2" },
         "codeGraphStatus": { "enum": ["ready", "unavailable"] }
       }
     },
@@ -132,7 +132,7 @@
         "codeGraphDigest": { "$ref": "#/$defs/digest" },
         "indexedWorktreeDigest": { "type": ["string", "null"], "pattern": "^sha256:[a-f0-9]{64}$" },
         "projectionInputDigest": { "$ref": "#/$defs/digest" },
-        "rendererVersion": { "const": "archcontext.docs-renderer/v5" },
+        "rendererVersion": { "const": "archcontext.docs-renderer/v6" },
         "layoutVersion": { "const": "archcontext.docs-layout/v1" },
         "generatedFrom": { "$ref": "#/$defs/readyGeneratedFrom" }
       }