@gmickel/gno 1.19.0 → 1.21.0

package/spec/output-schemas/capsule-reverified-event.schema.json

@@ -0,0 +1,47 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "$id": "gno://schemas/capsule-reverified-event@1.0",
+  "title": "GNO Metadata-only Saved Capsule Reverification Event",
+  "description": "Closed local event emitted only after a saved Capsule verification result commits.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "type",
+    "registrationId",
+    "capsuleId",
+    "operationStatus",
+    "affectedQuestionState",
+    "changedAt"
+  ],
+  "properties": {
+    "type": { "const": "capsule-reverified" },
+    "registrationId": {
+      "type": "string",
+      "pattern": "^capsule-[a-f0-9]{40}$"
+    },
+    "capsuleId": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+    "operationStatus": { "enum": ["completed", "failed"] },
+    "affectedQuestionState": {
+      "enum": ["unaffected", "affected", "unknown"]
+    },
+    "changedAt": { "type": "string", "format": "date-time" }
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": { "operationStatus": { "const": "completed" } },
+        "required": ["operationStatus"]
+      },
+      "then": {
+        "properties": {
+          "affectedQuestionState": { "enum": ["unaffected", "affected"] }
+        }
+      },
+      "else": {
+        "properties": {
+          "affectedQuestionState": { "const": "unknown" }
+        }
+      }
+    }
+  ]
+}

package/spec/output-schemas/changes.schema.json

@@ -0,0 +1,280 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "$id": "gno://schemas/changes@1.0",
+  "title": "GNO Knowledge Changes",
+  "type": "object",
+  "required": ["schemaVersion", "changes", "page", "warnings"],
+  "properties": {
+    "schemaVersion": { "type": "string", "const": "1.0" },
+    "changes": {
+      "type": "array",
+      "maxItems": 1000,
+      "items": { "$ref": "#/definitions/change" }
+    },
+    "page": {
+      "type": "object",
+      "required": [
+        "nextCursor",
+        "earliestCursor",
+        "latestCursor",
+        "cursorExpired",
+        "truncated",
+        "retentionTruncated"
+      ],
+      "properties": {
+        "nextCursor": { "type": ["string", "null"], "maxLength": 512 },
+        "earliestCursor": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 512
+        },
+        "latestCursor": { "type": "string", "minLength": 1, "maxLength": 512 },
+        "cursorExpired": { "type": "boolean" },
+        "truncated": { "type": "boolean" },
+        "retentionTruncated": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "warnings": { "type": "array", "items": { "type": "string" } }
+  },
+  "additionalProperties": false,
+  "allOf": [
+    {
+      "if": {
+        "properties": {
+          "page": {
+            "type": "object",
+            "properties": { "cursorExpired": { "const": true } },
+            "required": ["cursorExpired"]
+          }
+        },
+        "required": ["page"]
+      },
+      "then": {
+        "properties": {
+          "changes": { "type": "array", "maxItems": 0 },
+          "page": {
+            "type": "object",
+            "properties": {
+              "nextCursor": { "type": "null" },
+              "retentionTruncated": { "const": true }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": {
+        "properties": {
+          "page": {
+            "type": "object",
+            "properties": { "truncated": { "const": true } },
+            "required": ["truncated"]
+          }
+        },
+        "required": ["page"]
+      },
+      "then": {
+        "properties": {
+          "page": {
+            "type": "object",
+            "properties": {
+              "nextCursor": { "type": "string", "minLength": 1 }
+            }
+          }
+        }
+      },
+      "else": {
+        "properties": {
+          "page": {
+            "type": "object",
+            "properties": { "nextCursor": { "type": "null" } }
+          }
+        }
+      }
+    }
+  ],
+  "definitions": {
+    "snapshot": {
+      "type": "object",
+      "required": [
+        "relPath",
+        "docid",
+        "uri",
+        "sourceHash",
+        "mirrorHash",
+        "active"
+      ],
+      "properties": {
+        "relPath": { "type": "string" },
+        "docid": { "type": "string", "pattern": "^#[a-f0-9]{6,}$" },
+        "uri": { "type": "string", "pattern": "^gno://.+" },
+        "sourceHash": { "$ref": "#/definitions/sha256" },
+        "mirrorHash": {
+          "anyOf": [{ "$ref": "#/definitions/sha256" }, { "type": "null" }]
+        },
+        "active": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "setDelta": {
+      "type": "object",
+      "required": ["added", "removed"],
+      "properties": {
+        "added": {
+          "type": "array",
+          "maxItems": 16,
+          "uniqueItems": true,
+          "items": { "type": "string", "minLength": 1, "maxLength": 256 }
+        },
+        "removed": {
+          "type": "array",
+          "maxItems": 16,
+          "uniqueItems": true,
+          "items": { "type": "string", "minLength": 1, "maxLength": 256 }
+        }
+      },
+      "additionalProperties": false
+    },
+    "dateDelta": {
+      "type": "object",
+      "required": ["added", "removed", "changed"],
+      "properties": {
+        "added": {
+          "type": "array",
+          "maxItems": 16,
+          "uniqueItems": true,
+          "items": { "type": "string", "minLength": 1, "maxLength": 256 }
+        },
+        "removed": {
+          "type": "array",
+          "maxItems": 16,
+          "uniqueItems": true,
+          "items": { "type": "string", "minLength": 1, "maxLength": 256 }
+        },
+        "changed": {
+          "type": "array",
+          "maxItems": 16,
+          "uniqueItems": true,
+          "items": { "type": "string", "minLength": 1, "maxLength": 256 }
+        }
+      },
+      "additionalProperties": false
+    },
+    "structureDelta": {
+      "type": "object",
+      "required": ["headings", "links", "typedEdges", "dates", "truncated"],
+      "properties": {
+        "headings": { "$ref": "#/definitions/setDelta" },
+        "links": { "$ref": "#/definitions/setDelta" },
+        "typedEdges": { "$ref": "#/definitions/setDelta" },
+        "dates": { "$ref": "#/definitions/dateDelta" },
+        "truncated": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "sha256": {
+      "type": "string",
+      "pattern": "^[a-f0-9]{64}$"
+    },
+    "change": {
+      "type": "object",
+      "required": [
+        "id",
+        "kind",
+        "collection",
+        "observedAt",
+        "previous",
+        "current",
+        "structureDelta"
+      ],
+      "properties": {
+        "id": { "type": "string", "minLength": 1, "maxLength": 512 },
+        "kind": {
+          "type": "string",
+          "enum": ["create", "update", "rename", "inactivate", "reactivate"]
+        },
+        "collection": { "type": "string", "minLength": 1 },
+        "observedAt": { "type": "string", "format": "date-time" },
+        "previous": {
+          "anyOf": [{ "$ref": "#/definitions/snapshot" }, { "type": "null" }]
+        },
+        "current": {
+          "anyOf": [{ "$ref": "#/definitions/snapshot" }, { "type": "null" }]
+        },
+        "structureDelta": { "$ref": "#/definitions/structureDelta" }
+      },
+      "additionalProperties": false,
+      "allOf": [
+        {
+          "if": {
+            "properties": { "kind": { "const": "create" } },
+            "required": ["kind"]
+          },
+          "then": {
+            "properties": {
+              "previous": { "type": "null" },
+              "current": {
+                "type": "object",
+                "properties": { "active": { "const": true } },
+                "required": ["active"]
+              }
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": { "kind": { "enum": ["update", "rename"] } },
+            "required": ["kind"]
+          },
+          "then": {
+            "properties": {
+              "previous": { "$ref": "#/definitions/snapshot" },
+              "current": { "$ref": "#/definitions/snapshot" }
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": { "kind": { "const": "inactivate" } },
+            "required": ["kind"]
+          },
+          "then": {
+            "properties": {
+              "previous": {
+                "type": "object",
+                "properties": { "active": { "const": true } },
+                "required": ["active"]
+              },
+              "current": {
+                "type": "object",
+                "properties": { "active": { "const": false } },
+                "required": ["active"]
+              }
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": { "kind": { "const": "reactivate" } },
+            "required": ["kind"]
+          },
+          "then": {
+            "properties": {
+              "previous": {
+                "type": "object",
+                "properties": { "active": { "const": false } },
+                "required": ["active"]
+              },
+              "current": {
+                "type": "object",
+                "properties": { "active": { "const": true } },
+                "required": ["active"]
+              }
+            }
+          }
+        }
+      ]
+    }
+  }
+}

package/spec/output-schemas/claim-verification.schema.json

@@ -0,0 +1,291 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "$id": "gno://schemas/claim-verification@1.0",
+  "title": "GNO Claim Verification Result",
+  "description": "Deterministic claim spans, Capsule-bound evidence, semantic verdicts, coverage, and abstention.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schemaVersion",
+    "coordinateSpace",
+    "capsuleId",
+    "answerHash",
+    "coverageThreshold",
+    "claims",
+    "rejectedCitations",
+    "coverage",
+    "answerStatus",
+    "abstained",
+    "abstentionReason",
+    "abstentionText"
+  ],
+  "properties": {
+    "schemaVersion": { "const": "1.0" },
+    "coordinateSpace": { "const": "utf16_code_units" },
+    "capsuleId": { "$ref": "#/definitions/sha256" },
+    "answerHash": { "$ref": "#/definitions/sha256" },
+    "coverageThreshold": { "const": 1 },
+    "claims": {
+      "type": "array",
+      "maxItems": 256,
+      "items": { "$ref": "#/definitions/claim" }
+    },
+    "rejectedCitations": {
+      "type": "array",
+      "maxItems": 256,
+      "items": { "$ref": "#/definitions/rejectedCitation" }
+    },
+    "coverage": { "$ref": "#/definitions/coverage" },
+    "answerStatus": { "enum": ["verified", "abstained"] },
+    "abstained": { "type": "boolean" },
+    "abstentionReason": {
+      "enum": [
+        "contradiction_detected",
+        "coverage_below_threshold",
+        "no_substantive_claims",
+        "citation_hygiene_failed",
+        null
+      ]
+    },
+    "abstentionText": { "type": ["string", "null"] }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "abstained": { "const": false } } },
+      "then": {
+        "properties": {
+          "answerStatus": { "const": "verified" },
+          "abstentionReason": { "type": "null" },
+          "abstentionText": { "type": "null" },
+          "rejectedCitations": { "type": "array", "maxItems": 0 },
+          "claims": {
+            "type": "array",
+            "not": {
+              "contains": {
+                "type": "object",
+                "required": ["rejectedCitations"],
+                "properties": {
+                  "rejectedCitations": {
+                    "type": "array",
+                    "minItems": 1
+                  }
+                }
+              }
+            }
+          },
+          "coverage": {
+            "type": "object",
+            "properties": {
+              "totalClaims": { "type": "integer", "minimum": 1 },
+              "supportedRatio": { "const": 1 },
+              "contradictedClaims": { "const": 0 },
+              "insufficientClaims": { "const": 0 },
+              "uncertainClaims": { "const": 0 }
+            }
+          }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "abstained": { "const": true } } },
+      "then": {
+        "properties": {
+          "answerStatus": { "const": "abstained" },
+          "abstentionReason": { "type": "string" },
+          "abstentionText": { "type": "string", "minLength": 1 }
+        }
+      }
+    }
+  ],
+  "definitions": {
+    "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+    "evidenceReference": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "evidenceId",
+        "uri",
+        "startLine",
+        "endLine",
+        "text",
+        "sourceHash",
+        "mirrorHash",
+        "passageHash"
+      ],
+      "properties": {
+        "evidenceId": { "$ref": "#/definitions/sha256" },
+        "uri": {
+          "type": "string",
+          "maxLength": 2048,
+          "pattern": "^gno://"
+        },
+        "startLine": { "type": "integer", "minimum": 1 },
+        "endLine": { "type": "integer", "minimum": 1 },
+        "text": { "type": "string", "minLength": 1 },
+        "sourceHash": { "$ref": "#/definitions/sha256" },
+        "mirrorHash": { "$ref": "#/definitions/sha256" },
+        "passageHash": { "$ref": "#/definitions/sha256" }
+      }
+    },
+    "rejectedCitation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["marker", "start", "end", "evidenceId", "reason"],
+      "properties": {
+        "marker": { "type": "string", "minLength": 1 },
+        "start": { "type": "integer", "minimum": 0 },
+        "end": { "type": "integer", "minimum": 1 },
+        "evidenceId": {
+          "oneOf": [{ "$ref": "#/definitions/sha256" }, { "type": "null" }]
+        },
+        "reason": {
+          "enum": [
+            "malformed_citation",
+            "out_of_capsule",
+            "freshness_unavailable",
+            "freshness_receipt_invalid",
+            "freshness_receipt_mismatch",
+            "evidence_stale",
+            "evidence_missing",
+            "orphan_citation"
+          ]
+        }
+      }
+    },
+    "claim": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "claimId",
+        "text",
+        "start",
+        "end",
+        "status",
+        "confidence",
+        "rationaleCode",
+        "verifierFingerprint",
+        "evidence",
+        "rejectedCitations"
+      ],
+      "properties": {
+        "claimId": { "$ref": "#/definitions/sha256" },
+        "text": { "type": "string", "minLength": 1 },
+        "start": { "type": "integer", "minimum": 0 },
+        "end": { "type": "integer", "minimum": 1 },
+        "status": {
+          "enum": ["supported", "contradicted", "insufficient", "uncertain"]
+        },
+        "confidence": {
+          "oneOf": [
+            { "type": "number", "minimum": 0, "maximum": 1 },
+            { "type": "null" }
+          ]
+        },
+        "rationaleCode": {
+          "enum": [
+            "semantic_entailment",
+            "semantic_contradiction",
+            "no_valid_evidence",
+            "semantic_judgment_unavailable"
+          ]
+        },
+        "verifierFingerprint": {
+          "oneOf": [{ "$ref": "#/definitions/sha256" }, { "type": "null" }]
+        },
+        "evidence": {
+          "type": "array",
+          "maxItems": 256,
+          "items": { "$ref": "#/definitions/evidenceReference" }
+        },
+        "rejectedCitations": {
+          "type": "array",
+          "maxItems": 256,
+          "items": { "$ref": "#/definitions/rejectedCitation" }
+        }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": {
+              "status": { "enum": ["supported", "contradicted"] }
+            }
+          },
+          "then": {
+            "properties": {
+              "confidence": { "type": "number" },
+              "verifierFingerprint": { "$ref": "#/definitions/sha256" },
+              "evidence": { "type": "array", "minItems": 1 }
+            }
+          }
+        },
+        {
+          "if": { "properties": { "status": { "const": "supported" } } },
+          "then": {
+            "properties": {
+              "rationaleCode": { "const": "semantic_entailment" }
+            }
+          }
+        },
+        {
+          "if": { "properties": { "status": { "const": "contradicted" } } },
+          "then": {
+            "properties": {
+              "rationaleCode": { "const": "semantic_contradiction" }
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": {
+              "status": { "enum": ["insufficient", "uncertain"] }
+            }
+          },
+          "then": {
+            "properties": {
+              "confidence": { "type": "null" },
+              "verifierFingerprint": { "type": "null" }
+            }
+          }
+        },
+        {
+          "if": { "properties": { "status": { "const": "insufficient" } } },
+          "then": {
+            "properties": {
+              "rationaleCode": { "const": "no_valid_evidence" },
+              "evidence": { "type": "array", "maxItems": 0 }
+            }
+          }
+        },
+        {
+          "if": { "properties": { "status": { "const": "uncertain" } } },
+          "then": {
+            "properties": {
+              "rationaleCode": { "const": "semantic_judgment_unavailable" },
+              "evidence": { "type": "array", "minItems": 1 }
+            }
+          }
+        }
+      ]
+    },
+    "coverage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "totalClaims",
+        "supportedClaims",
+        "contradictedClaims",
+        "insufficientClaims",
+        "uncertainClaims",
+        "supportedRatio"
+      ],
+      "properties": {
+        "totalClaims": { "type": "integer", "minimum": 0 },
+        "supportedClaims": { "type": "integer", "minimum": 0 },
+        "contradictedClaims": { "type": "integer", "minimum": 0 },
+        "insufficientClaims": { "type": "integer", "minimum": 0 },
+        "uncertainClaims": { "type": "integer", "minimum": 0 },
+        "supportedRatio": { "type": "number", "minimum": 0, "maximum": 1 }
+      }
+    }
+  }
+}

package/spec/output-schemas/context-capsule-v1.schema.json

@@ -196,6 +196,23 @@
                 { "type": "null" }
               ]
             },
+            "intent": {
+              "oneOf": [
+                { "type": "string", "minLength": 1, "maxLength": 16384 },
+                { "type": "null" }
+              ]
+            },
+            "exclude": {
+              "type": "array",
+              "maxItems": 128,
+              "items": { "type": "string", "minLength": 1, "maxLength": 256 }
+            },
+            "minScore": {
+              "oneOf": [
+                { "type": "number", "minimum": 0, "maximum": 1 },
+                { "type": "null" }
+              ]
+            },
             "queryModes": {
               "type": "array",
               "maxItems": 128,
@@ -203,7 +220,8 @@
             },
             "limit": { "type": "integer", "minimum": 1 },
             "candidateLimit": { "type": "integer", "minimum": 1 },
-            "graphRequested": { "type": "boolean" }
+            "graphRequested": { "type": "boolean" },
+            "rerankRequested": { "type": "boolean" }
           }
         },
         "capabilityStates": {
@@ -538,6 +556,23 @@
         },
         "retrievalRank": { "type": "integer", "minimum": 1 },
         "selectionRank": { "type": "integer", "minimum": 1 },
+        "retrievalSources": {
+          "type": "array",
+          "minItems": 1,
+          "maxItems": 6,
+          "uniqueItems": true,
+          "items": {
+            "enum": [
+              "bm25",
+              "vector",
+              "bm25_variant",
+              "vector_variant",
+              "hyde",
+              "graph"
+            ]
+          }
+        },
+        "graphExpanded": { "type": "boolean" },
         "facets": { "$ref": "#/definitions/facets" },
         "trust": { "const": "untrusted" },
         "egress": {