@logicsrc/schemas 0.1.0

package/schemas/logicsrc-openontology-package.schema.json

@@ -0,0 +1,73 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://logicsrc.com/schemas/openontology/package.schema.json",
+  "title": "LogicSRC OpenOntology Built Package",
+  "description": "The deterministic build artifact: the compiled manifest, every schema and knowledge object inlined, a per-file digest table, and the package digest. This is what gets hashed, signed, diffed, and published — never private runtime state or credentials.",
+  "type": "object",
+  "required": ["openontology", "kind", "manifest", "digest", "files", "schema", "data"],
+  "additionalProperties": false,
+  "properties": {
+    "openontology": { "type": "string", "pattern": "^\\d+\\.\\d+(\\.\\d+)?$" },
+    "kind": { "const": "BuiltOntologyPackage" },
+    "manifest": { "type": "object", "description": "The canonical manifest object." },
+    "digest": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$",
+      "description": "sha256 over the canonical JSON of the manifest plus the sorted per-file digest table."
+    },
+    "builtAt": { "type": "string", "format": "date-time" },
+    "files": {
+      "type": "array",
+      "description": "Per-file digests covering every declared schema and data file.",
+      "items": {
+        "type": "object",
+        "required": ["path", "digest", "count"],
+        "additionalProperties": false,
+        "properties": {
+          "path": { "type": "string" },
+          "digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+          "count": { "type": "integer", "minimum": 0 }
+        }
+      }
+    },
+    "schema": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "namespaces": { "type": "array", "items": { "type": "object" } },
+        "entityTypes": { "type": "array", "items": { "type": "object" } },
+        "properties": { "type": "array", "items": { "type": "object" } },
+        "relationships": { "type": "array", "items": { "type": "object" } },
+        "constraints": { "type": "array", "items": { "type": "object" } },
+        "queries": { "type": "array", "items": { "type": "object" } },
+        "actions": { "type": "array", "items": { "type": "object" } }
+      }
+    },
+    "data": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "entities": { "type": "array", "items": { "type": "object" } },
+        "claims": { "type": "array", "items": { "type": "object" } },
+        "sources": { "type": "array", "items": { "type": "object" } },
+        "evidence": { "type": "array", "items": { "type": "object" } }
+      }
+    },
+    "context": { "type": "object", "description": "Inlined JSON-LD 1.1 context, when the package declares one." },
+    "signatures": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["algorithm", "signer", "value"],
+        "additionalProperties": false,
+        "properties": {
+          "algorithm": { "type": "string" },
+          "signer": { "type": "string" },
+          "value": { "type": "string" },
+          "created": { "type": "string", "format": "date-time" },
+          "keyId": { "type": "string" }
+        }
+      }
+    }
+  }
+}

package/schemas/logicsrc-openontology-property.schema.json

@@ -0,0 +1,83 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://logicsrc.com/schemas/openontology/property.schema.json",
+  "title": "LogicSRC OpenOntology Property Definition",
+  "description": "A scalar or structured attribute of an entity type. Property values are carried by claims whose object is a typed value.",
+  "type": "object",
+  "required": ["openontology", "kind", "id", "label", "type"],
+  "additionalProperties": false,
+  "properties": {
+    "openontology": { "type": "string", "pattern": "^\\d+\\.\\d+(\\.\\d+)?$" },
+    "kind": { "const": "Property" },
+    "id": { "type": "string", "minLength": 1 },
+    "label": { "type": "string", "minLength": 1 },
+    "labels": { "$ref": "#/$defs/languageMap" },
+    "description": { "type": "string" },
+    "descriptions": { "$ref": "#/$defs/languageMap" },
+    "type": { "$ref": "#/$defs/valueType" },
+    "items": {
+      "description": "Element definition when type is 'array'.",
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "type": { "$ref": "#/$defs/valueType" },
+        "entityType": { "type": "string" },
+        "enum": { "type": "array", "items": {} }
+      }
+    },
+    "entityType": {
+      "description": "Allowed entity type when type is 'entity-reference'.",
+      "anyOf": [
+        { "type": "string" },
+        { "type": "array", "items": { "type": "string" }, "uniqueItems": true }
+      ]
+    },
+    "required": { "type": "boolean", "default": false },
+    "cardinality": {
+      "type": "string",
+      "enum": ["one", "many"],
+      "default": "one"
+    },
+    "unique": { "type": "boolean", "default": false },
+    "default": {},
+    "examples": { "type": "array", "items": {} },
+    "enum": { "type": "array", "items": {}, "description": "Allowed values when type is 'enum'." },
+    "pattern": { "type": "string" },
+    "minimum": { "type": "number" },
+    "maximum": { "type": "number" },
+    "minLength": { "type": "integer", "minimum": 0 },
+    "maxLength": { "type": "integer", "minimum": 0 },
+    "deprecated": { "type": "boolean", "default": false },
+    "deprecationNote": { "type": "string" },
+    "extensions": { "type": "object" }
+  },
+  "$defs": {
+    "valueType": {
+      "type": "string",
+      "enum": [
+        "string",
+        "number",
+        "integer",
+        "boolean",
+        "date",
+        "date-time",
+        "duration",
+        "url",
+        "email",
+        "enum",
+        "object",
+        "array",
+        "binary-reference",
+        "entity-reference"
+      ]
+    },
+    "languageMap": {
+      "type": "object",
+      "description": "BCP-47 language tag to translated text.",
+      "patternProperties": {
+        "^[A-Za-z]{2,3}(-[A-Za-z0-9]{2,8})*$": { "type": "string" }
+      },
+      "additionalProperties": false
+    }
+  }
+}

package/schemas/logicsrc-openontology-query.schema.json

@@ -0,0 +1,207 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://logicsrc.com/schemas/openontology/query.schema.json",
+  "title": "LogicSRC OpenOntology Query",
+  "description": "The portable triple-pattern query AST, in either ad-hoc form (openontologyQuery) or saved form (kind: SavedQuery with parameters and an expected result shape). Database-specific languages are adapters over this AST, never a substitute for it.",
+  "oneOf": [
+    { "$ref": "#/$defs/adHocQuery" },
+    { "$ref": "#/$defs/savedQuery" }
+  ],
+  "$defs": {
+    "adHocQuery": {
+      "type": "object",
+      "required": ["openontologyQuery", "match"],
+      "additionalProperties": false,
+      "properties": {
+        "openontologyQuery": { "type": "string", "pattern": "^\\d+\\.\\d+(\\.\\d+)?$" },
+        "ontology": { "type": "string" },
+        "match": { "$ref": "#/$defs/match" },
+        "where": { "$ref": "#/$defs/where" },
+        "select": { "$ref": "#/$defs/select" },
+        "include": { "$ref": "#/$defs/include" },
+        "orderBy": { "$ref": "#/$defs/orderBy" },
+        "distinct": { "type": "boolean", "default": false },
+        "asOf": { "type": "string", "format": "date-time" },
+        "recordedAsOf": {
+          "type": "string",
+          "format": "date-time",
+          "description": "System-time axis for bitemporal queries."
+        },
+        "limit": { "type": "integer", "minimum": 1 },
+        "offset": { "type": "integer", "minimum": 0 },
+        "maxDepth": { "type": "integer", "minimum": 1 },
+        "explain": { "type": "boolean", "default": false }
+      }
+    },
+    "savedQuery": {
+      "type": "object",
+      "required": ["openontology", "kind", "id", "description", "query"],
+      "additionalProperties": false,
+      "properties": {
+        "openontology": { "type": "string", "pattern": "^\\d+\\.\\d+(\\.\\d+)?$" },
+        "kind": { "const": "SavedQuery" },
+        "id": { "type": "string", "minLength": 1 },
+        "label": { "type": "string" },
+        "description": { "type": "string", "minLength": 1 },
+        "version": { "type": "string" },
+        "parameters": {
+          "type": "object",
+          "additionalProperties": {
+            "type": "object",
+            "additionalProperties": false,
+            "properties": {
+              "type": { "type": "string" },
+              "required": { "type": "boolean", "default": false },
+              "default": {},
+              "description": { "type": "string" }
+            }
+          }
+        },
+        "expects": {
+          "type": "object",
+          "additionalProperties": false,
+          "description": "Expected result shape, used by tests and UI.",
+          "properties": {
+            "columns": { "type": "array", "items": { "type": "string" } },
+            "minRows": { "type": "integer", "minimum": 0 },
+            "maxRows": { "type": "integer", "minimum": 0 }
+          }
+        },
+        "query": { "$ref": "#/$defs/queryBody" },
+        "extensions": { "type": "object" }
+      }
+    },
+    "queryBody": {
+      "type": "object",
+      "required": ["match"],
+      "additionalProperties": false,
+      "properties": {
+        "match": { "$ref": "#/$defs/match" },
+        "where": { "$ref": "#/$defs/where" },
+        "select": { "$ref": "#/$defs/select" },
+        "include": { "$ref": "#/$defs/include" },
+        "orderBy": { "$ref": "#/$defs/orderBy" },
+        "distinct": { "type": "boolean", "default": false },
+        "asOf": { "type": "string" },
+        "recordedAsOf": { "type": "string" },
+        "limit": { "type": "integer", "minimum": 1 },
+        "offset": { "type": "integer", "minimum": 0 },
+        "maxDepth": { "type": "integer", "minimum": 1 }
+      }
+    },
+    "match": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "required": ["subject", "predicate", "object"],
+        "additionalProperties": false,
+        "description": "A triple pattern. Terms starting with '?' are variables; everything else is a constant.",
+        "properties": {
+          "subject": { "type": "string", "minLength": 1 },
+          "predicate": { "type": "string", "minLength": 1 },
+          "object": {
+            "anyOf": [
+              { "type": "string", "minLength": 1 },
+              {
+                "type": "object",
+                "additionalProperties": false,
+                "properties": {
+                  "entity": { "type": "string" },
+                  "value": {},
+                  "variable": { "type": "string" }
+                }
+              }
+            ]
+          },
+          "optional": { "type": "boolean", "default": false },
+          "bindClaim": {
+            "type": "string",
+            "description": "Variable bound to the matched claim id, for explanations."
+          }
+        }
+      }
+    },
+    "where": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["variable", "operator"],
+        "additionalProperties": false,
+        "properties": {
+          "variable": { "type": "string", "minLength": 1 },
+          "field": {
+            "type": "string",
+            "description": "Entity field or property predicate to compare. Defaults to the bound term itself."
+          },
+          "operator": {
+            "type": "string",
+            "enum": [
+              "eq",
+              "neq",
+              "lt",
+              "lte",
+              "gt",
+              "gte",
+              "in",
+              "not-in",
+              "exists",
+              "not-exists",
+              "contains",
+              "starts-with",
+              "matches",
+              "before",
+              "after"
+            ]
+          },
+          "value": {}
+        }
+      }
+    },
+    "select": {
+      "type": "array",
+      "minItems": 1,
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "include": {
+      "type": "object",
+      "additionalProperties": false,
+      "description": "Claim-status inclusion policy. Each status is filterable independently.",
+      "properties": {
+        "claimStatus": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "enum": ["asserted", "proposed", "disputed", "retracted", "superseded", "derived"]
+          },
+          "uniqueItems": true
+        },
+        "derived": { "type": "boolean" },
+        "labels": { "type": "boolean", "description": "Expand entity labels in results." },
+        "properties": {
+          "type": "array",
+          "items": { "type": "string" },
+          "description": "Additional entity properties to expand in results."
+        },
+        "visibility": {
+          "type": "array",
+          "items": { "type": "string", "enum": ["public", "internal", "private"] },
+          "uniqueItems": true
+        }
+      }
+    },
+    "orderBy": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["variable"],
+        "additionalProperties": false,
+        "properties": {
+          "variable": { "type": "string" },
+          "field": { "type": "string" },
+          "direction": { "type": "string", "enum": ["asc", "desc"], "default": "asc" }
+        }
+      }
+    }
+  }
+}

package/schemas/logicsrc-openontology-relationship-type.schema.json

@@ -0,0 +1,57 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://logicsrc.com/schemas/openontology/relationship-type.schema.json",
+  "title": "LogicSRC OpenOntology Relationship Type",
+  "description": "A typed connection whose object is another entity. Symmetry, transitivity, and inverses are never inferred unless declared here and explicitly permitted by a query.",
+  "type": "object",
+  "required": ["openontology", "kind", "id", "label", "description", "from", "to"],
+  "additionalProperties": false,
+  "properties": {
+    "openontology": { "type": "string", "pattern": "^\\d+\\.\\d+(\\.\\d+)?$" },
+    "kind": { "const": "RelationshipType" },
+    "id": { "type": "string", "minLength": 1 },
+    "label": { "type": "string", "minLength": 1 },
+    "labels": { "$ref": "#/$defs/languageMap" },
+    "description": { "type": "string", "minLength": 1 },
+    "descriptions": { "$ref": "#/$defs/languageMap" },
+    "from": {
+      "description": "Allowed subject entity types (domain).",
+      "type": "array",
+      "minItems": 1,
+      "items": { "type": "string" },
+      "uniqueItems": true
+    },
+    "to": {
+      "description": "Allowed object entity types (range).",
+      "type": "array",
+      "minItems": 1,
+      "items": { "type": "string" },
+      "uniqueItems": true
+    },
+    "cardinality": {
+      "type": "string",
+      "enum": ["one-to-one", "one-to-many", "many-to-one", "many-to-many"],
+      "default": "many-to-many"
+    },
+    "temporal": {
+      "type": "boolean",
+      "default": false,
+      "description": "Whether claims using this predicate are expected to carry valid time."
+    },
+    "inverse": { "type": "string", "description": "Relationship type id of the declared inverse." },
+    "symmetric": { "type": "boolean", "default": false },
+    "transitive": { "type": "boolean", "default": false },
+    "deprecated": { "type": "boolean", "default": false },
+    "deprecationNote": { "type": "string" },
+    "extensions": { "type": "object" }
+  },
+  "$defs": {
+    "languageMap": {
+      "type": "object",
+      "patternProperties": {
+        "^[A-Za-z]{2,3}(-[A-Za-z0-9]{2,8})*$": { "type": "string" }
+      },
+      "additionalProperties": false
+    }
+  }
+}

package/schemas/logicsrc-openontology-review.schema.json

@@ -0,0 +1,37 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://logicsrc.com/schemas/openontology/review.schema.json",
+  "title": "LogicSRC OpenOntology Review",
+  "description": "A reviewer's assessment of a change set. Rejected change sets remain inspectable together with their reviews.",
+  "type": "object",
+  "required": ["openontology", "kind", "id", "changeSet", "reviewer", "state", "createdAt"],
+  "additionalProperties": false,
+  "properties": {
+    "openontology": { "type": "string", "pattern": "^\\d+\\.\\d+(\\.\\d+)?$" },
+    "kind": { "const": "Review" },
+    "id": { "type": "string", "minLength": 1 },
+    "changeSet": { "type": "string", "minLength": 1 },
+    "reviewer": { "type": "string", "minLength": 1 },
+    "state": {
+      "type": "string",
+      "enum": ["commented", "changes-requested", "approved", "rejected"]
+    },
+    "comment": { "type": "string" },
+    "createdAt": { "type": "string", "format": "date-time" },
+    "operationDecisions": {
+      "type": "array",
+      "description": "Per-operation accept/reject, so a curator can take part of an AI-generated change set.",
+      "items": {
+        "type": "object",
+        "required": ["index", "decision"],
+        "additionalProperties": false,
+        "properties": {
+          "index": { "type": "integer", "minimum": 0 },
+          "decision": { "type": "string", "enum": ["accept", "reject"] },
+          "comment": { "type": "string" }
+        }
+      }
+    },
+    "extensions": { "type": "object" }
+  }
+}

package/schemas/logicsrc-openontology-source.schema.json

@@ -0,0 +1,43 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://logicsrc.com/schemas/openontology/source.schema.json",
+  "title": "LogicSRC OpenOntology Source",
+  "description": "Where a claim came from. Content hashes let implementations detect changed or unavailable source material.",
+  "type": "object",
+  "required": ["openontology", "kind", "id", "sourceType", "uri", "retrievedAt"],
+  "additionalProperties": false,
+  "properties": {
+    "openontology": { "type": "string", "pattern": "^\\d+\\.\\d+(\\.\\d+)?$" },
+    "kind": { "const": "Source" },
+    "id": { "type": "string", "minLength": 1 },
+    "sourceType": {
+      "type": "string",
+      "minLength": 1,
+      "description": "e.g. git-commit, web-page, api-response, csv, markdown, database-row, manual."
+    },
+    "uri": { "type": "string", "minLength": 1 },
+    "title": { "type": "string" },
+    "publisher": { "type": "string" },
+    "author": { "type": "string" },
+    "retrievedAt": { "type": "string", "format": "date-time" },
+    "publishedAt": { "type": "string", "format": "date-time" },
+    "contentHash": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "mediaType": { "type": "string" },
+    "license": {
+      "type": "string",
+      "description": "SPDX id, license URL, or 'unknown'. Governs whether excerpts may be redistributed."
+    },
+    "visibility": {
+      "type": "string",
+      "enum": ["public", "internal", "private"],
+      "default": "public"
+    },
+    "stale": {
+      "type": "boolean",
+      "description": "Set when a re-fetch found different content or the source became unavailable."
+    },
+    "lastCheckedAt": { "type": "string", "format": "date-time" },
+    "adapter": { "type": "string", "description": "Source adapter that produced this record." },
+    "extensions": { "type": "object" }
+  }
+}

package/schemas/logicsrc-plugin.schema.json

@@ -0,0 +1,35 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.logicsrc.com/logicsrc-plugin.schema.json",
+  "title": "LogicSRC Plugin Manifest",
+  "type": "object",
+  "required": ["id", "name", "version", "type", "default", "capabilities", "commands", "env"],
+  "additionalProperties": false,
+  "properties": {
+    "id": { "type": "string", "pattern": "^[a-z][a-z0-9-]*$" },
+    "name": { "type": "string", "minLength": 1 },
+    "version": { "type": "string", "pattern": "^\\d+\\.\\d+\\.\\d+(-[a-zA-Z0-9.-]+)?$" },
+    "type": {
+      "type": "array",
+      "minItems": 1,
+      "items": { "type": "string", "minLength": 1 },
+      "uniqueItems": true
+    },
+    "default": { "type": "boolean" },
+    "capabilities": {
+      "type": "array",
+      "items": { "type": "string", "pattern": "^[a-z][a-z0-9_-]*(\\.[a-z][a-z0-9_-]*)+$" },
+      "uniqueItems": true
+    },
+    "commands": {
+      "type": "array",
+      "items": { "type": "string", "pattern": "^[a-z][a-z0-9-]*$" },
+      "uniqueItems": true
+    },
+    "env": {
+      "type": "array",
+      "items": { "type": "string", "pattern": "^[A-Z][A-Z0-9_]*$" },
+      "uniqueItems": true
+    }
+  }
+}

package/schemas/logicsrc-pull-request.schema.json

@@ -0,0 +1,73 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.logicsrc.com/logicsrc-pull-request.schema.json",
+  "title": "LogicSRC Pull Request",
+  "type": "object",
+  "required": ["type", "version", "repo", "title", "author_did", "source_branch", "target_branch", "status"],
+  "additionalProperties": false,
+  "properties": {
+    "type": { "const": "logicsrc.pull_request" },
+    "version": { "type": "string", "pattern": "^\\d+\\.\\d+(\\.\\d+)?$" },
+    "repo": { "type": "string", "pattern": "^[a-z0-9][a-z0-9/_-]*$" },
+    "number": { "type": "integer", "minimum": 1 },
+    "title": { "type": "string", "minLength": 1, "maxLength": 160 },
+    "description": { "type": "string" },
+    "author_did": { "$ref": "#/$defs/did" },
+    "source_branch": { "type": "string", "minLength": 1 },
+    "target_branch": { "type": "string", "minLength": 1 },
+    "head_sha": { "type": "string", "pattern": "^[0-9a-f]{7,64}$" },
+    "task": { "type": "string", "description": "Linked logicsrc.task id." },
+    "status": {
+      "type": "string",
+      "enum": ["draft", "open", "approved", "changes_requested", "merged", "closed"]
+    },
+    "checks": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["name", "status"],
+        "additionalProperties": false,
+        "properties": {
+          "name": { "type": "string", "minLength": 1 },
+          "status": { "type": "string", "enum": ["pending", "passing", "failing"] },
+          "url": { "type": "string", "format": "uri" }
+        }
+      }
+    },
+    "reviews": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["reviewer_did", "decision"],
+        "additionalProperties": false,
+        "properties": {
+          "reviewer_did": { "$ref": "#/$defs/did" },
+          "decision": { "type": "string", "enum": ["approve", "request_changes", "comment"] },
+          "reputation": { "type": "number", "minimum": 0 },
+          "summary": { "type": "string" },
+          "created_at": { "type": "string", "format": "date-time" }
+        }
+      }
+    },
+    "merge": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "method": { "type": "string", "enum": ["merge", "squash", "rebase"] },
+        "merged_by_did": { "$ref": "#/$defs/did" },
+        "merge_sha": { "type": "string", "pattern": "^[0-9a-f]{7,64}$" },
+        "policy_satisfied": { "type": "boolean" },
+        "merged_at": { "type": "string", "format": "date-time" }
+      }
+    },
+    "created_at": { "type": "string", "format": "date-time" },
+    "updated_at": { "type": "string", "format": "date-time" },
+    "logicsrc_version": { "type": "string" }
+  },
+  "$defs": {
+    "did": {
+      "type": "string",
+      "pattern": "^[a-z0-9][a-z0-9._-]*\\.[a-z0-9][a-z0-9._-]*$"
+    }
+  }
+}