@gate-forge/pack-workflow 0.1.0

package/dist/detector.js

@@ -0,0 +1,514 @@
+import { isAbsolute, resolve } from 'node:path';
+import { readFileSync } from 'node:fs';
+import ts from 'typescript';
+import { GATEFORGE_SCHEMA_VERSION, LocationSchema } from '@gate-forge/core';
+import { PACK_PLUGIN_ID, PACK_VERSION } from './version.js';
+/** Stable detector kind for every workflow resource this pack emits. */
+export const WORKFLOW_CONTRACT_KIND = 'workflow.contract';
+// ---------------------------------------------------------------------------
+// Public factory
+// ---------------------------------------------------------------------------
+/**
+ * Creates a discover-capable detector module. The default export of the
+ * pack is `createWorkflowDetector()` — the CLI in-process contract.
+ *
+ * Args:
+ *   options: Detector configuration (cwd, identity overrides).
+ *
+ * Returns:
+ *   WorkflowDetector: the pinned `{ discover(paths) }` module.
+ */
+export function createWorkflowDetector(options = {}) {
+    const cwd = options.cwd ?? process.cwd();
+    const detectorId = options.detectorId ?? PACK_PLUGIN_ID;
+    const detectorVersion = options.detectorVersion ?? PACK_VERSION;
+    return {
+        async discover(paths) {
+            const out = { resources: [], unresolved: [], findings: [], classificationSignals: [] };
+            if (paths.length === 0)
+                return out;
+            const machines = [];
+            const findings = [];
+            const scanned = [];
+            for (const rawPath of paths) {
+                const path = isAbsolute(rawPath) ? rawPath : resolve(cwd, rawPath);
+                let source;
+                try {
+                    source = readFileSync(path, 'utf8');
+                }
+                catch {
+                    out.unresolved.push({
+                        code: 'WORKFLOW_READ_FAILED',
+                        detail: `could not read source file: ${path}`,
+                        location: {
+                            file: path,
+                            line: 1,
+                            col: 0,
+                        },
+                    });
+                    continue;
+                }
+                scanned.push(relPath(cwd, path));
+                const sf = ts.createSourceFile(path, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TSX);
+                const visit = createVisitor({
+                    file: path,
+                    sourceFile: sf,
+                    cwd,
+                    onMachine: (m) => machines.push(m),
+                    onFinding: (f) => findings.push(f),
+                    onUnresolved: (u) => out.unresolved.push(u),
+                });
+                ts.forEachChild(sf, visit);
+            }
+            // Deterministic ordering: sort by id (stable, total).
+            machines.sort((a, b) => (a.idFragment < b.idFragment ? -1 : a.idFragment > b.idFragment ? 1 : 0));
+            for (const machine of machines) {
+                const resource = finalizeMachine(machine, detectorId, detectorVersion);
+                out.resources.push(resource);
+            }
+            // Findings are sorted by `code` then by `file` then by `line`.
+            findings.sort((a, b) => {
+                if (a.code !== b.code)
+                    return a.code < b.code ? -1 : 1;
+                const aLoc = a.locations[0];
+                const bLoc = b.locations[0];
+                if (aLoc.file !== bLoc.file)
+                    return aLoc.file < bLoc.file ? -1 : 1;
+                return aLoc.line - bLoc.line;
+            });
+            out.findings.push(...findings);
+            return { ...out, scannedPaths: scanned.sort() };
+        },
+    };
+}
+function createVisitor(ctx) {
+    return function visit(node) {
+        // XState v5: `createMachine({ ... })` OR `setup({ ... }).createMachine({ ... })`.
+        if (ts.isCallExpression(node)) {
+            const expr = node.expression;
+            if (isCreateMachineCall(expr)) {
+                const machine = tryExtractXstateMachine(ctx, node);
+                if (machine !== null) {
+                    ctx.onMachine(machine);
+                }
+            }
+            else if (ts.isIdentifier(expr) && expr.text === 'create') {
+                // Zustand slice: `create((set, get) => ({ status, transition: ... }))`.
+                const machine = tryExtractZustandSlice(ctx, node);
+                if (machine !== null) {
+                    ctx.onMachine(machine);
+                }
+            }
+        }
+        // Hand-rolled FSM class: a `ClassDeclaration` whose name ends in
+        // `Machine` / `FSM` / `State` / `Workflow` and whose body mentions a
+        // `transitions` member.
+        if (ts.isClassDeclaration(node) && node.name !== undefined) {
+            const machine = tryExtractFsmClass(ctx, node);
+            if (machine !== null) {
+                ctx.onMachine(machine);
+            }
+        }
+        // Enum + switch transition guard: an enum + a switch whose discriminant
+        // is the enum identifier.
+        if (ts.isEnumDeclaration(node) || ts.isVariableStatement(node)) {
+            const machine = tryExtractEnumSwitch(ctx, node);
+            if (machine !== null) {
+                ctx.onMachine(machine);
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+}
+// ---------------------------------------------------------------------------
+// XState v5 detector arm
+// ---------------------------------------------------------------------------
+function isCreateMachineCall(expr) {
+    if (ts.isIdentifier(expr) && expr.text === 'createMachine')
+        return true;
+    if (ts.isPropertyAccessExpression(expr) && expr.name.text === 'createMachine')
+        return true;
+    return false;
+}
+/**
+ * Emits the typed finding for a `createMachine` call that cannot be
+ * parsed as a known FSM style. Fail-closed: no resource is produced, and
+ * the reason surfaces as a gate-visible finding instead of silence.
+ */
+function unknownFsmStyleFinding(ctx, call, cause) {
+    const { sourceFile } = ctx;
+    const lc = sourceFile.getLineAndCharacterOfPosition(call.getStart(sourceFile));
+    return {
+        code: 'UNKNOWN_FSM_STYLE',
+        detail: `createMachine call could not be parsed as a known FSM style: ${cause}; no workflow resource is emitted from this call`,
+        locations: [{ file: relPath(ctx.cwd, ctx.file), line: lc.line + 1, col: lc.character }],
+    };
+}
+function tryExtractXstateMachine(ctx, call) {
+    const arg = call.arguments[0];
+    if (arg === undefined || !ts.isObjectLiteralExpression(arg)) {
+        ctx.onFinding(unknownFsmStyleFinding(ctx, call, 'the config argument is not an object literal'));
+        return null;
+    }
+    const statesProp = arg.properties.find((p) => ts.isPropertyAssignment(p) && ts.isIdentifier(p.name) && p.name.text === 'states');
+    if (statesProp === undefined) {
+        ctx.onFinding(unknownFsmStyleFinding(ctx, call, 'the config declares no `states` object'));
+        return null;
+    }
+    if (!ts.isObjectLiteralExpression(statesProp.initializer)) {
+        ctx.onFinding(unknownFsmStyleFinding(ctx, call, '`states` is not an object literal'));
+        return null;
+    }
+    const machine = newMachine(ctx, 'xstate');
+    const stateNames = [];
+    for (const stateProp of statesProp.initializer.properties) {
+        if (!ts.isPropertyAssignment(stateProp) || !ts.isIdentifier(stateProp.name))
+            continue;
+        const stateName = stateProp.name.text;
+        if (stateName === undefined)
+            continue;
+        stateNames.push(stateName);
+        machine.states.add(stateName);
+        if (ts.isObjectLiteralExpression(stateProp.initializer)) {
+            const onProp = stateProp.initializer.properties.find((p) => ts.isPropertyAssignment(p) && ts.isIdentifier(p.name) && p.name.text === 'on');
+            if (onProp !== undefined && ts.isObjectLiteralExpression(onProp.initializer)) {
+                for (const eventProp of onProp.initializer.properties) {
+                    if (!ts.isPropertyAssignment(eventProp))
+                        continue;
+                    const eventName = propertyName(eventProp);
+                    if (eventName === null)
+                        continue;
+                    if (!ts.isObjectLiteralExpression(eventProp.initializer))
+                        continue;
+                    const targetProp = eventProp.initializer.properties.find((p) => ts.isPropertyAssignment(p) && (ts.isIdentifier(p.name) || ts.isStringLiteral(p.name)) &&
+                        (ts.isIdentifier(p.name) ? p.name.text === 'target' : p.name.text === 'target'));
+                    if (targetProp === undefined)
+                        continue;
+                    const target = stringValue(targetProp.initializer);
+                    if (target === null)
+                        continue;
+                    // XState supports `target: 'foo' | 'bar' | undefined`. We split on `|`.
+                    for (const part of target.split('|')) {
+                        const cleaned = part.trim();
+                        if (cleaned.length === 0)
+                            continue;
+                        machine.states.add(cleaned);
+                        machine.transitions.push({ from: stateName, to: cleaned, action: eventName });
+                    }
+                }
+            }
+        }
+    }
+    if (machine.states.size === 0) {
+        ctx.onFinding(unknownFsmStyleFinding(ctx, call, 'the `states` object declares no states'));
+        return null;
+    }
+    machine.claimed = true;
+    machine.auditEvent = ctx.sourceFile.text.includes('audit') || ctx.sourceFile.text.includes('appendFile');
+    machine.name = deriveXstateName(ctx, call, stateNames);
+    machine.idFragment = `${machine.domain}.${machine.name}`;
+    return machine;
+}
+function deriveXstateName(ctx, call, stateNames) {
+    // Prefer the enclosing variable declaration's identifier (typical usage:
+    // `export const contractMachine = createMachine({ ... })`).
+    const parent = call.parent;
+    if (parent !== undefined && ts.isVariableDeclaration(parent) && ts.isIdentifier(parent.name)) {
+        return lower(parent.name.text);
+    }
+    // Fall back to the first state name (better than nothing).
+    const first = stateNames[0];
+    return lower(first ?? ctx.file);
+}
+// ---------------------------------------------------------------------------
+// Hand-rolled FSM class detector arm
+// ---------------------------------------------------------------------------
+function tryExtractFsmClass(ctx, decl) {
+    const className = decl.name?.text;
+    if (className === undefined)
+        return null;
+    if (!/Machine$|FSM$|StateMachine$|Workflow$/.test(className))
+        return null;
+    const machine = newMachine(ctx, 'fsm');
+    const seenTransitions = new Set();
+    for (const member of decl.members) {
+        if (ts.isPropertyDeclaration(member) && ts.isIdentifier(member.name) && member.name.text === 'transitions' &&
+            member.initializer !== undefined && ts.isObjectLiteralExpression(member.initializer)) {
+            for (const fromProp of member.initializer.properties) {
+                if (!ts.isPropertyAssignment(fromProp))
+                    continue;
+                const from = propertyName(fromProp);
+                if (from === null)
+                    continue;
+                machine.states.add(from);
+                if (!ts.isObjectLiteralExpression(fromProp.initializer))
+                    continue;
+                const onProp = fromProp.initializer.properties.find((p) => ts.isPropertyAssignment(p) && ts.isIdentifier(p.name) && p.name.text === 'on');
+                if (onProp === undefined || !ts.isObjectLiteralExpression(onProp.initializer))
+                    continue;
+                for (const eventProp of onProp.initializer.properties) {
+                    if (!ts.isPropertyAssignment(eventProp))
+                        continue;
+                    const eventName = propertyName(eventProp);
+                    if (eventName === null)
+                        continue;
+                    const to = stringValue(eventProp.initializer);
+                    if (to === null)
+                        continue;
+                    machine.states.add(to);
+                    const key = `${from}::${eventName}::${to}`;
+                    if (seenTransitions.has(key))
+                        continue;
+                    seenTransitions.add(key);
+                    machine.transitions.push({ from, to, action: eventName });
+                }
+            }
+        }
+    }
+    if (machine.states.size === 0)
+        return null;
+    machine.claimed = true;
+    machine.name = lower(className);
+    machine.idFragment = `${machine.domain}.${machine.name}`;
+    machine.auditEvent = ctx.sourceFile.text.includes('audit') || ctx.sourceFile.text.includes('appendFile');
+    return machine;
+}
+// ---------------------------------------------------------------------------
+// Enum + switch transition guard detector arm
+// ---------------------------------------------------------------------------
+function tryExtractEnumSwitch(ctx, node) {
+    // Detect enum declarations (TS enums).
+    if (ts.isEnumDeclaration(node)) {
+        const machine = newMachine(ctx, 'enum-switch');
+        for (const member of node.members) {
+            const name = ts.isEnumMember(member) && member.name !== undefined
+                ? (ts.isIdentifier(member.name) ? member.name.text : member.name.getText(ctx.sourceFile))
+                : null;
+            if (name !== null)
+                machine.states.add(name);
+        }
+        // Look at sibling switch statements in the file.
+        collectEnumSwitchCases(ctx, machine);
+        if (machine.states.size === 0)
+            return null;
+        machine.claimed = true;
+        machine.name = lower(node.name.text);
+        machine.idFragment = `${machine.domain}.${machine.name}`;
+        machine.auditEvent = ctx.sourceFile.text.includes('audit') || ctx.sourceFile.text.includes('appendFile');
+        return machine;
+    }
+    // Detect `const X = { FOO: 'foo', ... } as const` style enums.
+    if (ts.isVariableStatement(node)) {
+        for (const decl of node.declarationList.declarations) {
+            if (!ts.isIdentifier(decl.name))
+                continue;
+            const init = decl.initializer;
+            if (init === undefined || !ts.isObjectLiteralExpression(init))
+                continue;
+            const machine = newMachine(ctx, 'enum-switch');
+            let looksLikeEnum = false;
+            for (const prop of init.properties) {
+                if (!ts.isPropertyAssignment(prop))
+                    continue;
+                const name = propertyName(prop);
+                if (name === null)
+                    continue;
+                const val = stringValue(prop.initializer);
+                if (val !== null) {
+                    machine.states.add(val);
+                    looksLikeEnum = true;
+                }
+                else {
+                    machine.states.add(name);
+                }
+            }
+            if (!looksLikeEnum)
+                continue;
+            collectEnumSwitchCases(ctx, machine);
+            if (machine.states.size === 0)
+                continue;
+            machine.claimed = true;
+            machine.name = lower(decl.name.text);
+            machine.idFragment = `${machine.domain}.${machine.name}`;
+            machine.auditEvent = ctx.sourceFile.text.includes('audit') || ctx.sourceFile.text.includes('appendFile');
+            return machine;
+        }
+    }
+    return null;
+}
+function collectEnumSwitchCases(ctx, machine) {
+    // Walk the entire file looking for switch statements whose cases
+    // mention the machine's state identifiers.
+    const visit = (node) => {
+        if (ts.isSwitchStatement(node)) {
+            const discriminant = node.expression.getText(ctx.sourceFile);
+            for (const state of machine.states) {
+                if (discriminant.toLowerCase().includes(state.toLowerCase())) {
+                    for (const clause of node.caseBlock.clauses) {
+                        if (ts.isCaseClause(clause)) {
+                            const caseText = clause.expression.getText(ctx.sourceFile).replaceAll('"', '').replaceAll("'", '').trim();
+                            if (caseText.length === 0)
+                                continue;
+                            machine.states.add(caseText);
+                            machine.transitions.push({ from: state, to: caseText, action: caseText });
+                        }
+                    }
+                    break;
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(ctx.sourceFile, visit);
+}
+// ---------------------------------------------------------------------------
+// Zustand state-slice detector arm
+// ---------------------------------------------------------------------------
+function tryExtractZustandSlice(ctx, call) {
+    const arg = call.arguments[0];
+    if (arg === undefined || !ts.isArrowFunction(arg) && !ts.isFunctionExpression(arg))
+        return null;
+    if (!ts.isObjectLiteralExpression(arg.body))
+        return null;
+    const machine = newMachine(ctx, 'zustand-slice');
+    for (const prop of arg.body.properties) {
+        if (!ts.isPropertyAssignment(prop))
+            continue;
+        const name = propertyName(prop);
+        if (name === null)
+            continue;
+        if (name === 'status' || name === 'state') {
+            const initial = stringValue(prop.initializer);
+            if (initial !== null)
+                machine.states.add(initial);
+            continue;
+        }
+        if (name === 'transition' || name === 'set' || name === 'move') {
+            const init = prop.initializer;
+            if (init === undefined)
+                continue;
+            const text = init.getText(ctx.sourceFile);
+            const matches = text.matchAll(/['"]([a-zA-Z][a-zA-Z0-9_-]*)['"]/g);
+            for (const m of matches) {
+                const literal = m[1];
+                if (literal !== undefined)
+                    machine.states.add(literal);
+            }
+        }
+    }
+    if (machine.states.size === 0)
+        return null;
+    machine.claimed = true;
+    // Naming: prefer the variable assignment that wraps the call.
+    const parent = call.parent;
+    if (parent !== undefined && ts.isVariableDeclaration(parent) && ts.isIdentifier(parent.name)) {
+        machine.name = lower(machine.states.values().next().value ?? ctx.file);
+    }
+    machine.idFragment = `${machine.domain}.${machine.name}`;
+    machine.auditEvent = ctx.sourceFile.text.includes('audit') || ctx.sourceFile.text.includes('appendFile');
+    return machine;
+}
+// ---------------------------------------------------------------------------
+// Resource finalisation
+// ---------------------------------------------------------------------------
+function finalizeMachine(machine, detectorId, detectorVersion) {
+    const states = [...machine.states].sort();
+    const transitions = dedupTransitions(machine.transitions);
+    const outgoing = new Set();
+    for (const t of transitions)
+        outgoing.add(t.from);
+    const terminal = states.filter((s) => !outgoing.has(s));
+    // The graph identity must satisfy the bare-name grammar (`^[^.]+$`):
+    // the dotted `idFragment` (`domain.name`) stays on the resource id, the
+    // dashed bare form is the graph-visible name. A normalized collision
+    // with another machine surfaces downstream as a duplicate-id finding —
+    // never silently merged.
+    const attributes = {
+        resourceName: machine.idFragment.replace(/[^A-Za-z0-9_-]/g, '-'),
+        states,
+        transitions,
+        terminal,
+        auditEvent: machine.auditEvent,
+        style: machine.style,
+        domain: machine.domain,
+    };
+    return {
+        schemaVersion: GATEFORGE_SCHEMA_VERSION,
+        id: `workflow.contract.${machine.idFragment}`,
+        kind: WORKFLOW_CONTRACT_KIND,
+        source: machine.location.file,
+        location: machine.location,
+        detectorVersion,
+        attributes: attributes,
+    };
+    // `detectorId` is consumed by the graph stage (handshake-pinned at
+    // plugin registration); the in-process detector's resource records
+    // use `detectorVersion` only.
+    void detectorId;
+}
+function dedupTransitions(list) {
+    const seen = new Set();
+    const out = [];
+    for (const t of list) {
+        const key = `${t.from}::${t.action}::${t.to}`;
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        out.push(t);
+    }
+    out.sort((a, b) => {
+        if (a.from !== b.from)
+            return a.from < b.from ? -1 : 1;
+        if (a.action !== b.action)
+            return a.action < b.action ? -1 : 1;
+        return a.to < b.to ? -1 : a.to > b.to ? 1 : 0;
+    });
+    return out;
+}
+// ---------------------------------------------------------------------------
+// Small helpers
+function newMachine(ctx, style) {
+    const { file, sourceFile } = ctx;
+    const lc = sourceFile.getLineAndCharacterOfPosition(0);
+    const domain = inferDomain(file);
+    return {
+        idFragment: `${domain}.unknown`,
+        name: 'unknown',
+        domain,
+        location: { file: relPath(ctx.cwd, file), line: lc.line + 1, col: lc.character },
+        states: new Set(),
+        transitions: [],
+        style,
+        auditEvent: false,
+        claimed: false,
+    };
+}
+function inferDomain(file) {
+    const base = file.split('/').pop() ?? file;
+    const stripped = base.replace(/\.(ts|tsx|js|mjs|cjs)$/i, '');
+    return lower(stripped);
+}
+function relPath(cwd, file) {
+    if (file.startsWith(cwd + '/'))
+        return file.slice(cwd.length + 1);
+    return file;
+}
+function propertyName(prop) {
+    const name = prop.name;
+    if (ts.isIdentifier(name) || ts.isStringLiteral(name) || ts.isNumericLiteral(name)) {
+        return name.text;
+    }
+    return null;
+}
+function stringValue(expr) {
+    if (ts.isStringLiteral(expr) || ts.isNoSubstitutionTemplateLiteral(expr)) {
+        return expr.text;
+    }
+    if (ts.isIdentifier(expr))
+        return expr.text;
+    return null;
+}
+function lower(value) {
+    return value.replace(/[^A-Za-z0-9]+/g, '-').toLowerCase().replace(/^-|-$/g, '') || 'unknown';
+}
+//# sourceMappingURL=detector.js.map

package/dist/detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"detector.js","sourceRoot":"","sources":["../src/detector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAI5E,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAG5D,wEAAwE;AACxE,MAAM,CAAC,MAAM,sBAAsB,GAAG,mBAAmB,CAAC;AAgE1D,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAmC,EAAE;IAErC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,cAAc,CAAC;IACxD,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,IAAI,YAAY,CAAC;IAEhE,OAAO;QACL,KAAK,CAAC,QAAQ,CAAC,KAAK;YAClB,MAAM,GAAG,GAAqB,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,qBAAqB,EAAE,EAAE,EAAE,CAAC;YACzG,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,GAAG,CAAC;YACnC,MAAM,QAAQ,GAAqB,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAsB,EAAE,CAAC;YACvC,MAAM,OAAO,GAAa,EAAE,CAAC;YAE7B,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gBACnE,IAAI,MAAc,CAAC;gBACnB,IAAI,CAAC;oBACH,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACtC,CAAC;gBAAC,MAAM,CAAC;oBACP,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;wBAClB,IAAI,EAAE,sBAAsB;wBAC5B,MAAM,EAAE,+BAA+B,IAAI,EAAE;wBAC7C,QAAQ,EAAE;4BACR,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,CAAC;4BACP,GAAG,EAAE,CAAC;yBACP;qBACF,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;gBACjC,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;gBAC9F,MAAM,KAAK,GAAG,aAAa,CAAC;oBAC1B,IAAI,EAAE,IAAI;oBACV,UAAU,EAAE,EAAE;oBACd,GAAG;oBACH,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;oBAClC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;oBAClC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;iBAC5C,CAAC,CAAC;gBACH,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC7B,CAAC;YAED,sDAAsD;YACtD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAElG,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;gBACvE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/B,CAAC;YAED,+DAA+D;YAC/D,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;oBAAE,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvD,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;gBAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;oBAAE,OAAO,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnE,OAAO,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YAC/B,CAAC,CAAC,CAAC;YACH,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;YAC/B,OAAO,EAAE,GAAG,GAAG,EAAE,YAAY,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAClD,CAAC;KACF,CAAC;AACJ,CAAC;AAeD,SAAS,aAAa,CAAC,GAAmB;IACxC,OAAO,SAAS,KAAK,CAAC,IAAa;QACjC,kFAAkF;QAClF,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YAC7B,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,OAAO,GAAG,uBAAuB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACnD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;oBACrB,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;iBAAM,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC3D,wEAAwE;gBACxE,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAClD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;oBACrB,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QAED,iEAAiE;QACjE,qEAAqE;QACrE,wBAAwB;QACxB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3D,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC9C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,wEAAwE;QACxE,0BAA0B;QAC1B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/D,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAChD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E,SAAS,mBAAmB,CAAC,IAAmB;IAC9C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC;IAC3F,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,sBAAsB,CAC7B,GAAmB,EACnB,IAAuB,EACvB,KAAa;IAEb,MAAM,EAAE,UAAU,EAAE,GAAG,GAAG,CAAC;IAC3B,MAAM,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/E,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,gEAAgE,KAAK,kDAAkD;QAC/H,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC;KACxF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,GAAmB,EACnB,IAAuB;IAEvB,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,SAAS,CACX,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,8CAA8C,CAAC,CAClF,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CACpC,CAAC,CAAC,EAA8B,EAAE,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CACrH,CAAC;IACF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,GAAG,CAAC,SAAS,CACX,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,wCAAwC,CAAC,CAC5E,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1D,GAAG,CAAC,SAAS,CACX,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,mCAAmC,CAAC,CACvE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAmB,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;QAC1D,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;YAAE,SAAS;QACtF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QACtC,IAAI,SAAS,KAAK,SAAS;YAAE,SAAS;QACtC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAClD,CAAC,CAAC,EAA8B,EAAE,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CACjH,CAAC;YACF,IAAI,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC7E,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;oBACtD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC;wBAAE,SAAS;oBAClD,MAAM,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;oBAC1C,IAAI,SAAS,KAAK,IAAI;wBAAE,SAAS;oBACjC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,WAAW,CAAC;wBAAE,SAAS;oBACnE,MAAM,UAAU,GAAG,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CACtD,CAAC,CAAC,EAA8B,EAAE,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBACtH,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAClF,CAAC;oBACF,IAAI,UAAU,KAAK,SAAS;wBAAE,SAAS;oBACvC,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;oBACnD,IAAI,MAAM,KAAK,IAAI;wBAAE,SAAS;oBAC9B,wEAAwE;oBACxE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;wBACrC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;wBAC5B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;4BAAE,SAAS;wBACnC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;wBAC5B,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;oBAChF,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC9B,GAAG,CAAC,SAAS,CAAC,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,wCAAwC,CAAC,CAAC,CAAC;QAC3F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;IACvB,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACzG,OAAO,CAAC,IAAI,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACvD,OAAO,CAAC,UAAU,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;IACzD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAmB,EAAE,IAAuB,EAAE,UAAoB;IAC1F,yEAAyE;IACzE,4DAA4D;IAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7F,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,2DAA2D;IAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC,KAAK,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,8EAA8E;AAC9E,qCAAqC;AACrC,8EAA8E;AAE9E,SAAS,kBAAkB,CAAC,GAAmB,EAAE,IAAyB;IACxE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;IAClC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,CAAC,uCAAuC,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1E,MAAM,OAAO,GAAmB,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACvD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAE1C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;YACtG,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;YACzF,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;gBACrD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBACjD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;gBACpC,IAAI,IAAI,KAAK,IAAI;oBAAE,SAAS;gBAC5B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACzB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,WAAW,CAAC;oBAAE,SAAS;gBAClE,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CACjD,CAAC,CAAC,EAA8B,EAAE,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CACjH,CAAC;gBACF,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,WAAW,CAAC;oBAAE,SAAS;gBACxF,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;oBACtD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC;wBAAE,SAAS;oBAClD,MAAM,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;oBAC1C,IAAI,SAAS,KAAK,IAAI;wBAAE,SAAS;oBACjC,MAAM,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;oBAC9C,IAAI,EAAE,KAAK,IAAI;wBAAE,SAAS;oBAC1B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACvB,MAAM,GAAG,GAAG,GAAG,IAAI,KAAK,SAAS,KAAK,EAAE,EAAE,CAAC;oBAC3C,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC;wBAAE,SAAS;oBACvC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACzB,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;IACvB,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IAChC,OAAO,CAAC,UAAU,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;IACzD,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACzG,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,8CAA8C;AAC9C,8EAA8E;AAE9E,SAAS,oBAAoB,CAAC,GAAmB,EAAE,IAAa;IAC9D,uCAAuC;IACvC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAmB,UAAU,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;QAC/D,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;gBAC/D,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBACzF,CAAC,CAAC,IAAI,CAAC;YACT,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9C,CAAC;QACD,iDAAiD;QACjD,sBAAsB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACrC,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3C,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;QACvB,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,OAAO,CAAC,UAAU,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACzD,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACzG,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,+DAA+D;IAC/D,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACrD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;YAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxE,MAAM,OAAO,GAAmB,UAAU,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;YAC/D,IAAI,aAAa,GAAG,KAAK,CAAC;YAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACnC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC7C,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,IAAI,KAAK,IAAI;oBAAE,SAAS;gBAC5B,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC1C,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;oBACjB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACxB,aAAa,GAAG,IAAI,CAAC;gBACvB,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YACD,IAAI,CAAC,aAAa;gBAAE,SAAS;YAC7B,sBAAsB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACrC,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;gBAAE,SAAS;YACxC,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;YACvB,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,UAAU,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACzD,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;YACzG,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAAC,GAAmB,EAAE,OAAuB;IAC1E,iEAAiE;IACjE,2CAA2C;IAC3C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC7D,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnC,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;oBAC7D,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;wBAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;4BAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;4BAC1G,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gCAAE,SAAS;4BACpC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;4BAC7B,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;wBAC5E,CAAC;oBACH,CAAC;oBACD,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC;AAED,8EAA8E;AAC9E,mCAAmC;AACnC,8EAA8E;AAE9E,SAAS,sBAAsB,CAAC,GAAmB,EAAE,IAAuB;IAC1E,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChG,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAEzD,MAAM,OAAO,GAAmB,UAAU,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;IACjE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACvC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7C,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC9C,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;YAC9B,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YACjC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,mCAAmC,CAAC,CAAC;YACnE,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACrB,IAAI,OAAO,KAAK,SAAS;oBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;IACvB,8DAA8D;IAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7F,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,CAAC,UAAU,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;IACzD,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACzG,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E,SAAS,eAAe,CACtB,OAAuB,EACvB,UAAkB,EAClB,eAAuB;IAEvB,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAExD,qEAAqE;IACrE,wEAAwE;IACxE,qEAAqE;IACrE,uEAAuE;IACvE,yBAAyB;IACzB,MAAM,UAAU,GAA+B;QAC7C,YAAY,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC;QAChE,MAAM;QACN,WAAW;QACX,QAAQ;QACR,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC;IAEF,OAAO;QACL,aAAa,EAAE,wBAAwB;QACvC,EAAE,EAAE,qBAAqB,OAAO,CAAC,UAAU,EAAE;QAC7C,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;QAC7B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,eAAe;QACf,UAAU,EAAE,UAAgD;KAC7D,CAAC;IACF,mEAAmE;IACnE,mEAAmE;IACnE,8BAA8B;IAC9B,KAAK,UAAU,CAAC;AAClB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAmC;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAChB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,gBAAgB;AAChB,SAAS,UAAU,CAAC,GAAmB,EAAE,KAAe;IACtD,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,GAAG,CAAC;IACjC,MAAM,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO;QACL,UAAU,EAAE,GAAG,MAAM,UAAU;QAC/B,IAAI,EAAE,SAAS;QACf,MAAM;QACN,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,SAAS,EAAE;QAChF,MAAM,EAAE,IAAI,GAAG,EAAU;QACzB,WAAW,EAAE,EAAE;QACf,KAAK;QACL,UAAU,EAAE,KAAK;QACjB,OAAO,EAAE,KAAK;KACf,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,OAAO,CAAC,GAAW,EAAE,IAAY;IACxC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,IAA2B;IAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnF,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;QACzE,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,KAAK,CAAC,KAAa;IAC1B,OAAO,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,SAAS,CAAC;AAC/F,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,8 @@
+export { PACK_PLUGIN_ID, PACK_VERSION } from './version.js';
+export { createWorkflowDetector, WORKFLOW_CONTRACT_KIND, type FsmStyle, type WorkflowContractAttributes, type WorkflowDetector, type WorkflowDetectorOptions, type WorkflowTransition, } from './detector.js';
+export { WORKFLOW_OBLIGATION_CONTRACTS, WORKFLOW_TRANSITION_ALLOWED, WORKFLOW_TRANSITION_REJECTED, WORKFLOW_TERMINAL_IMMUTABLE, WORKFLOW_AUDIT_EMITTED, WORKFLOW_PERSISTED_FINAL_STATE, obligationsForWorkflowResource, } from './obligations.js';
+export { WorkflowAdapterSchema, auditLogContainsTransition, projectAuditRow, validateWorkflowAdapter, type AuditRow, type RawAuditLog, type RawEntity, type TransitionOutcome, type TransitionRequest, type WorkflowAdapter, type WorkflowAdapterContext, type WorkflowAdapterValidation, } from './adapter-schema.js';
+/** The default CLI in-process plugin module: `{ discover(paths) }`. */
+declare const _default: import("./detector.js").WorkflowDetector;
+export default _default;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAyBA,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,KAAK,QAAQ,EACb,KAAK,0BAA0B,EAC/B,KAAK,gBAAgB,EACrB,KAAK,uBAAuB,EAC5B,KAAK,kBAAkB,GACxB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,6BAA6B,EAC7B,2BAA2B,EAC3B,4BAA4B,EAC5B,2BAA2B,EAC3B,sBAAsB,EACtB,8BAA8B,EAC9B,8BAA8B,GAC/B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,eAAe,EACf,uBAAuB,EACvB,KAAK,QAAQ,EACb,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,sBAAsB,EAC3B,KAAK,yBAAyB,GAC/B,MAAM,qBAAqB,CAAC;AAE7B,uEAAuE;;AACvE,wBAAwC"}

package/dist/index.js

@@ -0,0 +1,31 @@
+/**
+ * @gate-forge/pack-workflow — workflow / state-machine discovery pack.
+ *
+ * Detects state machines from TypeScript / JavaScript source via the
+ * TypeScript compiler API (AST only — no execution, no module
+ * resolution) and exposes the pinned GPP/3 discovery vocabulary of
+ * the resource graph: one `workflow.contract.<domain>.<name>` resource
+ * per detected FSM carrying `states[]`, `transitions[]`,
+ * `terminal[]`, `auditEvent: boolean`, and `style`.
+ *
+ * The five workflow obligation contracts (mirrored by
+ * {@link WORKFLOW_OBLIGATION_CONTRACTS}) drive policy generation:
+ * `workflow:transition-allowed`, `workflow:transition-rejected`,
+ * `workflow:terminal-immutable`, `workflow:audit-emitted`,
+ * `workflow:persisted-final-state`.
+ *
+ * The default export is the CLI in-process plugin contract
+ * (`discover(paths)`); the same `createWorkflowDetector()` factory
+ * underpins tests and the witness service's adapter binding.
+ *
+ * See README.md for the adapter schema and the example workflow
+ * server on port 3002.
+ */
+import { createWorkflowDetector } from './detector.js';
+export { PACK_PLUGIN_ID, PACK_VERSION } from './version.js';
+export { createWorkflowDetector, WORKFLOW_CONTRACT_KIND, } from './detector.js';
+export { WORKFLOW_OBLIGATION_CONTRACTS, WORKFLOW_TRANSITION_ALLOWED, WORKFLOW_TRANSITION_REJECTED, WORKFLOW_TERMINAL_IMMUTABLE, WORKFLOW_AUDIT_EMITTED, WORKFLOW_PERSISTED_FINAL_STATE, obligationsForWorkflowResource, } from './obligations.js';
+export { WorkflowAdapterSchema, auditLogContainsTransition, projectAuditRow, validateWorkflowAdapter, } from './adapter-schema.js';
+/** The default CLI in-process plugin module: `{ discover(paths) }`. */
+export default createWorkflowDetector();
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAEvD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EACL,sBAAsB,EACtB,sBAAsB,GAMvB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,6BAA6B,EAC7B,2BAA2B,EAC3B,4BAA4B,EAC5B,2BAA2B,EAC3B,sBAAsB,EACtB,8BAA8B,EAC9B,8BAA8B,GAC/B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,eAAe,EACf,uBAAuB,GASxB,MAAM,qBAAqB,CAAC;AAE7B,uEAAuE;AACvE,eAAe,sBAAsB,EAAE,CAAC"}

package/dist/obligations.d.ts

@@ -0,0 +1,58 @@
+/**
+ * Obligation contract vocabulary for the workflow pack.
+ *
+ * Every discovered `workflow.contract.*` resource generates the same
+ * five obligations (the policy stage of the engine chooses a subset
+ * based on classification; the contracts themselves are fixed). The
+ * contract names are the suffix of the obligation id
+ * `<resourceId>:<contract>`; resource ids always start with
+ * `workflow.contract.`, so obligation ids look like
+ * `workflow.contract.contracts.draft:workflow:transition-allowed`.
+ *
+ * The five contracts mirror the root plan §6 "Workflow pack" obligations
+ * (valid transition / invalid transition / persisted final state /
+ * audit event records actor and transition) plus an explicit
+ * terminal-immutability obligation that the e2e suite exercises.
+ */
+/** Valid transition succeeds + persists + appends an audit row. */
+export declare const WORKFLOW_TRANSITION_ALLOWED = "workflow:transition-allowed";
+/**
+ * Invalid transition is rejected: the adapter's `attemptTransition`
+ * returns `{ accepted: false }`, the persisted state is unchanged, and
+ * no audit row is appended.
+ */
+export declare const WORKFLOW_TRANSITION_REJECTED = "workflow:transition-rejected";
+/**
+ * Any write attempt against a terminal state is rejected with
+ * `{ accepted: false, reason: 'terminal-state' }`; no audit row is
+ * appended.
+ */
+export declare const WORKFLOW_TERMINAL_IMMUTABLE = "workflow:terminal-immutable";
+/**
+ * Audit row emitted on every accepted transition contains `actor`,
+ * `from`, `to`, and a timestamp; the adapter's `readAuditLog()`
+ * returns the append-only log verbatim.
+ */
+export declare const WORKFLOW_AUDIT_EMITTED = "workflow:audit-emitted";
+/**
+ * The persisted entity's `status` matches the machine's terminal state
+ * after the transition sequence (e.g. `terminated`, `signed`).
+ */
+export declare const WORKFLOW_PERSISTED_FINAL_STATE = "workflow:persisted-final-state";
+/** Every workflow contract this pack ships, in stable declaration order. */
+export declare const WORKFLOW_OBLIGATION_CONTRACTS: readonly string[];
+/**
+ * Returns the obligation contracts applicable to a workflow resource.
+ * Currently every workflow resource is treated equally; the engine's
+ * classification stage may narrow this later.
+ *
+ * Args:
+ *   resourceId: The full `workflow.contract.<domain>.<name>` id.
+ *
+ * Returns:
+ *   readonly string[]: The full contract list — same for every workflow
+ *     resource today, returned as a fresh copy so callers may not mutate
+ *     the shared array.
+ */
+export declare function obligationsForWorkflowResource(resourceId: string): readonly string[];
+//# sourceMappingURL=obligations.d.ts.map