mustflow 1.30.0 → 2.11.0

package/schemas/latest-run-pointer.schema.json

@@ -0,0 +1,384 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://mustflow.github.io/schemas/latest-run-pointer.schema.json",
+  "title": "mustflow latest run pointer",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema_version",
+    "command",
+    "kind",
+    "reason",
+    "reasons",
+    "plan_source",
+    "verification_plan_id",
+    "status",
+    "completion_verdict",
+    "evidence_model",
+    "summary",
+    "run_dir",
+    "manifest_path"
+  ],
+  "properties": {
+    "schema_version": { "const": "1" },
+    "command": { "const": "verify" },
+    "kind": { "const": "verify_run_summary" },
+    "reason": { "type": "string" },
+    "reasons": {
+      "type": "array",
+      "items": { "type": "string" }
+    },
+    "plan_source": { "type": ["string", "null"] },
+    "verification_plan_id": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    },
+    "status": { "enum": ["passed", "partial", "failed", "blocked"] },
+    "completion_verdict": { "$ref": "#/$defs/completionVerdict" },
+    "evidence_model": { "$ref": "#/$defs/evidenceModel" },
+    "summary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["matched", "ran", "passed", "failed", "skipped"],
+      "properties": {
+        "matched": { "type": "integer" },
+        "ran": { "type": "integer" },
+        "passed": { "type": "integer" },
+        "failed": { "type": "integer" },
+        "skipped": { "type": "integer" }
+      }
+    },
+    "repro_evidence": { "$ref": "#/$defs/reproEvidence" },
+    "external_checks": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/externalCheck" }
+    },
+    "run_dir": { "type": "string" },
+    "manifest_path": { "type": "string" }
+  },
+  "$defs": {
+    "completionVerdict": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schema_version", "status", "primary_reason", "evidence", "blockers", "contradictions", "limitations"],
+      "properties": {
+        "schema_version": { "const": "1" },
+        "status": { "enum": ["verified", "partially_verified", "unverified", "blocked", "contradicted"] },
+        "primary_reason": { "type": "string" },
+        "evidence": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "source",
+            "verification_plan_id",
+            "changed_file_count",
+            "matched_intents",
+            "ran_intents",
+            "passed_intents",
+            "failed_intents",
+            "skipped_intents",
+            "receipt_count",
+            "gap_count",
+            "source_anchor_risk_count",
+            "scope_diff_risk_count",
+            "repeated_failure_count",
+            "validation_ratchet_risk_count",
+            "latest_run_status"
+          ],
+          "properties": {
+            "source": { "enum": ["mf_verify", "dashboard_export"] },
+            "verification_plan_id": {
+              "type": ["string", "null"],
+              "pattern": "^sha256:[0-9a-f]{64}$"
+            },
+            "changed_file_count": { "type": ["integer", "null"] },
+            "matched_intents": { "type": "integer" },
+            "ran_intents": { "type": "integer" },
+            "passed_intents": { "type": "integer" },
+            "failed_intents": { "type": "integer" },
+            "skipped_intents": { "type": "integer" },
+            "receipt_count": { "type": "integer" },
+            "gap_count": { "type": "integer" },
+            "source_anchor_risk_count": { "type": "integer" },
+            "scope_diff_risk_count": { "type": "integer" },
+            "repeated_failure_count": { "type": "integer" },
+            "validation_ratchet_risk_count": { "type": "integer" },
+            "latest_run_status": { "type": ["string", "null"] }
+          }
+        },
+        "blockers": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "contradictions": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "limitations": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      }
+    },
+    "evidenceModel": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "schema_version",
+        "source",
+        "verification_plan_id",
+        "requirements",
+        "coverage_matrix",
+        "receipts",
+        "skipped_checks",
+        "gaps",
+        "remaining_risks",
+        "explanation"
+      ],
+      "properties": {
+        "schema_version": { "const": "1" },
+        "source": { "enum": ["mf_verify", "dashboard_export"] },
+        "verification_plan_id": {
+          "type": ["string", "null"],
+          "pattern": "^sha256:[0-9a-f]{64}$"
+        },
+        "requirements": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/evidenceRequirement" }
+        },
+        "coverage_matrix": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/evidenceCoverageCriterion" }
+        },
+        "receipts": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/evidenceReceipt" }
+        },
+        "skipped_checks": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/evidenceSkippedCheck" }
+        },
+        "gaps": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/evidenceGap" }
+        },
+        "remaining_risks": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/evidenceRemainingRisk" }
+        },
+        "repro_evidence": { "$ref": "#/$defs/reproEvidence" },
+        "external_checks": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/externalCheck" }
+        },
+        "explanation": { "$ref": "#/$defs/evidenceExplanation" }
+      }
+    },
+    "evidenceRequirement": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "reason",
+        "files",
+        "surfaces",
+        "candidate_intents",
+        "selected_intents",
+        "skipped_intents",
+        "gap_count",
+        "outcome"
+      ],
+      "properties": {
+        "reason": { "type": "string" },
+        "files": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "surfaces": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "candidate_intents": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "selected_intents": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "skipped_intents": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "gap_count": { "type": "integer" },
+        "outcome": { "enum": ["verified", "partially_verified", "unverified", "blocked", "contradicted"] }
+      }
+    },
+    "evidenceCoverageCriterion": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["criterion_id", "source", "statement", "status", "requirement_reason", "evidence"],
+      "properties": {
+        "criterion_id": { "type": "string" },
+        "source": { "enum": ["verification_requirement", "dashboard_snapshot"] },
+        "statement": { "type": "string" },
+        "status": { "enum": ["covered", "partially_covered", "uncovered", "blocked", "contradicted"] },
+        "requirement_reason": { "type": ["string", "null"] },
+        "evidence": { "$ref": "#/$defs/evidenceCoverageLinks" }
+      }
+    },
+    "evidenceCoverageLinks": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["intents", "receipt_paths", "gap_reasons", "source_anchor_ids"],
+      "properties": {
+        "intents": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "receipt_paths": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "gap_reasons": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "source_anchor_ids": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      }
+    },
+    "evidenceReceipt": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["intent", "status", "skipped", "verification_plan_id", "receipt_path", "receipt_sha256"],
+      "properties": {
+        "intent": { "type": ["string", "null"] },
+        "status": { "type": "string" },
+        "skipped": { "type": "boolean" },
+        "verification_plan_id": {
+          "type": ["string", "null"],
+          "pattern": "^sha256:[0-9a-f]{64}$"
+        },
+        "receipt_path": { "type": ["string", "null"] },
+        "receipt_sha256": {
+          "type": ["string", "null"],
+          "pattern": "^sha256:[0-9a-f]{64}$"
+        }
+      }
+    },
+    "evidenceSkippedCheck": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["intent", "reason", "detail"],
+      "properties": {
+        "intent": { "type": ["string", "null"] },
+        "reason": { "type": ["string", "null"] },
+        "detail": { "type": ["string", "null"] }
+      }
+    },
+    "evidenceGap": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["reason", "intent", "status", "detail", "files", "surfaces"],
+      "properties": {
+        "reason": { "type": ["string", "null"] },
+        "intent": { "type": ["string", "null"] },
+        "status": { "type": ["string", "null"] },
+        "detail": { "type": ["string", "null"] },
+        "files": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "surfaces": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      }
+    },
+    "evidenceRemainingRisk": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["code", "severity", "detail"],
+      "properties": {
+        "code": { "type": "string" },
+        "severity": { "type": "string" },
+        "detail": { "type": "string" }
+      }
+    },
+    "reproEvidence": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "source",
+        "authority",
+        "reported_symptom",
+        "expected_behavior",
+        "observed_behavior",
+        "original_reproduction",
+        "evidence_before_fix",
+        "evidence_after_fix",
+        "regression_guard"
+      ],
+      "properties": {
+        "source": { "const": "repro_first_debug" },
+        "authority": { "const": "claim_evidence" },
+        "reported_symptom": { "type": ["string", "null"] },
+        "expected_behavior": { "type": ["string", "null"] },
+        "observed_behavior": { "type": ["string", "null"] },
+        "original_reproduction": { "$ref": "#/$defs/reproEvidenceItem" },
+        "evidence_before_fix": { "$ref": "#/$defs/reproEvidenceItem" },
+        "evidence_after_fix": { "$ref": "#/$defs/reproEvidenceItem" },
+        "regression_guard": { "$ref": "#/$defs/reproEvidenceItem" }
+      }
+    },
+    "reproEvidenceItem": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["status", "summary", "reason"],
+      "properties": {
+        "status": { "enum": ["present", "unavailable", "missing"] },
+        "summary": { "type": ["string", "null"] },
+        "reason": { "type": ["string", "null"] }
+      }
+    },
+    "externalCheck": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["source", "authority", "provider", "name", "status", "url", "summary"],
+      "properties": {
+        "source": { "const": "external_ci" },
+        "authority": { "const": "supporting_only" },
+        "provider": { "type": "string", "minLength": 1 },
+        "name": { "type": "string", "minLength": 1 },
+        "status": { "enum": ["passed", "failed", "cancelled", "unknown"] },
+        "url": { "type": ["string", "null"] },
+        "summary": { "type": ["string", "null"] }
+      }
+    },
+    "evidenceExplanation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["verified_by", "downgraded_by", "blocked_by", "contradicted_by"],
+      "properties": {
+        "verified_by": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "downgraded_by": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "blocked_by": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "contradicted_by": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      }
+    }
+  }
+}

package/schemas/run-receipt.schema.json

@@ -67,7 +67,12 @@
     "stdout": { "$ref": "#/$defs/output" },
     "stderr": { "$ref": "#/$defs/output" },
     "write_drift": { "$ref": "#/$defs/writeDrift" },
+    "performance": { "$ref": "#/$defs/performance" },
     "redaction": { "$ref": "#/$defs/redaction" },
+    "verification_plan_id": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    },
     "receipt_path": { "type": "string" }
   },
   "$defs": {
@@ -87,6 +92,114 @@
         }
       }
     },
+    "performance": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "schema_version",
+        "measurement",
+        "duration_ms",
+        "timeout_ratio",
+        "command_fingerprint",
+        "intent_fingerprint",
+        "contract_fingerprint",
+        "runner",
+        "output_summary",
+        "result_summary",
+        "quality"
+      ],
+      "properties": {
+        "schema_version": { "const": "1" },
+        "measurement": { "const": "wall_clock" },
+        "duration_ms": { "type": "integer", "minimum": 0 },
+        "executor_overhead_ms": { "type": "number", "minimum": 0 },
+        "phases": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["name", "duration_ms"],
+            "properties": {
+              "name": { "type": "string", "pattern": "^[a-z][a-z0-9_]*$" },
+              "duration_ms": { "type": "number", "minimum": 0 }
+            }
+          }
+        },
+        "selection": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "strategy",
+            "changed_file_count",
+            "changed_surface_counts",
+            "selected_target_count",
+            "fallback_used"
+          ],
+          "properties": {
+            "strategy": { "type": "string", "pattern": "^[a-z][a-z0-9_]*$" },
+            "changed_file_count": { "type": "integer", "minimum": 0 },
+            "changed_surface_counts": {
+              "type": "object",
+              "additionalProperties": {
+                "type": "integer",
+                "minimum": 0
+              },
+              "propertyNames": { "pattern": "^[a-z][a-z0-9_]*$" }
+            },
+            "selected_target_count": { "type": "integer", "minimum": 0 },
+            "fallback_used": { "type": "boolean" }
+          }
+        },
+        "timeout_ratio": { "type": "number", "minimum": 0 },
+        "command_fingerprint": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+        "intent_fingerprint": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+        "contract_fingerprint": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+        "runner": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["kind", "platform_family", "arch_family", "runtime", "runtime_major"],
+          "properties": {
+            "kind": { "const": "local" },
+            "platform_family": { "type": "string" },
+            "arch_family": { "type": "string" },
+            "runtime": { "enum": ["node", "bun"] },
+            "runtime_major": { "type": "integer", "minimum": 0 }
+          }
+        },
+        "output_summary": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["stdout_bytes", "stderr_bytes", "stdout_truncated", "stderr_truncated"],
+          "properties": {
+            "stdout_bytes": { "type": "integer", "minimum": 0 },
+            "stderr_bytes": { "type": "integer", "minimum": 0 },
+            "stdout_truncated": { "type": "boolean" },
+            "stderr_truncated": { "type": "boolean" }
+          }
+        },
+        "result_summary": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["status", "exit_code_class", "timed_out", "error_kind"],
+          "properties": {
+            "status": { "enum": ["passed", "failed", "timed_out", "start_failed"] },
+            "exit_code_class": { "enum": ["success", "failure", "no_exit_code"] },
+            "timed_out": { "type": "boolean" },
+            "error_kind": { "enum": ["timeout", "start_failed", "exit_code", null] }
+          }
+        },
+        "quality": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["phase_timings_source", "target_timings_source", "usable_for_history"],
+          "properties": {
+            "phase_timings_source": { "enum": ["none", "structured_report"] },
+            "target_timings_source": { "const": "none" },
+            "usable_for_history": { "type": "boolean" }
+          }
+        }
+      }
+    },
     "redaction": {
       "type": "object",
       "additionalProperties": false,

package/schemas/test-selection.schema.json

@@ -0,0 +1,81 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://mustflow.dev/schemas/test-selection.schema.json",
+  "title": "mustflow test selection contract",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema_version", "rules"],
+  "properties": {
+    "schema_version": {
+      "const": "1"
+    },
+    "rules": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/rule"
+      }
+    }
+  },
+  "$defs": {
+    "stringArray": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "risk": {
+      "enum": ["low", "medium", "high", "release_sensitive", "security_sensitive"]
+    },
+    "rule": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "reason", "risk", "match", "select"],
+      "properties": {
+        "id": {
+          "type": "string"
+        },
+        "reason": {
+          "type": "string"
+        },
+        "risk": {
+          "$ref": "#/$defs/risk"
+        },
+        "match": {
+          "$ref": "#/$defs/match"
+        },
+        "select": {
+          "$ref": "#/$defs/select"
+        }
+      }
+    },
+    "match": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["paths", "surfaces"],
+      "properties": {
+        "paths": {
+          "$ref": "#/$defs/stringArray"
+        },
+        "surfaces": {
+          "$ref": "#/$defs/stringArray"
+        }
+      }
+    },
+    "select": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["intent", "fallback_intent"],
+      "properties": {
+        "intent": {
+          "type": "string"
+        },
+        "fallback_intent": {
+          "type": "string"
+        },
+        "test_targets": {
+          "$ref": "#/$defs/stringArray"
+        }
+      }
+    }
+  }
+}