@intentius/chant-lexicon-aws 0.60.0 → 0.61.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@intentius/chant-lexicon-aws",
-  "version": "0.60.0",
+  "version": "0.61.0",
   "description": "AWS CloudFormation lexicon for chant — declarative IaC in TypeScript",
   "license": "Apache-2.0",
   "homepage": "https://intentius.io/chant",
@@ -80,7 +80,7 @@
     "typescript": "^5.9.3"
   },
   "peerDependencies": {
-    "@intentius/chant": "^0.60.0",
+    "@intentius/chant": "^0.61.0",
     "typescript": "^5.9.3"
   }
 }

package/src/codegen/any-budget.test.ts

@@ -0,0 +1,66 @@
+/**
+ * A budget on the `any`s in the generated declaration (chant #2205).
+ *
+ * `Tags?: any` accepts `Tags: 7`, so every `any` in the surface is a property
+ * chant does not check. The count is asserted rather than merely reported so
+ * that the next drop is a deliberate edit to this file, and so a resolver
+ * change that quietly widens the surface fails here.
+ *
+ * The declaration is gitignored and written by `npm run generate`, so this
+ * skips on a checkout that has not generated yet.
+ */
+import { describe, test, expect } from "vitest";
+import { existsSync, readFileSync } from "fs";
+import { dirname, join } from "path";
+import { fileURLToPath } from "url";
+
+const pkgDir = dirname(dirname(dirname(fileURLToPath(import.meta.url))));
+const dtsPath = join(pkgDir, "src/generated/index.d.ts");
+
+/**
+ * What remains after #2205's three resolver gaps closed, by cause:
+ * 161 `$ref`s to a definition that is nothing but a `oneOf`/`anyOf` of object
+ * branches (a real sum type, deferred to #2278), 20 properties that declare no
+ * type at all, 8 that `$ref` an empty definition, 8 that carry a branch list
+ * with nothing beside it, one upstream `$ref` to an undeclared definition, and
+ * one `$ref` to a definition that is itself a bare `$ref`. Plus 38
+ * non-constructor `any`s (readonly attributes and intrinsic return types).
+ */
+const ANY_BUDGET = 226;
+const ANY_ARRAY_BUDGET = 20;
+
+describe.skipIf(!existsSync(dtsPath))("generated `any` budget", () => {
+  const dts = existsSync(dtsPath) ? readFileSync(dtsPath, "utf-8") : "";
+  const count = (re: RegExp) => (dts.match(re) ?? []).length;
+
+  test("the `: any;` count has not grown", () => {
+    expect(count(/: any;/g)).toBeLessThanOrEqual(ANY_BUDGET);
+  });
+
+  test("the `: any[];` count has not grown", () => {
+    expect(count(/: any\[\];/g)).toBeLessThanOrEqual(ANY_ARRAY_BUDGET);
+  });
+
+  test("a list definition resolves through its items", () => {
+    // AWS::Panorama::ApplicationInstance.Tags is a $ref to a TagList
+    // definition whose items are the Tag definition one hop away.
+    expect(dts).toContain("Tags?: ApplicationInstance_Tag[];");
+  });
+
+  test("a branch list beside a type does not erase the type", () => {
+    // AWS::AmazonMQ::Broker.EngineType carries `type: "string"` beside an
+    // anyOf whose first branch is the enum.
+    expect(dts).toContain('EngineType: "ACTIVEMQ" | "RABBITMQ";');
+  });
+
+  test("an allOf of one $ref and an annotation resolves as the $ref", () => {
+    // AWS::BedrockAgentCore::Gateway.ProtocolType
+    expect(dts).toContain("ProtocolType?: BedrockAgentCoreGateway_GatewayProtocolType;");
+    expect(dts).toContain('export type BedrockAgentCoreGateway_GatewayProtocolType = "MCP";');
+  });
+
+  test("no union sits unparenthesized inside an array", () => {
+    // `[]` binds tighter than `|`: `"a" | "b"[]` accepts the bare string "a".
+    expect(dts).not.toMatch(/: "[^;\n]*" \| [^;\n()]*\[\];/);
+  });
+});