@hawkeyexl/manni 4.4.1 → 4.5.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +1 -1
- package/dist/{batch-GFNLTGOH.js → batch-GOE3UXOD.js} +11 -11
- package/dist/{build-COYIQ25L.js → build-M7BMEHL2.js} +13 -11
- package/dist/{calibrate-MDBLJKEE.js → calibrate-6RRAILUY.js} +12 -12
- package/dist/{capture-LRML2PKV.js → capture-RJPQ6B4N.js} +12 -12
- package/dist/{check-EDLBYL5N.js → check-BQD64X3N.js} +11 -11
- package/dist/{check-HYNGXYJV.js → check-ESNS7ZBC.js} +4 -4
- package/dist/{check-ASPIHA6B.js → check-RQIIIURI.js} +12 -12
- package/dist/{chunk-NXV7WE2D.js → chunk-3R5Y3XOL.js} +3 -3
- package/dist/{chunk-A5ULMVHQ.js → chunk-3YHAYXBC.js} +2 -2
- package/dist/{chunk-57NEQRVO.js → chunk-527HHQPS.js} +4 -4
- package/dist/{chunk-57NEQRVO.js.map → chunk-527HHQPS.js.map} +1 -1
- package/dist/{chunk-6OYEI2VV.js → chunk-52PDIZKV.js} +3 -3
- package/dist/{chunk-UJCVAWP7.js → chunk-6XTQDFGP.js} +2 -2
- package/dist/{chunk-UJCVAWP7.js.map → chunk-6XTQDFGP.js.map} +1 -1
- package/dist/{chunk-3VK37OR2.js → chunk-7OQAU4EA.js} +5 -5
- package/dist/{chunk-4IUC2MNL.js → chunk-7ZUCEMCY.js} +8 -8
- package/dist/{chunk-M2JCK5F6.js → chunk-B7XUEQF3.js} +13 -2
- package/dist/chunk-B7XUEQF3.js.map +1 -0
- package/dist/{chunk-MYMBCTDE.js → chunk-BOIF2XGG.js} +2 -2
- package/dist/{chunk-YJOGUXGP.js → chunk-C3KI45RF.js} +8 -6
- package/dist/{chunk-YJOGUXGP.js.map → chunk-C3KI45RF.js.map} +1 -1
- package/dist/{chunk-MMTSSTG7.js → chunk-C6HZ6C5T.js} +2 -2
- package/dist/{chunk-QQUKGCAJ.js → chunk-CP4ZM43V.js} +2 -2
- package/dist/chunk-DE7JSWXV.js +2462 -0
- package/dist/chunk-DE7JSWXV.js.map +1 -0
- package/dist/{chunk-YB4IBW3M.js → chunk-DX32P2DT.js} +2 -2
- package/dist/{chunk-RL5XWQOL.js → chunk-EL2BZTDL.js} +137 -50
- package/dist/chunk-EL2BZTDL.js.map +1 -0
- package/dist/{chunk-WB3QM6PP.js → chunk-ELZ2IIOF.js} +332 -2522
- package/dist/chunk-ELZ2IIOF.js.map +1 -0
- package/dist/{chunk-MWJLZMBL.js → chunk-F2OVHJNC.js} +10 -10
- package/dist/{chunk-I2AH3CJJ.js → chunk-FLF6AECQ.js} +7 -7
- package/dist/{chunk-GCQRPUSB.js → chunk-GAZFKZHM.js} +4 -4
- package/dist/{chunk-QZ6LRSNV.js → chunk-HQFVJDEN.js} +7 -7
- package/dist/{chunk-M3W7J6MU.js → chunk-HVFR66GQ.js} +2 -2
- package/dist/{chunk-2B7ZNTPV.js → chunk-IA7BMIPE.js} +2 -2
- package/dist/{chunk-PIKOVN6W.js → chunk-JQU7FHYH.js} +6 -6
- package/dist/{chunk-NLXTXE5Y.js → chunk-K3U5F2QT.js} +183 -31
- package/dist/chunk-K3U5F2QT.js.map +1 -0
- package/dist/{chunk-JCDXE76J.js → chunk-MZC62HPZ.js} +2 -2
- package/dist/{chunk-TK3FC4RF.js → chunk-NAZRLJAK.js} +3 -3
- package/dist/{chunk-JXLTXMJ7.js → chunk-NGK3N6F2.js} +3 -3
- package/dist/{chunk-PU6DFJMY.js → chunk-NN4ASVTY.js} +3 -3
- package/dist/{chunk-C4SQM22E.js → chunk-OIZ3XMKB.js} +13 -11
- package/dist/chunk-OIZ3XMKB.js.map +1 -0
- package/dist/{chunk-6JSSEWBG.js → chunk-QCBICNKC.js} +6 -6
- package/dist/chunk-QCBICNKC.js.map +1 -0
- package/dist/{chunk-DXNZS72W.js → chunk-QLUMKWQQ.js} +3 -3
- package/dist/{chunk-EPH54CAY.js → chunk-QY3DOZMS.js} +4 -4
- package/dist/{chunk-FBEQCK47.js → chunk-SJO2FTPG.js} +6 -6
- package/dist/{chunk-PNPQTHBT.js → chunk-SNEHX4VE.js} +2 -2
- package/dist/{chunk-SKSDRUUK.js → chunk-TA42STP7.js} +4 -4
- package/dist/{chunk-CK7SKVHR.js → chunk-TBAMBLF3.js} +3 -12
- package/dist/chunk-TBAMBLF3.js.map +1 -0
- package/dist/{chunk-IDV6HJCB.js → chunk-TCC737IS.js} +3 -3
- package/dist/{chunk-QRWGPQKO.js → chunk-TVIX653Q.js} +3 -3
- package/dist/{chunk-YTURO7SI.js → chunk-UK2I3ACY.js} +3 -3
- package/dist/{chunk-7UKO3ASZ.js → chunk-XWFNO5PO.js} +3 -3
- package/dist/{chunk-37LP5HMZ.js → chunk-YA63PVWI.js} +5 -5
- package/dist/chunk-YGFIQ6Y5.js +17 -0
- package/dist/chunk-YGFIQ6Y5.js.map +1 -0
- package/dist/{chunk-UQISLDAV.js → chunk-ZX43SRZR.js} +3 -3
- package/dist/{cli-MN7PYMBI.js → cli-6PGVHP7Y.js} +15 -15
- package/dist/{cli-6UB5N6CU.js → cli-AAG3N4NB.js} +16 -16
- package/dist/{cli-6HIDIFVT.js → cli-E3H6ZP4I.js} +2 -2
- package/dist/{cli-RPM5PELX.js → cli-HUIMNJT6.js} +20 -15
- package/dist/cli-HUIMNJT6.js.map +1 -0
- package/dist/{cli-VI7VHWNZ.js → cli-MHTYPVOD.js} +16 -16
- package/dist/{cli-LFP5ZGYS.js → cli-PRZHQ3QB.js} +15 -13
- package/dist/{cli-LFP5ZGYS.js.map → cli-PRZHQ3QB.js.map} +1 -1
- package/dist/{cli-3BIBYHFK.js → cli-QKIJOXGW.js} +13 -13
- package/dist/{cli-PYPX6O6E.js → cli-TYGOHJOJ.js} +25 -25
- package/dist/{cli-673OTRGE.js → cli-YW6VWBHX.js} +9 -9
- package/dist/cli.js +11 -11
- package/dist/docmeta.js +8 -8
- package/dist/{github-SXPGP5DB.js → github-3WMSTNTK.js} +13 -13
- package/dist/{github-6QMYOHC3.js → github-OXSJQ4PS.js} +11 -11
- package/dist/index.d.ts +30 -8
- package/dist/index.js +42 -38
- package/dist/index.js.map +1 -1
- package/dist/{json-SY7KLNC7.js → json-4DCKDGUV.js} +11 -11
- package/dist/lint-YDHVVZHT.js +30 -0
- package/dist/{list-KZNVTNVC.js → list-3ZO2NIYO.js} +11 -11
- package/dist/{list-Q57YTFUQ.js → list-EJH6VAOW.js} +11 -11
- package/dist/{page-KSGV5RD4.js → page-QEDB7EVU.js} +10 -10
- package/dist/{pretty-A5EGTN35.js → pretty-5DGEBZSV.js} +11 -11
- package/dist/{pretty-CXSDXNAS.js → pretty-SQX33UM2.js} +12 -12
- package/dist/{reporters-HUY7UXFS.js → reporters-OHSI3RMV.js} +12 -11
- package/dist/{reporters-K2VUKSAK.js → reporters-YELDDYJD.js} +4 -4
- package/dist/{run-3DYJNRIG.js → run-IP6NZHAG.js} +11 -11
- package/dist/{term-BIQUPMOR.js → term-2WMDZ4PY.js} +15 -15
- package/dist/{validate-53RKM2XG.js → validate-G6HH3YXL.js} +5 -5
- package/package.json +1 -1
- package/plugin/manni/.claude-plugin/plugin.json +1 -1
- package/dist/chunk-6JSSEWBG.js.map +0 -1
- package/dist/chunk-C4SQM22E.js.map +0 -1
- package/dist/chunk-CK7SKVHR.js.map +0 -1
- package/dist/chunk-M2JCK5F6.js.map +0 -1
- package/dist/chunk-NLXTXE5Y.js.map +0 -1
- package/dist/chunk-RL5XWQOL.js.map +0 -1
- package/dist/chunk-WB3QM6PP.js.map +0 -1
- package/dist/cli-RPM5PELX.js.map +0 -1
- package/dist/lint-ASMJLLPA.js +0 -28
- /package/dist/{batch-GFNLTGOH.js.map → batch-GOE3UXOD.js.map} +0 -0
- /package/dist/{build-COYIQ25L.js.map → build-M7BMEHL2.js.map} +0 -0
- /package/dist/{calibrate-MDBLJKEE.js.map → calibrate-6RRAILUY.js.map} +0 -0
- /package/dist/{capture-LRML2PKV.js.map → capture-RJPQ6B4N.js.map} +0 -0
- /package/dist/{check-ASPIHA6B.js.map → check-BQD64X3N.js.map} +0 -0
- /package/dist/{check-EDLBYL5N.js.map → check-ESNS7ZBC.js.map} +0 -0
- /package/dist/{check-HYNGXYJV.js.map → check-RQIIIURI.js.map} +0 -0
- /package/dist/{chunk-NXV7WE2D.js.map → chunk-3R5Y3XOL.js.map} +0 -0
- /package/dist/{chunk-A5ULMVHQ.js.map → chunk-3YHAYXBC.js.map} +0 -0
- /package/dist/{chunk-6OYEI2VV.js.map → chunk-52PDIZKV.js.map} +0 -0
- /package/dist/{chunk-3VK37OR2.js.map → chunk-7OQAU4EA.js.map} +0 -0
- /package/dist/{chunk-4IUC2MNL.js.map → chunk-7ZUCEMCY.js.map} +0 -0
- /package/dist/{chunk-MYMBCTDE.js.map → chunk-BOIF2XGG.js.map} +0 -0
- /package/dist/{chunk-MMTSSTG7.js.map → chunk-C6HZ6C5T.js.map} +0 -0
- /package/dist/{chunk-QQUKGCAJ.js.map → chunk-CP4ZM43V.js.map} +0 -0
- /package/dist/{chunk-YB4IBW3M.js.map → chunk-DX32P2DT.js.map} +0 -0
- /package/dist/{chunk-MWJLZMBL.js.map → chunk-F2OVHJNC.js.map} +0 -0
- /package/dist/{chunk-I2AH3CJJ.js.map → chunk-FLF6AECQ.js.map} +0 -0
- /package/dist/{chunk-GCQRPUSB.js.map → chunk-GAZFKZHM.js.map} +0 -0
- /package/dist/{chunk-QZ6LRSNV.js.map → chunk-HQFVJDEN.js.map} +0 -0
- /package/dist/{chunk-M3W7J6MU.js.map → chunk-HVFR66GQ.js.map} +0 -0
- /package/dist/{chunk-2B7ZNTPV.js.map → chunk-IA7BMIPE.js.map} +0 -0
- /package/dist/{chunk-PIKOVN6W.js.map → chunk-JQU7FHYH.js.map} +0 -0
- /package/dist/{chunk-JCDXE76J.js.map → chunk-MZC62HPZ.js.map} +0 -0
- /package/dist/{chunk-TK3FC4RF.js.map → chunk-NAZRLJAK.js.map} +0 -0
- /package/dist/{chunk-JXLTXMJ7.js.map → chunk-NGK3N6F2.js.map} +0 -0
- /package/dist/{chunk-PU6DFJMY.js.map → chunk-NN4ASVTY.js.map} +0 -0
- /package/dist/{chunk-DXNZS72W.js.map → chunk-QLUMKWQQ.js.map} +0 -0
- /package/dist/{chunk-EPH54CAY.js.map → chunk-QY3DOZMS.js.map} +0 -0
- /package/dist/{chunk-FBEQCK47.js.map → chunk-SJO2FTPG.js.map} +0 -0
- /package/dist/{chunk-PNPQTHBT.js.map → chunk-SNEHX4VE.js.map} +0 -0
- /package/dist/{chunk-SKSDRUUK.js.map → chunk-TA42STP7.js.map} +0 -0
- /package/dist/{chunk-IDV6HJCB.js.map → chunk-TCC737IS.js.map} +0 -0
- /package/dist/{chunk-QRWGPQKO.js.map → chunk-TVIX653Q.js.map} +0 -0
- /package/dist/{chunk-YTURO7SI.js.map → chunk-UK2I3ACY.js.map} +0 -0
- /package/dist/{chunk-7UKO3ASZ.js.map → chunk-XWFNO5PO.js.map} +0 -0
- /package/dist/{chunk-37LP5HMZ.js.map → chunk-YA63PVWI.js.map} +0 -0
- /package/dist/{chunk-UQISLDAV.js.map → chunk-ZX43SRZR.js.map} +0 -0
- /package/dist/{cli-MN7PYMBI.js.map → cli-6PGVHP7Y.js.map} +0 -0
- /package/dist/{cli-6UB5N6CU.js.map → cli-AAG3N4NB.js.map} +0 -0
- /package/dist/{cli-6HIDIFVT.js.map → cli-E3H6ZP4I.js.map} +0 -0
- /package/dist/{cli-VI7VHWNZ.js.map → cli-MHTYPVOD.js.map} +0 -0
- /package/dist/{cli-3BIBYHFK.js.map → cli-QKIJOXGW.js.map} +0 -0
- /package/dist/{cli-PYPX6O6E.js.map → cli-TYGOHJOJ.js.map} +0 -0
- /package/dist/{cli-673OTRGE.js.map → cli-YW6VWBHX.js.map} +0 -0
- /package/dist/{github-6QMYOHC3.js.map → github-3WMSTNTK.js.map} +0 -0
- /package/dist/{github-SXPGP5DB.js.map → github-OXSJQ4PS.js.map} +0 -0
- /package/dist/{json-SY7KLNC7.js.map → json-4DCKDGUV.js.map} +0 -0
- /package/dist/{lint-ASMJLLPA.js.map → lint-YDHVVZHT.js.map} +0 -0
- /package/dist/{list-KZNVTNVC.js.map → list-3ZO2NIYO.js.map} +0 -0
- /package/dist/{list-Q57YTFUQ.js.map → list-EJH6VAOW.js.map} +0 -0
- /package/dist/{page-KSGV5RD4.js.map → page-QEDB7EVU.js.map} +0 -0
- /package/dist/{pretty-A5EGTN35.js.map → pretty-5DGEBZSV.js.map} +0 -0
- /package/dist/{pretty-CXSDXNAS.js.map → pretty-SQX33UM2.js.map} +0 -0
- /package/dist/{reporters-HUY7UXFS.js.map → reporters-OHSI3RMV.js.map} +0 -0
- /package/dist/{reporters-K2VUKSAK.js.map → reporters-YELDDYJD.js.map} +0 -0
- /package/dist/{run-3DYJNRIG.js.map → run-IP6NZHAG.js.map} +0 -0
- /package/dist/{term-BIQUPMOR.js.map → term-2WMDZ4PY.js.map} +0 -0
- /package/dist/{validate-53RKM2XG.js.map → validate-G6HH3YXL.js.map} +0 -0
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"sources":["../src/lint/core/infer.ts","../src/lint/commands/templates.ts","../src/lint/commands/tools.ts"],"sourcesContent":["/**\n * Write a first template from a page that already has the shape its author\n * wants.\n *\n * The format is strict by default: every rule is one occurrence, and a section\n * no rule describes is a finding. A new author's first run against a\n * hand-written template is therefore a screen of unexpected sections, and this\n * is the escape. Proposal 0061's stress test 5 records it, and says the two\n * ship together.\n *\n * Two rules govern everything here.\n *\n * **The output must lint its input clean.** That is the whole contract, and it\n * is why each inference below is the weakest claim that still describes the\n * page. `contains:` lists only the kinds that are there, at `min: 1`, so a\n * section holding more of something still passes. A table's `columns:` is\n * claimed only where every table in that section agrees about them, and a code\n * block's `language:` only where every block in that section declares one -\n * both rules report per offending node, so a claim drawn from one node would\n * fail on its neighbour. A template that fails the page it was inferred from is\n * worse than no template: it hands a new author findings about the very\n * document they pointed at.\n *\n * **Nothing is optional and nothing repeats.** One page cannot show what\n * varies, so no `min: 0`, no `max`, no `repeat` and no `pattern` is invented.\n * Two sections with one heading are two rules. Loosening a heading into a list\n * or a pattern, marking a rule optional, and adding a trailing wildcard are the\n * author's edits, and the reference page says so.\n */\nimport { stringify as stringifyYaml } from \"yaml\";\nimport { LintError } from \"../types.js\";\nimport type {\n CodeNode,\n ContentKind,\n ContentNode,\n DocumentTree,\n Position,\n SectionNode,\n TableNode,\n} from \"../types.js\";\nimport { BLOCK_KINDS, BLOCK_KIND_NODE } from \"./template.js\";\nimport type {\n BlockKind,\n BlockRule,\n HeadingRule,\n Rule,\n Template,\n TemplateFile,\n} from \"./template.js\";\n\n/** How an inferred template is written out. */\nexport const INFER_FORMATS = [\"yaml\", \"json\"] as const;\nexport type InferFormat = (typeof INFER_FORMATS)[number];\n\nexport function isInferFormat(value: string): value is InferFormat {\n return (INFER_FORMATS as readonly string[]).includes(value);\n}\n\n/**\n * Template names the schema's `templates` map accepts.\n *\n * Checked here rather than left to Ajv. `templates` is `additionalProperties:\n * false` beside a `patternProperties` key, so a name outside the pattern is\n * reported as an unexpected property - which names the offending key and says\n * nothing whatsoever about what is wrong with it.\n */\nconst TEMPLATE_NAME = /^[A-Za-z][A-Za-z0-9\\-_]*$/;\n\n/** The node each block-rule key counts, inverted: `codeBlock` -> `codeBlocks`. */\nconst KIND_KEY = new Map<ContentKind, BlockKind>(\n BLOCK_KINDS.map((key) => [BLOCK_KIND_NODE[key], key]),\n);\n\n/* -------------------------------------------------------------------------- *\n * The page as the template's subject\n * -------------------------------------------------------------------------- */\n\n/** A zero-width span at the top of a file, for a document with no sections. */\nfunction origin(): Position {\n return {\n start: { line: 1, column: 1, offset: 0 },\n end: { line: 1, column: 1, offset: 0 },\n };\n}\n\n/** First section's start through the last one's end. */\nfunction span(sections: SectionNode[]): Position {\n const first = sections[0];\n const last = sections[sections.length - 1];\n if (!first || !last) return origin();\n return { start: { ...first.position.start }, end: { ...last.position.end } };\n}\n\n/**\n * The section the template describes: the page itself.\n *\n * Deliberately the same reading `validator.ts` applies, because the template\n * this produces is checked by that one. A page whose body is a single `# Title`\n * *is* that section; anything else - several top-level headings, or a body that\n * starts at `##` with no lead content - has no section standing for the page,\n * so one is synthesised with no heading of its own. The duplication is small\n * and the alternative is worse: an inference that read the page differently\n * from the checker would produce templates that fail their own source.\n */\nfunction pageSection(tree: DocumentTree): SectionNode {\n const [only] = tree.sections;\n if (tree.sections.length === 1 && only && only.level <= 1) return only;\n return {\n slug: \"\",\n title: \"\",\n level: 0,\n order: 0,\n parentSlug: null,\n titlePosition: null,\n position: span(tree.sections),\n children: [],\n sections: tree.sections,\n };\n}\n\n/* -------------------------------------------------------------------------- *\n * Content\n * -------------------------------------------------------------------------- */\n\n/** The header row's cells, in order, or none where the table has no header. */\nfunction headerCells(table: TableNode): string[] {\n const header = table.children.find((row) => row.header);\n return header ? header.children.map((cell) => cell.text) : [];\n}\n\n/**\n * `columns:` for a run of tables, where they all agree about it.\n *\n * `tables.columns` reports once per table whose header differs, so a claim\n * taken from the first of two unlike tables fails on the second - in the very\n * page it was drawn from. Where the tables disagree, or any of them has no\n * header row, the count alone is what the page can honestly be said to show.\n */\nfunction columnsOf(tables: TableNode[]): { columns?: string[] } {\n const headers = tables.map(headerCells);\n const [first] = headers;\n if (first === undefined || first.length === 0) return {};\n const same = (cells: string[]): boolean =>\n cells.length === first.length && cells.every((c, i) => c === first[i]);\n return headers.every(same) ? { columns: [...first] } : {};\n}\n\n/**\n * `language:` for a run of code blocks, where every one of them declares one.\n *\n * `codeBlocks.language` holds every block in the run to the accepted set, so a\n * section mixing a tagged fence with a bare one can claim nothing: the bare one\n * would fail. Where the tags differ the list form says what the page shows,\n * which is what \"one of these\" is for.\n */\nfunction languageOf(blocks: CodeNode[]): { language?: string | string[] } {\n const declared: string[] = [];\n for (const block of blocks) {\n if (block.language === undefined || block.language.length === 0) return {};\n declared.push(block.language);\n }\n const distinct = [...new Set(declared)];\n const [only] = distinct;\n if (only === undefined) return {};\n return { language: distinct.length === 1 ? only : distinct };\n}\n\n/**\n * What a section holds, as a `contains:` rule, or nothing where it holds none\n * of the kinds a template can count.\n *\n * `contains` rather than `sequence`: the page shows one order, and asserting it\n * would make moving a paragraph below a list a finding. Order is a claim its\n * author makes deliberately.\n */\nfunction inferContains(children: ContentNode[]): BlockRule | undefined {\n const byKey = new Map<BlockKind, ContentNode[]>();\n for (const node of children) {\n const key = KIND_KEY.get(node.kind);\n if (key === undefined) continue;\n const bucket = byKey.get(key);\n if (bucket) bucket.push(node);\n else byKey.set(key, [node]);\n }\n\n const rule: BlockRule = {};\n let any = false;\n // In `BLOCK_KINDS` order, not the order the page happens to put them in, so\n // two pages holding the same kinds produce byte-identical rules.\n for (const key of BLOCK_KINDS) {\n const nodes = byKey.get(key);\n if (nodes === undefined) continue;\n any = true;\n if (key === \"tables\") {\n rule.tables = { min: 1, ...columnsOf(nodes as TableNode[]) };\n } else if (key === \"codeBlocks\") {\n rule.codeBlocks = { min: 1, ...languageOf(nodes as CodeNode[]) };\n } else {\n // A computed key, as `validator.ts` does it: every other block rule is a\n // bare count, and nine near-identical branches would say less.\n Object.assign(rule, { [key]: { min: 1 } });\n }\n }\n return any ? rule : undefined;\n}\n\n/* -------------------------------------------------------------------------- *\n * Rules\n * -------------------------------------------------------------------------- */\n\n/**\n * A section's heading, as a rule about it.\n *\n * Exact text, because that is what the page shows; a one-of list or a pattern\n * is a generalisation only its author can make. `false` for a section with no\n * heading of its own - the implicit lead section, and the synthesised page -\n * because that is as specific a claim as naming one.\n *\n * An empty title is the one case with no spelling: the schema's `heading`\n * requires a non-empty string, and `false` would be a lie about a section that\n * does have a heading. The key is omitted, which matches any heading.\n */\nfunction inferHeading(section: SectionNode): HeadingRule | undefined {\n if (section.titlePosition === null) return false;\n return section.title.length > 0 ? section.title : undefined;\n}\n\n/** One section, and every section under it. */\nfunction inferRule(section: SectionNode): Rule {\n const rule: Rule = {};\n const heading = inferHeading(section);\n if (heading !== undefined) rule.heading = heading;\n const contains = inferContains(section.children);\n if (contains) rule.contains = contains;\n // Omitted, never `[]`. An absent `sections:` says nothing about the\n // subsections; an empty list says none are permitted.\n if (section.sections.length > 0) {\n rule.sections = section.sections.map(inferRule);\n }\n return rule;\n}\n\n/** The template one page describes: the page rule, with its sections under it. */\nexport function inferTemplate(tree: DocumentTree): Template {\n return inferRule(pageSection(tree));\n}\n\n/* -------------------------------------------------------------------------- *\n * The file\n * -------------------------------------------------------------------------- */\n\n/** Refuse a name the `templates` map cannot hold, in words that name the rule. */\nexport function assertTemplateName(name: string): string {\n if (TEMPLATE_NAME.test(name)) return name;\n throw new LintError(\n `\"${name}\" is not a usable template name. A name starts with a letter and ` +\n `holds only letters, digits, \"-\" and \"_\". Pass --name <name>.`,\n );\n}\n\n/** A one-template file, ready to serialize. */\nexport function inferTemplateFile(\n tree: DocumentTree,\n name: string,\n): TemplateFile {\n return { templates: { [assertTemplateName(name)]: inferTemplate(tree) } };\n}\n\n/**\n * Serialize a template file.\n *\n * `lineWidth: 0` turns off YAML's folding. A folded heading still parses back\n * to the same string, but a template is read and edited by hand, and a heading\n * broken across two lines is the one thing in this output a reader would\n * mistrust.\n */\nexport function renderTemplateFile(\n file: TemplateFile,\n format: InferFormat,\n): string {\n const text =\n format === \"json\"\n ? JSON.stringify(file, null, 2)\n : stringifyYaml(file, { lineWidth: 0 });\n return text.endsWith(\"\\n\") ? text : `${text}\\n`;\n}\n","/**\n * `templates` command cores.\n *\n * `runTemplates` reports the templates a run could resolve: the built-ins, plus\n * the named templates in any files given by `--templates` or by\n * `lint.templates` in the config, with the doctypes each serves.\n *\n * The `types` column is the part worth printing. It is what frontmatter\n * routing will match a page against, so seeing it is how someone works out\n * which `type:` value to write in a page - or that no template claims the one\n * they already wrote.\n *\n * `runTemplatesInfer` writes a first template from a page that already has the\n * shape its author wants. The inference itself is `../core/infer.ts`; what\n * lives here is the plumbing around it - which parser reads the page, what the\n * template is called, and where the file goes.\n *\n * Both return data; `src/lint/reporters/index.ts` renders the listing, and an\n * inferred template is already the text it will be written as.\n */\nimport { existsSync } from \"node:fs\";\nimport { mkdir, readFile } from \"node:fs/promises\";\nimport { basename, dirname, extname, resolve } from \"node:path\";\nimport { errorMessage, ToolError } from \"../../shared/errors.js\";\nimport { writeTextAtomic } from \"../../shared/write-file.js\";\nimport { LintError } from \"../types.js\";\nimport type { DocumentParser, DocumentTree } from \"../types.js\";\nimport {\n parserByName,\n parserForExtension,\n supportedExtensions,\n} from \"../parsers/index.js\";\nimport {\n assertTemplateName,\n inferTemplateFile,\n isInferFormat,\n renderTemplateFile,\n type InferFormat,\n} from \"../core/infer.js\";\nimport type { TemplateFile } from \"../core/template.js\";\nimport { resolveLintRun } from \"../core/config.js\";\nimport {\n listBuiltins,\n loadTemplateFile,\n} from \"../core/template-registry.js\";\n\n/** `TemplateInfo.source` for a template that ships with the tool. */\nexport const BUILTIN_SOURCE = \"builtin\";\n\nexport interface TemplateInfo {\n /** The ref to pass to `--template`. */\n id: string;\n /**\n * Human-readable title. Empty for templates read from a user file: the\n * template DSL has no title field, only the built-in registry carries one.\n */\n title: string;\n /** Doctypes the template serves, matched against a page `type`. */\n types: string[];\n /** `builtin`, or the template file this entry came from. */\n source: string;\n}\n\nexport interface TemplatesInfo {\n templates: TemplateInfo[];\n}\n\nexport interface TemplatesOptions {\n /** Template files whose entries join the built-ins. */\n templates?: string | string[];\n}\n\nexport async function runTemplates(\n opts: TemplatesOptions = {},\n): Promise<TemplatesInfo> {\n const templates: TemplateInfo[] = listBuiltins().map((builtin) => ({\n id: builtin.id,\n title: builtin.title,\n types: builtin.types,\n source: BUILTIN_SOURCE,\n }));\n\n // Listed after the built-ins, in the order supplied - the same order\n // `buildTypeIndex` applies them in, so a later entry claiming the same\n // doctype is the one that would win.\n const paths =\n opts.templates == null\n ? []\n : Array.isArray(opts.templates)\n ? opts.templates\n : [opts.templates];\n\n for (const path of paths) {\n const file = await loadTemplateFile(path);\n for (const [id, template] of Object.entries(file.templates ?? {})) {\n templates.push({\n id,\n title: \"\",\n types: template.types ?? [],\n source: path,\n });\n }\n }\n\n return { templates };\n}\n\n/* -------------------------------------------------------------------------- *\n * infer\n * -------------------------------------------------------------------------- */\n\n/** The token that means stdin, in every command of the family. */\nconst STDIN = \"-\";\n\n/** What a page read from stdin is called when nothing else names it. */\nconst STDIN_NAME = \"stdin\";\n\nexport interface TemplatesInferOptions {\n /** The one page to infer from: a path, or `-` for stdin. */\n page: string;\n /** `--as`: force an input format, by parser name. */\n as?: string;\n /** `--name`: what to call the template. Defaults to the page's own doctype. */\n name?: string;\n /** `-f/--format`: how the file is written. Defaults to `yaml`. */\n format?: InferFormat;\n /** `-o/--out`: write here instead of returning text for stdout. */\n out?: string;\n /** `--force`: replace an existing `--out`. */\n force?: boolean;\n cwd?: string;\n /** Content for the `-` page, injected by the CLI and by tests. */\n stdinContent?: string;\n /** `-c/--config`. */\n configPath?: string;\n /** `--no-config`: skip discovery. */\n noConfig?: boolean;\n /** Told which config governed the run, and where it came from. */\n onConfigLoaded?: (info: { path: string; dir: string }) => void;\n}\n\nexport interface TemplatesInferResult {\n /** The name the template was written under. */\n name: string;\n /** The inferred file, for a caller that wants the data rather than the text. */\n file: TemplateFile;\n /** The serialized template file, exactly as written. */\n text: string;\n /** Where it was written. Absent without `--out`. */\n written?: string;\n}\n\n/**\n * The parser that reads this page.\n *\n * Resolved before anything is read, as `runLint` does it: a typo in `--as`\n * should fail immediately rather than after a file was opened it was going to\n * mis-parse anyway. A name no parser answers to is unknown whatever it was\n * meant to name, so the message points at the one command that lists them.\n */\nfunction parserFor(page: string, as: string | undefined): DocumentParser {\n if (as !== undefined) {\n const forced = parserByName(as);\n if (forced) return forced;\n throw new LintError(\n `Unknown format \"${as}\". Run \"manni lint tools\" to see the formats manni lint reads.`,\n );\n }\n if (page === STDIN) {\n throw new LintError(\n \"Reading from stdin (-) requires --as <format> to choose a parser.\",\n );\n }\n const ext = extname(page);\n const parser = parserForExtension(ext);\n if (parser) return parser;\n throw new LintError(\n `no parser is registered for \"${ext || page}\". Supported extensions: ` +\n `${supportedExtensions().join(\", \")}. Use --as to override.`,\n );\n}\n\n/**\n * What the template is called: `--name`, else the page's own doctype, else the\n * file's stem.\n *\n * The doctype first because that is the handle the page already carries, and\n * the one `types:` will route on once the author adds it. A file read from\n * stdin has no stem, so it falls back to a word rather than to `-`.\n */\nfunction defaultName(tree: DocumentTree, page: string): string {\n const declared = tree.frontmatter?.[\"type\"];\n if (typeof declared === \"string\" && declared.trim().length > 0) {\n return declared.trim();\n }\n if (page === STDIN) return STDIN_NAME;\n return basename(page, extname(page)) || STDIN_NAME;\n}\n\n/**\n * Infer a template from one page.\n *\n * One page, never a set. A template is a generalisation, and this makes exactly\n * the generalisation one exemplar supports; inferring from several would mean\n * deciding which differences are variation and which are mistakes, which is the\n * author's judgment and not the tool's.\n */\nexport async function runTemplatesInfer(\n opts: TemplatesInferOptions,\n): Promise<TemplatesInferResult> {\n const format = opts.format ?? \"yaml\";\n if (!isInferFormat(format)) {\n throw new LintError(\n `Unknown --format \"${String(format)}\". Use yaml or json.`,\n );\n }\n\n // Which config governs the run, said once, the way every other lint verb\n // says it. With a page typed on the command line the base stays the working\n // directory, so the path means what it looked like it meant.\n const run = await resolveLintRun({\n cwd: opts.cwd ?? process.cwd(),\n ...(opts.configPath === undefined ? {} : { configPath: opts.configPath }),\n ...(opts.noConfig === undefined ? {} : { noConfig: opts.noConfig }),\n inputs: [opts.page],\n ...(opts.onConfigLoaded === undefined\n ? {}\n : { onConfigLoaded: opts.onConfigLoaded }),\n });\n const cwd = run.base;\n\n const parser = parserFor(opts.page, opts.as);\n // A name the schema cannot hold is refused before the page is read, beside\n // the other refusals: a run that is going to fail should leave the working\n // tree, and the reader's terminal, exactly as it found them.\n if (opts.name !== undefined) assertTemplateName(opts.name);\n\n // Every refusal happens before the write, and the `--out` guard happens\n // before the read - the ordering `meta schemas infer` established. The path\n // is echoed as it was typed, because that is the string the reader will edit.\n let absOut: string | undefined;\n if (opts.out !== undefined) {\n absOut = resolve(cwd, opts.out);\n if (opts.force !== true && existsSync(absOut)) {\n throw new LintError(`${opts.out} exists. Pass --force to overwrite it.`);\n }\n }\n\n let content: string;\n if (opts.page === STDIN) {\n content = opts.stdinContent ?? \"\";\n } else {\n try {\n content = await readFile(resolve(cwd, opts.page), \"utf8\");\n } catch (err) {\n // The OS message travels verbatim: \"permission denied\" and \"no such\n // file\" send the reader to different places, and this cannot tell which.\n throw new LintError(\n `\"${opts.page}\" could not be read: ${errorMessage(err)}`,\n );\n }\n }\n\n let tree: DocumentTree;\n try {\n tree = parser.parse(content, opts.page === STDIN ? \"<stdin>\" : opts.page);\n } catch (err) {\n // A page that will not parse has no shape to infer, and the parser's own\n // message already names the file and the syntax it choked on.\n if (err instanceof ToolError) throw new LintError(err.message);\n throw err;\n }\n\n const name = opts.name ?? defaultName(tree, opts.page);\n const file = inferTemplateFile(tree, name);\n const text = renderTemplateFile(file, format);\n\n if (absOut === undefined) return { name, file, text };\n\n await mkdir(dirname(absOut), { recursive: true });\n await writeTextAtomic(absOut, text);\n return { name, file, text, written: opts.out };\n}\n","/**\n * `tools` command core. One row per lint job: which tool performs it, whether\n * this checkout can run it, what it read its settings from, and the input\n * formats it understands.\n *\n * It replaces `formats`, which reported the parser registry alone. Proposal\n * 0050 records the rename. The registry is here as one column of the job that\n * reads it, because the formats belong to the tool performing that job.\n *\n * The column lists exactly the formats the tool reads, so a row carries no\n * state: a listed format is one that is read, and `--as` accepts every name in\n * it.\n *\n * Returns data; `src/lint/reporters/index.ts` renders it.\n */\nimport type { ContentKind } from \"../types.js\";\nimport { BLOCK_KIND_NODE } from \"../core/template.js\";\nimport { resolveStructureTool } from \"../tools/index.js\";\nimport {\n LINT_JOBS,\n resolveLintRun,\n type LintConfig,\n type LintJob,\n type LintTool,\n} from \"../core/config.js\";\n\n/**\n * The content kinds a template rule can actually name - `BLOCK_KIND_NODE`'s\n * values, the nine block-rule keys map onto. `manni lint tools` lists this\n * column to answer \"can my rule run against this format\", and a rule can\n * never ask about `listItem`, `tableRow`, `tableCell`, or `definitionItem`:\n * those are structural kinds a parser reports so the content model can\n * describe a list's items or a table's cells, not kinds a `sections:` rule\n * counts on its own. What a parser *declares* (`DocumentParser.kinds`, read by\n * the pruner in `validator.ts`) is untouched - this is a display decision, so\n * it belongs here rather than trimming the declaration itself.\n */\nconst REPORTABLE_KINDS = new Set<ContentKind>(Object.values(BLOCK_KIND_NODE));\n\nexport interface FormatInfo {\n /** Parser name, also what `--as` accepts. */\n name: string;\n label: string;\n extensions: string[];\n /** The content kinds this format's parser actually emits today. */\n kinds: ContentKind[];\n}\n\n/** One job, and the tool that would perform it on this run. */\nexport interface ToolInfo {\n job: LintJob;\n tool: LintTool;\n /** Whether the config declares this job, or anything the job's tool reads. */\n configured: boolean;\n /** Whether the tool can run here, as its own probe reported it. */\n available: boolean;\n /**\n * The version the probe reported, or null when it reported none.\n *\n * Null rather than a placeholder string, because this is the shape\n * `-f json` emits: a consumer can test for an absent version, where a dash\n * would be a value it has to know to recognize. The pretty reporter renders\n * the dash.\n */\n version: string | null;\n /** Where the tool read its settings: the config file, or the defaults. */\n config: string;\n /** The input formats the tool reads. */\n formats: FormatInfo[];\n}\n\nexport interface ToolsOptions {\n cwd?: string;\n /** `-c/--config`. */\n configPath?: string;\n /** `--no-config`: ignore any discovered config file. */\n noConfig?: boolean;\n}\n\n/** What a run with no config file to read reports in the `config` column. */\nexport const BUILT_IN_DEFAULTS = \"built-in defaults\";\n\n/**\n * Whether the config says anything about this job.\n *\n * The job's own mapping counts, and so does every key its tool reads: a repo\n * that has written `templates:` and `overrides:` has configured the structure\n * job whether or not it also spelled `structure:` out. Saying otherwise would\n * report \"not configured\" beside a run those keys visibly govern.\n */\nfunction isConfigured(job: LintJob, config: LintConfig): boolean {\n if (config[job] !== undefined) return true;\n return (\n config.templates !== undefined ||\n config.template !== undefined ||\n config.types !== undefined ||\n config.overrides !== undefined\n );\n}\n\nexport async function runTools(opts: ToolsOptions = {}): Promise<ToolInfo[]> {\n // The same resolution every other command does, so a config this command\n // cannot read is the same exit 2 with the same message, rather than a row\n // saying \"built-in defaults\" over a file that is really there and broken.\n const cwd = opts.cwd ?? process.cwd();\n const run = await resolveLintRun({\n cwd,\n configPath: opts.configPath,\n noConfig: opts.noConfig,\n inputs: [],\n });\n\n return await Promise.all(\n LINT_JOBS.map(async (job) => {\n const tool: LintTool = run.config[job]?.tool ?? \"manni\";\n // The row is the tool's own answer about itself. It used to be two\n // literals that happened to be right while manni was the only tool:\n // \"available\" was hard-coded true, and the version was this package's\n // whatever performed the job.\n const descriptor = resolveStructureTool(tool);\n // The family's `tools:` travels with the probe: a tool outside the\n // package is found where its own `tools.<tool>` says it is, so probing\n // without it would report \"not available\" over the very installation the\n // run would go on to use.\n const probed = await descriptor.probe({\n cwd,\n tools: run.tools,\n ...(run.configDir === undefined ? {} : { configDir: run.configDir }),\n });\n return {\n job,\n tool,\n configured: isConfigured(job, run.config),\n available: probed.available,\n version: probed.version,\n config: run.configSource ?? BUILT_IN_DEFAULTS,\n formats: descriptor.formats().map((format) => ({\n ...format,\n kinds: format.kinds.filter((kind) => REPORTABLE_KINDS.has(kind)),\n })),\n };\n }),\n );\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;AA6BA,SAAS,aAAa,qBAAqB;AAsBpC,IAAM,gBAAgB,CAAC,QAAQ,MAAM;AAGrC,SAAS,cAAc,OAAqC;AACjE,SAAQ,cAAoC,SAAS,KAAK;AAC5D;AAUA,IAAM,gBAAgB;AAGtB,IAAM,WAAW,IAAI;AAAA,EACnB,YAAY,IAAI,CAAC,QAAQ,CAAC,gBAAgB,GAAG,GAAG,GAAG,CAAC;AACtD;AAOA,SAAS,SAAmB;AAC1B,SAAO;AAAA,IACL,OAAO,EAAE,MAAM,GAAG,QAAQ,GAAG,QAAQ,EAAE;AAAA,IACvC,KAAK,EAAE,MAAM,GAAG,QAAQ,GAAG,QAAQ,EAAE;AAAA,EACvC;AACF;AAGA,SAAS,KAAK,UAAmC;AAC/C,QAAM,QAAQ,SAAS,CAAC;AACxB,QAAM,OAAO,SAAS,SAAS,SAAS,CAAC;AACzC,MAAI,CAAC,SAAS,CAAC,KAAM,QAAO,OAAO;AACnC,SAAO,EAAE,OAAO,EAAE,GAAG,MAAM,SAAS,MAAM,GAAG,KAAK,EAAE,GAAG,KAAK,SAAS,IAAI,EAAE;AAC7E;AAaA,SAAS,YAAY,MAAiC;AACpD,QAAM,CAAC,IAAI,IAAI,KAAK;AACpB,MAAI,KAAK,SAAS,WAAW,KAAK,QAAQ,KAAK,SAAS,EAAG,QAAO;AAClE,SAAO;AAAA,IACL,MAAM;AAAA,IACN,OAAO;AAAA,IACP,OAAO;AAAA,IACP,OAAO;AAAA,IACP,YAAY;AAAA,IACZ,eAAe;AAAA,IACf,UAAU,KAAK,KAAK,QAAQ;AAAA,IAC5B,UAAU,CAAC;AAAA,IACX,UAAU,KAAK;AAAA,EACjB;AACF;AAOA,SAAS,YAAY,OAA4B;AAC/C,QAAM,SAAS,MAAM,SAAS,KAAK,CAAC,QAAQ,IAAI,MAAM;AACtD,SAAO,SAAS,OAAO,SAAS,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC;AAC9D;AAUA,SAAS,UAAU,QAA6C;AAC9D,QAAM,UAAU,OAAO,IAAI,WAAW;AACtC,QAAM,CAAC,KAAK,IAAI;AAChB,MAAI,UAAU,UAAa,MAAM,WAAW,EAAG,QAAO,CAAC;AACvD,QAAM,OAAO,CAAC,UACZ,MAAM,WAAW,MAAM,UAAU,MAAM,MAAM,CAAC,GAAG,MAAM,MAAM,MAAM,CAAC,CAAC;AACvE,SAAO,QAAQ,MAAM,IAAI,IAAI,EAAE,SAAS,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC;AAC1D;AAUA,SAAS,WAAW,QAAsD;AACxE,QAAM,WAAqB,CAAC;AAC5B,aAAW,SAAS,QAAQ;AAC1B,QAAI,MAAM,aAAa,UAAa,MAAM,SAAS,WAAW,EAAG,QAAO,CAAC;AACzE,aAAS,KAAK,MAAM,QAAQ;AAAA,EAC9B;AACA,QAAM,WAAW,CAAC,GAAG,IAAI,IAAI,QAAQ,CAAC;AACtC,QAAM,CAAC,IAAI,IAAI;AACf,MAAI,SAAS,OAAW,QAAO,CAAC;AAChC,SAAO,EAAE,UAAU,SAAS,WAAW,IAAI,OAAO,SAAS;AAC7D;AAUA,SAAS,cAAc,UAAgD;AACrE,QAAM,QAAQ,oBAAI,IAA8B;AAChD,aAAW,QAAQ,UAAU;AAC3B,UAAM,MAAM,SAAS,IAAI,KAAK,IAAI;AAClC,QAAI,QAAQ,OAAW;AACvB,UAAM,SAAS,MAAM,IAAI,GAAG;AAC5B,QAAI,OAAQ,QAAO,KAAK,IAAI;AAAA,QACvB,OAAM,IAAI,KAAK,CAAC,IAAI,CAAC;AAAA,EAC5B;AAEA,QAAM,OAAkB,CAAC;AACzB,MAAI,MAAM;AAGV,aAAW,OAAO,aAAa;AAC7B,UAAM,QAAQ,MAAM,IAAI,GAAG;AAC3B,QAAI,UAAU,OAAW;AACzB,UAAM;AACN,QAAI,QAAQ,UAAU;AACpB,WAAK,SAAS,EAAE,KAAK,GAAG,GAAG,UAAU,KAAoB,EAAE;AAAA,IAC7D,WAAW,QAAQ,cAAc;AAC/B,WAAK,aAAa,EAAE,KAAK,GAAG,GAAG,WAAW,KAAmB,EAAE;AAAA,IACjE,OAAO;AAGL,aAAO,OAAO,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC;AAAA,IAC3C;AAAA,EACF;AACA,SAAO,MAAM,OAAO;AACtB;AAkBA,SAAS,aAAa,SAA+C;AACnE,MAAI,QAAQ,kBAAkB,KAAM,QAAO;AAC3C,SAAO,QAAQ,MAAM,SAAS,IAAI,QAAQ,QAAQ;AACpD;AAGA,SAAS,UAAU,SAA4B;AAC7C,QAAM,OAAa,CAAC;AACpB,QAAM,UAAU,aAAa,OAAO;AACpC,MAAI,YAAY,OAAW,MAAK,UAAU;AAC1C,QAAM,WAAW,cAAc,QAAQ,QAAQ;AAC/C,MAAI,SAAU,MAAK,WAAW;AAG9B,MAAI,QAAQ,SAAS,SAAS,GAAG;AAC/B,SAAK,WAAW,QAAQ,SAAS,IAAI,SAAS;AAAA,EAChD;AACA,SAAO;AACT;AAGO,SAAS,cAAc,MAA8B;AAC1D,SAAO,UAAU,YAAY,IAAI,CAAC;AACpC;AAOO,SAAS,mBAAmB,MAAsB;AACvD,MAAI,cAAc,KAAK,IAAI,EAAG,QAAO;AACrC,QAAM,IAAI;AAAA,IACR,IAAI,IAAI;AAAA,EAEV;AACF;AAGO,SAAS,kBACd,MACA,MACc;AACd,SAAO,EAAE,WAAW,EAAE,CAAC,mBAAmB,IAAI,CAAC,GAAG,cAAc,IAAI,EAAE,EAAE;AAC1E;AAUO,SAAS,mBACd,MACA,QACQ;AACR,QAAM,OACJ,WAAW,SACP,KAAK,UAAU,MAAM,MAAM,CAAC,IAC5B,cAAc,MAAM,EAAE,WAAW,EAAE,CAAC;AAC1C,SAAO,KAAK,SAAS,IAAI,IAAI,OAAO,GAAG,IAAI;AAAA;AAC7C;;;ACzQA,SAAS,kBAAkB;AAC3B,SAAS,OAAO,gBAAgB;AAChC,SAAS,UAAU,SAAS,SAAS,eAAe;AAyB7C,IAAM,iBAAiB;AAyB9B,eAAsB,aACpB,OAAyB,CAAC,GACF;AACxB,QAAM,YAA4B,aAAa,EAAE,IAAI,CAAC,aAAa;AAAA,IACjE,IAAI,QAAQ;AAAA,IACZ,OAAO,QAAQ;AAAA,IACf,OAAO,QAAQ;AAAA,IACf,QAAQ;AAAA,EACV,EAAE;AAKF,QAAM,QACJ,KAAK,aAAa,OACd,CAAC,IACD,MAAM,QAAQ,KAAK,SAAS,IAC1B,KAAK,YACL,CAAC,KAAK,SAAS;AAEvB,aAAW,QAAQ,OAAO;AACxB,UAAM,OAAO,MAAM,iBAAiB,IAAI;AACxC,eAAW,CAAC,IAAI,QAAQ,KAAK,OAAO,QAAQ,KAAK,aAAa,CAAC,CAAC,GAAG;AACjE,gBAAU,KAAK;AAAA,QACb;AAAA,QACA,OAAO;AAAA,QACP,OAAO,SAAS,SAAS,CAAC;AAAA,QAC1B,QAAQ;AAAA,MACV,CAAC;AAAA,IACH;AAAA,EACF;AAEA,SAAO,EAAE,UAAU;AACrB;AAOA,IAAM,QAAQ;AAGd,IAAM,aAAa;AA6CnB,SAAS,UAAU,MAAc,IAAwC;AACvE,MAAI,OAAO,QAAW;AACpB,UAAM,SAAS,aAAa,EAAE;AAC9B,QAAI,OAAQ,QAAO;AACnB,UAAM,IAAI;AAAA,MACR,mBAAmB,EAAE;AAAA,IACvB;AAAA,EACF;AACA,MAAI,SAAS,OAAO;AAClB,UAAM,IAAI;AAAA,MACR;AAAA,IACF;AAAA,EACF;AACA,QAAM,MAAM,QAAQ,IAAI;AACxB,QAAM,SAAS,mBAAmB,GAAG;AACrC,MAAI,OAAQ,QAAO;AACnB,QAAM,IAAI;AAAA,IACR,gCAAgC,OAAO,IAAI,4BACtC,oBAAoB,EAAE,KAAK,IAAI,CAAC;AAAA,EACvC;AACF;AAUA,SAAS,YAAY,MAAoB,MAAsB;AAC7D,QAAM,WAAW,KAAK,cAAc,MAAM;AAC1C,MAAI,OAAO,aAAa,YAAY,SAAS,KAAK,EAAE,SAAS,GAAG;AAC9D,WAAO,SAAS,KAAK;AAAA,EACvB;AACA,MAAI,SAAS,MAAO,QAAO;AAC3B,SAAO,SAAS,MAAM,QAAQ,IAAI,CAAC,KAAK;AAC1C;AAUA,eAAsB,kBACpB,MAC+B;AAC/B,QAAM,SAAS,KAAK,UAAU;AAC9B,MAAI,CAAC,cAAc,MAAM,GAAG;AAC1B,UAAM,IAAI;AAAA,MACR,qBAAqB,OAAO,MAAM,CAAC;AAAA,IACrC;AAAA,EACF;AAKA,QAAM,MAAM,MAAM,eAAe;AAAA,IAC/B,KAAK,KAAK,OAAO,QAAQ,IAAI;AAAA,IAC7B,GAAI,KAAK,eAAe,SAAY,CAAC,IAAI,EAAE,YAAY,KAAK,WAAW;AAAA,IACvE,GAAI,KAAK,aAAa,SAAY,CAAC,IAAI,EAAE,UAAU,KAAK,SAAS;AAAA,IACjE,QAAQ,CAAC,KAAK,IAAI;AAAA,IAClB,GAAI,KAAK,mBAAmB,SACxB,CAAC,IACD,EAAE,gBAAgB,KAAK,eAAe;AAAA,EAC5C,CAAC;AACD,QAAM,MAAM,IAAI;AAEhB,QAAM,SAAS,UAAU,KAAK,MAAM,KAAK,EAAE;AAI3C,MAAI,KAAK,SAAS,OAAW,oBAAmB,KAAK,IAAI;AAKzD,MAAI;AACJ,MAAI,KAAK,QAAQ,QAAW;AAC1B,aAAS,QAAQ,KAAK,KAAK,GAAG;AAC9B,QAAI,KAAK,UAAU,QAAQ,WAAW,MAAM,GAAG;AAC7C,YAAM,IAAI,UAAU,GAAG,KAAK,GAAG,wCAAwC;AAAA,IACzE;AAAA,EACF;AAEA,MAAI;AACJ,MAAI,KAAK,SAAS,OAAO;AACvB,cAAU,KAAK,gBAAgB;AAAA,EACjC,OAAO;AACL,QAAI;AACF,gBAAU,MAAM,SAAS,QAAQ,KAAK,KAAK,IAAI,GAAG,MAAM;AAAA,IAC1D,SAAS,KAAK;AAGZ,YAAM,IAAI;AAAA,QACR,IAAI,KAAK,IAAI,wBAAwB,aAAa,GAAG,CAAC;AAAA,MACxD;AAAA,IACF;AAAA,EACF;AAEA,MAAI;AACJ,MAAI;AACF,WAAO,OAAO,MAAM,SAAS,KAAK,SAAS,QAAQ,YAAY,KAAK,IAAI;AAAA,EAC1E,SAAS,KAAK;AAGZ,QAAI,eAAe,UAAW,OAAM,IAAI,UAAU,IAAI,OAAO;AAC7D,UAAM;AAAA,EACR;AAEA,QAAM,OAAO,KAAK,QAAQ,YAAY,MAAM,KAAK,IAAI;AACrD,QAAM,OAAO,kBAAkB,MAAM,IAAI;AACzC,QAAM,OAAO,mBAAmB,MAAM,MAAM;AAE5C,MAAI,WAAW,OAAW,QAAO,EAAE,MAAM,MAAM,KAAK;AAEpD,QAAM,MAAM,QAAQ,MAAM,GAAG,EAAE,WAAW,KAAK,CAAC;AAChD,QAAM,gBAAgB,QAAQ,IAAI;AAClC,SAAO,EAAE,MAAM,MAAM,MAAM,SAAS,KAAK,IAAI;AAC/C;;;ACrPA,IAAM,mBAAmB,IAAI,IAAiB,OAAO,OAAO,eAAe,CAAC;AA2CrE,IAAM,oBAAoB;AAUjC,SAAS,aAAa,KAAc,QAA6B;AAC/D,MAAI,OAAO,GAAG,MAAM,OAAW,QAAO;AACtC,SACE,OAAO,cAAc,UACrB,OAAO,aAAa,UACpB,OAAO,UAAU,UACjB,OAAO,cAAc;AAEzB;AAEA,eAAsB,SAAS,OAAqB,CAAC,GAAwB;AAI3E,QAAM,MAAM,KAAK,OAAO,QAAQ,IAAI;AACpC,QAAM,MAAM,MAAM,eAAe;AAAA,IAC/B;AAAA,IACA,YAAY,KAAK;AAAA,IACjB,UAAU,KAAK;AAAA,IACf,QAAQ,CAAC;AAAA,EACX,CAAC;AAED,SAAO,MAAM,QAAQ;AAAA,IACnB,UAAU,IAAI,OAAO,QAAQ;AAC3B,YAAM,OAAiB,IAAI,OAAO,GAAG,GAAG,QAAQ;AAKhD,YAAM,aAAa,qBAAqB,IAAI;AAK5C,YAAM,SAAS,MAAM,WAAW,MAAM;AAAA,QACpC;AAAA,QACA,OAAO,IAAI;AAAA,QACX,GAAI,IAAI,cAAc,SAAY,CAAC,IAAI,EAAE,WAAW,IAAI,UAAU;AAAA,MACpE,CAAC;AACD,aAAO;AAAA,QACL;AAAA,QACA;AAAA,QACA,YAAY,aAAa,KAAK,IAAI,MAAM;AAAA,QACxC,WAAW,OAAO;AAAA,QAClB,SAAS,OAAO;AAAA,QAChB,QAAQ,IAAI,gBAAgB;AAAA,QAC5B,SAAS,WAAW,QAAQ,EAAE,IAAI,CAAC,YAAY;AAAA,UAC7C,GAAG;AAAA,UACH,OAAO,OAAO,MAAM,OAAO,CAAC,SAAS,iBAAiB,IAAI,IAAI,CAAC;AAAA,QACjE,EAAE;AAAA,MACJ;AAAA,IACF,CAAC;AAAA,EACH;AACF;","names":[]}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"sources":["../src/lint/types.ts","../src/lint/rules/paragraphs.ts","../src/lint/rules/code-blocks.ts","../src/lint/rules/tables.ts","../src/lint/rules/admonitions.ts","../src/lint/rules/images.ts","../src/lint/rules/blockquotes.ts","../src/lint/rules/definition-lists.ts","../src/lint/rules/sequence.ts","../src/lint/rules/elements.ts","../src/lint/rules/contains.ts","../src/lint/rules/lists.ts","../src/lint/rules/index.ts","../src/lint/rules/heading.ts","../src/lint/core/template.ts","../src/lint/core/match.ts"],"sourcesContent":["/**\n * The contract every other module is written against.\n *\n * Two shapes matter. `DocumentTree` is what a parser owes the rest of the tool:\n * a nested section tree with real source positions, in a vocabulary that has\n * nothing to do with Markdown. `Finding` is what the tool owes its caller.\n * Everything between the two - matching, rules, reporting - touches neither\n * mdast nor Asciidoctor nor parse5, which is what lets a new input format be\n * one file plus a line in the parser registry.\n */\n\nimport { ToolError } from \"../shared/errors.js\";\nimport type { Severity } from \"../shared/severity.js\";\n\n/**\n * Operational/usage failure. Exits 2; never used for lint findings.\n *\n * Extends the umbrella's `ToolError`, which is what the shared bin runner\n * matches on; the subclass stays so this tool's tests and library callers can\n * match on it by name. Named for its domain, as `A11yError`, `CiteError` and\n * `KeyError` are.\n */\nexport class LintError extends ToolError {\n constructor(message: string) {\n super(message);\n this.name = \"LintError\";\n }\n}\n\n/** A point in a source file. Line and column are 1-based, offset 0-based. */\nexport interface Point {\n line: number;\n column: number;\n offset: number;\n}\n\n/** A half-open source span, `start` inclusive and `end` exclusive. */\nexport interface Position {\n start: Point;\n end: Point;\n}\n\n/**\n * Content kinds a section can hold, named generically so a rule written once\n * works on every format. Each parser maps its own AST onto these: mdast\n * `paragraph`/`code`/`list`, Asciidoctor `paragraph`/`listing`/`ulist`|`olist`,\n * HTML `<p>`/`<pre>`/`<ul>` - all three onto `paragraph`/`codeBlock`/`list`.\n *\n * The vocabulary is wider than any one parser emits today. `table`,\n * `admonition`, `image`, `blockquote`, `definitionList`, and `element` are\n * declared here, and in each `DocumentParser.kinds`, only once a parser\n * actually produces them - see `src/lint/parsers/index.ts`.\n */\nexport type ContentKind =\n | \"paragraph\"\n | \"codeBlock\"\n | \"list\"\n | \"listItem\"\n | \"table\"\n | \"tableRow\"\n | \"tableCell\"\n | \"admonition\"\n | \"image\"\n | \"blockquote\"\n | \"definitionList\"\n | \"definitionItem\"\n | \"element\";\n\nexport interface ContentNodeBase {\n kind: ContentKind;\n position: Position;\n /** Plain-text rendering, used by pattern rules. */\n text: string;\n}\n\nexport interface ParagraphNode extends ContentNodeBase {\n kind: \"paragraph\";\n}\n\nexport interface CodeNode extends ContentNodeBase {\n kind: \"codeBlock\";\n /** Language, when the format carries one. */\n language?: string;\n /** The info-string tail after the language, when the format carries one. */\n fenceInfo?: string;\n}\n\nexport interface ListItemNode {\n kind: \"listItem\";\n position: Position;\n text: string;\n /** Nested content, so item-level paragraph/code/list rules can run. */\n children: ContentNode[];\n}\n\nexport interface ListNode extends ContentNodeBase {\n kind: \"list\";\n ordered: boolean;\n items: ListItemNode[];\n}\n\nexport interface TableCellNode extends ContentNodeBase {\n kind: \"tableCell\";\n children: ContentNode[];\n}\n\nexport interface TableRowNode extends ContentNodeBase {\n kind: \"tableRow\";\n header: boolean;\n children: TableCellNode[];\n}\n\nexport interface TableNode extends ContentNodeBase {\n kind: \"table\";\n children: TableRowNode[];\n}\n\n/**\n * A callout, and the flavor the source gave it.\n *\n * `variant` is optional because not every format names one this vocabulary\n * has. reStructuredText has `hint`, `attention`, `error` and a generic\n * `admonition` directive, and a bare HTML `<aside>` says nothing at all. Those\n * produce an admonition with no variant rather than an invented equivalence:\n * mapping `hint` onto `tip` would make `variant: tip` pass on a page that\n * never said tip. A `variant:` rule reports such a node as a mismatch, and a\n * plain count rule still counts it.\n */\nexport interface AdmonitionNode extends ContentNodeBase {\n kind: \"admonition\";\n variant?: \"note\" | \"tip\" | \"important\" | \"caution\" | \"warning\" | \"danger\";\n children: ContentNode[];\n}\n\nexport interface ImageNode extends ContentNodeBase {\n kind: \"image\";\n url: string;\n alt: string;\n title?: string;\n}\n\nexport interface BlockquoteNode extends ContentNodeBase {\n kind: \"blockquote\";\n children: ContentNode[];\n}\n\nexport interface DefinitionItemNode {\n kind: \"definitionItem\";\n position: Position;\n text: string;\n term: string;\n definition: ContentNode[];\n}\n\nexport interface DefinitionListNode extends ContentNodeBase {\n kind: \"definitionList\";\n children: DefinitionItemNode[];\n}\n\n/**\n * A named wrapper - an MDX/JSX component today, and where HTML and DITA may\n * eventually anchor a custom element. Its children are its own content, never\n * the enclosing section's: a rule reading a section's `children` must not see\n * inside an `<Element>` it did not ask about.\n */\nexport interface ElementNode extends ContentNodeBase {\n kind: \"element\";\n name: string;\n attributes?: Record<string, string | true>;\n children: ContentNode[];\n}\n\nexport type ContentNode =\n | ParagraphNode\n | CodeNode\n | ListNode\n | TableNode\n | AdmonitionNode\n | ImageNode\n | BlockquoteNode\n | DefinitionListNode\n | ElementNode;\n\n/**\n * One section of a document, demarcated by a heading.\n *\n * `slug`/`title`/`level`/`order`/`parentSlug` intentionally match manni graph's\n * `Section` (dockg/src/types.ts), so its graph can be built from this tree.\n *\n * `children` is in document order and is the single source of truth: the\n * paragraph/codeBlock/list counts every rule needs are queries over it, not\n * separately maintained arrays.\n */\nexport interface SectionNode {\n /** Slug of the heading, disambiguated across the document (`install-1`). */\n slug: string;\n /** Heading text, with inline markup flattened. */\n title: string;\n /** Heading level, 1-6. 0 for the implicit lead section before any heading. */\n level: number;\n /** 1-based position among siblings under the same parent. */\n order: number;\n /** Slug of the enclosing section, or null at the top level. */\n parentSlug: string | null;\n /** Span of the title itself. Null for the implicit lead section. */\n titlePosition: Position | null;\n /** Span of the whole section: its heading through the last node before the next sibling heading. */\n position: Position;\n /** Direct content, in document order, excluding anything owned by a subsection. */\n children: ContentNode[];\n /** Nested sections, in document order. */\n sections: SectionNode[];\n}\n\n/** What a parser returns for one file. */\nexport interface DocumentTree {\n /** Name of the parser that produced this (`markdown`, `asciidoc`, ...). */\n format: string;\n /** Path the content came from, for error messages. */\n filePath: string;\n /** Raw frontmatter/metadata values, or null when the file carries none. */\n frontmatter: Record<string, unknown> | null;\n /** Span of the frontmatter block, for anchoring findings about it. */\n frontmatterPosition: Position | null;\n /** Top-level sections, in document order. */\n sections: SectionNode[];\n}\n\n/**\n * A parser for one input format.\n *\n * Shaped after docmeta's `MetadataExtractor` so the two registries read the\n * same way. A format is registered only when its parser reads it, so every\n * registered format is one the tool reads, and an extension no parser claims is\n * skipped by name rather than parsed as Markdown.\n */\nexport interface DocumentParser {\n /** Stable name, also used as `DocumentTree.format`. */\n name: string;\n /** Human-readable label for `manni lint tools`. */\n label: string;\n /**\n * The content kinds this parser actually emits today. A capability\n * declaration, not the full `ContentKind` vocabulary: a kind absent here is\n * one no rule will ever see from this parser's trees, whatever the format\n * could in principle represent.\n */\n kinds: ContentKind[];\n /** Lowercase file extensions this parser handles, incl. dot (e.g. \".md\"). */\n extensions: string[];\n /**\n * Extensions safe to collect from a directory walk. Defaults to\n * `extensions`.\n *\n * The two differ when an extension is a generic container rather than a\n * documentation format. `.xml` is the case: this parser can read a DocBook\n * or DITA document named explicitly, but a docs tree also contains\n * `pom.xml`, `sitemap.xml`, and `.csproj`, and sweeping those in turns a\n * clean run into a failure about files the user never asked to lint.\n */\n walkExtensions?: string[];\n /** Parse raw file content into the generic tree. */\n parse(content: string, filePath: string): DocumentTree;\n}\n\n/**\n * How much a finding weighs, on the one scale every manni tool speaks\n * (`src/shared/severity.ts`): `notice | warning | error`.\n *\n * Almost every structural finding is an `error`, since a template either\n * describes a document or it does not. `unsupported_content_kind` is the\n * exception and is a `warning`: the rule never ran, so the page may still be\n * fine, and a warning never moves the exit code.\n *\n * The scale is the family's and not this tool's private pair, because a flag\n * or config key two domains both have carries the same name *and* the same\n * values. Re-exported so `lint.Severity` names the same type a caller already\n * has.\n */\nexport type { Severity };\n\n/**\n * One structural violation.\n *\n * The field set is pinned by manni docevals' tool adapter, which reads\n * `{ type, heading, message, position }` off the JSON reporter. Additions are\n * safe; renames are not.\n */\nexport interface Finding {\n /** Machine-readable rule id, e.g. `missing_section`. */\n type: string;\n /** Heading of the section the finding is anchored to, if any. */\n heading: string | null;\n message: string;\n position: Position;\n severity: Severity;\n}\n\n/**\n * Why a file was not linted.\n *\n * `unreadable` is the one that is not about the document: the file was found,\n * claimed by a parser, and then could not be opened - a denied permission, a\n * symlink loop, a page a doc build moved between the walk and the read. It is a\n * skip rather than a finding because nothing was checked, and calling it a\n * finding would report the docs as wrong when the filesystem was.\n */\nexport type SkipReason = \"no-template\" | \"unsupported-format\" | \"unreadable\";\n\n/** Result of linting one file. */\nexport interface FileResult {\n file: string;\n /** True when the file was linted and produced no findings. */\n success: boolean;\n findings: Finding[];\n /** Template id/ref applied, or null when skipped. */\n template: string | null;\n /** Set when the file was skipped rather than linted. */\n skipped?: SkipReason;\n}\n","/**\n * `paragraphs:` - paragraph counts and a per-paragraph pattern.\n *\n * v1 took a cycling `patterns: string[]`; v2 simplifies to one `pattern`\n * every paragraph in the run must match, per proposal 0061's block-rule\n * vocabulary.\n */\n\nimport type { ContentNode, Finding, SectionNode } from \"../types.js\";\nimport {\n checkCount,\n compilePattern,\n paragraphsOf,\n sectionContext,\n type ParagraphsRule,\n type RuleContext,\n} from \"./index.js\";\n\n/** Checks the paragraphs a section holds directly. */\nexport function checkParagraphs(\n section: SectionNode,\n rule: ParagraphsRule | undefined,\n): Finding[] {\n return checkParagraphsIn(section.children, rule, sectionContext(section));\n}\n\n/**\n * The reusable core: checks the paragraphs in any ordered content list.\n *\n * Used for a section's own content, for a list item's `children`, and for one\n * run of a `sequence`. `ctx` says where count findings land and what heading\n * they carry.\n */\nexport function checkParagraphsIn(\n content: ContentNode[],\n rule: ParagraphsRule | undefined,\n ctx: RuleContext,\n): Finding[] {\n if (!rule) return [];\n\n const paragraphs = paragraphsOf(content);\n const findings = checkCount(\n paragraphs.length,\n rule,\n \"paragraph\",\n \"paragraphs_count_error\",\n ctx,\n );\n\n const pattern = rule.pattern;\n if (pattern) {\n const regex = compilePattern(pattern);\n paragraphs.forEach((paragraph, index) => {\n if (!regex.test(paragraph.text)) {\n findings.push({\n type: \"paragraphs_pattern_error\",\n heading: ctx.heading,\n message: `Paragraph ${index + 1} does not match /${pattern}/`,\n position: paragraph.position,\n severity: \"error\",\n });\n }\n });\n }\n\n return findings;\n}\n","/**\n * `codeBlocks:` - code block counts, the language(s) every block must\n * declare, and a `fenceInfo` filter over the info-string tail.\n *\n * `language` reports per offending block (every code block must declare one\n * of the accepted languages), the same way v1 reported nothing about\n * language at all - this is new in v2. `fenceInfo` has no message form of its\n * own in proposal 0061's table, so it narrows which blocks count toward\n * `min`/`max` instead, the way `elements.tag` does.\n */\n\nimport type { CodeNode, ContentNode, Finding, SectionNode } from \"../types.js\";\nimport {\n checkCount,\n codeBlocksOf,\n compilePattern,\n sectionContext,\n type CodeBlocksRule,\n type RuleContext,\n} from \"./index.js\";\n\n/** Checks the code blocks a section holds directly. */\nexport function checkCodeBlocks(\n section: SectionNode,\n rule: CodeBlocksRule | undefined,\n): Finding[] {\n return checkCodeBlocksIn(section.children, rule, sectionContext(section));\n}\n\n/**\n * The reusable core: checks the code blocks in any ordered content list -\n * a section's content, a list item's `children`, or one run of a `sequence`.\n */\nexport function checkCodeBlocksIn(\n content: ContentNode[],\n rule: CodeBlocksRule | undefined,\n ctx: RuleContext,\n): Finding[] {\n if (!rule) return [];\n\n const codeBlocks = codeBlocksOf(content);\n const counted = rule.fenceInfo\n ? codeBlocks.filter((block) => matchesFenceInfo(block, rule.fenceInfo as string))\n : codeBlocks;\n\n const findings = checkCount(\n counted.length,\n rule,\n \"code block\",\n \"code_blocks_count_error\",\n ctx,\n );\n\n if (rule.language) {\n findings.push(...checkLanguages(codeBlocks, rule.language, ctx));\n }\n\n return findings;\n}\n\nfunction matchesFenceInfo(block: CodeNode, pattern: string): boolean {\n return compilePattern(pattern).test(block.fenceInfo ?? \"\");\n}\n\n/** Every code block in the run must declare one of the accepted languages. */\nfunction checkLanguages(\n codeBlocks: CodeNode[],\n language: string | string[],\n ctx: RuleContext,\n): Finding[] {\n const languages = Array.isArray(language) ? language : [language];\n const only = languages[0];\n if (languages.length === 0 || only === undefined) return [];\n\n const label =\n languages.length === 1\n ? `\"${only}\"`\n : `one of ${languages.map((lang) => `\"${lang}\"`).join(\", \")}`;\n\n const findings: Finding[] = [];\n codeBlocks.forEach((block, index) => {\n if (block.language !== undefined && languages.includes(block.language)) return;\n\n const found = block.language ? `but found \"${block.language}\"` : \"but found no language\";\n findings.push({\n type: \"code_blocks_language_error\",\n heading: ctx.heading,\n message: `Expected code block ${index + 1} to declare ${label}, ${found}`,\n position: block.position,\n severity: \"error\",\n });\n });\n\n return findings;\n}\n","/**\n * `tables:` - table counts and the header cells every table must carry.\n *\n * `columns` is diagnostic, not a count filter: every table in the run counts\n * toward `min`/`max` whether or not its columns match, and a mismatch is\n * reported once per offending table (the same treatment `codeBlocks.language`\n * and `admonitions.variant` get, and unlike `codeBlocks.fenceInfo`, which has\n * no message form and narrows the count instead).\n */\n\nimport type { ContentNode, Finding, SectionNode, TableNode } from \"../types.js\";\nimport {\n checkCount,\n quoteList,\n sectionContext,\n tablesOf,\n type RuleContext,\n type TablesRule,\n} from \"./index.js\";\n\n/** Checks the tables a section holds directly. */\nexport function checkTables(\n section: SectionNode,\n rule: TablesRule | undefined,\n): Finding[] {\n return checkTablesIn(section.children, rule, sectionContext(section));\n}\n\n/** The reusable core: checks the tables in any ordered content list. */\nexport function checkTablesIn(\n content: ContentNode[],\n rule: TablesRule | undefined,\n ctx: RuleContext,\n): Finding[] {\n if (!rule) return [];\n\n const tables = tablesOf(content);\n const findings = checkCount(tables.length, rule, \"table\", \"tables_count_error\", ctx);\n\n if (rule.columns) {\n for (const table of tables) {\n const actual = headerCells(table);\n if (!sameColumns(actual, rule.columns)) {\n findings.push({\n type: \"tables_columns_error\",\n heading: ctx.heading,\n message: `Expected table columns ${quoteList(rule.columns)}, but found ${quoteList(actual)}`,\n position: table.position,\n severity: \"error\",\n });\n }\n }\n }\n\n return findings;\n}\n\nfunction headerCells(table: TableNode): string[] {\n const header = table.children.find((row) => row.header);\n return header ? header.children.map((cell) => cell.text) : [];\n}\n\nfunction sameColumns(actual: string[], expected: string[]): boolean {\n return actual.length === expected.length && actual.every((cell, index) => cell === expected[index]);\n}\n","/**\n * `admonitions:` - admonition counts and the variant every admonition must\n * carry.\n *\n * `variant` is diagnostic, not a count filter, for the same reason\n * `tables.columns` is: every admonition counts toward `min`/`max` regardless,\n * and a mismatch is reported once per offending admonition.\n */\n\nimport type { AdmonitionNode, ContentNode, Finding, SectionNode } from \"../types.js\";\nimport {\n admonitionsOf,\n checkCount,\n sectionContext,\n type AdmonitionsRule,\n type RuleContext,\n} from \"./index.js\";\n\n/** Checks the admonitions a section holds directly. */\nexport function checkAdmonitions(\n section: SectionNode,\n rule: AdmonitionsRule | undefined,\n): Finding[] {\n return checkAdmonitionsIn(section.children, rule, sectionContext(section));\n}\n\n/** The reusable core: checks the admonitions in any ordered content list. */\nexport function checkAdmonitionsIn(\n content: ContentNode[],\n rule: AdmonitionsRule | undefined,\n ctx: RuleContext,\n): Finding[] {\n if (!rule) return [];\n\n const admonitions = admonitionsOf(content);\n const findings = checkCount(\n admonitions.length,\n rule,\n \"admonition\",\n \"admonitions_count_error\",\n ctx,\n );\n\n if (rule.variant) {\n findings.push(...checkVariant(admonitions, rule.variant, ctx));\n }\n\n return findings;\n}\n\nfunction checkVariant(\n admonitions: AdmonitionNode[],\n variant: NonNullable<AdmonitionsRule[\"variant\"]>,\n ctx: RuleContext,\n): Finding[] {\n const findings: Finding[] = [];\n for (const admonition of admonitions) {\n if (admonition.variant !== variant) {\n // A format may name a flavor this vocabulary does not have, or none at\n // all: reStructuredText's `hint`, a bare HTML `<aside>`. The node then\n // carries no variant, and saying \"found a undefined\" would be worse\n // than saying what is true.\n const found = admonition.variant\n ? `but found a ${admonition.variant}`\n : \"but found one with no type\";\n findings.push({\n type: \"admonitions_variant_error\",\n heading: ctx.heading,\n message: `Expected a ${variant} admonition, ${found}`,\n position: admonition.position,\n severity: \"error\",\n });\n }\n }\n return findings;\n}\n","/**\n * `images:` - how many images, filtered by `url`, `alt`, and `attributes`.\n *\n * All three narrow the counted set rather than reporting their own finding -\n * proposal 0061's message table gives `images` only `images_count_error`, no\n * per-field diagnostic the way `elements.attributes` gets one. `attributes`\n * in particular can never match: `ImageNode` carries no `attributes` of its\n * own (the node model gave that field to `element` only), so any non-empty\n * `attributes` requirement here excludes every image, same as an image whose\n * `url` or `alt` does not match.\n */\n\nimport type { ContentNode, Finding, ImageNode, SectionNode } from \"../types.js\";\nimport {\n checkCount,\n imagesOf,\n sectionContext,\n type ImagesRule,\n type RuleContext,\n} from \"./index.js\";\n\n/** Checks the images a section holds directly. */\nexport function checkImages(\n section: SectionNode,\n rule: ImagesRule | undefined,\n): Finding[] {\n return checkImagesIn(section.children, rule, sectionContext(section));\n}\n\n/** The reusable core: checks the images in any ordered content list. */\nexport function checkImagesIn(\n content: ContentNode[],\n rule: ImagesRule | undefined,\n ctx: RuleContext,\n): Finding[] {\n if (!rule) return [];\n\n const matching = imagesOf(content).filter((image) => matches(image, rule));\n return checkCount(matching.length, rule, \"image\", \"images_count_error\", ctx);\n}\n\nfunction matches(image: ImageNode, rule: ImagesRule): boolean {\n if (rule.url !== undefined && image.url !== rule.url) return false;\n if (rule.alt !== undefined && image.alt !== rule.alt) return false;\n if (rule.attributes && Object.keys(rule.attributes).length > 0) return false;\n return true;\n}\n","/** `blockquotes:` - a plain count, the schema's `counted` shape. */\n\nimport type { ContentNode, Finding, SectionNode } from \"../types.js\";\nimport { blockquotesOf, checkCount, sectionContext, type Occurrences, type RuleContext } from \"./index.js\";\n\n/** Checks the blockquotes a section holds directly. */\nexport function checkBlockquotes(\n section: SectionNode,\n rule: Occurrences | undefined,\n): Finding[] {\n return checkBlockquotesIn(section.children, rule, sectionContext(section));\n}\n\n/** The reusable core: checks the blockquotes in any ordered content list. */\nexport function checkBlockquotesIn(\n content: ContentNode[],\n rule: Occurrences | undefined,\n ctx: RuleContext,\n): Finding[] {\n if (!rule) return [];\n return checkCount(blockquotesOf(content).length, rule, \"blockquote\", \"blockquotes_count_error\", ctx);\n}\n","/** `definitionLists:` - a plain count, the schema's `counted` shape. */\n\nimport type { ContentNode, Finding, SectionNode } from \"../types.js\";\nimport {\n checkCount,\n definitionListsOf,\n sectionContext,\n type Occurrences,\n type RuleContext,\n} from \"./index.js\";\n\n/** Checks the definition lists a section holds directly. */\nexport function checkDefinitionLists(\n section: SectionNode,\n rule: Occurrences | undefined,\n): Finding[] {\n return checkDefinitionListsIn(section.children, rule, sectionContext(section));\n}\n\n/** The reusable core: checks the definition lists in any ordered content list. */\nexport function checkDefinitionListsIn(\n content: ContentNode[],\n rule: Occurrences | undefined,\n ctx: RuleContext,\n): Finding[] {\n if (!rule) return [];\n return checkCount(\n definitionListsOf(content).length,\n rule,\n \"definition list\",\n \"definition_lists_count_error\",\n ctx,\n );\n}\n","/**\n * `sequence:` - the ordered runs of content a section (or an element's or\n * list item's own content) must hold.\n *\n * Content arrives flat and in document order, so consecutive nodes of the\n * same kind are first grouped into runs: `[p, p, code, table]` becomes three\n * runs (paragraph, codeBlock, table). Those runs are then matched\n * positionally against the template's sequence, and each run is handed to\n * `checkContainsIn` for its one set key.\n *\n * v1 reported a length mismatch and an order mismatch as two finding types,\n * `sequence_length_error` and `sequence_order_error`. v2 collapses both into\n * one `content_order_error`: the message states the full expected and actual\n * kind lists, which communicates a length difference as plainly as an order\n * one, and a template widening from three kinds to nine does not need a\n * matching widening of finding types. The bail-on-mismatch behavior stays -\n * once the runs are the wrong shape, per-run findings are noise about\n * content the author has not arranged yet.\n */\n\nimport type { ContentKind, ContentNode, Finding, Position, SectionNode } from \"../types.js\";\nimport { BLOCK_KINDS, sectionContext, type BlockKind, type BlockRule, type RuleContext } from \"./index.js\";\nimport { checkContainsIn } from \"./contains.js\";\n\n/** A maximal stretch of consecutive content nodes sharing one kind. */\nexport interface ContentRun {\n kind: ContentKind;\n nodes: ContentNode[];\n /** First node's start through last node's end. */\n position: Position;\n}\n\n/** Groups consecutive same-kind nodes into runs, preserving document order. */\nexport function groupRuns(content: ContentNode[]): ContentRun[] {\n const runs: ContentRun[] = [];\n\n for (const node of content) {\n const current = runs[runs.length - 1];\n if (current && current.kind === node.kind) {\n current.nodes.push(node);\n current.position = {\n start: current.position.start,\n end: node.position.end,\n };\n } else {\n runs.push({\n kind: node.kind,\n nodes: [node],\n position: { start: node.position.start, end: node.position.end },\n });\n }\n }\n\n return runs;\n}\n\n/** The content kind a block-rule key names, e.g. `codeBlocks` -> `codeBlock`. */\nconst KIND_OF_BLOCK: Record<BlockKind, ContentKind> = {\n paragraphs: \"paragraph\",\n codeBlocks: \"codeBlock\",\n lists: \"list\",\n tables: \"table\",\n admonitions: \"admonition\",\n images: \"image\",\n blockquotes: \"blockquote\",\n definitionLists: \"definitionList\",\n elements: \"element\",\n};\n\n/** The short noun a `content_order_error` message uses for one kind. */\nfunction sequenceLabel(kind: ContentKind): string {\n switch (kind) {\n case \"paragraph\":\n return \"paragraph\";\n case \"codeBlock\":\n return \"code\";\n case \"list\":\n return \"list\";\n case \"table\":\n return \"table\";\n case \"admonition\":\n return \"admonition\";\n case \"image\":\n return \"image\";\n case \"blockquote\":\n return \"blockquote\";\n case \"definitionList\":\n return \"definition list\";\n case \"element\":\n return \"element\";\n default:\n // tableRow/tableCell/definitionItem/listItem never appear as a top-level\n // ContentNode.kind; groupRuns only ever sees the nine kinds above.\n return kind;\n }\n}\n\n/** The one key set on a `sequence:` entry, or `null` for a malformed one. */\nfunction keyOf(entry: BlockRule): BlockKind | null {\n for (const kind of BLOCK_KINDS) {\n if (entry[kind] !== undefined) return kind;\n }\n return null;\n}\n\n/** Checks a section's own content against a `sequence:` rule. */\nexport function checkSequence(\n section: SectionNode,\n rule: BlockRule[] | undefined,\n): Finding[] {\n return checkSequenceIn(section.children, rule, sectionContext(section));\n}\n\n/**\n * The reusable core: checks any ordered content list against a `sequence:`\n * rule - a section's content, a list item's `children`, or an element's own\n * `children`.\n */\nexport function checkSequenceIn(\n content: ContentNode[],\n rule: BlockRule[] | undefined,\n ctx: RuleContext,\n): Finding[] {\n if (!rule) return [];\n\n const runs = groupRuns(content);\n const expectedKinds = rule.map((entry) => {\n const key = keyOf(entry);\n return key ? KIND_OF_BLOCK[key] : null;\n });\n const actualKinds = runs.map((run) => run.kind);\n\n const matches =\n expectedKinds.length === actualKinds.length &&\n expectedKinds.every((kind, index) => kind === actualKinds[index]);\n\n if (!matches) {\n const expected = expectedKinds.map((kind) => (kind ? sequenceLabel(kind) : \"?\"));\n const found = actualKinds.length > 0 ? actualKinds.map(sequenceLabel) : [\"nothing\"];\n return [\n {\n type: \"content_order_error\",\n heading: ctx.heading,\n message: `Expected ${expected.join(\" then \")}, but found ${found.join(\" then \")}`,\n position: ctx.position,\n severity: \"error\",\n },\n ];\n }\n\n const findings: Finding[] = [];\n runs.forEach((run, index) => {\n const entry = rule[index];\n if (!entry) return;\n const runCtx: RuleContext = { heading: ctx.heading, position: run.position };\n // A run holds one kind, so `checkContainsIn` sees exactly the nodes in\n // this stretch, not the section's other content of the same kind - the\n // entry has only that one key set, so every other dispatch is a no-op.\n findings.push(...checkContainsIn(run.nodes, entry, runCtx));\n });\n\n return findings;\n}\n","/**\n * `elements:` - named-wrapper counts, filtered and labeled by `tag`, the\n * literal `attributes` a matched element must carry, and what it holds via\n * `sequence` | `contains` recursing into the element's own `children` -\n * never the enclosing section's, per proposal 0065 stress test 4.\n *\n * `tag` narrows the counted set the way `codeBlocks.fenceInfo` and\n * `images.url`/`alt` do, and also names the noun in count messages: `elements:\n * { tag: \"Steps\", min: 1 }` reports `Expected at least 1 \"Steps\" element, but\n * found 0`, not the generic `\"element\"`. `attributes` is diagnostic instead,\n * checked per matched element and reported once per offending attribute.\n */\n\nimport type { ContentNode, ElementNode, Finding, SectionNode } from \"../types.js\";\nimport {\n checkCount,\n elementsOf,\n sectionContext,\n type AttributesRule,\n type ElementsRule,\n type RuleContext,\n} from \"./index.js\";\nimport { checkContainsIn } from \"./contains.js\";\nimport { checkSequenceIn } from \"./sequence.js\";\n\n/** Checks the elements a section holds directly. */\nexport function checkElements(\n section: SectionNode,\n rule: ElementsRule | undefined,\n): Finding[] {\n return checkElementsIn(section.children, rule, sectionContext(section));\n}\n\n/** The reusable core: checks the elements in any ordered content list. */\nexport function checkElementsIn(\n content: ContentNode[],\n rule: ElementsRule | undefined,\n ctx: RuleContext,\n): Finding[] {\n if (!rule) return [];\n\n const tags = rule.tag === undefined ? undefined : Array.isArray(rule.tag) ? rule.tag : [rule.tag];\n const matching = tags ? elementsOf(content).filter((element) => tags.includes(element.name)) : elementsOf(content);\n\n // \"or\", not a comma list: the count applies to one combined label, so\n // `\"Note\", \"Tip\" element` reads as two nouns with a singular verb where\n // `\"Note\" or \"Tip\" element` reads as the one thing being counted.\n const noun = tags\n ? `${tags.map((tag) => `\"${tag}\"`).join(\" or \")} element`\n : \"element\";\n const findings = checkCount(matching.length, rule, noun, \"elements_count_error\", ctx);\n\n if (rule.attributes) {\n for (const element of matching) {\n findings.push(...checkAttributes(element, rule.attributes, ctx));\n }\n }\n\n // Both, unconditionally, as `validator.ts` runs them against a section. Each\n // no-ops on an absent rule, and the schema refuses a rule that writes both\n // (`oneOfSequenceOrContains`), so only one can ever fire. Writing it as a\n // choice made this file's behaviour depend on a constraint declared in\n // another, which reads like a silent drop whether or not it is one.\n if (rule.sequence || rule.contains) {\n for (const element of matching) {\n const elementCtx: RuleContext = { heading: ctx.heading, position: element.position };\n findings.push(...checkSequenceIn(element.children, rule.sequence, elementCtx));\n findings.push(...checkContainsIn(element.children, rule.contains, elementCtx));\n }\n }\n\n return findings;\n}\n\n/**\n * `true` requires presence (any value); `false` requires absence; a string\n * is the required literal value. An element's own `attributes` map values a\n * dynamic (JSX-expression) attribute as `true` too, since its literal value\n * cannot be known statically - `checkOne` tells that apart from \"absent\" by\n * checking membership before comparing values.\n */\nfunction checkAttributes(\n element: ElementNode,\n rule: AttributesRule,\n ctx: RuleContext,\n): Finding[] {\n const findings: Finding[] = [];\n for (const [key, expected] of Object.entries(rule)) {\n const finding = checkOne(element, key, expected, ctx);\n if (finding) findings.push(finding);\n }\n return findings;\n}\n\nfunction checkOne(\n element: ElementNode,\n key: string,\n expected: string | boolean,\n ctx: RuleContext,\n): Finding | null {\n const attributes = element.attributes ?? {};\n const present = key in attributes;\n const actual = attributes[key];\n\n const fail = (want: string, detail: string): Finding => ({\n type: \"elements_attribute_error\",\n heading: ctx.heading,\n message: `Expected the \"${element.name}\" element ${want}, but ${detail}`,\n position: element.position,\n severity: \"error\",\n });\n\n if (expected === false) {\n if (!present) return null;\n const found = actual === true ? `an expression` : `${key}=\"${String(actual)}\"`;\n return fail(`not to carry ${key}`, `found ${found}`);\n }\n\n if (!present) return fail(attributeWant(key, expected), `it carries no ${key}`);\n if (expected === true) return null;\n if (actual === true) return fail(attributeWant(key, expected), `its ${key} is an expression`);\n if (actual !== expected) return fail(attributeWant(key, expected), `found ${key}=\"${String(actual)}\"`);\n return null;\n}\n\nfunction attributeWant(key: string, expected: string | true): string {\n return expected === true ? `to carry ${key}` : `to carry ${key}=\"${expected}\"`;\n}\n","/**\n * `contains:` - what a section (or an element's or list item's own content)\n * holds, in any order. Each listed kind dispatches to that kind's own check.\n */\n\nimport type { ContentNode, Finding, SectionNode } from \"../types.js\";\nimport { BLOCK_KINDS, sectionContext, type BlockRule, type RuleContext } from \"./index.js\";\nimport { checkParagraphsIn } from \"./paragraphs.js\";\nimport { checkCodeBlocksIn } from \"./code-blocks.js\";\nimport { checkListsIn } from \"./lists.js\";\nimport { checkTablesIn } from \"./tables.js\";\nimport { checkAdmonitionsIn } from \"./admonitions.js\";\nimport { checkImagesIn } from \"./images.js\";\nimport { checkBlockquotesIn } from \"./blockquotes.js\";\nimport { checkDefinitionListsIn } from \"./definition-lists.js\";\nimport { checkElementsIn } from \"./elements.js\";\n\n/** Checks a section's own content against a `contains:` rule. */\nexport function checkContains(\n section: SectionNode,\n rule: BlockRule | undefined,\n): Finding[] {\n return checkContainsIn(section.children, rule, sectionContext(section));\n}\n\n/**\n * The reusable core: checks any ordered content list against a `contains:`\n * rule - a section's content, a list item's `children`, an element's own\n * `children`, or one run of a `sequence` (which carries exactly one key).\n *\n * `BLOCK_KINDS` drives the dispatch so a ninth kind is one line here, not a\n * rewritten `if` chain.\n */\nexport function checkContainsIn(\n content: ContentNode[],\n rule: BlockRule | undefined,\n ctx: RuleContext,\n): Finding[] {\n if (!rule) return [];\n\n const findings: Finding[] = [];\n for (const kind of BLOCK_KINDS) {\n switch (kind) {\n case \"paragraphs\":\n findings.push(...checkParagraphsIn(content, rule.paragraphs, ctx));\n break;\n case \"codeBlocks\":\n findings.push(...checkCodeBlocksIn(content, rule.codeBlocks, ctx));\n break;\n case \"lists\":\n findings.push(...checkListsIn(content, rule.lists, ctx));\n break;\n case \"tables\":\n findings.push(...checkTablesIn(content, rule.tables, ctx));\n break;\n case \"admonitions\":\n findings.push(...checkAdmonitionsIn(content, rule.admonitions, ctx));\n break;\n case \"images\":\n findings.push(...checkImagesIn(content, rule.images, ctx));\n break;\n case \"blockquotes\":\n findings.push(...checkBlockquotesIn(content, rule.blockquotes, ctx));\n break;\n case \"definitionLists\":\n findings.push(...checkDefinitionListsIn(content, rule.definitionLists, ctx));\n break;\n case \"elements\":\n findings.push(...checkElementsIn(content, rule.elements, ctx));\n break;\n }\n }\n return findings;\n}\n","/**\n * `lists:` - list counts, whether they are ordered, item counts, and what\n * each item holds.\n *\n * v1's `items` took its own flat `paragraphs`/`code_blocks`/`lists` keys. v2\n * replaces that split with the same `sequence` | `contains` every other\n * container uses (proposal 0061), so item-level rules recurse through the\n * same two functions as everything else instead of a third, list-shaped one.\n */\n\nimport type { ContentNode, Finding, ListNode, SectionNode } from \"../types.js\";\nimport {\n checkCount,\n listsOf,\n sectionContext,\n type ListsRule,\n type RuleContext,\n} from \"./index.js\";\nimport { checkContainsIn } from \"./contains.js\";\nimport { checkSequenceIn } from \"./sequence.js\";\n\n/** Checks the lists a section holds directly. */\nexport function checkLists(\n section: SectionNode,\n rule: ListsRule | undefined,\n): Finding[] {\n return checkListsIn(section.children, rule, sectionContext(section));\n}\n\n/**\n * The reusable core: checks the lists in any ordered content list.\n *\n * `rule.items` recurses - a list item's children are a `ContentNode[]` like\n * any other, so item-level `sequence`/`contains` rules run through the same\n * functions, arbitrarily deep.\n */\nexport function checkListsIn(\n content: ContentNode[],\n rule: ListsRule | undefined,\n ctx: RuleContext,\n): Finding[] {\n if (!rule) return [];\n\n const lists = listsOf(content);\n const findings = checkCount(lists.length, rule, \"list\", \"lists_count_error\", ctx);\n\n if (rule.ordered !== undefined) {\n findings.push(...checkOrdered(lists, rule.ordered, ctx));\n }\n\n const items = rule.items;\n if (!items) return findings;\n\n findings.push(...checkItemCounts(lists, items, ctx));\n\n if (!items.sequence && !items.contains) return findings;\n\n for (const list of lists) {\n for (const item of list.items) {\n const itemCtx: RuleContext = { heading: ctx.heading, position: item.position };\n if (items.sequence) {\n findings.push(...checkSequenceIn(item.children, items.sequence, itemCtx));\n } else if (items.contains) {\n findings.push(...checkContainsIn(item.children, items.contains, itemCtx));\n }\n }\n }\n\n return findings;\n}\n\nfunction checkOrdered(lists: ListNode[], ordered: boolean, ctx: RuleContext): Finding[] {\n const findings: Finding[] = [];\n for (const list of lists) {\n if (list.ordered !== ordered) {\n findings.push({\n type: \"lists_ordered_error\",\n heading: ctx.heading,\n message: ordered\n ? \"Expected a numbered list, but found a bulleted list\"\n : \"Expected a bulleted list, but found a numbered list\",\n position: list.position,\n severity: \"error\",\n });\n }\n }\n return findings;\n}\n\n/**\n * Item counts report once per bound, anchored at the first list that breaks\n * it. `min` defaults to 1 like every other count, which is a harmless no-op\n * here: a list always has at least one item structurally, so only an\n * explicit `min` above 1 (or a rule that also forbids via `max`) ever fires.\n */\nfunction checkItemCounts(\n lists: ListNode[],\n items: { min?: number; max?: number },\n ctx: RuleContext,\n): Finding[] {\n const findings: Finding[] = [];\n const min = items.min ?? (items.max === 0 ? 0 : 1);\n const max = items.max ?? null;\n\n if (max !== null) {\n const offender = lists.find((list) => list.items.length > max);\n if (offender) {\n findings.push({\n type: \"lists_items_count_error\",\n heading: ctx.heading,\n message: `Expected at most ${max} items in a list, but found ${offender.items.length}`,\n position: offender.position,\n severity: \"error\",\n });\n }\n }\n\n if (min > 0) {\n const offender = lists.find((list) => list.items.length < min);\n if (offender) {\n findings.push({\n type: \"lists_items_count_error\",\n heading: ctx.heading,\n message: `Expected at least ${min} items in a list, but found ${offender.items.length}`,\n position: offender.position,\n severity: \"error\",\n });\n }\n }\n\n return findings;\n}\n","/**\n * Content rules: the checks that run against a single section's own content.\n *\n * A rule is a pure, synchronous function of one `SectionNode` (or one ordered\n * `ContentNode[]` slice of it) and its slice of a template, returning\n * `Finding[]`. Rules never touch a parser AST and never await anything.\n *\n * The content model is format-neutral and flat: a section carries one ordered\n * `children: ContentNode[]`, and the per-kind \"buckets\" every rule needs are\n * queries over it (`paragraphsOf`, `codeBlocksOf`, ...) rather than separately\n * maintained arrays. The same queries work unchanged on a list item's\n * `children` or an element's own `children`, which is why `lists.items` and\n * `elements` can recurse.\n *\n * This module is deliberately independent of `../core/template.ts`. That file\n * is the DSL the v2 loader and schema agree on; this one is the DSL the rules\n * are written against. Where the two diverge - see `CodeBlocksRule.language`\n * and `ElementsRule.tag` below, which this chunk's task widened to `string |\n * string[]` while `core/template.ts` still types them as a bare `string` -\n * the validator chunk that wires the two together needs to reconcile it. That\n * mirrors the v1 shape of this file, whose own rule interfaces mirrored\n * `template-v1.ts` rather than importing it.\n */\n\nimport { LintError } from \"../types.js\";\nimport type {\n AdmonitionNode,\n BlockquoteNode,\n CodeNode,\n ContentNode,\n DefinitionListNode,\n ElementNode,\n Finding,\n ImageNode,\n ListNode,\n ParagraphNode,\n Position,\n SectionNode,\n TableNode,\n} from \"../types.js\";\n\n/* -------------------------------------------------------------------------- *\n * Template rule shapes\n *\n * These mirror the v2 template DSL's block-rule vocabulary (proposal 0065 /\n * 0061): a block rule is keyed by a plural content kind and carries `min`\n * (default 1), `max` (absent unbounded, `0` forbids), plus per-kind keys.\n * -------------------------------------------------------------------------- */\n\n/** Shared by every counted rule: how many of the thing there must be. */\nexport interface Occurrences {\n /** Fewest occurrences. Absent means one - see `checkCount` for the one\n * exception, where an explicit `max: 0` with no `min` defaults `min` to 0\n * too, so \"forbid this kind\" is satisfiable by finding none of it. */\n min?: number;\n /** Most occurrences. Absent is unbounded; `0` forbids. */\n max?: number;\n}\n\n/**\n * What a rule's `heading` may say.\n *\n * `undefined` (the key absent) matches any heading or none. A string is exact\n * text, a list is one-of, `{ pattern }` is an unanchored regular expression,\n * and `false` means the section has no heading of its own.\n */\nexport type HeadingRule = string | string[] | { pattern: string } | false;\n\n/** Attributes a node must carry. `true` requires presence; `false` requires absence. */\nexport type AttributesRule = Record<string, string | boolean>;\n\n/** `paragraphs:` - how many paragraphs, and what they must look like. */\nexport interface ParagraphsRule extends Occurrences {\n /** Unanchored regular expression every paragraph in the run must match. */\n pattern?: string;\n}\n\n/** `codeBlocks:` - how many code blocks, and how they are tagged. */\nexport interface CodeBlocksRule extends Occurrences {\n /** Language(s) every code block must declare one of. */\n language?: string | string[];\n /** Info-string tail after the language; narrows which blocks count. */\n fenceInfo?: string;\n}\n\n/** `lists.items:` - how many items per list, and what each item holds. */\nexport interface ListItemsRule extends Occurrences {\n sequence?: BlockRule[];\n contains?: BlockRule;\n}\n\n/** `lists:` - how many lists, whether they are ordered, and item rules. */\nexport interface ListsRule extends Occurrences {\n ordered?: boolean;\n items?: ListItemsRule;\n}\n\n/** `tables:` - how many tables, and the header cells in order. */\nexport interface TablesRule extends Occurrences {\n columns?: string[];\n}\n\n/** `admonitions:` - how many, and of which variant. */\nexport interface AdmonitionsRule extends Occurrences {\n variant?: \"note\" | \"tip\" | \"important\" | \"caution\" | \"warning\" | \"danger\";\n}\n\n/** `images:` - how many, and what they point at. */\nexport interface ImagesRule extends Occurrences {\n /** Narrows which images count: only images at this url are counted. */\n url?: string;\n /** Narrows which images count: only images with this alt text are counted. */\n alt?: string;\n /**\n * Narrows which images count. `ImageNode` carries no `attributes` of its\n * own (the node model gave that field to `element` only), so any non-empty\n * requirement here matches no image - see `images.ts`.\n */\n attributes?: AttributesRule;\n}\n\n/** `elements:` - how many named wrappers, and what they hold. */\nexport interface ElementsRule extends Occurrences {\n /** Narrows which elements count, and names the noun in count messages. */\n tag?: string | string[];\n attributes?: AttributesRule;\n sequence?: BlockRule[];\n contains?: BlockRule;\n}\n\n/**\n * What a section (or an element's or list item's own content) holds, keyed by\n * content kind.\n *\n * One of these is a whole `contains:`. As an entry of `sequence:` exactly one\n * key is set, and it names the kind expected at that position.\n */\nexport interface BlockRule {\n paragraphs?: ParagraphsRule;\n codeBlocks?: CodeBlocksRule;\n lists?: ListsRule;\n tables?: TablesRule;\n admonitions?: AdmonitionsRule;\n images?: ImagesRule;\n blockquotes?: Occurrences;\n definitionLists?: Occurrences;\n elements?: ElementsRule;\n}\n\n/** `sequence:` - the ordered runs of content a section must contain. */\nexport type SequenceRule = BlockRule[];\n\n/** One block-rule key: a content kind, spelled plural. */\nexport type BlockKind = keyof BlockRule;\n\n/** Every block-rule key, in the order the schema declares them. */\nexport const BLOCK_KINDS: readonly BlockKind[] = [\n \"paragraphs\",\n \"codeBlocks\",\n \"lists\",\n \"tables\",\n \"admonitions\",\n \"images\",\n \"blockquotes\",\n \"definitionLists\",\n \"elements\",\n];\n\n/* -------------------------------------------------------------------------- *\n * Finding anchoring\n * -------------------------------------------------------------------------- */\n\n/**\n * Where findings land when a rule runs over content that is not a whole\n * section - a list item's `children`, an element's `children`, or one run\n * inside a `sequence`.\n */\nexport interface RuleContext {\n /** Stamped onto every finding as `Finding.heading`. */\n heading: string | null;\n /** Used when the offending thing is a count rather than a single node. */\n position: Position;\n}\n\n/**\n * The context for rules run against a section's own content.\n *\n * The heading is normalised to `null` when there is none, as `match.ts` and\n * `validator.ts` both do. A headless section carries `title: \"\"`, and the JSON\n * reporter's `heading` is a wire key `manni docevals` parses rather than\n * validates, so `\"\"` and `null` would reach it as two spellings of one fact.\n */\nexport function sectionContext(section: SectionNode): RuleContext {\n return { heading: section.title || null, position: section.position };\n}\n\n/* -------------------------------------------------------------------------- *\n * Content queries\n *\n * The single place the flat content array is bucketed by kind. Rules call\n * these; they never filter inline.\n * -------------------------------------------------------------------------- */\n\nexport function paragraphsOf(content: ContentNode[]): ParagraphNode[] {\n return content.filter((node): node is ParagraphNode => node.kind === \"paragraph\");\n}\n\nexport function codeBlocksOf(content: ContentNode[]): CodeNode[] {\n return content.filter((node): node is CodeNode => node.kind === \"codeBlock\");\n}\n\nexport function listsOf(content: ContentNode[]): ListNode[] {\n return content.filter((node): node is ListNode => node.kind === \"list\");\n}\n\nexport function tablesOf(content: ContentNode[]): TableNode[] {\n return content.filter((node): node is TableNode => node.kind === \"table\");\n}\n\nexport function admonitionsOf(content: ContentNode[]): AdmonitionNode[] {\n return content.filter((node): node is AdmonitionNode => node.kind === \"admonition\");\n}\n\nexport function imagesOf(content: ContentNode[]): ImageNode[] {\n return content.filter((node): node is ImageNode => node.kind === \"image\");\n}\n\nexport function blockquotesOf(content: ContentNode[]): BlockquoteNode[] {\n return content.filter((node): node is BlockquoteNode => node.kind === \"blockquote\");\n}\n\nexport function definitionListsOf(content: ContentNode[]): DefinitionListNode[] {\n return content.filter((node): node is DefinitionListNode => node.kind === \"definitionList\");\n}\n\nexport function elementsOf(content: ContentNode[]): ElementNode[] {\n return content.filter((node): node is ElementNode => node.kind === \"element\");\n}\n\n/* -------------------------------------------------------------------------- *\n * Shared message helpers\n * -------------------------------------------------------------------------- */\n\n/** `\"paragraph\"`/1 -> `\"paragraph\"`; `\"paragraph\"`/2 -> `\"paragraphs\"`. */\nfunction plural(noun: string, count: number): string {\n return count === 1 ? noun : `${noun}s`;\n}\n\n/** `[\"Field\", \"Type\"]` -> `\"Field\", \"Type\"`. */\nexport function quoteList(items: string[]): string {\n return items.map((item) => `\"${item}\"`).join(\", \");\n}\n\n/**\n * The count half of every block rule: `min` (default 1) and `max` (default\n * unbounded), against one already-computed count.\n *\n * One default is not the naive `rule.min ?? 1`. The schema documents `max: 0`\n * as how a template forbids a kind outright, and that has to be satisfiable\n * by a section that truly has none of it. A blanket \"min defaults to 1\" would\n * make `{ max: 0 }` alone unsatisfiable - it would demand at least one and\n * permit at most zero. So `min` defaults to 0 exactly when `max` is written\n * as `0` and `min` itself is not, and to 1 otherwise. `min: 0` and `max: 0`\n * are each still tested explicitly; this is what makes both mean something\n * at once.\n */\nexport function checkCount(\n count: number,\n rule: Occurrences,\n noun: string,\n type: string,\n ctx: RuleContext,\n): Finding[] {\n const findings: Finding[] = [];\n const min = rule.min ?? (rule.max === 0 ? 0 : 1);\n const max = rule.max ?? null;\n\n if (count < min) {\n findings.push({\n type,\n heading: ctx.heading,\n message: `Expected at least ${min} ${plural(noun, min)}, but found ${count}`,\n position: ctx.position,\n severity: \"error\",\n });\n }\n\n if (max !== null && count > max) {\n findings.push({\n type,\n heading: ctx.heading,\n message: `Expected at most ${max} ${plural(noun, max)}, but found ${count}`,\n position: ctx.position,\n severity: \"error\",\n });\n }\n\n return findings;\n}\n\n/* -------------------------------------------------------------------------- *\n * The rules\n * -------------------------------------------------------------------------- */\n\nexport { checkHeading } from \"./heading.js\";\nexport { checkParagraphs, checkParagraphsIn } from \"./paragraphs.js\";\nexport { checkCodeBlocks, checkCodeBlocksIn } from \"./code-blocks.js\";\nexport { checkLists, checkListsIn } from \"./lists.js\";\nexport { checkTables, checkTablesIn } from \"./tables.js\";\nexport { checkAdmonitions, checkAdmonitionsIn } from \"./admonitions.js\";\nexport { checkImages, checkImagesIn } from \"./images.js\";\nexport { checkBlockquotes, checkBlockquotesIn } from \"./blockquotes.js\";\nexport { checkDefinitionLists, checkDefinitionListsIn } from \"./definition-lists.js\";\nexport { checkElements, checkElementsIn } from \"./elements.js\";\nexport { checkContains, checkContainsIn } from \"./contains.js\";\nexport { checkSequence, checkSequenceIn, groupRuns } from \"./sequence.js\";\nexport type { ContentRun } from \"./sequence.js\";\n\n/**\n * Compile an author-supplied pattern, or say which one is broken.\n *\n * A pattern comes from a template, so a bad one is a broken template rather\n * than a lint finding - and the raw `SyntaxError` names the regex but not the\n * template, the section, or the file. Every caller must route the result\n * through the same containment a template load failure gets, or one bad\n * pattern takes the whole run down with it.\n *\n * ## A pattern that compiles can still hang\n *\n * This checks syntax, and syntax is all it checks. `(a+)+b$` is a valid regex\n * that backtracks catastrophically against a heading it cannot match, and\n * `loadTemplateFile` will fetch a template over HTTP, so an untrusted template\n * can supply one.\n *\n * Capping the input length is not the answer, however cheap it looks. The\n * blow-up is exponential in the length of the input, so a cap generous enough\n * for a real heading is already far past the point of hanging: `(a+)+b$` needs\n * on the order of 2^n steps, and n of 64 is out of reach. Any cap that\n * actually bounded the work would reject headings people legitimately write.\n *\n * The boundary that does hold is the one proposal 0015 drew for schemas: a\n * template from a URL is a trust decision made when the URL is configured, not\n * something this function can take back. Validating patterns for backtracking\n * safety at load time is the fix if that decision is ever delegated, and it is\n * a dependency and a proposal rather than a line here.\n */\nconst compiled = new Map<string, RegExp>();\n\nexport function compilePattern(pattern: string): RegExp {\n // Memoized because heading matching is quadratic by nature: the matcher asks\n // every rule about every section, so a template with ten pattern rules against\n // a twenty-section page compiled the same ten regexes two hundred times.\n //\n // Safe to share one instance: these are built with no flags, and `lastIndex`\n // is only carried between calls by `g` and `y`. Adding either to this\n // construction would make the cached regex stateful across sections.\n const hit = compiled.get(pattern);\n if (hit) return hit;\n try {\n const regex = new RegExp(pattern);\n compiled.set(pattern, regex);\n return regex;\n } catch (error) {\n const reason = error instanceof Error ? error.message : String(error);\n throw new LintError(`Invalid pattern \"${pattern}\": ${reason}`);\n }\n}\n\n/** Drop the compiled-pattern memo. See `clearCaches` in the package root. */\nexport function clearPatternCache(): void {\n compiled.clear();\n}\n","/**\n * `heading:` - the section's title against a string, a one-of list, a\n * `{ pattern }`, or `false` for \"no heading of its own\".\n *\n * One finding type, `heading_error`, covers all four forms; the message\n * names which form failed. v1 split this into `heading_const_error` and\n * `heading_pattern_error`, each of which could fire independently for the\n * same section. v2's `heading:` is one value, so it fires at most once.\n */\n\nimport type { Finding, SectionNode } from \"../types.js\";\nimport { compilePattern, type HeadingRule } from \"./index.js\";\n\n/**\n * A section's own title, in the vocabulary `heading:` speaks: `null` when the\n * section has no heading of its own (the implicit lead section), the title\n * text otherwise.\n *\n * `SectionNode.title` is `\"\"` rather than `null` for that section - `null` is\n * reserved for \"no heading\" so `headingMatches`-style checks elsewhere don't\n * have to special-case the empty string. This bridges the two.\n */\nfunction ownTitle(section: SectionNode): string | null {\n return section.titlePosition === null ? null : section.title;\n}\n\n/** Checks a section's title against the template's `heading:` rule. */\nexport function checkHeading(\n section: SectionNode,\n rule: HeadingRule | undefined,\n): Finding[] {\n if (rule === undefined) return [];\n\n // The heading itself is the offending node when it has a span of its own;\n // the implicit lead section has none, so fall back to the section.\n const position = section.titlePosition ?? section.position;\n const title = ownTitle(section);\n const found = title === null ? \"no heading\" : `\"${title}\"`;\n\n const fail = (message: string): Finding[] => [\n {\n type: \"heading_error\",\n // `|| null`, as `sectionContext` and `match.ts`'s `anchor` both do. A\n // headless section's title is `\"\"`, and the JSON reporter's `heading` is\n // a wire key `manni docevals` parses rather than validates, so two\n // spellings of \"no heading\" would reach it as two different facts.\n heading: section.title || null,\n message,\n position,\n severity: \"error\",\n },\n ];\n\n if (rule === false) {\n return title === null ? [] : fail(`Expected no heading of its own, but found ${found}`);\n }\n\n if (typeof rule === \"string\") {\n return title === rule ? [] : fail(`Expected title \"${rule}\", but found ${found}`);\n }\n\n if (Array.isArray(rule)) {\n if (title !== null && rule.includes(title)) return [];\n return fail(`Expected one of ${rule.map((option) => `\"${option}\"`).join(\", \")}, but found ${found}`);\n }\n\n // { pattern }\n if (title !== null && compilePattern(rule.pattern).test(title)) return [];\n return fail(`Expected title matching /${rule.pattern}/, but found ${found}`);\n}\n","/**\n * The template DSL, as TypeScript. `schemas/lint/template.json` is the\n * authority that user input is validated against; this is the shape the rest of\n * the code reads once that validation has passed.\n *\n * Two things are worth knowing before reading it.\n *\n * A template *is* a rule. It describes the page, so it takes every rule key,\n * plus `title`, `types` and `extends`. It may not take `min` or `max`, because\n * a page is one page, and the loader refuses those two by hand.\n *\n * A rule's children are a **list**, not a map. The v1 format keyed section\n * rules by name and let YAML key order carry the grammar, which made the order\n * invisible to the schema and unspeakable in `extends`. A rule names itself\n * with `id` instead, and that is what `extends` targets.\n *\n * The block-rule keys are plural where the node model is singular. That is\n * deliberate: the node model names one node (`codeBlock`), while a template key\n * carries a count (`codeBlocks: { min: 1 }`).\n */\nimport type { ContentKind } from \"../types.js\";\nimport { compilePattern } from \"../rules/index.js\";\n\n/** Shared by every counted rule: how many of the thing there must be. */\nexport interface Occurrences {\n /** Fewest occurrences. Absent means one. */\n min?: number;\n /** Most occurrences. Absent is unbounded; `0` forbids. */\n max?: number;\n}\n\n/**\n * What a rule's `heading` may say.\n *\n * `undefined` (the key absent) matches any heading or none. A string is exact\n * text, a list is one-of, `{ pattern }` is an unanchored regular expression,\n * and `false` means the section has no heading of its own.\n */\nexport type HeadingRule = string | string[] | { pattern: string } | false;\n\n/**\n * Attributes a node must carry. A string is the required value, `true`\n * requires the attribute's presence, and `false` requires its absence.\n */\nexport type AttributesRule = Record<string, string | boolean>;\n\n/** `paragraphs:` - how many paragraphs, and what each must look like. */\nexport interface ParagraphsRule extends Occurrences {\n /** Unanchored regular expression every paragraph in the run must match. */\n pattern?: string;\n}\n\n/** `codeBlocks:` - how many code blocks, and how they are tagged. */\nexport interface CodeBlocksRule extends Occurrences {\n /** Language, or languages, every code block must declare one of. */\n language?: string | string[];\n /** Info-string tail after the language; narrows which blocks count. */\n fenceInfo?: string;\n}\n\n/** `lists.items:` - how many items per list, and what each item holds. */\nexport interface ListItemsRule extends Occurrences {\n sequence?: BlockRule[];\n contains?: BlockRule;\n}\n\n/** `lists:` - how many lists, whether they are ordered, and item rules. */\nexport interface ListsRule extends Occurrences {\n ordered?: boolean;\n items?: ListItemsRule;\n}\n\n/** `tables:` - how many tables, and the header cells in order. */\nexport interface TablesRule extends Occurrences {\n columns?: string[];\n}\n\n/** `admonitions:` - how many, and of which variant. */\nexport interface AdmonitionsRule extends Occurrences {\n variant?: \"note\" | \"tip\" | \"important\" | \"caution\" | \"warning\" | \"danger\";\n}\n\n/** `images:` - how many, and what they point at. */\nexport interface ImagesRule extends Occurrences {\n url?: string;\n alt?: string;\n attributes?: AttributesRule;\n}\n\n/** `elements:` - how many named wrappers, and what they hold. */\nexport interface ElementsRule extends Occurrences {\n /** Name, or names, an element must carry to be counted by this rule. */\n tag?: string | string[];\n attributes?: AttributesRule;\n sequence?: BlockRule[];\n contains?: BlockRule;\n}\n\n/**\n * What a section holds, keyed by content kind.\n *\n * One of these is a whole `contains:`. As an entry of `sequence:` exactly one\n * key is set, and it names the kind expected at that position.\n */\nexport interface BlockRule {\n paragraphs?: ParagraphsRule;\n codeBlocks?: CodeBlocksRule;\n lists?: ListsRule;\n tables?: TablesRule;\n admonitions?: AdmonitionsRule;\n images?: ImagesRule;\n blockquotes?: Occurrences;\n definitionLists?: Occurrences;\n elements?: ElementsRule;\n}\n\n/** One block-rule key: a content kind, spelled plural. */\nexport type BlockKind = keyof BlockRule;\n\n/** Every block-rule key, in the order the schema declares them. */\nexport const BLOCK_KINDS: readonly BlockKind[] = [\n \"paragraphs\",\n \"codeBlocks\",\n \"lists\",\n \"tables\",\n \"admonitions\",\n \"images\",\n \"blockquotes\",\n \"definitionLists\",\n \"elements\",\n];\n\n/**\n * The node a block-rule key counts: `codeBlocks` counts `codeBlock` nodes.\n *\n * It is what lets the validator ask a parser whether a rule can run at all -\n * a parser declares the kinds it emits, and a rule about a kind absent from\n * that list is reported rather than silently passing.\n *\n * `rules/sequence.ts` holds the same map, written against the rules' own copy\n * of the DSL. The duplication is the one this file's header describes: the two\n * vocabularies are kept apart deliberately, and this is the copy the loader and\n * the validator read.\n */\nexport const BLOCK_KIND_NODE: Record<BlockKind, ContentKind> = {\n paragraphs: \"paragraph\",\n codeBlocks: \"codeBlock\",\n lists: \"list\",\n tables: \"table\",\n admonitions: \"admonition\",\n images: \"image\",\n blockquotes: \"blockquote\",\n definitionLists: \"definitionList\",\n elements: \"element\",\n};\n\n/** One rule: a section of the page, or a repeated run of sections. */\nexport interface Rule extends Occurrences {\n /** Handle, unique among siblings. `extends` targets it. */\n id?: string;\n /** Prose description of what the rule is for. Never checked. */\n description?: string;\n heading?: HeadingRule;\n /** Rules matched in order as one unit, repeated by this rule's `min`/`max`. */\n repeat?: Rule[];\n /** What the section holds, in order. Not combinable with `contains`. */\n sequence?: BlockRule[];\n /** What the section holds, in any order. Not combinable with `sequence`. */\n contains?: BlockRule;\n /** Rules for the subsections, in document order. */\n sections?: Rule[];\n}\n\n/** One doctype template: the rule that describes a whole page. */\nexport interface Template extends Rule {\n /** Human-readable name, shown by `manni lint templates`. */\n title?: string;\n /** Doctypes this template serves, matched against a page's `type`. */\n types?: string[];\n /** Built-in id, path, or URL to inherit from. */\n extends?: string;\n}\n\n/** A template file: named templates plus reusable `$ref` targets. */\nexport interface TemplateFile {\n /** Published schema URL, for editors. Ignored by the linter. */\n $schema?: string;\n templates?: Record<string, Template>;\n components?: Record<string, unknown>;\n info?: Record<string, unknown>;\n}\n\n/**\n * A rule is a wildcard when it says nothing about its heading.\n *\n * It then matches any heading, and matches a section with none. `heading:\n * false` is not a wildcard: it states that the section has no heading of its\n * own, which is as specific as naming one.\n */\nexport function isWildcard(rule: Rule): boolean {\n return rule.heading === undefined;\n}\n\n/**\n * How many sections a rule claims: `min` defaulting to one, and `max` as\n * written, with `null` for unbounded.\n *\n * The defaults live here rather than in the schema. A default written into the\n * data by Ajv is indistinguishable from a value the author typed, so it wins\n * the `extends` merge against the parent's real value.\n *\n * One default is not the naive `min ?? 1`. `max: 0` is how the format forbids\n * a thing outright, and a bare `max: 0` has to be satisfiable by a page that\n * truly has none of it. A blanket \"min defaults to 1\" makes it unsatisfiable -\n * at least one demanded, at most zero permitted - so `min` defaults to 0\n * exactly when `max` is written as `0` and `min` itself is not, and to 1\n * otherwise. `checkCount` in `rules/index.ts` states the same rule for the\n * content counts; the two agree deliberately.\n */\nexport function occurrenceRange(rule: Occurrences): {\n min: number;\n max: number | null;\n} {\n return { min: rule.min ?? (rule.max === 0 ? 0 : 1), max: rule.max ?? null };\n}\n\n/** Whether a section's title satisfies a rule's `heading`. */\nexport function headingMatches(\n heading: HeadingRule | undefined,\n title: string | null,\n): boolean {\n if (heading === undefined) return true;\n if (heading === false) return title === null;\n if (title === null) return false;\n if (typeof heading === \"string\") return title === heading;\n if (Array.isArray(heading)) return heading.includes(title);\n return compilePattern(heading.pattern).test(title);\n}\n","/**\n * Decide which rule describes which section, by alignment.\n *\n * A rule list is a regular expression over section predicates, and a document's\n * sibling sections are the string. The matcher compiles the first and aligns\n * the second against it at minimum cost:\n *\n * 1. Each rule contributes one predicate on a heading. `min`/`max` is counted\n * repetition, and `repeat:` is a parenthesised subexpression.\n * 2. Bounded counts expand into copies; an absent `max` becomes a self-loop.\n * 3. Four edits close the gap between rules and sections: a *match* (the\n * predicate holds), a *coercion* (a rule claiming one section takes a\n * section its heading rejects), a *skipped rule* (a required occurrence\n * consumes nothing) and a *skipped section* (no rule consumes it).\n * 4. Viterbi over a (sections + 1) x states lattice finds the cheapest edit\n * sequence. Deletions can form zero-consuming cycles, so each column is\n * closed with Dijkstra rather than a topological sweep; all weights are\n * non-negative.\n * 5. Skipped rules become `missing_section` (or one `missing_group` for a\n * `repeat` copy that is absent whole), skipped sections become\n * `unexpected_section`, and every match is handed to the content rules.\n *\n * The predecessor of this file walked the rules left to right with no\n * backtracking, and each of its eight hand-written behaviours is now a\n * consequence of a weight or a tie-break instead of a special case. The two it\n * could not express are what forced the change: a rule list with counted\n * repetition is not a sequence of one-shot decisions, and a greedy walk has to\n * guess which of two rules wants a section before it has seen the rest.\n *\n * Heading mismatches are deliberately not reported here. This module pairs; the\n * content rules report `heading_error` on the pair it produced. `validator.ts`\n * explains why the two are separate.\n */\nimport { LintError } from \"../types.js\";\nimport type { Finding, Position, SectionNode } from \"../types.js\";\nimport { headingMatches, isWildcard, occurrenceRange } from \"./template.js\";\nimport type { Rule } from \"./template.js\";\n\n/* -------------------------------------------------------------------------- *\n * The cost model, which is interface\n * -------------------------------------------------------------------------- */\n\n/**\n * What each edit costs, in the units the alignment minimises.\n *\n * These weights are **interface, not implementation**. They decide which\n * findings a document produces, so changing one changes the report for\n * documents nobody edited - the same class of change as renaming a flag.\n * `test/lint/unit/match.test.ts` pins them, and the templates reference prints\n * them.\n *\n * Skipping an occurrence at or above its rule's `min` is free; only a required\n * occurrence pays `skipRule`.\n *\n * Coercion is open only to a *required* occurrence of a rule whose `max` is 1.\n * Both halves of that earn their place. Without the `max: 1` half a repeating\n * rule adopts any stray section for 1 rather than letting it report as\n * unexpected for 2. Without the \"required\" half an optional rule does the same\n * thing for the same reason, and there it is plainly wrong: standing aside\n * costs an optional rule nothing, so coercing trades a clean report for a\n * heading error about a section the template never insisted on.\n */\nexport const ALIGNMENT_COSTS = {\n match: 0,\n coerce: 1,\n skipRule: 2,\n skipSection: 2,\n} as const;\n\n/**\n * How equal-cost alignments are settled, in order, after the total cost.\n *\n * Also interface: two of these decide real reports, and all three are stated in\n * words so the docs page and the code cannot drift apart.\n */\nexport const TIE_BREAKS = [\n \"a rule that names its heading beats a wildcard taking the same section\",\n \"a repeating rule prefers its sections adjacent\",\n \"earliest rule, then the smallest edit sequence under match < coerce < skip-rule < skip-section\",\n] as const;\n\n/**\n * Most states a compiled rule list may expand to.\n *\n * Counted repetition is expanded into copies, so `max: 100000` on a rule with\n * five subsections is a hundred thousand copies of five states and a lattice\n * nobody asked for. The cap turns that into a template error naming the file,\n * rather than a lint run that appears to hang.\n */\nexport const STATE_LIMIT = 2000;\n\n/* -------------------------------------------------------------------------- *\n * What the matcher hands on\n * -------------------------------------------------------------------------- */\n\n/** One rule paired with the section it claimed. */\nexport interface Match {\n /** The rule itself - a `repeat` group's member, never the group. */\n rule: Rule;\n section: SectionNode;\n /**\n * True when the rule was paired with a section whose heading does not\n * satisfy it, because nothing else could claim that section. Keeps the\n * precise \"Expected title X, but found Y\" report for the common one-for-one\n * case instead of degrading it into missing + unexpected.\n */\n coerced: boolean;\n}\n\nexport interface MatchResult {\n matches: Match[];\n findings: Finding[];\n}\n\nexport interface MatchOptions {\n /** Section these are the subsections of, for anchoring a trailing gap. */\n parent?: SectionNode | null;\n /** File the rules came from. Used only to name the state-cap failure. */\n source?: string;\n /** Template within that file. Used only to name the state-cap failure. */\n template?: string;\n}\n\n/* -------------------------------------------------------------------------- *\n * Compilation\n * -------------------------------------------------------------------------- */\n\n/**\n * One copy of a `repeat` group, and every leaf occurrence inside it.\n *\n * It exists so an absent copy can report once for the group. A copy whose\n * leaves were *all* skipped is a group that is not there at all, which reads\n * as one finding; a copy that matched some of them is a group that is there and\n * incomplete, whose absent members read better one by one.\n */\ninterface GroupCopy {\n rule: Rule;\n members: Occurrence[];\n}\n\n/** One occurrence of one rule: the chance to consume exactly one section. */\ninterface Occurrence {\n rule: Rule;\n /** Below the rule's `min`, so skipping it costs rather than being free. */\n required: boolean;\n /** Required and `max: 1`, so it may take a section its heading rejects. */\n coercible: boolean;\n /** Says nothing about its heading, so it loses ties to a rule that does. */\n wildcard: boolean;\n /** Enclosing `repeat` copies, outermost first. */\n groups: GroupCopy[];\n}\n\ninterface Eps {\n from: number;\n to: number;\n cost: number;\n rank: number;\n /** Set when this edge is a rule being skipped rather than structure. */\n occ: Occurrence | null;\n}\n\ninterface Automaton {\n states: number;\n start: number;\n accept: number;\n /** The occurrence a state may consume a section through, if any. */\n consume: (Occurrence | null)[];\n /** Where that consumption lands. */\n consumeTo: number[];\n epsOut: Eps[][];\n epsIn: Eps[][];\n /** States strictly inside a repetition, where a skipped section breaks a run. */\n inRepeat: boolean[];\n}\n\n/**\n * Edit ranks, used only to settle a tie the costs and the two structural\n * tie-breaks left open. Structural epsilons - entering, repeating and leaving a\n * self-loop - rank with `match`, because they are not edits at all and a path\n * must be free to leave a loop before it starts skipping the rules inside it.\n */\nconst RANK = {\n match: 0,\n structure: 0,\n coerce: 1,\n skipRule: 2,\n skipSection: 3,\n} as const;\n\nconst NO_EPS: Eps[] = [];\n\n/**\n * States the rule list expands to, counted without building anything.\n *\n * Checked before compilation so a template with an absurd `max` fails on its\n * own terms rather than by exhausting memory. The two extra states per\n * unbounded rule are its self-loop's entry and exit.\n */\nfunction expandedStates(rules: Rule[]): number {\n let total = 1;\n for (const rule of rules) total += ruleStates(rule);\n return total;\n}\n\nfunction ruleStates(rule: Rule): number {\n let unit = 1;\n if (rule.repeat) {\n unit = 0;\n for (const member of rule.repeat) unit += ruleStates(member);\n }\n const { min, max } = occurrenceRange(rule);\n if (max === null) return unit * (Math.max(min, 0) + 1) + 2;\n return unit * Math.max(0, max);\n}\n\nfunction listAt<T>(lists: T[][], index: number): T[] {\n const list = lists[index];\n if (list) return list;\n const created: T[] = [];\n lists[index] = created;\n return created;\n}\n\n/**\n * Compile a rule list into an automaton over section predicates.\n *\n * Bounded repetition is unrolled: `min: 1, max: 3` is three copies, the first\n * required and the rest free to skip. An unbounded `max` is a self-loop after\n * the required copies, which is the only construct here that can consume\n * nothing and return to where it started - hence the Dijkstra in the alignment.\n */\nfunction compile(rules: Rule[]): Automaton {\n const consume: (Occurrence | null)[] = [];\n const consumeTo: number[] = [];\n const epsOut: Eps[][] = [];\n const epsIn: Eps[][] = [];\n const inRepeat: boolean[] = [];\n\n const newState = (): number => {\n consume.push(null);\n consumeTo.push(-1);\n epsOut.push([]);\n epsIn.push([]);\n inRepeat.push(false);\n return consume.length - 1;\n };\n\n const eps = (\n from: number,\n to: number,\n cost: number,\n rank: number,\n occ: Occurrence | null,\n ): void => {\n const edge: Eps = { from, to, cost, rank, occ };\n listAt(epsOut, from).push(edge);\n listAt(epsIn, to).push(edge);\n };\n\n const leaf = (from: number, occ: Occurrence): number => {\n const to = newState();\n consume[from] = occ;\n consumeTo[from] = to;\n // Skipping the occurrence: free when the rule can do without it.\n eps(from, to, occ.required ? ALIGNMENT_COSTS.skipRule : 0, RANK.skipRule, occ);\n return to;\n };\n\n /** One copy of a rule's unit: its members, or the rule's own occurrence. */\n const buildCopy = (\n rule: Rule,\n from: number,\n groups: GroupCopy[],\n required: boolean,\n ): number => {\n if (rule.repeat) {\n const copy: GroupCopy = { rule, members: [] };\n const nested = [...groups, copy];\n let cursor = from;\n for (const member of rule.repeat) {\n cursor = buildRule(member, cursor, nested, required);\n }\n return cursor;\n }\n const { max } = occurrenceRange(rule);\n const occ: Occurrence = {\n rule,\n required,\n coercible: required && max === 1,\n wildcard: isWildcard(rule),\n groups,\n };\n for (const group of groups) group.members.push(occ);\n return leaf(from, occ);\n };\n\n function buildRule(\n rule: Rule,\n from: number,\n groups: GroupCopy[],\n context: boolean,\n ): number {\n const { min, max } = occurrenceRange(rule);\n // `max` below `min` is refused by the loader where both are written; a bare\n // `max: 0` still reaches here against the default `min: 1`, and means none.\n const floor = max === null ? Math.max(min, 0) : Math.min(Math.max(min, 0), max);\n const copies = max === null ? floor : Math.max(0, max);\n const first = consume.length;\n\n let cursor = from;\n for (let copy = 0; copy < copies; copy++) {\n cursor = buildCopy(rule, cursor, groups, context && copy < floor);\n }\n\n let end = cursor;\n if (max === null) {\n const loop = newState();\n eps(cursor, loop, 0, RANK.structure, null);\n const back = buildCopy(rule, loop, groups, false);\n eps(back, loop, 0, RANK.structure, null);\n end = newState();\n eps(loop, end, 0, RANK.structure, null);\n }\n\n // A skipped section inside a repetition breaks the run it is inside, which\n // tie-break 2 charges for. The repetition's own boundaries are not inside\n // it: a section skipped before the first copy or after the last one sits\n // beside the run rather than in the middle of it.\n if (copies > 1 || max === null) {\n for (let state = first; state < consume.length; state++) {\n if (state !== end) inRepeat[state] = true;\n }\n }\n return end;\n }\n\n const start = newState();\n let cursor = start;\n for (const rule of rules) cursor = buildRule(rule, cursor, [], true);\n\n return {\n states: consume.length,\n start,\n accept: cursor,\n consume,\n consumeTo,\n epsOut,\n epsIn,\n inRepeat,\n };\n}\n\n/**\n * Compiled rule lists, keyed by the array the template holds.\n *\n * A template is loaded once and applied to every page of its doctype, and every\n * level of every page re-enters this module. The automaton is immutable once\n * built, so one compilation serves them all.\n */\nconst compiled = new WeakMap<Rule[], Automaton>();\n\nfunction automatonFor(rules: Rule[], options: MatchOptions): Automaton {\n const hit = compiled.get(rules);\n if (hit) return hit;\n\n const states = expandedStates(rules);\n if (states > STATE_LIMIT) {\n const source = options.source ?? \"template\";\n // A template is referred to as `./templates.yaml#how-to` everywhere else,\n // so a named template fragment joins the source the same way here. Absent\n // a name - the file failed to compile a rule list outside any named\n // template - there is nothing to put after a `#`, so the sentence falls\n // back to its old, colon-joined phrasing.\n const label =\n options.template != null ? `${source}#${options.template}` : `${source}: the rule list`;\n throw new LintError(\n `${label} expands to ${states} states; the limit is ${STATE_LIMIT}. ` +\n `Cap a max, or split the template.`,\n );\n }\n\n const built = compile(rules);\n compiled.set(rules, built);\n return built;\n}\n\n/* -------------------------------------------------------------------------- *\n * Alignment\n * -------------------------------------------------------------------------- */\n\ntype StepKind = \"match\" | \"coerce\" | \"skip-rule\" | \"skip-section\";\n\n/** One candidate edge out of a lattice node, during the forward walk. */\ninterface Move {\n kind: StepKind;\n /** State it lands in. */\n to: number;\n /** Section index it lands in - the same one unless a section was consumed. */\n column: number;\n occ: Occurrence | null;\n /** This edge plus the cheapest completion from where it lands. */\n total: number;\n rank: number;\n}\n\ninterface Step {\n kind: StepKind;\n /** Section consumed, or where the cursor stood when a rule was skipped. */\n index: number;\n occ: Occurrence | null;\n}\n\n/** A section's heading, or `null` when it has none of its own. */\nfunction titleOf(section: SectionNode): string | null {\n return section.titlePosition === null ? null : section.title;\n}\n\n/** Binary heap over (cost, state), smallest cost first. */\nclass Heap {\n private readonly costs: number[] = [];\n private readonly items: number[] = [];\n\n get size(): number {\n return this.items.length;\n }\n\n /*\n * Every `?? 0` in this class is unreachable, and is here only because\n * `noUncheckedIndexedAccess` cannot see the bounds the arithmetic already\n * guarantees. `costs` and `items` are pushed and popped together and so\n * always have the same length; `child` is the index just pushed, and\n * `parent = (child - 1) >> 1` is in bounds whenever `child > 0`; `left` and\n * `right` are compared against `length` before they are read.\n *\n * Worth stating rather than leaving to inference: were an index ever out of\n * bounds, the fallback would read as cost 0, quietly inverting the heap\n * order rather than throwing. It is a type-checker concession, not a\n * defensive default.\n */\n push(cost: number, item: number): void {\n this.costs.push(cost);\n this.items.push(item);\n let child = this.items.length - 1;\n while (child > 0) {\n const parent = (child - 1) >> 1;\n if ((this.costs[parent] ?? 0) <= (this.costs[child] ?? 0)) break;\n this.swap(parent, child);\n child = parent;\n }\n }\n\n pop(): { cost: number; item: number } {\n const cost = this.costs[0] ?? 0;\n const item = this.items[0] ?? 0;\n const lastCost = this.costs.pop();\n const lastItem = this.items.pop();\n if (this.items.length > 0 && lastCost !== undefined && lastItem !== undefined) {\n this.costs[0] = lastCost;\n this.items[0] = lastItem;\n let parent = 0;\n for (;;) {\n const left = parent * 2 + 1;\n const right = left + 1;\n let smallest = parent;\n if (left < this.items.length && (this.costs[left] ?? 0) < (this.costs[smallest] ?? 0)) {\n smallest = left;\n }\n if (right < this.items.length && (this.costs[right] ?? 0) < (this.costs[smallest] ?? 0)) {\n smallest = right;\n }\n if (smallest === parent) break;\n this.swap(parent, smallest);\n parent = smallest;\n }\n }\n return { cost, item };\n }\n\n private swap(a: number, b: number): void {\n const cost = this.costs[a] ?? 0;\n const item = this.items[a] ?? 0;\n this.costs[a] = this.costs[b] ?? 0;\n this.items[a] = this.items[b] ?? 0;\n this.costs[b] = cost;\n this.items[b] = item;\n }\n}\n\n/**\n * The cheapest edit sequence turning the rule list into the section list.\n *\n * Costs are packed into one integer so the lattice can be a typed array:\n * `((primary * radix) + wildcards) * radix + brokenRuns`, compared as one\n * number, which is lexicographic because no component can reach the radix.\n *\n * The lattice is filled backwards, from the end of the document to the start,\n * and the path is then walked forwards. That order is what makes tie-break 3\n * expressible: with the cost of every remaining suffix already known, the walk\n * can take the lowest-ranked optimal edit at each step, which is exactly\n * \"earliest rule, then the smallest edit sequence\".\n */\nfunction align(sections: SectionNode[], nfa: Automaton): Step[] {\n const n = sections.length;\n const states = nfa.states;\n const radix = 2 * (n + states) + 2;\n const weigh = (primary: number, wildcards: number, brokenRuns: number): number =>\n (primary * radix + wildcards) * radix + brokenRuns;\n\n const SKIP_SECTION = weigh(ALIGNMENT_COSTS.skipSection, 0, 0);\n const SKIP_SECTION_IN_RUN = weigh(ALIGNMENT_COSTS.skipSection, 0, 1);\n const MATCH = weigh(ALIGNMENT_COSTS.match, 0, 0);\n const MATCH_WILDCARD = weigh(ALIGNMENT_COSTS.match, 1, 0);\n const COERCE = weigh(ALIGNMENT_COSTS.coerce, 0, 0);\n\n /** What a state's consuming edge costs against one section, or null. */\n const consumeCost = (\n state: number,\n index: number,\n ): { cost: number; rank: number; to: number; occ: Occurrence } | null => {\n const occ = nfa.consume[state];\n const section = sections[index];\n const to = nfa.consumeTo[state];\n if (!occ || !section || to === undefined || to < 0) return null;\n if (headingMatches(occ.rule.heading, titleOf(section))) {\n const cost = occ.wildcard ? MATCH_WILDCARD : MATCH;\n return { cost, rank: RANK.match, to, occ };\n }\n if (occ.coercible) return { cost: COERCE, rank: RANK.coerce, to, occ };\n return null;\n };\n\n const skipSectionCost = (state: number): number =>\n nfa.inRepeat[state] === true ? SKIP_SECTION_IN_RUN : SKIP_SECTION;\n\n // dist[i * states + s]: cheapest way from (section i, state s) to the end.\n const dist = new Float64Array((n + 1) * states).fill(Infinity);\n const distAt = (slot: number): number => dist[slot] ?? Infinity;\n\n for (let index = n; index >= 0; index--) {\n const base = index * states;\n const next = base + states;\n const heap = new Heap();\n\n for (let state = 0; state < states; state++) {\n let best = Infinity;\n if (index === n) {\n if (state === nfa.accept) best = 0;\n } else {\n const step = consumeCost(state, index);\n if (step) best = step.cost + distAt(next + step.to);\n const skipped = skipSectionCost(state) + distAt(next + state);\n if (skipped < best) best = skipped;\n }\n dist[base + state] = best;\n if (best < Infinity) heap.push(best, state);\n }\n\n // Close the column under epsilon edges. They can form zero-consuming\n // cycles - a `repeat` with `min: 0` and no `max` - so this is Dijkstra on\n // the reversed epsilon graph rather than a sweep in state order.\n const done = new Uint8Array(states);\n while (heap.size > 0) {\n const { cost, item } = heap.pop();\n if (done[item] === 1 || cost > distAt(base + item)) continue;\n done[item] = 1;\n for (const edge of nfa.epsIn[item] ?? NO_EPS) {\n const candidate = cost + edge.cost;\n if (candidate < distAt(base + edge.from)) {\n dist[base + edge.from] = candidate;\n heap.push(candidate, edge.from);\n }\n }\n }\n }\n\n if (distAt(nfa.start) === Infinity) {\n // Every state has a skip-section edge and every occurrence a skip edge, so\n // the accept state is always reachable. Reaching this would be a\n // construction bug, not a template the user can fix.\n throw new LintError(\"internal: no alignment exists for this rule list.\");\n }\n\n const steps: Step[] = [];\n let index = 0;\n let state = nfa.start;\n let seen = new Set<number>([state]);\n\n while (!(index === n && state === nfa.accept)) {\n const moves: Move[] = [];\n\n const offer = (\n cost: number,\n rank: number,\n to: number,\n column: number,\n kind: StepKind,\n occ: Occurrence | null,\n ): void => {\n const total = cost + distAt(column * states + to);\n if (total === Infinity) return;\n moves.push({ kind, to, column, occ, total, rank });\n };\n\n if (index < n) {\n const step = consumeCost(state, index);\n if (step) {\n offer(\n step.cost,\n step.rank,\n step.to,\n index + 1,\n step.rank === RANK.coerce ? \"coerce\" : \"match\",\n step.occ,\n );\n }\n offer(skipSectionCost(state), RANK.skipSection, state, index + 1, \"skip-section\", null);\n }\n for (const edge of nfa.epsOut[state] ?? NO_EPS) {\n if (seen.has(edge.to)) continue;\n offer(edge.cost, edge.rank, edge.to, index, \"skip-rule\", edge.occ);\n }\n\n // Cheapest first; then the lowest-ranked edit, which is tie-break 3; then\n // the earliest state, so the walk is reproducible to the edge.\n let move: Move | undefined;\n for (const candidate of moves) {\n if (\n move === undefined ||\n candidate.total < move.total ||\n (candidate.total === move.total && candidate.rank < move.rank) ||\n (candidate.total === move.total &&\n candidate.rank === move.rank &&\n candidate.to < move.to)\n ) {\n move = candidate;\n }\n }\n if (move === undefined) {\n throw new LintError(\"internal: the alignment could not be reconstructed.\");\n }\n\n if (move.kind !== \"skip-rule\" || move.occ !== null) {\n steps.push({ kind: move.kind, index, occ: move.occ });\n }\n if (move.column !== index) {\n index = move.column;\n seen = new Set<number>();\n }\n state = move.to;\n seen.add(state);\n }\n\n return steps;\n}\n\n/* -------------------------------------------------------------------------- *\n * Findings\n * -------------------------------------------------------------------------- */\n\nfunction collapse(point: Position[\"end\"]): Position {\n return { start: { ...point }, end: { ...point } };\n}\n\n/**\n * Where a finding about the cursor position lands.\n *\n * A gap in the middle of a document anchors on the section standing where the\n * missing one should be. A gap at the *end* has no such section, and anchoring\n * on the parent - which is what the previous matcher did - spans the parent's\n * whole subtree, so the finding starts at the parent's heading and sorts to the\n * top of a report about the bottom of the file. It anchors at the parent's end\n * instead, which is where the section would have gone.\n */\nfunction anchor(\n index: number,\n sections: SectionNode[],\n parent: SectionNode | null,\n): { heading: string | null; position: Position } {\n const section = sections[index];\n if (section) {\n return { heading: section.title || null, position: section.position };\n }\n if (parent) {\n return { heading: parent.title || null, position: collapse(parent.position.end) };\n }\n const last = sections[sections.length - 1];\n if (last) return { heading: null, position: collapse(last.position.end) };\n return { heading: null, position: collapse({ line: 1, column: 1, offset: 0 }) };\n}\n\n/** How a rule's heading reads inside a longer sentence. */\nfunction describeHeading(rule: Rule): string {\n const heading = rule.heading;\n if (typeof heading === \"string\") return `\"${heading}\"`;\n if (Array.isArray(heading)) return heading.map((text) => `\"${text}\"`).join(\", \");\n if (heading === false) return \"a section with no heading\";\n if (heading !== undefined) return `/${heading.pattern}/`;\n return rule.id === undefined ? \"any section\" : `\"${rule.id}\"`;\n}\n\n/**\n * What an absent occurrence is called.\n *\n * A rule names itself by its heading where it has one, because that is the text\n * the reader will type into the document. A wildcard has only its `id`, which\n * is why one is worth writing.\n */\nfunction missingMessage(rule: Rule): string {\n const heading = rule.heading;\n if (typeof heading === \"string\") return `Missing section \"${heading}\"`;\n if (Array.isArray(heading)) {\n return `Missing one of ${heading.map((text) => `\"${text}\"`).join(\", \")}`;\n }\n if (heading === false) return \"Missing section without a heading\";\n if (heading !== undefined) return `Missing section matching /${heading.pattern}/`;\n return rule.id === undefined ? \"Missing section\" : `Missing section \"${rule.id}\"`;\n}\n\nfunction missingGroupMessage(copy: GroupCopy): string {\n const members = (copy.rule.repeat ?? []).map(describeHeading).join(\" followed by \");\n const name = copy.rule.id === undefined ? \"\" : ` \"${copy.rule.id}\"`;\n return `Missing group${name}: expected ${members}`;\n}\n\nfunction unexpectedMessage(section: SectionNode): string {\n const what =\n section.titlePosition === null\n ? \"Unexpected section without a heading\"\n : `Unexpected section \"${section.title}\"`;\n return `${what}. Add a trailing rule with min: 0 to allow sections the template does not describe.`;\n}\n\n/* -------------------------------------------------------------------------- *\n * The entry point\n * -------------------------------------------------------------------------- */\n\n/**\n * Align `sections` against `rules` and say what is missing, what is extra, and\n * which rule describes which section.\n *\n * `rules` being absent means the template says nothing about this level, which\n * is silence rather than \"no sections allowed\". An empty list is the other\n * thing: a rule list that describes no sections, so every section is\n * unexpected.\n */\nexport function matchSections(\n sections: SectionNode[],\n rules: Rule[] | undefined,\n options: MatchOptions = {},\n): MatchResult {\n const matches: Match[] = [];\n const findings: Finding[] = [];\n if (!rules) return { matches, findings };\n\n const parent = options.parent ?? null;\n const nfa = automatonFor(rules, options);\n const steps = align(sections, nfa);\n\n const taken = new Set<Occurrence>();\n for (const step of steps) {\n if ((step.kind === \"match\" || step.kind === \"coerce\") && step.occ) {\n taken.add(step.occ);\n }\n }\n\n /** The outermost enclosing `repeat` copy that is absent whole, if any. */\n const absentGroup = (occ: Occurrence): GroupCopy | null => {\n for (const group of occ.groups) {\n if (group.members.every((member) => !taken.has(member))) return group;\n }\n return null;\n };\n\n const reported = new Set<GroupCopy>();\n\n for (const step of steps) {\n const section = sections[step.index];\n if ((step.kind === \"match\" || step.kind === \"coerce\") && step.occ && section) {\n matches.push({\n rule: step.occ.rule,\n section,\n coerced: step.kind === \"coerce\",\n });\n continue;\n }\n\n if (step.kind === \"skip-section\" && section) {\n findings.push({\n type: \"unexpected_section\",\n heading: section.title || null,\n message: unexpectedMessage(section),\n position: section.position,\n severity: \"error\",\n });\n continue;\n }\n\n if (step.kind !== \"skip-rule\" || !step.occ || !step.occ.required) continue;\n\n const where = anchor(step.index, sections, parent);\n const group = absentGroup(step.occ);\n if (group) {\n if (reported.has(group)) continue;\n reported.add(group);\n findings.push({\n type: \"missing_group\",\n heading: where.heading,\n message: missingGroupMessage(group),\n position: where.position,\n severity: \"error\",\n });\n continue;\n }\n\n findings.push({\n type: \"missing_section\",\n heading: where.heading,\n message: missingMessage(step.occ.rule),\n position: where.position,\n severity: \"error\",\n });\n }\n\n return { matches, findings };\n}\n"],"mappings":";;;;;;AAsBO,IAAM,YAAN,cAAwB,UAAU;AAAA,EACvC,YAAY,SAAiB;AAC3B,UAAM,OAAO;AACb,SAAK,OAAO;AAAA,EACd;AACF;;;ACMO,SAAS,kBACd,SACA,MACA,KACW;AACX,MAAI,CAAC,KAAM,QAAO,CAAC;AAEnB,QAAM,aAAa,aAAa,OAAO;AACvC,QAAM,WAAW;AAAA,IACf,WAAW;AAAA,IACX;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AAEA,QAAM,UAAU,KAAK;AACrB,MAAI,SAAS;AACX,UAAM,QAAQ,eAAe,OAAO;AACpC,eAAW,QAAQ,CAAC,WAAW,UAAU;AACvC,UAAI,CAAC,MAAM,KAAK,UAAU,IAAI,GAAG;AAC/B,iBAAS,KAAK;AAAA,UACZ,MAAM;AAAA,UACN,SAAS,IAAI;AAAA,UACb,SAAS,aAAa,QAAQ,CAAC,oBAAoB,OAAO;AAAA,UAC1D,UAAU,UAAU;AAAA,UACpB,UAAU;AAAA,QACZ,CAAC;AAAA,MACH;AAAA,IACF,CAAC;AAAA,EACH;AAEA,SAAO;AACT;;;ACjCO,SAAS,kBACd,SACA,MACA,KACW;AACX,MAAI,CAAC,KAAM,QAAO,CAAC;AAEnB,QAAM,aAAa,aAAa,OAAO;AACvC,QAAM,UAAU,KAAK,YACjB,WAAW,OAAO,CAAC,UAAU,iBAAiB,OAAO,KAAK,SAAmB,CAAC,IAC9E;AAEJ,QAAM,WAAW;AAAA,IACf,QAAQ;AAAA,IACR;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AAEA,MAAI,KAAK,UAAU;AACjB,aAAS,KAAK,GAAG,eAAe,YAAY,KAAK,UAAU,GAAG,CAAC;AAAA,EACjE;AAEA,SAAO;AACT;AAEA,SAAS,iBAAiB,OAAiB,SAA0B;AACnE,SAAO,eAAe,OAAO,EAAE,KAAK,MAAM,aAAa,EAAE;AAC3D;AAGA,SAAS,eACP,YACA,UACA,KACW;AACX,QAAM,YAAY,MAAM,QAAQ,QAAQ,IAAI,WAAW,CAAC,QAAQ;AAChE,QAAM,OAAO,UAAU,CAAC;AACxB,MAAI,UAAU,WAAW,KAAK,SAAS,OAAW,QAAO,CAAC;AAE1D,QAAM,QACJ,UAAU,WAAW,IACjB,IAAI,IAAI,MACR,UAAU,UAAU,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,EAAE,KAAK,IAAI,CAAC;AAE/D,QAAM,WAAsB,CAAC;AAC7B,aAAW,QAAQ,CAAC,OAAO,UAAU;AACnC,QAAI,MAAM,aAAa,UAAa,UAAU,SAAS,MAAM,QAAQ,EAAG;AAExE,UAAM,QAAQ,MAAM,WAAW,cAAc,MAAM,QAAQ,MAAM;AACjE,aAAS,KAAK;AAAA,MACZ,MAAM;AAAA,MACN,SAAS,IAAI;AAAA,MACb,SAAS,uBAAuB,QAAQ,CAAC,eAAe,KAAK,KAAK,KAAK;AAAA,MACvE,UAAU,MAAM;AAAA,MAChB,UAAU;AAAA,IACZ,CAAC;AAAA,EACH,CAAC;AAED,SAAO;AACT;;;ACjEO,SAAS,cACd,SACA,MACA,KACW;AACX,MAAI,CAAC,KAAM,QAAO,CAAC;AAEnB,QAAM,SAAS,SAAS,OAAO;AAC/B,QAAM,WAAW,WAAW,OAAO,QAAQ,MAAM,SAAS,sBAAsB,GAAG;AAEnF,MAAI,KAAK,SAAS;AAChB,eAAW,SAAS,QAAQ;AAC1B,YAAM,SAAS,YAAY,KAAK;AAChC,UAAI,CAAC,YAAY,QAAQ,KAAK,OAAO,GAAG;AACtC,iBAAS,KAAK;AAAA,UACZ,MAAM;AAAA,UACN,SAAS,IAAI;AAAA,UACb,SAAS,0BAA0B,UAAU,KAAK,OAAO,CAAC,eAAe,UAAU,MAAM,CAAC;AAAA,UAC1F,UAAU,MAAM;AAAA,UAChB,UAAU;AAAA,QACZ,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAEA,SAAS,YAAY,OAA4B;AAC/C,QAAM,SAAS,MAAM,SAAS,KAAK,CAAC,QAAQ,IAAI,MAAM;AACtD,SAAO,SAAS,OAAO,SAAS,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC;AAC9D;AAEA,SAAS,YAAY,QAAkB,UAA6B;AAClE,SAAO,OAAO,WAAW,SAAS,UAAU,OAAO,MAAM,CAAC,MAAM,UAAU,SAAS,SAAS,KAAK,CAAC;AACpG;;;ACrCO,SAAS,mBACd,SACA,MACA,KACW;AACX,MAAI,CAAC,KAAM,QAAO,CAAC;AAEnB,QAAM,cAAc,cAAc,OAAO;AACzC,QAAM,WAAW;AAAA,IACf,YAAY;AAAA,IACZ;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AAEA,MAAI,KAAK,SAAS;AAChB,aAAS,KAAK,GAAG,aAAa,aAAa,KAAK,SAAS,GAAG,CAAC;AAAA,EAC/D;AAEA,SAAO;AACT;AAEA,SAAS,aACP,aACA,SACA,KACW;AACX,QAAM,WAAsB,CAAC;AAC7B,aAAW,cAAc,aAAa;AACpC,QAAI,WAAW,YAAY,SAAS;AAKlC,YAAM,QAAQ,WAAW,UACrB,eAAe,WAAW,OAAO,KACjC;AACJ,eAAS,KAAK;AAAA,QACZ,MAAM;AAAA,QACN,SAAS,IAAI;AAAA,QACb,SAAS,cAAc,OAAO,gBAAgB,KAAK;AAAA,QACnD,UAAU,WAAW;AAAA,QACrB,UAAU;AAAA,MACZ,CAAC;AAAA,IACH;AAAA,EACF;AACA,SAAO;AACT;;;AC7CO,SAAS,cACd,SACA,MACA,KACW;AACX,MAAI,CAAC,KAAM,QAAO,CAAC;AAEnB,QAAM,WAAW,SAAS,OAAO,EAAE,OAAO,CAAC,UAAU,QAAQ,OAAO,IAAI,CAAC;AACzE,SAAO,WAAW,SAAS,QAAQ,MAAM,SAAS,sBAAsB,GAAG;AAC7E;AAEA,SAAS,QAAQ,OAAkB,MAA2B;AAC5D,MAAI,KAAK,QAAQ,UAAa,MAAM,QAAQ,KAAK,IAAK,QAAO;AAC7D,MAAI,KAAK,QAAQ,UAAa,MAAM,QAAQ,KAAK,IAAK,QAAO;AAC7D,MAAI,KAAK,cAAc,OAAO,KAAK,KAAK,UAAU,EAAE,SAAS,EAAG,QAAO;AACvE,SAAO;AACT;;;AChCO,SAAS,mBACd,SACA,MACA,KACW;AACX,MAAI,CAAC,KAAM,QAAO,CAAC;AACnB,SAAO,WAAW,cAAc,OAAO,EAAE,QAAQ,MAAM,cAAc,2BAA2B,GAAG;AACrG;;;ACDO,SAAS,uBACd,SACA,MACA,KACW;AACX,MAAI,CAAC,KAAM,QAAO,CAAC;AACnB,SAAO;AAAA,IACL,kBAAkB,OAAO,EAAE;AAAA,IAC3B;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AACF;;;ACAO,SAAS,UAAU,SAAsC;AAC9D,QAAM,OAAqB,CAAC;AAE5B,aAAW,QAAQ,SAAS;AAC1B,UAAM,UAAU,KAAK,KAAK,SAAS,CAAC;AACpC,QAAI,WAAW,QAAQ,SAAS,KAAK,MAAM;AACzC,cAAQ,MAAM,KAAK,IAAI;AACvB,cAAQ,WAAW;AAAA,QACjB,OAAO,QAAQ,SAAS;AAAA,QACxB,KAAK,KAAK,SAAS;AAAA,MACrB;AAAA,IACF,OAAO;AACL,WAAK,KAAK;AAAA,QACR,MAAM,KAAK;AAAA,QACX,OAAO,CAAC,IAAI;AAAA,QACZ,UAAU,EAAE,OAAO,KAAK,SAAS,OAAO,KAAK,KAAK,SAAS,IAAI;AAAA,MACjE,CAAC;AAAA,IACH;AAAA,EACF;AAEA,SAAO;AACT;AAGA,IAAM,gBAAgD;AAAA,EACpD,YAAY;AAAA,EACZ,YAAY;AAAA,EACZ,OAAO;AAAA,EACP,QAAQ;AAAA,EACR,aAAa;AAAA,EACb,QAAQ;AAAA,EACR,aAAa;AAAA,EACb,iBAAiB;AAAA,EACjB,UAAU;AACZ;AAGA,SAAS,cAAc,MAA2B;AAChD,UAAQ,MAAM;AAAA,IACZ,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT;AAGE,aAAO;AAAA,EACX;AACF;AAGA,SAAS,MAAM,OAAoC;AACjD,aAAW,QAAQ,aAAa;AAC9B,QAAI,MAAM,IAAI,MAAM,OAAW,QAAO;AAAA,EACxC;AACA,SAAO;AACT;AAGO,SAAS,cACd,SACA,MACW;AACX,SAAO,gBAAgB,QAAQ,UAAU,MAAM,eAAe,OAAO,CAAC;AACxE;AAOO,SAAS,gBACd,SACA,MACA,KACW;AACX,MAAI,CAAC,KAAM,QAAO,CAAC;AAEnB,QAAM,OAAO,UAAU,OAAO;AAC9B,QAAM,gBAAgB,KAAK,IAAI,CAAC,UAAU;AACxC,UAAM,MAAM,MAAM,KAAK;AACvB,WAAO,MAAM,cAAc,GAAG,IAAI;AAAA,EACpC,CAAC;AACD,QAAM,cAAc,KAAK,IAAI,CAAC,QAAQ,IAAI,IAAI;AAE9C,QAAMA,WACJ,cAAc,WAAW,YAAY,UACrC,cAAc,MAAM,CAAC,MAAM,UAAU,SAAS,YAAY,KAAK,CAAC;AAElE,MAAI,CAACA,UAAS;AACZ,UAAM,WAAW,cAAc,IAAI,CAAC,SAAU,OAAO,cAAc,IAAI,IAAI,GAAI;AAC/E,UAAM,QAAQ,YAAY,SAAS,IAAI,YAAY,IAAI,aAAa,IAAI,CAAC,SAAS;AAClF,WAAO;AAAA,MACL;AAAA,QACE,MAAM;AAAA,QACN,SAAS,IAAI;AAAA,QACb,SAAS,YAAY,SAAS,KAAK,QAAQ,CAAC,eAAe,MAAM,KAAK,QAAQ,CAAC;AAAA,QAC/E,UAAU,IAAI;AAAA,QACd,UAAU;AAAA,MACZ;AAAA,IACF;AAAA,EACF;AAEA,QAAM,WAAsB,CAAC;AAC7B,OAAK,QAAQ,CAAC,KAAK,UAAU;AAC3B,UAAM,QAAQ,KAAK,KAAK;AACxB,QAAI,CAAC,MAAO;AACZ,UAAM,SAAsB,EAAE,SAAS,IAAI,SAAS,UAAU,IAAI,SAAS;AAI3E,aAAS,KAAK,GAAG,gBAAgB,IAAI,OAAO,OAAO,MAAM,CAAC;AAAA,EAC5D,CAAC;AAED,SAAO;AACT;;;AChIO,SAAS,gBACd,SACA,MACA,KACW;AACX,MAAI,CAAC,KAAM,QAAO,CAAC;AAEnB,QAAM,OAAO,KAAK,QAAQ,SAAY,SAAY,MAAM,QAAQ,KAAK,GAAG,IAAI,KAAK,MAAM,CAAC,KAAK,GAAG;AAChG,QAAM,WAAW,OAAO,WAAW,OAAO,EAAE,OAAO,CAAC,YAAY,KAAK,SAAS,QAAQ,IAAI,CAAC,IAAI,WAAW,OAAO;AAKjH,QAAM,OAAO,OACT,GAAG,KAAK,IAAI,CAAC,QAAQ,IAAI,GAAG,GAAG,EAAE,KAAK,MAAM,CAAC,aAC7C;AACJ,QAAM,WAAW,WAAW,SAAS,QAAQ,MAAM,MAAM,wBAAwB,GAAG;AAEpF,MAAI,KAAK,YAAY;AACnB,eAAW,WAAW,UAAU;AAC9B,eAAS,KAAK,GAAG,gBAAgB,SAAS,KAAK,YAAY,GAAG,CAAC;AAAA,IACjE;AAAA,EACF;AAOA,MAAI,KAAK,YAAY,KAAK,UAAU;AAClC,eAAW,WAAW,UAAU;AAC9B,YAAM,aAA0B,EAAE,SAAS,IAAI,SAAS,UAAU,QAAQ,SAAS;AACnF,eAAS,KAAK,GAAG,gBAAgB,QAAQ,UAAU,KAAK,UAAU,UAAU,CAAC;AAC7E,eAAS,KAAK,GAAG,gBAAgB,QAAQ,UAAU,KAAK,UAAU,UAAU,CAAC;AAAA,IAC/E;AAAA,EACF;AAEA,SAAO;AACT;AASA,SAAS,gBACP,SACA,MACA,KACW;AACX,QAAM,WAAsB,CAAC;AAC7B,aAAW,CAAC,KAAK,QAAQ,KAAK,OAAO,QAAQ,IAAI,GAAG;AAClD,UAAM,UAAU,SAAS,SAAS,KAAK,UAAU,GAAG;AACpD,QAAI,QAAS,UAAS,KAAK,OAAO;AAAA,EACpC;AACA,SAAO;AACT;AAEA,SAAS,SACP,SACA,KACA,UACA,KACgB;AAChB,QAAM,aAAa,QAAQ,cAAc,CAAC;AAC1C,QAAM,UAAU,OAAO;AACvB,QAAM,SAAS,WAAW,GAAG;AAE7B,QAAM,OAAO,CAAC,MAAc,YAA6B;AAAA,IACvD,MAAM;AAAA,IACN,SAAS,IAAI;AAAA,IACb,SAAS,iBAAiB,QAAQ,IAAI,aAAa,IAAI,SAAS,MAAM;AAAA,IACtE,UAAU,QAAQ;AAAA,IAClB,UAAU;AAAA,EACZ;AAEA,MAAI,aAAa,OAAO;AACtB,QAAI,CAAC,QAAS,QAAO;AACrB,UAAM,QAAQ,WAAW,OAAO,kBAAkB,GAAG,GAAG,KAAK,OAAO,MAAM,CAAC;AAC3E,WAAO,KAAK,gBAAgB,GAAG,IAAI,SAAS,KAAK,EAAE;AAAA,EACrD;AAEA,MAAI,CAAC,QAAS,QAAO,KAAK,cAAc,KAAK,QAAQ,GAAG,iBAAiB,GAAG,EAAE;AAC9E,MAAI,aAAa,KAAM,QAAO;AAC9B,MAAI,WAAW,KAAM,QAAO,KAAK,cAAc,KAAK,QAAQ,GAAG,OAAO,GAAG,mBAAmB;AAC5F,MAAI,WAAW,SAAU,QAAO,KAAK,cAAc,KAAK,QAAQ,GAAG,SAAS,GAAG,KAAK,OAAO,MAAM,CAAC,GAAG;AACrG,SAAO;AACT;AAEA,SAAS,cAAc,KAAa,UAAiC;AACnE,SAAO,aAAa,OAAO,YAAY,GAAG,KAAK,YAAY,GAAG,KAAK,QAAQ;AAC7E;;;AC7GO,SAAS,cACd,SACA,MACW;AACX,SAAO,gBAAgB,QAAQ,UAAU,MAAM,eAAe,OAAO,CAAC;AACxE;AAUO,SAAS,gBACd,SACA,MACA,KACW;AACX,MAAI,CAAC,KAAM,QAAO,CAAC;AAEnB,QAAM,WAAsB,CAAC;AAC7B,aAAW,QAAQ,aAAa;AAC9B,YAAQ,MAAM;AAAA,MACZ,KAAK;AACH,iBAAS,KAAK,GAAG,kBAAkB,SAAS,KAAK,YAAY,GAAG,CAAC;AACjE;AAAA,MACF,KAAK;AACH,iBAAS,KAAK,GAAG,kBAAkB,SAAS,KAAK,YAAY,GAAG,CAAC;AACjE;AAAA,MACF,KAAK;AACH,iBAAS,KAAK,GAAG,aAAa,SAAS,KAAK,OAAO,GAAG,CAAC;AACvD;AAAA,MACF,KAAK;AACH,iBAAS,KAAK,GAAG,cAAc,SAAS,KAAK,QAAQ,GAAG,CAAC;AACzD;AAAA,MACF,KAAK;AACH,iBAAS,KAAK,GAAG,mBAAmB,SAAS,KAAK,aAAa,GAAG,CAAC;AACnE;AAAA,MACF,KAAK;AACH,iBAAS,KAAK,GAAG,cAAc,SAAS,KAAK,QAAQ,GAAG,CAAC;AACzD;AAAA,MACF,KAAK;AACH,iBAAS,KAAK,GAAG,mBAAmB,SAAS,KAAK,aAAa,GAAG,CAAC;AACnE;AAAA,MACF,KAAK;AACH,iBAAS,KAAK,GAAG,uBAAuB,SAAS,KAAK,iBAAiB,GAAG,CAAC;AAC3E;AAAA,MACF,KAAK;AACH,iBAAS,KAAK,GAAG,gBAAgB,SAAS,KAAK,UAAU,GAAG,CAAC;AAC7D;AAAA,IACJ;AAAA,EACF;AACA,SAAO;AACT;;;ACrCO,SAAS,aACd,SACA,MACA,KACW;AACX,MAAI,CAAC,KAAM,QAAO,CAAC;AAEnB,QAAM,QAAQ,QAAQ,OAAO;AAC7B,QAAM,WAAW,WAAW,MAAM,QAAQ,MAAM,QAAQ,qBAAqB,GAAG;AAEhF,MAAI,KAAK,YAAY,QAAW;AAC9B,aAAS,KAAK,GAAG,aAAa,OAAO,KAAK,SAAS,GAAG,CAAC;AAAA,EACzD;AAEA,QAAM,QAAQ,KAAK;AACnB,MAAI,CAAC,MAAO,QAAO;AAEnB,WAAS,KAAK,GAAG,gBAAgB,OAAO,OAAO,GAAG,CAAC;AAEnD,MAAI,CAAC,MAAM,YAAY,CAAC,MAAM,SAAU,QAAO;AAE/C,aAAW,QAAQ,OAAO;AACxB,eAAW,QAAQ,KAAK,OAAO;AAC7B,YAAM,UAAuB,EAAE,SAAS,IAAI,SAAS,UAAU,KAAK,SAAS;AAC7E,UAAI,MAAM,UAAU;AAClB,iBAAS,KAAK,GAAG,gBAAgB,KAAK,UAAU,MAAM,UAAU,OAAO,CAAC;AAAA,MAC1E,WAAW,MAAM,UAAU;AACzB,iBAAS,KAAK,GAAG,gBAAgB,KAAK,UAAU,MAAM,UAAU,OAAO,CAAC;AAAA,MAC1E;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAEA,SAAS,aAAa,OAAmB,SAAkB,KAA6B;AACtF,QAAM,WAAsB,CAAC;AAC7B,aAAW,QAAQ,OAAO;AACxB,QAAI,KAAK,YAAY,SAAS;AAC5B,eAAS,KAAK;AAAA,QACZ,MAAM;AAAA,QACN,SAAS,IAAI;AAAA,QACb,SAAS,UACL,wDACA;AAAA,QACJ,UAAU,KAAK;AAAA,QACf,UAAU;AAAA,MACZ,CAAC;AAAA,IACH;AAAA,EACF;AACA,SAAO;AACT;AAQA,SAAS,gBACP,OACA,OACA,KACW;AACX,QAAM,WAAsB,CAAC;AAC7B,QAAM,MAAM,MAAM,QAAQ,MAAM,QAAQ,IAAI,IAAI;AAChD,QAAM,MAAM,MAAM,OAAO;AAEzB,MAAI,QAAQ,MAAM;AAChB,UAAM,WAAW,MAAM,KAAK,CAAC,SAAS,KAAK,MAAM,SAAS,GAAG;AAC7D,QAAI,UAAU;AACZ,eAAS,KAAK;AAAA,QACZ,MAAM;AAAA,QACN,SAAS,IAAI;AAAA,QACb,SAAS,oBAAoB,GAAG,+BAA+B,SAAS,MAAM,MAAM;AAAA,QACpF,UAAU,SAAS;AAAA,QACnB,UAAU;AAAA,MACZ,CAAC;AAAA,IACH;AAAA,EACF;AAEA,MAAI,MAAM,GAAG;AACX,UAAM,WAAW,MAAM,KAAK,CAAC,SAAS,KAAK,MAAM,SAAS,GAAG;AAC7D,QAAI,UAAU;AACZ,eAAS,KAAK;AAAA,QACZ,MAAM;AAAA,QACN,SAAS,IAAI;AAAA,QACb,SAAS,qBAAqB,GAAG,+BAA+B,SAAS,MAAM,MAAM;AAAA,QACrF,UAAU,SAAS;AAAA,QACnB,UAAU;AAAA,MACZ,CAAC;AAAA,IACH;AAAA,EACF;AAEA,SAAO;AACT;;;ACyBO,IAAM,cAAoC;AAAA,EAC/C;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF;AA0BO,SAAS,eAAe,SAAmC;AAChE,SAAO,EAAE,SAAS,QAAQ,SAAS,MAAM,UAAU,QAAQ,SAAS;AACtE;AASO,SAAS,aAAa,SAAyC;AACpE,SAAO,QAAQ,OAAO,CAAC,SAAgC,KAAK,SAAS,WAAW;AAClF;AAEO,SAAS,aAAa,SAAoC;AAC/D,SAAO,QAAQ,OAAO,CAAC,SAA2B,KAAK,SAAS,WAAW;AAC7E;AAEO,SAAS,QAAQ,SAAoC;AAC1D,SAAO,QAAQ,OAAO,CAAC,SAA2B,KAAK,SAAS,MAAM;AACxE;AAEO,SAAS,SAAS,SAAqC;AAC5D,SAAO,QAAQ,OAAO,CAAC,SAA4B,KAAK,SAAS,OAAO;AAC1E;AAEO,SAAS,cAAc,SAA0C;AACtE,SAAO,QAAQ,OAAO,CAAC,SAAiC,KAAK,SAAS,YAAY;AACpF;AAEO,SAAS,SAAS,SAAqC;AAC5D,SAAO,QAAQ,OAAO,CAAC,SAA4B,KAAK,SAAS,OAAO;AAC1E;AAEO,SAAS,cAAc,SAA0C;AACtE,SAAO,QAAQ,OAAO,CAAC,SAAiC,KAAK,SAAS,YAAY;AACpF;AAEO,SAAS,kBAAkB,SAA8C;AAC9E,SAAO,QAAQ,OAAO,CAAC,SAAqC,KAAK,SAAS,gBAAgB;AAC5F;AAEO,SAAS,WAAW,SAAuC;AAChE,SAAO,QAAQ,OAAO,CAAC,SAA8B,KAAK,SAAS,SAAS;AAC9E;AAOA,SAAS,OAAO,MAAc,OAAuB;AACnD,SAAO,UAAU,IAAI,OAAO,GAAG,IAAI;AACrC;AAGO,SAAS,UAAU,OAAyB;AACjD,SAAO,MAAM,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,EAAE,KAAK,IAAI;AACnD;AAeO,SAAS,WACd,OACA,MACA,MACA,MACA,KACW;AACX,QAAM,WAAsB,CAAC;AAC7B,QAAM,MAAM,KAAK,QAAQ,KAAK,QAAQ,IAAI,IAAI;AAC9C,QAAM,MAAM,KAAK,OAAO;AAExB,MAAI,QAAQ,KAAK;AACf,aAAS,KAAK;AAAA,MACZ;AAAA,MACA,SAAS,IAAI;AAAA,MACb,SAAS,qBAAqB,GAAG,IAAI,OAAO,MAAM,GAAG,CAAC,eAAe,KAAK;AAAA,MAC1E,UAAU,IAAI;AAAA,MACd,UAAU;AAAA,IACZ,CAAC;AAAA,EACH;AAEA,MAAI,QAAQ,QAAQ,QAAQ,KAAK;AAC/B,aAAS,KAAK;AAAA,MACZ;AAAA,MACA,SAAS,IAAI;AAAA,MACb,SAAS,oBAAoB,GAAG,IAAI,OAAO,MAAM,GAAG,CAAC,eAAe,KAAK;AAAA,MACzE,UAAU,IAAI;AAAA,MACd,UAAU;AAAA,IACZ,CAAC;AAAA,EACH;AAEA,SAAO;AACT;AAgDA,IAAM,WAAW,oBAAI,IAAoB;AAElC,SAAS,eAAe,SAAyB;AAQtD,QAAM,MAAM,SAAS,IAAI,OAAO;AAChC,MAAI,IAAK,QAAO;AAChB,MAAI;AACF,UAAM,QAAQ,IAAI,OAAO,OAAO;AAChC,aAAS,IAAI,SAAS,KAAK;AAC3B,WAAO;AAAA,EACT,SAAS,OAAO;AACd,UAAM,SAAS,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;AACpE,UAAM,IAAI,UAAU,oBAAoB,OAAO,MAAM,MAAM,EAAE;AAAA,EAC/D;AACF;AAGO,SAAS,oBAA0B;AACxC,WAAS,MAAM;AACjB;;;AC7VA,SAAS,SAAS,SAAqC;AACrD,SAAO,QAAQ,kBAAkB,OAAO,OAAO,QAAQ;AACzD;AAGO,SAAS,aACd,SACA,MACW;AACX,MAAI,SAAS,OAAW,QAAO,CAAC;AAIhC,QAAM,WAAW,QAAQ,iBAAiB,QAAQ;AAClD,QAAM,QAAQ,SAAS,OAAO;AAC9B,QAAM,QAAQ,UAAU,OAAO,eAAe,IAAI,KAAK;AAEvD,QAAM,OAAO,CAAC,YAA+B;AAAA,IAC3C;AAAA,MACE,MAAM;AAAA;AAAA;AAAA;AAAA;AAAA,MAKN,SAAS,QAAQ,SAAS;AAAA,MAC1B;AAAA,MACA;AAAA,MACA,UAAU;AAAA,IACZ;AAAA,EACF;AAEA,MAAI,SAAS,OAAO;AAClB,WAAO,UAAU,OAAO,CAAC,IAAI,KAAK,6CAA6C,KAAK,EAAE;AAAA,EACxF;AAEA,MAAI,OAAO,SAAS,UAAU;AAC5B,WAAO,UAAU,OAAO,CAAC,IAAI,KAAK,mBAAmB,IAAI,gBAAgB,KAAK,EAAE;AAAA,EAClF;AAEA,MAAI,MAAM,QAAQ,IAAI,GAAG;AACvB,QAAI,UAAU,QAAQ,KAAK,SAAS,KAAK,EAAG,QAAO,CAAC;AACpD,WAAO,KAAK,mBAAmB,KAAK,IAAI,CAAC,WAAW,IAAI,MAAM,GAAG,EAAE,KAAK,IAAI,CAAC,eAAe,KAAK,EAAE;AAAA,EACrG;AAGA,MAAI,UAAU,QAAQ,eAAe,KAAK,OAAO,EAAE,KAAK,KAAK,EAAG,QAAO,CAAC;AACxE,SAAO,KAAK,4BAA4B,KAAK,OAAO,gBAAgB,KAAK,EAAE;AAC7E;;;ACmDO,IAAMC,eAAoC;AAAA,EAC/C;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF;AAcO,IAAM,kBAAkD;AAAA,EAC7D,YAAY;AAAA,EACZ,YAAY;AAAA,EACZ,OAAO;AAAA,EACP,QAAQ;AAAA,EACR,aAAa;AAAA,EACb,QAAQ;AAAA,EACR,aAAa;AAAA,EACb,iBAAiB;AAAA,EACjB,UAAU;AACZ;AA6CO,SAAS,WAAW,MAAqB;AAC9C,SAAO,KAAK,YAAY;AAC1B;AAkBO,SAAS,gBAAgB,MAG9B;AACA,SAAO,EAAE,KAAK,KAAK,QAAQ,KAAK,QAAQ,IAAI,IAAI,IAAI,KAAK,KAAK,OAAO,KAAK;AAC5E;AAGO,SAAS,eACd,SACA,OACS;AACT,MAAI,YAAY,OAAW,QAAO;AAClC,MAAI,YAAY,MAAO,QAAO,UAAU;AACxC,MAAI,UAAU,KAAM,QAAO;AAC3B,MAAI,OAAO,YAAY,SAAU,QAAO,UAAU;AAClD,MAAI,MAAM,QAAQ,OAAO,EAAG,QAAO,QAAQ,SAAS,KAAK;AACzD,SAAO,eAAe,QAAQ,OAAO,EAAE,KAAK,KAAK;AACnD;;;AC/KO,IAAM,kBAAkB;AAAA,EAC7B,OAAO;AAAA,EACP,QAAQ;AAAA,EACR,UAAU;AAAA,EACV,aAAa;AACf;AAsBO,IAAM,cAAc;AA6F3B,IAAM,OAAO;AAAA,EACX,OAAO;AAAA,EACP,WAAW;AAAA,EACX,QAAQ;AAAA,EACR,UAAU;AAAA,EACV,aAAa;AACf;AAEA,IAAM,SAAgB,CAAC;AASvB,SAAS,eAAe,OAAuB;AAC7C,MAAI,QAAQ;AACZ,aAAW,QAAQ,MAAO,UAAS,WAAW,IAAI;AAClD,SAAO;AACT;AAEA,SAAS,WAAW,MAAoB;AACtC,MAAI,OAAO;AACX,MAAI,KAAK,QAAQ;AACf,WAAO;AACP,eAAW,UAAU,KAAK,OAAQ,SAAQ,WAAW,MAAM;AAAA,EAC7D;AACA,QAAM,EAAE,KAAK,IAAI,IAAI,gBAAgB,IAAI;AACzC,MAAI,QAAQ,KAAM,QAAO,QAAQ,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK;AACzD,SAAO,OAAO,KAAK,IAAI,GAAG,GAAG;AAC/B;AAEA,SAAS,OAAU,OAAc,OAAoB;AACnD,QAAM,OAAO,MAAM,KAAK;AACxB,MAAI,KAAM,QAAO;AACjB,QAAM,UAAe,CAAC;AACtB,QAAM,KAAK,IAAI;AACf,SAAO;AACT;AAUA,SAAS,QAAQ,OAA0B;AACzC,QAAM,UAAiC,CAAC;AACxC,QAAM,YAAsB,CAAC;AAC7B,QAAM,SAAkB,CAAC;AACzB,QAAM,QAAiB,CAAC;AACxB,QAAM,WAAsB,CAAC;AAE7B,QAAM,WAAW,MAAc;AAC7B,YAAQ,KAAK,IAAI;AACjB,cAAU,KAAK,EAAE;AACjB,WAAO,KAAK,CAAC,CAAC;AACd,UAAM,KAAK,CAAC,CAAC;AACb,aAAS,KAAK,KAAK;AACnB,WAAO,QAAQ,SAAS;AAAA,EAC1B;AAEA,QAAM,MAAM,CACV,MACA,IACA,MACA,MACA,QACS;AACT,UAAM,OAAY,EAAE,MAAM,IAAI,MAAM,MAAM,IAAI;AAC9C,WAAO,QAAQ,IAAI,EAAE,KAAK,IAAI;AAC9B,WAAO,OAAO,EAAE,EAAE,KAAK,IAAI;AAAA,EAC7B;AAEA,QAAM,OAAO,CAAC,MAAc,QAA4B;AACtD,UAAM,KAAK,SAAS;AACpB,YAAQ,IAAI,IAAI;AAChB,cAAU,IAAI,IAAI;AAElB,QAAI,MAAM,IAAI,IAAI,WAAW,gBAAgB,WAAW,GAAG,KAAK,UAAU,GAAG;AAC7E,WAAO;AAAA,EACT;AAGA,QAAM,YAAY,CAChB,MACA,MACA,QACA,aACW;AACX,QAAI,KAAK,QAAQ;AACf,YAAM,OAAkB,EAAE,MAAM,SAAS,CAAC,EAAE;AAC5C,YAAM,SAAS,CAAC,GAAG,QAAQ,IAAI;AAC/B,UAAIC,UAAS;AACb,iBAAW,UAAU,KAAK,QAAQ;AAChC,QAAAA,UAAS,UAAU,QAAQA,SAAQ,QAAQ,QAAQ;AAAA,MACrD;AACA,aAAOA;AAAA,IACT;AACA,UAAM,EAAE,IAAI,IAAI,gBAAgB,IAAI;AACpC,UAAM,MAAkB;AAAA,MACtB;AAAA,MACA;AAAA,MACA,WAAW,YAAY,QAAQ;AAAA,MAC/B,UAAU,WAAW,IAAI;AAAA,MACzB;AAAA,IACF;AACA,eAAW,SAAS,OAAQ,OAAM,QAAQ,KAAK,GAAG;AAClD,WAAO,KAAK,MAAM,GAAG;AAAA,EACvB;AAEA,WAAS,UACP,MACA,MACA,QACA,SACQ;AACR,UAAM,EAAE,KAAK,IAAI,IAAI,gBAAgB,IAAI;AAGzC,UAAM,QAAQ,QAAQ,OAAO,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,KAAK,IAAI,KAAK,CAAC,GAAG,GAAG;AAC9E,UAAM,SAAS,QAAQ,OAAO,QAAQ,KAAK,IAAI,GAAG,GAAG;AACrD,UAAM,QAAQ,QAAQ;AAEtB,QAAIA,UAAS;AACb,aAAS,OAAO,GAAG,OAAO,QAAQ,QAAQ;AACxC,MAAAA,UAAS,UAAU,MAAMA,SAAQ,QAAQ,WAAW,OAAO,KAAK;AAAA,IAClE;AAEA,QAAI,MAAMA;AACV,QAAI,QAAQ,MAAM;AAChB,YAAM,OAAO,SAAS;AACtB,UAAIA,SAAQ,MAAM,GAAG,KAAK,WAAW,IAAI;AACzC,YAAM,OAAO,UAAU,MAAM,MAAM,QAAQ,KAAK;AAChD,UAAI,MAAM,MAAM,GAAG,KAAK,WAAW,IAAI;AACvC,YAAM,SAAS;AACf,UAAI,MAAM,KAAK,GAAG,KAAK,WAAW,IAAI;AAAA,IACxC;AAMA,QAAI,SAAS,KAAK,QAAQ,MAAM;AAC9B,eAAS,QAAQ,OAAO,QAAQ,QAAQ,QAAQ,SAAS;AACvD,YAAI,UAAU,IAAK,UAAS,KAAK,IAAI;AAAA,MACvC;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAEA,QAAM,QAAQ,SAAS;AACvB,MAAI,SAAS;AACb,aAAW,QAAQ,MAAO,UAAS,UAAU,MAAM,QAAQ,CAAC,GAAG,IAAI;AAEnE,SAAO;AAAA,IACL,QAAQ,QAAQ;AAAA,IAChB;AAAA,IACA,QAAQ;AAAA,IACR;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AACF;AASA,IAAMC,YAAW,oBAAI,QAA2B;AAEhD,SAAS,aAAa,OAAe,SAAkC;AACrE,QAAM,MAAMA,UAAS,IAAI,KAAK;AAC9B,MAAI,IAAK,QAAO;AAEhB,QAAM,SAAS,eAAe,KAAK;AACnC,MAAI,SAAS,aAAa;AACxB,UAAM,SAAS,QAAQ,UAAU;AAMjC,UAAM,QACJ,QAAQ,YAAY,OAAO,GAAG,MAAM,IAAI,QAAQ,QAAQ,KAAK,GAAG,MAAM;AACxE,UAAM,IAAI;AAAA,MACR,GAAG,KAAK,eAAe,MAAM,yBAAyB,WAAW;AAAA,IAEnE;AAAA,EACF;AAEA,QAAM,QAAQ,QAAQ,KAAK;AAC3B,EAAAA,UAAS,IAAI,OAAO,KAAK;AACzB,SAAO;AACT;AA6BA,SAAS,QAAQ,SAAqC;AACpD,SAAO,QAAQ,kBAAkB,OAAO,OAAO,QAAQ;AACzD;AAGA,IAAM,OAAN,MAAW;AAAA,EACQ,QAAkB,CAAC;AAAA,EACnB,QAAkB,CAAC;AAAA,EAEpC,IAAI,OAAe;AACjB,WAAO,KAAK,MAAM;AAAA,EACpB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAeA,KAAK,MAAc,MAAoB;AACrC,SAAK,MAAM,KAAK,IAAI;AACpB,SAAK,MAAM,KAAK,IAAI;AACpB,QAAI,QAAQ,KAAK,MAAM,SAAS;AAChC,WAAO,QAAQ,GAAG;AAChB,YAAM,SAAU,QAAQ,KAAM;AAC9B,WAAK,KAAK,MAAM,MAAM,KAAK,OAAO,KAAK,MAAM,KAAK,KAAK,GAAI;AAC3D,WAAK,KAAK,QAAQ,KAAK;AACvB,cAAQ;AAAA,IACV;AAAA,EACF;AAAA,EAEA,MAAsC;AACpC,UAAM,OAAO,KAAK,MAAM,CAAC,KAAK;AAC9B,UAAM,OAAO,KAAK,MAAM,CAAC,KAAK;AAC9B,UAAM,WAAW,KAAK,MAAM,IAAI;AAChC,UAAM,WAAW,KAAK,MAAM,IAAI;AAChC,QAAI,KAAK,MAAM,SAAS,KAAK,aAAa,UAAa,aAAa,QAAW;AAC7E,WAAK,MAAM,CAAC,IAAI;AAChB,WAAK,MAAM,CAAC,IAAI;AAChB,UAAI,SAAS;AACb,iBAAS;AACP,cAAM,OAAO,SAAS,IAAI;AAC1B,cAAM,QAAQ,OAAO;AACrB,YAAI,WAAW;AACf,YAAI,OAAO,KAAK,MAAM,WAAW,KAAK,MAAM,IAAI,KAAK,MAAM,KAAK,MAAM,QAAQ,KAAK,IAAI;AACrF,qBAAW;AAAA,QACb;AACA,YAAI,QAAQ,KAAK,MAAM,WAAW,KAAK,MAAM,KAAK,KAAK,MAAM,KAAK,MAAM,QAAQ,KAAK,IAAI;AACvF,qBAAW;AAAA,QACb;AACA,YAAI,aAAa,OAAQ;AACzB,aAAK,KAAK,QAAQ,QAAQ;AAC1B,iBAAS;AAAA,MACX;AAAA,IACF;AACA,WAAO,EAAE,MAAM,KAAK;AAAA,EACtB;AAAA,EAEQ,KAAK,GAAW,GAAiB;AACvC,UAAM,OAAO,KAAK,MAAM,CAAC,KAAK;AAC9B,UAAM,OAAO,KAAK,MAAM,CAAC,KAAK;AAC9B,SAAK,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK;AACjC,SAAK,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK;AACjC,SAAK,MAAM,CAAC,IAAI;AAChB,SAAK,MAAM,CAAC,IAAI;AAAA,EAClB;AACF;AAeA,SAAS,MAAM,UAAyB,KAAwB;AAC9D,QAAM,IAAI,SAAS;AACnB,QAAM,SAAS,IAAI;AACnB,QAAM,QAAQ,KAAK,IAAI,UAAU;AACjC,QAAM,QAAQ,CAAC,SAAiB,WAAmB,gBAChD,UAAU,QAAQ,aAAa,QAAQ;AAE1C,QAAM,eAAe,MAAM,gBAAgB,aAAa,GAAG,CAAC;AAC5D,QAAM,sBAAsB,MAAM,gBAAgB,aAAa,GAAG,CAAC;AACnE,QAAM,QAAQ,MAAM,gBAAgB,OAAO,GAAG,CAAC;AAC/C,QAAM,iBAAiB,MAAM,gBAAgB,OAAO,GAAG,CAAC;AACxD,QAAM,SAAS,MAAM,gBAAgB,QAAQ,GAAG,CAAC;AAGjD,QAAM,cAAc,CAClBC,QACAC,WACuE;AACvE,UAAM,MAAM,IAAI,QAAQD,MAAK;AAC7B,UAAM,UAAU,SAASC,MAAK;AAC9B,UAAM,KAAK,IAAI,UAAUD,MAAK;AAC9B,QAAI,CAAC,OAAO,CAAC,WAAW,OAAO,UAAa,KAAK,EAAG,QAAO;AAC3D,QAAI,eAAe,IAAI,KAAK,SAAS,QAAQ,OAAO,CAAC,GAAG;AACtD,YAAM,OAAO,IAAI,WAAW,iBAAiB;AAC7C,aAAO,EAAE,MAAM,MAAM,KAAK,OAAO,IAAI,IAAI;AAAA,IAC3C;AACA,QAAI,IAAI,UAAW,QAAO,EAAE,MAAM,QAAQ,MAAM,KAAK,QAAQ,IAAI,IAAI;AACrE,WAAO;AAAA,EACT;AAEA,QAAM,kBAAkB,CAACA,WACvB,IAAI,SAASA,MAAK,MAAM,OAAO,sBAAsB;AAGvD,QAAM,OAAO,IAAI,cAAc,IAAI,KAAK,MAAM,EAAE,KAAK,QAAQ;AAC7D,QAAM,SAAS,CAAC,SAAyB,KAAK,IAAI,KAAK;AAEvD,WAASC,SAAQ,GAAGA,UAAS,GAAGA,UAAS;AACvC,UAAM,OAAOA,SAAQ;AACrB,UAAM,OAAO,OAAO;AACpB,UAAM,OAAO,IAAI,KAAK;AAEtB,aAASD,SAAQ,GAAGA,SAAQ,QAAQA,UAAS;AAC3C,UAAI,OAAO;AACX,UAAIC,WAAU,GAAG;AACf,YAAID,WAAU,IAAI,OAAQ,QAAO;AAAA,MACnC,OAAO;AACL,cAAM,OAAO,YAAYA,QAAOC,MAAK;AACrC,YAAI,KAAM,QAAO,KAAK,OAAO,OAAO,OAAO,KAAK,EAAE;AAClD,cAAM,UAAU,gBAAgBD,MAAK,IAAI,OAAO,OAAOA,MAAK;AAC5D,YAAI,UAAU,KAAM,QAAO;AAAA,MAC7B;AACA,WAAK,OAAOA,MAAK,IAAI;AACrB,UAAI,OAAO,SAAU,MAAK,KAAK,MAAMA,MAAK;AAAA,IAC5C;AAKA,UAAM,OAAO,IAAI,WAAW,MAAM;AAClC,WAAO,KAAK,OAAO,GAAG;AACpB,YAAM,EAAE,MAAM,KAAK,IAAI,KAAK,IAAI;AAChC,UAAI,KAAK,IAAI,MAAM,KAAK,OAAO,OAAO,OAAO,IAAI,EAAG;AACpD,WAAK,IAAI,IAAI;AACb,iBAAW,QAAQ,IAAI,MAAM,IAAI,KAAK,QAAQ;AAC5C,cAAM,YAAY,OAAO,KAAK;AAC9B,YAAI,YAAY,OAAO,OAAO,KAAK,IAAI,GAAG;AACxC,eAAK,OAAO,KAAK,IAAI,IAAI;AACzB,eAAK,KAAK,WAAW,KAAK,IAAI;AAAA,QAChC;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,MAAI,OAAO,IAAI,KAAK,MAAM,UAAU;AAIlC,UAAM,IAAI,UAAU,mDAAmD;AAAA,EACzE;AAEA,QAAM,QAAgB,CAAC;AACvB,MAAI,QAAQ;AACZ,MAAI,QAAQ,IAAI;AAChB,MAAI,OAAO,oBAAI,IAAY,CAAC,KAAK,CAAC;AAElC,SAAO,EAAE,UAAU,KAAK,UAAU,IAAI,SAAS;AAC7C,UAAM,QAAgB,CAAC;AAEvB,UAAM,QAAQ,CACZ,MACA,MACA,IACA,QACA,MACA,QACS;AACT,YAAM,QAAQ,OAAO,OAAO,SAAS,SAAS,EAAE;AAChD,UAAI,UAAU,SAAU;AACxB,YAAM,KAAK,EAAE,MAAM,IAAI,QAAQ,KAAK,OAAO,KAAK,CAAC;AAAA,IACnD;AAEA,QAAI,QAAQ,GAAG;AACb,YAAM,OAAO,YAAY,OAAO,KAAK;AACrC,UAAI,MAAM;AACR;AAAA,UACE,KAAK;AAAA,UACL,KAAK;AAAA,UACL,KAAK;AAAA,UACL,QAAQ;AAAA,UACR,KAAK,SAAS,KAAK,SAAS,WAAW;AAAA,UACvC,KAAK;AAAA,QACP;AAAA,MACF;AACA,YAAM,gBAAgB,KAAK,GAAG,KAAK,aAAa,OAAO,QAAQ,GAAG,gBAAgB,IAAI;AAAA,IACxF;AACA,eAAW,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;AAC9C,UAAI,KAAK,IAAI,KAAK,EAAE,EAAG;AACvB,YAAM,KAAK,MAAM,KAAK,MAAM,KAAK,IAAI,OAAO,aAAa,KAAK,GAAG;AAAA,IACnE;AAIA,QAAI;AACJ,eAAW,aAAa,OAAO;AAC7B,UACE,SAAS,UACT,UAAU,QAAQ,KAAK,SACtB,UAAU,UAAU,KAAK,SAAS,UAAU,OAAO,KAAK,QACxD,UAAU,UAAU,KAAK,SACxB,UAAU,SAAS,KAAK,QACxB,UAAU,KAAK,KAAK,IACtB;AACA,eAAO;AAAA,MACT;AAAA,IACF;AACA,QAAI,SAAS,QAAW;AACtB,YAAM,IAAI,UAAU,qDAAqD;AAAA,IAC3E;AAEA,QAAI,KAAK,SAAS,eAAe,KAAK,QAAQ,MAAM;AAClD,YAAM,KAAK,EAAE,MAAM,KAAK,MAAM,OAAO,KAAK,KAAK,IAAI,CAAC;AAAA,IACtD;AACA,QAAI,KAAK,WAAW,OAAO;AACzB,cAAQ,KAAK;AACb,aAAO,oBAAI,IAAY;AAAA,IACzB;AACA,YAAQ,KAAK;AACb,SAAK,IAAI,KAAK;AAAA,EAChB;AAEA,SAAO;AACT;AAMA,SAAS,SAAS,OAAkC;AAClD,SAAO,EAAE,OAAO,EAAE,GAAG,MAAM,GAAG,KAAK,EAAE,GAAG,MAAM,EAAE;AAClD;AAYA,SAAS,OACP,OACA,UACA,QACgD;AAChD,QAAM,UAAU,SAAS,KAAK;AAC9B,MAAI,SAAS;AACX,WAAO,EAAE,SAAS,QAAQ,SAAS,MAAM,UAAU,QAAQ,SAAS;AAAA,EACtE;AACA,MAAI,QAAQ;AACV,WAAO,EAAE,SAAS,OAAO,SAAS,MAAM,UAAU,SAAS,OAAO,SAAS,GAAG,EAAE;AAAA,EAClF;AACA,QAAM,OAAO,SAAS,SAAS,SAAS,CAAC;AACzC,MAAI,KAAM,QAAO,EAAE,SAAS,MAAM,UAAU,SAAS,KAAK,SAAS,GAAG,EAAE;AACxE,SAAO,EAAE,SAAS,MAAM,UAAU,SAAS,EAAE,MAAM,GAAG,QAAQ,GAAG,QAAQ,EAAE,CAAC,EAAE;AAChF;AAGA,SAAS,gBAAgB,MAAoB;AAC3C,QAAM,UAAU,KAAK;AACrB,MAAI,OAAO,YAAY,SAAU,QAAO,IAAI,OAAO;AACnD,MAAI,MAAM,QAAQ,OAAO,EAAG,QAAO,QAAQ,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,EAAE,KAAK,IAAI;AAC/E,MAAI,YAAY,MAAO,QAAO;AAC9B,MAAI,YAAY,OAAW,QAAO,IAAI,QAAQ,OAAO;AACrD,SAAO,KAAK,OAAO,SAAY,gBAAgB,IAAI,KAAK,EAAE;AAC5D;AASA,SAAS,eAAe,MAAoB;AAC1C,QAAM,UAAU,KAAK;AACrB,MAAI,OAAO,YAAY,SAAU,QAAO,oBAAoB,OAAO;AACnE,MAAI,MAAM,QAAQ,OAAO,GAAG;AAC1B,WAAO,kBAAkB,QAAQ,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,EAAE,KAAK,IAAI,CAAC;AAAA,EACxE;AACA,MAAI,YAAY,MAAO,QAAO;AAC9B,MAAI,YAAY,OAAW,QAAO,6BAA6B,QAAQ,OAAO;AAC9E,SAAO,KAAK,OAAO,SAAY,oBAAoB,oBAAoB,KAAK,EAAE;AAChF;AAEA,SAAS,oBAAoB,MAAyB;AACpD,QAAM,WAAW,KAAK,KAAK,UAAU,CAAC,GAAG,IAAI,eAAe,EAAE,KAAK,eAAe;AAClF,QAAM,OAAO,KAAK,KAAK,OAAO,SAAY,KAAK,KAAK,KAAK,KAAK,EAAE;AAChE,SAAO,gBAAgB,IAAI,cAAc,OAAO;AAClD;AAEA,SAAS,kBAAkB,SAA8B;AACvD,QAAM,OACJ,QAAQ,kBAAkB,OACtB,yCACA,uBAAuB,QAAQ,KAAK;AAC1C,SAAO,GAAG,IAAI;AAChB;AAeO,SAAS,cACd,UACA,OACA,UAAwB,CAAC,GACZ;AACb,QAAME,WAAmB,CAAC;AAC1B,QAAM,WAAsB,CAAC;AAC7B,MAAI,CAAC,MAAO,QAAO,EAAE,SAAAA,UAAS,SAAS;AAEvC,QAAM,SAAS,QAAQ,UAAU;AACjC,QAAM,MAAM,aAAa,OAAO,OAAO;AACvC,QAAM,QAAQ,MAAM,UAAU,GAAG;AAEjC,QAAM,QAAQ,oBAAI,IAAgB;AAClC,aAAW,QAAQ,OAAO;AACxB,SAAK,KAAK,SAAS,WAAW,KAAK,SAAS,aAAa,KAAK,KAAK;AACjE,YAAM,IAAI,KAAK,GAAG;AAAA,IACpB;AAAA,EACF;AAGA,QAAM,cAAc,CAAC,QAAsC;AACzD,eAAW,SAAS,IAAI,QAAQ;AAC9B,UAAI,MAAM,QAAQ,MAAM,CAAC,WAAW,CAAC,MAAM,IAAI,MAAM,CAAC,EAAG,QAAO;AAAA,IAClE;AACA,WAAO;AAAA,EACT;AAEA,QAAM,WAAW,oBAAI,IAAe;AAEpC,aAAW,QAAQ,OAAO;AACxB,UAAM,UAAU,SAAS,KAAK,KAAK;AACnC,SAAK,KAAK,SAAS,WAAW,KAAK,SAAS,aAAa,KAAK,OAAO,SAAS;AAC5E,MAAAA,SAAQ,KAAK;AAAA,QACX,MAAM,KAAK,IAAI;AAAA,QACf;AAAA,QACA,SAAS,KAAK,SAAS;AAAA,MACzB,CAAC;AACD;AAAA,IACF;AAEA,QAAI,KAAK,SAAS,kBAAkB,SAAS;AAC3C,eAAS,KAAK;AAAA,QACZ,MAAM;AAAA,QACN,SAAS,QAAQ,SAAS;AAAA,QAC1B,SAAS,kBAAkB,OAAO;AAAA,QAClC,UAAU,QAAQ;AAAA,QAClB,UAAU;AAAA,MACZ,CAAC;AACD;AAAA,IACF;AAEA,QAAI,KAAK,SAAS,eAAe,CAAC,KAAK,OAAO,CAAC,KAAK,IAAI,SAAU;AAElE,UAAM,QAAQ,OAAO,KAAK,OAAO,UAAU,MAAM;AACjD,UAAM,QAAQ,YAAY,KAAK,GAAG;AAClC,QAAI,OAAO;AACT,UAAI,SAAS,IAAI,KAAK,EAAG;AACzB,eAAS,IAAI,KAAK;AAClB,eAAS,KAAK;AAAA,QACZ,MAAM;AAAA,QACN,SAAS,MAAM;AAAA,QACf,SAAS,oBAAoB,KAAK;AAAA,QAClC,UAAU,MAAM;AAAA,QAChB,UAAU;AAAA,MACZ,CAAC;AACD;AAAA,IACF;AAEA,aAAS,KAAK;AAAA,MACZ,MAAM;AAAA,MACN,SAAS,MAAM;AAAA,MACf,SAAS,eAAe,KAAK,IAAI,IAAI;AAAA,MACrC,UAAU,MAAM;AAAA,MAChB,UAAU;AAAA,IACZ,CAAC;AAAA,EACH;AAEA,SAAO,EAAE,SAAAA,UAAS,SAAS;AAC7B;","names":["matches","BLOCK_KINDS","cursor","compiled","state","index","matches"]}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"sources":["../src/graph/types.ts","../src/graph/core/iri.ts","../src/graph/core/config.ts","../src/graph/core/config-schema.json","../src/graph/core/vocab.ts","../src/graph/core/iirds.ts","../src/graph/core/coverage.ts","../src/graph/embed/types.ts","../src/graph/core/sort.ts"],"sourcesContent":["/** Shared types for manni graph. */\nimport { ToolError } from \"../shared/errors.js\";\nimport type { DocFormat } from \"./core/analyze.js\";\n\n/** Operational error: expected failure reported to the user, exit code 2. */\nexport class GraphError extends ToolError {\n constructor(message: string) {\n super(message);\n this.name = \"GraphError\";\n }\n}\n\n/** A heading-derived section within a document. */\nexport interface Section {\n /** GitHub-style slug, disambiguated (`install`, `install-1`, ...). */\n slug: string;\n /** Heading text. */\n title: string;\n /** Heading level, 1-6. */\n level: number;\n /** 1-based position among siblings under the same parent. */\n order: number;\n /** Slug of the enclosing section, or null when the parent is the document. */\n parentSlug: string | null;\n}\n\n/** A link found in a document body. */\nexport interface DocLink {\n /** The raw target as written in the source. */\n raw: string;\n /**\n * internal: resolves to a discovered doc (repo-relative path in `resolvedPath`,\n * optional `anchor`);\n * external: absolute URL;\n * broken: relative target that does not match a discovered doc.\n */\n kind: \"internal\" | \"external\" | \"broken\";\n /** Repo-relative path of the target doc (internal links only). */\n resolvedPath?: string;\n /** Fragment identifier without `#`, when present. */\n anchor?: string;\n /** Normalized absolute URL (external links only). */\n url?: string;\n}\n\n/** An image reference found in a document body. */\nexport interface DocImage {\n raw: string;\n /** Absolute URL or repo-relative path resolved from the doc's location. */\n target: string;\n external: boolean;\n}\n\n/** Everything dockg derives from one source file. */\nexport interface DocModel {\n /** Repo-relative path with forward slashes, e.g. `docs/guide.md`. */\n path: string;\n /** Parsed frontmatter data ({} when absent). */\n frontmatter: Record<string, unknown>;\n /** Whether a frontmatter block was present. */\n frontmatterPresent: boolean;\n /** The format the page was parsed as: `--as`, else its extension. */\n format: DocFormat;\n /** First H1 text, if any (used as title fallback). */\n firstH1?: string;\n sections: Section[];\n links: DocLink[];\n images: DocImage[];\n /** Distinct fenced code block languages, sorted. */\n codeLanguages: string[];\n /**\n * BCP-47 tag from the nearest enclosing route mapping that declares one\n * (ADR 01037), or undefined when no route covers this path or none in the\n * chain declares a language. The page's own `lang`/`language` frontmatter\n * outranks it.\n */\n routeLanguage?: string;\n /**\n * Lowercase sha256 hex digest of the document's UTF-8 content, as read —\n * line endings included, so it matches `sha256sum <file>` (ADR 01036).\n */\n contentHash: string;\n}\n","/**\n * Deterministic IRI minting. Every node in the graph gets a stable IRI derived\n * from the base IRI plus repo-relative paths, heading slugs, or concept labels —\n * never blank nodes. Identical inputs mint identical IRIs on every OS.\n */\nimport { slug as githubSlug } from \"github-slugger\";\n\n/** Default base when the config sets none: valid, deterministic, obviously placeholder. */\nexport const DEFAULT_BASE_IRI = \"urn:manni:graph:\";\n\n/** Normalize a config base IRI; http(s) bases get a trailing slash. */\nexport function resolveBaseIri(base: string | undefined): string {\n if (!base) return DEFAULT_BASE_IRI;\n if (base.endsWith(\"/\") || base.endsWith(\":\")) return base;\n return `${base}/`;\n}\n\n/** Repo-relative path with forward slashes and no leading `./`. */\nexport function normalizeDocPath(p: string): string {\n let out = p.replace(/\\\\/g, \"/\");\n while (out.startsWith(\"./\")) out = out.slice(2);\n return out;\n}\n\n/** RFC 3986 strict percent-encoding of one path segment (UTF-8 for non-ASCII). */\nexport function encodeSegment(segment: string): string {\n return encodeURIComponent(segment).replace(\n /[!'()*]/g,\n (c) => `%${c.charCodeAt(0).toString(16).toUpperCase()}`,\n );\n}\n\n/**\n * The display path of a document read from stdin (`-`). It has no file name,\n * so its node is `{base}stdin` rather than a `doc/` path, and its links\n * resolve from the working directory.\n */\nexport const STDIN_PATH = \"<stdin>\";\n\n/**\n * `{base}doc/{repo-relative-path}`, segment-wise percent-encoded. A document\n * read from stdin is `{base}stdin`.\n */\nexport function mintDocIri(base: string, relPath: string): string {\n if (relPath === STDIN_PATH) return `${base}stdin`;\n const path = normalizeDocPath(relPath)\n .split(\"/\")\n .map(encodeSegment)\n .join(\"/\");\n return `${base}doc/${path}`;\n}\n\n/** `{docIri}#{slug}` — the slug comes pre-disambiguated from analysis. */\nexport function mintSectionIri(docIri: string, slugValue: string): string {\n return `${docIri}#${slugValue}`;\n}\n\n/** Stateless GitHub-style slug; identical labels always converge. */\nexport function conceptSlug(label: string): string {\n return githubSlug(label);\n}\n\n/** `{base}concept/{slug(label)}` — one shared namespace for all concepts. */\nexport function mintConceptIri(base: string, label: string): string {\n return `${base}concept/${encodeSegment(conceptSlug(label))}`;\n}\n\n/**\n * `{base}product/{slug(label)}` — iiRDS ProductVariant nodes (graph.applies-to).\n * Separate `product/` segment so a product and a concept sharing a label\n * cannot converge on one IRI.\n */\nexport function mintProductIri(base: string, label: string): string {\n return `${base}product/${encodeSegment(conceptSlug(label))}`;\n}\n\n/** The single skos:ConceptScheme node for the graph. */\nexport function mintSchemeIri(base: string): string {\n return `${base}scheme`;\n}\n\n/**\n * The kind of actor an agent IRI names, mirroring PROV-O's three\n * `prov:Agent` subclasses. Segmenting by kind keeps a person and a model\n * whose names slug alike (\"GPT 4\" / \"gpt-4\") from merging into one node.\n */\nexport type AgentKind = \"person\" | \"org\" | \"software\";\n\n/** `{base}agent/{kind}/{slug(name)}`. */\nexport function mintAgentIri(\n base: string,\n kind: AgentKind,\n name: string,\n): string {\n return `${base}agent/${kind}/${encodeSegment(conceptSlug(name))}`;\n}\n\n/** The graph itself as a prov:Entity. */\nexport function mintGraphIri(base: string): string {\n return `${base}graph`;\n}\n\n/** The build run as a prov:Activity. */\nexport function mintBuildActivityIri(base: string): string {\n return `${base}activity/build`;\n}\n","/**\n * Loads and validates the `graph:` section of `manni.config.yaml`. Discovery is\n * the family's (`src/shared/config-file.ts`); validation is JSON Schema\n * (2020-12) via Ajv; defaults are applied in code afterward so the resolved\n * shape is fully typed. Mirrors the docevals config pattern.\n */\nimport { dirname, resolve } from \"node:path\";\nimport { parse as parseYaml } from \"yaml\";\nimport { Ajv2020 } from \"ajv/dist/2020.js\";\nimport configSchema from \"./config-schema.json\" with { type: \"json\" };\nimport {\n findConfigFileSync,\n readConfigFileSync,\n type ConfigFileOptions,\n} from \"../../shared/config-file.js\";\nimport type { CollectionConfig } from \"../../shared/collections.js\";\nimport { parseCollections } from \"../../shared/collections.js\";\nimport {\n PROVIDERS_KEY,\n assertKnownProvider,\n parseProviders,\n type ProvidersConfig,\n} from \"../../shared/providers.js\";\nimport { errorMessage } from \"../../shared/errors.js\";\nimport { GraphError } from \"../types.js\";\nimport { resolveBaseIri } from \"./iri.js\";\nimport { COVERAGE_FIELD_NAMES } from \"./coverage.js\";\n// Pure data module (no transformers import), so config stays Node-light.\nimport { DEFAULT_MODEL as DEFAULT_EMBED_MODEL } from \"../embed/types.js\";\n\nexport type DeriveSource =\n | \"frontmatter\"\n | \"sections\"\n | \"links\"\n | \"tags\"\n | \"images\"\n | \"code\"\n | \"provenance\";\n\nexport type FillField =\n // SKOS concept fields\n | \"label\"\n | \"alt-labels\"\n | \"broader\"\n | \"narrower\"\n | \"related-concepts\"\n | \"concepts\"\n // iiRDS typing + negative scope (ADR 01015)\n | \"type\"\n | \"applies-to\"\n | \"about-product-lifecycle\"\n | \"about-product-aspect\"\n | \"not-applicable-to\"\n | \"not-about-product-aspect\";\n\n/** Every fillable field, in a stable order — the default `fill.fields`. */\nexport const ALL_FILL_FIELDS: FillField[] = [\n \"label\",\n \"alt-labels\",\n \"broader\",\n \"narrower\",\n \"related-concepts\",\n \"concepts\",\n \"type\",\n \"applies-to\",\n \"about-product-lifecycle\",\n \"about-product-aspect\",\n \"not-applicable-to\",\n \"not-about-product-aspect\",\n];\n\n/** Maps published-site routes back to source files. */\nexport interface RouteMapping {\n /** Site prefix, normalized: leading `/`, no trailing `/`; `\"\"` = site root. */\n basePath: string;\n /** Repo-relative directory routes resolve into (no trailing slash). */\n root: string;\n /** Extensions to try when the route names a page without one. */\n extensions: string[];\n /** Basenames to try for directory routes (`/docs/actions/`). */\n indexFiles: string[];\n /**\n * BCP-47 tag labelling every document under `root` (ADR 01037). A page's own\n * `lang`/`language` frontmatter wins; absent that, the nearest enclosing\n * route that declares one applies. Omitted, the route says nothing about\n * language.\n */\n language?: string;\n}\n\nexport interface GraphConfig {\n /**\n * The family's document sets, from the file's top-level `collections:`\n * (proposal 0041). `[]` when the key is absent or no file governs the run.\n */\n collections: CollectionConfig[];\n /**\n * The config file as the user would name it, for messages; `null` when no\n * file governs the run and every value is a built-in default.\n */\n configSource: string | null;\n /**\n * `graph.provider`, or `null` when unset: the family's `providers.provider`\n * decides then, and `auto` (detect) after it. `--provider` wins over it and\n * `--local` overrides both (proposal 0051 §3).\n */\n provider: string | null;\n /**\n * The model within the provider, or `null` for the provider's own default.\n * manni pins no model: the inference library chooses, and the model it\n * resolves to is what every cache key names. Not `embed.model`, which is a\n * local embedding model id and has nothing to do with a provider.\n */\n model: string | null;\n /**\n * The family's top-level `providers:`: the provider and model every tool\n * falls back to, and the connection settings for each provider. `{}` when\n * the file declares none, or no file governs the run.\n */\n providers: ProvidersConfig;\n /** Normalized base IRI (trailing slash for http(s); `urn:manni:graph:` default). */\n baseIri: string;\n /** Output path of the built Turtle file, relative to configDir. */\n out: string;\n routes: RouteMapping[];\n build: { derive: DeriveSource[] };\n /** Graph-level SHACL validation (`manni graph check`). */\n check: {\n /** Shapes .ttl paths; empty = the shapes bundled with manni. */\n shapes: string[];\n };\n provenance: {\n /**\n * Emit qualified attribution/association nodes with roles.\n *\n * The one provenance setting left. `git` was tri-state until proposal\n * 0051 §6: git history is *detected* now, used wherever git can run over a\n * repository and degraded to a warning where it cannot (graph ADR 01010's\n * `\"auto\"`, minus the switch). `qualified` stays because it switches what\n * is written, not what is discovered.\n */\n qualified: boolean;\n };\n fill: {\n temperature: number;\n /**\n * Stop after this many inference calls; `null` (the default) is\n * unbounded. One page is one turn, and a cached proposal spends none.\n * Replaces the dollar cap graph ADR 01027 found unenforceable, as docevals\n * ADR 01019 replaced its own (proposal 0051 §3).\n */\n maxTurns: number | null;\n cacheDir: string;\n fields: FillField[];\n /**\n * Minimum model self-confidence (0..1) to write a proposed field; below\n * this it is reported but not written (ADR 01015). Default 0.7. Named as\n * meta, docevals and tracevals name it (proposal 0051 §3).\n */\n confidenceThreshold: number;\n /** Record the page-level meta-provenance on filled docs (proposal 0046). */\n writeProvenance: boolean;\n /** Reject proposals that would violate the SHACL shapes contract. */\n validateGraph: boolean;\n /** Also propose per-section metadata (ADR 01032). Opt-in: more output. */\n sections: boolean;\n };\n stats: {\n /**\n * Per-field minimum coverage percentages (0–100) enforced under\n * `stats --check`. Resolved shape is always a map; a uniform number in the\n * config expands across every measured field. Default `{}` gates nothing.\n * See ADR 01011.\n */\n coverageThreshold: Record<string, number>;\n };\n embed: {\n /**\n * Embedding model id (ADR 01020). An open string, not an enum: the\n * documented table is the *tested* set, not the permitted set, so a newer\n * model works without a manni release.\n */\n model: string;\n /** Weight quantization. `q8` keeps int32 accumulation, which is associative. */\n dtype: string;\n /**\n * Directory the sidecars are written into (ADR 01038). One file per\n * language, named by `vectorIndexFilename`, so this is a directory rather\n * than the single path it was before the fan-out. Resolved from the\n * working directory, as `out` is. Undefined means the index directory,\n * which is why it has no default here.\n */\n out: string | undefined;\n /**\n * Per-language model overrides, keyed by BCP-47 tag (ADR 01038). A German\n * corpus embedded with an English-only model returns confident, meaningless\n * vectors and fails nothing, so this is the knob that makes the fan-out\n * worth having. Unset languages use `model`/`dtype`.\n */\n byLanguage: Record<string, { model?: string; dtype?: string }>;\n /** Per-text vector cache, keyed on text+model+dtype. */\n cacheDir: string;\n };\n export: {\n /** iiRDS package export metadata (ADR 01017); all fields optional. */\n iirds: {\n /** Package title; when absent the exporter uses a default. */\n title?: string;\n /** Creator organization name → a Creator iirds:Party + vcard:Organization. */\n creator?: string;\n /** iiRDS version literal written to the package. Default \"1.3\". */\n version: \"1.2\" | \"1.3\";\n };\n };\n /** Absolute path of the loaded config file. */\n configPath: string;\n /** Directory containing the config file; relative paths resolve against it. */\n configDir: string;\n}\n\n/** The family config file; this tool reads its `graph:` key. */\nexport const DEFAULT_CONFIG_FILENAME = \"manni.config.yaml\";\n/** The tool's key in the family file. */\nexport const CONFIG_SECTION = \"graph\";\n/** The family's top-level key for document sets (proposal 0041). */\nconst COLLECTIONS_KEY = \"collections\";\n\n/**\n * Where the metadata tool's configuration reference documents `collections:`.\n * The literal docevals', cite's and meta's config modules carry, repeated\n * because those modules are theirs.\n */\nconst CONFIG_REF =\n \"https://hawkeyexl.github.io/manni/meta/reference/configuration/\";\n\n/**\n * The keys proposal 0041 moved out of `graph:` and up to the family level.\n * Refused rather than aliased, as meta, cite and docevals refuse theirs: an\n * alias would be a second place to declare a document set that is meant to be\n * declared once. Checked before Ajv, which would call them unknown keys.\n */\nconst MOVED_KEYS = [\"inputs\", \"exclude\"] as const;\n\nexport const ALL_DERIVE_SOURCES: DeriveSource[] = [\n \"frontmatter\",\n \"sections\",\n \"links\",\n \"tags\",\n \"images\",\n \"code\",\n \"provenance\",\n];\n\n/** Default candidates for extensionless link targets (routes AND relative links). */\nexport const DEFAULT_LINK_EXTENSIONS = [\".md\", \".mdx\", \".markdown\"];\nexport const DEFAULT_INDEX_FILES = [\"index\", \"README\"];\n\n/** `/docs/` -> `/docs`; `/` or `` -> `` (site root). */\nfunction normalizeBasePath(basePath: string): string {\n let out = basePath.trim();\n if (!out.startsWith(\"/\")) out = `/${out}`;\n out = out.replace(/\\/+$/, \"\");\n return out;\n}\n\nconst ajv = new Ajv2020({ allErrors: true, allowUnionTypes: true });\nconst validateConfig = ajv.compile(configSchema);\n\n/** One `routes:` entry as the file spells it; only `root` is required. */\ninterface RawRouteMapping {\n basePath?: string;\n root: string;\n extensions?: string[];\n indexFiles?: string[];\n language?: string;\n}\n\n/**\n * The config file's own shape, in its own spelling.\n *\n * Ajv has already validated `raw` against `config-schema.json` by the time this\n * is used, so the optionality here is the schema's, not a guess. Declaring it is\n * what lets `parseConfigSection` read the file without an `any` — and an `any`\n * here would be the worst place for one, since every default in the tool flows\n * through this function. `RawDocevalsConfig` is the same declaration in the\n * evals tool.\n */\ninterface RawGraphConfig {\n provider?: string;\n model?: string;\n baseIri?: string;\n out?: string;\n routes?: RawRouteMapping[];\n build?: { derive?: DeriveSource[] };\n check?: { shapes?: string[] };\n provenance?: { qualified?: boolean };\n stats?: { coverageThreshold?: number | Record<string, number> };\n fill?: {\n temperature?: number;\n maxTurns?: number | null;\n cacheDir?: string;\n confidenceThreshold?: number;\n writeProvenance?: boolean;\n validateGraph?: boolean;\n fields?: FillField[];\n sections?: boolean;\n };\n embed?: {\n model?: string;\n dtype?: string;\n out?: string;\n cacheDir?: string;\n byLanguage?: Record<string, { model?: string; dtype?: string }>;\n };\n export?: {\n iirds?: { title?: string; creator?: string; version?: \"1.2\" | \"1.3\" };\n };\n}\n\n/**\n * One Ajv error, as a line a reader can act on.\n *\n * Ajv reports an unknown key against the *parent* object, so the bare message\n * (\"must NOT have additional properties\") leaves the reader to diff their file\n * against the schema to find which key it meant. Name it, as docevals does\n * (PR #10): the common case here is a key that was removed — `version:`,\n * `provenance.git:` and `fill.provider:` after proposal 0051 — and a message\n * that makes you guess is one people work around.\n *\n * The path is the one the user writes. Ajv validates the `graph:` section on its\n * own, so its `instancePath` starts inside it; `/graph` goes back on the front,\n * so a reader can find `/graph/fill` in `manni.config.yaml` without translating.\n */\nfunction configErrorLine(e: {\n instancePath: string;\n keyword: string;\n params: unknown;\n message?: string | undefined;\n}): string {\n const extra =\n e.keyword === \"additionalProperties\"\n ? (e.params as { additionalProperty?: string }).additionalProperty\n : undefined;\n const where = `/${CONFIG_SECTION}${e.instancePath}`;\n return extra === undefined\n ? ` ${where}: ${e.message ?? \"is invalid\"}`\n : ` ${where}: unknown key \"${extra}\"`;\n}\n\n/**\n * Normalize `stats.coverageThreshold` to a per-field map. Ajv has already\n * validated the input as a number, an object of known fields, or absent; a\n * uniform number expands across every measured field so the resolved shape is\n * always a map (default `{}`).\n */\nfunction resolveCoverageThreshold(\n raw: number | Record<string, number> | undefined,\n): Record<string, number> {\n if (raw == null) return {};\n if (typeof raw === \"number\")\n return Object.fromEntries(COVERAGE_FIELD_NAMES.map((f) => [f, raw]));\n return { ...raw };\n}\n\n/** What the file the section came from carries beside it. */\nexport interface ConfigFileContext {\n /** The file as the user would name it, for messages. */\n source: string;\n /** The file's top-level `collections:`. */\n collections: CollectionConfig[];\n /** The file's top-level `providers:`; `{}` when it declares none. */\n providers?: ProvidersConfig;\n}\n\n/**\n * Parse and validate config YAML text. A document with a `graph:` key is a family\n * file, so its top-level `collections:` is read too; anything else is the\n * tool's section on its own.\n */\nexport function parseConfig(text: string, configPath: string): GraphConfig {\n let raw: unknown;\n try {\n raw = parseYaml(text);\n } catch (e) {\n throw new GraphError(\n `Invalid YAML in ${configPath}: ${errorMessage(e)}`,\n );\n }\n if (raw == null) return parseConfigSection(null, configPath);\n if (typeof raw !== \"object\" || Array.isArray(raw)) {\n throw new GraphError(`Invalid config in ${configPath}: root must be an object`);\n }\n const doc = raw as Record<string, unknown>;\n const wrapped = Object.hasOwn(doc, CONFIG_SECTION);\n const toError = (message: string): Error => new GraphError(message);\n // The family keys, parsed as the shared loader parses them, so a config\n // built from text selects from the same collections, and the same\n // providers, a discovered file would.\n const collections = Object.hasOwn(doc, COLLECTIONS_KEY)\n ? parseCollections(doc[COLLECTIONS_KEY], configPath, toError)\n : [];\n const providers = Object.hasOwn(doc, PROVIDERS_KEY)\n ? parseProviders(\n doc[PROVIDERS_KEY],\n configPath,\n dirname(resolve(configPath)),\n toError,\n )\n : {};\n return parseConfigSection(wrapped ? doc[CONFIG_SECTION] : doc, configPath, {\n source: configPath,\n collections,\n providers,\n });\n}\n\n/**\n * Validate the tool's section. `raw` is what sat under `graph:` in a family\n * file, or the whole document of an explicit path with no wrapper key.\n * Messages name `configPath`; relative paths in the config resolve against its\n * directory. `file` carries the family keys; absent, the section is its own\n * source and declares no collections.\n *\n * `null` is an empty section, which is every default: a `graph:` key somebody\n * added while migrating and has not filled in yet is a config, not an error.\n */\nexport function parseConfigSection(\n raw: unknown,\n configPath: string,\n file: ConfigFileContext = { source: configPath, collections: [] },\n): GraphConfig {\n if (raw == null) raw = {};\n if (typeof raw !== \"object\" || Array.isArray(raw)) {\n throw new GraphError(\n `Invalid config in ${configPath}: root must be an object`,\n );\n }\n for (const key of MOVED_KEYS) {\n if (Object.hasOwn(raw as Record<string, unknown>, key)) {\n throw new GraphError(\n `${file.source}: \"${key}\" is no longer a graph key. Document sets are declared once for every tool, under a top-level collections: list. See ${CONFIG_REF}#${COLLECTIONS_KEY}`,\n );\n }\n }\n if (!validateConfig(raw)) {\n const details = (validateConfig.errors ?? [])\n .map((e) => configErrorLine(e))\n .join(\"\\n\");\n throw new GraphError(`Invalid config in ${configPath}:\\n${details}`);\n }\n\n // Past this point Ajv has validated `raw` against config-schema.json, so the\n // shape is known-good and reading fields off it is safe. The cast is to that\n // shape, spelled out once in `RawGraphConfig`, rather than to `any`: the file's\n // optionality is then the schema's and every default below is checked.\n const r = raw as RawGraphConfig;\n const abs = resolve(configPath);\n const dir = dirname(abs);\n\n // The name is checked here, with the message `manni meta fill` gives, so a\n // typo is caught by every verb and not only the one that reaches a model.\n // Whether a model has a provider to own it waits for the flags: a\n // `--provider`, or the family's `providers.provider`, can supply the\n // provider a configured model needs.\n const provider: string | null = r.provider ?? null;\n if (provider !== null) {\n assertKnownProvider(provider, (message) => new GraphError(message));\n }\n\n return {\n collections: file.collections,\n configSource: file.source,\n provider,\n model: r.model ?? null,\n providers: file.providers ?? {},\n baseIri: resolveBaseIri(r.baseIri),\n out: r.out ?? \"graph/graph.ttl\",\n routes: (r.routes ?? []).map((m) => ({\n basePath: normalizeBasePath(m.basePath ?? \"/\"),\n root: m.root\n .replace(/\\\\/g, \"/\")\n .replace(/^\\.\\//, \"\")\n .replace(/\\/+$/, \"\"),\n extensions: m.extensions ?? [...DEFAULT_LINK_EXTENSIONS],\n indexFiles: m.indexFiles ?? [...DEFAULT_INDEX_FILES],\n ...(m.language === undefined ? {} : { language: m.language }),\n })),\n build: {\n derive: r.build?.derive ?? [...ALL_DERIVE_SOURCES],\n },\n check: {\n // Empty means: use the shapes bundled with manni (see bundledShapesPath).\n shapes: r.check?.shapes ?? [],\n },\n provenance: {\n qualified: r.provenance?.qualified ?? true,\n },\n stats: {\n coverageThreshold: resolveCoverageThreshold(r.stats?.coverageThreshold),\n },\n fill: {\n temperature: r.fill?.temperature ?? 0,\n maxTurns: r.fill?.maxTurns ?? null,\n cacheDir: r.fill?.cacheDir ?? \".manni/graph/cache\",\n fields: r.fill?.fields ?? [...ALL_FILL_FIELDS],\n confidenceThreshold: r.fill?.confidenceThreshold ?? 0.7,\n writeProvenance: r.fill?.writeProvenance ?? true,\n validateGraph: r.fill?.validateGraph ?? true,\n sections: r.fill?.sections ?? false,\n },\n embed: {\n model: r.embed?.model ?? DEFAULT_EMBED_MODEL,\n dtype: r.embed?.dtype ?? \"q8\",\n out: r.embed?.out,\n cacheDir: r.embed?.cacheDir ?? \".manni/graph/embed-cache\",\n byLanguage: r.embed?.byLanguage ?? {},\n },\n export: {\n iirds: {\n title: r.export?.iirds?.title,\n creator: r.export?.iirds?.creator,\n version: r.export?.iirds?.version ?? \"1.3\",\n },\n },\n configPath: abs,\n configDir: dir,\n };\n}\n\nconst CONFIG_FILE: ConfigFileOptions = {\n section: CONFIG_SECTION,\n // The tool was `dockg` before it joined the family (proposal 0051 §7), but\n // it published no config file under that old name, so — like cite, a11y and\n // docevals — there is no pre-family filename to read (proposal 0051 §2).\n legacyNames: [],\n toError: (message) => new GraphError(message),\n};\n\n/**\n * Load config from an explicit path, or discover the family file from the\n * working directory upward (`src/shared/config-file.ts`: `manni.config.yaml`\n * read at its `graph:` key). With no config file present, built-in defaults\n * apply.\n */\nexport function loadConfig(path?: string, cwd = process.cwd()): GraphConfig {\n const file = path\n ? readConfigFileSync(path, cwd, CONFIG_FILE)\n : findConfigFileSync(cwd, CONFIG_FILE);\n if (file === null) return defaultConfig(cwd);\n return parseConfigSection(file.value, file.path, {\n source: file.source,\n collections: file.collections,\n ...(file.providers === undefined ? {} : { providers: file.providers }),\n });\n}\n\n/**\n * Every built-in default, with no file behind it: what a run gets when\n * discovery finds nothing, or under `--no-config`. It declares no collections,\n * so such a run reads only the paths it was given.\n */\nexport function defaultConfig(cwd = process.cwd()): GraphConfig {\n return {\n ...parseConfigSection(null, resolve(cwd, DEFAULT_CONFIG_FILENAME)),\n configSource: null,\n };\n}\n\nexport interface RunConfigOptions {\n /** `-c/--config`. */\n configPath?: string;\n /** `--no-config`: skip discovery and run on the built-in defaults. */\n noConfig?: boolean;\n /** Positional paths; checked here only for how they combine with `collection`. */\n paths?: string[];\n /** `--collection <name>`, repeatable. */\n collection?: string[];\n}\n\n/**\n * The config a command runs under. `--collection` names something only a\n * config can define and selects a set the operator did not type, so pairing it\n * with paths is refused before discovery, and the message is about the flags\n * rather than about whatever the walk found.\n */\nexport function loadRunConfig(\n opts: RunConfigOptions,\n cwd = process.cwd(),\n): GraphConfig {\n assertCollectionWithoutPaths(opts.collection, opts.paths);\n return opts.noConfig ? defaultConfig(cwd) : loadConfig(opts.configPath, cwd);\n}\n\n/** The message meta, cite and docevals give, in graph's error class. */\nexport function assertCollectionWithoutPaths(\n collection: readonly string[] | undefined,\n paths: readonly string[] | undefined,\n): void {\n if ((collection ?? []).length > 0 && (paths ?? []).length > 0) {\n throw new GraphError(\n \"--collection selects a configured collection; it cannot be combined with paths.\",\n );\n }\n}\n","{\n \"$schema\": \"https://json-schema.org/draft/2020-12/schema\",\n \"$id\": \"manni:graph:config\",\n \"title\": \"manni graph configuration\",\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"properties\": {\n \"provider\": {\n \"type\": \"string\",\n \"minLength\": 1,\n \"description\": \"Which provider `manni graph fill` sends pages to: auto | anthropic | openai | claude-cli | llama-cpp. Unset, the family's top-level providers.provider decides, then auto, detected exactly as manni meta fill detects: an Anthropic key, then an OpenAI key, then the Claude CLI, then a local model. --provider wins over it, and --local overrides both. Connection settings live in the family's top-level providers: map.\"\n },\n \"model\": {\n \"type\": \"string\",\n \"minLength\": 1,\n \"description\": \"The model, within the provider named beside it. A model is carried only to the provider its own level names: a differing --provider or providers.provider takes its own default instead. With no provider here, it goes to whichever provider is in force, which must not be auto, because a model name does not say which provider owns it. Unset (the default) takes the provider's default model from the inference library; manni pins none. --model wins over it. This is not `embed.model`, which is a local embedding model id.\"\n },\n \"baseIri\": {\n \"type\": \"string\",\n \"minLength\": 1\n },\n \"out\": {\n \"type\": \"string\",\n \"minLength\": 1\n },\n \"routes\": {\n \"type\": \"array\",\n \"items\": {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"required\": [\"root\"],\n \"properties\": {\n \"basePath\": {\n \"type\": \"string\"\n },\n \"root\": {\n \"type\": \"string\"\n },\n \"extensions\": {\n \"type\": \"array\",\n \"items\": {\n \"type\": \"string\",\n \"pattern\": \"^\\\\.\"\n }\n },\n \"language\": {\n \"type\": \"string\",\n \"pattern\": \"^[A-Za-z]{2,3}(-[A-Za-z]{4})?(-([A-Za-z]{2}|[0-9]{3}))?(-([A-Za-z0-9]{5,8}|[0-9][A-Za-z0-9]{3}))*$\"\n },\n \"indexFiles\": {\n \"type\": \"array\",\n \"items\": {\n \"type\": \"string\",\n \"minLength\": 1\n }\n }\n }\n }\n },\n \"build\": {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"properties\": {\n \"derive\": {\n \"type\": \"array\",\n \"uniqueItems\": true,\n \"items\": {\n \"enum\": [\n \"frontmatter\",\n \"sections\",\n \"links\",\n \"tags\",\n \"images\",\n \"code\",\n \"provenance\"\n ]\n }\n }\n }\n },\n \"check\": {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"properties\": {\n \"shapes\": {\n \"type\": \"array\",\n \"items\": {\n \"type\": \"string\",\n \"minLength\": 1\n }\n }\n }\n },\n \"provenance\": {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"properties\": {\n \"qualified\": {\n \"type\": \"boolean\"\n }\n }\n },\n \"stats\": {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"properties\": {\n \"coverageThreshold\": {\n \"anyOf\": [\n {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"properties\": {\n \"title\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n \"description\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n \"creator\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n \"created\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n \"modified\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n \"subject\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n \"label\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n \"language\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n \"type\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n \"applies-to\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n \"about-product-lifecycle\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n },\n \"about-product-aspect\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 100\n }\n }\n }\n ]\n }\n }\n },\n \"fill\": {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"properties\": {\n \"temperature\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 2\n },\n \"maxTurns\": {\n \"type\": [\"integer\", \"null\"],\n \"minimum\": 1,\n \"description\": \"Stop after this many inference calls. One page is one turn, and a cached proposal spends none. Null (the default) is unbounded. Replaces the maxCostUsd ceiling, which read as zero for every model outside the library's price table — see graph ADR 01027 and docevals ADR 01019.\"\n },\n \"cacheDir\": {\n \"type\": \"string\",\n \"minLength\": 1\n },\n \"confidenceThreshold\": {\n \"type\": \"number\",\n \"minimum\": 0,\n \"maximum\": 1,\n \"description\": \"Minimum model self-confidence (0..1) to write a proposed field; below it the field is reported and not written. Default 0.7. `--confidence` wins over it.\"\n },\n \"writeProvenance\": {\n \"type\": \"boolean\"\n },\n \"validateGraph\": {\n \"type\": \"boolean\"\n },\n \"fields\": {\n \"type\": \"array\",\n \"uniqueItems\": true,\n \"items\": {\n \"enum\": [\n \"label\",\n \"alt-labels\",\n \"broader\",\n \"narrower\",\n \"related-concepts\",\n \"concepts\",\n \"type\",\n \"applies-to\",\n \"about-product-lifecycle\",\n \"about-product-aspect\",\n \"not-applicable-to\",\n \"not-about-product-aspect\"\n ]\n }\n },\n \"sections\": {\n \"type\": \"boolean\"\n }\n }\n },\n \"embed\": {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"properties\": {\n \"model\": {\n \"type\": \"string\",\n \"minLength\": 1\n },\n \"dtype\": {\n \"type\": \"string\",\n \"minLength\": 1\n },\n \"out\": {\n \"type\": \"string\",\n \"minLength\": 1\n },\n \"cacheDir\": {\n \"type\": \"string\",\n \"minLength\": 1\n },\n \"byLanguage\": {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"patternProperties\": {\n \"^[A-Za-z]{2,3}(-[A-Za-z]{4})?(-([A-Za-z]{2}|[0-9]{3}))?(-([A-Za-z0-9]{5,8}|[0-9][A-Za-z0-9]{3}))*$\": {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"properties\": {\n \"model\": {\n \"type\": \"string\",\n \"minLength\": 1\n },\n \"dtype\": {\n \"type\": \"string\",\n \"minLength\": 1\n }\n }\n }\n }\n }\n }\n },\n \"export\": {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"properties\": {\n \"iirds\": {\n \"type\": \"object\",\n \"additionalProperties\": false,\n \"properties\": {\n \"title\": {\n \"type\": \"string\",\n \"minLength\": 1\n },\n \"creator\": {\n \"type\": \"string\",\n \"minLength\": 1\n },\n \"version\": {\n \"enum\": [\"1.2\", \"1.3\"]\n }\n }\n }\n }\n }\n }\n}\n","/**\n * Namespace table. Standard vocabularies wherever a term exists; the custom\n * `graph:` namespace stays minimal, and the newest vocabulary document under\n * `ns/` defines every term it holds — a bidirectional drift guard in\n * test/graph/unit/vocabulary.test.ts enforces both directions. Neither the term\n * count nor the version is written here: both went stale the first time a term\n * was added, and the guard resolves the file rather than naming it. The prefix\n * set is fixed — every emitted graph carries the same header.\n *\n * The custom prefix is `graph:` and its namespace is the manni site's, which is\n * where it dereferences (proposal 0051 §7). Both were `dockg` until the tool\n * joined the family, and graph ADR 01030's rule — the namespace IRI must resolve\n * — is why they moved rather than staying: `hawkeyexl.github.io/dockg` never\n * served anything and never will.\n *\n * The block an author writes on a page is `graph:`, and the prefix is `graph:`\n * too. The spelling is shared but the things differ: the key names frontmatter,\n * the prefix abbreviates an IRI in emitted RDF, and the prefix carries the\n * tool's name because `…/manni/graph/ns#` is the tool's namespace. Nothing\n * collides: no other prefix in this table is `graph`, and a `graph:` CURIE typed\n * at `--predicates` or `--subject` expanded to nothing before.\n */\nexport const NS = {\n dcterms: \"http://purl.org/dc/terms/\",\n foaf: \"http://xmlns.com/foaf/0.1/\",\n graph: \"https://hawkeyexl.github.io/manni/graph/ns#\",\n iirds: \"http://iirds.tekom.de/iirds#\",\n iirdsSft: \"http://iirds.tekom.de/iirds/domain/software#\",\n prov: \"http://www.w3.org/ns/prov#\",\n rdf: \"http://www.w3.org/1999/02/22-rdf-syntax-ns#\",\n schema: \"https://schema.org/\",\n skos: \"http://www.w3.org/2004/02/skos/core#\",\n xsd: \"http://www.w3.org/2001/XMLSchema#\",\n} as const;\n\nexport type Prefix = keyof typeof NS;\n\n/** Prefixes in emission order (sorted by prefix name). */\nexport const PREFIXES: ReadonlyArray<[Prefix, string]> = (\n Object.entries(NS) as Array<[Prefix, string]>\n).sort(([a], [b]) => (a < b ? -1 : 1));\n\nexport const RDF_TYPE = `${NS.rdf}type`;\n\n/**\n * Role individuals for qualified provenance (prov:hadRole objects). Part of\n * the deliberately small graph vocabulary.\n */\nexport const ROLE = {\n author: `${NS.graph}authorRole`,\n generator: `${NS.graph}generatorRole`,\n tool: `${NS.graph}toolRole`,\n} as const;\n","/**\n * iiRDS Core + Software-domain term IRIs and the frontmatter-value → IRI maps\n * (ADR 01012). Every IRI here is byte-verified against the published\n * `iirds-core.rdf` / `iirds-software.rdf` in iirds-consortium/models. dockg\n * references these IRIs; it never redefines or re-types them (iiRDS is\n * CC BY-ND). This is the single source of truth shared by the schema\n * (via the schema-sync drift guard), derive, and shapes.\n */\nimport { NS } from \"./vocab.js\";\n\n/** Predicates (Core). */\nexport const IIRDS_HAS_TOPIC_TYPE = `${NS.iirds}has-topic-type`;\nexport const IIRDS_RELATES_TO_PRODUCT_VARIANT = `${NS.iirds}relates-to-product-variant`;\nexport const IIRDS_RELATES_TO_LIFECYCLE_PHASE = `${NS.iirds}relates-to-product-lifecycle-phase`;\nexport const IIRDS_HAS_SUBJECT = `${NS.iirds}has-subject`;\n\n/** Class minted for `graph.applies-to` nodes. */\nexport const IIRDS_PRODUCT_VARIANT = `${NS.iirds}ProductVariant`;\n\n/**\n * Package-serialization terms (iiRDS package export, ADR 01017). Local names\n * byte-verified against the canonical RDF/XML example in the published spec\n * (`sections/structure/serialization.md`). Used only by the package projection —\n * never emitted into the built graph. IUs are typed `iirds:Topic` (the subclass\n * that carries `has-topic-type`/`has-subject`), one of the valid IU subclasses.\n */\nexport const IIRDS_PACKAGE = `${NS.iirds}Package`;\nexport const IIRDS_IIRDS_VERSION = `${NS.iirds}iiRDSVersion`;\nexport const IIRDS_TOPIC = `${NS.iirds}Topic`;\nexport const IIRDS_IS_PART_OF_PACKAGE = `${NS.iirds}is-part-of-package`;\nexport const IIRDS_HAS_RENDITION = `${NS.iirds}has-rendition`;\nexport const IIRDS_RENDITION = `${NS.iirds}Rendition`;\nexport const IIRDS_SOURCE = `${NS.iirds}source`;\nexport const IIRDS_FORMAT = `${NS.iirds}format`;\nexport const IIRDS_TITLE = `${NS.iirds}title`;\nexport const IIRDS_LANGUAGE = `${NS.iirds}language`;\nexport const IIRDS_PARTY = `${NS.iirds}Party`;\nexport const IIRDS_HAS_PARTY_ROLE = `${NS.iirds}has-party-role`;\nexport const IIRDS_CREATOR = `${NS.iirds}Creator`;\nexport const IIRDS_RELATES_TO_PARTY = `${NS.iirds}relates-to-party`;\nexport const IIRDS_RELATES_TO_VCARD = `${NS.iirds}relates-to-vcard`;\n\n/** vcard namespace — package-local (not in the global NS/PREFIXES table). */\nexport const VCARD_NS = \"http://www.w3.org/2006/vcard/ns#\";\nexport const VCARD_ORGANIZATION = `${VCARD_NS}Organization`;\nexport const VCARD_ORGANIZATION_NAME = `${VCARD_NS}organization-name`;\n\n/**\n * Negative-scope predicates (ADR 01014). Minted into `graph:` — no standard\n * term exists, and OWL negative property assertions require blank nodes. Each\n * mirrors, and is SHACL-disjoint from, its positive counterpart above.\n */\nexport const GRAPH_NOT_APPLICABLE_TO_VARIANT = `${NS.graph}notApplicableToVariant`;\nexport const GRAPH_NOT_SOFTWARE_SUBJECT = `${NS.graph}notSoftwareSubject`;\n\n/**\n * Page-level `type` → `graph.type` (ADR 01024). The page's `type` is an open\n * vocabulary (docmeta:core); `graph.type` is the closed iiRDS enum. When the block\n * is silent, the page's value derives one through this map — an unmapped page\n * type derives nothing rather than inventing a topic type. An explicit\n * `graph.type` always wins: deeper wins, the page level is the fallback.\n */\nexport const PAGE_TYPE_TO_TOPIC_TYPE: Readonly<Record<string, string>> = {\n \"how-to\": \"task\",\n tutorial: \"learning\",\n explanation: \"concept\",\n reference: \"reference\",\n troubleshooting: \"troubleshooting\",\n};\n\n/** `graph.type` value → `iirds:has-topic-type` object IRI. */\nexport const TOPIC_TYPE_IRIS: Readonly<Record<string, string>> = {\n task: `${NS.iirds}GenericTask`,\n concept: `${NS.iirds}GenericConcept`,\n reference: `${NS.iirds}GenericReference`,\n learning: `${NS.iirds}GenericLearning`,\n troubleshooting: `${NS.iirds}GenericTroubleshooting`,\n form: `${NS.iirds}GenericForm`,\n};\n\n/**\n * `graph.about-product-lifecycle` value → `iirds:relates-to-product-lifecycle-phase`\n * object IRI (Software domain: iirds:Use/PuttingToUse/AfterUse instances).\n */\nexport const SOFTWARE_LIFECYCLE_IRIS: Readonly<Record<string, string>> = {\n administration: `${NS.iirdsSft}Administration`,\n customization: `${NS.iirdsSft}Customization`,\n update: `${NS.iirdsSft}Update`,\n deployment: `${NS.iirdsSft}Deployment`,\n integration: `${NS.iirdsSft}Integration`,\n deinstallation: `${NS.iirdsSft}Deinstallation`,\n};\n\n/**\n * `graph.about-product-aspect` value → `iirds:has-subject` object IRI (Software domain:\n * iirds:TechnicalOverview/TechnicalData instances).\n */\nexport const SOFTWARE_SUBJECT_IRIS: Readonly<Record<string, string>> = {\n architecture: `${NS.iirdsSft}Architecture`,\n interface: `${NS.iirdsSft}Interface`,\n \"system-requirement\": `${NS.iirdsSft}SystemRequirement`,\n};\n","/**\n * Metadata coverage fields (ADR 01011). Coverage answers the ADR 01008\n * question — what can a graph-side consumer see — by counting `graph:Document`\n * nodes that carry each predicate. The list is fixed and deliberate: a\n * predicate absent from every document still shows as 0%, which a dynamic\n * census could not surface. It is shared between the config parser (which\n * expands a uniform threshold across every field) and `manni graph stats` (which\n * reports and gates), and pinned by test/unit/schema-sync.ts against the\n * config schema so it cannot silently drift.\n */\nimport { NS } from \"./vocab.js\";\nimport {\n IIRDS_HAS_SUBJECT,\n IIRDS_HAS_TOPIC_TYPE,\n IIRDS_RELATES_TO_LIFECYCLE_PHASE,\n IIRDS_RELATES_TO_PRODUCT_VARIANT,\n} from \"./iirds.js\";\n\nexport interface CoverageField {\n /** Config/report key. */\n field: string;\n /** Full predicate IRI counted against `graph:Document` subjects. */\n iri: string;\n}\n\n/**\n * Report order is this array's order. Only the IRI is stored; the compact form\n * shown in the report is derived from it with `compactIri`, so there is one\n * source of truth for the namespace.\n */\nexport const COVERAGE_FIELDS: readonly CoverageField[] = [\n { field: \"title\", iri: `${NS.dcterms}title` },\n { field: \"description\", iri: `${NS.dcterms}description` },\n { field: \"creator\", iri: `${NS.dcterms}creator` },\n { field: \"created\", iri: `${NS.dcterms}created` },\n { field: \"modified\", iri: `${NS.dcterms}modified` },\n { field: \"subject\", iri: `${NS.dcterms}subject` },\n { field: \"label\", iri: `${NS.foaf}primaryTopic` },\n // Dropped by ADR 01011 as \"near-universally 0% noise\", which was true on the\n // monolingual corpora it was measured against and false the moment language\n // means something. Restored by ADR 01037, which made it a scope dimension:\n // an unlabelled document in a translated corpus cannot be filtered, indexed\n // per locale, or counted against the right audience.\n { field: \"language\", iri: `${NS.dcterms}language` },\n // The iiRDS typing added in Phases 2–4. Coverage predates all of it, so the\n // measure of \"what a graph-side consumer can see\" was silent about the\n // vocabulary the project spent four phases adding (ADR 01029).\n { field: \"type\", iri: IIRDS_HAS_TOPIC_TYPE },\n { field: \"applies-to\", iri: IIRDS_RELATES_TO_PRODUCT_VARIANT },\n {\n field: \"about-product-lifecycle\",\n iri: IIRDS_RELATES_TO_LIFECYCLE_PHASE,\n },\n { field: \"about-product-aspect\", iri: IIRDS_HAS_SUBJECT },\n];\n\n/**\n * Section-level coverage: the fields a `graph.sections` block can attach\n * (ADR 01013), measured over `graph:Section` nodes.\n *\n * Sections are explicit-only — a section gets exactly what its own block\n * declares and nothing from its document — so these numbers are low by\n * construction on most corpora. That is the point: the granularity golden rule\n * says content granularity must match node granularity, and this is the number\n * that says whether it does.\n *\n * `label` is absent deliberately: ADR 01013 rejected `prefLabel` at section\n * level as meaningless, so it cannot be missing.\n */\n/** Section-attachable field NAMES; the IRIs come from COVERAGE_FIELDS, so a\n * namespace revision cannot move one table and not the other. */\nconst SECTION_FIELD_NAMES: readonly string[] = [\n \"type\",\n \"applies-to\",\n \"about-product-lifecycle\",\n \"about-product-aspect\",\n \"subject\",\n];\n\nexport const SECTION_COVERAGE_FIELDS: readonly CoverageField[] =\n SECTION_FIELD_NAMES.map((name) => {\n const field = COVERAGE_FIELDS.find((f) => f.field === name);\n /* c8 ignore next 3 -- unreachable while the two lists agree, which the\n drift guard in test/unit/schema-sync.test.ts keeps true. */\n if (field === undefined) {\n throw new Error(\n `SECTION_FIELD_NAMES names ${name}, which COVERAGE_FIELDS does not define`,\n );\n }\n return field;\n });\n\n/** The measured field names, in report order. */\nexport const COVERAGE_FIELD_NAMES: readonly string[] = COVERAGE_FIELDS.map(\n (f) => f.field,\n);\n\n/**\n * The two negative predicates (ADR 01014) are deliberately not measured.\n *\n * Coverage answers \"what can a consumer see that the author lifted\". A document\n * with no `not-applicable-to` is not under-annotated — under open-world\n * semantics its absence means *unknown*, which is the normal and correct state\n * for almost every document. Counting it as a gap would put every healthy\n * corpus permanently near zero on two rows and teach readers to ignore the\n * table.\n */\nexport const UNMEASURED_BY_DESIGN: readonly string[] = [\n \"not-applicable-to\",\n \"not-about-product-aspect\",\n];\n","/**\n * The embedder seam (ADR 01020). Platform-neutral and dependency-free, so the\n * runtime and the CLI can both speak it without either pulling in a model.\n *\n * Everything that computes embeddings — the local transformers.js embedder, the\n * deterministic mock, or a host's own — implements `Embedder`.\n */\n\nexport interface Embedder {\n /** Stable identity of the model; recorded in the sidecar header. */\n readonly model: string;\n /** Weight quantization the vectors were produced under. */\n readonly dtype: string;\n /** Output dimensions. Never assumed by callers — always read from here. */\n readonly dims: number;\n /**\n * Embed one text. Single-text rather than batched **on purpose**: float\n * addition is not associative, so a batched vector depends on what it was\n * batched with, and adding one document would perturb its neighbours' vectors\n * (ADR 01020). Determinism is worth more here than throughput.\n */\n embed(text: string): Promise<Float32Array>;\n}\n\n/**\n * A model's quirks, applied on both the build and query sides so a user cannot\n * get them wrong. Some models require a prefix on queries and/or passages and\n * degrade *silently* without it.\n */\nexport interface ModelProfile {\n /** Hugging Face repo id. */\n id: string;\n /** Prepended when embedding a search query. */\n queryPrefix?: string;\n /** Prepended when embedding indexed content. */\n passagePrefix?: string;\n /** Human note surfaced in docs and `--help`. */\n note?: string;\n}\n\n/** What a text is being embedded *for* — decides which prefix applies. */\nexport type EmbedRole = \"query\" | \"passage\";\n\n/**\n * Models dockg has been tested against. This is the *tested* set, not the\n * permitted set: `embed.model` accepts any id, and an unknown one is used\n * as-is with no prefixes.\n */\n/**\n * The default, named rather than found at index 0: `DEFAULT_MODEL` below then\n * reads it directly instead of asserting that the list has a first element.\n */\nconst DEFAULT_PROFILE: ModelProfile = {\n id: \"onnx-community/granite-embedding-small-english-r2-ONNX\",\n note: \"Default. 384-d, 8192-token context so sections are never truncated; no prefixes.\",\n};\n\nexport const MODEL_PROFILES: readonly ModelProfile[] = [\n DEFAULT_PROFILE,\n {\n id: \"Xenova/gte-small\",\n note: \"Lighter (~34 MB). 384-d, 512-token context; no prefixes.\",\n },\n {\n id: \"Xenova/bge-small-en-v1.5\",\n queryPrefix: \"Represent this sentence for searching relevant passages: \",\n note: \"384-d. Needs a query prefix — applied automatically here, since omitting it degrades retrieval silently.\",\n },\n {\n id: \"Xenova/all-MiniLM-L6-v2\",\n note: \"Smallest (~23 MB) but truncates at 256 wordpieces (~190 words), so long sections lose their tail.\",\n },\n];\n\nexport const DEFAULT_MODEL = DEFAULT_PROFILE.id;\n\n/** The profile for a model id, or a bare profile when it is not a tested one. */\nexport function profileFor(id: string): ModelProfile {\n return MODEL_PROFILES.find((p) => p.id === id) ?? { id };\n}\n\n/** Apply the model's prefix convention for the role, if it has one. */\nexport function withPrefix(\n profile: ModelProfile,\n role: EmbedRole,\n text: string,\n): string {\n const prefix = role === \"query\" ? profile.queryPrefix : profile.passagePrefix;\n return prefix ? `${prefix}${text}` : text;\n}\n","/**\n * The ordering primitive behind the determinism contract. Every sort that\n * reaches output — the file list, emitted subjects/predicates/objects, query\n * results — must go through this comparator so ordering never depends on\n * locale, ICU version, or platform, the way `String.prototype.localeCompare`\n * and `Array.prototype.sort`'s default string coercion do.\n */\n\n/** Locale-independent code-unit comparison for stable sorting. */\nexport function byCodeUnit(a: string, b: string): number {\n return a < b ? -1 : a > b ? 1 : 0;\n}\n"],"mappings":";;;;;;;;;;;;;;;AAKO,IAAM,aAAN,cAAyB,UAAU;AAAA,EACxC,YAAY,SAAiB;AAC3B,UAAM,OAAO;AACb,SAAK,OAAO;AAAA,EACd;AACF;;;ACLA,SAAS,QAAQ,kBAAkB;AAG5B,IAAM,mBAAmB;AAGzB,SAAS,eAAe,MAAkC;AAC/D,MAAI,CAAC,KAAM,QAAO;AAClB,MAAI,KAAK,SAAS,GAAG,KAAK,KAAK,SAAS,GAAG,EAAG,QAAO;AACrD,SAAO,GAAG,IAAI;AAChB;AAGO,SAAS,iBAAiB,GAAmB;AAClD,MAAI,MAAM,EAAE,QAAQ,OAAO,GAAG;AAC9B,SAAO,IAAI,WAAW,IAAI,EAAG,OAAM,IAAI,MAAM,CAAC;AAC9C,SAAO;AACT;AAGO,SAAS,cAAc,SAAyB;AACrD,SAAO,mBAAmB,OAAO,EAAE;AAAA,IACjC;AAAA,IACA,CAAC,MAAM,IAAI,EAAE,WAAW,CAAC,EAAE,SAAS,EAAE,EAAE,YAAY,CAAC;AAAA,EACvD;AACF;AAOO,IAAM,aAAa;AAMnB,SAAS,WAAW,MAAc,SAAyB;AAChE,MAAI,YAAY,WAAY,QAAO,GAAG,IAAI;AAC1C,QAAM,OAAO,iBAAiB,OAAO,EAClC,MAAM,GAAG,EACT,IAAI,aAAa,EACjB,KAAK,GAAG;AACX,SAAO,GAAG,IAAI,OAAO,IAAI;AAC3B;AAGO,SAAS,eAAe,QAAgB,WAA2B;AACxE,SAAO,GAAG,MAAM,IAAI,SAAS;AAC/B;AAGO,SAAS,YAAY,OAAuB;AACjD,SAAO,WAAW,KAAK;AACzB;AAGO,SAAS,eAAe,MAAc,OAAuB;AAClE,SAAO,GAAG,IAAI,WAAW,cAAc,YAAY,KAAK,CAAC,CAAC;AAC5D;AAOO,SAAS,eAAe,MAAc,OAAuB;AAClE,SAAO,GAAG,IAAI,WAAW,cAAc,YAAY,KAAK,CAAC,CAAC;AAC5D;AAGO,SAAS,cAAc,MAAsB;AAClD,SAAO,GAAG,IAAI;AAChB;AAUO,SAAS,aACd,MACA,MACA,MACQ;AACR,SAAO,GAAG,IAAI,SAAS,IAAI,IAAI,cAAc,YAAY,IAAI,CAAC,CAAC;AACjE;AAGO,SAAS,aAAa,MAAsB;AACjD,SAAO,GAAG,IAAI;AAChB;AAGO,SAAS,qBAAqB,MAAsB;AACzD,SAAO,GAAG,IAAI;AAChB;;;ACnGA,SAAS,SAAS,eAAe;AACjC,SAAS,SAAS,iBAAiB;AACnC,SAAS,eAAe;;;ACRxB;AAAA,EACE,SAAW;AAAA,EACX,KAAO;AAAA,EACP,OAAS;AAAA,EACT,MAAQ;AAAA,EACR,sBAAwB;AAAA,EACxB,YAAc;AAAA,IACZ,UAAY;AAAA,MACV,MAAQ;AAAA,MACR,WAAa;AAAA,MACb,aAAe;AAAA,IACjB;AAAA,IACA,OAAS;AAAA,MACP,MAAQ;AAAA,MACR,WAAa;AAAA,MACb,aAAe;AAAA,IACjB;AAAA,IACA,SAAW;AAAA,MACT,MAAQ;AAAA,MACR,WAAa;AAAA,IACf;AAAA,IACA,KAAO;AAAA,MACL,MAAQ;AAAA,MACR,WAAa;AAAA,IACf;AAAA,IACA,QAAU;AAAA,MACR,MAAQ;AAAA,MACR,OAAS;AAAA,QACP,MAAQ;AAAA,QACR,sBAAwB;AAAA,QACxB,UAAY,CAAC,MAAM;AAAA,QACnB,YAAc;AAAA,UACZ,UAAY;AAAA,YACV,MAAQ;AAAA,UACV;AAAA,UACA,MAAQ;AAAA,YACN,MAAQ;AAAA,UACV;AAAA,UACA,YAAc;AAAA,YACZ,MAAQ;AAAA,YACR,OAAS;AAAA,cACP,MAAQ;AAAA,cACR,SAAW;AAAA,YACb;AAAA,UACF;AAAA,UACA,UAAY;AAAA,YACV,MAAQ;AAAA,YACR,SAAW;AAAA,UACb;AAAA,UACA,YAAc;AAAA,YACZ,MAAQ;AAAA,YACR,OAAS;AAAA,cACP,MAAQ;AAAA,cACR,WAAa;AAAA,YACf;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,IACA,OAAS;AAAA,MACP,MAAQ;AAAA,MACR,sBAAwB;AAAA,MACxB,YAAc;AAAA,QACZ,QAAU;AAAA,UACR,MAAQ;AAAA,UACR,aAAe;AAAA,UACf,OAAS;AAAA,YACP,MAAQ;AAAA,cACN;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,IACA,OAAS;AAAA,MACP,MAAQ;AAAA,MACR,sBAAwB;AAAA,MACxB,YAAc;AAAA,QACZ,QAAU;AAAA,UACR,MAAQ;AAAA,UACR,OAAS;AAAA,YACP,MAAQ;AAAA,YACR,WAAa;AAAA,UACf;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,IACA,YAAc;AAAA,MACZ,MAAQ;AAAA,MACR,sBAAwB;AAAA,MACxB,YAAc;AAAA,QACZ,WAAa;AAAA,UACX,MAAQ;AAAA,QACV;AAAA,MACF;AAAA,IACF;AAAA,IACA,OAAS;AAAA,MACP,MAAQ;AAAA,MACR,sBAAwB;AAAA,MACxB,YAAc;AAAA,QACZ,mBAAqB;AAAA,UACnB,OAAS;AAAA,YACP;AAAA,cACE,MAAQ;AAAA,cACR,SAAW;AAAA,cACX,SAAW;AAAA,YACb;AAAA,YACA;AAAA,cACE,MAAQ;AAAA,cACR,sBAAwB;AAAA,cACxB,YAAc;AAAA,gBACZ,OAAS;AAAA,kBACP,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,gBACA,aAAe;AAAA,kBACb,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,gBACA,SAAW;AAAA,kBACT,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,gBACA,SAAW;AAAA,kBACT,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,gBACA,UAAY;AAAA,kBACV,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,gBACA,SAAW;AAAA,kBACT,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,gBACA,OAAS;AAAA,kBACP,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,gBACA,UAAY;AAAA,kBACV,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,gBACA,MAAQ;AAAA,kBACN,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,gBACA,cAAc;AAAA,kBACZ,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,gBACA,2BAA2B;AAAA,kBACzB,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,gBACA,wBAAwB;AAAA,kBACtB,MAAQ;AAAA,kBACR,SAAW;AAAA,kBACX,SAAW;AAAA,gBACb;AAAA,cACF;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,IACA,MAAQ;AAAA,MACN,MAAQ;AAAA,MACR,sBAAwB;AAAA,MACxB,YAAc;AAAA,QACZ,aAAe;AAAA,UACb,MAAQ;AAAA,UACR,SAAW;AAAA,UACX,SAAW;AAAA,QACb;AAAA,QACA,UAAY;AAAA,UACV,MAAQ,CAAC,WAAW,MAAM;AAAA,UAC1B,SAAW;AAAA,UACX,aAAe;AAAA,QACjB;AAAA,QACA,UAAY;AAAA,UACV,MAAQ;AAAA,UACR,WAAa;AAAA,QACf;AAAA,QACA,qBAAuB;AAAA,UACrB,MAAQ;AAAA,UACR,SAAW;AAAA,UACX,SAAW;AAAA,UACX,aAAe;AAAA,QACjB;AAAA,QACA,iBAAmB;AAAA,UACjB,MAAQ;AAAA,QACV;AAAA,QACA,eAAiB;AAAA,UACf,MAAQ;AAAA,QACV;AAAA,QACA,QAAU;AAAA,UACR,MAAQ;AAAA,UACR,aAAe;AAAA,UACf,OAAS;AAAA,YACP,MAAQ;AAAA,cACN;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAAA,QACA,UAAY;AAAA,UACV,MAAQ;AAAA,QACV;AAAA,MACF;AAAA,IACF;AAAA,IACA,OAAS;AAAA,MACP,MAAQ;AAAA,MACR,sBAAwB;AAAA,MACxB,YAAc;AAAA,QACZ,OAAS;AAAA,UACP,MAAQ;AAAA,UACR,WAAa;AAAA,QACf;AAAA,QACA,OAAS;AAAA,UACP,MAAQ;AAAA,UACR,WAAa;AAAA,QACf;AAAA,QACA,KAAO;AAAA,UACL,MAAQ;AAAA,UACR,WAAa;AAAA,QACf;AAAA,QACA,UAAY;AAAA,UACV,MAAQ;AAAA,UACR,WAAa;AAAA,QACf;AAAA,QACA,YAAc;AAAA,UACZ,MAAQ;AAAA,UACR,sBAAwB;AAAA,UACxB,mBAAqB;AAAA,YACnB,sGAAsG;AAAA,cACpG,MAAQ;AAAA,cACR,sBAAwB;AAAA,cACxB,YAAc;AAAA,gBACZ,OAAS;AAAA,kBACP,MAAQ;AAAA,kBACR,WAAa;AAAA,gBACf;AAAA,gBACA,OAAS;AAAA,kBACP,MAAQ;AAAA,kBACR,WAAa;AAAA,gBACf;AAAA,cACF;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,IACA,QAAU;AAAA,MACR,MAAQ;AAAA,MACR,sBAAwB;AAAA,MACxB,YAAc;AAAA,QACZ,OAAS;AAAA,UACP,MAAQ;AAAA,UACR,sBAAwB;AAAA,UACxB,YAAc;AAAA,YACZ,OAAS;AAAA,cACP,MAAQ;AAAA,cACR,WAAa;AAAA,YACf;AAAA,YACA,SAAW;AAAA,cACT,MAAQ;AAAA,cACR,WAAa;AAAA,YACf;AAAA,YACA,SAAW;AAAA,cACT,MAAQ,CAAC,OAAO,KAAK;AAAA,YACvB;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,EACF;AACF;;;AC1RO,IAAM,KAAK;AAAA,EAChB,SAAS;AAAA,EACT,MAAM;AAAA,EACN,OAAO;AAAA,EACP,OAAO;AAAA,EACP,UAAU;AAAA,EACV,MAAM;AAAA,EACN,KAAK;AAAA,EACL,QAAQ;AAAA,EACR,MAAM;AAAA,EACN,KAAK;AACP;AAKO,IAAM,WACX,OAAO,QAAQ,EAAE,EACjB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAO,IAAI,IAAI,KAAK,CAAE;AAE9B,IAAM,WAAW,GAAG,GAAG,GAAG;AAM1B,IAAM,OAAO;AAAA,EAClB,QAAQ,GAAG,GAAG,KAAK;AAAA,EACnB,WAAW,GAAG,GAAG,KAAK;AAAA,EACtB,MAAM,GAAG,GAAG,KAAK;AACnB;;;ACzCO,IAAM,uBAAuB,GAAG,GAAG,KAAK;AACxC,IAAM,mCAAmC,GAAG,GAAG,KAAK;AACpD,IAAM,mCAAmC,GAAG,GAAG,KAAK;AACpD,IAAM,oBAAoB,GAAG,GAAG,KAAK;AAGrC,IAAM,wBAAwB,GAAG,GAAG,KAAK;AASzC,IAAM,gBAAgB,GAAG,GAAG,KAAK;AACjC,IAAM,sBAAsB,GAAG,GAAG,KAAK;AACvC,IAAM,cAAc,GAAG,GAAG,KAAK;AAC/B,IAAM,2BAA2B,GAAG,GAAG,KAAK;AAC5C,IAAM,sBAAsB,GAAG,GAAG,KAAK;AACvC,IAAM,kBAAkB,GAAG,GAAG,KAAK;AACnC,IAAM,eAAe,GAAG,GAAG,KAAK;AAChC,IAAM,eAAe,GAAG,GAAG,KAAK;AAChC,IAAM,cAAc,GAAG,GAAG,KAAK;AAC/B,IAAM,iBAAiB,GAAG,GAAG,KAAK;AAClC,IAAM,cAAc,GAAG,GAAG,KAAK;AAC/B,IAAM,uBAAuB,GAAG,GAAG,KAAK;AACxC,IAAM,gBAAgB,GAAG,GAAG,KAAK;AACjC,IAAM,yBAAyB,GAAG,GAAG,KAAK;AAC1C,IAAM,yBAAyB,GAAG,GAAG,KAAK;AAG1C,IAAM,WAAW;AACjB,IAAM,qBAAqB,GAAG,QAAQ;AACtC,IAAM,0BAA0B,GAAG,QAAQ;AAO3C,IAAM,kCAAkC,GAAG,GAAG,KAAK;AACnD,IAAM,6BAA6B,GAAG,GAAG,KAAK;AAS9C,IAAM,0BAA4D;AAAA,EACvE,UAAU;AAAA,EACV,UAAU;AAAA,EACV,aAAa;AAAA,EACb,WAAW;AAAA,EACX,iBAAiB;AACnB;AAGO,IAAM,kBAAoD;AAAA,EAC/D,MAAM,GAAG,GAAG,KAAK;AAAA,EACjB,SAAS,GAAG,GAAG,KAAK;AAAA,EACpB,WAAW,GAAG,GAAG,KAAK;AAAA,EACtB,UAAU,GAAG,GAAG,KAAK;AAAA,EACrB,iBAAiB,GAAG,GAAG,KAAK;AAAA,EAC5B,MAAM,GAAG,GAAG,KAAK;AACnB;AAMO,IAAM,0BAA4D;AAAA,EACvE,gBAAgB,GAAG,GAAG,QAAQ;AAAA,EAC9B,eAAe,GAAG,GAAG,QAAQ;AAAA,EAC7B,QAAQ,GAAG,GAAG,QAAQ;AAAA,EACtB,YAAY,GAAG,GAAG,QAAQ;AAAA,EAC1B,aAAa,GAAG,GAAG,QAAQ;AAAA,EAC3B,gBAAgB,GAAG,GAAG,QAAQ;AAChC;AAMO,IAAM,wBAA0D;AAAA,EACrE,cAAc,GAAG,GAAG,QAAQ;AAAA,EAC5B,WAAW,GAAG,GAAG,QAAQ;AAAA,EACzB,sBAAsB,GAAG,GAAG,QAAQ;AACtC;;;ACvEO,IAAM,kBAA4C;AAAA,EACvD,EAAE,OAAO,SAAS,KAAK,GAAG,GAAG,OAAO,QAAQ;AAAA,EAC5C,EAAE,OAAO,eAAe,KAAK,GAAG,GAAG,OAAO,cAAc;AAAA,EACxD,EAAE,OAAO,WAAW,KAAK,GAAG,GAAG,OAAO,UAAU;AAAA,EAChD,EAAE,OAAO,WAAW,KAAK,GAAG,GAAG,OAAO,UAAU;AAAA,EAChD,EAAE,OAAO,YAAY,KAAK,GAAG,GAAG,OAAO,WAAW;AAAA,EAClD,EAAE,OAAO,WAAW,KAAK,GAAG,GAAG,OAAO,UAAU;AAAA,EAChD,EAAE,OAAO,SAAS,KAAK,GAAG,GAAG,IAAI,eAAe;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAMhD,EAAE,OAAO,YAAY,KAAK,GAAG,GAAG,OAAO,WAAW;AAAA;AAAA;AAAA;AAAA,EAIlD,EAAE,OAAO,QAAQ,KAAK,qBAAqB;AAAA,EAC3C,EAAE,OAAO,cAAc,KAAK,iCAAiC;AAAA,EAC7D;AAAA,IACE,OAAO;AAAA,IACP,KAAK;AAAA,EACP;AAAA,EACA,EAAE,OAAO,wBAAwB,KAAK,kBAAkB;AAC1D;AAiBA,IAAM,sBAAyC;AAAA,EAC7C;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF;AAEO,IAAM,0BACX,oBAAoB,IAAI,CAAC,SAAS;AAChC,QAAM,QAAQ,gBAAgB,KAAK,CAAC,MAAM,EAAE,UAAU,IAAI;AAG1D,MAAI,UAAU,QAAW;AACvB,UAAM,IAAI;AAAA,MACR,6BAA6B,IAAI;AAAA,IACnC;AAAA,EACF;AACA,SAAO;AACT,CAAC;AAGI,IAAM,uBAA0C,gBAAgB;AAAA,EACrE,CAAC,MAAM,EAAE;AACX;;;AC3CA,IAAM,kBAAgC;AAAA,EACpC,IAAI;AAAA,EACJ,MAAM;AACR;AAEO,IAAM,iBAA0C;AAAA,EACrD;AAAA,EACA;AAAA,IACE,IAAI;AAAA,IACJ,MAAM;AAAA,EACR;AAAA,EACA;AAAA,IACE,IAAI;AAAA,IACJ,aAAa;AAAA,IACb,MAAM;AAAA,EACR;AAAA,EACA;AAAA,IACE,IAAI;AAAA,IACJ,MAAM;AAAA,EACR;AACF;AAEO,IAAM,gBAAgB,gBAAgB;AAGtC,SAAS,WAAW,IAA0B;AACnD,SAAO,eAAe,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG;AACzD;AAGO,SAAS,WACd,SACA,MACA,MACQ;AACR,QAAM,SAAS,SAAS,UAAU,QAAQ,cAAc,QAAQ;AAChE,SAAO,SAAS,GAAG,MAAM,GAAG,IAAI,KAAK;AACvC;;;ALjCO,IAAM,kBAA+B;AAAA,EAC1C;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF;AAwJO,IAAM,0BAA0B;AAEhC,IAAM,iBAAiB;AAE9B,IAAM,kBAAkB;AAOxB,IAAM,aACJ;AAQF,IAAM,aAAa,CAAC,UAAU,SAAS;AAEhC,IAAM,qBAAqC;AAAA,EAChD;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF;AAGO,IAAM,0BAA0B,CAAC,OAAO,QAAQ,WAAW;AAC3D,IAAM,sBAAsB,CAAC,SAAS,QAAQ;AAGrD,SAAS,kBAAkB,UAA0B;AACnD,MAAI,MAAM,SAAS,KAAK;AACxB,MAAI,CAAC,IAAI,WAAW,GAAG,EAAG,OAAM,IAAI,GAAG;AACvC,QAAM,IAAI,QAAQ,QAAQ,EAAE;AAC5B,SAAO;AACT;AAEA,IAAM,MAAM,IAAI,QAAQ,EAAE,WAAW,MAAM,iBAAiB,KAAK,CAAC;AAClE,IAAM,iBAAiB,IAAI,QAAQ,qBAAY;AAmE/C,SAAS,gBAAgB,GAKd;AACT,QAAM,QACJ,EAAE,YAAY,yBACT,EAAE,OAA2C,qBAC9C;AACN,QAAM,QAAQ,IAAI,cAAc,GAAG,EAAE,YAAY;AACjD,SAAO,UAAU,SACb,KAAK,KAAK,KAAK,EAAE,WAAW,YAAY,KACxC,KAAK,KAAK,kBAAkB,KAAK;AACvC;AAQA,SAAS,yBACP,KACwB;AACxB,MAAI,OAAO,KAAM,QAAO,CAAC;AACzB,MAAI,OAAO,QAAQ;AACjB,WAAO,OAAO,YAAY,qBAAqB,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC;AACrE,SAAO,EAAE,GAAG,IAAI;AAClB;AAiBO,SAAS,YAAY,MAAc,YAAiC;AACzE,MAAI;AACJ,MAAI;AACF,UAAM,UAAU,IAAI;AAAA,EACtB,SAAS,GAAG;AACV,UAAM,IAAI;AAAA,MACR,mBAAmB,UAAU,KAAK,aAAa,CAAC,CAAC;AAAA,IACnD;AAAA,EACF;AACA,MAAI,OAAO,KAAM,QAAO,mBAAmB,MAAM,UAAU;AAC3D,MAAI,OAAO,QAAQ,YAAY,MAAM,QAAQ,GAAG,GAAG;AACjD,UAAM,IAAI,WAAW,qBAAqB,UAAU,0BAA0B;AAAA,EAChF;AACA,QAAM,MAAM;AACZ,QAAM,UAAU,OAAO,OAAO,KAAK,cAAc;AACjD,QAAM,UAAU,CAAC,YAA2B,IAAI,WAAW,OAAO;AAIlE,QAAM,cAAc,OAAO,OAAO,KAAK,eAAe,IAClD,iBAAiB,IAAI,eAAe,GAAG,YAAY,OAAO,IAC1D,CAAC;AACL,QAAM,YAAY,OAAO,OAAO,KAAK,aAAa,IAC9C;AAAA,IACE,IAAI,aAAa;AAAA,IACjB;AAAA,IACA,QAAQ,QAAQ,UAAU,CAAC;AAAA,IAC3B;AAAA,EACF,IACA,CAAC;AACL,SAAO,mBAAmB,UAAU,IAAI,cAAc,IAAI,KAAK,YAAY;AAAA,IACzE,QAAQ;AAAA,IACR;AAAA,IACA;AAAA,EACF,CAAC;AACH;AAYO,SAAS,mBACd,KACA,YACA,OAA0B,EAAE,QAAQ,YAAY,aAAa,CAAC,EAAE,GACnD;AACb,MAAI,OAAO,KAAM,OAAM,CAAC;AACxB,MAAI,OAAO,QAAQ,YAAY,MAAM,QAAQ,GAAG,GAAG;AACjD,UAAM,IAAI;AAAA,MACR,qBAAqB,UAAU;AAAA,IACjC;AAAA,EACF;AACA,aAAW,OAAO,YAAY;AAC5B,QAAI,OAAO,OAAO,KAAgC,GAAG,GAAG;AACtD,YAAM,IAAI;AAAA,QACR,GAAG,KAAK,MAAM,MAAM,GAAG,wHAAwH,UAAU,IAAI,eAAe;AAAA,MAC9K;AAAA,IACF;AAAA,EACF;AACA,MAAI,CAAC,eAAe,GAAG,GAAG;AACxB,UAAM,WAAW,eAAe,UAAU,CAAC,GACxC,IAAI,CAAC,MAAM,gBAAgB,CAAC,CAAC,EAC7B,KAAK,IAAI;AACZ,UAAM,IAAI,WAAW,qBAAqB,UAAU;AAAA,EAAM,OAAO,EAAE;AAAA,EACrE;AAMA,QAAM,IAAI;AACV,QAAM,MAAM,QAAQ,UAAU;AAC9B,QAAM,MAAM,QAAQ,GAAG;AAOvB,QAAM,WAA0B,EAAE,YAAY;AAC9C,MAAI,aAAa,MAAM;AACrB,wBAAoB,UAAU,CAAC,YAAY,IAAI,WAAW,OAAO,CAAC;AAAA,EACpE;AAEA,SAAO;AAAA,IACL,aAAa,KAAK;AAAA,IAClB,cAAc,KAAK;AAAA,IACnB;AAAA,IACA,OAAO,EAAE,SAAS;AAAA,IAClB,WAAW,KAAK,aAAa,CAAC;AAAA,IAC9B,SAAS,eAAe,EAAE,OAAO;AAAA,IACjC,KAAK,EAAE,OAAO;AAAA,IACd,SAAS,EAAE,UAAU,CAAC,GAAG,IAAI,CAAC,OAAO;AAAA,MACnC,UAAU,kBAAkB,EAAE,YAAY,GAAG;AAAA,MAC7C,MAAM,EAAE,KACL,QAAQ,OAAO,GAAG,EAClB,QAAQ,SAAS,EAAE,EACnB,QAAQ,QAAQ,EAAE;AAAA,MACrB,YAAY,EAAE,cAAc,CAAC,GAAG,uBAAuB;AAAA,MACvD,YAAY,EAAE,cAAc,CAAC,GAAG,mBAAmB;AAAA,MACnD,GAAI,EAAE,aAAa,SAAY,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS;AAAA,IAC7D,EAAE;AAAA,IACF,OAAO;AAAA,MACL,QAAQ,EAAE,OAAO,UAAU,CAAC,GAAG,kBAAkB;AAAA,IACnD;AAAA,IACA,OAAO;AAAA;AAAA,MAEL,QAAQ,EAAE,OAAO,UAAU,CAAC;AAAA,IAC9B;AAAA,IACA,YAAY;AAAA,MACV,WAAW,EAAE,YAAY,aAAa;AAAA,IACxC;AAAA,IACA,OAAO;AAAA,MACL,mBAAmB,yBAAyB,EAAE,OAAO,iBAAiB;AAAA,IACxE;AAAA,IACA,MAAM;AAAA,MACJ,aAAa,EAAE,MAAM,eAAe;AAAA,MACpC,UAAU,EAAE,MAAM,YAAY;AAAA,MAC9B,UAAU,EAAE,MAAM,YAAY;AAAA,MAC9B,QAAQ,EAAE,MAAM,UAAU,CAAC,GAAG,eAAe;AAAA,MAC7C,qBAAqB,EAAE,MAAM,uBAAuB;AAAA,MACpD,iBAAiB,EAAE,MAAM,mBAAmB;AAAA,MAC5C,eAAe,EAAE,MAAM,iBAAiB;AAAA,MACxC,UAAU,EAAE,MAAM,YAAY;AAAA,IAChC;AAAA,IACA,OAAO;AAAA,MACL,OAAO,EAAE,OAAO,SAAS;AAAA,MACzB,OAAO,EAAE,OAAO,SAAS;AAAA,MACzB,KAAK,EAAE,OAAO;AAAA,MACd,UAAU,EAAE,OAAO,YAAY;AAAA,MAC/B,YAAY,EAAE,OAAO,cAAc,CAAC;AAAA,IACtC;AAAA,IACA,QAAQ;AAAA,MACN,OAAO;AAAA,QACL,OAAO,EAAE,QAAQ,OAAO;AAAA,QACxB,SAAS,EAAE,QAAQ,OAAO;AAAA,QAC1B,SAAS,EAAE,QAAQ,OAAO,WAAW;AAAA,MACvC;AAAA,IACF;AAAA,IACA,YAAY;AAAA,IACZ,WAAW;AAAA,EACb;AACF;AAEA,IAAM,cAAiC;AAAA,EACrC,SAAS;AAAA;AAAA;AAAA;AAAA,EAIT,aAAa,CAAC;AAAA,EACd,SAAS,CAAC,YAAY,IAAI,WAAW,OAAO;AAC9C;AAQO,SAAS,WAAW,MAAe,MAAM,QAAQ,IAAI,GAAgB;AAC1E,QAAM,OAAO,OACT,mBAAmB,MAAM,KAAK,WAAW,IACzC,mBAAmB,KAAK,WAAW;AACvC,MAAI,SAAS,KAAM,QAAO,cAAc,GAAG;AAC3C,SAAO,mBAAmB,KAAK,OAAO,KAAK,MAAM;AAAA,IAC/C,QAAQ,KAAK;AAAA,IACb,aAAa,KAAK;AAAA,IAClB,GAAI,KAAK,cAAc,SAAY,CAAC,IAAI,EAAE,WAAW,KAAK,UAAU;AAAA,EACtE,CAAC;AACH;AAOO,SAAS,cAAc,MAAM,QAAQ,IAAI,GAAgB;AAC9D,SAAO;AAAA,IACL,GAAG,mBAAmB,MAAM,QAAQ,KAAK,uBAAuB,CAAC;AAAA,IACjE,cAAc;AAAA,EAChB;AACF;AAmBO,SAAS,cACd,MACA,MAAM,QAAQ,IAAI,GACL;AACb,+BAA6B,KAAK,YAAY,KAAK,KAAK;AACxD,SAAO,KAAK,WAAW,cAAc,GAAG,IAAI,WAAW,KAAK,YAAY,GAAG;AAC7E;AAGO,SAAS,6BACd,YACA,OACM;AACN,OAAK,cAAc,CAAC,GAAG,SAAS,MAAM,SAAS,CAAC,GAAG,SAAS,GAAG;AAC7D,UAAM,IAAI;AAAA,MACR;AAAA,IACF;AAAA,EACF;AACF;;;AMllBO,SAAS,WAAW,GAAW,GAAmB;AACvD,SAAO,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI;AAClC;","names":[]}
|