@mmnto/cli 1.91.0 → 1.93.0

package/dist/commands/doctor-parity.d.ts

@@ -36,8 +36,17 @@
  * unconfigured → exactly one `skip` line; configured-but-missing / unparseable /
  * unsupported-schema → `warn`, never a crash. Dynamic-import `@mmnto/totem` to
  * keep core off the CLI cold-start graph, matching the other doctor checks.
+ *
+ * The **trust-readout** (mmnto-ai/totem#2327, Prop 303 §5(a)) post-processes
+ * the flat per-line dump into the doctor's aggregate output contract: verdict
+ * rollup (per-seat + global, R1), the run-time coverage denominator (R2),
+ * why-not per non-pass row at the level probed (R3), the `--json` verdict
+ * artifact (R4), and the `--strict` declaredly-toothless honesty line (R5).
+ * Spec: mmnto-ai/totem-strategy:doctrine/parity-manifest.md § "The
+ * trust-readout — the doctor's output contract"; deltas raise there, never
+ * silently diverge. Pure post-processing — zero probes added.
  */
-import type { ParityContractVerdict } from '@mmnto/totem';
+import type { ParityContract, ParityContractVerdict } from '@mmnto/totem';
 /**
  * A parity output line — the per-contract verdict plus its display name. Carries
  * the WIDER `ParityContractVerdict` status vocabulary (pass/warn/fail/info/
@@ -48,6 +57,37 @@ import type { ParityContractVerdict } from '@mmnto/totem';
 export interface ParityLine extends ParityContractVerdict {
     name: string;
 }
+/** Prop 296 §6(a)2 senses-ladder rung a detector actually probed. */
+export type SensesLevel = 'declared' | 'present' | 'loaded' | 'usable';
+/**
+ * R2 coverage class for one contract — derived per run from the detector
+ * registry ∩ the manifest (the yaml deliberately carries no per-row sensed
+ * flag; Tenet 20). A contract whose detector exists but was scope-skipped this
+ * run still classifies `mechanical` — the registry implements it; the skip is
+ * a run-time verdict the rollup + why-not carry separately.
+ */
+export type ReadoutCoverageClass = 'mechanical' | 'attestation-only' | 'honest-absent';
+/** R3 reason class for one verdict line (`pass` lines omit theirs; `attestation` is raised Delta 3). */
+export type ReadoutReasonClass = 'drift' | 'scoping-skip' | 'honest-absent' | 'detector-error' | 'attestation';
+/**
+ * Per-contract readout metadata, tagged at the routing branch that senses the
+ * contract (single source — never re-derived from a mirrored registry, which
+ * would be the Tenet 20 drift hazard).
+ */
+export interface ContractReadoutMeta {
+    coverage: ReadoutCoverageClass;
+    /** Absent when nothing was probed (attestation rows, honest-absent stubs). */
+    sensesProbed?: SensesLevel;
+}
+/** The trust-readout raw materials `checkParity` carries out of the manifest `ok` path. */
+export interface ParityReadoutInputs {
+    manifest: {
+        schemaVersion: number;
+        status: string;
+    };
+    contracts: ParityContract[];
+    meta: Record<string, ContractReadoutMeta>;
+}
 /**
  * Result of a parity check: the rendered `ParityLine`s plus the set of contract
  * ids that produced a drift `warn` AND are `blocking: true`. The command
@@ -67,6 +107,19 @@ export interface ParityCheckResult {
      * (mmnto-ai/totem#2085, mmnto-ai/totem-strategy#545 Half 2).
      */
     configured: boolean;
+    /**
+     * Manifest load status — the `--json` artifact's `manifest.status` on the
+     * degenerate paths, where there is no manifest-declared status to carry
+     * (mmnto-ai/totem#2327 R4).
+     */
+    loadStatus: 'ok' | 'not-configured' | 'not-found' | 'unparseable' | 'unsupported-schema';
+    /**
+     * Trust-readout raw materials (mmnto-ai/totem#2327) — present only on the
+     * manifest `ok` path. The CLI edge assembles the rollup / denominator /
+     * why-not via `buildParityReadout`; degenerate load states render no rollup
+     * (nothing to roll up) and `--json` carries `loadStatus` instead.
+     */
+    readout?: ParityReadoutInputs;
 }
 /**
  * Resolve, parse, and report the parity manifest as `ParityLine`s.
@@ -81,6 +134,50 @@ export interface ParityCheckResult {
  * @param cwd The directory to resolve config + manifest against (config/repo root).
  */
 export declare function checkParity(cwd: string): Promise<ParityCheckResult>;
+/** Counts over rendered verdict lines — the R1 rollup unit (raised Delta 2). */
+export type ReadoutCounts = Record<ParityLine['status'], number>;
+/** One `--json` `rows[]` entry — 1:1 with a rendered verdict line (ids repeat for multi-artifact contracts). */
+export interface ReadoutRow {
+    id: string;
+    /** Line verdict AFTER the strict blocking promotion, so the artifact matches the rendered output. */
+    verdict: ParityLine['status'];
+    sensesProbed?: SensesLevel;
+    reasonClass?: ReadoutReasonClass;
+    message: string;
+    lastAttested?: string;
+    /** Display name of the underlying verdict line (human render only — not a `--json` field; R4 names are fixed). */
+    lineName: string;
+    /** R5: a `blocking: true` contract's line skipped by scoping — rendered skipped-not-gated, never a silent pass. */
+    skippedNotGated: boolean;
+}
+/** The assembled trust-readout — everything R1–R5 render from. */
+export interface ParityReadout {
+    manifest: {
+        schemaVersion: number;
+        status: string;
+    };
+    rollup: {
+        global: ReadoutCounts;
+        perSeat: Record<string, ReadoutCounts>;
+    };
+    denominator: {
+        mechanical: number;
+        attestationOnly: number;
+        honestAbsent: number;
+    };
+    strict: {
+        armed: boolean;
+        blockingIds: string[];
+        gatesAnything: boolean;
+    };
+    rows: ReadoutRow[];
+}
+/**
+ * Assemble the trust-readout from `checkParity`'s raw materials — pure
+ * post-processing over the existing detector output (Prop 303 non-goal 2:
+ * zero probes added here).
+ */
+export declare function buildParityReadout(inputs: ParityReadoutInputs, results: ParityLine[], blockingDriftIds: string[], strict: boolean): ParityReadout;
 export interface ParityCliOptions {
     /**
      * Strict mode (Proposal 273 / 279 `--strict` semantics): promote drift to a
@@ -103,6 +200,13 @@ export interface ParityCliOptions {
      * `doctor --parity` behavior, which still renders the honest-absent SKIP line.
      */
     onlyWhenConfigured?: boolean;
+    /**
+     * Emit the trust-readout as the schema'd `--json` verdict artifact
+     * (mmnto-ai/totem#2327 R4) on stdout INSTEAD of the human render — the
+     * artifact is diffable, so nothing else may share stdout. The `--strict`
+     * exit-code semantics are unchanged (artifact + non-zero exit both happen).
+     */
+    json?: boolean;
     /** Test seam — production callers omit and the command uses `process.cwd()`. */
     cwdForTest?: string;
 }

package/dist/commands/doctor-parity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"doctor-parity.d.ts","sourceRoot":"","sources":["../../src/commands/doctor-parity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAIH,OAAO,KAAK,EAGV,qBAAqB,EAEtB,MAAM,cAAc,CAAC;AAQtB;;;;;;GAMG;AACH,MAAM,WAAW,UAAW,SAAQ,qBAAqB;IACvD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,6EAA6E;IAC7E,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B;;;;;;;OAOG;IACH,UAAU,EAAE,OAAO,CAAC;CACrB;AA0WD;;;;;;;;;;;GAWG;AACH,wBAAsB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAkdzE;AAoDD,MAAM,WAAW,gBAAgB;IAC/B;;;;;;;;;;OAUG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;;;OAOG;IACH,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,gFAAgF;IAChF,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,GAAE,gBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,CAwF1F"}
+{"version":3,"file":"doctor-parity.d.ts","sourceRoot":"","sources":["../../src/commands/doctor-parity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAIH,OAAO,KAAK,EAEV,cAAc,EACd,qBAAqB,EAEtB,MAAM,cAAc,CAAC;AAQtB;;;;;;GAMG;AACH,MAAM,WAAW,UAAW,SAAQ,qBAAqB;IACvD,IAAI,EAAE,MAAM,CAAC;CACd;AAWD,qEAAqE;AACrE,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAEvE;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,GAAG,YAAY,GAAG,kBAAkB,GAAG,eAAe,CAAC;AAEvF,wGAAwG;AACxG,MAAM,MAAM,kBAAkB,GAC1B,OAAO,GACP,cAAc,GACd,eAAe,GACf,gBAAgB,GAChB,aAAa,CAAC;AAElB;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,oBAAoB,CAAC;IAC/B,8EAA8E;IAC9E,YAAY,CAAC,EAAE,WAAW,CAAC;CAC5B;AAED,2FAA2F;AAC3F,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE;QAAE,aAAa,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACpD,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;CAC3C;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,6EAA6E;IAC7E,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B;;;;;;;OAOG;IACH,UAAU,EAAE,OAAO,CAAC;IACpB;;;;OAIG;IACH,UAAU,EAAE,IAAI,GAAG,gBAAgB,GAAG,WAAW,GAAG,aAAa,GAAG,oBAAoB,CAAC;IACzF;;;;;OAKG;IACH,OAAO,CAAC,EAAE,mBAAmB,CAAC;CAC/B;AAqXD;;;;;;;;;;;GAWG;AACH,wBAAsB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAmhBzE;AAgED,gFAAgF;AAChF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;AAEjE,gHAAgH;AAChH,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,qGAAqG;IACrG,OAAO,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC9B,YAAY,CAAC,EAAE,WAAW,CAAC;IAC3B,WAAW,CAAC,EAAE,kBAAkB,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,kHAAkH;IAClH,QAAQ,EAAE,MAAM,CAAC;IACjB,mHAAmH;IACnH,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED,kEAAkE;AAClE,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE;QAAE,aAAa,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACpD,MAAM,EAAE;QAAE,MAAM,EAAE,aAAa,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;KAAE,CAAC;IAC1E,WAAW,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IACnF,MAAM,EAAE;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,WAAW,EAAE,MAAM,EAAE,CAAC;QAAC,aAAa,EAAE,OAAO,CAAA;KAAE,CAAC;IAC1E,IAAI,EAAE,UAAU,EAAE,CAAC;CACpB;AA6DD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,mBAAmB,EAC3B,OAAO,EAAE,UAAU,EAAE,EACrB,gBAAgB,EAAE,MAAM,EAAE,EAC1B,MAAM,EAAE,OAAO,GACd,aAAa,CA0Ef;AAwGD,MAAM,WAAW,gBAAgB;IAC/B;;;;;;;;;;OAUG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;;;OAOG;IACH,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;;OAKG;IACH,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,gFAAgF;IAChF,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,GAAE,gBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,CA2E1F"}