mustflow 2.11.0 → 2.16.0

package/dist/cli/commands/dashboard.js

@@ -15,7 +15,7 @@ import { isRecord, readCommandContract, readPositiveInteger, readString, readStr
 import { readDashboardPreferences, updateDashboardPreferences, } from '../lib/dashboard-preferences.js';
 import { DOC_REVIEW_LEDGER_RELATIVE_PATH, isDocReviewStatus, isReviewerKind, listDocReviewEntries, markDocReviewEntry, } from '../lib/doc-review-ledger.js';
 import { inspectManifestLock } from '../lib/manifest-lock.js';
-import { readLocalCommandEffectGraphs } from '../lib/local-index.js';
+import { readLatestLocalVerificationReadModelQueries, readLocalCommandEffectGraphs, } from '../lib/local-index.js';
 import { readPackageMetadata } from '../lib/package-info.js';
 import { t } from '../lib/i18n.js';
 import { resolveMustflowRoot } from '../lib/project-root.js';
@@ -383,6 +383,70 @@ function toDashboardCommandEffectGraph(graph) {
         })),
     };
 }
+function toDashboardVerificationReadModel(readModel) {
+    return {
+        source: readModel.source,
+        authority: readModel.authority,
+        command_authority: readModel.commandAuthority,
+        grants_command_authority: readModel.grantsCommandAuthority,
+        status: readModel.status,
+        database_path: readModel.databasePath,
+        index_fresh: readModel.indexFresh,
+        stale_paths: readModel.stalePaths,
+        plan_id: readModel.planId,
+        refresh_hint: readModel.refreshHint,
+        uncovered_criteria: readModel.uncoveredCriteria.map((criterion) => ({
+            criterion_id: criterion.criterionId,
+            source: criterion.source,
+            reason: criterion.reason,
+            surface: criterion.surface,
+            path_hash: criterion.pathHash,
+            coverage_status: criterion.coverageStatus,
+            receipt_count: criterion.receiptCount,
+            gap_count: criterion.gapCount,
+            risk_count: criterion.riskCount,
+        })),
+        severe_risks: readModel.severeRisks.map((risk) => ({
+            source_path: risk.sourcePath,
+            ordinal: risk.ordinal,
+            code: risk.code,
+            severity: risk.severity,
+            detail_hash: risk.detailHash,
+        })),
+        non_passing_receipts: readModel.nonPassingReceipts.map((receipt) => ({
+            receipt_hash: receipt.receiptHash,
+            plan_id: receipt.planId,
+            intent: receipt.intent,
+            status: receipt.status,
+            command_fingerprint: receipt.commandFingerprint,
+            contract_fingerprint: receipt.contractFingerprint,
+            current_state_hash: receipt.currentStateHash,
+            write_drift_status: receipt.writeDriftStatus,
+        })),
+        repeated_failure_fingerprints: readModel.repeatedFailureFingerprints.map((fingerprint) => ({
+            source_path: fingerprint.sourcePath,
+            fingerprint: fingerprint.fingerprint,
+            verification_plan_id: fingerprint.verificationPlanId,
+            status: fingerprint.status,
+            failed_intents: fingerprint.failedIntents,
+            primary_reason: fingerprint.primaryReason,
+            failed_intents_hash: fingerprint.failedIntentsHash,
+            risk_codes_hash: fingerprint.riskCodesHash,
+            affected_surfaces_hash: fingerprint.affectedSurfacesHash,
+            seen_count: fingerprint.seenCount,
+            requires_new_evidence: fingerprint.requiresNewEvidence,
+        })),
+        validation_weakening_signals: readModel.validationWeakeningSignals.map((signal) => ({
+            signal_id: signal.signalId,
+            plan_id: signal.planId,
+            code: signal.code,
+            severity: signal.severity,
+            path_hash: signal.pathHash,
+            before_hash: signal.beforeHash,
+            after_hash: signal.afterHash,
+        })),
+    };
+}
 async function readCommandEffectGraphMap(projectRoot, intentNames) {
     if (intentNames.length === 0) {
         return { graphs: new Map() };
@@ -620,6 +684,8 @@ async function renderStatusResponse(projectRoot) {
     const commandContract = await renderCommandContractResponse(projectRoot, rawCommandContract);
     const gitChangedFiles = readGitChangedFiles(projectRoot);
     const packageMetadata = readPackageMetadata();
+    const verification = createDashboardVerificationSnapshot(projectRoot, rawCommandContract, commandContract.intents, gitChangedFiles, manifest.changedFiles, manifest.missingFiles);
+    const readModel = await readLatestLocalVerificationReadModelQueries(projectRoot);
     return {
         schema_version: '1',
         command: 'dashboard status',
@@ -641,7 +707,10 @@ async function renderStatusResponse(projectRoot) {
         issues: manifest.issues,
         runnable_intents: context.command_contract.runnable_intents,
         command_contract: commandContract,
-        verification: createDashboardVerificationSnapshot(projectRoot, rawCommandContract, commandContract.intents, gitChangedFiles, manifest.changedFiles, manifest.missingFiles),
+        verification: {
+            ...verification,
+            read_model: toDashboardVerificationReadModel(readModel),
+        },
         latest_run: context.latest_run,
         active_review_documents: activeDocuments.length,
     };

package/dist/cli/commands/explain-verify.js

@@ -4,7 +4,7 @@ import { createVerificationDecisionGraph, } from '../../core/verification-decisi
 import { createVerificationPlan, } from '../../core/verification-plan.js';
 import { createVerificationSchedule } from '../../core/verification-scheduler.js';
 import { t } from '../lib/i18n.js';
-import { readLocalCommandEffectGraphs, } from '../lib/local-index.js';
+import { readLatestLocalVerificationReadModelQueries, readLocalCommandEffectGraphs, } from '../lib/local-index.js';
 import { planErrorMessageKey, readInputFromPlan } from './verify.js';
 export function parseExplainVerifyArgs(args) {
     let reason;
@@ -104,6 +104,7 @@ export async function getVerifyExplainOutput(schemaVersion, projectRoot, reasons
         ...new Set(plans.flatMap((plan) => plan.candidates.map((candidate) => candidate.intent).filter((intent) => intent.length > 0))),
     ];
     const graphsByIntent = intentNames.length > 0 ? await readLocalCommandEffectGraphs(projectRoot, intentNames) : new Map();
+    const readModel = await readLatestLocalVerificationReadModelQueries(projectRoot);
     const requirements = plans.map((plan) => {
         const candidates = plan.candidates.map((candidate) => {
             const command = candidate.intent ? explainCommandIntent(contract, candidate.intent).intent : null;
@@ -166,6 +167,7 @@ export async function getVerifyExplainOutput(schemaVersion, projectRoot, reasons
                 skippedCount,
                 requirements,
                 decisionGraph,
+                readModel,
             },
         },
     };
@@ -182,7 +184,15 @@ export function renderVerifyExplainDecision(decision, lang) {
         `- skipped: ${verification.skippedCount}`,
         `- decision_graph_nodes: ${verification.decisionGraph.summary.nodeCount}`,
         `- decision_graph_gaps: ${verification.decisionGraph.summary.gapCount}`,
+        `- read_model: ${verification.readModel.status}`,
+        `- read_model_plan_id: ${verification.readModel.planId ?? t(lang, 'value.none')}`,
     ];
+    if (verification.readModel.refreshHint) {
+        lines.push(`- read_model_refresh_hint: ${verification.readModel.refreshHint}`);
+    }
+    if (verification.readModel.status === 'fresh') {
+        lines.push(`- uncovered_criteria: ${verification.readModel.uncoveredCriteria.length}`, `- severe_risks: ${verification.readModel.severeRisks.length}`, `- non_passing_receipts: ${verification.readModel.nonPassingReceipts.length}`, `- repeated_failures_requiring_new_evidence: ${verification.readModel.repeatedFailureFingerprints.length}`, `- validation_weakening_signals: ${verification.readModel.validationWeakeningSignals.length}`);
+    }
     for (const requirement of verification.requirements) {
         lines.push(`- required_after: ${requirement.reason}`);
         if (requirement.matchingIntents.length > 0) {

package/dist/cli/commands/index.js

@@ -43,11 +43,20 @@ function renderIndexSummary(result, lang) {
         `${t(lang, 'label.commandIntents')}: ${result.command_intent_count}`,
         `command_effects: ${result.command_effect_count}`,
         `verification_evidence_summaries: ${result.verification_evidence_summary_count}`,
+        `verification_plans: ${result.verification_plan_count}`,
+        `acceptance_criteria: ${result.acceptance_criteria_count}`,
+        `criterion_coverage: ${result.criterion_coverage_count}`,
         `verification_receipt_summaries: ${result.verification_receipt_summary_count}`,
+        `command_receipt_summaries: ${result.command_receipt_summary_count}`,
         `verification_coverage_states: ${result.verification_coverage_state_count}`,
         `verification_risk_signals: ${result.verification_risk_signal_count}`,
+        `validation_ratchet_signals: ${result.validation_ratchet_signal_count}`,
+        `completion_verdict_summaries: ${result.completion_verdict_summary_count}`,
+        `repro_routes: ${result.repro_route_count}`,
+        `repro_observations: ${result.repro_observation_count}`,
         `failure_fingerprints: ${result.failure_fingerprint_count}`,
         `source_anchors: ${result.source_anchor_count}`,
+        `source_anchor_risk_signals: ${result.source_anchor_risk_signal_count}`,
         `index_mode: ${result.index_mode}`,
         `reused_existing: ${result.reused_existing ? 'yes' : 'no'}`,
         `${t(lang, 'label.wroteFiles')}: ${result.wrote_files ? 'yes' : 'no'}`,