@mnstry/atelier 0.2.0-alpha.12 → 0.2.0-alpha.13

package/src/evidence-navigation/schema.generated.mjs

@@ -0,0 +1,604 @@
+// Generated from contracts. Run node scripts/generate-evidence-navigation.mjs.
+export const evidenceSchema = {
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://mnstry.ai/schemas/atelier/atelier-evidence-navigation.v1.schema.json",
+  "title": "Atelier evidence navigation contract",
+  "$comment": "contract revision 1.0.0 (initial portable evidence assessments; no access authority)",
+  "oneOf": [
+    {
+      "$ref": "#/$defs/profile"
+    },
+    {
+      "$ref": "#/$defs/hostCapabilities"
+    },
+    {
+      "$ref": "#/$defs/claim"
+    },
+    {
+      "$ref": "#/$defs/snapshot"
+    }
+  ],
+  "$defs": {
+    "selector": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "type": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 64
+        },
+        "version": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 32
+        },
+        "value": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 1024
+        },
+        "ext": {
+          "type": "object",
+          "maxProperties": 0
+        }
+      },
+      "required": [
+        "type",
+        "version",
+        "value"
+      ]
+    },
+    "evidenceRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "owner": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "objectId": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 256
+        },
+        "revision": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "selector": {
+          "$ref": "#/$defs/selector"
+        },
+        "contentDigest": {
+          "type": "string",
+          "pattern": "^sha256:[0-9a-f]{64}$"
+        },
+        "ext": {
+          "type": "object",
+          "maxProperties": 0
+        }
+      },
+      "required": [
+        "owner",
+        "objectId",
+        "revision",
+        "selector",
+        "contentDigest"
+      ]
+    },
+    "capability": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "id": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "version": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 32
+        },
+        "ext": {
+          "type": "object",
+          "maxProperties": 0
+        }
+      },
+      "required": [
+        "id",
+        "version"
+      ]
+    },
+    "profile": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "schema": {
+          "const": "atelier-evidence-navigation-profile@v1"
+        },
+        "id": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "revision": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "protocol": {
+          "const": "atelier-evidence-navigation@v1"
+        },
+        "operations": {
+          "type": "array",
+          "items": {
+            "enum": [
+              "searchEvidence",
+              "getEvidence",
+              "followEvidence",
+              "readSynthesis",
+              "compareEvidence"
+            ]
+          },
+          "maxItems": 5,
+          "uniqueItems": true,
+          "minItems": 1
+        },
+        "requiredCapabilities": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/capability"
+          },
+          "maxItems": 32,
+          "uniqueItems": true
+        },
+        "ext": {
+          "type": "object",
+          "maxProperties": 0
+        },
+        "contractVersion": {
+          "type": "string",
+          "pattern": "^1\\.[0-9]+\\.[0-9]+$",
+          "const": "1.0.0"
+        }
+      },
+      "required": [
+        "schema",
+        "id",
+        "revision",
+        "protocol",
+        "operations",
+        "requiredCapabilities"
+      ]
+    },
+    "hostCapabilities": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "schema": {
+          "const": "atelier-evidence-navigation-host@v1"
+        },
+        "protocols": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 128
+          },
+          "maxItems": 16,
+          "uniqueItems": true
+        },
+        "operations": {
+          "type": "array",
+          "items": {
+            "enum": [
+              "searchEvidence",
+              "getEvidence",
+              "followEvidence",
+              "readSynthesis",
+              "compareEvidence"
+            ]
+          },
+          "maxItems": 5,
+          "uniqueItems": true
+        },
+        "capabilities": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/capability"
+          },
+          "maxItems": 32,
+          "uniqueItems": true
+        },
+        "ext": {
+          "type": "object",
+          "maxProperties": 0
+        },
+        "contractVersion": {
+          "type": "string",
+          "pattern": "^1\\.[0-9]+\\.[0-9]+$",
+          "const": "1.0.0"
+        }
+      },
+      "required": [
+        "schema",
+        "protocols",
+        "operations",
+        "capabilities"
+      ]
+    },
+    "evidenceLink": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "reference": {
+          "$ref": "#/$defs/evidenceRef"
+        },
+        "sourceFamily": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "assessmentRef": {
+          "anyOf": [
+            {
+              "type": "string",
+              "minLength": 1,
+              "maxLength": 128
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "ext": {
+          "type": "object",
+          "maxProperties": 0
+        }
+      },
+      "required": [
+        "reference",
+        "sourceFamily",
+        "assessmentRef"
+      ]
+    },
+    "validInterval": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "from": {
+          "anyOf": [
+            {
+              "type": "string",
+              "format": "date-time",
+              "maxLength": 64
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "until": {
+          "anyOf": [
+            {
+              "type": "string",
+              "format": "date-time",
+              "maxLength": 64
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "ext": {
+          "type": "object",
+          "maxProperties": 0
+        }
+      },
+      "required": [
+        "from",
+        "until"
+      ]
+    },
+    "acceptanceAuthority": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "kind": {
+          "enum": [
+            "none",
+            "rule",
+            "member",
+            "reviewer"
+          ]
+        },
+        "reference": {
+          "anyOf": [
+            {
+              "type": "string",
+              "minLength": 1,
+              "maxLength": 128
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "ext": {
+          "type": "object",
+          "maxProperties": 0
+        }
+      },
+      "required": [
+        "kind",
+        "reference"
+      ],
+      "allOf": [
+        {
+          "if": {
+            "properties": {
+              "kind": {
+                "const": "none"
+              }
+            }
+          },
+          "then": {
+            "properties": {
+              "reference": {
+                "type": "null"
+              }
+            }
+          },
+          "else": {
+            "properties": {
+              "reference": {
+                "type": "string",
+                "minLength": 1
+              }
+            }
+          }
+        }
+      ]
+    },
+    "claim": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "schema": {
+          "const": "atelier-evidence-claim@v1"
+        },
+        "claimId": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "revision": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "ownerRecordRef": {
+          "$ref": "#/$defs/evidenceRef"
+        },
+        "kind": {
+          "enum": [
+            "observation",
+            "attributed-statement",
+            "interpretation",
+            "stated-preference",
+            "inferred-preference",
+            "adopted-guidance-reference",
+            "unclassified-legacy"
+          ]
+        },
+        "subjectRef": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "recorderRef": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "content": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 65536
+        },
+        "eventTime": {
+          "anyOf": [
+            {
+              "type": "string",
+              "format": "date-time",
+              "maxLength": 64
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "recordedAt": {
+          "anyOf": [
+            {
+              "type": "string",
+              "format": "date-time",
+              "maxLength": 64
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "validInterval": {
+          "$ref": "#/$defs/validInterval"
+        },
+        "support": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/evidenceLink"
+          },
+          "maxItems": 64
+        },
+        "counterevidence": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/evidenceLink"
+          },
+          "maxItems": 64
+        },
+        "reviewStatus": {
+          "enum": [
+            "unreviewed",
+            "proposed",
+            "reviewed",
+            "accepted-in-scope",
+            "disputed",
+            "rejected"
+          ]
+        },
+        "acceptanceAuthority": {
+          "$ref": "#/$defs/acceptanceAuthority"
+        },
+        "currency": {
+          "enum": [
+            "current",
+            "superseded",
+            "stale",
+            "withdrawn-from-use",
+            "unknown"
+          ]
+        },
+        "scopeRef": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "usePolicyRef": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "ext": {
+          "type": "object",
+          "maxProperties": 0
+        },
+        "contractVersion": {
+          "type": "string",
+          "pattern": "^1\\.[0-9]+\\.[0-9]+$",
+          "const": "1.0.0"
+        }
+      },
+      "required": [
+        "schema",
+        "claimId",
+        "revision",
+        "ownerRecordRef",
+        "kind",
+        "subjectRef",
+        "recorderRef",
+        "content",
+        "eventTime",
+        "recordedAt",
+        "validInterval",
+        "support",
+        "counterevidence",
+        "reviewStatus",
+        "acceptanceAuthority",
+        "currency",
+        "scopeRef",
+        "usePolicyRef"
+      ],
+      "allOf": [
+        {
+          "if": {
+            "properties": {
+              "reviewStatus": {
+                "const": "accepted-in-scope"
+              }
+            }
+          },
+          "then": {
+            "properties": {
+              "acceptanceAuthority": {
+                "properties": {
+                  "kind": {
+                    "enum": [
+                      "rule",
+                      "member",
+                      "reviewer"
+                    ]
+                  },
+                  "reference": {
+                    "type": "string",
+                    "minLength": 1
+                  }
+                },
+                "type": "object"
+              }
+            }
+          }
+        }
+      ]
+    },
+    "snapshot": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "schema": {
+          "const": "atelier-evidence-snapshot@v1"
+        },
+        "reference": {
+          "$ref": "#/$defs/evidenceRef"
+        },
+        "currency": {
+          "enum": [
+            "current",
+            "superseded",
+            "stale",
+            "withdrawn-from-use",
+            "unknown"
+          ]
+        },
+        "dependencies": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/evidenceRef"
+          },
+          "maxItems": 64
+        },
+        "validUntil": {
+          "anyOf": [
+            {
+              "type": "string",
+              "format": "date-time",
+              "maxLength": 64
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "ext": {
+          "type": "object",
+          "maxProperties": 0
+        },
+        "contractVersion": {
+          "type": "string",
+          "pattern": "^1\\.[0-9]+\\.[0-9]+$",
+          "const": "1.0.0"
+        }
+      },
+      "required": [
+        "schema",
+        "reference",
+        "currency",
+        "dependencies",
+        "validUntil"
+      ]
+    }
+  }
+}

package/src/evidence-navigation/types.mjs

@@ -0,0 +1,12 @@
+// Generated from contracts. Run node scripts/generate-evidence-navigation.mjs.
+/** @typedef {{type: (string), version: (string), value: (string), ext?: ({})}} Selector */
+/** @typedef {{owner: (string), objectId: (string), revision: (string), selector: (Selector), contentDigest: (string), ext?: ({})}} EvidenceRef */
+/** @typedef {{id: (string), version: (string), ext?: ({})}} Capability */
+/** @typedef {{schema: ("atelier-evidence-navigation-profile@v1"), id: (string), revision: (string), protocol: ("atelier-evidence-navigation@v1"), operations: (Array<("searchEvidence"|"getEvidence"|"followEvidence"|"readSynthesis"|"compareEvidence")>), requiredCapabilities: (Array<(Capability)>), ext?: ({}), contractVersion?: ("1.0.0")}} Profile */
+/** @typedef {{schema: ("atelier-evidence-navigation-host@v1"), protocols: (Array<(string)>), operations: (Array<("searchEvidence"|"getEvidence"|"followEvidence"|"readSynthesis"|"compareEvidence")>), capabilities: (Array<(Capability)>), ext?: ({}), contractVersion?: ("1.0.0")}} HostCapabilities */
+/** @typedef {{reference: (EvidenceRef), sourceFamily: (string), assessmentRef: ((string)|(null)), ext?: ({})}} EvidenceLink */
+/** @typedef {{from: ((string)|(null)), until: ((string)|(null)), ext?: ({})}} ValidInterval */
+/** @typedef {{kind: ("none"|"rule"|"member"|"reviewer"), reference: ((string)|(null)), ext?: ({})}} AcceptanceAuthority */
+/** @typedef {{schema: ("atelier-evidence-claim@v1"), claimId: (string), revision: (string), ownerRecordRef: (EvidenceRef), kind: ("observation"|"attributed-statement"|"interpretation"|"stated-preference"|"inferred-preference"|"adopted-guidance-reference"|"unclassified-legacy"), subjectRef: (string), recorderRef: (string), content: (string), eventTime: ((string)|(null)), recordedAt: ((string)|(null)), validInterval: (ValidInterval), support: (Array<(EvidenceLink)>), counterevidence: (Array<(EvidenceLink)>), reviewStatus: ("unreviewed"|"proposed"|"reviewed"|"accepted-in-scope"|"disputed"|"rejected"), acceptanceAuthority: (AcceptanceAuthority), currency: ("current"|"superseded"|"stale"|"withdrawn-from-use"|"unknown"), scopeRef: (string), usePolicyRef: (string), ext?: ({}), contractVersion?: ("1.0.0")}} Claim */
+/** @typedef {{schema: ("atelier-evidence-snapshot@v1"), reference: (EvidenceRef), currency: ("current"|"superseded"|"stale"|"withdrawn-from-use"|"unknown"), dependencies: (Array<(EvidenceRef)>), validUntil: ((string)|(null)), ext?: ({}), contractVersion?: ("1.0.0")}} Snapshot */
+export {}

package/src/export/atelier-export-contract.mjs

@@ -191,18 +191,45 @@ function formatAjvError(error) {
   return `${location} ${error.message ?? 'failed schema validation'}`
 }
 
-// One compiled validator per schema object, for as long as the schema lives:
-// compilation is a pure function of the schema, and a registered contract is
-// validated many times per run (a large manifest, every journal entry).
+// Retain one compiled version per schema object. Callers may edit their schema
+// between validations, so identity alone is not a valid cache key.
 const compiledValidators = new WeakMap()
 
+// Only cache ordinary JSON data. Read descriptors instead of invoking getters
+// or toJSON hooks; unusual JavaScript schemas keep the fresh-compilation path.
+function schemaCacheKey(value, ancestors = new Set()) {
+  if (value === null || typeof value === 'string' || typeof value === 'boolean' ||
+    (typeof value === 'number' && Number.isFinite(value))) return JSON.stringify(value)
+  if (typeof value !== 'object' || ancestors.has(value)) return undefined
+  const array = Array.isArray(value)
+  const prototype = Object.getPrototypeOf(value)
+  if (prototype !== (array ? Array.prototype : Object.prototype) && !(prototype === null && !array)) return undefined
+  ancestors.add(value)
+  try {
+    const parts = []
+    for (const key of Reflect.ownKeys(value)) {
+      if (array && key === 'length') continue
+      if (typeof key !== 'string' || (array && key !== String(parts.length))) return undefined
+      const descriptor = Object.getOwnPropertyDescriptor(value, key)
+      if (!descriptor?.enumerable || !Object.hasOwn(descriptor, 'value')) return undefined
+      const part = schemaCacheKey(descriptor.value, ancestors)
+      if (part === undefined) return undefined
+      parts.push(array ? part : `${JSON.stringify(key)}:${part}`)
+    }
+    if (array && parts.length !== value.length) return undefined
+    return array ? `[${parts.join(',')}]` : `{${parts.join(',')}}`
+  } finally { ancestors.delete(value) }
+}
+
 function validatorFor(schema) {
   if (schema === null || typeof schema !== 'object') return ajvForSchema().compile(schema)
-  let validate = compiledValidators.get(schema)
-  if (!validate) {
-    validate = ajvForSchema().compile(schema)
-    compiledValidators.set(schema, validate)
-  }
+  let key
+  try { key = schemaCacheKey(schema) } catch { /* Let Ajv report invalid schemas. */ }
+  if (key === undefined) return ajvForSchema().compile(schema)
+  const cached = compiledValidators.get(schema)
+  if (cached?.key === key) return cached.validate
+  const validate = ajvForSchema().compile(schema)
+  compiledValidators.set(schema, { key, validate })
   return validate
 }