@codyswann/lisa 2.272.0 → 2.273.0

package/dist/cli/doctor-readiness-blockers.d.ts

@@ -0,0 +1,154 @@
+/**
+ * The seven-blocker gate and narrowed claim for repository readiness (RRR-5,
+ * #1857).
+ *
+ * RRR-3 (#1855) produces the eight readiness dimensions and persists the report;
+ * this module turns their findings into the thing that decides what the
+ * repository may be *claimed* to be. It is a pure mapping from dimension
+ * findings to the closed set of seven ship blockers (B1..B7 per the
+ * `readiness-rubric` rule, RRR-1 #1853), a verdict flip to `NOT_READY` when any
+ * blocker stands, and the required operator-language narrowed claim. Blocker 7
+ * ("no way to prove the claimed user-visible outcome") is expressed in PRD
+ * #1738's claim→evidence shape (`claim-evidence-mapping`) so there is exactly
+ * one definition of what establishes a claim across both PRDs.
+ *
+ * It gates a *claim*, not a *process*: per intake decision O1 nothing here
+ * hard-blocks. The verdict ladder is the shipped one — no new enum (F2). The
+ * blocker set is closed in v1 and extended only by editing this module and the
+ * rule (intake decision O4).
+ * @module cli/doctor-readiness-blockers
+ */
+/** Verdict ladder reused from the shipped doctor surface (readiness-rubric). */
+export type ReadinessVerdict = "READY" | "READY_WITH_WARNINGS" | "NOT_READY";
+/**
+ * The closed v1 set of seven ship blockers (readiness-rubric, RRR-1 #1853).
+ * Extending it is a deliberate rule edit, never a configuration surface (intake
+ * decision O4). A standing blocker makes the claim "an unattended fleet may run
+ * here" false and flips the verdict to `NOT_READY`.
+ */
+export declare const SHIP_BLOCKER_IDS: readonly ["B1", "B2", "B3", "B4", "B5", "B6", "B7"];
+/** One of the seven closed-set ship blocker ids. */
+export type ShipBlockerId = (typeof SHIP_BLOCKER_IDS)[number];
+/**
+ * The reason blocker 7 renders `SKIP` when PRD #1738's claim→evidence contract
+ * is unavailable — a stated reason, never a guessed provability verdict
+ * (RRR-5 technical approach point 4).
+ */
+export declare const CLAIM_EVIDENCE_UNAVAILABLE_REASON = "claim-evidence contract not yet available";
+/**
+ * PRD #1738's claim→evidence shape (`claim-evidence-mapping`), consumed — never
+ * redefined — by blocker 7. A claim binds to one boundary and is established
+ * only by evidence of a kind that reaches it; a non-empty `not_established`
+ * means the user-visible outcome is not provable.
+ */
+interface ClaimEvidence {
+    readonly claim_id?: string;
+    readonly boundary?: string;
+    readonly required_evidence_kinds?: readonly string[];
+    readonly not_established?: readonly string[];
+    readonly not_established_reviewed?: boolean;
+}
+/**
+ * A finding attached to a readiness dimension. Loosely typed because findings
+ * arrive from the persisted `.lisa/readiness.json` (or a fixture) as JSON. A
+ * finding evidences a blocker only when it names one and carries evidence.
+ */
+interface ReadinessFinding {
+    readonly blocker?: string;
+    readonly severity?: string;
+    readonly blocking?: boolean;
+    readonly invariant_violated?: string;
+    readonly evidence?: string;
+    readonly claim_evidence?: ClaimEvidence;
+    readonly why_proof_missed?: string;
+    readonly root_correction?: string;
+    readonly machinery_to_remove?: readonly string[];
+}
+/** The minimal dimension shape blocker detection reads (record or fixture). */
+export interface ReadinessDimensionInput {
+    readonly id: string;
+    readonly status: string;
+    readonly findings: readonly unknown[];
+}
+/**
+ * A standing ship blocker plus the finding that evidences it. A blocker is
+ * never emitted without an evidencing finding — the same discipline
+ * `convergent-review` applies to blocking findings without a failure scenario.
+ */
+export interface DetectedBlocker {
+    readonly id: ShipBlockerId;
+    readonly label: string;
+    readonly owning_dimensions: readonly string[];
+    readonly dimension_id: string;
+    readonly invariant_violated: string;
+    readonly evidence: string;
+    readonly claim_evidence?: ClaimEvidence;
+}
+/** Options shared by the blocker-detection surfaces. */
+export interface BlockerDetectionOptions {
+    /**
+     * Whether PRD #1738's claim→evidence contract is available. When `false`,
+     * blocker 7 degrades to `SKIP` with a stated reason instead of guessing.
+     * Defaults to `true` — #1738 has landed.
+     */
+    readonly claimEvidenceContractAvailable?: boolean;
+}
+/** The provability (blocker 7) sub-assessment for the execution/proof dimension. */
+export interface ProvabilityAssessment {
+    readonly status: "STANDS" | "CLEAR" | "SKIP";
+    readonly reason?: string;
+    readonly finding?: ReadinessFinding;
+}
+/** The blocker-gate assessment `checkRepositoryReadiness` persists. */
+export interface ReadinessAssessment {
+    readonly verdict: ReadinessVerdict;
+    readonly blockers: readonly DetectedBlocker[];
+    readonly narrowed_claim: string | null;
+}
+/**
+ * Gate the unattended-operation claim on the seven ship blockers and, when any
+ * stands, emit the narrowed claim. This is RRR-5's pure core: it consumes the
+ * dimension findings, maps them to blockers (blocker 7 via PRD #1738's evidence
+ * shape), flips the verdict to `NOT_READY` when a blocker stands, and produces
+ * the operator-language narrowed claim. It gates a *claim*, not a *process* —
+ * intake decision O1 keeps every Lisa surface warn-only.
+ * @param dimensions - Per-dimension records (from the report or a fixture)
+ * @param options - Blocker-detection options (claim→evidence availability)
+ * @returns The verdict, standing blockers, and narrowed claim
+ */
+export declare function assessReadiness(dimensions: readonly ReadinessDimensionInput[], options?: BlockerDetectionOptions): ReadinessAssessment;
+/**
+ * Assess blocker 7 — "no way to prove the claimed user-visible outcome" — from
+ * the execution/proof dimension, expressed in PRD #1738's claim→evidence shape.
+ * The outcome is unprovable (the blocker STANDS) when a claim's
+ * `not_established` list is non-empty; it is CLEAR when that list is empty. If
+ * #1738's contract is unavailable, or a blocker-7 finding is not expressed in
+ * its shape, the assessment is `SKIP` with a stated reason rather than a guess.
+ * @param dimension - The execution/proof dimension record, if present
+ * @param options - Blocker-detection options (claim→evidence availability)
+ * @returns The provability sub-assessment
+ */
+export declare function assessProvabilityBlocker(dimension: ReadinessDimensionInput | undefined, options?: BlockerDetectionOptions): ProvabilityAssessment;
+/**
+ * Detect the standing ship blockers from dimension findings — a pure mapping
+ * from findings to the closed set B1..B7. Blockers 1-6 stand on an evidencing
+ * finding that names them; blocker 7 stands only via {@link assessProvabilityBlocker}
+ * over PRD #1738's evidence shape. Emitted in fixed id order for a deterministic
+ * report; a blocker with no evidencing finding is absent.
+ * @param dimensions - Per-dimension records (from the report or a fixture)
+ * @param options - Blocker-detection options (claim→evidence availability)
+ * @returns The standing blockers, ordered by id
+ */
+export declare function detectShipBlockers(dimensions: readonly ReadinessDimensionInput[], options?: BlockerDetectionOptions): readonly DetectedBlocker[];
+/**
+ * Produce the narrowed claim: the required, operator-language statement of what
+ * the repository is NOT ready for AND what it IS ready for whenever a blocker
+ * stands. Returns `null` when no blocker stands (a `READY`/`READY_WITH_WARNINGS`
+ * report carries no narrowed claim). Governed by the `factory-model` rule —
+ * written outward for a non-technical operator at the gate.
+ * @param blockers - Standing ship blockers
+ * @returns The narrowed claim, or null when nothing stands
+ */
+export declare function computeNarrowedClaim(blockers: readonly DetectedBlocker[]): string | null;
+export {};
+//# sourceMappingURL=doctor-readiness-blockers.d.ts.map

package/dist/cli/doctor-readiness-blockers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"doctor-readiness-blockers.d.ts","sourceRoot":"","sources":["../../src/cli/doctor-readiness-blockers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,gFAAgF;AAChF,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,qBAAqB,GAAG,WAAW,CAAC;AAU7E;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,qDAQnB,CAAC;AAEX,oDAAoD;AACpD,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAK9D;;;;GAIG;AACH,eAAO,MAAM,iCAAiC,8CACD,CAAC;AA+C9C;;;;;GAKG;AACH,UAAU,aAAa;IACrB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,uBAAuB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrD,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,wBAAwB,CAAC,EAAE,OAAO,CAAC;CAC7C;AAED;;;;GAIG;AACH,UAAU,gBAAgB;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,CAAC,EAAE,aAAa,CAAC;IACxC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD;AAED,+EAA+E;AAC/E,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;CACvC;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,CAAC,EAAE,aAAa,CAAC;CACzC;AAED,wDAAwD;AACxD,MAAM,WAAW,uBAAuB;IACtC;;;;OAIG;IACH,QAAQ,CAAC,8BAA8B,CAAC,EAAE,OAAO,CAAC;CACnD;AAED,oFAAoF;AACpF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAC;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAED,uEAAuE;AACvE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;CACxC;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,SAAS,uBAAuB,EAAE,EAC9C,OAAO,GAAE,uBAA4B,GACpC,mBAAmB,CAOrB;AAyED;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,uBAAuB,GAAG,SAAS,EAC9C,OAAO,GAAE,uBAA4B,GACpC,qBAAqB,CAsBvB;AAmED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,SAAS,uBAAuB,EAAE,EAC9C,OAAO,GAAE,uBAA4B,GACpC,SAAS,eAAe,EAAE,CAI5B;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,SAAS,eAAe,EAAE,GACnC,MAAM,GAAG,IAAI,CAgBf"}

package/dist/cli/doctor-readiness-blockers.js

@@ -0,0 +1,280 @@
+/**
+ * The seven-blocker gate and narrowed claim for repository readiness (RRR-5,
+ * #1857).
+ *
+ * RRR-3 (#1855) produces the eight readiness dimensions and persists the report;
+ * this module turns their findings into the thing that decides what the
+ * repository may be *claimed* to be. It is a pure mapping from dimension
+ * findings to the closed set of seven ship blockers (B1..B7 per the
+ * `readiness-rubric` rule, RRR-1 #1853), a verdict flip to `NOT_READY` when any
+ * blocker stands, and the required operator-language narrowed claim. Blocker 7
+ * ("no way to prove the claimed user-visible outcome") is expressed in PRD
+ * #1738's claim→evidence shape (`claim-evidence-mapping`) so there is exactly
+ * one definition of what establishes a claim across both PRDs.
+ *
+ * It gates a *claim*, not a *process*: per intake decision O1 nothing here
+ * hard-blocks. The verdict ladder is the shipped one — no new enum (F2). The
+ * blocker set is closed in v1 and extended only by editing this module and the
+ * rule (intake decision O4).
+ * @module cli/doctor-readiness-blockers
+ */
+/** Dimension ids owned by one or more blockers (readiness-rubric table). */
+const DIMENSION_CONTEXT_ROUTING = "context-routing";
+const DIMENSION_DOMAIN_OWNERSHIP = "domain-ownership";
+const DIMENSION_EXECUTION_PROOF = "execution-proof";
+const DIMENSION_FEEDBACK_GUARDRAILS = "feedback-guardrails";
+const DIMENSION_DEPENDENCIES_SUPPLY_CHAIN = "dependencies-supply-chain";
+const DIMENSION_DELIVERY_AUTHORITY = "delivery-authority";
+/**
+ * The closed v1 set of seven ship blockers (readiness-rubric, RRR-1 #1853).
+ * Extending it is a deliberate rule edit, never a configuration surface (intake
+ * decision O4). A standing blocker makes the claim "an unattended fleet may run
+ * here" false and flips the verdict to `NOT_READY`.
+ */
+export const SHIP_BLOCKER_IDS = [
+    "B1",
+    "B2",
+    "B3",
+    "B4",
+    "B5",
+    "B6",
+    "B7",
+];
+/** The blocker-7 id, named once so the provability path stays legible. */
+const PROVABILITY_BLOCKER_ID = "B7";
+/**
+ * The reason blocker 7 renders `SKIP` when PRD #1738's claim→evidence contract
+ * is unavailable — a stated reason, never a guessed provability verdict
+ * (RRR-5 technical approach point 4).
+ */
+export const CLAIM_EVIDENCE_UNAVAILABLE_REASON = "claim-evidence contract not yet available";
+/**
+ * Blocker → owning-dimension mapping, cited verbatim from the `readiness-rubric`
+ * seven-blocker table (RRR-1). This module consumes that table; it does not
+ * redefine the vocabulary.
+ */
+const SHIP_BLOCKERS = {
+    B1: {
+        label: "A realistic path causes silent data loss",
+        owning_dimensions: [DIMENSION_DOMAIN_OWNERSHIP],
+    },
+    B2: {
+        label: "A release path bypasses the validated artifact",
+        owning_dimensions: [DIMENSION_DELIVERY_AUTHORITY],
+    },
+    B3: {
+        label: "Credentials carry material unintended authority",
+        owning_dimensions: [DIMENSION_DELIVERY_AUTHORITY],
+    },
+    B4: {
+        label: "A consequential operation has no gate and no recovery",
+        owning_dimensions: [
+            DIMENSION_DOMAIN_OWNERSHIP,
+            DIMENSION_FEEDBACK_GUARDRAILS,
+        ],
+    },
+    B5: {
+        label: "An owned compatibility or security surface has no confidence model",
+        owning_dimensions: [DIMENSION_DEPENDENCIES_SUPPLY_CHAIN],
+    },
+    B6: {
+        label: "Documentation overstates enforced guarantees",
+        owning_dimensions: [DIMENSION_CONTEXT_ROUTING],
+    },
+    B7: {
+        label: "There is no way to prove the claimed user-visible outcome",
+        owning_dimensions: [DIMENSION_EXECUTION_PROOF],
+    },
+};
+/**
+ * Gate the unattended-operation claim on the seven ship blockers and, when any
+ * stands, emit the narrowed claim. This is RRR-5's pure core: it consumes the
+ * dimension findings, maps them to blockers (blocker 7 via PRD #1738's evidence
+ * shape), flips the verdict to `NOT_READY` when a blocker stands, and produces
+ * the operator-language narrowed claim. It gates a *claim*, not a *process* —
+ * intake decision O1 keeps every Lisa surface warn-only.
+ * @param dimensions - Per-dimension records (from the report or a fixture)
+ * @param options - Blocker-detection options (claim→evidence availability)
+ * @returns The verdict, standing blockers, and narrowed claim
+ */
+export function assessReadiness(dimensions, options = {}) {
+    const blockers = detectShipBlockers(dimensions, options);
+    return {
+        verdict: computeReadinessVerdict(dimensions, blockers),
+        blockers,
+        narrowed_claim: computeNarrowedClaim(blockers),
+    };
+}
+/**
+ * Reduce dimensions and standing blockers to the shipped verdict ladder. A
+ * standing ship blocker is the only thing that yields `NOT_READY` (the rubric's
+ * definition); otherwise any non-clean dimension is `READY_WITH_WARNINGS`, and
+ * an all-clean report is `READY`. No new verdict enum (F2).
+ * @param dimensions - Per-dimension records
+ * @param blockers - Standing ship blockers
+ * @returns Overall verdict
+ */
+function computeReadinessVerdict(dimensions, blockers) {
+    if (blockers.length > 0) {
+        return "NOT_READY";
+    }
+    if (dimensions.some(dimension => dimension.status === "FAIL" || dimension.status === "WARN")) {
+        return "READY_WITH_WARNINGS";
+    }
+    return "READY";
+}
+/**
+ * Coerce an untyped persisted finding into the {@link ReadinessFinding} shape.
+ * @param value - A raw finding value from JSON
+ * @returns The finding as a typed object, or an empty object when not one
+ */
+function coerceFinding(value) {
+    return typeof value === "object" && value !== null
+        ? value
+        : {};
+}
+/**
+ * Whether a finding carries the evidence a blocker needs to be emitted. A
+ * finding that names a blocker but carries no evidence is malformed and must be
+ * dropped, never emitted bare.
+ * @param finding - The finding to check
+ * @returns True when the finding has non-empty evidence text
+ */
+function hasEvidence(finding) {
+    return typeof finding.evidence === "string" && finding.evidence.trim() !== "";
+}
+/**
+ * Locate the first finding across all dimensions that evidences a blocker id.
+ * @param dimensions - Per-dimension records
+ * @param blockerId - The ship blocker id to evidence
+ * @returns The evidencing finding and its dimension id, or undefined
+ */
+function locateEvidencingFinding(dimensions, blockerId) {
+    for (const dimension of dimensions) {
+        for (const raw of dimension.findings) {
+            const finding = coerceFinding(raw);
+            if (finding.blocker === blockerId && hasEvidence(finding)) {
+                return { dimensionId: dimension.id, finding };
+            }
+        }
+    }
+    return undefined;
+}
+/**
+ * Assess blocker 7 — "no way to prove the claimed user-visible outcome" — from
+ * the execution/proof dimension, expressed in PRD #1738's claim→evidence shape.
+ * The outcome is unprovable (the blocker STANDS) when a claim's
+ * `not_established` list is non-empty; it is CLEAR when that list is empty. If
+ * #1738's contract is unavailable, or a blocker-7 finding is not expressed in
+ * its shape, the assessment is `SKIP` with a stated reason rather than a guess.
+ * @param dimension - The execution/proof dimension record, if present
+ * @param options - Blocker-detection options (claim→evidence availability)
+ * @returns The provability sub-assessment
+ */
+export function assessProvabilityBlocker(dimension, options = {}) {
+    if (options.claimEvidenceContractAvailable === false) {
+        return { status: "SKIP", reason: CLAIM_EVIDENCE_UNAVAILABLE_REASON };
+    }
+    const finding = (dimension?.findings ?? [])
+        .map(coerceFinding)
+        .find(candidate => candidate.blocker === PROVABILITY_BLOCKER_ID);
+    if (!finding) {
+        return { status: "CLEAR" };
+    }
+    const claimEvidence = finding.claim_evidence;
+    if (!claimEvidence || !Array.isArray(claimEvidence.required_evidence_kinds)) {
+        // A blocker-7 finding not expressed in #1738's shape cannot be assessed:
+        // degrade to SKIP with a stated reason instead of inventing a stand-in.
+        return { status: "SKIP", reason: CLAIM_EVIDENCE_UNAVAILABLE_REASON };
+    }
+    const notEstablished = Array.isArray(claimEvidence.not_established)
+        ? claimEvidence.not_established
+        : [];
+    return notEstablished.length > 0
+        ? { status: "STANDS", finding }
+        : { status: "CLEAR" };
+}
+/**
+ * Build a {@link DetectedBlocker} from an evidencing finding, stamping the
+ * cited label and owning dimensions from the readiness-rubric table.
+ * @param id - The ship blocker id
+ * @param dimensionId - The dimension the evidencing finding was found in
+ * @param finding - The evidencing finding
+ * @returns The detected blocker
+ */
+function buildDetectedBlocker(id, dimensionId, finding) {
+    const spec = SHIP_BLOCKERS[id];
+    return {
+        id,
+        label: spec.label,
+        owning_dimensions: spec.owning_dimensions,
+        dimension_id: dimensionId,
+        invariant_violated: typeof finding.invariant_violated === "string"
+            ? finding.invariant_violated
+            : "",
+        evidence: typeof finding.evidence === "string" ? finding.evidence : "",
+        ...(finding.claim_evidence
+            ? { claim_evidence: finding.claim_evidence }
+            : {}),
+    };
+}
+/**
+ * Resolve the standing blocker (if any) for a single blocker id. Blocker 7
+ * routes through {@link assessProvabilityBlocker}; blockers 1-6 stand on the
+ * first evidencing finding that names them.
+ * @param dimensions - Per-dimension records
+ * @param id - The ship blocker id to resolve
+ * @param options - Blocker-detection options (claim→evidence availability)
+ * @returns A single-element array with the standing blocker, or an empty array
+ */
+function resolveBlocker(dimensions, id, options) {
+    if (id === PROVABILITY_BLOCKER_ID) {
+        const provability = assessProvabilityBlocker(dimensions.find(dimension => dimension.id === DIMENSION_EXECUTION_PROOF), options);
+        return provability.status === "STANDS" && provability.finding
+            ? [
+                buildDetectedBlocker(id, DIMENSION_EXECUTION_PROOF, provability.finding),
+            ]
+            : [];
+    }
+    const located = locateEvidencingFinding(dimensions, id);
+    return located
+        ? [buildDetectedBlocker(id, located.dimensionId, located.finding)]
+        : [];
+}
+/**
+ * Detect the standing ship blockers from dimension findings — a pure mapping
+ * from findings to the closed set B1..B7. Blockers 1-6 stand on an evidencing
+ * finding that names them; blocker 7 stands only via {@link assessProvabilityBlocker}
+ * over PRD #1738's evidence shape. Emitted in fixed id order for a deterministic
+ * report; a blocker with no evidencing finding is absent.
+ * @param dimensions - Per-dimension records (from the report or a fixture)
+ * @param options - Blocker-detection options (claim→evidence availability)
+ * @returns The standing blockers, ordered by id
+ */
+export function detectShipBlockers(dimensions, options = {}) {
+    return SHIP_BLOCKER_IDS.flatMap(id => resolveBlocker(dimensions, id, options));
+}
+/**
+ * Produce the narrowed claim: the required, operator-language statement of what
+ * the repository is NOT ready for AND what it IS ready for whenever a blocker
+ * stands. Returns `null` when no blocker stands (a `READY`/`READY_WITH_WARNINGS`
+ * report carries no narrowed claim). Governed by the `factory-model` rule —
+ * written outward for a non-technical operator at the gate.
+ * @param blockers - Standing ship blockers
+ * @returns The narrowed claim, or null when nothing stands
+ */
+export function computeNarrowedClaim(blockers) {
+    if (blockers.length === 0) {
+        return null;
+    }
+    const list = blockers
+        .map(blocker => `${blocker.id} — ${blocker.label}`)
+        .join("; ");
+    const standing = blockers.length === 1
+        ? "1 ship blocker stands"
+        : `${blockers.length} ship blockers stand`;
+    return (`This repository is NOT ready for unattended fleet operation because ` +
+        `${standing}: ${list}. It IS ready for supervised, single-ticket agent ` +
+        `work with a human reviewing and approving each change before it ships.`);
+}
+//# sourceMappingURL=doctor-readiness-blockers.js.map

package/dist/cli/doctor-readiness-blockers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"doctor-readiness-blockers.js","sourceRoot":"","sources":["../../src/cli/doctor-readiness-blockers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAKH,4EAA4E;AAC5E,MAAM,yBAAyB,GAAG,iBAAiB,CAAC;AACpD,MAAM,0BAA0B,GAAG,kBAAkB,CAAC;AACtD,MAAM,yBAAyB,GAAG,iBAAiB,CAAC;AACpD,MAAM,6BAA6B,GAAG,qBAAqB,CAAC;AAC5D,MAAM,mCAAmC,GAAG,2BAA2B,CAAC;AACxE,MAAM,4BAA4B,GAAG,oBAAoB,CAAC;AAE1D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;CACI,CAAC;AAKX,0EAA0E;AAC1E,MAAM,sBAAsB,GAAkB,IAAI,CAAC;AAEnD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAC5C,2CAA2C,CAAC;AAQ9C;;;;GAIG;AACH,MAAM,aAAa,GAA2C;IAC5D,EAAE,EAAE;QACF,KAAK,EAAE,0CAA0C;QACjD,iBAAiB,EAAE,CAAC,0BAA0B,CAAC;KAChD;IACD,EAAE,EAAE;QACF,KAAK,EAAE,gDAAgD;QACvD,iBAAiB,EAAE,CAAC,4BAA4B,CAAC;KAClD;IACD,EAAE,EAAE;QACF,KAAK,EAAE,iDAAiD;QACxD,iBAAiB,EAAE,CAAC,4BAA4B,CAAC;KAClD;IACD,EAAE,EAAE;QACF,KAAK,EAAE,uDAAuD;QAC9D,iBAAiB,EAAE;YACjB,0BAA0B;YAC1B,6BAA6B;SAC9B;KACF;IACD,EAAE,EAAE;QACF,KAAK,EAAE,oEAAoE;QAC3E,iBAAiB,EAAE,CAAC,mCAAmC,CAAC;KACzD;IACD,EAAE,EAAE;QACF,KAAK,EAAE,8CAA8C;QACrD,iBAAiB,EAAE,CAAC,yBAAyB,CAAC;KAC/C;IACD,EAAE,EAAE;QACF,KAAK,EAAE,2DAA2D;QAClE,iBAAiB,EAAE,CAAC,yBAAyB,CAAC;KAC/C;CACF,CAAC;AA+EF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAC7B,UAA8C,EAC9C,UAAmC,EAAE;IAErC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACzD,OAAO;QACL,OAAO,EAAE,uBAAuB,CAAC,UAAU,EAAE,QAAQ,CAAC;QACtD,QAAQ;QACR,cAAc,EAAE,oBAAoB,CAAC,QAAQ,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,uBAAuB,CAC9B,UAA8C,EAC9C,QAAoC;IAEpC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IACE,UAAU,CAAC,IAAI,CACb,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,CACxE,EACD,CAAC;QACD,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAChD,CAAC,CAAE,KAA0B;QAC7B,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,OAAyB;IAC5C,OAAO,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AAChF,CAAC;AAED;;;;;GAKG;AACH,SAAS,uBAAuB,CAC9B,UAA8C,EAC9C,SAAwB;IAIxB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;YACnC,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1D,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CACtC,SAA8C,EAC9C,UAAmC,EAAE;IAErC,IAAI,OAAO,CAAC,8BAA8B,KAAK,KAAK,EAAE,CAAC;QACrD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iCAAiC,EAAE,CAAC;IACvE,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,SAAS,EAAE,QAAQ,IAAI,EAAE,CAAC;SACxC,GAAG,CAAC,aAAa,CAAC;SAClB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,sBAAsB,CAAC,CAAC;IACnE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAC7B,CAAC;IACD,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,CAAC;IAC7C,IAAI,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,uBAAuB,CAAC,EAAE,CAAC;QAC5E,yEAAyE;QACzE,wEAAwE;QACxE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iCAAiC,EAAE,CAAC;IACvE,CAAC;IACD,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,eAAe,CAAC;QACjE,CAAC,CAAC,aAAa,CAAC,eAAe;QAC/B,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,cAAc,CAAC,MAAM,GAAG,CAAC;QAC9B,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE;QAC/B,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC1B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,oBAAoB,CAC3B,EAAiB,EACjB,WAAmB,EACnB,OAAyB;IAEzB,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IAC/B,OAAO;QACL,EAAE;QACF,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,YAAY,EAAE,WAAW;QACzB,kBAAkB,EAChB,OAAO,OAAO,CAAC,kBAAkB,KAAK,QAAQ;YAC5C,CAAC,CAAC,OAAO,CAAC,kBAAkB;YAC5B,CAAC,CAAC,EAAE;QACR,QAAQ,EAAE,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtE,GAAG,CAAC,OAAO,CAAC,cAAc;YACxB,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE;YAC5C,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,cAAc,CACrB,UAA8C,EAC9C,EAAiB,EACjB,OAAgC;IAEhC,IAAI,EAAE,KAAK,sBAAsB,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,wBAAwB,CAC1C,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,yBAAyB,CAAC,EACxE,OAAO,CACR,CAAC;QACF,OAAO,WAAW,CAAC,MAAM,KAAK,QAAQ,IAAI,WAAW,CAAC,OAAO;YAC3D,CAAC,CAAC;gBACE,oBAAoB,CAClB,EAAE,EACF,yBAAyB,EACzB,WAAW,CAAC,OAAO,CACpB;aACF;YACH,CAAC,CAAC,EAAE,CAAC;IACT,CAAC;IACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACxD,OAAO,OAAO;QACZ,CAAC,CAAC,CAAC,oBAAoB,CAAC,EAAE,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAClE,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,UAA8C,EAC9C,UAAmC,EAAE;IAErC,OAAO,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CACnC,cAAc,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CACxC,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,QAAoC;IAEpC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ;SAClB,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC;SAClD,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,QAAQ,GACZ,QAAQ,CAAC,MAAM,KAAK,CAAC;QACnB,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,sBAAsB,CAAC;IAC/C,OAAO,CACL,sEAAsE;QACtE,GAAG,QAAQ,KAAK,IAAI,oDAAoD;QACxE,wEAAwE,CACzE,CAAC;AACJ,CAAC"}

package/dist/cli/doctor-readiness.d.ts

@@ -1,4 +1,6 @@
 import type { DoctorCheck } from "./doctor.js";
+export { CLAIM_EVIDENCE_UNAVAILABLE_REASON, SHIP_BLOCKER_IDS, assessProvabilityBlocker, assessReadiness, computeNarrowedClaim, detectShipBlockers, } from "./doctor-readiness-blockers.js";
+export type { BlockerDetectionOptions, DetectedBlocker, ProvabilityAssessment, ReadinessAssessment, ReadinessDimensionInput, ReadinessVerdict, ShipBlockerId, } from "./doctor-readiness-blockers.js";
 /**
  * Schema version stamped into `.lisa/readiness.json`. Bump only alongside a
  * deliberate shape change; readers key off this to stay forward-compatible.
@@ -22,11 +24,13 @@ export declare function resolveReadinessReportPath(root: string): string;
  * This is the flag-gated collector `runDoctor` appends only when
  * `options.readiness` is true, so the default doctor path stays byte-identical.
  * It is warn-only per intake decision O1: it never returns `fail` and never
- * changes doctor's exit-code semantics. Every dimension is reported (never
- * silently omitted); in this Lisa version each renders `SKIP` with a reason
- * because the evidence-gathering surfaces ship with later PRD #1739 tickets.
- * Persistence is atomic and never throws — a write error degrades the check to
- * `warn` instead of aborting the run.
+ * changes doctor's exit-code semantics — a standing blocker flips the readiness
+ * verdict to `NOT_READY` but still emits a `warn` check, because the gate is on
+ * the *claim*, not the *process*. Every dimension is reported (never silently
+ * omitted); in this Lisa version each renders `SKIP` with a reason because the
+ * evidence-gathering surfaces ship with later PRD #1739 tickets, so no blocker
+ * stands yet. Persistence is atomic and never throws — a write error degrades
+ * the check to `warn` instead of aborting the run.
  * @param targetPath - Project path to assess and persist under
  * @returns Doctor check result
  */

package/dist/cli/doctor-readiness.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"doctor-readiness.d.ts","sourceRoot":"","sources":["../../src/cli/doctor-readiness.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAS/C;;;GAGG;AACH,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAiF1C,gEAAgE;AAChE,eAAO,MAAM,uBAAuB,EAAE,SAAS,MAAM,EACA,CAAC;AAsBtD;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,wBAAwB,CAC5C,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,WAAW,CAAC,CA0CtB"}
+{"version":3,"file":"doctor-readiness.d.ts","sourceRoot":"","sources":["../../src/cli/doctor-readiness.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAW/C,OAAO,EACL,iCAAiC,EACjC,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EACV,uBAAuB,EACvB,eAAe,EACf,qBAAqB,EACrB,mBAAmB,EACnB,uBAAuB,EACvB,gBAAgB,EAChB,aAAa,GACd,MAAM,gCAAgC,CAAC;AAQxC;;;GAGG;AACH,eAAO,MAAM,wBAAwB,IAAI,CAAC;AA8E1C,gEAAgE;AAChE,eAAO,MAAM,uBAAuB,EAAE,SAAS,MAAM,EACA,CAAC;AAsBtD;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,wBAAwB,CAC5C,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,WAAW,CAAC,CA2CtB"}

package/dist/cli/doctor-readiness.js

@@ -2,7 +2,12 @@ import { rename, writeFile } from "node:fs/promises";
 import { mkdir } from "node:fs/promises";
 import * as path from "node:path";
 import process from "node:process";
+import { assessReadiness, } from "./doctor-readiness-blockers.js";
 import { getPackageVersion } from "./version.js";
+// Re-export the blocker-gate surface (RRR-5, #1857) so `.lisa/readiness.json`
+// readers and tests keep one import path even though the gate lives in a
+// sibling module for file-size hygiene.
+export { CLAIM_EVIDENCE_UNAVAILABLE_REASON, SHIP_BLOCKER_IDS, assessProvabilityBlocker, assessReadiness, computeNarrowedClaim, detectShipBlockers, } from "./doctor-readiness-blockers.js";
 /** Doctor check name for the repository-readiness collector. */
 const REPOSITORY_READINESS_CHECK_NAME = "Repository readiness";
 /** Repo-relative display path for the persisted readiness report. */
@@ -81,11 +86,13 @@ export function resolveReadinessReportPath(root) {
  * This is the flag-gated collector `runDoctor` appends only when
  * `options.readiness` is true, so the default doctor path stays byte-identical.
  * It is warn-only per intake decision O1: it never returns `fail` and never
- * changes doctor's exit-code semantics. Every dimension is reported (never
- * silently omitted); in this Lisa version each renders `SKIP` with a reason
- * because the evidence-gathering surfaces ship with later PRD #1739 tickets.
- * Persistence is atomic and never throws — a write error degrades the check to
- * `warn` instead of aborting the run.
+ * changes doctor's exit-code semantics — a standing blocker flips the readiness
+ * verdict to `NOT_READY` but still emits a `warn` check, because the gate is on
+ * the *claim*, not the *process*. Every dimension is reported (never silently
+ * omitted); in this Lisa version each renders `SKIP` with a reason because the
+ * evidence-gathering surfaces ship with later PRD #1739 tickets, so no blocker
+ * stands yet. Persistence is atomic and never throws — a write error degrades
+ * the check to `warn` instead of aborting the run.
  * @param targetPath - Project path to assess and persist under
  * @returns Doctor check result
  */
@@ -95,16 +102,16 @@ export async function checkRepositoryReadiness(targetPath) {
         status: "SKIP",
         findings: [],
     }));
-    const verdict = computeReadinessVerdict(dimensions);
+    const { verdict, blockers, narrowed_claim } = assessReadiness(dimensions);
     const report = {
         schema_version: READINESS_SCHEMA_VERSION,
         generated_at: new Date().toISOString(),
         lisa_version: resolveLisaVersion(),
         worker_signature: currentWorkerSignature(),
         verdict,
-        narrowed_claim: null,
-        blockers: [],
-        blocker_count: 0,
+        narrowed_claim,
+        blockers,
+        blocker_count: blockers.length,
         dimensions,
     };
     const reportPath = resolveReadinessReportPath(targetPath);
@@ -124,25 +131,11 @@ export async function checkRepositoryReadiness(targetPath) {
         name: REPOSITORY_READINESS_CHECK_NAME,
         status: verdict === "READY" ? "ok" : "warn",
         detail: `Repository readiness assessed: ${verdict} across 8 ownership dimensions ` +
-            `(all SKIP pending evidence wiring in later PRD #1739 tickets; see readiness-rubric). ` +
+            `(${blockers.length} standing ship blocker${blockers.length === 1 ? "" : "s"}; ` +
+            `all SKIP pending evidence wiring in later PRD #1739 tickets; see readiness-rubric). ` +
             `Report written to ${READINESS_REPORT_DISPLAY_PATH} (schema_version ${READINESS_SCHEMA_VERSION}).`,
     };
 }
-/**
- * Reduce per-dimension statuses to the shipped verdict ladder. FAIL wins over
- * WARN, WARN over the rest; a report of only PASS/SKIP is READY.
- * @param dimensions - Per-dimension records
- * @returns Overall verdict
- */
-function computeReadinessVerdict(dimensions) {
-    if (dimensions.some(dimension => dimension.status === "FAIL")) {
-        return "NOT_READY";
-    }
-    if (dimensions.some(dimension => dimension.status === "WARN")) {
-        return "READY_WITH_WARNINGS";
-    }
-    return "READY";
-}
 /**
  * Atomically write the readiness report: write a sibling temp file, then rename
  * it into place so a reader never observes a partial document.

package/dist/cli/doctor-readiness.js.map

@@ -1 +1 @@
-{"version":3,"file":"doctor-readiness.js","sourceRoot":"","sources":["../../src/cli/doctor-readiness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,OAAO,MAAM,cAAc,CAAC;AAEnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,gEAAgE;AAChE,MAAM,+BAA+B,GAAG,sBAAsB,CAAC;AAE/D,qEAAqE;AACrE,MAAM,6BAA6B,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;AAE3E;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAe1C;;;;;;GAMG;AACH,MAAM,oBAAoB,GAAsC;IAC9D;QACE,EAAE,EAAE,iBAAiB;QACrB,QAAQ,EACN,mIAAmI;QACrI,UAAU,EACR,kIAAkI;KACrI;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,QAAQ,EACN,2FAA2F;QAC7F,UAAU,EACR,2IAA2I;KAC9I;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,QAAQ,EACN,kHAAkH;QACpH,UAAU,EACR,uJAAuJ;KAC1J;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,QAAQ,EACN,iIAAiI;QACnI,UAAU,EACR,uJAAuJ;KAC1J;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,QAAQ,EACN,+GAA+G;QACjH,UAAU,EACR,8GAA8G;KACjH;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,QAAQ,EACN,qFAAqF;QACvF,UAAU,EACR,oHAAoH;KACvH;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,QAAQ,EACN,gLAAgL;QAClL,UAAU,EACR,mIAAmI;KACtI;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,QAAQ,EACN,iIAAiI;QACnI,UAAU,EACR,8JAA8J;KACjK;CACF,CAAC;AAEF,gEAAgE;AAChE,MAAM,CAAC,MAAM,uBAAuB,GAClC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;AAsBtD;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,IAAY;IACrD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,UAAkB;IAElB,MAAM,UAAU,GACd,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACrC,EAAE,EAAE,SAAS,CAAC,EAAE;QAChB,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,EAAE;KACb,CAAC,CAAC,CAAC;IACN,MAAM,OAAO,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,MAAM,GAAoB;QAC9B,cAAc,EAAE,wBAAwB;QACxC,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,YAAY,EAAE,kBAAkB,EAAE;QAClC,gBAAgB,EAAE,sBAAsB,EAAE;QAC1C,OAAO;QACP,cAAc,EAAE,IAAI;QACpB,QAAQ,EAAE,EAAE;QACZ,aAAa,EAAE,CAAC;QAChB,UAAU;KACX,CAAC;IAEF,MAAM,UAAU,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,CAAC;QACH,MAAM,sBAAsB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,+BAA+B;YACrC,MAAM,EAAE,MAAM;YACd,MAAM,EACJ,kCAAkC,OAAO,mCAAmC;gBAC5E,uCAAuC,6BAA6B,IAAI;gBACxE,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SAC9D,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM;QAC3C,MAAM,EACJ,kCAAkC,OAAO,iCAAiC;YAC1E,uFAAuF;YACvF,qBAAqB,6BAA6B,oBAAoB,wBAAwB,IAAI;KACrG,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,uBAAuB,CAC9B,UAA+C;IAE/C,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;QAC9D,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;QAC9D,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,sBAAsB,CACnC,UAAkB,EAClB,MAAuB;IAEvB,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,GAAG,UAAU,MAAM,CAAC;IACrC,MAAM,SAAS,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB;IACzB,IAAI,CAAC;QACH,OAAO,iBAAiB,EAAE,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,sBAAsB;IAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,CACX,GAAG,CAAC,gBAAgB;QACpB,GAAG,CAAC,iBAAiB;QACrB,CAAC,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,aAAa;YAClC,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,GAAG,CAAC,UAAU;gBACd,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,SAAS,CAAC,CACjB,CAAC,WAAW,EAAE,CAAC;IAChB,MAAM,KAAK,GAAG,GAAG,CAAC,iBAAiB,IAAI,GAAG,CAAC,WAAW,IAAI,SAAS,CAAC;IACpE,MAAM,OAAO,GAAG,GAAG,CAAC,mBAAmB,IAAI,GAAG,CAAC,aAAa,IAAI,SAAS,CAAC;IAC1E,OAAO,GAAG,IAAI,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;AACvC,CAAC"}
+{"version":3,"file":"doctor-readiness.js","sourceRoot":"","sources":["../../src/cli/doctor-readiness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,OAAO,MAAM,cAAc,CAAC;AAEnC,OAAO,EACL,eAAe,GAGhB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,8EAA8E;AAC9E,yEAAyE;AACzE,wCAAwC;AACxC,OAAO,EACL,iCAAiC,EACjC,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,gCAAgC,CAAC;AAWxC,gEAAgE;AAChE,MAAM,+BAA+B,GAAG,sBAAsB,CAAC;AAE/D,qEAAqE;AACrE,MAAM,6BAA6B,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;AAE3E;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAY1C;;;;;;GAMG;AACH,MAAM,oBAAoB,GAAsC;IAC9D;QACE,EAAE,EAAE,iBAAiB;QACrB,QAAQ,EACN,mIAAmI;QACrI,UAAU,EACR,kIAAkI;KACrI;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,QAAQ,EACN,2FAA2F;QAC7F,UAAU,EACR,2IAA2I;KAC9I;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,QAAQ,EACN,kHAAkH;QACpH,UAAU,EACR,uJAAuJ;KAC1J;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,QAAQ,EACN,iIAAiI;QACnI,UAAU,EACR,uJAAuJ;KAC1J;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,QAAQ,EACN,+GAA+G;QACjH,UAAU,EACR,8GAA8G;KACjH;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,QAAQ,EACN,qFAAqF;QACvF,UAAU,EACR,oHAAoH;KACvH;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,QAAQ,EACN,gLAAgL;QAClL,UAAU,EACR,mIAAmI;KACtI;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,QAAQ,EACN,iIAAiI;QACnI,UAAU,EACR,8JAA8J;KACjK;CACF,CAAC;AAEF,gEAAgE;AAChE,MAAM,CAAC,MAAM,uBAAuB,GAClC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;AAsBtD;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,IAAY;IACrD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,UAAkB;IAElB,MAAM,UAAU,GACd,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACrC,EAAE,EAAE,SAAS,CAAC,EAAE;QAChB,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,EAAE;KACb,CAAC,CAAC,CAAC;IACN,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAoB;QAC9B,cAAc,EAAE,wBAAwB;QACxC,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,YAAY,EAAE,kBAAkB,EAAE;QAClC,gBAAgB,EAAE,sBAAsB,EAAE;QAC1C,OAAO;QACP,cAAc;QACd,QAAQ;QACR,aAAa,EAAE,QAAQ,CAAC,MAAM;QAC9B,UAAU;KACX,CAAC;IAEF,MAAM,UAAU,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,CAAC;QACH,MAAM,sBAAsB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,+BAA+B;YACrC,MAAM,EAAE,MAAM;YACd,MAAM,EACJ,kCAAkC,OAAO,mCAAmC;gBAC5E,uCAAuC,6BAA6B,IAAI;gBACxE,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SAC9D,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM;QAC3C,MAAM,EACJ,kCAAkC,OAAO,iCAAiC;YAC1E,IAAI,QAAQ,CAAC,MAAM,yBAAyB,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI;YAChF,sFAAsF;YACtF,qBAAqB,6BAA6B,oBAAoB,wBAAwB,IAAI;KACrG,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,sBAAsB,CACnC,UAAkB,EAClB,MAAuB;IAEvB,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,GAAG,UAAU,MAAM,CAAC;IACrC,MAAM,SAAS,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB;IACzB,IAAI,CAAC;QACH,OAAO,iBAAiB,EAAE,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,sBAAsB;IAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,CACX,GAAG,CAAC,gBAAgB;QACpB,GAAG,CAAC,iBAAiB;QACrB,CAAC,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,aAAa;YAClC,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,GAAG,CAAC,UAAU;gBACd,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,SAAS,CAAC,CACjB,CAAC,WAAW,EAAE,CAAC;IAChB,MAAM,KAAK,GAAG,GAAG,CAAC,iBAAiB,IAAI,GAAG,CAAC,WAAW,IAAI,SAAS,CAAC;IACpE,MAAM,OAAO,GAAG,GAAG,CAAC,mBAAmB,IAAI,GAAG,CAAC,aAAa,IAAI,SAAS,CAAC;IAC1E,OAAO,GAAG,IAAI,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;AACvC,CAAC"}

package/dist/core/upstream-evidence-manifest.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"upstream-evidence-manifest.d.ts","sourceRoot":"","sources":["../../src/core/upstream-evidence-manifest.ts"],"names":[],"mappings":"AACA,iFAAiF;AACjF,eAAO,MAAM,0BAA0B,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAggEpE,CAAC;AAEL,4EAA4E;AAC5E,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAshMjE,CAAC;AAEL,sFAAsF;AACtF,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAk6I/D,CAAC"}
+{"version":3,"file":"upstream-evidence-manifest.d.ts","sourceRoot":"","sources":["../../src/core/upstream-evidence-manifest.ts"],"names":[],"mappings":"AACA,iFAAiF;AACjF,eAAO,MAAM,0BAA0B,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAggEpE,CAAC;AAEL,4EAA4E;AAC5E,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAkiMjE,CAAC;AAEL,sFAAsF;AACtF,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAk6I/D,CAAC"}

package/dist/core/upstream-evidence-manifest.js

@@ -6225,6 +6225,7 @@ export const UPSTREAM_SURFACE_MANIFEST = Object.freeze({
     "src/cli/doctor-kane.ts": true,
     "src/cli/doctor-legacy-overlay.ts": true,
     "src/cli/doctor-monitor-thresholds.ts": true,
+    "src/cli/doctor-readiness-blockers.ts": true,
     "src/cli/doctor-readiness.ts": true,
     "src/cli/doctor-worker-epoch.ts": true,
     "src/cli/doctor.ts": true,
@@ -6452,6 +6453,16 @@ export const UPSTREAM_SURFACE_MANIFEST = Object.freeze({
     "tests/fixtures/automation-status/attention-needed-codex.json": true,
     "tests/fixtures/automation-status/partial-support-codex.json": true,
     "tests/fixtures/doctor/not-ready-missing-config.json": true,
+    "tests/fixtures/doctor/readiness/b1-silent-data-loss.json": true,
+    "tests/fixtures/doctor/readiness/b2-release-bypasses-artifact.json": true,
+    "tests/fixtures/doctor/readiness/b3-credential-authority.json": true,
+    "tests/fixtures/doctor/readiness/b4-no-gate-no-recovery.json": true,
+    "tests/fixtures/doctor/readiness/b5-no-confidence-model.json": true,
+    "tests/fixtures/doctor/readiness/b6-docs-overstate-guarantees.json": true,
+    "tests/fixtures/doctor/readiness/b7-outcome-provable.json": true,
+    "tests/fixtures/doctor/readiness/b7-outcome-unprovable.json": true,
+    "tests/fixtures/doctor/readiness/malformed-blocker-without-evidence.json": true,
+    "tests/fixtures/doctor/readiness/two-blockers-b2-b7.json": true,
     "tests/fixtures/doctor/ready-with-warnings-github-self-host.json": true,
     "tests/fixtures/harness-parity-council/first-round-failed.json": true,
     "tests/fixtures/harness-parity-council/first-round-responded.json": true,
@@ -6502,6 +6513,7 @@ export const UPSTREAM_SURFACE_MANIFEST = Object.freeze({
     "tests/unit/cli/check-learnings-budget-cmd.test.ts": true,
     "tests/unit/cli/doctor-kane.test.ts": true,
     "tests/unit/cli/doctor-monitor-thresholds.test.ts": true,
+    "tests/unit/cli/doctor-readiness-blockers.test.ts": true,
     "tests/unit/cli/doctor-readiness.test.ts": true,
     "tests/unit/cli/doctor-worker-epoch.test.ts": true,
     "tests/unit/cli/doctor.test.ts": true,