@azure-tools/typespec-azure-resource-manager 0.68.0-dev.8 → 0.68.0

package/README.md

@@ -29,6 +29,7 @@ Available ruleSets:
 | Name                                                                                                                                                                                                                     | Description                                                                                                                                                                                                                                           |
 | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
 | [`@azure-tools/typespec-azure-resource-manager/arm-no-record`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/arm-no-record)                                                         | Don't use Record types for ARM resources.                                                                                                                                                                                                             |
+| [`@azure-tools/typespec-azure-resource-manager/arm-no-path-casing-conflicts`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/arm-no-path-casing-conflicts)                           | Operation paths must be unique when compared case-insensitively.                                                                                                                                                                                      |
 | [`@azure-tools/typespec-azure-resource-manager/arm-common-types-version`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/arm-common-types-version)                                   | Specify the ARM common-types version using @armCommonTypesVersion.                                                                                                                                                                                    |
 | [`@azure-tools/typespec-azure-resource-manager/arm-delete-operation-response-codes`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/delete-operation-response-codes)                 | Ensure delete operations have the appropriate status codes.                                                                                                                                                                                           |
 | [`@azure-tools/typespec-azure-resource-manager/arm-put-operation-response-codes`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/put-operation-response-codes)                       | Ensure put operations have the appropriate status codes.                                                                                                                                                                                              |
@@ -42,6 +43,7 @@ Available ruleSets:
 | [`@azure-tools/typespec-azure-resource-manager/arm-resource-operation-response`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/arm-resource-operation-response)                     | [RPC 008]: PUT, GET, PATCH & LIST must return the same resource schema.                                                                                                                                                                               |
 | [`@azure-tools/typespec-azure-resource-manager/arm-resource-path-segment-invalid-chars`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/arm-resource-path-segment-invalid-chars)     | Arm resource name must contain only alphanumeric characters.                                                                                                                                                                                          |
 | [`@azure-tools/typespec-azure-resource-manager/arm-resource-provisioning-state`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/arm-resource-provisioning-state)                     | Check for properly configured provisioningState property.                                                                                                                                                                                             |
+| [`@azure-tools/typespec-azure-resource-manager/version-progression`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/version-progression)                                             | Validate that ARM service versions all use unique dates and are declared in strictly increasing chronological order.                                                                                                                                  |
 | [`@azure-tools/typespec-azure-resource-manager/arm-custom-resource-no-key`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/arm-custom-resource-no-key)                               | Validate that custom resource contains a key property.                                                                                                                                                                                                |
 | [`@azure-tools/typespec-azure-resource-manager/arm-custom-resource-usage-discourage`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/arm-custom-resource-usage-discourage)           | Verify the usage of @customAzureResource decorator.                                                                                                                                                                                                   |
 | [`@azure-tools/typespec-azure-resource-manager/beyond-nesting-levels`](https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/beyond-nesting-levels)                                         | Tracked Resources must use 3 or fewer levels of nesting.                                                                                                                                                                                              |

package/dist/src/linter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"linter.d.ts","sourceRoot":"","sources":["../../src/linter.ts"],"names":[],"mappings":"AAyEA,eAAO,MAAM,OAAO,+CAElB,CAAC"}
+{"version":3,"file":"linter.d.ts","sourceRoot":"","sources":["../../src/linter.ts"],"names":[],"mappings":"AA6EA,eAAO,MAAM,OAAO,+CAElB,CAAC"}

package/dist/src/linter.js

@@ -3,6 +3,7 @@ import { armCommonTypesVersionRule } from "./rules/arm-common-types-version.js";
 import { armCustomResourceNoKey } from "./rules/arm-custom-resource-no-key.js";
 import { armCustomResourceUsageDiscourage } from "./rules/arm-custom-resource-usage-discourage.js";
 import { armDeleteResponseCodesRule } from "./rules/arm-delete-response-codes.js";
+import { armNoPathCasingConflictsRule } from "./rules/arm-no-path-casing-conflicts.js";
 import { armNoRecordRule } from "./rules/arm-no-record.js";
 import { armPostResponseCodesRule } from "./rules/arm-post-response-codes.js";
 import { armPutResponseCodesRule } from "./rules/arm-put-response-codes.js";
@@ -33,8 +34,10 @@ import { resourceNameRule } from "./rules/resource-name.js";
 import { retryAfterRule } from "./rules/retry-after.js";
 import { secretProprule } from "./rules/secret-prop.js";
 import { unsupportedTypeRule } from "./rules/unsupported-type.js";
+import { versionProgressionRule } from "./rules/version-progression.js";
 const rules = [
     armNoRecordRule,
+    armNoPathCasingConflictsRule,
     armCommonTypesVersionRule,
     armDeleteResponseCodesRule,
     armPutResponseCodesRule,
@@ -48,6 +51,7 @@ const rules = [
     armResourceOperationsRule,
     armResourcePathInvalidCharsRule,
     armResourceProvisioningStateRule,
+    versionProgressionRule,
     armCustomResourceNoKey,
     armCustomResourceUsageDiscourage,
     beyondNestingRule,

package/dist/src/linter.js.map

@@ -1 +1 @@
-{"version":3,"file":"linter.js","sourceRoot":"","sources":["../../src/linter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,gCAAgC,EAAE,MAAM,iDAAiD,CAAC;AACnG,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,8BAA8B,EAAE,MAAM,2CAA2C,CAAC;AAC3F,OAAO,EAAE,kCAAkC,EAAE,MAAM,4CAA4C,CAAC;AAChG,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,gCAAgC,EAAE,MAAM,6CAA6C,CAAC;AAC/F,OAAO,EAAE,6BAA6B,EAAE,MAAM,mDAAmD,CAAC;AAClG,OAAO,EAAE,mCAAmC,EAAE,MAAM,gDAAgD,CAAC;AACrG,OAAO,EAAE,8BAA8B,EAAE,MAAM,2CAA2C,CAAC;AAC3F,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,+BAA+B,EAAE,MAAM,4CAA4C,CAAC;AAC7F,OAAO,EAAE,gCAAgC,EAAE,MAAM,iDAAiD,CAAC;AACnG,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAE,qCAAqC,EAAE,MAAM,iDAAiD,CAAC;AACxG,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,0BAA0B,EAAE,MAAM,yCAAyC,CAAC;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AACpF,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAElE,MAAM,KAAK,GAAG;IACZ,eAAe;IACf,yBAAyB;IACzB,0BAA0B;IAC1B,uBAAuB;IACvB,wBAAwB;IACxB,8BAA8B;IAC9B,kCAAkC;IAClC,6BAA6B;IAC7B,mCAAmC;IACnC,8BAA8B;IAC9B,0BAA0B;IAC1B,yBAAyB;IACzB,+BAA+B;IAC/B,gCAAgC;IAChC,sBAAsB;IACtB,gCAAgC;IAChC,iBAAiB;IACjB,kBAAkB;IAClB,0BAA0B;IAC1B,uBAAuB;IACvB,cAAc;IACd,gCAAgC;IAChC,qCAAqC;IACrC,qBAAqB;IACrB,yBAAyB;IACzB,kBAAkB;IAClB,8BAA8B;IAC9B,4BAA4B;IAC5B,mBAAmB;IACnB,gBAAgB;IAChB,cAAc;IACd,mBAAmB;IACnB,cAAc;IACd,YAAY;CACb,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,YAAY,CAAC;IAClC,KAAK;CACN,CAAC,CAAC"}
+{"version":3,"file":"linter.js","sourceRoot":"","sources":["../../src/linter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,gCAAgC,EAAE,MAAM,iDAAiD,CAAC;AACnG,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,8BAA8B,EAAE,MAAM,2CAA2C,CAAC;AAC3F,OAAO,EAAE,kCAAkC,EAAE,MAAM,4CAA4C,CAAC;AAChG,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,gCAAgC,EAAE,MAAM,6CAA6C,CAAC;AAC/F,OAAO,EAAE,6BAA6B,EAAE,MAAM,mDAAmD,CAAC;AAClG,OAAO,EAAE,mCAAmC,EAAE,MAAM,gDAAgD,CAAC;AACrG,OAAO,EAAE,8BAA8B,EAAE,MAAM,2CAA2C,CAAC;AAC3F,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,+BAA+B,EAAE,MAAM,4CAA4C,CAAC;AAC7F,OAAO,EAAE,gCAAgC,EAAE,MAAM,iDAAiD,CAAC;AACnG,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAE,qCAAqC,EAAE,MAAM,iDAAiD,CAAC;AACxG,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,0BAA0B,EAAE,MAAM,yCAAyC,CAAC;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AACpF,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,MAAM,KAAK,GAAG;IACZ,eAAe;IACf,4BAA4B;IAC5B,yBAAyB;IACzB,0BAA0B;IAC1B,uBAAuB;IACvB,wBAAwB;IACxB,8BAA8B;IAC9B,kCAAkC;IAClC,6BAA6B;IAC7B,mCAAmC;IACnC,8BAA8B;IAC9B,0BAA0B;IAC1B,yBAAyB;IACzB,+BAA+B;IAC/B,gCAAgC;IAChC,sBAAsB;IACtB,sBAAsB;IACtB,gCAAgC;IAChC,iBAAiB;IACjB,kBAAkB;IAClB,0BAA0B;IAC1B,uBAAuB;IACvB,cAAc;IACd,gCAAgC;IAChC,qCAAqC;IACrC,qBAAqB;IACrB,yBAAyB;IACzB,kBAAkB;IAClB,8BAA8B;IAC9B,4BAA4B;IAC5B,mBAAmB;IACnB,gBAAgB;IAChB,cAAc;IACd,mBAAmB;IACnB,cAAc;IACd,YAAY;CACb,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,YAAY,CAAC;IAClC,KAAK;CACN,CAAC,CAAC"}

package/dist/src/rules/arm-no-path-casing-conflicts.d.ts

@@ -0,0 +1,7 @@
+/**
+ * No two ARM operation paths may differ only by casing.
+ */
+export declare const armNoPathCasingConflictsRule: import("@typespec/compiler").LinterRuleDefinition<"arm-no-path-casing-conflicts", {
+    readonly default: import("@typespec/compiler").CallableMessage<["pathA", "pathB"]>;
+}, Record<string, never>>;
+//# sourceMappingURL=arm-no-path-casing-conflicts.d.ts.map

package/dist/src/rules/arm-no-path-casing-conflicts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arm-no-path-casing-conflicts.d.ts","sourceRoot":"","sources":["../../../src/rules/arm-no-path-casing-conflicts.ts"],"names":[],"mappings":"AAWA;;GAEG;AACH,eAAO,MAAM,4BAA4B;;yBA0DvC,CAAC"}

package/dist/src/rules/arm-no-path-casing-conflicts.js

@@ -0,0 +1,74 @@
+import { createRule, getSourceLocation, paramMessage, } from "@typespec/compiler";
+import { getAllHttpServices } from "@typespec/http";
+import { isInternalTypeSpec } from "./utils.js";
+/**
+ * No two ARM operation paths may differ only by casing.
+ */
+export const armNoPathCasingConflictsRule = createRule({
+    name: "arm-no-path-casing-conflicts",
+    severity: "warning",
+    description: "Operation paths must be unique when compared case-insensitively.",
+    url: "https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/arm-no-path-casing-conflicts",
+    messages: {
+        default: paramMessage `Operation path '${"pathA"}' differs from operation path '${"pathB"}' only by character casing. Each ARM operation path must be unique when compared case-insensitively.`,
+    },
+    create(context) {
+        return {
+            root: (program) => {
+                const [services] = getAllHttpServices(program);
+                // Bucket eligible operations by lowercased path. Path parameter names
+                // are part of the comparison: `/{scope}/...` and `/{resourceUri}/...`
+                // are in different buckets, while `/{scope}/...` and `/{Scope}/...`
+                // share a bucket.
+                const buckets = new Map();
+                for (const service of services) {
+                    for (const op of service.operations) {
+                        if (op.operation.namespace && isInternalTypeSpec(program, op.operation.namespace)) {
+                            continue;
+                        }
+                        const key = op.path.toLowerCase();
+                        let bucket = buckets.get(key);
+                        if (bucket === undefined) {
+                            bucket = [];
+                            buckets.set(key, bucket);
+                        }
+                        bucket.push({ path: op.path, operation: op.operation });
+                    }
+                }
+                for (const bucket of buckets.values()) {
+                    if (bucket.length < 2)
+                        continue;
+                    // Skip buckets where every path string is identical — exact
+                    // duplicates are handled by `@route`.
+                    const distinctSpellings = new Set(bucket.map((o) => o.path));
+                    if (distinctSpellings.size < 2)
+                        continue;
+                    // Sort deterministically by source location for stable diagnostics.
+                    const sorted = [...bucket].sort((a, b) => compareBySource(a.operation, b.operation));
+                    const firstPath = sorted[0].path;
+                    for (let i = 1; i < sorted.length; i++) {
+                        const op = sorted[i];
+                        if (op.path === firstPath)
+                            continue;
+                        context.reportDiagnostic({
+                            format: { pathA: op.path, pathB: firstPath },
+                            target: op.operation,
+                        });
+                    }
+                }
+            },
+        };
+    },
+});
+function compareBySource(a, b) {
+    const sa = getSourceLocation(a);
+    const sb = getSourceLocation(b);
+    const fa = sa?.file?.path ?? "";
+    const fb = sb?.file?.path ?? "";
+    if (fa !== fb)
+        return fa < fb ? -1 : 1;
+    const pa = sa?.pos ?? 0;
+    const pb = sb?.pos ?? 0;
+    return pa - pb;
+}
+//# sourceMappingURL=arm-no-path-casing-conflicts.js.map

package/dist/src/rules/arm-no-path-casing-conflicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arm-no-path-casing-conflicts.js","sourceRoot":"","sources":["../../../src/rules/arm-no-path-casing-conflicts.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,iBAAiB,EAEjB,YAAY,GAGb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEhD;;GAEG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,UAAU,CAAC;IACrD,IAAI,EAAE,8BAA8B;IACpC,QAAQ,EAAE,SAAS;IACnB,WAAW,EAAE,kEAAkE;IAC/E,GAAG,EAAE,iHAAiH;IACtH,QAAQ,EAAE;QACR,OAAO,EAAE,YAAY,CAAA,mBAAmB,OAAO,kCAAkC,OAAO,sGAAsG;KAC/L;IACD,MAAM,CAAC,OAAO;QACZ,OAAO;YACL,IAAI,EAAE,CAAC,OAAgB,EAAE,EAAE;gBACzB,MAAM,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;gBAE/C,sEAAsE;gBACtE,sEAAsE;gBACtE,oEAAoE;gBACpE,kBAAkB;gBAClB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoD,CAAC;gBAC5E,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;oBAC/B,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;wBACpC,IAAI,EAAE,CAAC,SAAS,CAAC,SAAS,IAAI,kBAAkB,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;4BAClF,SAAS;wBACX,CAAC;wBACD,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;wBAClC,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBAC9B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;4BACzB,MAAM,GAAG,EAAE,CAAC;4BACZ,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;wBAC3B,CAAC;wBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;oBAC1D,CAAC;gBACH,CAAC;gBAED,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;oBACtC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;wBAAE,SAAS;oBAEhC,4DAA4D;oBAC5D,sCAAsC;oBACtC,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC7D,IAAI,iBAAiB,CAAC,IAAI,GAAG,CAAC;wBAAE,SAAS;oBAEzC,oEAAoE;oBACpE,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;oBAErF,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBACvC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;wBACrB,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;4BAAE,SAAS;wBAEpC,OAAO,CAAC,gBAAgB,CAAC;4BACvB,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE;4BAC5C,MAAM,EAAE,EAAE,CAAC,SAAS;yBACrB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,SAAS,eAAe,CAAC,CAAY,EAAE,CAAY;IACjD,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;IAChC,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;IAChC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC;IACxB,OAAO,EAAE,GAAG,EAAE,CAAC;AACjB,CAAC"}

package/dist/src/rules/version-progression.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Validates that the versions declared on an ARM service namespace use a
+ * unique date and are listed in strictly increasing chronological order. Two
+ * api-versions sharing the same date (for example, `2026-04-28` and
+ * `2026-04-28-preview`) are not allowed — every version's `YYYY-MM-DD` date
+ * must be different from every other version's date in the same `Versions`
+ * enum.
+ */
+export declare const versionProgressionRule: import("@typespec/compiler").LinterRuleDefinition<"version-progression", {
+    readonly notMonotonic: import("@typespec/compiler").CallableMessage<["version", "previous"]>;
+    readonly duplicateDate: import("@typespec/compiler").CallableMessage<["version", "previous"]>;
+}, Record<string, never>>;
+//# sourceMappingURL=version-progression.d.ts.map

package/dist/src/rules/version-progression.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version-progression.d.ts","sourceRoot":"","sources":["../../../src/rules/version-progression.ts"],"names":[],"mappings":"AAqBA;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB;;;yBA6CjC,CAAC"}

package/dist/src/rules/version-progression.js

@@ -0,0 +1,68 @@
+import { createRule, paramMessage } from "@typespec/compiler";
+import { getVersion } from "@typespec/versioning";
+/**
+ * Parse a version string of the form "YYYY-MM-DD[-suffix[.N]]" and return its
+ * date component. Returns undefined if the string does not match the expected
+ * format (the `arm-resource-invalid-version-format` rule is responsible for
+ * reporting that).
+ */
+function parseVersionDate(value) {
+    const match = value.match(/^(\d{4}-\d{2}-\d{2})(?:-[A-Za-z]+(?:\.\d+)?)?$/);
+    return match ? match[1] : undefined;
+}
+/**
+ * Validates that the versions declared on an ARM service namespace use a
+ * unique date and are listed in strictly increasing chronological order. Two
+ * api-versions sharing the same date (for example, `2026-04-28` and
+ * `2026-04-28-preview`) are not allowed — every version's `YYYY-MM-DD` date
+ * must be different from every other version's date in the same `Versions`
+ * enum.
+ */
+export const versionProgressionRule = createRule({
+    name: "version-progression",
+    severity: "warning",
+    description: "Validate that ARM service versions all use unique dates and are declared in strictly increasing chronological order.",
+    url: "https://azure.github.io/typespec-azure/docs/libraries/azure-resource-manager/rules/version-progression",
+    messages: {
+        notMonotonic: paramMessage `Version '${"version"}' is declared after '${"previous"}' but is not chronologically later. ARM versions must be declared in strictly increasing chronological order by date.`,
+        duplicateDate: paramMessage `Version '${"version"}' has the same date as '${"previous"}'. Every ARM api-version must use a unique date — preview and stable versions cannot share the same 'YYYY-MM-DD'.`,
+    },
+    create(context) {
+        return {
+            namespace: (namespace) => {
+                const map = getVersion(context.program, namespace);
+                if (map === undefined)
+                    return;
+                const parsed = [];
+                for (const version of map.getVersions()) {
+                    const value = version.enumMember.value ?? version.enumMember.name;
+                    if (typeof value !== "string")
+                        continue;
+                    const date = parseVersionDate(value);
+                    if (date === undefined)
+                        continue;
+                    parsed.push({ enumMember: version.enumMember, raw: value, date });
+                }
+                for (let i = 1; i < parsed.length; i++) {
+                    const current = parsed[i];
+                    const previous = parsed[i - 1];
+                    if (current.date === previous.date) {
+                        context.reportDiagnostic({
+                            messageId: "duplicateDate",
+                            format: { version: current.raw, previous: previous.raw },
+                            target: current.enumMember,
+                        });
+                    }
+                    else if (current.date < previous.date) {
+                        context.reportDiagnostic({
+                            messageId: "notMonotonic",
+                            format: { version: current.raw, previous: previous.raw },
+                            target: current.enumMember,
+                        });
+                    }
+                }
+            },
+        };
+    },
+});
+//# sourceMappingURL=version-progression.js.map

package/dist/src/rules/version-progression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version-progression.js","sourceRoot":"","sources":["../../../src/rules/version-progression.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,UAAU,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAErF,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAQlD;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,KAAa;IACrC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;IAC5E,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,UAAU,CAAC;IAC/C,IAAI,EAAE,qBAAqB;IAC3B,QAAQ,EAAE,SAAS;IACnB,WAAW,EACT,sHAAsH;IACxH,GAAG,EAAE,wGAAwG;IAC7G,QAAQ,EAAE;QACR,YAAY,EAAE,YAAY,CAAA,YAAY,SAAS,wBAAwB,UAAU,uHAAuH;QACxM,aAAa,EAAE,YAAY,CAAA,YAAY,SAAS,2BAA2B,UAAU,mHAAmH;KACzM;IACD,MAAM,CAAC,OAAO;QACZ,OAAO;YACL,SAAS,EAAE,CAAC,SAAoB,EAAE,EAAE;gBAClC,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBACnD,IAAI,GAAG,KAAK,SAAS;oBAAE,OAAO;gBAE9B,MAAM,MAAM,GAAoB,EAAE,CAAC;gBACnC,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;oBACxC,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;oBAClE,IAAI,OAAO,KAAK,KAAK,QAAQ;wBAAE,SAAS;oBACxC,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;oBACrC,IAAI,IAAI,KAAK,SAAS;wBAAE,SAAS;oBACjC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACpE,CAAC;gBAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACvC,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;oBAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;wBACnC,OAAO,CAAC,gBAAgB,CAAC;4BACvB,SAAS,EAAE,eAAe;4BAC1B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE;4BACxD,MAAM,EAAE,OAAO,CAAC,UAAU;yBAC3B,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,OAAO,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;wBACxC,OAAO,CAAC,gBAAgB,CAAC;4BACvB,SAAS,EAAE,cAAc;4BACzB,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE;4BACxD,MAAM,EAAE,OAAO,CAAC,UAAU;yBAC3B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/lib/common-types/common-types.tsp

@@ -1,6 +1,5 @@
 import "@typespec/versioning";
 import "@azure-tools/typespec-azure-core";
-import "./common-types.tsp";
 import "./types-ref.tsp";
 import "./managed-identity-ref.tsp";
 import "./managed-identity-with-delegation-ref.tsp";

package/lib/common-types/customer-managed-keys-ref.tsp

@@ -4,33 +4,39 @@ using Azure.ResourceManager.CommonTypes.Private;
 
 namespace Azure.ResourceManager.CommonTypes;
 
-@@armCommonDefinition(Encryption,
+@@armCommonDefinition(
+  Encryption,
   "encryption",
   #{ version: Azure.ResourceManager.CommonTypes.Versions.v4, isDefault: true },
   "customermanagedkeys.json"
 );
-@@armCommonDefinition(Encryption,
+@@armCommonDefinition(
+  Encryption,
   "encryption",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "customermanagedkeys.json"
 );
-@@armCommonDefinition(Encryption,
+@@armCommonDefinition(
+  Encryption,
   "encryption",
   Azure.ResourceManager.CommonTypes.Versions.v6,
   "customermanagedkeys.json"
 );
 
-@@armCommonDefinition(CustomerManagedKeyEncryption,
+@@armCommonDefinition(
+  CustomerManagedKeyEncryption,
   "customerManagedKeyEncryption",
   #{ version: Azure.ResourceManager.CommonTypes.Versions.v4, isDefault: true },
   "customermanagedkeys.json"
 );
-@@armCommonDefinition(CustomerManagedKeyEncryption,
+@@armCommonDefinition(
+  CustomerManagedKeyEncryption,
   "customerManagedKeyEncryption",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "customermanagedkeys.json"
 );
-@@armCommonDefinition(CustomerManagedKeyEncryption,
+@@armCommonDefinition(
+  CustomerManagedKeyEncryption,
   "customerManagedKeyEncryption",
   Azure.ResourceManager.CommonTypes.Versions.v6,
   "customermanagedkeys.json"

package/lib/common-types/managed-identity-ref.tsp

@@ -7,39 +7,46 @@ namespace Azure.ResourceManager.CommonTypes;
 /**
  * The properties of the managed service identities assigned to this resource.
  */
-@@armCommonDefinition(ManagedServiceIdentity,
+@@armCommonDefinition(
+  ManagedServiceIdentity,
   "ManagedServiceIdentity",
   #{ version: Azure.ResourceManager.CommonTypes.Versions.v3, isDefault: true },
   "managedidentity.json"
 );
-@@armCommonDefinition(ManagedServiceIdentity,
+@@armCommonDefinition(
+  ManagedServiceIdentity,
   "ManagedServiceIdentity",
   Azure.ResourceManager.CommonTypes.Versions.v4,
   "managedidentity.json"
 );
-@@armCommonDefinition(ManagedServiceIdentity,
+@@armCommonDefinition(
+  ManagedServiceIdentity,
   "ManagedServiceIdentity",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "managedidentity.json"
 );
-@@armCommonDefinition(ManagedServiceIdentity,
+@@armCommonDefinition(
+  ManagedServiceIdentity,
   "ManagedServiceIdentity",
   Azure.ResourceManager.CommonTypes.Versions.v6,
   "managedidentity.json"
 );
 
 /** The set of user assigned identities associated with the resource. The userAssignedIdentities dictionary keys will be ARM resource ids in the form: '/subscriptions/{subscriptionId}/resourceGroups/{resourceGroupName}/providers/Microsoft.ManagedIdentity/userAssignedIdentities/{identityName}. The dictionary values can be empty objects ({}) in requests.", */
-@@armCommonDefinition(UserAssignedIdentities,
+@@armCommonDefinition(
+  UserAssignedIdentities,
   "UserAssignedIdentities",
   #{ version: Azure.ResourceManager.CommonTypes.Versions.v3, isDefault: true },
   "managedidentity.json"
 );
-@@armCommonDefinition(UserAssignedIdentities,
+@@armCommonDefinition(
+  UserAssignedIdentities,
   "UserAssignedIdentities",
   Azure.ResourceManager.CommonTypes.Versions.v4,
   "managedidentity.json"
 );
-@@armCommonDefinition(UserAssignedIdentities,
+@@armCommonDefinition(
+  UserAssignedIdentities,
   "UserAssignedIdentities",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "managedidentity.json"
@@ -48,22 +55,26 @@ namespace Azure.ResourceManager.CommonTypes;
 /**
  * The properties of the service-assigned identity associated with this resource.
  */
-@@armCommonDefinition(SystemAssignedServiceIdentity,
+@@armCommonDefinition(
+  SystemAssignedServiceIdentity,
   "SystemAssignedServiceIdentity",
   #{ version: Azure.ResourceManager.CommonTypes.Versions.v3, isDefault: true },
   "managedidentity.json"
 );
-@@armCommonDefinition(SystemAssignedServiceIdentity,
+@@armCommonDefinition(
+  SystemAssignedServiceIdentity,
   "SystemAssignedServiceIdentity",
   Azure.ResourceManager.CommonTypes.Versions.v4,
   "managedidentity.json"
 );
-@@armCommonDefinition(SystemAssignedServiceIdentity,
+@@armCommonDefinition(
+  SystemAssignedServiceIdentity,
   "SystemAssignedServiceIdentity",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "managedidentity.json"
 );
-@@armCommonDefinition(SystemAssignedServiceIdentity,
+@@armCommonDefinition(
+  SystemAssignedServiceIdentity,
   "SystemAssignedServiceIdentity",
   Azure.ResourceManager.CommonTypes.Versions.v6,
   "managedidentity.json"
@@ -72,64 +83,76 @@ namespace Azure.ResourceManager.CommonTypes;
 /**
  * A managed identity assigned by the user.
  */
-@@armCommonDefinition(UserAssignedIdentity,
+@@armCommonDefinition(
+  UserAssignedIdentity,
   "UserAssignedIdentity",
   #{ version: Azure.ResourceManager.CommonTypes.Versions.v3, isDefault: true },
   "managedidentity.json"
 );
-@@armCommonDefinition(UserAssignedIdentity,
+@@armCommonDefinition(
+  UserAssignedIdentity,
   "UserAssignedIdentity",
   Azure.ResourceManager.CommonTypes.Versions.v4,
   "managedidentity.json"
 );
-@@armCommonDefinition(UserAssignedIdentity,
+@@armCommonDefinition(
+  UserAssignedIdentity,
   "UserAssignedIdentity",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "managedidentity.json"
 );
-@@armCommonDefinition(UserAssignedIdentity,
+@@armCommonDefinition(
+  UserAssignedIdentity,
   "UserAssignedIdentity",
   Azure.ResourceManager.CommonTypes.Versions.v6,
   "managedidentity.json"
 );
 
-@@armCommonDefinition(ManagedServiceIdentityType,
+@@armCommonDefinition(
+  ManagedServiceIdentityType,
   "ManagedServiceIdentityType",
   Azure.ResourceManager.CommonTypes.Versions.v3,
   "managedidentity.json"
 );
-@@armCommonDefinition(ManagedServiceIdentityType,
+@@armCommonDefinition(
+  ManagedServiceIdentityType,
   "ManagedServiceIdentityType",
   Azure.ResourceManager.CommonTypes.Versions.v4,
   "managedidentity.json"
 );
-@@armCommonDefinition(ManagedServiceIdentityType,
+@@armCommonDefinition(
+  ManagedServiceIdentityType,
   "ManagedServiceIdentityType",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "managedidentity.json"
 );
-@@armCommonDefinition(ManagedServiceIdentityType,
+@@armCommonDefinition(
+  ManagedServiceIdentityType,
   "ManagedServiceIdentityType",
   Azure.ResourceManager.CommonTypes.Versions.v6,
   "managedidentity.json"
 );
 
-@@armCommonDefinition(SystemAssignedServiceIdentityType,
+@@armCommonDefinition(
+  SystemAssignedServiceIdentityType,
   "SystemAssignedServiceIdentityType",
   Azure.ResourceManager.CommonTypes.Versions.v3,
   "managedidentity.json"
 );
-@@armCommonDefinition(SystemAssignedServiceIdentityType,
+@@armCommonDefinition(
+  SystemAssignedServiceIdentityType,
   "SystemAssignedServiceIdentityType",
   Azure.ResourceManager.CommonTypes.Versions.v4,
   "managedidentity.json"
 );
-@@armCommonDefinition(SystemAssignedServiceIdentityType,
+@@armCommonDefinition(
+  SystemAssignedServiceIdentityType,
   "SystemAssignedServiceIdentityType",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "managedidentity.json"
 );
-@@armCommonDefinition(SystemAssignedServiceIdentityType,
+@@armCommonDefinition(
+  SystemAssignedServiceIdentityType,
   "SystemAssignedServiceIdentityType",
   Azure.ResourceManager.CommonTypes.Versions.v6,
   "managedidentity.json"

package/lib/common-types/managed-identity-with-delegation-ref.tsp

@@ -4,34 +4,40 @@ using Azure.ResourceManager.CommonTypes.Private;
 namespace Azure.ResourceManager.CommonTypes;
 
 /** Managed service identity (system assigned and/or user assigned identities and/or delegated identities) - internal use only. */
-@@armCommonDefinition(ManagedServiceIdentityWithDelegation,
+@@armCommonDefinition(
+  ManagedServiceIdentityWithDelegation,
   "ManagedServiceIdentityWithDelegation",
   Azure.ResourceManager.CommonTypes.Versions.v4,
   "managedidentitywithdelegation.json"
 );
-@@armCommonDefinition(ManagedServiceIdentityWithDelegation,
+@@armCommonDefinition(
+  ManagedServiceIdentityWithDelegation,
   "ManagedServiceIdentityWithDelegation",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "managedidentitywithdelegation.json"
 );
-@@armCommonDefinition(ManagedServiceIdentityWithDelegation,
+@@armCommonDefinition(
+  ManagedServiceIdentityWithDelegation,
   "ManagedServiceIdentityWithDelegation",
   Azure.ResourceManager.CommonTypes.Versions.v6,
   "managedidentitywithdelegation.json"
 );
 
 /** Delegated resource properties - internal use only. */
-@@armCommonDefinition(DelegatedResource,
+@@armCommonDefinition(
+  DelegatedResource,
   "DelegatedResource",
   Azure.ResourceManager.CommonTypes.Versions.v4,
   "managedidentitywithdelegation.json"
 );
-@@armCommonDefinition(DelegatedResource,
+@@armCommonDefinition(
+  DelegatedResource,
   "DelegatedResource",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "managedidentitywithdelegation.json"
 );
-@@armCommonDefinition(DelegatedResource,
+@@armCommonDefinition(
+  DelegatedResource,
   "DelegatedResource",
   Azure.ResourceManager.CommonTypes.Versions.v6,
   "managedidentitywithdelegation.json"

package/lib/common-types/mobo-ref.tsp

@@ -4,24 +4,28 @@ using Azure.ResourceManager.CommonTypes.Private;
 namespace Azure.ResourceManager.CommonTypes;
 
 /** This configuration exists for the resources where a resource provider manages those resources on behalf of the resource owner. */
-@@armCommonDefinition(ManagedOnBehalfOfConfiguration,
+@@armCommonDefinition(
+  ManagedOnBehalfOfConfiguration,
   "ManagedOnBehalfOfConfiguration",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "mobo.json"
 );
-@@armCommonDefinition(ManagedOnBehalfOfConfiguration,
+@@armCommonDefinition(
+  ManagedOnBehalfOfConfiguration,
   "ManagedOnBehalfOfConfiguration",
   Azure.ResourceManager.CommonTypes.Versions.v6,
   "mobo.json"
 );
 
 /** This resource is created by the Resource Provider to manage some resources on behalf of the user. */
-@@armCommonDefinition(MoboBrokerResource,
+@@armCommonDefinition(
+  MoboBrokerResource,
   "MoboBrokerResource",
   Azure.ResourceManager.CommonTypes.Versions.v5,
   "mobo.json"
 );
-@@armCommonDefinition(MoboBrokerResource,
+@@armCommonDefinition(
+  MoboBrokerResource,
   "MoboBrokerResource",
   Azure.ResourceManager.CommonTypes.Versions.v6,
   "mobo.json"