mustflow 1.15.97

package/schemas/change-verification-report.schema.json

@@ -0,0 +1,319 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://mustflow.dev/schemas/change-verification-report.schema.json",
+  "title": "mustflow change verification report",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema_version",
+    "source",
+    "files",
+    "classification_summary",
+    "requirements",
+    "candidates",
+    "gaps",
+    "schedule"
+  ],
+  "properties": {
+    "schema_version": {
+      "const": "1"
+    },
+    "source": {
+      "enum": ["changed", "paths"]
+    },
+    "files": {
+      "$ref": "#/$defs/stringArray"
+    },
+    "classification_summary": {
+      "$ref": "#/$defs/classificationSummary"
+    },
+    "requirements": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/verificationRequirement"
+      }
+    },
+    "candidates": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/verificationCandidate"
+      }
+    },
+    "gaps": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/verificationGap"
+      }
+    },
+    "schedule": {
+      "$ref": "#/$defs/verificationSchedule"
+    }
+  },
+  "$defs": {
+    "stringArray": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "updatePolicy": {
+      "enum": ["update", "update_or_mark_stale", "not_applicable"]
+    },
+    "classificationSummary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "fileCount",
+        "publicSurfaceCount",
+        "changeKinds",
+        "validationReasons",
+        "updatePolicies",
+        "driftChecks",
+        "affectedContracts"
+      ],
+      "properties": {
+        "fileCount": {
+          "type": "integer"
+        },
+        "publicSurfaceCount": {
+          "type": "integer"
+        },
+        "changeKinds": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "validationReasons": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "updatePolicies": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/updatePolicy"
+          }
+        },
+        "driftChecks": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "affectedContracts": {
+          "$ref": "#/$defs/stringArray"
+        }
+      }
+    },
+    "verificationRequirement": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "reason",
+        "files",
+        "surfaces",
+        "affectedContracts",
+        "driftChecks",
+        "updatePolicies",
+        "source"
+      ],
+      "properties": {
+        "reason": {
+          "type": "string"
+        },
+        "files": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "surfaces": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "affectedContracts": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "driftChecks": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "updatePolicies": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/updatePolicy"
+          }
+        },
+        "source": {
+          "const": "change_classification"
+        }
+      }
+    },
+    "skipReason": {
+      "enum": [
+        "no_matching_intents",
+        "intent_not_table",
+        "status_not_configured",
+        "lifecycle_not_oneshot",
+        "run_policy_not_agent_allowed",
+        "stdin_not_closed",
+        "missing_timeout",
+        "missing_command_source",
+        "unsafe_intent_name",
+        "blocked_shell_background_pattern"
+      ]
+    },
+    "verificationCandidate": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["reason", "intent", "status", "skipReason", "detail"],
+      "properties": {
+        "reason": {
+          "type": "string"
+        },
+        "intent": {
+          "type": ["string", "null"]
+        },
+        "status": {
+          "enum": ["runnable", "skipped"]
+        },
+        "skipReason": {
+          "anyOf": [
+            {
+              "$ref": "#/$defs/skipReason"
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "detail": {
+          "type": ["string", "null"]
+        }
+      }
+    },
+    "verificationGap": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["reason", "files", "surfaces", "detail"],
+      "properties": {
+        "reason": {
+          "type": "string"
+        },
+        "files": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "surfaces": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "detail": {
+          "type": "string"
+        }
+      }
+    },
+    "verificationScheduleEffect": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["intent", "source", "access", "mode", "path", "lock", "concurrency"],
+      "properties": {
+        "intent": {
+          "type": "string"
+        },
+        "source": {
+          "enum": ["effects", "writes"]
+        },
+        "access": {
+          "enum": ["read", "write"]
+        },
+        "mode": {
+          "enum": ["read", "write", "append", "replace", "delete_recreate"]
+        },
+        "path": {
+          "type": "string"
+        },
+        "lock": {
+          "type": "string"
+        },
+        "concurrency": {
+          "enum": ["shared", "exclusive"]
+        }
+      }
+    },
+    "verificationScheduleConflict": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["intent", "conflictsWith", "lock", "detail"],
+      "properties": {
+        "intent": {
+          "type": "string"
+        },
+        "conflictsWith": {
+          "type": "string"
+        },
+        "lock": {
+          "type": "string"
+        },
+        "detail": {
+          "type": "string"
+        }
+      }
+    },
+    "verificationScheduleEntry": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["intent", "status", "effects", "locks", "conflicts"],
+      "properties": {
+        "intent": {
+          "type": "string"
+        },
+        "status": {
+          "const": "runnable"
+        },
+        "effects": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/verificationScheduleEffect"
+          }
+        },
+        "locks": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "conflicts": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/verificationScheduleConflict"
+          }
+        }
+      }
+    },
+    "verificationScheduleBatch": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["index", "intents", "locks"],
+      "properties": {
+        "index": {
+          "type": "integer"
+        },
+        "intents": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "locks": {
+          "$ref": "#/$defs/stringArray"
+        }
+      }
+    },
+    "verificationSchedule": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["runner", "batches", "entries", "notes"],
+      "properties": {
+        "runner": {
+          "const": "serial_mf_run_receipts"
+        },
+        "batches": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/verificationScheduleBatch"
+          }
+        },
+        "entries": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/verificationScheduleEntry"
+          }
+        },
+        "notes": {
+          "$ref": "#/$defs/stringArray"
+        }
+      }
+    }
+  }
+}

package/schemas/classify-report.schema.json

@@ -0,0 +1,113 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://mustflow.github.io/schemas/classify-report.schema.json",
+  "title": "mustflow classify report",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema_version",
+    "command",
+    "mustflow_root",
+    "source",
+    "files",
+    "classifications",
+    "summary"
+  ],
+  "properties": {
+    "schema_version": { "const": "1" },
+    "command": { "const": "classify" },
+    "mustflow_root": { "type": "string" },
+    "source": { "enum": ["changed", "paths"] },
+    "files": {
+      "type": "array",
+      "items": { "type": "string" }
+    },
+    "classifications": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/changeClassification" }
+    },
+    "summary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "fileCount",
+        "publicSurfaceCount",
+        "changeKinds",
+        "validationReasons",
+        "updatePolicies",
+        "driftChecks",
+        "affectedContracts"
+      ],
+      "properties": {
+        "fileCount": { "type": "integer" },
+        "publicSurfaceCount": { "type": "integer" },
+        "changeKinds": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "validationReasons": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "updatePolicies": {
+          "type": "array",
+          "items": { "enum": ["update", "update_or_mark_stale"] }
+        },
+        "driftChecks": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "affectedContracts": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      }
+    }
+  },
+  "$defs": {
+    "changeClassification": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["path", "changeKinds", "surface"],
+      "properties": {
+        "path": { "type": "string" },
+        "changeKinds": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "surface": { "$ref": "#/$defs/publicSurface" }
+      }
+    },
+    "publicSurface": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "kind",
+        "category",
+        "isPublicSurface",
+        "validationReasons",
+        "affectedContracts",
+        "updatePolicy",
+        "driftChecks"
+      ],
+      "properties": {
+        "kind": { "type": "string" },
+        "category": { "type": "string" },
+        "isPublicSurface": { "type": "boolean" },
+        "validationReasons": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "affectedContracts": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "updatePolicy": { "enum": ["update", "update_or_mark_stale", "not_applicable"] },
+        "driftChecks": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      }
+    }
+  }
+}

package/schemas/commands.schema.json

@@ -0,0 +1,116 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://mustflow.github.io/schemas/commands.schema.json",
+  "title": "mustflow command contract",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema_version", "defaults", "intents"],
+  "properties": {
+    "schema_version": { "const": "1" },
+    "defaults": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "missing_behavior",
+        "allow_inferred_commands",
+        "require_lifecycle",
+        "require_timeout_for_oneshot",
+        "deny_unmanaged_long_running",
+        "default_cwd",
+        "default_timeout_seconds",
+        "stdin",
+        "max_output_bytes",
+        "on_timeout",
+        "kill_after_seconds"
+      ],
+      "properties": {
+        "missing_behavior": { "type": "string" },
+        "allow_inferred_commands": { "type": "boolean" },
+        "require_lifecycle": { "type": "boolean" },
+        "require_timeout_for_oneshot": { "type": "boolean" },
+        "deny_unmanaged_long_running": { "type": "boolean" },
+        "default_cwd": { "type": "string" },
+        "default_timeout_seconds": { "type": "integer" },
+        "stdin": { "enum": ["closed"] },
+        "max_output_bytes": { "type": "integer" },
+        "on_timeout": { "type": "string" },
+        "kill_after_seconds": { "type": "integer" }
+      }
+    },
+    "intents": {
+      "type": "object",
+      "additionalProperties": { "$ref": "#/$defs/intent" }
+    },
+    "resources": {
+      "type": "object",
+      "additionalProperties": { "$ref": "#/$defs/resource" }
+    }
+  },
+  "$defs": {
+    "stringArray": {
+      "type": "array",
+      "items": { "type": "string" }
+    },
+    "resource": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "type": { "enum": ["path"] },
+        "paths": { "$ref": "#/$defs/stringArray" },
+        "concurrency": { "enum": ["shared_reader", "exclusive_writer", "exclusive"] },
+        "description": { "type": "string" }
+      }
+    },
+    "effect": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "type": { "enum": ["read", "write"] },
+        "mode": { "enum": ["read", "write", "append", "replace", "delete_recreate"] },
+        "path": { "type": "string" },
+        "paths": { "$ref": "#/$defs/stringArray" },
+        "lock": { "type": "string" },
+        "concurrency": { "enum": ["shared", "exclusive"] }
+      }
+    },
+    "intent": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["status", "description"],
+      "properties": {
+        "status": { "enum": ["configured", "manual_only", "unknown"] },
+        "kind": { "type": "string" },
+        "lifecycle": { "type": "string" },
+        "run_policy": { "type": "string" },
+        "description": { "type": "string" },
+        "argv": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "cmd": { "type": "string" },
+        "cwd": { "type": "string" },
+        "timeout_seconds": { "type": "integer" },
+        "stdin": { "type": "string" },
+        "success_exit_codes": {
+          "type": "array",
+          "items": { "type": "integer" }
+        },
+        "writes": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "effects": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/effect" }
+        },
+        "network": { "type": "boolean" },
+        "destructive": { "type": "boolean" },
+        "required_after": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "reason": { "type": "string" },
+        "agent_action": { "type": "string" }
+      }
+    }
+  }
+}