@specship/specship-win32-arm64 0.24.0 → 0.28.0

package/lib/dist/knowledge/facts.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Read domain facts straight from disk (KNOWLEDGE-DOC).
+ *
+ * The knowledge commands (`stale`, `check`) are file-based: they must work on
+ * a project that has never been indexed, so they read `specs/domain/**\/*.md`
+ * and run each file through the real `MarkdownSpecExtractor` — the same parse
+ * the indexer and the lint use, so all three agree on what a fact says.
+ *
+ * Read-only. Nothing in `src/knowledge/` writes to `specs/domain/`
+ * (DOM-SPECSHIP-003: domain knowledge is human-confirmed, never auto-extracted).
+ */
+export interface DomainFactFile {
+    /** The fact's `DOM-<AREA>-NNN` id. */
+    id: string;
+    /** Project-relative, forward-slashed path of the fact file. */
+    filePath: string;
+    /** The fact's frontmatter `type` (term / rule / decision / constraint / external), when set. */
+    type?: string;
+    /** Frontmatter metadata (for an external fact: dependency, version, source, fixture). */
+    metadata: Record<string, unknown>;
+    /** Post-frontmatter prose. */
+    body: string;
+}
+/** Every addressable domain fact under `<projectRoot>/specs/domain/`, sorted by path. */
+export declare function loadDomainFacts(projectRoot: string): DomainFactFile[];
+/**
+ * Split a `fixture:` frontmatter value into `path:Symbol` entries
+ * (REQ-KNOW-006). The frontmatter parser is single-line `key: value` only (no
+ * YAML lists), so several fixtures are written comma-separated; an optional
+ * surrounding `[ ... ]` (YAML flow style) is tolerated.
+ */
+export declare function parseFixtureList(value: unknown): string[];
+//# sourceMappingURL=facts.d.ts.map

package/lib/dist/knowledge/facts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"facts.d.ts","sourceRoot":"","sources":["../../src/knowledge/facts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAMH,MAAM,WAAW,cAAc;IAC7B,sCAAsC;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,+DAA+D;IAC/D,QAAQ,EAAE,MAAM,CAAC;IACjB,gGAAgG;IAChG,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,yFAAyF;IACzF,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,8BAA8B;IAC9B,IAAI,EAAE,MAAM,CAAC;CACd;AAmBD,yFAAyF;AACzF,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,cAAc,EAAE,CA0BrE;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAQzD"}

package/lib/dist/knowledge/facts.js

@@ -0,0 +1,117 @@
+"use strict";
+/**
+ * Read domain facts straight from disk (KNOWLEDGE-DOC).
+ *
+ * The knowledge commands (`stale`, `check`) are file-based: they must work on
+ * a project that has never been indexed, so they read `specs/domain/**\/*.md`
+ * and run each file through the real `MarkdownSpecExtractor` — the same parse
+ * the indexer and the lint use, so all three agree on what a fact says.
+ *
+ * Read-only. Nothing in `src/knowledge/` writes to `specs/domain/`
+ * (DOM-SPECSHIP-003: domain knowledge is human-confirmed, never auto-extracted).
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.loadDomainFacts = loadDomainFacts;
+exports.parseFixtureList = parseFixtureList;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const markdown_spec_extractor_1 = require("../extraction/specs/markdown-spec-extractor");
+/** Recursively list `*.md` files under `dir` (sorted, forward-slashed, relative to `root`). */
+function listMarkdown(dir, root, out) {
+    let entries;
+    try {
+        entries = fs.readdirSync(dir, { withFileTypes: true });
+    }
+    catch {
+        return;
+    }
+    for (const e of entries) {
+        const full = path.join(dir, e.name);
+        if (e.isDirectory())
+            listMarkdown(full, root, out);
+        else if (e.isFile() && e.name.toLowerCase().endsWith('.md')) {
+            out.push(path.relative(root, full).split(path.sep).join('/'));
+        }
+    }
+}
+/** Every addressable domain fact under `<projectRoot>/specs/domain/`, sorted by path. */
+function loadDomainFacts(projectRoot) {
+    const files = [];
+    listMarkdown(path.join(projectRoot, 'specs', 'domain'), projectRoot, files);
+    files.sort();
+    const facts = [];
+    for (const rel of files) {
+        let source;
+        try {
+            source = fs.readFileSync(path.join(projectRoot, rel), 'utf8');
+        }
+        catch {
+            continue;
+        }
+        const result = new markdown_spec_extractor_1.MarkdownSpecExtractor(rel, source).extract();
+        for (const spec of result.specs) {
+            if (spec.kind !== 'domain')
+                continue;
+            const metadata = (spec.metadata ?? {});
+            facts.push({
+                id: spec.id,
+                filePath: rel,
+                type: typeof metadata.type === 'string' ? metadata.type : undefined,
+                metadata,
+                body: spec.body,
+            });
+        }
+    }
+    return facts;
+}
+/**
+ * Split a `fixture:` frontmatter value into `path:Symbol` entries
+ * (REQ-KNOW-006). The frontmatter parser is single-line `key: value` only (no
+ * YAML lists), so several fixtures are written comma-separated; an optional
+ * surrounding `[ ... ]` (YAML flow style) is tolerated.
+ */
+function parseFixtureList(value) {
+    if (typeof value !== 'string')
+        return [];
+    let v = value.trim();
+    if (v.startsWith('[') && v.endsWith(']'))
+        v = v.slice(1, -1);
+    return v
+        .split(',')
+        .map((s) => s.trim().replace(/^['"]|['"]$/g, ''))
+        .filter((s) => s.length > 0);
+}
+//# sourceMappingURL=facts.js.map

package/lib/dist/knowledge/facts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"facts.js","sourceRoot":"","sources":["../../src/knowledge/facts.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqCH,0CA0BC;AAQD,4CAQC;AA7ED,uCAAyB;AACzB,2CAA6B;AAC7B,yFAAoF;AAepF,+FAA+F;AAC/F,SAAS,YAAY,CAAC,GAAW,EAAE,IAAY,EAAE,GAAa;IAC5D,IAAI,OAAoB,CAAC;IACzB,IAAI,CAAC;QACH,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC,WAAW,EAAE;YAAE,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;aAC9C,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,SAAgB,eAAe,CAAC,WAAmB;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;IAC5E,KAAK,CAAC,IAAI,EAAE,CAAC;IACb,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAChE,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,+CAAqB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;QAChE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACrC,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAA4B,CAAC;YAClE,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,QAAQ,EAAE,GAAG;gBACb,IAAI,EAAE,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;gBACnE,QAAQ;gBACR,IAAI,EAAE,IAAI,CAAC,IAAI;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,SAAgB,gBAAgB,CAAC,KAAc;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACrB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO,CAAC;SACL,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;SAChD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC"}

package/lib/dist/knowledge/proposals.d.ts

@@ -0,0 +1,88 @@
+/**
+ * Knowledge proposals store (KNOWLEDGE-DOC, REQ-KNOW-004 A2–A4).
+ *
+ * Domain knowledge is human-confirmed, never auto-extracted (DOM-SPECSHIP-003):
+ * a pipeline may only PROPOSE a fact. Proposals live outside the spec tree, in
+ * `.specship/knowledge/proposals/<slug>.md`, and nothing reaches `specs/domain/`
+ * until a human runs `apply` on one.
+ *
+ * ## Proposal file format
+ *
+ * A proposal is a complete domain-fact file (frontmatter + markdown body),
+ * identical to what will land in `specs/domain/`, with two relaxations:
+ *
+ * ```markdown
+ * ---
+ * id: DOM-<AREA>-NEW        # optional placeholder; absent is fine too
+ * area: SPECSHIP            # optional; which DOM-<AREA>- prefix to number in
+ * title: Gemini policy uses [[rule]] tables
+ * type: external            # term | rule | decision | constraint | external
+ * dependency: @google/gemini-cli
+ * version: 0.28.0
+ * source: packages/core/src/policy/toml-loader.ts:loadPolicyFromToml
+ * depends_on: REQ-GEMINI-009
+ * ---
+ *
+ * # Gemini policy uses [[rule]] tables
+ *
+ * Prose…
+ * ```
+ *
+ * - The proposal id is its file slug (`<slug>.md` → `<slug>`).
+ * - `id` is reassigned on apply to the next free `DOM-<AREA>-NNN` (3-digit),
+ *   so it may be absent, a placeholder (`DOM-<AREA>-NEW`, `DOM-FOO-NEW`) or
+ *   anything else — it is never trusted as final.
+ * - `<AREA>` resolution, first hit wins: the `area:` key; the area of a
+ *   `DOM-<AREA>-…` id that names a concrete area; the most common
+ *   `DOM-<AREA>-` prefix among existing `specs/domain/**` facts; `DOMAIN`.
+ * - `area:` is a proposal-only key and is stripped on apply.
+ *
+ * Pure over the file system: no database, no host/agent coupling.
+ */
+import { type LintFinding } from '../spec-lint/lint';
+/** One pending proposal, as listed. */
+export interface KnowledgeProposal {
+    /** The proposal id: its file slug (`<slug>.md` → `<slug>`). */
+    id: string;
+    title: string;
+    /** The fact's `type:` frontmatter value, or `''` when absent. */
+    type: string;
+    /** Absolute path of the proposal file. */
+    path: string;
+}
+/** The result of a successful apply. */
+export interface AppliedProposal {
+    /** The assigned domain id, e.g. `DOM-SPECSHIP-005`. */
+    id: string;
+    /** Project-relative path of the written fact, e.g. `specs/domain/foo.md`. */
+    path: string;
+}
+/**
+ * Thrown by `applyProposal` when the resulting fact would not pass lint
+ * (REQ-KNOW-004.A3). The proposal is left in place; `findings` carries every
+ * error finding so the caller can show them.
+ */
+export declare class ProposalRefusedError extends Error {
+    readonly proposalId: string;
+    readonly findings: LintFinding[];
+    constructor(proposalId: string, findings: LintFinding[]);
+}
+/** Absolute path of the proposals directory for a project. */
+export declare function proposalsDir(projectRoot: string): string;
+/** The next free `DOM-<AREA>-NNN` (3-digit, max+1 within the area). */
+export declare function nextDomainId(area: string, existingIds: string[]): string;
+/** List every pending proposal, sorted by id. */
+export declare function listProposals(projectRoot: string): KnowledgeProposal[];
+/**
+ * Apply a confirmed proposal (REQ-KNOW-004.A2/A3): assign the next free
+ * `DOM-<AREA>-NNN`, lint the result under its target path, write it to
+ * `specs/domain/<slug>.md` (never overwriting — `<slug>-2.md`, …) and delete
+ * the proposal. Throws `ProposalRefusedError` — leaving the proposal in place
+ * and writing nothing — when lint reports any error.
+ */
+export declare function applyProposal(projectRoot: string, proposalId: string): AppliedProposal;
+/** Reject a proposal (REQ-KNOW-004.A4): delete it; nothing touches `specs/domain/`. */
+export declare function rejectProposal(projectRoot: string, proposalId: string): void;
+/** Human-readable proposal listing for the CLI. */
+export declare function formatProposalList(proposals: KnowledgeProposal[]): string;
+//# sourceMappingURL=proposals.d.ts.map

package/lib/dist/knowledge/proposals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposals.d.ts","sourceRoot":"","sources":["../../src/knowledge/proposals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAKH,OAAO,EAAkB,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAErE,uCAAuC;AACvC,MAAM,WAAW,iBAAiB;IAChC,+DAA+D;IAC/D,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,iEAAiE;IACjE,IAAI,EAAE,MAAM,CAAC;IACb,0CAA0C;IAC1C,IAAI,EAAE,MAAM,CAAC;CACd;AAED,wCAAwC;AACxC,MAAM,WAAW,eAAe;IAC9B,uDAAuD;IACvD,EAAE,EAAE,MAAM,CAAC;IACX,6EAA6E;IAC7E,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC;gBACrB,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE;CASxD;AAOD,8DAA8D;AAC9D,wBAAgB,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAExD;AAiID,uEAAuE;AACvE,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,MAAM,CAOxE;AAoDD,iDAAiD;AACjD,wBAAgB,aAAa,CAAC,WAAW,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAsBtE;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,eAAe,CA2BtF;AAED,uFAAuF;AACvF,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAE5E;AAED,mDAAmD;AACnD,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,iBAAiB,EAAE,GAAG,MAAM,CAazE"}

package/lib/dist/knowledge/proposals.js

@@ -0,0 +1,360 @@
+"use strict";
+/**
+ * Knowledge proposals store (KNOWLEDGE-DOC, REQ-KNOW-004 A2–A4).
+ *
+ * Domain knowledge is human-confirmed, never auto-extracted (DOM-SPECSHIP-003):
+ * a pipeline may only PROPOSE a fact. Proposals live outside the spec tree, in
+ * `.specship/knowledge/proposals/<slug>.md`, and nothing reaches `specs/domain/`
+ * until a human runs `apply` on one.
+ *
+ * ## Proposal file format
+ *
+ * A proposal is a complete domain-fact file (frontmatter + markdown body),
+ * identical to what will land in `specs/domain/`, with two relaxations:
+ *
+ * ```markdown
+ * ---
+ * id: DOM-<AREA>-NEW        # optional placeholder; absent is fine too
+ * area: SPECSHIP            # optional; which DOM-<AREA>- prefix to number in
+ * title: Gemini policy uses [[rule]] tables
+ * type: external            # term | rule | decision | constraint | external
+ * dependency: @google/gemini-cli
+ * version: 0.28.0
+ * source: packages/core/src/policy/toml-loader.ts:loadPolicyFromToml
+ * depends_on: REQ-GEMINI-009
+ * ---
+ *
+ * # Gemini policy uses [[rule]] tables
+ *
+ * Prose…
+ * ```
+ *
+ * - The proposal id is its file slug (`<slug>.md` → `<slug>`).
+ * - `id` is reassigned on apply to the next free `DOM-<AREA>-NNN` (3-digit),
+ *   so it may be absent, a placeholder (`DOM-<AREA>-NEW`, `DOM-FOO-NEW`) or
+ *   anything else — it is never trusted as final.
+ * - `<AREA>` resolution, first hit wins: the `area:` key; the area of a
+ *   `DOM-<AREA>-…` id that names a concrete area; the most common
+ *   `DOM-<AREA>-` prefix among existing `specs/domain/**` facts; `DOMAIN`.
+ * - `area:` is a proposal-only key and is stripped on apply.
+ *
+ * Pure over the file system: no database, no host/agent coupling.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ProposalRefusedError = void 0;
+exports.proposalsDir = proposalsDir;
+exports.nextDomainId = nextDomainId;
+exports.listProposals = listProposals;
+exports.applyProposal = applyProposal;
+exports.rejectProposal = rejectProposal;
+exports.formatProposalList = formatProposalList;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const directory_1 = require("../directory");
+const lint_1 = require("../spec-lint/lint");
+/**
+ * Thrown by `applyProposal` when the resulting fact would not pass lint
+ * (REQ-KNOW-004.A3). The proposal is left in place; `findings` carries every
+ * error finding so the caller can show them.
+ */
+class ProposalRefusedError extends Error {
+    proposalId;
+    findings;
+    constructor(proposalId, findings) {
+        super(`Proposal "${proposalId}" refused — it would fail lint:\n` +
+            findings.map((f) => `  ${f.code}: ${f.message}`).join('\n'));
+        this.name = 'ProposalRefusedError';
+        this.proposalId = proposalId;
+        this.findings = findings;
+    }
+}
+exports.ProposalRefusedError = ProposalRefusedError;
+const DEFAULT_AREA = 'DOMAIN';
+const PLACEHOLDER_AREA = '<AREA>';
+const SLUG_RE = /^[A-Za-z0-9][A-Za-z0-9._-]*$/;
+const DOMAIN_ID_RE = /^DOM-([A-Z0-9_]+)-(\d+)$/;
+/** Absolute path of the proposals directory for a project. */
+function proposalsDir(projectRoot) {
+    return path.join((0, directory_1.getSpecShipDir)(projectRoot), 'knowledge', 'proposals');
+}
+function domainDir(projectRoot) {
+    return path.join(projectRoot, 'specs', 'domain');
+}
+function assertSlug(proposalId) {
+    if (!SLUG_RE.test(proposalId) || proposalId.includes('..')) {
+        throw new Error(`Invalid proposal id "${proposalId}"`);
+    }
+}
+function proposalPath(projectRoot, proposalId) {
+    assertSlug(proposalId);
+    const p = path.join(proposalsDir(projectRoot), `${proposalId}.md`);
+    if (!fs.existsSync(p))
+        throw new Error(`No pending proposal "${proposalId}"`);
+    return p;
+}
+function splitFrontmatter(source) {
+    const lines = source.split(/\r?\n/);
+    if ((lines[0] ?? '').trim() !== '---')
+        return { fm: [], body: source, hasFrontmatter: false };
+    for (let i = 1; i < lines.length; i++) {
+        if ((lines[i] ?? '').trim() === '---') {
+            return { fm: lines.slice(1, i), body: lines.slice(i + 1).join('\n'), hasFrontmatter: true };
+        }
+    }
+    return { fm: [], body: source, hasFrontmatter: false };
+}
+function fmValue(fm, key) {
+    for (const raw of fm) {
+        const line = raw.trim();
+        const idx = line.indexOf(':');
+        if (idx <= 0 || line.slice(0, idx).trim() !== key)
+            continue;
+        let v = line.slice(idx + 1).trim();
+        if ((v.startsWith('"') && v.endsWith('"')) || (v.startsWith("'") && v.endsWith("'"))) {
+            v = v.slice(1, -1);
+        }
+        return v;
+    }
+    return undefined;
+}
+function isKey(raw, key) {
+    const line = raw.trim();
+    const idx = line.indexOf(':');
+    return idx > 0 && line.slice(0, idx).trim() === key;
+}
+function firstHeading(body) {
+    for (const line of body.split(/\r?\n/)) {
+        const m = line.match(/^#{1,6}\s+(.+?)\s*$/);
+        if (m && m[1])
+            return m[1];
+    }
+    return undefined;
+}
+// ---------------------------------------------------------------------------
+// Existing domain ids
+// ---------------------------------------------------------------------------
+function walkMarkdown(dir, out) {
+    let entries;
+    try {
+        entries = fs.readdirSync(dir, { withFileTypes: true });
+    }
+    catch {
+        return;
+    }
+    for (const e of entries) {
+        const p = path.join(dir, e.name);
+        if (e.isDirectory())
+            walkMarkdown(p, out);
+        else if (e.isFile() && e.name.endsWith('.md'))
+            out.push(p);
+    }
+}
+/** Every `id:` declared by a fact under `specs/domain/**`. */
+function existingDomainIds(projectRoot) {
+    const files = [];
+    walkMarkdown(domainDir(projectRoot), files);
+    const ids = [];
+    for (const f of files) {
+        const id = fmValue(splitFrontmatter(fs.readFileSync(f, 'utf-8')).fm, 'id');
+        if (id)
+            ids.push(id);
+    }
+    return ids;
+}
+/** The most common `DOM-<AREA>-` prefix among existing facts, if any. */
+function dominantArea(ids) {
+    const counts = new Map();
+    for (const id of ids) {
+        const m = id.match(DOMAIN_ID_RE);
+        if (m && m[1])
+            counts.set(m[1], (counts.get(m[1]) ?? 0) + 1);
+    }
+    let best;
+    let bestN = 0;
+    for (const [area, n] of counts) {
+        if (n > bestN || (n === bestN && best !== undefined && area < best)) {
+            best = area;
+            bestN = n;
+        }
+    }
+    return best;
+}
+function resolveArea(fm, ids) {
+    const explicit = fmValue(fm, 'area');
+    if (explicit && /^[A-Za-z0-9_]+$/.test(explicit))
+        return explicit.toUpperCase();
+    const id = fmValue(fm, 'id');
+    const m = id?.match(/^DOM-([^-]+)-/);
+    if (m && m[1] && m[1] !== PLACEHOLDER_AREA && /^[A-Za-z0-9_]+$/.test(m[1])) {
+        return m[1].toUpperCase();
+    }
+    return dominantArea(ids) ?? DEFAULT_AREA;
+}
+/** The next free `DOM-<AREA>-NNN` (3-digit, max+1 within the area). */
+function nextDomainId(area, existingIds) {
+    let max = 0;
+    for (const id of existingIds) {
+        const m = id.match(DOMAIN_ID_RE);
+        if (m && m[1] === area && m[2])
+            max = Math.max(max, parseInt(m[2], 10));
+    }
+    return `DOM-${area}-${String(max + 1).padStart(3, '0')}`;
+}
+/** Rewrite the proposal's frontmatter: set the real id, strip `area:`. */
+function materialize(source, id) {
+    const split = splitFrontmatter(source);
+    const fm = split.fm.filter((l) => !isKey(l, 'id') && !isKey(l, 'area'));
+    const body = split.hasFrontmatter ? split.body : source;
+    return ['---', `id: ${id}`, ...fm, '---', body].join('\n');
+}
+/**
+ * Provenance check for `type: external` facts (REQ-KNOW-001.A2). The spec
+ * linter carries this rule; it is mirrored here so `apply` refuses an
+ * external fact without provenance even against a linter that predates it.
+ * Returns the missing field alongside each finding so `applyProposal` can
+ * skip fields the linter already reported.
+ */
+function externalProvenanceFindings(filePath, source) {
+    const fm = splitFrontmatter(source).fm;
+    if (fmValue(fm, 'type') !== 'external')
+        return [];
+    const out = [];
+    for (const field of ['dependency', 'version', 'source']) {
+        if (!fmValue(fm, field)) {
+            out.push({
+                field,
+                finding: {
+                    code: 'knowledge_external_missing_provenance',
+                    severity: 'error',
+                    filePath,
+                    line: 1,
+                    message: `External fact is missing required field "${field}"`,
+                },
+            });
+        }
+    }
+    return out;
+}
+function uniqueTarget(projectRoot, slug) {
+    const dir = domainDir(projectRoot);
+    let candidate = `${slug}.md`;
+    for (let n = 2; fs.existsSync(path.join(dir, candidate)); n++)
+        candidate = `${slug}-${n}.md`;
+    return candidate;
+}
+// ---------------------------------------------------------------------------
+// Public API
+// ---------------------------------------------------------------------------
+/** List every pending proposal, sorted by id. */
+function listProposals(projectRoot) {
+    const dir = proposalsDir(projectRoot);
+    let names;
+    try {
+        names = fs.readdirSync(dir).filter((n) => n.endsWith('.md'));
+    }
+    catch {
+        return [];
+    }
+    const out = [];
+    for (const name of names.sort()) {
+        const id = name.slice(0, -3);
+        if (!SLUG_RE.test(id))
+            continue;
+        const p = path.join(dir, name);
+        const split = splitFrontmatter(fs.readFileSync(p, 'utf-8'));
+        out.push({
+            id,
+            title: fmValue(split.fm, 'title') || firstHeading(split.body) || id,
+            type: fmValue(split.fm, 'type') ?? '',
+            path: p,
+        });
+    }
+    return out;
+}
+/**
+ * Apply a confirmed proposal (REQ-KNOW-004.A2/A3): assign the next free
+ * `DOM-<AREA>-NNN`, lint the result under its target path, write it to
+ * `specs/domain/<slug>.md` (never overwriting — `<slug>-2.md`, …) and delete
+ * the proposal. Throws `ProposalRefusedError` — leaving the proposal in place
+ * and writing nothing — when lint reports any error.
+ */
+function applyProposal(projectRoot, proposalId) {
+    const src = proposalPath(projectRoot, proposalId);
+    const source = fs.readFileSync(src, 'utf-8');
+    const ids = existingDomainIds(projectRoot);
+    const area = resolveArea(splitFrontmatter(source).fm, ids);
+    const id = nextDomainId(area, ids);
+    const content = materialize(source, id);
+    const fileName = uniqueTarget(projectRoot, proposalId);
+    const relPath = `specs/domain/${fileName}`;
+    const lintErrors = (0, lint_1.lintSpecSource)(relPath, content).filter((f) => f.severity === 'error');
+    // Keep a mirrored provenance finding only when the linter did not already
+    // report that field, so a linter carrying the rule yields no duplicates.
+    const errors = [
+        ...lintErrors,
+        ...externalProvenanceFindings(relPath, content)
+            .filter(({ field }) => !lintErrors.some((e) => e.message.includes(field)))
+            .map(({ finding }) => finding),
+    ];
+    if (errors.length > 0)
+        throw new ProposalRefusedError(proposalId, errors);
+    fs.mkdirSync(domainDir(projectRoot), { recursive: true });
+    // `wx` — fail rather than overwrite should a file appear in the meantime.
+    fs.writeFileSync(path.join(projectRoot, relPath), content, { encoding: 'utf-8', flag: 'wx' });
+    fs.unlinkSync(src);
+    return { id, path: relPath };
+}
+/** Reject a proposal (REQ-KNOW-004.A4): delete it; nothing touches `specs/domain/`. */
+function rejectProposal(projectRoot, proposalId) {
+    fs.unlinkSync(proposalPath(projectRoot, proposalId));
+}
+/** Human-readable proposal listing for the CLI. */
+function formatProposalList(proposals) {
+    if (proposals.length === 0)
+        return 'No pending knowledge proposals.';
+    const idW = Math.max(2, ...proposals.map((p) => p.id.length));
+    const typeW = Math.max(4, ...proposals.map((p) => p.type.length));
+    const lines = [
+        `${proposals.length} pending knowledge proposal${proposals.length === 1 ? '' : 's'}:`,
+        '',
+        `  ${'ID'.padEnd(idW)}  ${'TYPE'.padEnd(typeW)}  TITLE`,
+        ...proposals.map((p) => `  ${p.id.padEnd(idW)}  ${(p.type || '-').padEnd(typeW)}  ${p.title}`),
+        '',
+        'Apply with `specship knowledge apply <id>`, or reject with `specship knowledge reject <id>`.',
+    ];
+    return lines.join('\n');
+}
+//# sourceMappingURL=proposals.js.map

package/lib/dist/knowledge/proposals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposals.js","sourceRoot":"","sources":["../../src/knowledge/proposals.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmDH,oCAEC;AAkID,oCAOC;AAqDD,sCAsBC;AASD,sCA2BC;AAGD,wCAEC;AAGD,gDAaC;AAhUD,uCAAyB;AACzB,2CAA6B;AAC7B,4CAA8C;AAC9C,4CAAqE;AAqBrE;;;;GAIG;AACH,MAAa,oBAAqB,SAAQ,KAAK;IACpC,UAAU,CAAS;IACnB,QAAQ,CAAgB;IACjC,YAAY,UAAkB,EAAE,QAAuB;QACrD,KAAK,CACH,aAAa,UAAU,mCAAmC;YACxD,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAC9D,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;QACnC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF;AAZD,oDAYC;AAED,MAAM,YAAY,GAAG,QAAQ,CAAC;AAC9B,MAAM,gBAAgB,GAAG,QAAQ,CAAC;AAClC,MAAM,OAAO,GAAG,8BAA8B,CAAC;AAC/C,MAAM,YAAY,GAAG,0BAA0B,CAAC;AAEhD,8DAA8D;AAC9D,SAAgB,YAAY,CAAC,WAAmB;IAC9C,OAAO,IAAI,CAAC,IAAI,CAAC,IAAA,0BAAc,EAAC,WAAW,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,SAAS,CAAC,WAAmB;IACpC,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,UAAU,CAAC,UAAkB;IACpC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,wBAAwB,UAAU,GAAG,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,WAAmB,EAAE,UAAkB;IAC3D,UAAU,CAAC,UAAU,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,GAAG,UAAU,KAAK,CAAC,CAAC;IACnE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,UAAU,GAAG,CAAC,CAAC;IAC9E,OAAO,CAAC,CAAC;AACX,CAAC;AAcD,SAAS,gBAAgB,CAAC,MAAc;IACtC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IAC9F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,OAAO,CAAC,EAAY,EAAE,GAAW;IACxC,KAAK,MAAM,GAAG,IAAI,EAAE,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,GAAG;YAAE,SAAS;QAC5D,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACrF,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,KAAK,CAAC,GAAW,EAAE,GAAW;IACrC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACxB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC;AACtD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E,SAAS,YAAY,CAAC,GAAW,EAAE,GAAa;IAC9C,IAAI,OAAoB,CAAC;IACzB,IAAI,CAAC;QACH,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC,WAAW,EAAE;YAAE,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aACrC,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,8DAA8D;AAC9D,SAAS,iBAAiB,CAAC,WAAmB;IAC5C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,YAAY,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3E,IAAI,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CAAC,GAAa;IACjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,IAAwB,CAAC;IAC7B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YACpE,IAAI,GAAG,IAAI,CAAC;YACZ,KAAK,GAAG,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,EAAY,EAAE,GAAa;IAC9C,MAAM,QAAQ,GAAG,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACrC,IAAI,QAAQ,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC,WAAW,EAAE,CAAC;IAChF,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC7B,MAAM,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,gBAAgB,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5B,CAAC;IACD,OAAO,YAAY,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC;AAC3C,CAAC;AAED,uEAAuE;AACvE,SAAgB,YAAY,CAAC,IAAY,EAAE,WAAqB;IAC9D,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,OAAO,IAAI,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,0EAA0E;AAC1E,SAAS,WAAW,CAAC,MAAc,EAAE,EAAU;IAC7C,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IACxD,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;;GAMG;AACH,SAAS,0BAA0B,CACjC,QAAgB,EAChB,MAAc;IAEd,MAAM,EAAE,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;IACvC,IAAI,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IAClD,MAAM,GAAG,GAAmD,EAAE,CAAC;IAC/D,KAAK,MAAM,KAAK,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;YACxB,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK;gBACL,OAAO,EAAE;oBACP,IAAI,EAAE,uCAAuC;oBAC7C,QAAQ,EAAE,OAAO;oBACjB,QAAQ;oBACR,IAAI,EAAE,CAAC;oBACP,OAAO,EAAE,4CAA4C,KAAK,GAAG;iBAC9D;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,YAAY,CAAC,WAAmB,EAAE,IAAY;IACrD,MAAM,GAAG,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;IACnC,IAAI,SAAS,GAAG,GAAG,IAAI,KAAK,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE;QAAE,SAAS,GAAG,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC;IAC7F,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,iDAAiD;AACjD,SAAgB,aAAa,CAAC,WAAmB;IAC/C,MAAM,GAAG,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IACtC,IAAI,KAAe,CAAC;IACpB,IAAI,CAAC;QACH,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QAChC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QAC5D,GAAG,CAAC,IAAI,CAAC;YACP,EAAE;YACF,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE;YACnE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE;YACrC,IAAI,EAAE,CAAC;SACR,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,aAAa,CAAC,WAAmB,EAAE,UAAkB;IACnE,MAAM,GAAG,GAAG,YAAY,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,WAAW,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC3D,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAExC,MAAM,QAAQ,GAAG,YAAY,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,gBAAgB,QAAQ,EAAE,CAAC;IAE3C,MAAM,UAAU,GAAG,IAAA,qBAAc,EAAC,OAAO,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC1F,0EAA0E;IAC1E,yEAAyE;IACzE,MAAM,MAAM,GAAG;QACb,GAAG,UAAU;QACb,GAAG,0BAA0B,CAAC,OAAO,EAAE,OAAO,CAAC;aAC5C,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;aACzE,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC;KACjC,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAE1E,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,0EAA0E;IAC1E,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9F,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACnB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED,uFAAuF;AACvF,SAAgB,cAAc,CAAC,WAAmB,EAAE,UAAkB;IACpE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,mDAAmD;AACnD,SAAgB,kBAAkB,CAAC,SAA8B;IAC/D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,iCAAiC,CAAC;IACrE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG;QACZ,GAAG,SAAS,CAAC,MAAM,8BAA8B,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG;QACrF,EAAE;QACF,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS;QACvD,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;QAC9F,EAAE;QACF,8FAA8F;KAC/F,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}