@davidahmann/mill 0.1.4

package/schemas/task-packet.schema.json

@@ -0,0 +1,395 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "oneOf": [
+    {
+      "type": "object",
+      "properties": {
+        "schemaVersion": { "type": "string", "const": "1" },
+        "id": { "type": "string", "pattern": "^[a-z0-9][a-z0-9._-]*$" },
+        "title": { "type": "string", "minLength": 1 },
+        "objective": { "type": "string", "minLength": 1 },
+        "riskClass": { "type": "string", "enum": ["low", "medium", "high"] },
+        "baseRef": { "type": "string", "pattern": "^(?!-)[^\\s]+$" },
+        "contextPaths": {
+          "minItems": 1,
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "allowedPaths": {
+          "minItems": 1,
+          "type": "array",
+          "items": {
+            "type": "string",
+            "pattern": "^(?!\\/)(?!.*(?:^|\\/)\\.\\.(?:\\/|$))[^*?[\\]\\\\]+(?:\\/\\*\\*)?$"
+          }
+        },
+        "commandIds": {
+          "minItems": 1,
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "commit": {
+          "type": "object",
+          "properties": {
+            "message": { "type": "string", "minLength": 1 },
+            "authorName": { "type": "string", "minLength": 1 },
+            "authorEmail": {
+              "type": "string",
+              "format": "email",
+              "pattern": "^(?!\\.)(?!.*\\.\\.)([A-Za-z0-9_'+\\-\\.]*)[A-Za-z0-9_+-]@([A-Za-z0-9][A-Za-z0-9\\-]*\\.)+[A-Za-z]{2,}$"
+            }
+          },
+          "required": ["message", "authorName", "authorEmail"],
+          "additionalProperties": false
+        },
+        "budget": {
+          "type": "object",
+          "properties": {
+            "deadlineSeconds": {
+              "type": "integer",
+              "minimum": 1,
+              "maximum": 7200
+            },
+            "maxOutputBytes": {
+              "type": "integer",
+              "minimum": 1024,
+              "maximum": 10000000
+            },
+            "retryCount": { "type": "integer", "minimum": 0, "maximum": 1 }
+          },
+          "required": ["deadlineSeconds", "maxOutputBytes", "retryCount"],
+          "additionalProperties": false
+        },
+        "authority": {
+          "type": "object",
+          "properties": {
+            "productContract": {
+              "type": "object",
+              "properties": {
+                "path": { "type": "string", "minLength": 1 },
+                "digest": {
+                  "type": "string",
+                  "pattern": "^sha256:[a-f0-9]{64}$"
+                }
+              },
+              "required": ["path", "digest"],
+              "additionalProperties": false
+            },
+            "scenarioSet": {
+              "type": "object",
+              "properties": {
+                "path": { "type": "string", "minLength": 1 },
+                "digest": {
+                  "type": "string",
+                  "pattern": "^sha256:[a-f0-9]{64}$"
+                }
+              },
+              "required": ["path", "digest"],
+              "additionalProperties": false
+            },
+            "policy": {
+              "type": "object",
+              "properties": {
+                "path": { "type": "string", "minLength": 1 },
+                "digest": {
+                  "type": "string",
+                  "pattern": "^sha256:[a-f0-9]{64}$"
+                }
+              },
+              "required": ["path", "digest"],
+              "additionalProperties": false
+            }
+          },
+          "required": ["productContract", "scenarioSet", "policy"],
+          "additionalProperties": false
+        },
+        "acceptance": {
+          "minItems": 1,
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": { "type": "string", "minLength": 1 },
+              "statement": { "type": "string", "minLength": 1 }
+            },
+            "required": ["id", "statement"],
+            "additionalProperties": false
+          }
+        }
+      },
+      "required": [
+        "schemaVersion",
+        "id",
+        "title",
+        "objective",
+        "riskClass",
+        "baseRef",
+        "contextPaths",
+        "allowedPaths",
+        "commandIds",
+        "commit",
+        "budget",
+        "authority",
+        "acceptance"
+      ],
+      "additionalProperties": false
+    },
+    {
+      "type": "object",
+      "properties": {
+        "schemaVersion": { "type": "string", "const": "2" },
+        "id": { "type": "string", "pattern": "^[a-z0-9][a-z0-9._-]*$" },
+        "title": { "type": "string", "minLength": 1 },
+        "objective": { "type": "string", "minLength": 1 },
+        "riskClass": { "type": "string", "enum": ["low", "medium", "high"] },
+        "baseRef": { "type": "string", "pattern": "^(?!-)[^\\s]+$" },
+        "contextPaths": {
+          "minItems": 1,
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "allowedPaths": {
+          "minItems": 1,
+          "type": "array",
+          "items": {
+            "type": "string",
+            "pattern": "^(?!\\/)(?!.*(?:^|\\/)\\.\\.(?:\\/|$))[^*?[\\]\\\\]+(?:\\/\\*\\*)?$"
+          }
+        },
+        "commandIds": {
+          "minItems": 1,
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "commit": {
+          "type": "object",
+          "properties": {
+            "message": { "type": "string", "minLength": 1 },
+            "authorName": { "type": "string", "minLength": 1 },
+            "authorEmail": {
+              "type": "string",
+              "format": "email",
+              "pattern": "^(?!\\.)(?!.*\\.\\.)([A-Za-z0-9_'+\\-\\.]*)[A-Za-z0-9_+-]@([A-Za-z0-9][A-Za-z0-9\\-]*\\.)+[A-Za-z]{2,}$"
+            }
+          },
+          "required": ["message", "authorName", "authorEmail"],
+          "additionalProperties": false
+        },
+        "budget": {
+          "type": "object",
+          "properties": {
+            "deadlineSeconds": {
+              "type": "integer",
+              "minimum": 1,
+              "maximum": 7200
+            },
+            "maxOutputBytes": {
+              "type": "integer",
+              "minimum": 1024,
+              "maximum": 10000000
+            },
+            "retryCount": { "type": "integer", "minimum": 0, "maximum": 1 }
+          },
+          "required": ["deadlineSeconds", "maxOutputBytes", "retryCount"],
+          "additionalProperties": false
+        },
+        "authority": {
+          "type": "object",
+          "properties": {
+            "productContract": {
+              "type": "object",
+              "properties": {
+                "path": { "type": "string", "minLength": 1 },
+                "digest": {
+                  "type": "string",
+                  "pattern": "^sha256:[a-f0-9]{64}$"
+                }
+              },
+              "required": ["path", "digest"],
+              "additionalProperties": false
+            },
+            "scenarioSet": {
+              "type": "object",
+              "properties": {
+                "path": { "type": "string", "minLength": 1 },
+                "digest": {
+                  "type": "string",
+                  "pattern": "^sha256:[a-f0-9]{64}$"
+                }
+              },
+              "required": ["path", "digest"],
+              "additionalProperties": false
+            },
+            "policy": {
+              "type": "object",
+              "properties": {
+                "path": { "type": "string", "minLength": 1 },
+                "digest": {
+                  "type": "string",
+                  "pattern": "^sha256:[a-f0-9]{64}$"
+                }
+              },
+              "required": ["path", "digest"],
+              "additionalProperties": false
+            },
+            "impactManifest": {
+              "type": "object",
+              "properties": {
+                "path": { "type": "string", "minLength": 1 },
+                "digest": {
+                  "type": "string",
+                  "pattern": "^sha256:[a-f0-9]{64}$"
+                }
+              },
+              "required": ["path", "digest"],
+              "additionalProperties": false
+            }
+          },
+          "required": [
+            "productContract",
+            "scenarioSet",
+            "policy",
+            "impactManifest"
+          ],
+          "additionalProperties": false
+        },
+        "attestations": {
+          "default": [],
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": { "type": "string", "pattern": "^ATT-[A-Z0-9][A-Z0-9-]*$" },
+              "approvedBy": { "type": "string", "minLength": 1 },
+              "approvedAt": {
+                "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))$"
+              },
+              "claims": {
+                "minItems": 1,
+                "type": "array",
+                "items": {
+                  "type": "object",
+                  "properties": {
+                    "kind": {
+                      "type": "string",
+                      "enum": ["acceptance", "invariant", "scenario"]
+                    },
+                    "id": { "type": "string", "minLength": 1 },
+                    "digest": {
+                      "type": "string",
+                      "pattern": "^sha256:[a-f0-9]{64}$"
+                    }
+                  },
+                  "required": ["kind", "id", "digest"],
+                  "additionalProperties": false
+                }
+              }
+            },
+            "required": [
+              "id",
+              "approvedBy",
+              "approvedAt",
+              "expiresAt",
+              "claims"
+            ],
+            "additionalProperties": false
+          }
+        },
+        "acceptance": {
+          "minItems": 1,
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": { "type": "string", "minLength": 1 },
+              "statement": { "type": "string", "minLength": 1 },
+              "invariantIds": {
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "pattern": "^INV-[A-Z0-9][A-Z0-9-]*$"
+                }
+              },
+              "scenarioIds": {
+                "type": "array",
+                "items": { "type": "string", "minLength": 1 }
+              },
+              "coverage": {
+                "type": "string",
+                "enum": ["new_behavior", "preservation", "both"]
+              },
+              "evidence": {
+                "oneOf": [
+                  {
+                    "type": "object",
+                    "properties": {
+                      "mode": { "type": "string", "const": "command" },
+                      "commandId": { "type": "string", "minLength": 1 }
+                    },
+                    "required": ["mode", "commandId"],
+                    "additionalProperties": false
+                  },
+                  {
+                    "type": "object",
+                    "properties": {
+                      "mode": { "type": "string", "const": "human" },
+                      "attestationId": {
+                        "type": "string",
+                        "pattern": "^ATT-[A-Z0-9][A-Z0-9-]*$"
+                      }
+                    },
+                    "required": ["mode", "attestationId"],
+                    "additionalProperties": false
+                  },
+                  {
+                    "type": "object",
+                    "properties": {
+                      "mode": { "type": "string", "const": "unsupported" },
+                      "reason": { "type": "string", "minLength": 1 }
+                    },
+                    "required": ["mode", "reason"],
+                    "additionalProperties": false
+                  }
+                ]
+              }
+            },
+            "required": [
+              "id",
+              "statement",
+              "invariantIds",
+              "scenarioIds",
+              "coverage",
+              "evidence"
+            ],
+            "additionalProperties": false
+          }
+        }
+      },
+      "required": [
+        "schemaVersion",
+        "id",
+        "title",
+        "objective",
+        "riskClass",
+        "baseRef",
+        "contextPaths",
+        "allowedPaths",
+        "commandIds",
+        "commit",
+        "budget",
+        "authority",
+        "acceptance"
+      ],
+      "additionalProperties": false
+    }
+  ],
+  "$id": "https://github.com/davidahmann/mill/schemas/task-packet.schema.json",
+  "title": "TaskPacket"
+}

package/schemas/validation-evidence.schema.json

@@ -0,0 +1,125 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "type": "object",
+  "properties": {
+    "schemaVersion": { "type": "string", "const": "1" },
+    "candidateCommit": { "type": "string", "pattern": "^[a-f0-9]{40}$" },
+    "verifierImage": {
+      "type": "string",
+      "pattern": "^[^@\\s]+@sha256:[a-f0-9]{64}$"
+    },
+    "network": { "type": "string", "const": "none" },
+    "commands": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "properties": {
+          "commandId": { "type": "string", "minLength": 1 },
+          "required": { "type": "boolean" },
+          "status": {
+            "type": "string",
+            "enum": ["passed", "failed", "blocked"]
+          },
+          "exitCode": {
+            "anyOf": [
+              {
+                "type": "integer",
+                "minimum": -9007199254740991,
+                "maximum": 9007199254740991
+              },
+              { "type": "null" }
+            ]
+          },
+          "durationMs": {
+            "type": "integer",
+            "minimum": 0,
+            "maximum": 9007199254740991
+          },
+          "outputDigest": {
+            "type": "string",
+            "pattern": "^sha256:[a-f0-9]{64}$"
+          },
+          "reason": {
+            "type": "string",
+            "enum": [
+              "HOST_EXECUTION_NOT_QUALIFIED",
+              "CANCELLED",
+              "DEADLINE_EXCEEDED",
+              "OUTPUT_BUDGET_EXCEEDED",
+              "NONZERO_EXIT"
+            ]
+          }
+        },
+        "required": [
+          "commandId",
+          "required",
+          "status",
+          "exitCode",
+          "durationMs",
+          "outputDigest"
+        ],
+        "additionalProperties": false
+      }
+    },
+    "semantic": {
+      "type": "object",
+      "properties": {
+        "impactManifestDigest": {
+          "type": "string",
+          "pattern": "^sha256:[a-f0-9]{64}$"
+        },
+        "items": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "kind": {
+                "type": "string",
+                "enum": ["acceptance", "invariant", "scenario"]
+              },
+              "id": { "type": "string", "minLength": 1 },
+              "coverage": {
+                "type": "string",
+                "enum": ["new_behavior", "preservation", "both"]
+              },
+              "status": {
+                "type": "string",
+                "enum": ["passed", "attested", "blocked"]
+              },
+              "evidenceRefs": {
+                "type": "array",
+                "items": { "type": "string", "minLength": 1 }
+              },
+              "reason": { "type": "string", "minLength": 1 }
+            },
+            "required": ["kind", "id", "coverage", "status", "evidenceRefs"],
+            "additionalProperties": false
+          }
+        },
+        "newBehaviorPassed": { "type": "boolean" },
+        "preservationPassed": { "type": "boolean" },
+        "passed": { "type": "boolean" }
+      },
+      "required": [
+        "impactManifestDigest",
+        "items",
+        "newBehaviorPassed",
+        "preservationPassed",
+        "passed"
+      ],
+      "additionalProperties": false
+    },
+    "passed": { "type": "boolean" }
+  },
+  "required": [
+    "schemaVersion",
+    "candidateCommit",
+    "verifierImage",
+    "network",
+    "commands",
+    "passed"
+  ],
+  "additionalProperties": false,
+  "$id": "https://github.com/davidahmann/mill/schemas/validation-evidence.schema.json",
+  "title": "ValidationEvidence"
+}

package/schemas/worker-invocation.schema.json

@@ -0,0 +1,119 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "type": "object",
+  "properties": {
+    "schemaVersion": { "type": "string", "const": "1" },
+    "invocationId": {
+      "type": "string",
+      "format": "uuid",
+      "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$"
+    },
+    "runId": {
+      "type": "string",
+      "format": "uuid",
+      "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$"
+    },
+    "phase": { "type": "string", "enum": ["build", "repair", "review"] },
+    "attempt": { "type": "integer", "exclusiveMinimum": 0, "maximum": 2 },
+    "taskDigest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+    "contextEpoch": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+    "baseCommit": { "type": "string", "pattern": "^[a-f0-9]{40}$" },
+    "candidateCommit": { "type": "string", "pattern": "^[a-f0-9]{40}$" },
+    "impactManifestDigest": {
+      "type": "string",
+      "pattern": "^sha256:[a-f0-9]{64}$"
+    },
+    "profile": {
+      "type": "object",
+      "properties": {
+        "schemaVersion": { "type": "string", "const": "1" },
+        "adapter": { "type": "string", "const": "codex-cli" },
+        "role": {
+          "type": "string",
+          "enum": ["planner", "builder", "reviewer"]
+        },
+        "contractVersion": { "type": "string", "const": "1" },
+        "harnessVersion": { "type": "string", "minLength": 1 },
+        "promptTemplateDigest": {
+          "type": "string",
+          "pattern": "^sha256:[a-f0-9]{64}$"
+        },
+        "modelIdentity": { "type": "string", "const": "provider-mutable" },
+        "approvalPolicy": { "type": "string", "const": "never" },
+        "sandbox": {
+          "type": "string",
+          "enum": ["read-only", "workspace-write"]
+        },
+        "session": { "type": "string", "const": "ephemeral" },
+        "hostRules": { "type": "string", "const": "ignored" },
+        "skillDiscovery": { "type": "string", "const": "disabled" },
+        "toolDiscovery": { "type": "string", "const": "disabled" },
+        "networkPosture": {
+          "type": "string",
+          "enum": ["unknown", "provider-managed"]
+        },
+        "capabilities": {
+          "minItems": 1,
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "outputContract": { "type": "string", "minLength": 1 }
+      },
+      "required": [
+        "schemaVersion",
+        "adapter",
+        "role",
+        "contractVersion",
+        "harnessVersion",
+        "promptTemplateDigest",
+        "modelIdentity",
+        "approvalPolicy",
+        "sandbox",
+        "session",
+        "hostRules",
+        "skillDiscovery",
+        "toolDiscovery",
+        "networkPosture",
+        "capabilities",
+        "outputContract"
+      ],
+      "additionalProperties": false
+    },
+    "profileDigest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+    "allowedPaths": {
+      "type": "array",
+      "items": {
+        "type": "string",
+        "pattern": "^(?!\\/)(?!.*(?:^|\\/)\\.\\.(?:\\/|$))[^*?[\\]\\\\]+(?:\\/\\*\\*)?$"
+      }
+    },
+    "deadlineAt": {
+      "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))$"
+    },
+    "maxOutputBytes": {
+      "type": "integer",
+      "minimum": 1024,
+      "maximum": 10000000
+    }
+  },
+  "required": [
+    "schemaVersion",
+    "invocationId",
+    "runId",
+    "phase",
+    "attempt",
+    "taskDigest",
+    "contextEpoch",
+    "baseCommit",
+    "profile",
+    "profileDigest",
+    "allowedPaths",
+    "deadlineAt",
+    "maxOutputBytes"
+  ],
+  "additionalProperties": false,
+  "$id": "https://github.com/davidahmann/mill/schemas/worker-invocation.schema.json",
+  "title": "WorkerInvocation"
+}