@codyswann/lisa 2.272.0 → 2.274.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-journey-freshness.d.ts

@@ -0,0 +1,36 @@
+import type { WorkerJourneyEvidence } from "./doctor-worker-journey.js";
+/** The per-environment mutation policy from `.lisa.config.json` `exploration`. */
+export type MutationPolicy = "forbidden" | "read-only" | "full";
+/**
+ * Resolve the per-environment mutation policy from an already-parsed config,
+ * mirroring `lisa-use-the-product`'s gate: default `read-only`; a production-
+ * named env defaults to `forbidden` and may only be raised to `full` with a
+ * written `prodMutationAck`.
+ * @param config - Parsed `.lisa.config.json` contents
+ * @returns The resolved mutation policy
+ */
+export declare function resolveMutationPolicy(config: unknown): MutationPolicy;
+/**
+ * Resolve the mutation policy for a path by reading `.lisa.config.json`.
+ * @param targetPath - Project path to read config from
+ * @returns The resolved mutation policy (read-only when unreadable)
+ */
+export declare function resolveMutationPolicyForPath(targetPath: string): Promise<MutationPolicy>;
+/**
+ * Determine whether recorded qualification evidence is fresh enough to reuse:
+ * the epoch is in sync (no drift), evidence is present, and it is newer than the
+ * current artifact head. When the artifact head cannot be resolved, freshness
+ * falls back to "no drift and evidence present" (the shipped #1742 notion).
+ * @param evidence - Resolved worker journey evidence
+ * @param targetPath - Project path (for git artifact-head resolution)
+ * @param artifactHeadOverride - Injected artifact head (skips git resolution)
+ * @returns True when the evidence may be reused without a new journey
+ */
+export declare function isQualificationEvidenceFresh(evidence: WorkerJourneyEvidence, targetPath: string, artifactHeadOverride?: Date | null): Promise<boolean>;
+/**
+ * Narrow unknown JSON values to plain records.
+ * @param value - Value to inspect
+ * @returns True for plain object records
+ */
+export declare function isRecord(value: unknown): value is Record<string, unknown>;
+//# sourceMappingURL=doctor-readiness-journey-freshness.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"doctor-readiness-journey-freshness.d.ts","sourceRoot":"","sources":["../../src/cli/doctor-readiness-journey-freshness.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAIxE,kFAAkF;AAClF,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG,WAAW,GAAG,MAAM,CAAC;AAEhE;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,OAAO,GAAG,cAAc,CAsBrE;AAED;;;;GAIG;AACH,wBAAsB,4BAA4B,CAChD,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,cAAc,CAAC,CAYzB;AAED;;;;;;;;;GASG;AACH,wBAAsB,4BAA4B,CAChD,QAAQ,EAAE,qBAAqB,EAC/B,UAAU,EAAE,MAAM,EAClB,oBAAoB,CAAC,EAAE,IAAI,GAAG,IAAI,GACjC,OAAO,CAAC,OAAO,CAAC,CAclB;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE"}

package/dist/cli/doctor-readiness-journey-freshness.js

@@ -0,0 +1,166 @@
+/**
+ * Freshness and mutation-policy helpers for the readiness journey wiring
+ * (RRR-6, #1858).
+ *
+ * Split out of `doctor-readiness-journey.ts` for file-size hygiene: this module
+ * owns the two gates that decide *whether* a representative journey runs — the
+ * per-environment mutation policy read from `.lisa.config.json` (mirroring
+ * `lisa-use-the-product`'s gate, which readiness never overrides) and the
+ * freshness contract that decides when recorded qualification evidence may be
+ * reused instead of re-running a journey (same worker signature, evidence newer
+ * than the current artifact head).
+ * @module cli/doctor-readiness-journey-freshness
+ */
+import { existsSync } from "node:fs";
+import { readFile, stat } from "node:fs/promises";
+import * as path from "node:path";
+import { promisify } from "node:util";
+import { execFile } from "node:child_process";
+const execFileAsync = promisify(execFile);
+/**
+ * Resolve the per-environment mutation policy from an already-parsed config,
+ * mirroring `lisa-use-the-product`'s gate: default `read-only`; a production-
+ * named env defaults to `forbidden` and may only be raised to `full` with a
+ * written `prodMutationAck`.
+ * @param config - Parsed `.lisa.config.json` contents
+ * @returns The resolved mutation policy
+ */
+export function resolveMutationPolicy(config) {
+    const exploration = isRecord(config) ? config.exploration : undefined;
+    if (!isRecord(exploration)) {
+        return "read-only";
+    }
+    const environments = isRecord(exploration.environments)
+        ? exploration.environments
+        : {};
+    const envName = typeof exploration.default === "string" ? exploration.default : "default";
+    const envConfig = isRecord(environments[envName])
+        ? environments[envName]
+        : undefined;
+    const level = envConfig && typeof envConfig.mutation === "string"
+        ? envConfig.mutation
+        : undefined;
+    const ack = envConfig && typeof envConfig.prodMutationAck === "string"
+        ? envConfig.prodMutationAck.trim() !== ""
+        : false;
+    return normalizeMutationLevel(envName, level, ack);
+}
+/**
+ * Resolve the mutation policy for a path by reading `.lisa.config.json`.
+ * @param targetPath - Project path to read config from
+ * @returns The resolved mutation policy (read-only when unreadable)
+ */
+export async function resolveMutationPolicyForPath(targetPath) {
+    const configPath = path.join(targetPath, ".lisa.config.json");
+    if (!existsSync(configPath)) {
+        return "read-only";
+    }
+    try {
+        return resolveMutationPolicy(JSON.parse(await readFile(configPath, "utf8")));
+    }
+    catch {
+        return "read-only";
+    }
+}
+/**
+ * Determine whether recorded qualification evidence is fresh enough to reuse:
+ * the epoch is in sync (no drift), evidence is present, and it is newer than the
+ * current artifact head. When the artifact head cannot be resolved, freshness
+ * falls back to "no drift and evidence present" (the shipped #1742 notion).
+ * @param evidence - Resolved worker journey evidence
+ * @param targetPath - Project path (for git artifact-head resolution)
+ * @param artifactHeadOverride - Injected artifact head (skips git resolution)
+ * @returns True when the evidence may be reused without a new journey
+ */
+export async function isQualificationEvidenceFresh(evidence, targetPath, artifactHeadOverride) {
+    if (evidence.evidence === null || evidence.drift.length > 0) {
+        return false;
+    }
+    const artifactHead = artifactHeadOverride ?? (await resolveArtifactHead(targetPath));
+    if (artifactHead === null) {
+        // Cannot compare to the artifact head: fall back to the #1742 notion.
+        return true;
+    }
+    const evidenceTime = await resolveEvidenceTimestamp(evidence);
+    return (evidenceTime !== null && evidenceTime.getTime() >= artifactHead.getTime());
+}
+/**
+ * Narrow unknown JSON values to plain records.
+ * @param value - Value to inspect
+ * @returns True for plain object records
+ */
+export function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+/**
+ * Normalize a raw mutation level for a resolved environment, applying the
+ * production carve-out.
+ * @param envName - Resolved environment name
+ * @param level - Raw mutation level from config
+ * @param hasAck - Whether a non-empty prodMutationAck is present
+ * @returns The normalized mutation policy
+ */
+function normalizeMutationLevel(envName, level, hasAck) {
+    const isProduction = /^prod(uction)?$/iu.test(envName);
+    if (isProduction) {
+        if (level === "full" && hasAck) {
+            return "full";
+        }
+        return "forbidden";
+    }
+    if (level === "forbidden" || level === "full" || level === "read-only") {
+        return level;
+    }
+    return "read-only";
+}
+/**
+ * Resolve the artifact-head timestamp from the git HEAD commit time.
+ * @param targetPath - Project path to inspect
+ * @returns The HEAD commit time, or null when it cannot be resolved
+ */
+async function resolveArtifactHead(targetPath) {
+    try {
+        const { stdout } = await execFileAsync("git", ["-C", targetPath, "log", "-1", "--format=%cI"], { encoding: "utf8" });
+        const parsed = new Date(stdout.trim());
+        return Number.isNaN(parsed.getTime()) ? null : parsed;
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Resolve a timestamp for recorded qualification evidence: an explicit
+ * `qualifiedAt`/`recordedAt` on the worker entry, else the mtime of
+ * `.lisa/worker-config.json`.
+ * @param evidence - Resolved worker journey evidence
+ * @returns The evidence timestamp, or null when it cannot be resolved
+ */
+async function resolveEvidenceTimestamp(evidence) {
+    const explicit = readTimestampField(evidence.matched);
+    if (explicit !== null) {
+        return explicit;
+    }
+    try {
+        return (await stat(evidence.recordPath)).mtime;
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Read an explicit `qualifiedAt`/`recordedAt` timestamp from a worker entry.
+ * @param matched - The matched worker entry, if any
+ * @returns The parsed timestamp, or null when absent/unparseable
+ */
+function readTimestampField(matched) {
+    if (!isRecord(matched)) {
+        return null;
+    }
+    const raw = matched.qualifiedAt ?? matched.recordedAt;
+    if (typeof raw !== "string") {
+        return null;
+    }
+    const parsed = new Date(raw);
+    return Number.isNaN(parsed.getTime()) ? null : parsed;
+}
+//# sourceMappingURL=doctor-readiness-journey-freshness.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"doctor-readiness-journey-freshness.js","sourceRoot":"","sources":["../../src/cli/doctor-readiness-journey-freshness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAG9C,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAK1C;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAe;IACnD,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3B,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,MAAM,YAAY,GAAG,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC;QACrD,CAAC,CAAC,WAAW,CAAC,YAAY;QAC1B,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,OAAO,GACX,OAAO,WAAW,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC/C,CAAC,CAAE,YAAY,CAAC,OAAO,CAA6B;QACpD,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,KAAK,GACT,SAAS,IAAI,OAAO,SAAS,CAAC,QAAQ,KAAK,QAAQ;QACjD,CAAC,CAAC,SAAS,CAAC,QAAQ;QACpB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,GAAG,GACP,SAAS,IAAI,OAAO,SAAS,CAAC,eAAe,KAAK,QAAQ;QACxD,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE;QACzC,CAAC,CAAC,KAAK,CAAC;IACZ,OAAO,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AACrD,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,UAAkB;IAElB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC;IAC9D,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5B,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,CAAC;QACH,OAAO,qBAAqB,CAC1B,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAC/C,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,WAAW,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,QAA+B,EAC/B,UAAkB,EAClB,oBAAkC;IAElC,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,YAAY,GAChB,oBAAoB,IAAI,CAAC,MAAM,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC;IAClE,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,sEAAsE;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAC9D,OAAO,CACL,YAAY,KAAK,IAAI,IAAI,YAAY,CAAC,OAAO,EAAE,IAAI,YAAY,CAAC,OAAO,EAAE,CAC1E,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,sBAAsB,CAC7B,OAAe,EACf,KAAyB,EACzB,MAAe;IAEf,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvD,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,KAAK,KAAK,MAAM,IAAI,MAAM,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,mBAAmB,CAAC,UAAkB;IACnD,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CACpC,KAAK,EACL,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,CAAC,EAC/C,EAAE,QAAQ,EAAE,MAAM,EAAE,CACrB,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACvC,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,wBAAwB,CACrC,QAA+B;IAE/B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACtD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,OAAgB;IAC1C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,UAAU,CAAC;IACtD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;AACxD,CAAC"}