mustflow 1.18.16 → 1.30.0

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

@@ -12,7 +12,8 @@
     "requirements",
     "candidates",
     "gaps",
-    "schedule"
+    "schedule",
+    "decision_graph"
   ],
   "properties": {
     "schema_version": {
@@ -47,6 +48,9 @@
     },
     "schedule": {
       "$ref": "#/$defs/verificationSchedule"
+    },
+    "decision_graph": {
+      "$ref": "#/$defs/verificationDecisionGraph"
     }
   },
   "$defs": {
@@ -373,6 +377,9 @@
       "additionalProperties": false,
       "required": [
         "source",
+        "authority",
+        "commandAuthority",
+        "grantsCommandAuthority",
         "status",
         "databasePath",
         "indexFresh",
@@ -383,6 +390,9 @@
       ],
       "properties": {
         "source": { "const": "local_index" },
+        "authority": { "const": "explanation_only" },
+        "commandAuthority": { "const": ".mustflow/config/commands.toml" },
+        "grantsCommandAuthority": { "const": false },
         "status": { "enum": ["fresh", "missing", "stale", "unreadable"] },
         "databasePath": { "type": "string" },
         "indexFresh": { "type": "boolean" },
@@ -508,6 +518,128 @@
           "$ref": "#/$defs/stringArray"
         }
       }
+    },
+    "verificationDecisionGraph": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schema_version", "root", "summary", "nodes", "edges"],
+      "properties": {
+        "schema_version": {
+          "const": "1"
+        },
+        "root": {
+          "const": "verification_decision"
+        },
+        "summary": {
+          "$ref": "#/$defs/verificationDecisionGraphSummary"
+        },
+        "nodes": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/verificationDecisionGraphNode"
+          }
+        },
+        "edges": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/verificationDecisionGraphEdge"
+          }
+        }
+      }
+    },
+    "verificationDecisionGraphSummary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "nodeCount",
+        "edgeCount",
+        "runnable",
+        "skipped",
+        "blocked",
+        "manual_only",
+        "unknown",
+        "gapCount"
+      ],
+      "properties": {
+        "nodeCount": {
+          "type": "integer"
+        },
+        "edgeCount": {
+          "type": "integer"
+        },
+        "runnable": {
+          "type": "integer"
+        },
+        "skipped": {
+          "type": "integer"
+        },
+        "blocked": {
+          "type": "integer"
+        },
+        "manual_only": {
+          "type": "integer"
+        },
+        "unknown": {
+          "type": "integer"
+        },
+        "gapCount": {
+          "type": "integer"
+        }
+      }
+    },
+    "verificationDecisionGraphNode": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "label", "status", "reason", "intent", "data"],
+      "properties": {
+        "id": {
+          "type": "string"
+        },
+        "kind": {
+          "enum": [
+            "changed_surface",
+            "classification_reason",
+            "command_candidate",
+            "eligibility",
+            "effect",
+            "gap",
+            "receipt"
+          ]
+        },
+        "label": {
+          "type": "string"
+        },
+        "status": {
+          "type": ["string", "null"],
+          "enum": ["runnable", "skipped", "blocked", "manual_only", "unknown", "not_applicable", null]
+        },
+        "reason": {
+          "type": ["string", "null"]
+        },
+        "intent": {
+          "type": ["string", "null"]
+        },
+        "data": {
+          "type": "object",
+          "additionalProperties": true
+        }
+      }
+    },
+    "verificationDecisionGraphEdge": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["from", "to", "kind"],
+      "properties": {
+        "from": {
+          "type": "string"
+        },
+        "to": {
+          "type": "string"
+        },
+        "kind": {
+          "enum": ["supports", "requires", "evaluates", "has_effect", "has_gap"]
+        }
+      }
     }
   }
 }

package/schemas/commands.schema.json

@@ -34,7 +34,9 @@
         "stdin": { "enum": ["closed"] },
         "max_output_bytes": { "type": "integer" },
         "on_timeout": { "type": "string" },
-        "kill_after_seconds": { "type": "integer" }
+        "kill_after_seconds": { "type": "integer" },
+        "env_policy": { "$ref": "#/$defs/envPolicy" },
+        "env_allowlist": { "$ref": "#/$defs/stringArray" }
       }
     },
     "intents": {
@@ -51,6 +53,9 @@
       "type": "array",
       "items": { "type": "string" }
     },
+    "envPolicy": {
+      "enum": ["inherit", "minimal", "allowlist"]
+    },
     "resource": {
       "type": "object",
       "additionalProperties": false,
@@ -98,6 +103,8 @@
         "writes": {
           "$ref": "#/$defs/stringArray"
         },
+        "env_policy": { "$ref": "#/$defs/envPolicy" },
+        "env_allowlist": { "$ref": "#/$defs/stringArray" },
         "effects": {
           "type": "array",
           "items": { "$ref": "#/$defs/effect" }

package/schemas/contract-lint-report.schema.json

@@ -54,6 +54,54 @@
         "sourceFiles": {
           "type": "array",
           "items": { "type": "string" }
+        },
+        "coverage": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "knownClassificationReasons",
+            "documentedVerificationReasons",
+            "requiredAfterReasons",
+            "runnableReasons",
+            "findings"
+          ],
+          "properties": {
+            "knownClassificationReasons": {
+              "type": "array",
+              "items": { "type": "string" }
+            },
+            "documentedVerificationReasons": {
+              "type": "array",
+              "items": { "type": "string" }
+            },
+            "requiredAfterReasons": {
+              "type": "array",
+              "items": { "type": "string" }
+            },
+            "runnableReasons": {
+              "type": "array",
+              "items": { "type": "string" }
+            },
+            "findings": {
+              "type": "array",
+              "items": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": ["severity", "code", "reason", "intent", "intents", "message"],
+                "properties": {
+                  "severity": { "enum": ["error", "warning"] },
+                  "code": { "type": "string" },
+                  "reason": { "type": ["string", "null"] },
+                  "intent": { "type": ["string", "null"] },
+                  "intents": {
+                    "type": "array",
+                    "items": { "type": "string" }
+                  },
+                  "message": { "type": "string" }
+                }
+              }
+            }
+          }
         }
       }
     }

package/schemas/explain-report.schema.json

@@ -14,7 +14,7 @@
   "properties": {
     "schema_version": { "const": "1" },
     "command": { "const": "explain" },
-    "topic": { "enum": ["anchor", "asset-optimization", "authority", "command", "retention", "skill", "skills", "surface"] },
+    "topic": { "enum": ["anchor", "asset-optimization", "authority", "command", "retention", "skill", "skills", "surface", "verify"] },
     "mustflow_root": { "type": "string" },
     "decision": {
       "oneOf": [
@@ -24,7 +24,8 @@
         { "$ref": "#/$defs/skillRouteDecision" },
         { "$ref": "#/$defs/skillRouteAlignmentDecision" },
         { "$ref": "#/$defs/publicSurfaceDecision" },
-        { "$ref": "#/$defs/sourceAnchorDecision" }
+        { "$ref": "#/$defs/sourceAnchorDecision" },
+        { "$ref": "#/$defs/verificationDecision" }
       ]
     }
   },
@@ -362,6 +363,9 @@
       "additionalProperties": false,
       "required": [
         "source",
+        "authority",
+        "commandAuthority",
+        "grantsCommandAuthority",
         "status",
         "databasePath",
         "indexFresh",
@@ -372,6 +376,9 @@
       ],
       "properties": {
         "source": { "const": "local_index" },
+        "authority": { "const": "explanation_only" },
+        "commandAuthority": { "const": ".mustflow/config/commands.toml" },
+        "grantsCommandAuthority": { "const": false },
         "status": { "enum": ["fresh", "missing", "stale", "unreadable"] },
         "databasePath": { "type": "string" },
         "indexFresh": { "type": "boolean" },
@@ -457,6 +464,262 @@
         }
       }
     },
+    "verificationDecision": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "kind",
+        "input",
+        "decision",
+        "reason",
+        "effectiveAction",
+        "countsAsMustflowVerification",
+        "sourceFiles",
+        "verification"
+      ],
+      "properties": {
+        "kind": { "const": "verify" },
+        "input": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["reason", "planSource"],
+          "properties": {
+            "reason": { "type": ["string", "null"] },
+            "planSource": { "type": ["string", "null"] }
+          }
+        },
+        "decision": { "type": "string" },
+        "reason": { "type": "string" },
+        "effectiveAction": { "type": "string" },
+        "countsAsMustflowVerification": { "const": false },
+        "sourceFiles": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "verification": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "planSource",
+            "reasons",
+            "candidateCount",
+            "runnableCount",
+            "skippedCount",
+            "requirements",
+            "decisionGraph"
+          ],
+          "properties": {
+            "planSource": { "type": ["string", "null"] },
+            "reasons": {
+              "type": "array",
+              "items": { "type": "string" }
+            },
+            "candidateCount": { "type": "integer" },
+            "runnableCount": { "type": "integer" },
+            "skippedCount": { "type": "integer" },
+            "requirements": {
+              "type": "array",
+              "items": { "$ref": "#/$defs/verificationRequirement" }
+            },
+            "decisionGraph": {
+              "$ref": "#/$defs/verificationDecisionGraph"
+            }
+          }
+        }
+      }
+    },
+    "verificationDecisionGraph": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schema_version", "root", "summary", "nodes", "edges"],
+      "properties": {
+        "schema_version": { "const": "1" },
+        "root": { "const": "verification_decision" },
+        "summary": { "$ref": "#/$defs/verificationDecisionGraphSummary" },
+        "nodes": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/verificationDecisionGraphNode" }
+        },
+        "edges": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/verificationDecisionGraphEdge" }
+        }
+      }
+    },
+    "verificationDecisionGraphSummary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "nodeCount",
+        "edgeCount",
+        "runnable",
+        "skipped",
+        "blocked",
+        "manual_only",
+        "unknown",
+        "gapCount"
+      ],
+      "properties": {
+        "nodeCount": { "type": "integer" },
+        "edgeCount": { "type": "integer" },
+        "runnable": { "type": "integer" },
+        "skipped": { "type": "integer" },
+        "blocked": { "type": "integer" },
+        "manual_only": { "type": "integer" },
+        "unknown": { "type": "integer" },
+        "gapCount": { "type": "integer" }
+      }
+    },
+    "verificationDecisionGraphNode": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "label", "status", "reason", "intent", "data"],
+      "properties": {
+        "id": { "type": "string" },
+        "kind": {
+          "enum": [
+            "changed_surface",
+            "classification_reason",
+            "command_candidate",
+            "eligibility",
+            "effect",
+            "gap",
+            "receipt"
+          ]
+        },
+        "label": { "type": "string" },
+        "status": {
+          "type": ["string", "null"],
+          "enum": ["runnable", "skipped", "blocked", "manual_only", "unknown", "not_applicable", null]
+        },
+        "reason": { "type": ["string", "null"] },
+        "intent": { "type": ["string", "null"] },
+        "data": {
+          "type": "object",
+          "additionalProperties": true
+        }
+      }
+    },
+    "verificationDecisionGraphEdge": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["from", "to", "kind"],
+      "properties": {
+        "from": { "type": "string" },
+        "to": { "type": "string" },
+        "kind": { "enum": ["supports", "requires", "evaluates", "has_effect", "has_gap"] }
+      }
+    },
+    "verificationRequirement": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["reason", "matchingIntents", "candidates", "gap"],
+      "properties": {
+        "reason": { "type": "string" },
+        "matchingIntents": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "candidates": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/verificationCandidate" }
+        },
+        "gap": { "type": ["string", "null"] }
+      }
+    },
+    "verificationCandidate": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "intent",
+        "status",
+        "skipReason",
+        "detail",
+        "requiredAfter",
+        "command",
+        "effectGraph"
+      ],
+      "properties": {
+        "intent": { "type": ["string", "null"] },
+        "status": { "enum": ["runnable", "skipped"] },
+        "skipReason": {
+          "type": ["string", "null"],
+          "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",
+            null
+          ]
+        },
+        "detail": { "type": ["string", "null"] },
+        "requiredAfter": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "command": {
+          "anyOf": [
+            { "type": "null" },
+            { "$ref": "#/$defs/verificationCommandSummary" }
+          ]
+        },
+        "effectGraph": {
+          "anyOf": [
+            { "type": "null" },
+            { "$ref": "#/$defs/commandEffectGraph" }
+          ]
+        }
+      }
+    },
+    "verificationCommandSummary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "name",
+        "status",
+        "lifecycle",
+        "runPolicy",
+        "stdin",
+        "timeoutSeconds",
+        "mode",
+        "cwd",
+        "writes",
+        "network",
+        "destructive",
+        "successExitCodes",
+        "requiredAfter"
+      ],
+      "properties": {
+        "name": { "type": "string" },
+        "status": { "type": ["string", "null"] },
+        "lifecycle": { "type": ["string", "null"] },
+        "runPolicy": { "type": ["string", "null"] },
+        "stdin": { "type": ["string", "null"] },
+        "timeoutSeconds": { "type": ["integer", "null"] },
+        "mode": { "enum": ["argv", "shell", "missing"] },
+        "cwd": { "type": ["string", "null"] },
+        "writes": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "network": { "type": ["boolean", "null"] },
+        "destructive": { "type": ["boolean", "null"] },
+        "successExitCodes": {
+          "type": "array",
+          "items": { "type": "integer" }
+        },
+        "requiredAfter": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      }
+    },
     "retentionDecision": {
       "type": "object",
       "additionalProperties": false,

package/schemas/handoff-validation-report.schema.json

@@ -0,0 +1,68 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://mustflow.github.io/schemas/handoff-validation-report.schema.json",
+  "title": "mustflow handoff validation report",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema_version",
+    "command",
+    "ok",
+    "mustflow_root",
+    "path",
+    "record_kind",
+    "task_id",
+    "summary",
+    "issues"
+  ],
+  "properties": {
+    "schema_version": { "const": "1" },
+    "command": { "const": "handoff_validate" },
+    "ok": { "type": "boolean" },
+    "mustflow_root": { "type": "string" },
+    "path": { "type": "string" },
+    "record_kind": {
+      "type": ["string", "null"],
+      "enum": ["work_item", "handoff", null]
+    },
+    "task_id": { "type": ["string", "null"] },
+    "summary": { "$ref": "#/$defs/summary" },
+    "issues": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/issue" }
+    }
+  },
+  "$defs": {
+    "summary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "scope_count",
+        "acceptance_criteria_count",
+        "source_ref_count",
+        "verification_plan_count",
+        "coverage_count",
+        "remaining_risk_count"
+      ],
+      "properties": {
+        "scope_count": { "type": "integer", "minimum": 0 },
+        "acceptance_criteria_count": { "type": "integer", "minimum": 0 },
+        "source_ref_count": { "type": "integer", "minimum": 0 },
+        "verification_plan_count": { "type": "integer", "minimum": 0 },
+        "coverage_count": { "type": "integer", "minimum": 0 },
+        "remaining_risk_count": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "issue": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["severity", "code", "path", "message"],
+      "properties": {
+        "severity": { "enum": ["error", "warning"] },
+        "code": { "type": "string" },
+        "path": { "type": "string" },
+        "message": { "type": "string" }
+      }
+    }
+  }
+}