scip-query 0.20.0 → 0.21.1

package/docs/schemas/cli-json-envelope.schema.json

@@ -6,48 +6,233 @@
   "type": "object",
   "required": ["kind", "schemaVersion", "producer", "command", "resultSchemaVersion", "args", "options", "result"],
   "properties": {
-    "kind": {
-      "const": "scip-query-result"
-    },
-    "schemaVersion": {
-      "const": 1
-    },
+    "kind": { "const": "scip-query-result" },
+    "schemaVersion": { "const": 1 },
     "producer": {
       "type": "object",
       "required": ["name", "version"],
       "properties": {
-        "name": {
-          "const": "scip-query"
+        "name": { "const": "scip-query" },
+        "version": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": true
+    },
+    "command": { "type": "string", "minLength": 1 },
+    "operationRole": {
+      "enum": [
+        "repository-observation",
+        "repository-preview",
+        "mutation",
+        "composite",
+        "environment-observation",
+        "tool-information"
+      ]
+    },
+    "resultSchemaVersion": { "type": "integer", "minimum": 1 },
+    "evidence": { "enum": ["graph-fact", "heuristic", "mixed"] },
+    "analysisBudget": {},
+    "args": { "type": "array" },
+    "options": { "type": "object", "additionalProperties": true },
+    "result": {},
+    "resultProjection": { "const": "agent" },
+    "coverage": {},
+    "agentResult": {},
+    "evidenceContext": { "$ref": "#/$defs/evidenceContextV1" }
+  },
+  "$defs": {
+    "evidenceContextV1": {
+      "type": "object",
+      "required": ["schemaVersion", "receipt", "analysisManifest"],
+      "properties": {
+        "schemaVersion": { "const": 1 },
+        "operationRole": {
+          "enum": [
+            "repository-observation",
+            "repository-preview",
+            "mutation",
+            "composite",
+            "environment-observation",
+            "tool-information"
+          ]
         },
-        "version": {
-          "type": "string",
-          "minLength": 1
-        }
+        "receipt": { "$ref": "./observation-receipt.schema.json" },
+        "analysisManifest": { "$ref": "#/$defs/analysisManifestV1" }
       },
       "additionalProperties": true
     },
-    "command": {
-      "type": "string",
-      "minLength": 1
+    "analysisManifestV1": {
+      "type": "object",
+      "required": ["schemaVersion"],
+      "properties": {
+        "schemaVersion": { "const": 1 },
+        "evidence": { "enum": ["graph-fact", "heuristic", "mixed"] },
+        "analysisBudget": {},
+        "coverage": {},
+        "claimQualification": { "$ref": "#/$defs/claimQualificationV1" }
+      },
+      "additionalProperties": true
     },
-    "resultSchemaVersion": {
-      "type": "integer",
-      "minimum": 1
+    "claimQualificationV1": {
+      "type": "object",
+      "required": ["schemaVersion", "origin", "coverage", "producerValidation", "stateAuthority", "repositoryPolicy"],
+      "properties": {
+        "schemaVersion": { "const": 1 },
+        "origin": {
+          "enum": [
+            "compiler-graph",
+            "semantic-analysis",
+            "repository-source",
+            "change-history",
+            "runtime-measurement",
+            "heuristic",
+            "mixed",
+            "unknown"
+          ]
+        },
+        "coverage": { "$ref": "#/$defs/claimCoverage" },
+        "producerValidation": { "$ref": "#/$defs/producerValidation" },
+        "stateAuthority": { "$ref": "#/$defs/stateAuthority" },
+        "repositoryPolicy": { "$ref": "#/$defs/repositoryPolicyAction" },
+        "families": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/claimFamily" }
+        }
+      },
+      "additionalProperties": true
     },
-    "evidence": {
-      "enum": ["graph-fact", "heuristic", "mixed"]
+    "claimCoverage": {
+      "type": "object",
+      "required": ["state", "returned", "totalKnown"],
+      "properties": {
+        "state": { "enum": ["complete", "partial", "unknown"] },
+        "returned": { "type": "integer", "minimum": 0 },
+        "totalKnown": { "type": "boolean" },
+        "total": { "type": "integer", "minimum": 0 },
+        "omitted": { "type": "integer", "minimum": 0 }
+      },
+      "additionalProperties": true
     },
-    "analysisBudget": {},
-    "args": {
-      "type": "array"
+    "producerValidation": {
+      "type": "object",
+      "required": ["status"],
+      "properties": {
+        "status": { "enum": ["validated", "failed", "not-evaluated", "not-applicable"] },
+        "certification": {
+          "type": "object",
+          "required": ["id", "version", "corpus"],
+          "properties": {
+            "id": { "type": "string", "minLength": 1 },
+            "version": { "type": "integer", "minimum": 1 },
+            "corpus": { "type": "string", "minLength": 1 }
+          },
+          "additionalProperties": true
+        }
+      },
+      "oneOf": [
+        {
+          "required": ["status", "certification"],
+          "properties": {
+            "status": { "enum": ["validated", "failed"] }
+          }
+        },
+        {
+          "required": ["status"],
+          "properties": {
+            "status": { "enum": ["not-evaluated", "not-applicable"] },
+            "certification": false
+          }
+        }
+      ],
+      "additionalProperties": true
     },
-    "options": {
+    "stateAuthority": {
       "type": "object",
+      "required": ["policyVersion", "authority", "requiredRelationships", "reasons"],
+      "properties": {
+        "policyVersion": { "type": "integer", "minimum": 1 },
+        "authority": { "enum": ["completion", "advisory", "none"] },
+        "requiredRelationships": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "reasons": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        }
+      },
       "additionalProperties": true
     },
-    "result": {},
-    "coverage": {},
-    "agentResult": {}
+    "repositoryPolicyAction": {
+      "type": "object",
+      "required": ["policyId", "policyVersion", "permission", "reasons"],
+      "properties": {
+        "policyId": { "type": "string", "minLength": 1 },
+        "policyVersion": { "const": 1 },
+        "permission": {
+          "enum": ["observe", "advise", "require-adjudication", "block", "not-established"]
+        },
+        "reasons": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        }
+      },
+      "additionalProperties": true
+    },
+    "claimFamily": {
+      "type": "object",
+      "required": ["id", "selector", "origin"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "selector": { "type": "string", "minLength": 1 },
+        "origin": {
+          "oneOf": [
+            {
+              "type": "object",
+              "required": ["kind", "origin"],
+              "properties": {
+                "kind": { "const": "fixed" },
+                "origin": {
+                  "enum": [
+                    "compiler-graph",
+                    "semantic-analysis",
+                    "repository-source",
+                    "change-history",
+                    "runtime-measurement",
+                    "heuristic",
+                    "unknown"
+                  ]
+                }
+              },
+              "additionalProperties": true
+            },
+            {
+              "type": "object",
+              "required": ["kind", "field", "values"],
+              "properties": {
+                "kind": { "const": "result-field" },
+                "field": { "type": "string", "minLength": 1 },
+                "values": {
+                  "type": "object",
+                  "additionalProperties": {
+                    "enum": [
+                      "compiler-graph",
+                      "semantic-analysis",
+                      "repository-source",
+                      "change-history",
+                      "runtime-measurement",
+                      "heuristic",
+                      "unknown"
+                    ]
+                  }
+                }
+              },
+              "additionalProperties": true
+            }
+          ]
+        }
+      },
+      "additionalProperties": true
+    }
   },
   "additionalProperties": true
 }

package/docs/schemas/cli-json-export-receipt.schema.json

@@ -0,0 +1,25 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/aydansalois/scip-query/schemas/cli-json-export-receipt.schema.json",
+  "title": "scip-query JSON export receipt",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["kind", "schemaVersion", "producer", "command", "path", "bytes", "sha256"],
+  "properties": {
+    "kind": { "const": "scip-query-json-export" },
+    "schemaVersion": { "const": 1 },
+    "producer": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["name", "version"],
+      "properties": {
+        "name": { "const": "scip-query" },
+        "version": { "type": "string", "minLength": 1 }
+      }
+    },
+    "command": { "type": "string", "minLength": 1 },
+    "path": { "type": "string", "minLength": 1, "maxLength": 4096 },
+    "bytes": { "type": "integer", "minimum": 0, "maximum": 67108864 },
+    "sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" }
+  }
+}

package/docs/schemas/cli-output-page.schema.json

@@ -36,7 +36,7 @@
     "agentInstruction": {
       "type": "string",
       "minLength": 1,
-      "description": "A direct evidence-completeness obligation for an AI agent consuming this page."
+      "description": "A direct instruction for an AI agent consuming this page."
     },
     "page": {
       "type": "object",

package/docs/schemas/observation-receipt.schema.json

@@ -0,0 +1,164 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://unpkg.com/scip-query/docs/schemas/observation-receipt.schema.json",
+  "title": "scip-query observation receipt",
+  "description": "Versioned facts naming the repository state sources one operation actually observed. Version 1 remains readable legacy provenance; version 2 keeps collaboration, workspace, content, index, source, and stability facts independent.",
+  "oneOf": [{ "$ref": "#/$defs/observationReceiptV1" }, { "$ref": "#/$defs/observationReceiptV2" }],
+  "$defs": {
+    "observationReceiptV1": {
+      "type": "object",
+      "required": ["schemaVersion", "authorityKind", "observedAt", "projectIdentity"],
+      "properties": {
+        "schemaVersion": { "const": 1 },
+        "authorityKind": {
+          "enum": ["index-worktree", "index-only", "worktree-only", "process-local"]
+        },
+        "observedAt": { "type": "string", "format": "date-time" },
+        "projectIdentity": { "type": "string", "minLength": 1, "maxLength": 256 },
+        "index": {
+          "type": "object",
+          "required": ["generationIdentity", "source", "alignment"],
+          "properties": {
+            "generationIdentity": { "type": "string", "minLength": 1, "maxLength": 256 },
+            "source": { "enum": ["immutable", "legacy"] },
+            "alignment": { "enum": ["not-certified", "leased"] }
+          },
+          "additionalProperties": true
+        },
+        "worktree": {
+          "type": "object",
+          "required": ["identity", "clean"],
+          "properties": {
+            "identity": { "type": "string", "minLength": 1, "maxLength": 256 },
+            "clean": { "type": "boolean" },
+            "headCommit": { "type": "string", "minLength": 1, "maxLength": 256 },
+            "treeOid": { "type": "string", "minLength": 1, "maxLength": 256 }
+          },
+          "additionalProperties": true
+        }
+      },
+      "additionalProperties": true
+    },
+    "observationReceiptV2": {
+      "type": "object",
+      "required": ["schemaVersion", "observedAt", "facts", "observedSources", "stabilityProofs"],
+      "properties": {
+        "schemaVersion": { "const": 2 },
+        "observedAt": { "type": "string", "format": "date-time" },
+        "facts": {
+          "type": "object",
+          "properties": {
+            "collaborationDomain": { "$ref": "#/$defs/observationIdentity" },
+            "repositoryLineage": { "$ref": "#/$defs/observationIdentity" },
+            "workspaceInstance": { "$ref": "#/$defs/observationIdentity" },
+            "wholeContent": { "$ref": "#/$defs/observationIdentity" },
+            "relevantInputs": {
+              "type": "array",
+              "items": {
+                "type": "object",
+                "required": ["subject", "identity"],
+                "properties": {
+                  "subject": { "type": "string", "minLength": 1, "maxLength": 256 },
+                  "identity": { "$ref": "#/$defs/observationIdentity" }
+                },
+                "additionalProperties": true
+              }
+            },
+            "index": {
+              "type": "object",
+              "required": ["generation", "source"],
+              "properties": {
+                "generation": { "$ref": "#/$defs/observationIdentity" },
+                "inputs": { "$ref": "#/$defs/observationIdentity" },
+                "source": { "enum": ["immutable", "legacy"] }
+              },
+              "additionalProperties": true
+            }
+          },
+          "additionalProperties": true
+        },
+        "observedSources": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/observationSourceFact" }
+        },
+        "stabilityProofs": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/observationStabilityProof" }
+        },
+        "diagnostics": {
+          "type": "object",
+          "properties": {
+            "clean": { "type": "boolean" },
+            "headCommit": { "type": "string", "minLength": 1, "maxLength": 256 },
+            "treeOid": { "type": "string", "minLength": 1, "maxLength": 256 }
+          },
+          "additionalProperties": true
+        }
+      },
+      "additionalProperties": true
+    },
+    "observationIdentity": {
+      "type": "object",
+      "required": ["schemaVersion", "canonicalizationVersion", "hashAlgorithm", "projection", "digest"],
+      "properties": {
+        "schemaVersion": { "const": 1 },
+        "canonicalizationVersion": { "const": 1 },
+        "hashAlgorithm": { "const": "sha256" },
+        "projection": {
+          "type": "object",
+          "required": ["name", "version"],
+          "properties": {
+            "name": { "type": "string", "minLength": 1, "maxLength": 256 },
+            "version": { "type": "integer", "minimum": 1 }
+          },
+          "additionalProperties": true
+        },
+        "digest": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+      },
+      "additionalProperties": true
+    },
+    "observationSourceFact": {
+      "type": "object",
+      "required": ["kind"],
+      "properties": {
+        "kind": {
+          "enum": ["index-generation", "repository-snapshot", "live-workspace", "process"]
+        },
+        "identity": { "$ref": "#/$defs/observationIdentity" }
+      },
+      "additionalProperties": true
+    },
+    "observationStabilityProof": {
+      "type": "object",
+      "required": ["source", "kind"],
+      "oneOf": [
+        {
+          "properties": {
+            "source": { "const": "index-generation" },
+            "kind": { "enum": ["immutable", "not-established", "invalidated"] }
+          }
+        },
+        {
+          "properties": {
+            "source": { "const": "repository-snapshot" },
+            "kind": { "enum": ["fixed-snapshot", "not-established", "invalidated"] }
+          }
+        },
+        {
+          "properties": {
+            "source": { "const": "live-workspace" },
+            "kind": { "enum": ["bracketed", "not-established", "invalidated"] }
+          }
+        },
+        {
+          "properties": {
+            "source": { "const": "process" },
+            "kind": { "enum": ["not-established", "invalidated"] }
+          }
+        }
+      ],
+      "additionalProperties": true
+    }
+  }
+}

package/docs/schemas/project-config.schema.json

@@ -16,6 +16,11 @@
       "const": 2,
       "description": "Persisted project-config format version. Unversioned and explicit version 1 records are readable legacy input."
     },
+    "collaborationDomainId": {
+      "type": "string",
+      "pattern": "^[a-fA-F0-9]{8}-[a-fA-F0-9]{4}-4[a-fA-F0-9]{3}-[89aAbB][a-fA-F0-9]{3}-[a-fA-F0-9]{12}$",
+      "description": "Opaque UUID v4 inherited by branches, clones, linked worktrees, and contributor forks intended to merge durable project decisions."
+    },
     "languages": {
       "type": "array",
       "uniqueItems": true,
@@ -23,7 +28,6 @@
     },
     "indexerConcurrency": { "type": "integer", "minimum": 1 },
     "watch": { "$ref": "#/$defs/watch" },
-    "hooks": { "$ref": "#/$defs/hooks" },
     "indexer": {
       "type": "object",
       "propertyNames": { "$ref": "#/$defs/supportedLanguage" },
@@ -78,19 +82,34 @@
       "additionalProperties": true,
       "properties": {
         "enabled": { "type": "boolean" },
+        "autoStart": {
+          "type": "boolean",
+          "description": "Whether ordinary commands may automatically start the background watch service. Explicit watch commands remain available when false."
+        },
+        "allowExpensiveRebuild": {
+          "type": "boolean",
+          "description": "Permit watcher-triggered whole-project indexers after an incremental miss. Defaults to false so a watcher cannot silently start an expensive fallback."
+        },
         "debounceMs": { "type": "integer", "exclusiveMinimum": 0 },
-        "cooldownMs": { "type": "integer", "minimum": 0 },
+        "cooldownMs": {
+          "type": "integer",
+          "minimum": 0,
+          "description": "Requested milliseconds between reindexes. Values below 5000 are raised to the 5000ms runtime safety floor."
+        },
         "gitPollMs": { "type": "integer", "exclusiveMinimum": 0 },
         "idleTimeoutMs": { "type": "integer", "minimum": 0 },
         "autoRefresh": { "type": "boolean" },
-        "ignore": { "$ref": "#/$defs/stringArray" }
-      }
-    },
-    "hooks": {
-      "type": "object",
-      "additionalProperties": true,
-      "properties": {
-        "router": { "enum": ["off", "single"] }
+        "ignore": { "$ref": "#/$defs/stringArray" },
+        "resourceBudget": {
+          "type": "object",
+          "additionalProperties": true,
+          "properties": {
+            "enabled": { "type": "boolean" },
+            "windowMs": { "type": "integer", "exclusiveMinimum": 0 },
+            "maxRebuilds": { "type": "integer", "exclusiveMinimum": 0 },
+            "maxEstimatedWriteBytes": { "type": "integer", "exclusiveMinimum": 0 }
+          }
+        }
       }
     },
     "indexerOverride": {
@@ -100,7 +119,12 @@
         "pnpmWorkspaces": { "type": "boolean" },
         "projectMode": { "enum": ["single", "workspace"] },
         "projects": { "$ref": "#/$defs/stringArray" },
-        "configPath": { "type": "string", "minLength": 1 }
+        "configPath": { "type": "string", "minLength": 1 },
+        "maxWarmSessions": { "type": "integer", "exclusiveMinimum": 0 },
+        "workerIdleMs": { "type": "integer", "minimum": 0 },
+        "workerSoftMemoryMb": { "type": "integer", "exclusiveMinimum": 0 },
+        "workerHeapMb": { "type": "integer", "exclusiveMinimum": 0 },
+        "maxHeapMb": { "type": "integer", "exclusiveMinimum": 0 }
       }
     },
     "entryRoots": {
@@ -164,40 +188,7 @@
             },
             "decidedBy": { "enum": ["agent", "human"] },
             "policyVersion": { "const": 1 },
-            "observation": {
-              "type": "object",
-              "required": ["schemaVersion", "authorityKind", "observedAt", "projectIdentity"],
-              "properties": {
-                "schemaVersion": { "const": 1 },
-                "authorityKind": {
-                  "enum": ["index-worktree", "index-only", "worktree-only", "process-local"]
-                },
-                "observedAt": { "type": "string", "format": "date-time" },
-                "projectIdentity": { "type": "string", "minLength": 1 },
-                "index": {
-                  "type": "object",
-                  "required": ["generationIdentity", "source", "alignment"],
-                  "properties": {
-                    "generationIdentity": { "type": "string", "minLength": 1 },
-                    "source": { "enum": ["immutable", "legacy"] },
-                    "alignment": { "enum": ["not-certified", "leased"] }
-                  },
-                  "additionalProperties": true
-                },
-                "worktree": {
-                  "type": "object",
-                  "required": ["identity", "clean"],
-                  "properties": {
-                    "identity": { "type": "string", "minLength": 1 },
-                    "clean": { "type": "boolean" },
-                    "headCommit": { "type": "string", "minLength": 1 },
-                    "treeOid": { "type": "string", "minLength": 1 }
-                  },
-                  "additionalProperties": true
-                }
-              },
-              "additionalProperties": true
-            },
+            "observation": { "$ref": "./observation-receipt.schema.json" },
             "evidence": {
               "type": "array",
               "minItems": 1,
@@ -279,6 +270,7 @@
           "additionalProperties": { "$ref": "#/$defs/stringArray" }
         },
         "requireCompletePolicy": { "type": "boolean" },
+        "requireCompleteCoverage": { "type": "boolean" },
         "requireAcyclic": { "type": "boolean" },
         "requireResolvedBoundaries": { "type": "boolean" },
         "requireMinimalPolicy": { "type": "boolean" },

package/docs/schemas/suppression-record.schema.json

@@ -41,40 +41,7 @@
         },
         "decidedBy": { "enum": ["agent", "human"] },
         "policyVersion": { "const": 1 },
-        "observation": {
-          "type": "object",
-          "required": ["schemaVersion", "authorityKind", "observedAt", "projectIdentity"],
-          "properties": {
-            "schemaVersion": { "const": 1 },
-            "authorityKind": {
-              "enum": ["index-worktree", "index-only", "worktree-only", "process-local"]
-            },
-            "observedAt": { "type": "string", "format": "date-time" },
-            "projectIdentity": { "type": "string", "minLength": 1 },
-            "index": {
-              "type": "object",
-              "required": ["generationIdentity", "source", "alignment"],
-              "properties": {
-                "generationIdentity": { "type": "string", "minLength": 1 },
-                "source": { "enum": ["immutable", "legacy"] },
-                "alignment": { "enum": ["not-certified", "leased"] }
-              },
-              "additionalProperties": true
-            },
-            "worktree": {
-              "type": "object",
-              "required": ["identity", "clean"],
-              "properties": {
-                "identity": { "type": "string", "minLength": 1 },
-                "clean": { "type": "boolean" },
-                "headCommit": { "type": "string", "minLength": 1 },
-                "treeOid": { "type": "string", "minLength": 1 }
-              },
-              "additionalProperties": true
-            }
-          },
-          "additionalProperties": true
-        },
+        "observation": { "$ref": "./observation-receipt.schema.json" },
         "evidence": {
           "type": "array",
           "minItems": 1,