@mmnto/cli 1.53.4 → 1.53.6

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

@@ -1,51 +1,73 @@
 /**
  * Parity-drift sensor for `totem doctor --parity` (mmnto-ai/totem-strategy#448).
  *
- * PR-1 (mmnto-ai/totem#2069): resolve the consumer-configured
- * `orient.parityManifest` config-path → parse + Zod-validate the strategy-owned
- * `parity-manifest.yaml` → emit `DiagnosticResult`s. The FIRST detection slice
- * is wired here: each `version-pinned` contract whose id resolves a deps package
- * name (`mmnto-cli-version`, `mmnto-totem-version`, `mmnto-mcp-version`,
- * `mmnto-pack-rust-architecture-version`) runs through the core
- * `detectVersionPinnedContract` engine (pin-currency verdict, local-only floor).
- * ALL other contracts — mechanical, manual-attestation, and the version-pinned
- * DOCTRINE pins (`governance-doctrine` / `agent-memory-doctrine`, which derive
- * no deps package name) — keep the `skip` info stub (their drift detection is a
- * follow-on).
+ * Detection is wired across all three tractability classes (mmnto-ai/totem#2073):
+ *   - **version-pinned** (PR-1, mmnto-ai/totem#2069): each deps contract whose id
+ *     resolves an `@mmnto/*` package name runs through the core
+ *     `detectVersionPinnedContract` engine (pin-currency verdict, local-only floor).
+ *   - **mechanical content-equality** (mmnto-ai/totem#2073): three artifact shapes,
+ *     all local-read-only against the running `@mmnto/cli`'s OWN in-process template:
+ *       · **skills** (`claude-skills`): managed-block equality of
+ *         `.claude/skills/<name>/SKILL.md` via `detectMechanicalContract`.
+ *       · **git-hooks**: per-repo REGENERATED whole-file/region equality of the four
+ *         `.git/hooks/*` (package-manager + tier parameterized) via
+ *         `detectGeneratedArtifactContract` — catches stale-version drift (#1854).
+ *       · **session-start-orientation**: STATIC whole-file equality of the
+ *         `.claude/hooks/SessionStart.cjs` + `.gemini/hooks/SessionStart.js` templates,
+ *         also via `detectGeneratedArtifactContract` (no parameterization).
+ *   - **manual-attestation** (mmnto-ai/totem#2080): the no-mechanical-sensor class —
+ *     `detectManualAttestationContract` surfaces the doctrine-currency row / vendor-SDK
+ *     pin as `info` (or honest-absent `skip`), NEVER pass/warn/fail (the "never fails"
+ *     contract; structurally cannot gate under `--strict`).
  *
- * Sensor-not-gate: the core detector returns `skip`/`warn`/`pass` only — never
- * `fail`. The `--strict` exit-code decision lives at the CLI edge: a `warn` from
- * a `blocking: true` contract is promoted to `fail` (non-zero) ONLY under
- * `--strict`. The detector carries that promotion eligibility back via
- * `blockingDriftIds` so the command can gate without re-loading the manifest.
+ * The remaining contracts — the file-value-equality bot-configs (`cr-profile` etc.)
+ * and the structural-presence dimensions — keep the `skip` "not yet implemented" stub;
+ * their detection is a follow-on.
  *
- * Honest-absent (Tenet 14): unconfigured → exactly one `skip` line; never an
- * error. Configured-but-missing / unparseable / unsupported-schema → `warn`,
- * never a crash (mirrors the `findStaleRules` best-effort fallback idiom in
- * doctor.ts). Dynamic-import `@mmnto/totem` to keep core off the CLI cold-start
- * graph, matching the other doctor checks.
+ * The parity sensor owns its OWN render + result type (`ParityLine`) carrying a
+ * WIDER status vocabulary (pass/warn/fail/info/unknown/skip) than the shared
+ * `CheckStatus`, so the verdict-state split (#2073 req #1) never ripples
+ * `CheckStatus` across the unrelated doctor checks.
+ *
+ * Sensor-not-gate: the detectors return `skip`/`warn`/`pass`/`info`/`unknown` —
+ * never `fail`. The `--strict` exit-code decision lives at the CLI edge: a
+ * `warn` from a `blocking: true` contract is promoted to `fail` (non-zero) ONLY
+ * under `--strict`. `info`/`unknown` are never gated. Honest-absent (Tenet 14):
+ * 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.
+ */
+import type { 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/
+ * unknown/skip) rather than the shared `CheckStatus`, so the sensor honors the
+ * verdict-state split (#2073 req #1) without rippling `CheckStatus` across the
+ * other doctor checks. The parity command owns its own renderer.
  */
-import type { DiagnosticResult } from './doctor.js';
+export interface ParityLine extends ParityContractVerdict {
+    name: string;
+}
 /**
- * Result of a parity check: the rendered `DiagnosticResult` lines plus the set
- * of contract ids that produced a drift `warn` AND are `blocking: true`. The
- * command promotes exactly these to `fail` under `--strict` — carrying the ids
- * here avoids re-loading the manifest at the CLI edge to recover the `blocking`
- * flag (which `DiagnosticResult` does not carry).
+ * 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
+ * promotes exactly these to `fail` under `--strict` — carrying the ids here
+ * avoids re-loading the manifest at the CLI edge to recover the `blocking` flag.
  */
 export interface ParityCheckResult {
-    results: DiagnosticResult[];
+    results: ParityLine[];
     /** Contract ids whose `warn` is `--strict`-promotable (blocking + drift). */
     blockingDriftIds: string[];
 }
 /**
- * Resolve, parse, and report the parity manifest as `DiagnosticResult`s.
+ * Resolve, parse, and report the parity manifest as `ParityLine`s.
  *
  * Returns `{ results, blockingDriftIds }`: `results[0]` is always the section
- * summary line; in the `ok` path it is followed by one line per contract — a
- * pin-currency verdict for the deps version-pinned contracts, a `skip` stub for
- * everything else. All non-`ok` paths return a single summary entry and an empty
- * `blockingDriftIds`.
+ * summary line; in the `ok` path it is followed by one line per contract (or
+ * per artifact, for multi-artifact mechanical contracts) — a pin-currency
+ * verdict for the deps version-pinned contracts, a content-equality verdict for
+ * the mechanical skills contracts, and a `skip` stub for everything else. All
+ * non-`ok` paths return a single summary entry and an empty `blockingDriftIds`.
  *
  * @param cwd The directory to resolve config + manifest against (config/repo root).
  */
@@ -58,15 +80,16 @@ export interface ParityCliOptions {
      * Sensor-not-gate is the default: a drift `warn` reports and exits 0. Under
      * `--strict`, a `warn` from a `blocking: true` contract (its id carried in
      * `checkParity`'s `blockingDriftIds`) is rendered as `FAIL` and promoted to a
-     * non-zero exit. Non-blocking drift stays a `warn` even under `--strict` — the
-     * contract's `blocking` flag, not the flag alone, gates the exit code.
+     * non-zero exit. Non-blocking drift stays a `warn` even under `--strict`, and
+     * `info` (attested fork) / `unknown` (unprovable) NEVER promote — the
+     * contract's `blocking` flag on a `warn`, not the flag alone, gates the exit.
      */
     strict?: boolean;
     /** Test seam — production callers omit and the command uses `process.cwd()`. */
     cwdForTest?: string;
 }
 /**
- * CLI entry — runs `checkParity`, renders each `DiagnosticResult`, and throws a
+ * CLI entry — runs `checkParity`, renders each `ParityLine`, and throws a
  * `TotemError` when a blocking contract drifted under `--strict` so the
  * top-level `handleError` produces the non-zero exit code (no direct
  * `process.exit` per AGENTS.md).

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;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAMH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAIpD;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,6EAA6E;IAC7E,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAwHzE;AA6CD,MAAM,WAAW,gBAAgB;IAC/B;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,gFAAgF;IAChF,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,GAAE,gBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,CAkE1F"}
+{"version":3,"file":"doctor-parity.d.ts","sourceRoot":"","sources":["../../src/commands/doctor-parity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAIH,OAAO,KAAK,EAAuC,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAQ/F;;;;;;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;CAC5B;AA6ND;;;;;;;;;;;GAWG;AACH,wBAAsB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAkTzE;AAoDD,MAAM,WAAW,gBAAgB;IAC/B;;;;;;;;;;OAUG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,gFAAgF;IAChF,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,GAAE,gBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,CAkF1F"}