@davidahmann/mill 0.1.4

package/schemas/specification-proposal.schema.json

@@ -0,0 +1,406 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "type": "object",
+  "properties": {
+    "schemaVersion": { "type": "string", "const": "1" },
+    "prd": {
+      "type": "object",
+      "properties": {
+        "path": { "type": "string", "minLength": 1 },
+        "digest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" }
+      },
+      "required": ["path", "digest"],
+      "additionalProperties": false
+    },
+    "sourceManifestDigest": {
+      "type": "string",
+      "pattern": "^sha256:[a-f0-9]{64}$"
+    },
+    "productContract": {
+      "type": "object",
+      "properties": {
+        "schemaVersion": { "type": "string", "const": "1" },
+        "id": { "type": "string", "minLength": 1 },
+        "title": { "type": "string", "minLength": 1 },
+        "primaryUser": { "type": "string", "minLength": 1 },
+        "jobToBeDone": { "type": "string", "minLength": 1 },
+        "outcomes": {
+          "minItems": 1,
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": { "type": "string", "pattern": "^OUT-[A-Z0-9][A-Z0-9-]*$" },
+              "statement": { "type": "string", "minLength": 1 },
+              "acceptanceIds": {
+                "minItems": 1,
+                "type": "array",
+                "items": { "type": "string", "minLength": 1 },
+                "uniqueItems": true
+              }
+            },
+            "required": ["id", "statement"],
+            "additionalProperties": false
+          }
+        },
+        "nonGoals": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "assumptions": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "unknowns": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "sourceRefs": {
+          "minItems": 1,
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "acceptance": {
+          "default": [],
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": { "type": "string", "minLength": 1 },
+              "kind": {
+                "type": "string",
+                "enum": ["functional", "quality", "operational"]
+              },
+              "statement": { "type": "string", "minLength": 1 },
+              "sourceRefs": {
+                "minItems": 1,
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "pattern": "^SRC-[A-Z0-9][A-Z0-9-]*$"
+                }
+              }
+            },
+            "required": ["id", "kind", "statement", "sourceRefs"],
+            "additionalProperties": false
+          }
+        },
+        "invariants": {
+          "default": [],
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": { "type": "string", "pattern": "^INV-[A-Z0-9][A-Z0-9-]*$" },
+              "statement": { "type": "string", "minLength": 1 },
+              "owner": { "type": "string", "minLength": 1 },
+              "criticality": {
+                "type": "string",
+                "enum": ["low", "medium", "high", "critical"]
+              },
+              "surfaceRefs": {
+                "minItems": 1,
+                "type": "array",
+                "items": { "type": "string", "minLength": 1 }
+              },
+              "verification": {
+                "type": "object",
+                "properties": {
+                  "mode": {
+                    "type": "string",
+                    "enum": ["command", "human", "unsupported"]
+                  },
+                  "ref": { "type": "string", "minLength": 1 }
+                },
+                "required": ["mode", "ref"],
+                "additionalProperties": false
+              },
+              "sourceRefs": {
+                "minItems": 1,
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "pattern": "^SRC-[A-Z0-9][A-Z0-9-]*$"
+                }
+              },
+              "unknowns": {
+                "type": "array",
+                "items": { "type": "string", "minLength": 1 }
+              }
+            },
+            "required": [
+              "id",
+              "statement",
+              "owner",
+              "criticality",
+              "surfaceRefs",
+              "verification",
+              "sourceRefs",
+              "unknowns"
+            ],
+            "additionalProperties": false
+          }
+        },
+        "decisions": {
+          "default": [],
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": { "type": "string", "pattern": "^DEC-[A-Z0-9][A-Z0-9-]*$" },
+              "kind": {
+                "type": "string",
+                "enum": [
+                  "product",
+                  "architecture",
+                  "design",
+                  "accessibility",
+                  "research"
+                ]
+              },
+              "question": { "type": "string", "minLength": 1 },
+              "decision": { "type": "string", "minLength": 1 },
+              "rationale": { "type": "string", "minLength": 1 },
+              "sourceRefs": {
+                "minItems": 1,
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "pattern": "^SRC-[A-Z0-9][A-Z0-9-]*$"
+                }
+              },
+              "status": {
+                "type": "string",
+                "enum": ["proposed", "approved", "rejected"]
+              },
+              "costlyToReverse": { "type": "boolean" }
+            },
+            "required": [
+              "id",
+              "kind",
+              "question",
+              "decision",
+              "rationale",
+              "sourceRefs",
+              "status",
+              "costlyToReverse"
+            ],
+            "additionalProperties": false
+          }
+        }
+      },
+      "required": [
+        "schemaVersion",
+        "id",
+        "title",
+        "primaryUser",
+        "jobToBeDone",
+        "outcomes",
+        "nonGoals",
+        "assumptions",
+        "unknowns",
+        "sourceRefs"
+      ],
+      "additionalProperties": false
+    },
+    "blueprints": {
+      "minItems": 1,
+      "maxItems": 1,
+      "type": "array",
+      "items": {
+        "type": "object",
+        "properties": {
+          "schemaVersion": { "type": "string", "const": "1" },
+          "id": { "type": "string", "minLength": 1 },
+          "productContractDigest": {
+            "type": "string",
+            "pattern": "^sha256:[a-f0-9]{64}$"
+          },
+          "recipe": { "type": "string", "minLength": 1 },
+          "recipeVersion": { "type": "string", "minLength": 1 },
+          "runtime": { "type": "string", "minLength": 1 },
+          "architecture": {
+            "minItems": 1,
+            "type": "array",
+            "items": { "type": "string", "minLength": 1 }
+          },
+          "risks": {
+            "type": "array",
+            "items": { "type": "string", "minLength": 1 }
+          }
+        },
+        "required": [
+          "schemaVersion",
+          "id",
+          "productContractDigest",
+          "recipe",
+          "recipeVersion",
+          "runtime",
+          "architecture",
+          "risks"
+        ],
+        "additionalProperties": false
+      }
+    },
+    "scenarioSet": {
+      "type": "object",
+      "properties": {
+        "schemaVersion": { "type": "string", "const": "1" },
+        "productContractDigest": {
+          "type": "string",
+          "pattern": "^sha256:[a-f0-9]{64}$"
+        },
+        "scenarios": {
+          "minItems": 1,
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": { "type": "string", "minLength": 1 },
+              "kind": {
+                "type": "string",
+                "enum": [
+                  "normal",
+                  "exception",
+                  "degradation",
+                  "recovery",
+                  "authority",
+                  "adversarial"
+                ]
+              },
+              "given": {
+                "minItems": 1,
+                "type": "array",
+                "items": { "type": "string", "minLength": 1 }
+              },
+              "when": {
+                "minItems": 1,
+                "type": "array",
+                "items": { "type": "string", "minLength": 1 }
+              },
+              "then": {
+                "minItems": 1,
+                "type": "array",
+                "items": { "type": "string", "minLength": 1 }
+              },
+              "oracleOwner": {
+                "type": "string",
+                "enum": ["repository", "human", "external"]
+              },
+              "acceptanceRefs": {
+                "default": [],
+                "type": "array",
+                "items": { "type": "string", "minLength": 1 }
+              },
+              "invariantRefs": {
+                "default": [],
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "pattern": "^INV-[A-Z0-9][A-Z0-9-]*$"
+                }
+              },
+              "coverage": {
+                "default": "both",
+                "type": "string",
+                "enum": ["new_behavior", "preservation", "both"]
+              },
+              "visibility": {
+                "default": "builder_visible",
+                "type": "string",
+                "enum": [
+                  "builder_visible",
+                  "reviewer_owned",
+                  "human_acceptance"
+                ]
+              },
+              "executionRef": { "type": "string", "minLength": 1 },
+              "recipeOracle": { "type": "string", "minLength": 1 },
+              "forbidden": {
+                "default": [],
+                "type": "array",
+                "items": { "type": "string", "minLength": 1 }
+              }
+            },
+            "required": ["id", "kind", "given", "when", "then", "oracleOwner"],
+            "additionalProperties": false
+          }
+        }
+      },
+      "required": ["schemaVersion", "productContractDigest", "scenarios"],
+      "additionalProperties": false
+    },
+    "assumptions": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "properties": {
+          "id": { "type": "string", "minLength": 1 },
+          "statement": { "type": "string", "minLength": 1 },
+          "sourceRefs": {
+            "type": "array",
+            "items": { "type": "string", "pattern": "^SRC-[A-Z0-9][A-Z0-9-]*$" }
+          }
+        },
+        "required": ["id", "statement", "sourceRefs"],
+        "additionalProperties": false
+      }
+    },
+    "contradictions": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "properties": {
+          "id": { "type": "string", "minLength": 1 },
+          "statement": { "type": "string", "minLength": 1 },
+          "sourceRefs": {
+            "minItems": 2,
+            "type": "array",
+            "items": { "type": "string", "pattern": "^SRC-[A-Z0-9][A-Z0-9-]*$" }
+          },
+          "blocking": { "type": "boolean" }
+        },
+        "required": ["id", "statement", "sourceRefs", "blocking"],
+        "additionalProperties": false
+      }
+    },
+    "questions": {
+      "maxItems": 2,
+      "type": "array",
+      "items": {
+        "type": "object",
+        "properties": {
+          "id": { "type": "string", "minLength": 1 },
+          "prompt": { "type": "string", "minLength": 1 },
+          "recommendedDefault": { "type": "string", "minLength": 1 },
+          "reversible": { "type": "boolean" },
+          "blocking": { "type": "boolean" }
+        },
+        "required": [
+          "id",
+          "prompt",
+          "recommendedDefault",
+          "reversible",
+          "blocking"
+        ],
+        "additionalProperties": false
+      }
+    },
+    "status": { "type": "string", "const": "proposed" }
+  },
+  "required": [
+    "schemaVersion",
+    "prd",
+    "sourceManifestDigest",
+    "productContract",
+    "blueprints",
+    "scenarioSet",
+    "assumptions",
+    "contradictions",
+    "questions",
+    "status"
+  ],
+  "additionalProperties": false,
+  "$id": "https://github.com/davidahmann/mill/schemas/specification-proposal.schema.json",
+  "title": "SpecificationProposal"
+}

package/schemas/support-tuple.schema.json

@@ -0,0 +1,107 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "type": "object",
+  "properties": {
+    "id": { "type": "string", "pattern": "^[a-z0-9][a-z0-9._-]*$" },
+    "status": {
+      "type": "string",
+      "enum": ["experimental", "qualified", "expired"]
+    },
+    "testedAt": {
+      "type": "string",
+      "format": "date-time",
+      "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d(?:\\.\\d+)?(?:Z))$"
+    },
+    "expiresAt": {
+      "type": "string",
+      "format": "date-time",
+      "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d(?:\\.\\d+)?(?:Z))$"
+    },
+    "host": {
+      "type": "object",
+      "properties": {
+        "os": { "type": "string", "minLength": 1 },
+        "architecture": { "type": "string", "minLength": 1 }
+      },
+      "required": ["os", "architecture"],
+      "additionalProperties": false
+    },
+    "runtime": {
+      "type": "object",
+      "properties": {
+        "node": {
+          "type": "string",
+          "pattern": "^(?:0|[1-9]\\d*)\\.(?:0|[1-9]\\d*)\\.(?:0|[1-9]\\d*)(?:-(?:0|[1-9]\\d*|\\d*[A-Za-z-][0-9A-Za-z-]*)(?:\\.(?:0|[1-9]\\d*|\\d*[A-Za-z-][0-9A-Za-z-]*))*)?(?:\\+[0-9A-Za-z-]+(?:\\.[0-9A-Za-z-]+)*)?$"
+        },
+        "npm": {
+          "type": "string",
+          "pattern": "^(?:0|[1-9]\\d*)\\.(?:0|[1-9]\\d*)\\.(?:0|[1-9]\\d*)(?:-(?:0|[1-9]\\d*|\\d*[A-Za-z-][0-9A-Za-z-]*)(?:\\.(?:0|[1-9]\\d*|\\d*[A-Za-z-][0-9A-Za-z-]*))*)?(?:\\+[0-9A-Za-z-]+(?:\\.[0-9A-Za-z-]+)*)?$"
+        }
+      },
+      "required": ["node", "npm"],
+      "additionalProperties": false
+    },
+    "container": {
+      "type": "object",
+      "properties": {
+        "engine": { "type": "string", "minLength": 1 },
+        "version": { "type": "string", "minLength": 1 },
+        "verifierImage": {
+          "type": "string",
+          "pattern": "^[^@\\s]+@sha256:[a-f0-9]{64}$"
+        }
+      },
+      "required": ["engine", "version", "verifierImage"],
+      "additionalProperties": false
+    },
+    "worker": {
+      "type": "object",
+      "properties": {
+        "adapter": { "type": "string", "const": "codex-cli" },
+        "harnessVersion": { "type": "string", "minLength": 1 },
+        "modelIdentity": { "type": "string", "const": "provider-mutable" },
+        "authMode": { "type": "string", "const": "operator-session" }
+      },
+      "required": ["adapter", "harnessVersion", "modelIdentity", "authMode"],
+      "additionalProperties": false
+    },
+    "forge": {
+      "type": "object",
+      "properties": {
+        "gitVersion": { "type": "string", "minLength": 1 },
+        "ghVersion": { "type": "string", "minLength": 1 },
+        "host": { "type": "string", "const": "github.com" }
+      },
+      "required": ["gitVersion", "ghVersion", "host"],
+      "additionalProperties": false
+    },
+    "recipe": {
+      "type": "object",
+      "properties": {
+        "id": { "type": "string", "const": "node-typescript-next-web" },
+        "version": {
+          "type": "string",
+          "pattern": "^(?:0|[1-9]\\d*)\\.(?:0|[1-9]\\d*)\\.(?:0|[1-9]\\d*)(?:-(?:0|[1-9]\\d*|\\d*[A-Za-z-][0-9A-Za-z-]*)(?:\\.(?:0|[1-9]\\d*|\\d*[A-Za-z-][0-9A-Za-z-]*))*)?(?:\\+[0-9A-Za-z-]+(?:\\.[0-9A-Za-z-]+)*)?$"
+        },
+        "digest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" }
+      },
+      "required": ["id", "version", "digest"],
+      "additionalProperties": false
+    }
+  },
+  "required": [
+    "id",
+    "status",
+    "testedAt",
+    "expiresAt",
+    "host",
+    "runtime",
+    "container",
+    "worker",
+    "forge",
+    "recipe"
+  ],
+  "additionalProperties": false,
+  "$id": "https://github.com/davidahmann/mill/schemas/support-tuple.schema.json",
+  "title": "SupportTuple"
+}