@mnstry/atelier 0.2.0-alpha.1

package/contracts/atelier-lock.v1.schema.json

@@ -0,0 +1,364 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://mnstry.ai/schemas/atelier/atelier-lock.v1.schema.json",
+  "$comment": "contract revision 1.1.0 (contract-stability epoch)",
+  "title": "mnstry.atelier-lock@v1",
+  "description": "Reviewable lock document recording the installed Atelier package, contract versions, boundary digest, and applied migration state for a workspace.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema",
+    "generatedAt",
+    "package",
+    "template",
+    "runtime",
+    "contracts",
+    "extensionPacks",
+    "boundaryPolicy",
+    "lastSuccessfulUpgrade",
+    "appliedMigrations"
+  ],
+  "properties": {
+    "schema": {
+      "const": "mnstry.atelier-lock@v1"
+    },
+    "contractVersion": {
+      "type": "string",
+      "pattern": "^1\\.[0-9]+\\.[0-9]+$"
+    },
+    "generatedAt": {
+      "type": "string",
+      "format": "date-time"
+    },
+    "package": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "name",
+        "version",
+        "source"
+      ],
+      "properties": {
+        "name": {
+          "const": "@mnstry/atelier"
+        },
+        "version": {
+          "type": "string",
+          "minLength": 1
+        },
+        "source": {
+          "$ref": "#/$defs/packageSource"
+        },
+        "ext": {
+          "type": "object",
+          "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+        }
+      }
+    },
+    "template": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "type": "string",
+          "minLength": 1
+        },
+        "version": {
+          "type": "string",
+          "minLength": 1
+        },
+        "ext": {
+          "type": "object",
+          "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+        }
+      }
+    },
+    "runtime": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "node",
+        "telemetry",
+        "egress",
+        "mutation",
+        "runtimeImport",
+        "analysisExecution"
+      ],
+      "properties": {
+        "node": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "range"
+          ],
+          "properties": {
+            "range": {
+              "type": "string",
+              "minLength": 1
+            },
+            "ext": {
+              "type": "object",
+              "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+            }
+          }
+        },
+        "telemetry": {
+          "const": "none"
+        },
+        "egress": {
+          "const": "local-only"
+        },
+        "mutation": {
+          "const": "not-implemented"
+        },
+        "runtimeImport": {
+          "const": false
+        },
+        "analysisExecution": {
+          "const": false
+        },
+        "ext": {
+          "type": "object",
+          "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+        }
+      }
+    },
+    "contracts": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "projectConfig",
+        "knowledgeGraph",
+        "boundaryPolicy",
+        "exportContract"
+      ],
+      "properties": {
+        "projectConfig": {
+          "const": "mnstry.atelier-project-config@v1"
+        },
+        "knowledgeGraph": {
+          "const": "mnstry.atelier-knowledge-graph@v1"
+        },
+        "boundaryPolicy": {
+          "const": "mnstry.atelier-boundary-policy@v1"
+        },
+        "exportContract": {
+          "const": "atelier-export@v1"
+        },
+        "ext": {
+          "type": "object",
+          "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+        }
+      }
+    },
+    "extensionPacks": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/extensionPackRef"
+      },
+      "uniqueItems": true
+    },
+    "boundaryPolicy": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "path",
+        "digest",
+        "snapshot"
+      ],
+      "properties": {
+        "path": {
+          "type": [
+            "string",
+            "null"
+          ],
+          "not": {
+            "pattern": "^/"
+          }
+        },
+        "digest": {
+          "type": [
+            "string",
+            "null"
+          ],
+          "pattern": "^sha256:[0-9a-f]{64}$"
+        },
+        "snapshot": {
+          "type": [
+            "object",
+            "null"
+          ]
+        },
+        "ext": {
+          "type": "object",
+          "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+        }
+      }
+    },
+    "lastSuccessfulUpgrade": {
+      "type": [
+        "string",
+        "null"
+      ],
+      "format": "date-time"
+    },
+    "appliedMigrations": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/appliedMigration"
+      }
+    },
+    "ext": {
+      "type": "object",
+      "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+    }
+  },
+  "$defs": {
+    "packageSource": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "type"
+      ],
+      "properties": {
+        "type": {
+          "enum": [
+            "git",
+            "private_github",
+            "npm",
+            "local_path",
+            "tarball"
+          ]
+        },
+        "repository": {
+          "type": [
+            "string",
+            "null"
+          ],
+          "minLength": 1
+        },
+        "gitSha": {
+          "type": [
+            "string",
+            "null"
+          ],
+          "pattern": "^[0-9a-f]{40}$"
+        },
+        "path": {
+          "type": [
+            "string",
+            "null"
+          ],
+          "not": {
+            "pattern": "^/"
+          }
+        },
+        "registry": {
+          "type": [
+            "string",
+            "null"
+          ],
+          "minLength": 1
+        },
+        "ext": {
+          "type": "object",
+          "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+        }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": {
+              "type": {
+                "const": "git"
+              }
+            },
+            "required": [
+              "type"
+            ]
+          },
+          "then": {
+            "required": [
+              "repository",
+              "gitSha"
+            ]
+          }
+        },
+        {
+          "if": {
+            "properties": {
+              "type": {
+                "const": "local_path"
+              }
+            },
+            "required": [
+              "type"
+            ]
+          },
+          "then": {
+            "required": [
+              "path"
+            ]
+          }
+        }
+      ]
+    },
+    "extensionPackRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "type": "string",
+          "minLength": 1
+        },
+        "version": {
+          "type": "string",
+          "minLength": 1
+        },
+        "digest": {
+          "type": "string",
+          "pattern": "^sha256:[0-9a-f]{64}$"
+        },
+        "ext": {
+          "type": "object",
+          "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+        }
+      }
+    },
+    "appliedMigration": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "hash",
+        "appliedAt"
+      ],
+      "properties": {
+        "id": {
+          "type": "string",
+          "minLength": 1
+        },
+        "hash": {
+          "type": "string",
+          "pattern": "^[0-9a-f]{64}$"
+        },
+        "appliedAt": {
+          "type": "string",
+          "format": "date-time"
+        },
+        "ext": {
+          "type": "object",
+          "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+        }
+      }
+    }
+  }
+}

package/contracts/atelier-migration.v1.schema.json

@@ -0,0 +1,162 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://mnstry.ai/schemas/atelier/atelier-migration.v1.schema.json",
+  "$comment": "contract revision 1.1.0 (contract-stability epoch)",
+  "title": "mnstry.atelier-migration@v1",
+  "description": "Reviewable migration registry entry for moving an Atelier workspace between package/contract states.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema",
+    "id",
+    "class",
+    "title",
+    "description",
+    "files",
+    "requiredPostChecks",
+    "authority"
+  ],
+  "properties": {
+    "schema": {
+      "const": "mnstry.atelier-migration@v1"
+    },
+    "contractVersion": {
+      "type": "string",
+      "pattern": "^1\\.[0-9]+\\.[0-9]+$"
+    },
+    "id": {
+      "type": "string",
+      "pattern": "^[a-z0-9][a-z0-9._:@-]*$"
+    },
+    "from": {
+      "type": "string",
+      "minLength": 1
+    },
+    "to": {
+      "type": "string",
+      "minLength": 1
+    },
+    "class": {
+      "enum": [
+        "generated_refresh",
+        "config_schema",
+        "hook_update",
+        "template_scaffold",
+        "extension_pack",
+        "semantic_review",
+        "breaking"
+      ]
+    },
+    "title": {
+      "type": "string",
+      "minLength": 1
+    },
+    "description": {
+      "type": "string",
+      "minLength": 1
+    },
+    "files": {
+      "type": "array",
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
+    },
+    "safety": {
+      "type": "string",
+      "minLength": 1
+    },
+    "reviewMarkerRequired": {
+      "type": "boolean"
+    },
+    "explicitConfirmationRequired": {
+      "type": "boolean"
+    },
+    "apply": {
+      "type": "string",
+      "minLength": 1
+    },
+    "requiredPostChecks": {
+      "type": "array",
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
+    },
+    "authority": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "telemetry",
+        "egress",
+        "sendPath",
+        "runtimeMutation",
+        "runtimeImport",
+        "runtimeApply",
+        "analysisExecution",
+        "hiddenProvider"
+      ],
+      "properties": {
+        "telemetry": {
+          "const": false
+        },
+        "egress": {
+          "const": false
+        },
+        "sendPath": {
+          "const": false
+        },
+        "runtimeMutation": {
+          "const": false
+        },
+        "runtimeImport": {
+          "const": false
+        },
+        "runtimeApply": {
+          "const": false
+        },
+        "analysisExecution": {
+          "const": false
+        },
+        "hiddenProvider": {
+          "const": false
+        },
+        "ext": {
+          "type": "object",
+          "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+        }
+      }
+    },
+    "active": {
+      "type": "boolean"
+    },
+    "ext": {
+      "type": "object",
+      "description": "Reserved extension container. Producers MAY add namespaced members (recommend vendor-prefixed keys). Consumers MUST ignore members they do not recognize. Contents are not validated at v1 and carry no authority over first-class fields."
+    }
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": {
+          "class": {
+            "const": "breaking"
+          }
+        },
+        "required": [
+          "class"
+        ]
+      },
+      "then": {
+        "properties": {
+          "explicitConfirmationRequired": {
+            "const": true
+          }
+        },
+        "required": [
+          "explicitConfirmationRequired"
+        ]
+      }
+    }
+  ]
+}