@jjchill/probity-rules 0.1.0

package/dist/rules/spec-test-parity.js

@@ -0,0 +1,456 @@
+import { readdirSync, readFileSync, existsSync } from 'node:fs';
+import { basename, join } from 'node:path';
+/**
+ * Spec↔test traceability for the `acceptance-testing` workflow:
+ * every `## Scenario:` in a `*.feature.md` spec is claimed by an
+ * acceptance test, and every claim resolves to a real scenario.
+ *
+ * The link convention: an acceptance test declares the scenario it
+ * covers with a tag anywhere in the file (comment or annotation
+ * argument), one per scenario:
+ *
+ *   // Covers: messaging.feature.md :: Scenario: Message is delivered
+ *
+ * Scenario keys are `<spec basename> :: <title>`, so titles are link
+ * keys: renaming a scenario must update its tests' tags — which
+ * `surfaceScenarioLinkBreakage` turns into a guided step instead of
+ * silent rot.
+ *
+ * In-progress scenarios being driven outside-in are exempted with
+ * `## Scenario (wip):` — the parity gate ignores them until the
+ * marker is dropped.
+ *
+ * Scenarios may additionally declare **driver scopes** — coverage
+ * floors naming which driver suites must cover them, on top of the
+ * base "at least one test" requirement:
+ *
+ *   ## Scenario [system]: Payment is retried after a network failure
+ *
+ * Scope names are policy labels ("also proven against the deployed
+ * system"), not mechanisms; the mapping from scope name to test files
+ * is the `driverScopes` option. Tags never change the scenario key,
+ * so Covers tags and baselines are unaffected by adding one.
+ */
+// Two spec formats during the .feature.md -> .feature migration:
+//   Markdown:  ## Scenario (wip) [system]: Title
+//   Gherkin:   @wip @system\n  Scenario: Title
+// parseScenarios below handles both, line by line.
+const MD_SCENARIO = /^##\s*Scenario(\s*\((?:wip|planned)\))?(\s*\[([^\]]+)\])?\s*:\s*(.+?)\s*$/;
+const GHERKIN_SCENARIO = /^Scenario(?:\s+Outline)?:\s*(.+?)\s*$/;
+const COVERS_TAG = /Covers:\s*([\w.-]+\.feature(?:\.md)?)\s*::\s*Scenario:\s*([^\n]+)/g;
+const SKIP_DIRS = new Set([
+    'node_modules',
+    '.git',
+    'build',
+    '.gradle',
+    'out',
+    'dist',
+    '.idea',
+]);
+function normalizeTitle(title) {
+    return title
+        .replace(/\s*(?:\*\/|["')\]]+)?\s*$/, '')
+        .replace(/\s+/g, ' ')
+        .trim()
+        .toLowerCase();
+}
+// A spec is identified by its stem (filename without .feature/.feature.md)
+// so a scenario keeps one key across the extension change and Covers tags
+// resolve regardless of which extension either side currently uses.
+function specStem(name) {
+    return basename(name).replace(/\.feature(?:\.md)?$/i, '');
+}
+function scenarioKey(specFile, title) {
+    return `${specStem(specFile)} :: ${normalizeTitle(title)}`;
+}
+function parseScopes(tag) {
+    if (!tag)
+        return [];
+    return tag
+        .split(',')
+        .map((scope) => scope.trim().toLowerCase())
+        .filter(Boolean);
+}
+export function extractScenarios(specFile, content) {
+    const scenarios = [];
+    let tags = [];
+    for (const line of content.split(/\r?\n/)) {
+        const md = line.match(MD_SCENARIO);
+        if (md) {
+            const title = md[4] ?? '';
+            scenarios.push({
+                key: scenarioKey(specFile, title),
+                specFile,
+                title: title.trim(),
+                wip: md[1] !== undefined,
+                scopes: parseScopes(md[3]),
+            });
+            tags = [];
+            continue;
+        }
+        const trimmed = line.trim();
+        if (/^@\S/.test(trimmed)) {
+            tags.push(...trimmed
+                .split(/\s+/)
+                .filter((token) => token.startsWith('@'))
+                .map((token) => token.slice(1).toLowerCase()));
+            continue;
+        }
+        const gherkin = trimmed.match(GHERKIN_SCENARIO);
+        if (gherkin) {
+            const title = gherkin[1] ?? '';
+            scenarios.push({
+                key: scenarioKey(specFile, title),
+                specFile,
+                title: title.trim(),
+                wip: tags.includes('wip') || tags.includes('planned'),
+                scopes: tags.filter((tag) => tag !== 'wip' && tag !== 'planned'),
+            });
+            tags = [];
+            continue;
+        }
+        // Tags only attach to the next Scenario; any non-tag, non-comment
+        // content (a Feature line, a step) ends a dangling tag block.
+        if (trimmed !== '' && !trimmed.startsWith('#'))
+            tags = [];
+    }
+    return scenarios;
+}
+export function extractCoversRefs(testFile, content) {
+    const refs = [];
+    for (const match of content.matchAll(COVERS_TAG)) {
+        const specFile = match[1] ?? '';
+        const title = match[2] ?? '';
+        refs.push({
+            key: scenarioKey(specFile, title),
+            testFile,
+            specFile,
+            title: title.replace(/\s*(?:\*\/|["')\]]+)?\s*$/, '').trim(),
+        });
+    }
+    return refs;
+}
+function walk(dir, out = []) {
+    let entries;
+    try {
+        entries = readdirSync(dir, { withFileTypes: true });
+    }
+    catch {
+        return out;
+    }
+    for (const entry of entries) {
+        if (entry.isDirectory()) {
+            if (!SKIP_DIRS.has(entry.name))
+                walk(join(dir, entry.name), out);
+        }
+        else {
+            out.push(join(dir, entry.name));
+        }
+    }
+    return out;
+}
+const DEFAULT_TEST_FILE_PATTERN = /[/\\]acceptance[/\\]/;
+/** Parses a baseline file into normalized scenario keys. Missing file → empty set. */
+export function readBaseline(path) {
+    if (!path || !existsSync(path))
+        return new Set();
+    return new Set(readFileSync(path, 'utf8')
+        .split('\n')
+        .map((line) => line.trim())
+        .filter((line) => line && !line.startsWith('#'))
+        .flatMap((line) => {
+        const idx = line.indexOf(' :: ');
+        if (idx === -1)
+            return [];
+        const spec = line.slice(0, idx).trim();
+        const title = line.slice(idx + 4);
+        return [scenarioKey(spec, title)];
+    }));
+}
+/** All spec files (either extension) under a directory. */
+export function findSpecFiles(specsDir) {
+    return walk(specsDir).filter((file) => file.endsWith('.feature.md') || file.endsWith('.feature'));
+}
+export function scanSpecs(specsDir) {
+    return findSpecFiles(specsDir).flatMap((file) => extractScenarios(file, readFileSync(file, 'utf8')));
+}
+export function scanCoversRefs(testRoots, testFilePattern) {
+    return testRoots
+        .flatMap((root) => walk(root))
+        .filter((file) => testFilePattern.test(file) &&
+        !file.endsWith('.feature.md') &&
+        !file.endsWith('.feature'))
+        .flatMap((file) => extractCoversRefs(file, readFileSync(file, 'utf8')));
+}
+function formatList(lines, max = 10) {
+    const shown = lines.slice(0, max).map((line) => `    ${line}`);
+    if (lines.length > max)
+        shown.push(`    …and ${lines.length - max} more`);
+    return shown.join('\n');
+}
+/**
+ * Bidirectional parity gate on `git commit`: blocks when any
+ * non-wip `## Scenario:` heading in `specsDir` has no acceptance
+ * test claiming it via a `Covers:` tag, or when any `Covers:` tag
+ * points at a scenario that no longer exists (spec renamed or
+ * removed). Deterministic filesystem scan — no AI call; milliseconds
+ * at typical spec-suite scale.
+ *
+ * The test claiming a scenario may still be red or quarantined —
+ * parity requires the *link*, not a passing run; keeping in-progress
+ * specs out of the pipeline is the pipeline's job. Alternatively
+ * mark the scenario `## Scenario (wip):` to exempt it entirely.
+ *
+ * Applies to: command actions matching `git commit`.
+ *
+ * @param options.specsDir — absolute path to the specs directory
+ *   (e.g. `<root>/docs/specs`). A missing directory passes: no
+ *   specs, nothing to enforce.
+ * @param options.testRoots — absolute paths to scan for acceptance
+ *   tests (the repo root is fine; node_modules/build dirs are
+ *   skipped).
+ * @param options.testFilePattern — which files count as acceptance
+ *   tests (default: any file under an `acceptance/` directory).
+ * @param options.baselinePath — optional incremental-adoption
+ *   baseline; scenarios listed there are exempt from the orphan
+ *   check (see {@link readBaseline}). Missing file → full enforcement.
+ * @param options.driverScopes — optional per-scenario driver mapping;
+ *   see {@link DriverScope}. Scenarios tagged `[scope]` (and every
+ *   scenario, for `defaultScopes` entries) must be covered by a test
+ *   matching that scope's `filePattern`, on top of the base check.
+ * @param options.defaultScopes — scope names required of untagged
+ *   scenarios too (the project's standard driver set).
+ */
+export function enforceSpecTestParity(options) {
+    const pattern = options.testFilePattern ?? DEFAULT_TEST_FILE_PATTERN;
+    const scopes = new Map((options.driverScopes ?? []).map((scope) => [scope.name.toLowerCase(), scope]));
+    const defaultScopes = (options.defaultScopes ?? []).map((name) => name.toLowerCase());
+    return function enforceSpecTestParity(action) {
+        if (action.kind !== 'command')
+            return { kind: 'pass' };
+        if (!/git commit/.test(action.command))
+            return { kind: 'pass' };
+        if (!existsSync(options.specsDir))
+            return { kind: 'pass' };
+        // During the .feature.md -> .feature migration a spec is one extension
+        // or the other; the same stem in both forms double-counts scenarios and
+        // masks a half-finished rename.
+        const specFiles = findSpecFiles(options.specsDir);
+        const byStem = new Map();
+        for (const file of specFiles) {
+            const stem = specStem(file);
+            const existing = byStem.get(stem);
+            if (existing) {
+                return {
+                    kind: 'violation',
+                    reason: `Spec "${stem}" exists in both .feature and .feature.md forms:\n` +
+                        `    ${existing}\n    ${file}\n` +
+                        'Finish the migration for this spec — keep a single extension.',
+                };
+            }
+            byStem.set(stem, file);
+        }
+        const scenarios = specFiles.flatMap((file) => extractScenarios(file, readFileSync(file, 'utf8')));
+        const refs = scanCoversRefs(options.testRoots, pattern);
+        const baseline = readBaseline(options.baselinePath);
+        const claimed = new Set(refs.map((ref) => ref.key));
+        const known = new Set(scenarios.map((scenario) => scenario.key));
+        const orphaned = scenarios.filter((s) => !s.wip && !claimed.has(s.key) && !baseline.has(s.key));
+        const dangling = refs.filter((ref) => !known.has(ref.key));
+        const unknownScopes = [];
+        const missingScopes = [];
+        for (const scenario of scenarios) {
+            if (scenario.wip || baseline.has(scenario.key))
+                continue;
+            const required = [...new Set([...defaultScopes, ...scenario.scopes])];
+            for (const name of required) {
+                const scope = scopes.get(name);
+                if (!scope) {
+                    unknownScopes.push(`${basename(scenario.specFile)} :: ${scenario.title} — [${name}]`);
+                    continue;
+                }
+                const covered = refs.some((ref) => ref.key === scenario.key && scope.filePattern.test(ref.testFile));
+                if (!covered) {
+                    missingScopes.push(`${basename(scenario.specFile)} :: ${scenario.title} — needs [${name}] coverage`);
+                }
+            }
+        }
+        if (orphaned.length === 0 &&
+            dangling.length === 0 &&
+            unknownScopes.length === 0 &&
+            missingScopes.length === 0)
+            return { kind: 'pass' };
+        const sections = ['Spec↔test parity check failed.'];
+        if (orphaned.length > 0) {
+            sections.push('Scenarios with no covering acceptance test (add a test with ' +
+                '`// Covers: <spec>.feature.md :: Scenario: <title>`, or mark ' +
+                'the heading `## Scenario (wip):` while driving it):\n' +
+                formatList(orphaned.map((s) => `${basename(s.specFile)} :: ${s.title}`)));
+        }
+        if (dangling.length > 0) {
+            sections.push('Covers tags pointing at no existing scenario (spec renamed or ' +
+                'removed — update or delete these tests):\n' +
+                formatList(dangling.map((r) => `${r.testFile} → ${r.specFile} :: ${r.title}`)));
+        }
+        if (missingScopes.length > 0) {
+            sections.push('Scenarios covered, but not by every driver scope they require ' +
+                '(add a covering test in the named suite — with shared ' +
+                'scenario bodies this is a thin spec class calling the ' +
+                'existing body):\n' +
+                formatList(missingScopes));
+        }
+        if (unknownScopes.length > 0) {
+            sections.push('Scenario tags naming driver scopes this gate does not know ' +
+                `(known scopes: ${scopes.size > 0 ? [...scopes.keys()].join(', ') : 'none configured'} — ` +
+                'fix the tag or add the scope to `driverScopes`):\n' +
+                formatList(unknownScopes));
+        }
+        return { kind: 'violation', reason: sections.join('\n') };
+    };
+}
+/**
+ * Matches a test-case declaration in the acceptance layer: a Kotlin/
+ * Java `@Test` annotation or a Swift XCTest `func test…` method. The
+ * pattern is intentionally coarse — it only needs to detect that a
+ * write ADDS test cases, not parse them.
+ */
+const DEFAULT_TEST_DECLARATION = /@Test\b|\bfunc\s+test\w*\s*\(/g;
+function countTests(content, pattern) {
+    return [...content.matchAll(pattern)].length;
+}
+/**
+ * Spec-first, made mechanical: a write that adds a new acceptance
+ * test case is blocked unless it also adds a `Covers:` tag pointing
+ * at a `## Scenario:` heading that ALREADY EXISTS in `specsDir`. The
+ * executable specification (`*.feature.md`) must be written before
+ * the test that claims it — an agent that codes the test first gets
+ * told exactly what to create and where.
+ *
+ * This is the write-time front half of the traceability story;
+ * {@link enforceSpecTestParity} is the commit-time back half (every
+ * scenario covered, every tag resolving). Together they close the
+ * gap where an agent authors a whole acceptance suite with no
+ * feature file and nothing objects until commit — or ever, if the
+ * tests carry no tags at all.
+ *
+ * Delta-based and deterministic (no AI call): only NEW test cases
+ * demand a NEW resolving tag, so edits inside an existing brownfield
+ * test file pass untouched, and a pre-existing dangling tag can't
+ * block unrelated work (the commit gate owns that). `(wip)` and
+ * `(planned)` scenarios count as existing — they are exactly the
+ * headings outside-in work drives against.
+ *
+ * Applies to: write actions — scope it via a `{ files, rules }`
+ * block to the acceptance test-case layer only (e.g.
+ * `**\/acceptance/**\/*Spec.kt`), never to drivers/DSL/infrastructure.
+ *
+ * @param options.specsDir — absolute path to the specs directory.
+ *   Missing directory ⇒ every new tag is unresolved ⇒ the deny
+ *   message says to create the first feature file (greenfield
+ *   enforcement, not a free pass).
+ * @param options.testDeclarationPattern — what counts as a test-case
+ *   declaration (default: Kotlin/Java `@Test` or Swift `func test…`).
+ */
+export function requireSpecBackedAcceptanceTest(options) {
+    const declaration = options.testDeclarationPattern ?? DEFAULT_TEST_DECLARATION;
+    return async function requireSpecBackedAcceptanceTest(action, ctx) {
+        if (action.kind !== 'write')
+            return { kind: 'pass' };
+        const before = await ctx?.readFile?.(action.path);
+        const beforeContent = before?.kind === 'present' ? before.content : '';
+        const testsAdded = countTests(action.content, declaration) > countTests(beforeContent, declaration);
+        if (!testsAdded)
+            return { kind: 'pass' };
+        const beforeKeys = new Set(extractCoversRefs(action.path, beforeContent).map((ref) => ref.key));
+        const afterRefs = extractCoversRefs(action.path, action.content);
+        const newRefs = afterRefs.filter((ref) => !beforeKeys.has(ref.key));
+        const known = new Set(scanSpecs(options.specsDir).map((s) => s.key));
+        if (newRefs.length === 0) {
+            // No NEW tag — still fine when the file already claims a real
+            // scenario: "one scenario, many drivers" adds a second/third
+            // test transcribing an already-covered scenario to a file whose
+            // tag resolves. Only a file with no resolving tag at all is a
+            // spec-first violation. (File-level granularity by design: the
+            // commit-time parity gate owns the per-scenario bookkeeping.)
+            if (afterRefs.some((ref) => known.has(ref.key)))
+                return { kind: 'pass' };
+            return {
+                kind: 'violation',
+                reason: 'This write adds a new acceptance test case with no ' +
+                    '`Covers:` tag resolving to an existing scenario. ' +
+                    'Acceptance tests are written spec-first: ' +
+                    `add a \`## Scenario: <title>\` to a *.feature.md under ` +
+                    `${options.specsDir} describing the behavior in domain ` +
+                    'language, then re-apply this test with\n' +
+                    '  // Covers: <spec>.feature.md :: Scenario: <title>\n' +
+                    'If the scenario is still being shaped, write it as ' +
+                    '`## Scenario (wip):` — it still counts.',
+            };
+        }
+        const unresolved = newRefs.filter((ref) => !known.has(ref.key));
+        if (unresolved.length === 0)
+            return { kind: 'pass' };
+        return {
+            kind: 'violation',
+            reason: 'This write adds acceptance test(s) whose `Covers:` tag points ' +
+                'at a scenario that does not exist yet. The feature file comes ' +
+                'first: create the scenario heading (exact title match, ' +
+                `case-insensitive) under ${options.specsDir}, then re-apply ` +
+                'this test.\n' +
+                formatList(unresolved.map((ref) => `${ref.specFile} :: Scenario: ${ref.title}`)),
+        };
+    };
+}
+/**
+ * Surfaces link breakage at the moment it is created: when a write
+ * to a `*.feature.md` file removes or renames a `## Scenario:`
+ * heading that acceptance tests still claim, the write is blocked
+ * with the list of affected tests — update their `Covers:` tags (or
+ * delete the tests) in the same change, then re-apply the spec edit.
+ * Removing a scenario nothing covers passes silently.
+ *
+ * Applies to: write actions to `*.feature.md` files (scope via a
+ * `{ files, rules }` block). Deterministic — no AI call.
+ *
+ * @param options.testRoots — absolute paths to scan for acceptance
+ *   tests.
+ * @param options.testFilePattern — which files count as acceptance
+ *   tests (default: any file under an `acceptance/` directory).
+ */
+export function surfaceScenarioLinkBreakage(options) {
+    const pattern = options.testFilePattern ?? DEFAULT_TEST_FILE_PATTERN;
+    return async function surfaceScenarioLinkBreakage(action, ctx) {
+        if (action.kind !== 'write')
+            return { kind: 'pass' };
+        if (!action.path.endsWith('.feature.md') && !action.path.endsWith('.feature'))
+            return { kind: 'pass' };
+        const before = await ctx?.readFile?.(action.path);
+        if (!before || before.kind !== 'present')
+            return { kind: 'pass' };
+        const beforeKeys = new Map(extractScenarios(action.path, before.content).map((s) => [s.key, s]));
+        const afterKeys = new Set(extractScenarios(action.path, action.content).map((s) => s.key));
+        const removed = [...beforeKeys.values()].filter((s) => !afterKeys.has(s.key));
+        if (removed.length === 0)
+            return { kind: 'pass' };
+        const refs = scanCoversRefs(options.testRoots, pattern);
+        const broken = removed.flatMap((scenario) => {
+            const claimants = [
+                ...new Set(refs.filter((ref) => ref.key === scenario.key).map((ref) => ref.testFile)),
+            ];
+            return claimants.length > 0
+                ? [`"${scenario.title}" is still covered by:\n` + formatList(claimants)]
+                : [];
+        });
+        if (broken.length === 0)
+            return { kind: 'pass' };
+        return {
+            kind: 'violation',
+            reason: 'This edit removes or renames scenario(s) that acceptance ' +
+                'tests still claim. Update those tests’ Covers: tags (or ' +
+                'delete the tests) in the same change, then re-apply this ' +
+                'spec edit.\n' +
+                broken.join('\n'),
+        };
+    };
+}
+//# sourceMappingURL=spec-test-parity.js.map

package/dist/rules/spec-test-parity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-test-parity.js","sourceRoot":"","sources":["../../rules/spec-test-parity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AAC/D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAI1C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,iEAAiE;AACjE,iDAAiD;AACjD,+CAA+C;AAC/C,mDAAmD;AACnD,MAAM,WAAW,GACf,2EAA2E,CAAA;AAC7E,MAAM,gBAAgB,GAAG,uCAAuC,CAAA;AAChE,MAAM,UAAU,GAAG,oEAAoE,CAAA;AACvF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,cAAc;IACd,MAAM;IACN,OAAO;IACP,SAAS;IACT,KAAK;IACL,MAAM;IACN,OAAO;CACR,CAAC,CAAA;AAEF,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,KAAK;SACT,OAAO,CAAC,2BAA2B,EAAE,EAAE,CAAC;SACxC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE;SACN,WAAW,EAAE,CAAA;AAClB,CAAC;AAED,2EAA2E;AAC3E,0EAA0E;AAC1E,oEAAoE;AACpE,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,sBAAsB,EAAE,EAAE,CAAC,CAAA;AAC3D,CAAC;AAED,SAAS,WAAW,CAAC,QAAgB,EAAE,KAAa;IAClD,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,OAAO,cAAc,CAAC,KAAK,CAAC,EAAE,CAAA;AAC5D,CAAC;AAYD,SAAS,WAAW,CAAC,GAAuB;IAC1C,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAA;IACnB,OAAO,GAAG;SACP,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;SAC1C,MAAM,CAAC,OAAO,CAAC,CAAA;AACpB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAgB,EAAE,OAAe;IAChE,MAAM,SAAS,GAAe,EAAE,CAAA;IAChC,IAAI,IAAI,GAAa,EAAE,CAAA;IACvB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;QAClC,IAAI,EAAE,EAAE,CAAC;YACP,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;YACzB,SAAS,CAAC,IAAI,CAAC;gBACb,GAAG,EAAE,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC;gBACjC,QAAQ;gBACR,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE;gBACnB,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS;gBACxB,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;aAC3B,CAAC,CAAA;YACF,IAAI,GAAG,EAAE,CAAA;YACT,SAAQ;QACV,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QAC3B,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CACP,GAAG,OAAO;iBACP,KAAK,CAAC,KAAK,CAAC;iBACZ,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;iBACxC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAChD,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAA;QAC/C,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;YAC9B,SAAS,CAAC,IAAI,CAAC;gBACb,GAAG,EAAE,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC;gBACjC,QAAQ;gBACR,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE;gBACnB,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;gBACrD,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,SAAS,CAAC;aACjE,CAAC,CAAA;YACF,IAAI,GAAG,EAAE,CAAA;YACT,SAAQ;QACV,CAAC;QACD,kEAAkE;QAClE,8DAA8D;QAC9D,IAAI,OAAO,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,IAAI,GAAG,EAAE,CAAA;IAC3D,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAAgB,EAAE,OAAe;IACjE,MAAM,IAAI,GAAgB,EAAE,CAAA;IAC5B,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QAC5B,IAAI,CAAC,IAAI,CAAC;YACR,GAAG,EAAE,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC;YACjC,QAAQ;YACR,QAAQ;YACR,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE;SAC7D,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,IAAI,CAAC,GAAW,EAAE,MAAgB,EAAE;IAC3C,IAAI,OAAO,CAAA;IACX,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,CAAA;IACZ,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAClE,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;QACjC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,yBAAyB,GAAG,sBAAsB,CAAA;AAoDxD,sFAAsF;AACtF,MAAM,UAAU,YAAY,CAAC,IAAwB;IACnD,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAA;IAChD,OAAO,IAAI,GAAG,CACZ,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC;SACvB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;SAC/C,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAChB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAChC,IAAI,GAAG,KAAK,CAAC,CAAC;YAAE,OAAO,EAAE,CAAA;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;QACjC,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IACnC,CAAC,CAAC,CACL,CAAA;AACH,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,aAAa,CAAC,QAAgB;IAC5C,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAC1B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CACpE,CAAA;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,QAAgB;IACxC,OAAO,aAAa,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC9C,gBAAgB,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CACnD,CAAA;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,SAAmB,EACnB,eAAuB;IAEvB,OAAO,SAAS;SACb,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC7B,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;QAC7B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAC7B;SACA,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;AAC3E,CAAC;AAED,SAAS,UAAU,CAAC,KAAe,EAAE,GAAG,GAAG,EAAE;IAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,CAAA;IAC9D,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAA;IACzE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAoB;IACxD,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,IAAI,yBAAyB,CAAA;IACpE,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,KAAK,CAAC,CAAC,CAC/E,CAAA;IACD,MAAM,aAAa,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAA;IACrF,OAAO,SAAS,qBAAqB,CAAC,MAAc;QAClD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACtD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QAC/D,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QAC1D,uEAAuE;QACvE,wEAAwE;QACxE,gCAAgC;QAChC,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;QACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;QACxC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAA;YAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACjC,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO;oBACL,IAAI,EAAE,WAAW;oBACjB,MAAM,EACJ,SAAS,IAAI,oDAAoD;wBACjE,OAAO,QAAQ,SAAS,IAAI,IAAI;wBAChC,+DAA+D;iBAClE,CAAA;YACH,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACxB,CAAC;QACD,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3C,gBAAgB,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CACnD,CAAA;QACD,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,CAAA;QACnD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QACnD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;QAChE,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAC7D,CAAA;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAC1D,MAAM,aAAa,GAAa,EAAE,CAAA;QAClC,MAAM,aAAa,GAAa,EAAE,CAAA;QAClC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,IAAI,QAAQ,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,SAAQ;YACxD,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YACrE,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBAC9B,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,aAAa,CAAC,IAAI,CAChB,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,QAAQ,CAAC,KAAK,OAAO,IAAI,GAAG,CAClE,CAAA;oBACD,SAAQ;gBACV,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CACvB,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAC1E,CAAA;gBACD,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,aAAa,CAAC,IAAI,CAChB,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,QAAQ,CAAC,KAAK,aAAa,IAAI,YAAY,CACjF,CAAA;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,IACE,QAAQ,CAAC,MAAM,KAAK,CAAC;YACrB,QAAQ,CAAC,MAAM,KAAK,CAAC;YACrB,aAAa,CAAC,MAAM,KAAK,CAAC;YAC1B,aAAa,CAAC,MAAM,KAAK,CAAC;YAE1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACzB,MAAM,QAAQ,GAAa,CAAC,gCAAgC,CAAC,CAAA;QAC7D,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CACX,8DAA8D;gBAC5D,+DAA+D;gBAC/D,uDAAuD;gBACvD,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAC3E,CAAA;QACH,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CACX,gEAAgE;gBAC9D,4CAA4C;gBAC5C,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CACjF,CAAA;QACH,CAAC;QACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CACX,gEAAgE;gBAC9D,wDAAwD;gBACxD,wDAAwD;gBACxD,mBAAmB;gBACnB,UAAU,CAAC,aAAa,CAAC,CAC5B,CAAA;QACH,CAAC;QACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CACX,6DAA6D;gBAC3D,kBAAkB,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,KAAK;gBAC1F,oDAAoD;gBACpD,UAAU,CAAC,aAAa,CAAC,CAC5B,CAAA;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;IAC3D,CAAC,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,wBAAwB,GAAG,gCAAgC,CAAA;AAEjE,SAAS,UAAU,CAAC,OAAe,EAAE,OAAe;IAClD,OAAO,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAA;AAC9C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,+BAA+B,CAAC,OAG/C;IACC,MAAM,WAAW,GAAG,OAAO,CAAC,sBAAsB,IAAI,wBAAwB,CAAA;IAC9E,OAAO,KAAK,UAAU,+BAA+B,CACnD,MAAc,EACd,GAAiB;QAEjB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACpD,MAAM,MAAM,GAAG,MAAM,GAAG,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACjD,MAAM,aAAa,GAAG,MAAM,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAA;QACtE,MAAM,UAAU,GACd,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,UAAU,CAAC,aAAa,EAAE,WAAW,CAAC,CAAA;QAClF,IAAI,CAAC,UAAU;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACxC,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CACpE,CAAA;QACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAA;QAChE,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QACnE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QACpE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,8DAA8D;YAC9D,6DAA6D;YAC7D,gEAAgE;YAChE,8DAA8D;YAC9D,+DAA+D;YAC/D,8DAA8D;YAC9D,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;YACxE,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,MAAM,EACJ,qDAAqD;oBACrD,mDAAmD;oBACnD,2CAA2C;oBAC3C,yDAAyD;oBACzD,GAAG,OAAO,CAAC,QAAQ,qCAAqC;oBACxD,0CAA0C;oBAC1C,uDAAuD;oBACvD,qDAAqD;oBACrD,yCAAyC;aAC5C,CAAA;QACH,CAAC;QACD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACpD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,MAAM,EACJ,gEAAgE;gBAChE,gEAAgE;gBAChE,yDAAyD;gBACzD,2BAA2B,OAAO,CAAC,QAAQ,kBAAkB;gBAC7D,cAAc;gBACd,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,iBAAiB,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;SACnF,CAAA;IACH,CAAC,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,2BAA2B,CACzC,OAAsC;IAEtC,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,IAAI,yBAAyB,CAAA;IACpE,OAAO,KAAK,UAAU,2BAA2B,CAC/C,MAAc,EACd,GAAiB;QAEjB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACpD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC3E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACzB,MAAM,MAAM,GAAG,MAAM,GAAG,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACjD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACjE,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CACrE,CAAA;QACD,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAChE,CAAA;QACD,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QAC7E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACjD,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;YAC1C,MAAM,SAAS,GAAG;gBAChB,GAAG,IAAI,GAAG,CACR,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAC1E;aACF,CAAA;YACD,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC;gBACzB,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,0BAA0B,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;gBACxE,CAAC,CAAC,EAAE,CAAA;QACR,CAAC,CAAC,CAAA;QACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QAChD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,MAAM,EACJ,2DAA2D;gBAC3D,0DAA0D;gBAC1D,2DAA2D;gBAC3D,cAAc;gBACd,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;SACpB,CAAA;IACH,CAAC,CAAA;AACH,CAAC"}

package/dist/rules/swift.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Swift/iOS-shaped deterministic rules and constants for the Probity
+ * presets — the Apple-toolchain counterpart of ./kotlin.ts.
+ *
+ * Most of the enforcement stack is language-neutral and reused as-is
+ * (spec-test-parity, acceptance-language, glossary rules, the
+ * mutation-probe pair, the green-run gate). This module supplies only
+ * what is genuinely Swift/Xcode-specific: content screens for the
+ * acceptance suite and the xcodebuild patterns the generic gates need.
+ * Calibrated against a production iOS app (CocoaPods + SwiftPM
+ * workspace, XCUITest + app-hosted component-test targets, MVVM view
+ * models over use-case ports) — adjust to your layout.
+ */
+/**
+ * Fixed waits in test code — the top cause of flaky XCUITest suites.
+ * Matches `sleep(2)`, `usleep(...)`, `Thread.sleep(forTimeInterval:)`,
+ * and `try await Task.sleep(...)`. Synchronize with XCTest
+ * expectations, predicate expectations, or element-existence timeouts
+ * instead (`waitForExistence(timeout:)`).
+ */
+export declare const SWIFT_FIXED_SLEEPS: RegExp;
+/**
+ * XCUITest mechanics — `XCUIApplication`, `XCUIElement`, coordinate
+ * taps. In the four-layer model these belong ONLY in protocol drivers
+ * (and only in the driver that owns the deployed-app scope): scope
+ * this screen to the spec/scenario/DSL layers, where any match means
+ * UI mechanics have leaked upward.
+ */
+export declare const XCUITEST_MECHANICS: RegExp;
+/**
+ * An `xcodebuild … test` invocation, for the green-run commit gate.
+ * Matches plain `test`, `test-without-building`, and scheme-qualified
+ * forms. Pair with {@link XCODEBUILD_TEST_SUCCEEDED} /
+ * {@link XCODEBUILD_TEST_FAILED}: xcodebuild prints
+ * `** TEST SUCCEEDED **` / `** TEST FAILED **` verdict banners, and
+ * `xcrun xcresulttool get test-results summary` reports
+ * `"result" : "Passed"`. Either counts as evidence; a recorded
+ * invocation with neither is not a passing suite.
+ *
+ * `-quiet` suppresses the verdict banner (confirmed against a real
+ * run: the last line is just `Testing started`), so with a -quiet
+ * runbook the xcresulttool readback is the ONLY green evidence the
+ * gate will see — make it a mandatory step of "run the tests".
+ */
+export declare const XCODEBUILD_TEST_COMMAND: RegExp;
+export declare const XCODEBUILD_TEST_SUCCEEDED: RegExp;
+export declare const XCODEBUILD_TEST_FAILED: RegExp;
+/** Probe carriers for enforceProbeReversion on an Apple codebase. */
+export declare const SWIFT_PROBE_FILE_PATTERN: RegExp;
+//# sourceMappingURL=swift.d.ts.map

package/dist/rules/swift.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"swift.d.ts","sourceRoot":"","sources":["../../rules/swift.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,QACsB,CAAA;AAErD;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,QAA+C,CAAA;AAE9E;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,uBAAuB,QACqD,CAAA;AAEzF,eAAO,MAAM,yBAAyB,QACyC,CAAA;AAE/E,eAAO,MAAM,sBAAsB,QACqD,CAAA;AAExF,qEAAqE;AACrE,eAAO,MAAM,wBAAwB,QAAsB,CAAA"}

package/dist/rules/swift.js

@@ -0,0 +1,50 @@
+/**
+ * Swift/iOS-shaped deterministic rules and constants for the Probity
+ * presets — the Apple-toolchain counterpart of ./kotlin.ts.
+ *
+ * Most of the enforcement stack is language-neutral and reused as-is
+ * (spec-test-parity, acceptance-language, glossary rules, the
+ * mutation-probe pair, the green-run gate). This module supplies only
+ * what is genuinely Swift/Xcode-specific: content screens for the
+ * acceptance suite and the xcodebuild patterns the generic gates need.
+ * Calibrated against a production iOS app (CocoaPods + SwiftPM
+ * workspace, XCUITest + app-hosted component-test targets, MVVM view
+ * models over use-case ports) — adjust to your layout.
+ */
+/**
+ * Fixed waits in test code — the top cause of flaky XCUITest suites.
+ * Matches `sleep(2)`, `usleep(...)`, `Thread.sleep(forTimeInterval:)`,
+ * and `try await Task.sleep(...)`. Synchronize with XCTest
+ * expectations, predicate expectations, or element-existence timeouts
+ * instead (`waitForExistence(timeout:)`).
+ */
+export const SWIFT_FIXED_SLEEPS = /\b(?:sleep|usleep)\s*\(|Thread\.sleep|Task\.sleep/;
+/**
+ * XCUITest mechanics — `XCUIApplication`, `XCUIElement`, coordinate
+ * taps. In the four-layer model these belong ONLY in protocol drivers
+ * (and only in the driver that owns the deployed-app scope): scope
+ * this screen to the spec/scenario/DSL layers, where any match means
+ * UI mechanics have leaked upward.
+ */
+export const XCUITEST_MECHANICS = /XCUIApplication|XCUIElement|XCUICoordinate/;
+/**
+ * An `xcodebuild … test` invocation, for the green-run commit gate.
+ * Matches plain `test`, `test-without-building`, and scheme-qualified
+ * forms. Pair with {@link XCODEBUILD_TEST_SUCCEEDED} /
+ * {@link XCODEBUILD_TEST_FAILED}: xcodebuild prints
+ * `** TEST SUCCEEDED **` / `** TEST FAILED **` verdict banners, and
+ * `xcrun xcresulttool get test-results summary` reports
+ * `"result" : "Passed"`. Either counts as evidence; a recorded
+ * invocation with neither is not a passing suite.
+ *
+ * `-quiet` suppresses the verdict banner (confirmed against a real
+ * run: the last line is just `Testing started`), so with a -quiet
+ * runbook the xcresulttool readback is the ONLY green evidence the
+ * gate will see — make it a mandatory step of "run the tests".
+ */
+export const XCODEBUILD_TEST_COMMAND = /\bxcodebuild\b[\s\S]*\btest(?:-without-building)?\b|xcresulttool\s+get\s+test-results/;
+export const XCODEBUILD_TEST_SUCCEEDED = /\*\*\s*TEST SUCCEEDED\s*\*\*|"result"\s*:\s*"Passed"|Test Suite '.*' passed/;
+export const XCODEBUILD_TEST_FAILED = /\*\*\s*(?:TEST|BUILD)\s+FAILED\s*\*\*|"result"\s*:\s*"Failed"|Test Suite '.*' failed/;
+/** Probe carriers for enforceProbeReversion on an Apple codebase. */
+export const SWIFT_PROBE_FILE_PATTERN = /\.(?:swift|m|mm)$/;
+//# sourceMappingURL=swift.js.map

package/dist/rules/swift.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"swift.js","sourceRoot":"","sources":["../../rules/swift.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAC7B,mDAAmD,CAAA;AAErD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,4CAA4C,CAAA;AAE9E;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAClC,uFAAuF,CAAA;AAEzF,MAAM,CAAC,MAAM,yBAAyB,GACpC,6EAA6E,CAAA;AAE/E,MAAM,CAAC,MAAM,sBAAsB,GACjC,sFAAsF,CAAA;AAExF,qEAAqE;AACrE,MAAM,CAAC,MAAM,wBAAwB,GAAG,mBAAmB,CAAA"}

package/dist/rules/ubiquitous-language.d.ts

@@ -0,0 +1,36 @@
+import type { Rule } from '@nizos/probity';
+export declare function extractGlossaryTerms(content: string): string[];
+/**
+ * A term is "used" when it appears as a phrase in prose (case-
+ * insensitive, whitespace-tolerant) or as an identifier in code —
+ * PascalCase, camelCase, or snake_case concatenations of its words
+ * ("Delivery Window" → DeliveryWindow, deliveryWindow,
+ * delivery_window).
+ */
+export declare function termUsagePattern(term: string): RegExp;
+/**
+ * Surfaces glossary drift at the moment it is created: when a write
+ * to the glossary removes or renames a term that specs, tests, or
+ * source code still use, the write is blocked with the list of files
+ * using the term — rename the usages in the same change (or record
+ * the old term's fate in the glossary entry) and re-apply. Removing
+ * a term nothing uses passes silently, as do additions and
+ * definition edits.
+ *
+ * The companion invariant — new spec/port vocabulary conforming to
+ * the glossary — is judged by `enforceAcceptanceLanguage` and
+ * `enforcePortsBoundary` when given `glossaryPath`.
+ *
+ * Applies to: write actions to the glossary file (scope via a
+ * `{ files, rules }` block on its path). Deterministic — no AI call.
+ *
+ * @param options.searchRoots — absolute paths to scan for usages
+ *   (repo root is fine; node_modules/build dirs are skipped).
+ * @param options.searchPattern — which files count as usage sites
+ *   (default: common source, spec, and doc extensions).
+ */
+export declare function surfaceGlossaryTermBreakage(options: {
+    searchRoots: string[];
+    searchPattern?: RegExp;
+}): Rule;
+//# sourceMappingURL=ubiquitous-language.d.ts.map

package/dist/rules/ubiquitous-language.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ubiquitous-language.d.ts","sourceRoot":"","sources":["../../rules/ubiquitous-language.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAU,IAAI,EAA2B,MAAM,gBAAgB,CAAA;AAiB3E,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAE9D;AAMD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAcrD;AA+BD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,2BAA2B,CAAC,OAAO,EAAE;IACnD,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB,aAAa,CAAC,EAAE,MAAM,CAAA;CACvB,GAAG,IAAI,CA8CP"}