mustflow 1.31.0 → 2.16.0

package/schemas/dashboard-export.schema.json

@@ -151,6 +151,312 @@
         "paths": { "$ref": "#/$defs/stringArray" }
       }
     },
+    "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" }
+        },
+        "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": { "$ref": "#/$defs/stringArray" },
+        "surfaces": { "$ref": "#/$defs/stringArray" },
+        "candidate_intents": { "$ref": "#/$defs/stringArray" },
+        "selected_intents": { "$ref": "#/$defs/stringArray" },
+        "skipped_intents": { "$ref": "#/$defs/stringArray" },
+        "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": { "$ref": "#/$defs/stringArray" },
+        "receipt_paths": { "$ref": "#/$defs/stringArray" },
+        "gap_reasons": { "$ref": "#/$defs/stringArray" },
+        "source_anchor_ids": { "$ref": "#/$defs/stringArray" }
+      }
+    },
+    "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": { "$ref": "#/$defs/stringArray" },
+        "surfaces": { "$ref": "#/$defs/stringArray" }
+      }
+    },
+    "evidenceRemainingRisk": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["code", "severity", "detail"],
+      "properties": {
+        "code": { "type": "string" },
+        "severity": { "type": "string" },
+        "detail": { "type": "string" }
+      }
+    },
+    "evidenceExplanation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["verified_by", "downgraded_by", "blocked_by", "contradicted_by"],
+      "properties": {
+        "verified_by": { "$ref": "#/$defs/stringArray" },
+        "downgraded_by": { "$ref": "#/$defs/stringArray" },
+        "blocked_by": { "$ref": "#/$defs/stringArray" },
+        "contradicted_by": { "$ref": "#/$defs/stringArray" }
+      }
+    },
+    "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",
+            "criteria",
+            "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",
+            "repro_evidence_risk_count",
+            "external_evidence_risk_count",
+            "write_drift_risk_count",
+            "receipt_binding_risk_count",
+            "stale_receipt_count",
+            "plan_mismatch_count",
+            "risks",
+            "receipt_binding",
+            "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"] },
+            "criteria": { "$ref": "#/$defs/completionVerdictCriteria" },
+            "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" },
+            "repro_evidence_risk_count": { "type": "integer" },
+            "external_evidence_risk_count": { "type": "integer" },
+            "write_drift_risk_count": { "type": "integer" },
+            "receipt_binding_risk_count": { "type": "integer" },
+            "stale_receipt_count": { "type": "integer" },
+            "plan_mismatch_count": { "type": "integer" },
+            "risks": { "$ref": "#/$defs/completionVerdictRisks" },
+            "receipt_binding": { "$ref": "#/$defs/completionVerdictReceiptBinding" },
+            "latest_run_status": { "type": ["string", "null"] }
+          }
+        },
+        "blockers": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "contradictions": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "limitations": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      }
+    },
+    "completionVerdictCriteria": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["total", "covered", "partially_covered", "uncovered", "blocked", "contradicted"],
+      "properties": {
+        "total": { "type": "integer" },
+        "covered": { "type": "integer" },
+        "partially_covered": { "type": "integer" },
+        "uncovered": { "type": "integer" },
+        "blocked": { "type": "integer" },
+        "contradicted": { "type": "integer" }
+      }
+    },
+    "completionVerdictRisks": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "source_anchor",
+        "scope_diff",
+        "repeated_failure",
+        "validation_ratchet",
+        "repro_evidence",
+        "external_evidence",
+        "write_drift",
+        "receipt_binding",
+        "stale_receipt",
+        "plan_mismatch"
+      ],
+      "properties": {
+        "source_anchor": { "type": "integer" },
+        "scope_diff": { "type": "integer" },
+        "repeated_failure": { "type": "integer" },
+        "validation_ratchet": { "type": "integer" },
+        "repro_evidence": { "type": "integer" },
+        "external_evidence": { "type": "integer" },
+        "write_drift": { "type": "integer" },
+        "receipt_binding": { "type": "integer" },
+        "stale_receipt": { "type": "integer" },
+        "plan_mismatch": { "type": "integer" }
+      }
+    },
+    "completionVerdictReceiptBinding": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "plan_bound_count",
+        "plan_unbound_count",
+        "fingerprint_bound_count",
+        "fingerprint_unbound_count",
+        "current_state_bound_count",
+        "current_state_unavailable_count",
+        "stale_count",
+        "plan_mismatch_count"
+      ],
+      "properties": {
+        "plan_bound_count": { "type": "integer" },
+        "plan_unbound_count": { "type": "integer" },
+        "fingerprint_bound_count": { "type": "integer" },
+        "fingerprint_unbound_count": { "type": "integer" },
+        "current_state_bound_count": { "type": "integer" },
+        "current_state_unavailable_count": { "type": "integer" },
+        "stale_count": { "type": "integer" },
+        "plan_mismatch_count": { "type": "integer" }
+      }
+    },
     "harnessReport": {
       "type": "object",
       "additionalProperties": false,
@@ -183,6 +489,8 @@
           "type": "object",
           "additionalProperties": false,
           "required": [
+            "completion_verdict",
+            "evidence_model",
             "changed_file_count",
             "changed_surfaces",
             "decision_graph_summary",
@@ -191,6 +499,8 @@
             "gaps"
           ],
           "properties": {
+            "completion_verdict": { "$ref": "#/$defs/completionVerdict" },
+            "evidence_model": { "$ref": "#/$defs/evidenceModel" },
             "changed_file_count": { "type": "integer" },
             "changed_surfaces": { "$ref": "#/$defs/stringArray" },
             "decision_graph_summary": {

package/schemas/explain-report.schema.json

@@ -506,7 +506,8 @@
             "runnableCount",
             "skippedCount",
             "requirements",
-            "decisionGraph"
+            "decisionGraph",
+            "readModel"
           ],
           "properties": {
             "planSource": { "type": ["string", "null"] },
@@ -523,11 +524,182 @@
             },
             "decisionGraph": {
               "$ref": "#/$defs/verificationDecisionGraph"
+            },
+            "readModel": {
+              "$ref": "#/$defs/localVerificationReadModel"
             }
           }
         }
       }
     },
+    "localVerificationReadModel": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "source",
+        "authority",
+        "commandAuthority",
+        "grantsCommandAuthority",
+        "status",
+        "databasePath",
+        "indexFresh",
+        "stalePaths",
+        "planId",
+        "uncoveredCriteria",
+        "severeRisks",
+        "nonPassingReceipts",
+        "repeatedFailureFingerprints",
+        "validationWeakeningSignals",
+        "refreshHint"
+      ],
+      "properties": {
+        "source": { "const": "local_index" },
+        "authority": { "const": "evidence_only" },
+        "commandAuthority": { "const": ".mustflow/config/commands.toml" },
+        "grantsCommandAuthority": { "const": false },
+        "status": { "enum": ["fresh", "missing", "stale", "unreadable"] },
+        "databasePath": { "type": "string" },
+        "indexFresh": { "type": "boolean" },
+        "stalePaths": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "planId": {
+          "type": ["string", "null"],
+          "pattern": "^sha256:[0-9a-f]{64}$"
+        },
+        "uncoveredCriteria": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/localUncoveredCriterion" }
+        },
+        "severeRisks": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/localSevereVerificationRisk" }
+        },
+        "nonPassingReceipts": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/localNonPassingVerificationReceipt" }
+        },
+        "repeatedFailureFingerprints": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/localRepeatedFailureFingerprint" }
+        },
+        "validationWeakeningSignals": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/localValidationWeakeningSignal" }
+        },
+        "refreshHint": { "type": ["string", "null"] }
+      }
+    },
+    "localUncoveredCriterion": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "criterionId",
+        "source",
+        "reason",
+        "surface",
+        "pathHash",
+        "coverageStatus",
+        "receiptCount",
+        "gapCount",
+        "riskCount"
+      ],
+      "properties": {
+        "criterionId": { "type": "string" },
+        "source": { "type": "string" },
+        "reason": { "type": ["string", "null"] },
+        "surface": { "type": ["string", "null"] },
+        "pathHash": { "type": ["string", "null"] },
+        "coverageStatus": { "type": ["string", "null"] },
+        "receiptCount": { "type": "integer" },
+        "gapCount": { "type": "integer" },
+        "riskCount": { "type": "integer" }
+      }
+    },
+    "localSevereVerificationRisk": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["sourcePath", "ordinal", "code", "severity", "detailHash"],
+      "properties": {
+        "sourcePath": { "type": "string" },
+        "ordinal": { "type": "integer" },
+        "code": { "type": "string" },
+        "severity": { "type": "string" },
+        "detailHash": { "type": "string" }
+      }
+    },
+    "localNonPassingVerificationReceipt": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "receiptHash",
+        "planId",
+        "intent",
+        "status",
+        "commandFingerprint",
+        "contractFingerprint",
+        "currentStateHash",
+        "writeDriftStatus"
+      ],
+      "properties": {
+        "receiptHash": { "type": "string" },
+        "planId": { "type": "string" },
+        "intent": { "type": ["string", "null"] },
+        "status": { "type": "string" },
+        "commandFingerprint": { "type": ["string", "null"] },
+        "contractFingerprint": { "type": ["string", "null"] },
+        "currentStateHash": { "type": ["string", "null"] },
+        "writeDriftStatus": { "type": ["string", "null"] }
+      }
+    },
+    "localRepeatedFailureFingerprint": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "sourcePath",
+        "fingerprint",
+        "verificationPlanId",
+        "status",
+        "failedIntents",
+        "primaryReason",
+        "failedIntentsHash",
+        "riskCodesHash",
+        "affectedSurfacesHash",
+        "seenCount",
+        "requiresNewEvidence"
+      ],
+      "properties": {
+        "sourcePath": { "type": "string" },
+        "fingerprint": { "type": "string" },
+        "verificationPlanId": { "type": ["string", "null"] },
+        "status": { "type": "string" },
+        "failedIntents": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "primaryReason": { "type": ["string", "null"] },
+        "failedIntentsHash": { "type": ["string", "null"] },
+        "riskCodesHash": { "type": ["string", "null"] },
+        "affectedSurfacesHash": { "type": ["string", "null"] },
+        "seenCount": { "type": "integer" },
+        "requiresNewEvidence": { "type": "boolean" }
+      }
+    },
+    "localValidationWeakeningSignal": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["signalId", "planId", "code", "severity", "pathHash", "beforeHash", "afterHash"],
+      "properties": {
+        "signalId": { "type": "string" },
+        "planId": { "type": ["string", "null"] },
+        "code": { "type": "string" },
+        "severity": { "type": "string" },
+        "pathHash": { "type": "string" },
+        "beforeHash": { "type": ["string", "null"] },
+        "afterHash": { "type": ["string", "null"] }
+      }
+    },
     "verificationDecisionGraph": {
       "type": "object",
       "additionalProperties": false,