@greyworld/code-check-core 1.0.0

package/dist/workflow/implement/resource-check/tools/terraform-schema/semantic-normalizer.js

@@ -0,0 +1,271 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TerraformSchemaSemanticNormalizer = void 0;
+const DURATION_MULTIPLIERS_MS = {
+    Nanosecond: 1 / 1000000,
+    Microsecond: 1 / 1000,
+    Millisecond: 1,
+    Second: 1000,
+    Minute: 60000,
+    Hour: 3600000,
+};
+/**
+ * Conservative semantic normalizer on top of raw extractor output.
+ * It only derives values for whitelisted, high-confidence patterns.
+ */
+class TerraformSchemaSemanticNormalizer {
+    normalizeSchemas(goSource, schemas) {
+        return schemas.map((schema) => this.normalizeSchema(goSource, schema));
+    }
+    normalizeSchema(goSource, schema) {
+        const semantics = {};
+        const options = schema.resourceOptions;
+        if (!options) {
+            return schema;
+        }
+        semantics.importable = {
+            value: options.hasImporter,
+            confidence: "high",
+        };
+        if (options.timeouts) {
+            semantics.timeouts = this.normalizeTimeouts(options.timeouts);
+        }
+        if (options.customizeDiff) {
+            const forceNew = this.deriveForceNewFromCustomizeDiff(options.customizeDiff, goSource);
+            if (forceNew) {
+                semantics.forceNew = forceNew;
+            }
+            const nonUpdatable = this.deriveNonUpdatableFromCustomizeDiff(options.customizeDiff, goSource);
+            if (nonUpdatable) {
+                semantics.nonUpdatable = nonUpdatable;
+            }
+            else if (forceNew) {
+                // In provider practice, FlexibleForceNew implies fields are non-updatable.
+                semantics.nonUpdatable = {
+                    fields: forceNew.fields,
+                    confidence: "high",
+                    source: "customizeDiff",
+                };
+            }
+        }
+        if (options.hasImporter) {
+            const importId = this.deriveImportIdParts(goSource, options.importerStateContext);
+            if (importId) {
+                semantics.importIdParts = importId;
+            }
+        }
+        return {
+            ...schema,
+            resourceSemantics: semantics,
+        };
+    }
+    normalizeTimeouts(timeouts) {
+        const normalized = {};
+        const entries = [
+            ["create", "create"],
+            ["read", "read"],
+            ["update", "update"],
+            ["delete", "delete"],
+            ["default", "default"],
+        ];
+        for (const [sourceKey, targetKey] of entries) {
+            const raw = timeouts[sourceKey];
+            if (!raw)
+                continue;
+            normalized[targetKey] = this.normalizeTimeoutValue(raw);
+        }
+        return normalized;
+    }
+    normalizeTimeoutValue(raw) {
+        const inner = this.unwrapDefaultTimeout(raw.trim());
+        const durationMs = this.parseDurationToMs(inner);
+        if (durationMs === undefined) {
+            return { raw, confidence: "none" };
+        }
+        return {
+            raw,
+            milliseconds: durationMs,
+            confidence: "high",
+        };
+    }
+    unwrapDefaultTimeout(expr) {
+        const match = expr.match(/^schema\.DefaultTimeout\((.+)\)$/s);
+        if (!match)
+            return expr;
+        return match[1].trim();
+    }
+    /**
+     * Parse conservative duration expressions:
+     * - `10 * time.Minute`
+     * - `time.Minute * 10`
+     */
+    parseDurationToMs(expr) {
+        const leftMatch = expr.match(/^(\d+)\s*\*\s*time\.(\w+)$/);
+        if (leftMatch) {
+            const amount = Number(leftMatch[1]);
+            const unit = leftMatch[2];
+            const multiplier = DURATION_MULTIPLIERS_MS[unit];
+            if (multiplier === undefined)
+                return undefined;
+            return Math.round(amount * multiplier);
+        }
+        const rightMatch = expr.match(/^time\.(\w+)\s*\*\s*(\d+)$/);
+        if (rightMatch) {
+            const unit = rightMatch[1];
+            const amount = Number(rightMatch[2]);
+            const multiplier = DURATION_MULTIPLIERS_MS[unit];
+            if (multiplier === undefined)
+                return undefined;
+            return Math.round(amount * multiplier);
+        }
+        return undefined;
+    }
+    deriveForceNewFromCustomizeDiff(customizeDiff, goSource) {
+        const fields = this.extractFieldsFromDiffCall(customizeDiff, goSource, "config.FlexibleForceNew");
+        if (!fields || fields.length === 0)
+            return undefined;
+        return {
+            fields,
+            confidence: "high",
+            source: "customizeDiff",
+        };
+    }
+    deriveNonUpdatableFromCustomizeDiff(customizeDiff, goSource) {
+        const fields = this.extractFieldsFromDiffCall(customizeDiff, goSource, "config.FlexibleNonUpdatable");
+        if (!fields || fields.length === 0)
+            return undefined;
+        return {
+            fields,
+            confidence: "high",
+            source: "customizeDiff",
+        };
+    }
+    /**
+     * Extract field names from a `funcName(fields)` call that may appear
+     * either as a standalone customizeDiff expression or inside a
+     * `customdiff.Sequence(...)` wrapper.
+     */
+    extractFieldsFromDiffCall(customizeDiff, goSource, funcName) {
+        const escaped = funcName.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+        const pattern = new RegExp(`${escaped}\\(([\\s\\S]+?)\\)`, "m");
+        const callMatch = customizeDiff.match(pattern);
+        if (!callMatch)
+            return undefined;
+        const argExpr = callMatch[1].trim();
+        let fields = this.parseStringSliceLiteral(argExpr);
+        if (!fields && this.isIdentifier(argExpr)) {
+            fields = this.findStringSliceByIdentifier(goSource, argExpr);
+        }
+        return fields;
+    }
+    /**
+     * Derive the import ID parts from the importer state function.
+     *
+     * - `schema.ImportStatePassthroughContext` => bare resource ID
+     * - Custom function => look up the function body and parse
+     *   `strings.Split(d.Id(), "/")` style patterns to infer parts.
+     */
+    deriveImportIdParts(goSource, stateContext) {
+        if (!stateContext)
+            return undefined;
+        if (stateContext === "schema.ImportStatePassthroughContext" ||
+            stateContext === "schema.ImportStatePassthrough") {
+            return { parts: ["id"], separator: "/", confidence: "high" };
+        }
+        const funcBody = this.findFuncBody(goSource, stateContext);
+        if (!funcBody)
+            return undefined;
+        return this.parseImportIdFromFuncBody(funcBody);
+    }
+    findFuncBody(goSource, funcName) {
+        const escaped = funcName.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+        const headerPattern = new RegExp(`func\\s+${escaped}\\s*\\([\\s\\S]*?\\)\\s*[^{]*\\{`, "m");
+        const headerMatch = goSource.match(headerPattern);
+        if (!headerMatch)
+            return undefined;
+        const bodyStart = headerMatch.index + headerMatch[0].length;
+        const rest = goSource.slice(bodyStart);
+        // Match the closing brace at column 0 (no leading whitespace on that line).
+        const closingMatch = rest.match(/\n\}/);
+        if (!closingMatch)
+            return undefined;
+        let depth = 1;
+        for (let i = 0; i < rest.length; i++) {
+            if (rest[i] === "{")
+                depth++;
+            if (rest[i] === "}") {
+                depth--;
+                if (depth === 0) {
+                    return rest.slice(0, i);
+                }
+            }
+        }
+        return rest.slice(0, closingMatch.index);
+    }
+    /**
+     * Best-effort parsing of an import state function body.
+     * Recognises two common patterns:
+     *
+     * 1. `parts := strings.Split(d.Id(), "/")`
+     *    followed by length check and `d.Set("field", parts[i])` calls.
+     *
+     * 2. `parts := strings.SplitN(d.Id(), "/", N)`
+     *    same downstream pattern.
+     */
+    parseImportIdFromFuncBody(body) {
+        const splitMatch = body.match(/strings\.SplitN?\(\s*(?:d\.Id\(\)|[a-zA-Z_]\w*)\s*,\s*"([^"]+)"\s*(?:,\s*(\d+)\s*)?\)/);
+        if (!splitMatch)
+            return undefined;
+        const separator = splitMatch[1];
+        const splitCount = splitMatch[2] ? Number(splitMatch[2]) : undefined;
+        const setPattern = /d\.Set\(\s*"([^"]+)"\s*,\s*parts\[(\d+)\]/g;
+        const partsMap = new Map();
+        let m;
+        while ((m = setPattern.exec(body)) !== null) {
+            partsMap.set(Number(m[2]), m[1]);
+        }
+        const setIdPattern = /d\.SetId\(\s*parts\[(\d+)\]/g;
+        while ((m = setIdPattern.exec(body)) !== null) {
+            const idx = Number(m[1]);
+            if (!partsMap.has(idx)) {
+                partsMap.set(idx, "id");
+            }
+        }
+        if (partsMap.size === 0)
+            return undefined;
+        const expectedCount = splitCount ?? Math.max(...partsMap.keys()) + 1;
+        const parts = [];
+        for (let i = 0; i < expectedCount; i++) {
+            parts.push(partsMap.get(i) ?? `_unknown_${i}`);
+        }
+        return { parts, separator, confidence: "high" };
+    }
+    isIdentifier(expr) {
+        return /^[A-Za-z_]\w*$/.test(expr);
+    }
+    findStringSliceByIdentifier(goSource, identifier) {
+        const escaped = identifier.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+        const pattern = new RegExp(`(?:var\\s+${escaped}\\s*=|${escaped}\\s*:=)\\s*\\[\\]string\\s*\\{([\\s\\S]*?)\\}`, "m");
+        const match = goSource.match(pattern);
+        if (!match)
+            return undefined;
+        return this.extractStringLiterals(match[1]);
+    }
+    parseStringSliceLiteral(expr) {
+        const match = expr.match(/^\[\]string\s*\{([\s\S]*?)\}$/);
+        if (!match)
+            return undefined;
+        return this.extractStringLiterals(match[1]);
+    }
+    extractStringLiterals(content) {
+        const values = [];
+        const regex = /"((?:[^"\\]|\\.)*)"/g;
+        let match;
+        while ((match = regex.exec(content)) !== null) {
+            values.push(match[1]);
+        }
+        return values;
+    }
+}
+exports.TerraformSchemaSemanticNormalizer = TerraformSchemaSemanticNormalizer;
+//# sourceMappingURL=semantic-normalizer.js.map

package/dist/workflow/implement/resource-check/tools/terraform-schema/semantic-normalizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-normalizer.js","sourceRoot":"","sources":["../../../../../../src/workflow/implement/resource-check/tools/terraform-schema/semantic-normalizer.ts"],"names":[],"mappings":";;;AAWA,MAAM,uBAAuB,GAA2B;IACpD,UAAU,EAAE,CAAC,GAAG,OAAS;IACzB,WAAW,EAAE,CAAC,GAAG,IAAK;IACtB,WAAW,EAAE,CAAC;IACd,MAAM,EAAE,IAAK;IACb,MAAM,EAAE,KAAM;IACd,IAAI,EAAE,OAAS;CAClB,CAAC;AAEF;;;GAGG;AACH,MAAa,iCAAiC;IACnC,gBAAgB,CAAC,QAAgB,EAAE,OAAyB;QAC/D,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3E,CAAC;IAEM,eAAe,CAAC,QAAgB,EAAE,MAAsB;QAC3D,MAAM,SAAS,GAAsB,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC;QACvC,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAClB,CAAC;QAED,SAAS,CAAC,UAAU,GAAG;YACnB,KAAK,EAAE,OAAO,CAAC,WAAW;YAC1B,UAAU,EAAE,MAAM;SACrB,CAAC;QAEF,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACnB,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAClE,CAAC;QAED,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,+BAA+B,CAAC,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;YACvF,IAAI,QAAQ,EAAE,CAAC;gBACX,SAAS,CAAC,QAAQ,GAAG,QAAQ,CAAC;YAClC,CAAC;YAED,MAAM,YAAY,GAAG,IAAI,CAAC,mCAAmC,CACzD,OAAO,CAAC,aAAa,EACrB,QAAQ,CACX,CAAC;YACF,IAAI,YAAY,EAAE,CAAC;gBACf,SAAS,CAAC,YAAY,GAAG,YAAY,CAAC;YAC1C,CAAC;iBAAM,IAAI,QAAQ,EAAE,CAAC;gBAClB,2EAA2E;gBAC3E,SAAS,CAAC,YAAY,GAAG;oBACrB,MAAM,EAAE,QAAQ,CAAC,MAAM;oBACvB,UAAU,EAAE,MAAM;oBAClB,MAAM,EAAE,eAAe;iBAC1B,CAAC;YACN,CAAC;QACL,CAAC;QAED,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,oBAAoB,CAAC,CAAC;YAClF,IAAI,QAAQ,EAAE,CAAC;gBACX,SAAS,CAAC,aAAa,GAAG,QAAQ,CAAC;YACvC,CAAC;QACL,CAAC;QAED,OAAO;YACH,GAAG,MAAM;YACT,iBAAiB,EAAE,SAAS;SAC/B,CAAC;IACN,CAAC;IAEO,iBAAiB,CAAC,QAA0B;QAChD,MAAM,UAAU,GAA6B,EAAE,CAAC;QAChD,MAAM,OAAO,GAAoE;YAC7E,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACpB,CAAC,MAAM,EAAE,MAAM,CAAC;YAChB,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACpB,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACpB,CAAC,SAAS,EAAE,SAAS,CAAC;SACzB,CAAC;QAEF,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,OAAO,EAAE,CAAC;YAC3C,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;YAChC,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,UAAU,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC;QAC5D,CAAC;QAED,OAAO,UAAU,CAAC;IACtB,CAAC;IAEO,qBAAqB,CAAC,GAAW;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QACvC,CAAC;QAED,OAAO;YACH,GAAG;YACH,YAAY,EAAE,UAAU;YACxB,UAAU,EAAE,MAAM;SACrB,CAAC;IACN,CAAC;IAEO,oBAAoB,CAAC,IAAY;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;QAC9D,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3B,CAAC;IAED;;;;OAIG;IACK,iBAAiB,CAAC,IAAY;QAClC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAC3D,IAAI,SAAS,EAAE,CAAC;YACZ,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,UAAU,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,UAAU,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC/C,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC;QAC3C,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAC5D,IAAI,UAAU,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,UAAU,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC/C,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAEO,+BAA+B,CACnC,aAAqB,EACrB,QAAgB;QAEhB,MAAM,MAAM,GAAG,IAAI,CAAC,yBAAyB,CAAC,aAAa,EAAE,QAAQ,EAAE,yBAAyB,CAAC,CAAC;QAClG,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAErD,OAAO;YACH,MAAM;YACN,UAAU,EAAE,MAAM;YAClB,MAAM,EAAE,eAAe;SAC1B,CAAC;IACN,CAAC;IAEO,mCAAmC,CACvC,aAAqB,EACrB,QAAgB;QAEhB,MAAM,MAAM,GAAG,IAAI,CAAC,yBAAyB,CACzC,aAAa,EACb,QAAQ,EACR,6BAA6B,CAChC,CAAC;QACF,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAErD,OAAO;YACH,MAAM;YACN,UAAU,EAAE,MAAM;YAClB,MAAM,EAAE,eAAe;SAC1B,CAAC;IACN,CAAC;IAED;;;;OAIG;IACK,yBAAyB,CAC7B,aAAqB,EACrB,QAAgB,EAChB,QAAgB;QAEhB,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;QAChE,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,GAAG,OAAO,oBAAoB,EAAE,GAAG,CAAC,CAAC;QAChE,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QAEjC,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,MAAM,GAAG,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,MAAM,GAAG,IAAI,CAAC,2BAA2B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;IAED;;;;;;OAMG;IACK,mBAAmB,CAAC,QAAgB,EAAE,YAAqB;QAC/D,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QAEpC,IACI,YAAY,KAAK,sCAAsC;YACvD,YAAY,KAAK,+BAA+B,EAClD,CAAC;YACC,OAAO,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QACjE,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QAC3D,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAEhC,OAAO,IAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACpD,CAAC;IAEO,YAAY,CAAC,QAAgB,EAAE,QAAgB;QACnD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;QAChE,MAAM,aAAa,GAAG,IAAI,MAAM,CAAC,WAAW,OAAO,kCAAkC,EAAE,GAAG,CAAC,CAAC;QAC5F,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAClD,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QAEnC,MAAM,SAAS,GAAG,WAAW,CAAC,KAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAEvC,4EAA4E;QAC5E,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QAEpC,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAClB,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBACd,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC5B,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,KAAM,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;;;;;OASG;IACK,yBAAyB,CAAC,IAAY;QAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CACzB,uFAAuF,CAC1F,CAAC;QACF,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAElC,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAErE,MAAM,UAAU,GAAG,4CAA4C,CAAC;QAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC3C,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC1C,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC;QAED,MAAM,YAAY,GAAG,8BAA8B,CAAC;QACpD,OAAO,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrB,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC5B,CAAC;QACL,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAE1C,MAAM,aAAa,GAAG,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;QACrE,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;IACpD,CAAC;IAEO,YAAY,CAAC,IAAY;QAC7B,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IAEO,2BAA2B,CAAC,QAAgB,EAAE,UAAkB;QACpE,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,IAAI,MAAM,CACtB,aAAa,OAAO,SAAS,OAAO,+CAA+C,EACnF,GAAG,CACN,CAAC;QACF,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC;IAEO,uBAAuB,CAAC,IAAY;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QAC1D,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC;IAEO,qBAAqB,CAAC,OAAe;QACzC,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,sBAAsB,CAAC;QACrC,IAAI,KAA6B,CAAC;QAClC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC5C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;CACJ;AA9SD,8EA8SC"}

package/dist/workflow/implement/resource-check/tools/terraform-schema/types.d.ts

@@ -0,0 +1,133 @@
+/**
+ * Terraform schema field types matching the `schema.Type*` constants
+ * in the Terraform Plugin SDK.
+ */
+export type SchemaFieldType = "TypeString" | "TypeBool" | "TypeInt" | "TypeFloat" | "TypeList" | "TypeSet" | "TypeMap";
+/**
+ * A single field extracted from a Terraform resource schema definition.
+ */
+export interface SchemaField {
+    /** Field name as declared in the schema map key (e.g. "instance_type") */
+    name: string;
+    /** Terraform SDK type (e.g. "TypeString") or raw string if unrecognized */
+    type: SchemaFieldType | string;
+    /** Whether the field has `Required: true` */
+    required: boolean;
+    /** Whether the field has `Optional: true` */
+    optional: boolean;
+    /** Whether the field has `Computed: true` */
+    computed: boolean;
+    /** Whether the field has `ForceNew: true` */
+    forceNew: boolean;
+    /** The Description string, empty if not specified */
+    description: string;
+    /** Default value as raw source text, undefined if not specified */
+    defaultValue?: string;
+    /** Element type for TypeList/TypeSet/TypeMap, undefined if not applicable */
+    elemType?: SchemaFieldType | string;
+    /** Nested sub-fields when Elem is a *schema.Resource (block-level nesting) */
+    subFields?: SchemaField[];
+    /** Whether the field is marked as internal via utils.SchemaDesc */
+    internal?: boolean;
+}
+/**
+ * Represents one Terraform resource/data-source schema extracted from
+ * a Go source file.
+ */
+export interface ResourceSchema {
+    /** Resource name inferred from the function name (e.g. "aws_instance") */
+    resourceName: string;
+    /** The original Go function name (e.g. "resourceAwsInstance") */
+    functionName: string;
+    /** All top-level schema fields */
+    fields: SchemaField[];
+    /**
+     * Resource-level options extracted from `&schema.Resource{ ... }`,
+     * such as Timeouts, Importer, and CustomizeDiff.
+     */
+    resourceOptions?: ResourceOptions;
+    /**
+     * Optional normalized semantic view derived from raw resource options.
+     * This is best-effort and keeps conservative confidence signals.
+     */
+    resourceSemantics?: ResourceSemantics;
+}
+/**
+ * Timeout expressions configured on `schema.ResourceTimeout`.
+ * Values are kept as raw Go expressions for compatibility.
+ */
+export interface ResourceTimeouts {
+    create?: string;
+    read?: string;
+    update?: string;
+    delete?: string;
+    default?: string;
+}
+/**
+ * Resource-level capabilities/metadata extracted from a schema resource.
+ */
+export interface ResourceOptions {
+    /** Whether an Importer block is configured. */
+    hasImporter: boolean;
+    /**
+     * Importer state handler expression (for example
+     * `schema.ImportStatePassthroughContext`), if present.
+     */
+    importerStateContext?: string;
+    /** Raw expression assigned to CustomizeDiff. */
+    customizeDiff?: string;
+    /** Deprecation message from DeprecationMessage field. */
+    deprecationMessage?: string;
+    /** Parsed timeout expressions from Timeouts block. */
+    timeouts?: ResourceTimeouts;
+}
+/** Confidence levels for conservative semantic derivation. */
+export type SemanticConfidence = "high" | "none";
+/** Normalized timeout semantic value with raw fallback and confidence. */
+export interface TimeoutSemanticValue {
+    raw: string;
+    milliseconds?: number;
+    confidence: SemanticConfidence;
+}
+/** Semantic projection of timeout settings. */
+export interface ResourceTimeoutSemantics {
+    create?: TimeoutSemanticValue;
+    read?: TimeoutSemanticValue;
+    update?: TimeoutSemanticValue;
+    delete?: TimeoutSemanticValue;
+    default?: TimeoutSemanticValue;
+}
+/** Semantic projection for force-new behavior inferred from CustomizeDiff. */
+export interface ForceNewSemantics {
+    fields: string[];
+    confidence: SemanticConfidence;
+    source: "customizeDiff";
+}
+/** Semantic projection for non-updatable behavior inferred from CustomizeDiff. */
+export interface NonUpdatableSemantics {
+    fields: string[];
+    confidence: SemanticConfidence;
+    source: "customizeDiff";
+}
+/** Semantic projection for import capability. */
+export interface ImportableSemantics {
+    value: boolean;
+    confidence: "high";
+}
+/** Semantic projection for import ID format. */
+export interface ImportIdSemantics {
+    /** Ordered parts of the import ID (e.g. ["region", "id"]). */
+    parts: string[];
+    /** Separator used to join parts (typically "/"). */
+    separator: string;
+    confidence: SemanticConfidence;
+}
+/** Consolidated semantic view for a resource schema. */
+export interface ResourceSemantics {
+    importable?: ImportableSemantics;
+    timeouts?: ResourceTimeoutSemantics;
+    forceNew?: ForceNewSemantics;
+    nonUpdatable?: NonUpdatableSemantics;
+    importIdParts?: ImportIdSemantics;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/workflow/implement/resource-check/tools/terraform-schema/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../../src/workflow/implement/resource-check/tools/terraform-schema/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,MAAM,eAAe,GACrB,YAAY,GACZ,UAAU,GACV,SAAS,GACT,WAAW,GACX,UAAU,GACV,SAAS,GACT,SAAS,CAAC;AAEhB;;GAEG;AACH,MAAM,WAAW,WAAW;IACxB,0EAA0E;IAC1E,IAAI,EAAE,MAAM,CAAC;IAEb,2EAA2E;IAC3E,IAAI,EAAE,eAAe,GAAG,MAAM,CAAC;IAE/B,6CAA6C;IAC7C,QAAQ,EAAE,OAAO,CAAC;IAElB,6CAA6C;IAC7C,QAAQ,EAAE,OAAO,CAAC;IAElB,6CAA6C;IAC7C,QAAQ,EAAE,OAAO,CAAC;IAElB,6CAA6C;IAC7C,QAAQ,EAAE,OAAO,CAAC;IAElB,qDAAqD;IACrD,WAAW,EAAE,MAAM,CAAC;IAEpB,mEAAmE;IACnE,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB,6EAA6E;IAC7E,QAAQ,CAAC,EAAE,eAAe,GAAG,MAAM,CAAC;IAEpC,8EAA8E;IAC9E,SAAS,CAAC,EAAE,WAAW,EAAE,CAAC;IAE1B,mEAAmE;IACnE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACtB;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC3B,0EAA0E;IAC1E,YAAY,EAAE,MAAM,CAAC;IAErB,iEAAiE;IACjE,YAAY,EAAE,MAAM,CAAC;IAErB,kCAAkC;IAClC,MAAM,EAAE,WAAW,EAAE,CAAC;IAEtB;;;OAGG;IACH,eAAe,CAAC,EAAE,eAAe,CAAC;IAElC;;;OAGG;IACH,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC5B,+CAA+C;IAC/C,WAAW,EAAE,OAAO,CAAC;IAErB;;;OAGG;IACH,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAE9B,gDAAgD;IAChD,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,yDAAyD;IACzD,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAE5B,sDAAsD;IACtD,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC/B;AAED,8DAA8D;AAC9D,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,MAAM,CAAC;AAEjD,0EAA0E;AAC1E,MAAM,WAAW,oBAAoB;IACjC,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,kBAAkB,CAAC;CAClC;AAED,+CAA+C;AAC/C,MAAM,WAAW,wBAAwB;IACrC,MAAM,CAAC,EAAE,oBAAoB,CAAC;IAC9B,IAAI,CAAC,EAAE,oBAAoB,CAAC;IAC5B,MAAM,CAAC,EAAE,oBAAoB,CAAC;IAC9B,MAAM,CAAC,EAAE,oBAAoB,CAAC;IAC9B,OAAO,CAAC,EAAE,oBAAoB,CAAC;CAClC;AAED,8EAA8E;AAC9E,MAAM,WAAW,iBAAiB;IAC9B,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,UAAU,EAAE,kBAAkB,CAAC;IAC/B,MAAM,EAAE,eAAe,CAAC;CAC3B;AAED,kFAAkF;AAClF,MAAM,WAAW,qBAAqB;IAClC,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,UAAU,EAAE,kBAAkB,CAAC;IAC/B,MAAM,EAAE,eAAe,CAAC;CAC3B;AAED,iDAAiD;AACjD,MAAM,WAAW,mBAAmB;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACtB;AAED,gDAAgD;AAChD,MAAM,WAAW,iBAAiB;IAC9B,8DAA8D;IAC9D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oDAAoD;IACpD,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,kBAAkB,CAAC;CAClC;AAED,wDAAwD;AACxD,MAAM,WAAW,iBAAiB;IAC9B,UAAU,CAAC,EAAE,mBAAmB,CAAC;IACjC,QAAQ,CAAC,EAAE,wBAAwB,CAAC;IACpC,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,YAAY,CAAC,EAAE,qBAAqB,CAAC;IACrC,aAAa,CAAC,EAAE,iBAAiB,CAAC;CACrC"}

package/dist/workflow/implement/resource-check/tools/terraform-schema/types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/workflow/implement/resource-check/tools/terraform-schema/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../../../src/workflow/implement/resource-check/tools/terraform-schema/types.ts"],"names":[],"mappings":""}

package/dist/workflow/implement/resource-check/types.d.ts

@@ -0,0 +1,18 @@
+export type ResourceType = "resource" | "data-source";
+export type { SemanticField, TimeoutView, ImportView, SchemaSemanticView, } from "./tools/schema-semantic";
+export type { Argument, Attribute, ArgumentList, AttributeList, } from "./tools/doc-semantic";
+export { DocSemanticView } from "./tools/doc-semantic";
+export interface ResourceCheckInput {
+    providerRoot: string;
+    serviceName: string;
+    resourceName: string;
+    resourceType: ResourceType;
+}
+export interface ResolvedResourcePaths {
+    implementGoPath: string;
+    docMdPath: string;
+    testGoPath: string;
+}
+export declare function parseResourceCheckInput(jsonCode: string): ResourceCheckInput;
+export declare function resolveResourcePaths(input: ResourceCheckInput): ResolvedResourcePaths;
+//# sourceMappingURL=types.d.ts.map

package/dist/workflow/implement/resource-check/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/workflow/implement/resource-check/types.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,aAAa,CAAC;AAEtD,YAAY,EACR,aAAa,EACb,WAAW,EACX,UAAU,EACV,kBAAkB,GACrB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACR,QAAQ,EACR,SAAS,EACT,YAAY,EACZ,aAAa,GAChB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,WAAW,kBAAkB;IAC/B,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,YAAY,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAqB;IAClC,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACtB;AA2DD,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,kBAAkB,CA6B5E;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,qBAAqB,CA4BrF"}

package/dist/workflow/implement/resource-check/types.js

@@ -0,0 +1,107 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DocSemanticView = void 0;
+exports.parseResourceCheckInput = parseResourceCheckInput;
+exports.resolveResourcePaths = resolveResourcePaths;
+const fs_1 = __importDefault(require("fs"));
+const path_1 = __importDefault(require("path"));
+var doc_semantic_1 = require("./tools/doc-semantic");
+Object.defineProperty(exports, "DocSemanticView", { enumerable: true, get: function () { return doc_semantic_1.DocSemanticView; } });
+/**
+ * Infer the provider short name from the providerRoot directory name.
+ * e.g. "terraform-provider-huaweicloud" -> "huaweicloud"
+ */
+function inferProviderName(providerRoot) {
+    const root = path_1.default.resolve(providerRoot);
+    const dirName = path_1.default.basename(root);
+    const prefix = "terraform-provider-";
+    if (dirName.startsWith(prefix)) {
+        return dirName.slice(prefix.length);
+    }
+    // Prefer structural detection for fixtures/non-standard roots:
+    // <root>/<provider>/services/** or <root>/services/**.
+    const providerDirs = detectProviderDirs(root);
+    if (providerDirs.length === 1) {
+        return providerDirs[0];
+    }
+    return dirName;
+}
+function detectProviderDirs(root) {
+    if (!fs_1.default.existsSync(root))
+        return [];
+    if (fs_1.default.existsSync(path_1.default.join(root, "services"))) {
+        return [path_1.default.basename(root)];
+    }
+    const entries = fs_1.default.readdirSync(root, { withFileTypes: true });
+    return entries
+        .filter((entry) => entry.isDirectory())
+        .map((entry) => entry.name)
+        .filter((name) => fs_1.default.existsSync(path_1.default.join(root, name, "services")));
+}
+/**
+ * Strip the provider prefix from the resource name to get the short doc name.
+ * e.g. provider="huaweicloud", resourceName="apig_channel_member"
+ *   -> already has no provider prefix, returns "apig_channel_member"
+ * e.g. provider="huaweicloud", resourceName="huaweicloud_apig_channel_member"
+ *   -> strips prefix, returns "apig_channel_member"
+ */
+function stripProviderPrefix(provider, resourceName) {
+    const prefix = `${provider}_`;
+    if (resourceName.startsWith(prefix)) {
+        return resourceName.slice(prefix.length);
+    }
+    return resourceName;
+}
+function buildFullResourceName(provider, resourceName) {
+    const prefix = `${provider}_`;
+    if (resourceName.startsWith(prefix)) {
+        return resourceName;
+    }
+    return `${prefix}${resourceName}`;
+}
+function parseResourceCheckInput(jsonCode) {
+    let parsed;
+    try {
+        parsed = JSON.parse(jsonCode);
+    }
+    catch {
+        throw new Error("resource-check expects JSON-encoded ResourceCheckInput as code input");
+    }
+    const obj = parsed;
+    if (typeof obj.providerRoot !== "string" ||
+        typeof obj.serviceName !== "string" ||
+        typeof obj.resourceName !== "string" ||
+        (obj.resourceType !== "resource" && obj.resourceType !== "data-source")) {
+        throw new Error("ResourceCheckInput requires: providerRoot (string), serviceName (string), " +
+            "resourceName (string), resourceType ('resource' | 'data-source')");
+    }
+    return {
+        providerRoot: obj.providerRoot,
+        serviceName: obj.serviceName,
+        resourceName: obj.resourceName,
+        resourceType: obj.resourceType,
+    };
+}
+function resolveResourcePaths(input) {
+    const root = path_1.default.resolve(input.providerRoot);
+    const provider = inferProviderName(root);
+    const fullName = buildFullResourceName(provider, input.resourceName);
+    const shortName = stripProviderPrefix(provider, input.resourceName);
+    const providerBase = fs_1.default.existsSync(path_1.default.join(root, "services"))
+        ? root
+        : path_1.default.join(root, provider);
+    const filePrefix = input.resourceType === "resource"
+        ? `resource_${fullName}`
+        : `data_source_${fullName}`;
+    const docDir = input.resourceType === "resource"
+        ? "resources"
+        : "data-sources";
+    const implementGoPath = path_1.default.join(providerBase, "services", input.serviceName, `${filePrefix}.go`);
+    const testGoPath = path_1.default.join(providerBase, "services", "acceptance", input.serviceName, `${filePrefix}_test.go`);
+    const docMdPath = path_1.default.join(root, "docs", docDir, `${shortName}.md`);
+    return { implementGoPath, docMdPath, testGoPath };
+}
+//# sourceMappingURL=types.js.map

package/dist/workflow/implement/resource-check/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/workflow/implement/resource-check/types.ts"],"names":[],"mappings":";;;;;;AAyFA,0DA6BC;AAED,oDA4BC;AApJD,4CAAoB;AACpB,gDAAwB;AAgBxB,qDAAuD;AAA9C,+GAAA,eAAe,OAAA;AAexB;;;GAGG;AACH,SAAS,iBAAiB,CAAC,YAAoB;IAC3C,MAAM,IAAI,GAAG,cAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,cAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,qBAAqB,CAAC;IACrC,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,+DAA+D;IAC/D,uDAAuD;IACvD,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACpC,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,IAAI,YAAE,CAAC,UAAU,CAAC,cAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;QAC7C,OAAO,CAAC,cAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,OAAO,GAAG,YAAE,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9D,OAAO,OAAO;SACT,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;SACtC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAE,CAAC,UAAU,CAAC,cAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;GAMG;AACH,SAAS,mBAAmB,CAAC,QAAgB,EAAE,YAAoB;IAC/D,MAAM,MAAM,GAAG,GAAG,QAAQ,GAAG,CAAC;IAC9B,IAAI,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,OAAO,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,YAAY,CAAC;AACxB,CAAC;AAED,SAAS,qBAAqB,CAAC,QAAgB,EAAE,YAAoB;IACjE,MAAM,MAAM,GAAG,GAAG,QAAQ,GAAG,CAAC;IAC9B,IAAI,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,OAAO,YAAY,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,MAAM,GAAG,YAAY,EAAE,CAAC;AACtC,CAAC;AAED,SAAgB,uBAAuB,CAAC,QAAgB;IACpD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACD,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACL,MAAM,IAAI,KAAK,CACX,sEAAsE,CACzE,CAAC;IACN,CAAC;IAED,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,IACI,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ;QACpC,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;QACnC,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ;QACpC,CAAC,GAAG,CAAC,YAAY,KAAK,UAAU,IAAI,GAAG,CAAC,YAAY,KAAK,aAAa,CAAC,EACzE,CAAC;QACC,MAAM,IAAI,KAAK,CACX,4EAA4E;YAC5E,kEAAkE,CACrE,CAAC;IACN,CAAC;IAED,OAAO;QACH,YAAY,EAAE,GAAG,CAAC,YAAsB;QACxC,WAAW,EAAE,GAAG,CAAC,WAAqB;QACtC,YAAY,EAAE,GAAG,CAAC,YAAsB;QACxC,YAAY,EAAE,GAAG,CAAC,YAA4B;KACjD,CAAC;AACN,CAAC;AAED,SAAgB,oBAAoB,CAAC,KAAyB;IAC1D,MAAM,IAAI,GAAG,cAAI,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,YAAE,CAAC,UAAU,CAAC,cAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC3D,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,cAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAEhC,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY,KAAK,UAAU;QAChD,CAAC,CAAC,YAAY,QAAQ,EAAE;QACxB,CAAC,CAAC,eAAe,QAAQ,EAAE,CAAC;IAEhC,MAAM,MAAM,GAAG,KAAK,CAAC,YAAY,KAAK,UAAU;QAC5C,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,cAAc,CAAC;IAErB,MAAM,eAAe,GAAG,cAAI,CAAC,IAAI,CAC7B,YAAY,EAAE,UAAU,EAAE,KAAK,CAAC,WAAW,EAAE,GAAG,UAAU,KAAK,CAClE,CAAC;IAEF,MAAM,UAAU,GAAG,cAAI,CAAC,IAAI,CACxB,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,CAAC,WAAW,EAAE,GAAG,UAAU,UAAU,CACrF,CAAC;IAEF,MAAM,SAAS,GAAG,cAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,KAAK,CAAC,CAAC;IAErE,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;AACtD,CAAC"}

package/dist/workflow/types/rule/rule.d.ts

@@ -0,0 +1,72 @@
+import { Context } from "../../context/context";
+import type { SourceRange } from "../../../tools/ast-parser/markdown";
+export declare class RuleCheckResult {
+    success: boolean;
+    message: string;
+    original: string;
+    suggested: string;
+    children: RuleCheckResult[];
+    range?: SourceRange;
+    constructor(success: boolean, message: string, original: string, suggested: string, children?: RuleCheckResult[], range?: SourceRange);
+    static aggregate(children: RuleCheckResult[]): RuleCheckResult;
+    static pass(message: string, range?: SourceRange, original?: string, suggested?: string, children?: RuleCheckResult[]): RuleCheckResult;
+    static fromLine(line?: number): SourceRange | undefined;
+    /**
+     * Aggregate success: this result is successful only when itself
+     * AND all descendant results are successful.
+     */
+    get aggregateSuccess(): boolean;
+    /**
+     * Collect all failing results across the tree (depth-first).
+     */
+    collectFailures(): RuleCheckResult[];
+}
+/**
+ * Message templates keyed by a short identifier.
+ * Values can be plain strings or functions that accept interpolation args.
+ */
+export type MessageTemplate = string | ((...args: unknown[]) => string);
+export interface RuleMeta {
+    name: string;
+    description: string;
+    messages: Record<string, MessageTemplate>;
+}
+/**
+ * Abstract base class for code checking rules.
+ *
+ * Supports a tree structure: each rule can have child rules.
+ * Subclasses override `test()` to implement their checking logic
+ * and can call `executeChildren()` to dispatch child rules.
+ *
+ * Rule metadata (name, description, error message templates) is
+ * declared separately via `RuleMeta` so that checking logic stays
+ * focused on *what* to check rather than *how to describe* results.
+ */
+export declare abstract class Rule {
+    readonly name: string;
+    readonly description: string;
+    readonly type: string;
+    readonly meta: RuleMeta;
+    protected readonly children: Rule[];
+    constructor(meta: RuleMeta, type?: string);
+    addChild(rule: Rule): this;
+    addChildren(rules: Rule[]): this;
+    getChildren(): ReadonlyArray<Rule>;
+    /**
+     * Build a failing `RuleCheckResult` from a registered message key.
+     * Extra `args` are forwarded when the template is a function.
+     */
+    protected fail(key: string, original: string, suggested?: string, range?: SourceRange, ...args: unknown[]): RuleCheckResult;
+    protected msg(key: string, ...args: unknown[]): string;
+    /**
+     * Tests the given code against this rule.
+     * Subclasses implement their own checking strategy here.
+     */
+    abstract test(code: string, ast?: unknown, parentCtx?: Context): Promise<RuleCheckResult[]>;
+    /**
+     * Dispatches child rules sequentially.
+     * Available for parent rules that need to coordinate children.
+     */
+    protected executeChildren(code: string, ast: unknown | undefined, ctx: Context): Promise<RuleCheckResult[]>;
+}
+//# sourceMappingURL=rule.d.ts.map

package/dist/workflow/types/rule/rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule.d.ts","sourceRoot":"","sources":["../../../../src/workflow/types/rule/rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AAEtE,qBAAa,eAAe;IAEjB,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,KAAK,CAAC,EAAE,WAAW,CAAC;gBAGvB,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,QAAQ,GAAE,eAAe,EAAO,EAChC,KAAK,CAAC,EAAE,WAAW;IAUvB,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,eAAe,EAAE,GAAG,eAAe;IAI9D,MAAM,CAAC,IAAI,CACP,OAAO,EAAE,MAAM,EACf,KAAK,CAAC,EAAE,WAAW,EACnB,QAAQ,GAAE,MAAW,EACrB,SAAS,CAAC,EAAE,MAAM,EAClB,QAAQ,GAAE,eAAe,EAAO,GACjC,eAAe;IAYlB,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAQvD;;;OAGG;IACH,IAAI,gBAAgB,IAAI,OAAO,CAG9B;IAED;;OAEG;IACH,eAAe,IAAI,eAAe,EAAE;CAQvC;AAED;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,MAAM,CAAC,CAAC;AAExE,MAAM,WAAW,QAAQ;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CAC7C;AAED;;;;;;;;;;GAUG;AACH,8BAAsB,IAAI;IAEtB,SAAgB,IAAI,EAAE,MAAM,CAAC;IAC7B,SAAgB,WAAW,EAAE,MAAM,CAAC;IACpC,SAAgB,IAAI,EAAE,MAAM,CAAC;IAC7B,SAAgB,IAAI,EAAE,QAAQ,CAAC;IAC/B,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAM;gBAEtB,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAE,MAAe;IASjD,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAK1B,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI;IAKhC,WAAW,IAAI,aAAa,CAAC,IAAI,CAAC;IAMzC;;;OAGG;IACH,SAAS,CAAC,IAAI,CACV,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,MAAM,EAChB,SAAS,CAAC,EAAE,MAAM,EAClB,KAAK,CAAC,EAAE,WAAW,EACnB,GAAG,IAAI,EAAE,OAAO,EAAE,GACnB,eAAe;IAWlB,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM;IAQtD;;;OAGG;aACa,IAAI,CAChB,IAAI,EAAE,MAAM,EACZ,GAAG,CAAC,EAAE,OAAO,EACb,SAAS,CAAC,EAAE,OAAO,GACpB,OAAO,CAAC,eAAe,EAAE,CAAC;IAE7B;;;OAGG;cACa,eAAe,CAC3B,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,OAAO,GAAG,SAAS,EACxB,GAAG,EAAE,OAAO,GACb,OAAO,CAAC,eAAe,EAAE,CAAC;CAQhC"}