mustflow 1.18.16 → 1.31.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,12 @@
     },
     "schedule": {
       "$ref": "#/$defs/verificationSchedule"
+    },
+    "decision_graph": {
+      "$ref": "#/$defs/verificationDecisionGraph"
+    },
+    "test_selection": {
+      "$ref": "#/$defs/testSelectionReport"
     }
   },
   "$defs": {
@@ -268,6 +275,15 @@
         },
         "detail": {
           "type": ["string", "null"]
+        },
+        "candidateState": {
+          "enum": ["candidate", "gap"]
+        },
+        "eligibilityState": {
+          "enum": ["eligible", "ineligible", "missing"]
+        },
+        "selectionState": {
+          "enum": ["selected", "not_selected", "not_applicable"]
         }
       }
     },
@@ -290,6 +306,113 @@
         }
       }
     },
+    "testSelectionReport": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "source",
+        "status",
+        "configPath",
+        "authority",
+        "commandAuthority",
+        "grantsCommandAuthority",
+        "matches",
+        "selected",
+        "notes"
+      ],
+      "properties": {
+        "source": {
+          "const": "test-selection.toml"
+        },
+        "status": {
+          "enum": ["missing", "matched", "unmatched", "invalid"]
+        },
+        "configPath": {
+          "const": ".mustflow/config/test-selection.toml"
+        },
+        "authority": {
+          "const": ".mustflow/config/test-selection.toml"
+        },
+        "commandAuthority": {
+          "const": ".mustflow/config/commands.toml"
+        },
+        "grantsCommandAuthority": {
+          "const": false
+        },
+        "matches": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/testSelectionRuleMatch"
+          }
+        },
+        "selected": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/testSelectionCandidate"
+          }
+        },
+        "notes": {
+          "$ref": "#/$defs/stringArray"
+        }
+      }
+    },
+    "testSelectionRuleMatch": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "ruleId",
+        "risk",
+        "reason",
+        "files",
+        "surfaces",
+        "intent",
+        "fallbackIntent",
+        "testTargets"
+      ],
+      "properties": {
+        "ruleId": { "type": "string" },
+        "risk": { "type": "string" },
+        "reason": { "type": "string" },
+        "files": { "$ref": "#/$defs/stringArray" },
+        "surfaces": { "$ref": "#/$defs/stringArray" },
+        "intent": { "type": "string" },
+        "fallbackIntent": { "type": "string" },
+        "testTargets": { "$ref": "#/$defs/stringArray" }
+      }
+    },
+    "testSelectionCandidate": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "ruleId",
+        "reason",
+        "intent",
+        "role",
+        "status",
+        "skipReason",
+        "detail",
+        "testTargets",
+        "appliedTestTargets",
+        "testTargetsApplied"
+      ],
+      "properties": {
+        "ruleId": { "type": "string" },
+        "reason": { "type": "string" },
+        "intent": { "type": "string" },
+        "role": { "enum": ["primary", "fallback"] },
+        "status": { "enum": ["runnable", "skipped"] },
+        "skipReason": {
+          "anyOf": [
+            { "$ref": "#/$defs/skipReason" },
+            { "type": "null" }
+          ]
+        },
+        "detail": { "type": ["string", "null"] },
+        "testTargets": { "$ref": "#/$defs/stringArray" },
+        "appliedTestTargets": { "$ref": "#/$defs/stringArray" },
+        "testTargetsApplied": { "type": "boolean" }
+      }
+    },
     "verificationScheduleEffect": {
       "type": "object",
       "additionalProperties": false,
@@ -308,7 +431,7 @@
           "enum": ["read", "write", "append", "replace", "delete_recreate"]
         },
         "path": {
-          "type": "string"
+          "type": ["string", "null"]
         },
         "lock": {
           "type": "string"
@@ -340,7 +463,7 @@
     "verificationScheduleEntry": {
       "type": "object",
       "additionalProperties": false,
-      "required": ["intent", "status", "effects", "locks", "conflicts"],
+      "required": ["intent", "status", "parallelEligible", "parallelReason", "effects", "locks", "conflicts"],
       "properties": {
         "intent": {
           "type": "string"
@@ -348,6 +471,12 @@
         "status": {
           "const": "runnable"
         },
+        "parallelEligible": {
+          "type": "boolean"
+        },
+        "parallelReason": {
+          "enum": ["explicit_effects", "missing_explicit_effects", "undeclared_write_drift"]
+        },
         "effects": {
           "type": "array",
           "items": {
@@ -373,6 +502,9 @@
       "additionalProperties": false,
       "required": [
         "source",
+        "authority",
+        "commandAuthority",
+        "grantsCommandAuthority",
         "status",
         "databasePath",
         "indexFresh",
@@ -383,6 +515,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" },
@@ -487,11 +622,14 @@
     "verificationSchedule": {
       "type": "object",
       "additionalProperties": false,
-      "required": ["runner", "batches", "entries", "notes"],
+      "required": ["runner", "failurePolicy", "batches", "entries", "notes"],
       "properties": {
         "runner": {
           "const": "serial_mf_run_receipts"
         },
+        "failurePolicy": {
+          "$ref": "#/$defs/verificationScheduleFailurePolicy"
+        },
         "batches": {
           "type": "array",
           "items": {
@@ -508,6 +646,150 @@
           "$ref": "#/$defs/stringArray"
         }
       }
+    },
+    "verificationScheduleFailurePolicy": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["mode", "startedBatch", "nextBatch"],
+      "properties": {
+        "mode": {
+          "const": "batch_boundary"
+        },
+        "startedBatch": {
+          "const": "wait_for_completion"
+        },
+        "nextBatch": {
+          "const": "stop_on_failure"
+        }
+      }
+    },
+    "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"
+        },
+        "selected": {
+          "type": "integer"
+        },
+        "not_selected": {
+          "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,11 +53,14 @@
       "type": "array",
       "items": { "type": "string" }
     },
+    "envPolicy": {
+      "enum": ["inherit", "minimal", "allowlist"]
+    },
     "resource": {
       "type": "object",
       "additionalProperties": false,
       "properties": {
-        "type": { "enum": ["path"] },
+        "type": { "enum": ["path", "cache", "database", "service", "port", "gpu", "resource"] },
         "paths": { "$ref": "#/$defs/stringArray" },
         "concurrency": { "enum": ["shared_reader", "exclusive_writer", "exclusive"] },
         "description": { "type": "string" }
@@ -73,6 +78,48 @@
         "concurrency": { "enum": ["shared", "exclusive"] }
       }
     },
+    "coverageHints": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "reasons": { "$ref": "#/$defs/stringArray" },
+        "surfaces": { "$ref": "#/$defs/stringArray" },
+        "paths": { "$ref": "#/$defs/stringArray" },
+        "contracts": { "$ref": "#/$defs/stringArray" }
+      }
+    },
+    "selectionHints": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "coverage_level": { "type": "string" },
+        "coverage_confidence": { "type": "string" },
+        "accepts_changed_files": { "type": "string" },
+        "accepts_test_targets": { "type": "boolean" },
+        "fallback_intents": { "$ref": "#/$defs/stringArray" },
+        "escalate_to": { "$ref": "#/$defs/stringArray" }
+      }
+    },
+    "costHints": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "expected_seconds": { "type": "integer", "minimum": 0 },
+        "cold_start_seconds": { "type": "integer", "minimum": 0 },
+        "timeout_ratio_expectation": { "type": "number", "minimum": 0 },
+        "cost_tier": { "type": "string" }
+      }
+    },
+    "relationHints": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "subsumes": { "$ref": "#/$defs/stringArray" },
+        "subsumed_by": { "$ref": "#/$defs/stringArray" },
+        "requires_with": { "$ref": "#/$defs/stringArray" },
+        "escalate_to": { "$ref": "#/$defs/stringArray" }
+      }
+    },
     "intent": {
       "type": "object",
       "additionalProperties": false,
@@ -98,6 +145,8 @@
         "writes": {
           "$ref": "#/$defs/stringArray"
         },
+        "env_policy": { "$ref": "#/$defs/envPolicy" },
+        "env_allowlist": { "$ref": "#/$defs/stringArray" },
         "effects": {
           "type": "array",
           "items": { "$ref": "#/$defs/effect" }
@@ -108,6 +157,10 @@
           "type": "array",
           "items": { "type": "string" }
         },
+        "covers": { "$ref": "#/$defs/coverageHints" },
+        "selection": { "$ref": "#/$defs/selectionHints" },
+        "cost": { "$ref": "#/$defs/costHints" },
+        "relations": { "$ref": "#/$defs/relationHints" },
         "reason": { "type": "string" },
         "agent_action": { "type": "string" }
       }

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

@@ -54,6 +54,105 @@
         "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" }
+            },
+            "matrix": {
+              "type": "array",
+              "items": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": ["reason", "source", "intents", "gaps", "relatedSkills", "relatedDocs"],
+                "properties": {
+                  "reason": { "type": "string" },
+                  "source": { "enum": ["classification", "documented", "required_after"] },
+                  "intents": {
+                    "type": "array",
+                    "items": {
+                      "type": "object",
+                      "additionalProperties": false,
+                      "required": ["intent", "status", "runnable", "detail"],
+                      "properties": {
+                        "intent": { "type": "string" },
+                        "status": {
+                          "enum": [
+                            "ok",
+                            "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"
+                          ]
+                        },
+                        "runnable": { "type": "boolean" },
+                        "detail": { "type": ["string", "null"] }
+                      }
+                    }
+                  },
+                  "gaps": {
+                    "type": "array",
+                    "items": { "type": "string" }
+                  },
+                  "relatedSkills": {
+                    "type": "array",
+                    "items": { "type": "string" }
+                  },
+                  "relatedDocs": {
+                    "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" }
+                }
+              }
+            }
+          }
         }
       }
     }