@agent-teams/feature-module-standard 0.2.4 → 0.3.1

package/CHANGELOG.md

@@ -1,5 +1,28 @@
 # Changelog
 
+## 0.3.1
+
+### Patch Changes
+
+- [#455](https://github.com/agent-teams-ai/engineering-foundation/pull/455) [`3bee016`](https://github.com/agent-teams-ai/engineering-foundation/commit/3bee0168797580b931dd7e355d0fb8e0ed5691de) Thanks [@777genius](https://github.com/777genius)! - Use the public asynchronous native compiler SDK for signature proofs, preserving the existing syntax oracle while awaiting sequential comparisons and cleanup. Recheck cancellation before approval reads, baseline promotion and admission effects.
+
+  Release FMS with its updated exact Foundation development dependency so each published version retains immutable packed bytes.
+
+## 0.3.0
+
+### Minor Changes
+
+- [#443](https://github.com/agent-teams-ai/engineering-foundation/pull/443) [`17520f7`](https://github.com/agent-teams-ai/engineering-foundation/commit/17520f7d84d364f5bb40195785c2b7a9269663a0) Thanks [@777genius](https://github.com/777genius)! - Admit Foundation `^3.0.0` for the optional Node runner peer while preserving
+  the `^1.8.0` minimum and `^2.0.0` window. Foundation 3 relocates technical
+  presets and evolves quality coverage; the runner continues to use only the
+  public source-graph observation and ratchet budget contracts. Keep the pure
+  entries dependency-free and retain the exact current-workspace development link.
+
+  Ship this compatible peer expansion as a new 0.x minor before migrating a
+  consumer to Foundation 3. Follow the companion migration and final packed
+  installed-consumer qualification in
+  `docs/development/feature-module-standard-foundation-3-migration.md`.
+
 ## 0.2.4
 
 ### Patch Changes

package/README.md

@@ -40,18 +40,18 @@ so a profile can compare it with the digest it pins. Applicability follows decla
 sub-feature exists only where `featureRoots` declares it, so in any other module
 a `features` directory inside a feature keeps its v1 meaning.
 
-| Rules | Diagnostic codes |
-| --- | --- |
-| Tree: feature roots at `<features root>/<name>` and `<parent>/features/<name>`, one container name, only role directories, the container and mapped files below a feature root | `feature-root-placement`, `feature-duplicate`, `feature-undeclared`, `container-file`, `container-empty`, `entry-unmapped` |
-| Test ownership: a test belongs to the deepest feature, sub-feature tests live in the mirrored test root, and a test uses another visible feature only through public, internal API and testing surfaces | `test-unowned`, `test-misplaced` (warnings: the standard says SHOULD), `not-visible`, `deep-import` |
-| Visibility and curated surfaces: a sub-feature is visible to its parent and the parent's descendants; no deep imports | `not-visible`, `deep-import`, `surface-unowned` |
-| Layer direction (v1): domain and application never import contracts; adapters reach siblings through the application core | `layer-direction` |
-| Composition contracts (module-level composition is named by `moduleComposition`): they are composition code, only composition code depends on them, visible features only | `composition-contract-misplaced`, `composition-contract-layer`, `not-visible` |
-| Assembly: only a parent's composition wires its direct sub-feature, and it wires every one that exposes a composition surface | `assembly-misplaced`, `assembly-missing` |
-| Republication: declared, from a direct sub-feature, one level at a time | `republication-undeclared`, `republication-skips-level`, `republication-invalid`, `republication-mismatch`, `republication-not-sub-feature` |
-| Declared use edges, when the consumer has a profile | `use-undeclared`, `use-edge-invalid` |
-| Cycles: downward and lateral use edges, runtime and type-only alike; load-time cycles between files of different features | `feature-cycle`, `load-cycle` |
-| Growth: depth warning and per-feature metrics (files, tests, sub-features, consumer file groups) | `depth-warning` |
+| Rules                                                                                                                                                                                                   | Diagnostic codes                                                                                                                            |
+| ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------- |
+| Tree: feature roots at `<features root>/<name>` and `<parent>/features/<name>`, one container name, only role directories, the container and mapped files below a feature root                          | `feature-root-placement`, `feature-duplicate`, `feature-undeclared`, `container-file`, `container-empty`, `entry-unmapped`                  |
+| Test ownership: a test belongs to the deepest feature, sub-feature tests live in the mirrored test root, and a test uses another visible feature only through public, internal API and testing surfaces | `test-unowned`, `test-misplaced` (warnings: the standard says SHOULD), `not-visible`, `deep-import`                                         |
+| Visibility and curated surfaces: a sub-feature is visible to its parent and the parent's descendants; no deep imports                                                                                   | `not-visible`, `deep-import`, `surface-unowned`                                                                                             |
+| Layer direction (v1): domain and application never import contracts; adapters reach siblings through the application core                                                                               | `layer-direction`                                                                                                                           |
+| Composition contracts (module-level composition is named by `moduleComposition`): they are composition code, only composition code depends on them, visible features only                               | `composition-contract-misplaced`, `composition-contract-layer`, `not-visible`                                                               |
+| Assembly: only a parent's composition wires its direct sub-feature, and it wires every one that exposes a composition surface                                                                           | `assembly-misplaced`, `assembly-missing`                                                                                                    |
+| Republication: declared, from a direct sub-feature, one level at a time                                                                                                                                 | `republication-undeclared`, `republication-skips-level`, `republication-invalid`, `republication-mismatch`, `republication-not-sub-feature` |
+| Declared use edges, when the consumer has a profile                                                                                                                                                     | `use-undeclared`, `use-edge-invalid`                                                                                                        |
+| Cycles: downward and lateral use edges, runtime and type-only alike; load-time cycles between files of different features                                                                               | `feature-cycle`, `load-cycle`                                                                                                               |
+| Growth: depth warning and per-feature metrics (files, tests, sub-features, consumer file groups)                                                                                                        | `depth-warning`                                                                                                                             |
 
 Every code is in `ERROR_CODES` or `WARNING_CODES`; a MUST of the standard is an error and a SHOULD a warning
 that does not fail the module. Diagnostics are sorted and stable. `invalid-path` reports any input path that is
@@ -77,20 +77,29 @@ conformance test, run the same data.
 
 `@agent-teams/feature-module-standard/node` checks a module on disk. It reads the declared roots through
 `@agent-teams/engineering-foundation/source-graph`, runs the kernel and compares the per-feature metrics with
-growth budgets from `@agent-teams/engineering-foundation/ratchet` (warnings only). Engineering Foundation `^1.8.0 || ^2.0.0` is an
+growth budgets from `@agent-teams/engineering-foundation/ratchet` (warnings only). Engineering Foundation `^1.8.0 || ^2.0.0 || ^3.0.0` is an
 optional peer dependency: users of `.` and `./fixtures` do not need it.
+The Foundation 3 window is prepared for the companion release. See the
+[migration and qualification record](../../docs/development/feature-module-standard-foundation-3-migration.md)
+for the unchanged runner contracts and the required final installed-artifact gate.
 
 ```ts
-import { checkFeatureModuleOnDisk, formatNodeReport } from '@agent-teams/feature-module-standard/node';
+import {
+  checkFeatureModuleOnDisk,
+  formatNodeReport,
+} from "@agent-teams/feature-module-standard/node";
 
 const report = await checkFeatureModuleOnDisk({
   consumerRoot: process.cwd(),
-  sourceRoots: ['src'],
-  testRoots: ['tests/features'],
-  testFeaturesRoot: 'tests/features',
-  structure: { featuresRoot: 'src/features', roleDirectories: { domain: 'domain', application: 'application' } },
-  surfaces: { public: ['src/features/orders/contracts/public.ts'] },
-  budgets: [{ metric: 'sourceFiles', max: 40 }],
+  sourceRoots: ["src"],
+  testRoots: ["tests/features"],
+  testFeaturesRoot: "tests/features",
+  structure: {
+    featuresRoot: "src/features",
+    roleDirectories: { domain: "domain", application: "application" },
+  },
+  surfaces: { public: ["src/features/orders/contracts/public.ts"] },
+  budgets: [{ metric: "sourceFiles", max: 40 }],
 });
 process.stdout.write(formatNodeReport(report));
 ```

package/dist/features/conformance-fixtures/testing/conformance-case-inputs.d.ts

@@ -0,0 +1,53 @@
+import { inferDirectoryLayout } from "../../feature-layout/application/infer-directory-layout.js";
+import { ERROR_CODES, WARNING_CODES } from "../../feature-model/domain/model.js";
+import type { DiagnosticCode, FeatureModuleInput, ImportMode, ImportRecord, LayerRole, Republication, RepublishedSurface, RoleRoot, SurfaceMap, UseEdge } from "../../feature-model/domain/model.js";
+import { FEATURES_ROOT, MODULE_COMPOSITION, TEST_FEATURES_ROOT, exampleModule, exampleRoots, fileOf, importOf, roleDirectories } from "./example-tree.js";
+export { ERROR_CODES, WARNING_CODES };
+export type { DiagnosticCode, FeatureModuleInput, ImportMode, ImportRecord, LayerRole, Republication, RepublishedSurface, RoleRoot, SurfaceMap, UseEdge, };
+/** One fixture: a complete module description and the exact diagnostic codes the kernel must report for it. */
+export type ConformanceCase = Readonly<{
+    id: string;
+    /** Where Feature Module Standard v1.1 states the rule: a section name, with the example table or bullet it uses. */
+    source: string;
+    description: string;
+    input: FeatureModuleInput;
+    /** Sorted diagnostic codes, duplicates kept; empty when the module conforms. */
+    expect: readonly DiagnosticCode[];
+    /** False only when an error code is among `expect`; a warning does not fail. */
+    ok: boolean;
+}>;
+type Change = Readonly<{
+    files?: readonly string[];
+    imports?: readonly ImportRecord[];
+    drop?: (record: ImportRecord) => boolean;
+    input?: Partial<FeatureModuleInput>;
+}>;
+export declare const define: (id: string, source: string, description: string, expect: readonly DiagnosticCode[], change?: Change) => ConformanceCase;
+export declare const f: typeof fileOf;
+export declare const ex = "Sub-features: Examples";
+export declare const type = "type-only";
+export declare const orders = "src/features/orders";
+export declare const odCoupons = "orders/discounts/coupons";
+export declare const billingApi = "src/features/billing/application/internal-api.ts";
+export declare const testRoot = "tests/features/orders";
+export declare const discountsTest = "tests/features/orders/features/discounts/discount.test.ts";
+export declare const billingKit = "src/features/billing/application/kit.ts";
+export declare const reportsApi = "src/capabilities/reports/api.ts";
+export declare const reportsAdapter = "src/capabilities/reports/adapters/store.ts";
+export declare const billingApi2 = "src/features/billing/api.ts";
+export declare const v1Files: string[];
+export declare const profileCase: (id: string, expect: readonly DiagnosticCode[], imports: readonly ImportRecord[], description: string) => ConformanceCase;
+export declare const withApi: {
+    files: string[];
+    input: {
+        surfaces: {
+            public?: readonly string[];
+            compositionContract?: readonly string[];
+            compositionSurface?: readonly string[];
+            testing?: readonly string[];
+            internalApi: string[];
+        };
+    };
+};
+export { FEATURES_ROOT, MODULE_COMPOSITION, TEST_FEATURES_ROOT, exampleModule, exampleRoots, importOf, roleDirectories, inferDirectoryLayout, };
+//# sourceMappingURL=conformance-case-inputs.d.ts.map

package/dist/features/conformance-fixtures/testing/conformance-case-inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance-case-inputs.d.ts","sourceRoot":"","sources":["../../../../src/features/conformance-fixtures/testing/conformance-case-inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,4DAA4D,CAAC;AAClG,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EACV,cAAc,EACd,kBAAkB,EAClB,UAAU,EACV,YAAY,EACZ,SAAS,EACT,aAAa,EACb,kBAAkB,EAClB,QAAQ,EACR,UAAU,EACV,OAAO,EACR,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,MAAM,EACN,QAAQ,EACR,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;AAEtC,YAAY,EACV,cAAc,EACd,kBAAkB,EAClB,UAAU,EACV,YAAY,EACZ,SAAS,EACT,aAAa,EACb,kBAAkB,EAClB,QAAQ,EACR,UAAU,EACV,OAAO,GACR,CAAC;AAEF,+GAA+G;AAC/G,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,oHAAoH;IACpH,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,kBAAkB,CAAC;IAC1B,gFAAgF;IAChF,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAClC,gFAAgF;IAChF,EAAE,EAAE,OAAO,CAAC;CACb,CAAC,CAAC;AAEH,KAAK,MAAM,GAAG,QAAQ,CAAC;IACrB,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,OAAO,CAAC;IACzC,KAAK,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;CACrC,CAAC,CAAC;AAGH,eAAO,MAAM,MAAM,OACb,MAAM,UACF,MAAM,eACD,MAAM,UACX,SAAS,cAAc,EAAE,WACzB,MAAM,KACb,eAYF,CAAC;AAEF,eAAO,MAAM,CAAC,eAAS,CAAC;AACxB,eAAO,MAAM,EAAE,2BAA2B,CAAC;AAC3C,eAAO,MAAM,IAAI,cAAc,CAAC;AAChC,eAAO,MAAM,MAAM,wBAA4B,CAAC;AAChD,eAAO,MAAM,SAAS,6BAA6B,CAAC;AACpD,eAAO,MAAM,UAAU,qDAAyD,CAAC;AACjF,eAAO,MAAM,QAAQ,0BAAiC,CAAC;AACvD,eAAO,MAAM,aAAa,8DAAoD,CAAC;AAC/E,eAAO,MAAM,UAAU,4CAAgD,CAAC;AAIxE,eAAO,MAAM,UAAU,oCAAsB,CAAC;AAC9C,eAAO,MAAM,cAAc,+CAAiC,CAAC;AAC7D,eAAO,MAAM,WAAW,gCAAuB,CAAC;AAQhD,eAAO,MAAM,OAAO,UAGnB,CAAC;AACF,eAAO,MAAM,WAAW,OAClB,MAAM,UACF,SAAS,cAAc,EAAE,WACxB,SAAS,YAAY,EAAE,eACnB,MAAM,KAClB,eAmBD,CAAC;AACH,eAAO,MAAM,OAAO;;;;;;;;;;;CAGnB,CAAC;AAEF,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,QAAQ,EACR,eAAe,EACf,oBAAoB,GACrB,CAAC"}

package/dist/features/conformance-fixtures/testing/conformance-case-inputs.js

@@ -0,0 +1,70 @@
+import { inferDirectoryLayout } from "../../feature-layout/application/infer-directory-layout.js";
+import { ERROR_CODES, WARNING_CODES } from "../../feature-model/domain/model.js";
+import { FEATURES_ROOT, MODULE_COMPOSITION, TEST_FEATURES_ROOT, exampleModule, exampleRoots, fileOf, importOf, roleDirectories, } from "./example-tree.js";
+export { ERROR_CODES, WARNING_CODES };
+const warnings = new Set(WARNING_CODES);
+export const define = (id, source, description, expect, change = {}) => {
+    const base = exampleModule();
+    const input = {
+        ...base,
+        ...change.input,
+        files: [...base.files, ...(change.files ?? [])],
+        imports: [
+            ...base.imports.filter((record) => !(change.drop?.(record) ?? false)),
+            ...(change.imports ?? []),
+        ],
+    };
+    return { id, source, description, input, expect, ok: expect.every((code) => warnings.has(code)) };
+};
+export const f = fileOf;
+export const ex = "Sub-features: Examples";
+export const type = "type-only";
+export const orders = `${FEATURES_ROOT}/orders`;
+export const odCoupons = "orders/discounts/coupons";
+export const billingApi = `${FEATURES_ROOT}/billing/application/internal-api.ts`;
+export const testRoot = `${TEST_FEATURES_ROOT}/orders`;
+export const discountsTest = `${testRoot}/features/discounts/discount.test.ts`;
+export const billingKit = `${FEATURES_ROOT}/billing/application/kit.ts`;
+// A repository whose layout is not the default declares its roots and role mapping itself.
+const reports = "src/capabilities/reports";
+const billing2 = "src/features/billing";
+export const reportsApi = `${reports}/api.ts`;
+export const reportsAdapter = `${reports}/adapters/store.ts`;
+export const billingApi2 = `${billing2}/api.ts`;
+const files = [
+    reportsApi,
+    `${reports}/module.ts`,
+    reportsAdapter,
+    billingApi2,
+    `${billing2}/contracts.ts`,
+];
+export const v1Files = [
+    `${FEATURES_ROOT}/legacy/domain/model.ts`,
+    `${FEATURES_ROOT}/legacy/features/helper.ts`,
+];
+export const profileCase = (id, expect, imports, description) => ({
+    id,
+    source: "Abstract repository layout",
+    description,
+    expect,
+    ok: expect.length === 0,
+    input: {
+        files,
+        imports,
+        featureRoots: [reports, billing2],
+        roleRoots: [
+            { root: reportsApi, role: "application" },
+            { root: `${reports}/module.ts`, role: "composition" },
+            { root: `${reports}/adapters`, role: "adapters" },
+            { root: billingApi2, role: "application" },
+            { root: `${billing2}/contracts.ts`, role: "contracts" },
+        ],
+        surfaces: { public: [reportsApi, billingApi2] },
+    },
+});
+export const withApi = {
+    files: [billingApi],
+    input: { surfaces: { ...exampleModule().surfaces, internalApi: [billingApi] } },
+};
+export { FEATURES_ROOT, MODULE_COMPOSITION, TEST_FEATURES_ROOT, exampleModule, exampleRoots, importOf, roleDirectories, inferDirectoryLayout, };
+//# sourceMappingURL=conformance-case-inputs.js.map

package/dist/features/conformance-fixtures/testing/conformance-case-inputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance-case-inputs.js","sourceRoot":"","sources":["../../../../src/features/conformance-fixtures/testing/conformance-case-inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,4DAA4D,CAAC;AAClG,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAajF,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,MAAM,EACN,QAAQ,EACR,eAAe,GAChB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;AAmCtC,MAAM,QAAQ,GAAwB,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;AAC7D,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,EAAU,EACV,MAAc,EACd,WAAmB,EACnB,MAAiC,EACjC,MAAM,GAAW,EAAE,EACF,EAAE;IACnB,MAAM,IAAI,GAAG,aAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAuB;QAChC,GAAG,IAAI;QACP,GAAG,MAAM,CAAC,KAAK;QACf,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC/C,OAAO,EAAE;YACP,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC;YACrE,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC;SAC1B;KACF,CAAC;IACF,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;AACpG,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;AACxB,MAAM,CAAC,MAAM,EAAE,GAAG,wBAAwB,CAAC;AAC3C,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC;AAChC,MAAM,CAAC,MAAM,MAAM,GAAG,GAAG,aAAa,SAAS,CAAC;AAChD,MAAM,CAAC,MAAM,SAAS,GAAG,0BAA0B,CAAC;AACpD,MAAM,CAAC,MAAM,UAAU,GAAG,GAAG,aAAa,sCAAsC,CAAC;AACjF,MAAM,CAAC,MAAM,QAAQ,GAAG,GAAG,kBAAkB,SAAS,CAAC;AACvD,MAAM,CAAC,MAAM,aAAa,GAAG,GAAG,QAAQ,sCAAsC,CAAC;AAC/E,MAAM,CAAC,MAAM,UAAU,GAAG,GAAG,aAAa,6BAA6B,CAAC;AACxE,2FAA2F;AAC3F,MAAM,OAAO,GAAG,0BAA0B,CAAC;AAC3C,MAAM,QAAQ,GAAG,sBAAsB,CAAC;AACxC,MAAM,CAAC,MAAM,UAAU,GAAG,GAAG,OAAO,SAAS,CAAC;AAC9C,MAAM,CAAC,MAAM,cAAc,GAAG,GAAG,OAAO,oBAAoB,CAAC;AAC7D,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,QAAQ,SAAS,CAAC;AAChD,MAAM,KAAK,GAAG;IACZ,UAAU;IACV,GAAG,OAAO,YAAY;IACtB,cAAc;IACd,WAAW;IACX,GAAG,QAAQ,eAAe;CAC3B,CAAC;AACF,MAAM,CAAC,MAAM,OAAO,GAAG;IACrB,GAAG,aAAa,yBAAyB;IACzC,GAAG,aAAa,4BAA4B;CAC7C,CAAC;AACF,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,EAAU,EACV,MAAiC,EACjC,OAAgC,EAChC,WAAmB,EACF,EAAE,CAAC,CAAC;IACrB,EAAE;IACF,MAAM,EAAE,4BAA4B;IACpC,WAAW;IACX,MAAM;IACN,EAAE,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;IACvB,KAAK,EAAE;QACL,KAAK;QACL,OAAO;QACP,YAAY,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;QACjC,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE;YACzC,EAAE,IAAI,EAAE,GAAG,OAAO,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE;YACrD,EAAE,IAAI,EAAE,GAAG,OAAO,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE;YACjD,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE;YAC1C,EAAE,IAAI,EAAE,GAAG,QAAQ,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;SACxD;QACD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE;KAChD;CACF,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,OAAO,GAAG;IACrB,KAAK,EAAE,CAAC,UAAU,CAAC;IACnB,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,GAAG,aAAa,EAAE,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE;CAChF,CAAC;AAEF,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,QAAQ,EACR,eAAe,EACf,oBAAoB,GACrB,CAAC"}

package/dist/features/conformance-fixtures/testing/conformance-cases-later.d.ts

@@ -0,0 +1,3 @@
+import type { ConformanceCase } from "./conformance-case-inputs.js";
+export declare const laterConformanceCases: readonly ConformanceCase[];
+//# sourceMappingURL=conformance-cases-later.d.ts.map

package/dist/features/conformance-fixtures/testing/conformance-cases-later.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance-cases-later.d.ts","sourceRoot":"","sources":["../../../../src/features/conformance-fixtures/testing/conformance-cases-later.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AA0BpE,eAAO,MAAM,qBAAqB,EAAE,SAAS,eAAe,EA4X3D,CAAC"}

package/dist/features/conformance-fixtures/testing/conformance-cases-later.js

@@ -0,0 +1,170 @@
+import { define, f, ex, type, orders, odCoupons, billingApi, testRoot, discountsTest, billingKit, reportsApi, reportsAdapter, billingApi2, v1Files, profileCase, withApi, FEATURES_ROOT, MODULE_COMPOSITION, TEST_FEATURES_ROOT, exampleModule, importOf, roleDirectories, inferDirectoryLayout, } from "./conformance-case-inputs.js";
+export const laterConformanceCases = [
+    define("application-uses-an-internal-api", "Aggregate and internal-feature ownership", "Application code uses the curated internal API of another feature.", [], { ...withApi, imports: [importOf(f("orders", "application"), billingApi)] }),
+    define("domain-cannot-use-an-application-internal-api", "Aggregate and internal-feature ownership", "Domain code uses only the domain internal API of another feature.", ["layer-direction"], { ...withApi, imports: [importOf(f("orders", "domain"), billingApi)] }),
+    define("adapters-reach-siblings-through-the-core", "Aggregate and internal-feature ownership", "An adapter does not import another feature directly.", ["layer-direction"], {
+        files: [`${FEATURES_ROOT}/billing/adapters/gateway.ts`],
+        imports: [importOf(`${FEATURES_ROOT}/billing/adapters/gateway.ts`, f("orders", "public"))],
+    }),
+    define("undeclared-use-edge", "Sub-features: Edges", "With a declared feature graph, an undeclared use edge is rejected.", ["use-undeclared"], {
+        imports: [importOf(f("orders", "composition"), f("orders/discounts", "public"))],
+        input: { useEdges: [] },
+    }),
+    define("declared-use-edge", "Sub-features: Edges", "A declared use edge is accepted.", [], {
+        imports: [importOf(f("orders", "composition"), f("orders/discounts", "public"))],
+        input: { useEdges: [{ from: "orders", to: "orders/discounts" }] },
+    }),
+    define("declared-graph-cycle", "Sub-features: Dependency graph and cycles", "A cycle in the declared graph is rejected before any import exists.", ["feature-cycle"], {
+        input: {
+            useEdges: [
+                { from: "orders/pricing", to: "orders/discounts" },
+                { from: "orders/discounts", to: "orders/pricing" },
+            ],
+        },
+    }),
+    define("surface-without-a-feature", "Sub-features: Visibility", "A surface file that belongs to no feature is rejected.", ["surface-unowned"], {
+        input: {
+            surfaces: {
+                ...exampleModule().surfaces,
+                public: [...(exampleModule().surfaces?.public ?? []), MODULE_COMPOSITION],
+            },
+        },
+    }),
+    define("depth-warning", ex, "A feature past the declared depth is a warning, not a failure.", ["depth-warning"], { input: { depthWarning: 2 } }),
+    define("composition-contract-outside-composition", "Composition contracts", "A composition contract is composition code of its feature.", ["composition-contract-misplaced"], {
+        files: [`${orders}/application/wiring.ts`],
+        input: {
+            surfaces: {
+                ...exampleModule().surfaces,
+                compositionContract: [
+                    ...(exampleModule().surfaces?.compositionContract ?? []),
+                    `${orders}/application/wiring.ts`,
+                ],
+            },
+        },
+    }),
+    define("republication-of-another-surface", "Growth guardrails 13", "A republication re-exports the same surface of its parent, not the other one.", ["republication-mismatch"], {
+        imports: [importOf(f("orders", "public"), f("orders/pricing", "contract"), "runtime", true)],
+    }),
+    define("test-uses-the-internals-of-its-own-feature", "Test ownership", "A test of a sub-feature uses its own domain.", [], {
+        input: { testFiles: [discountsTest] },
+        imports: [importOf(discountsTest, f("orders/discounts", "domain"))],
+    }),
+    define("test-of-the-parent-uses-a-sub-feature-domain", "Test ownership", "A test in the test root of orders may not use the internals of orders/discounts.", ["deep-import"], {
+        input: { testFiles: [`${testRoot}/orders.test.ts`] },
+        imports: [importOf(`${testRoot}/orders.test.ts`, f("orders/discounts", "domain"))],
+    }),
+    define("test-uses-a-visible-sibling-entrypoint", "Test ownership", "A test of a sub-feature uses the public entrypoint of a visible sibling.", [], {
+        input: { testFiles: [discountsTest] },
+        imports: [importOf(discountsTest, f("orders/pricing", "public"))],
+    }),
+    define("test-of-another-feature-cannot-see-a-sub-feature", "Test ownership", "A test of billing may not use a sub-feature of orders.", ["not-visible"], {
+        input: { testFiles: [`${TEST_FEATURES_ROOT}/billing/billing.test.ts`] },
+        imports: [
+            importOf(`${TEST_FEATURES_ROOT}/billing/billing.test.ts`, f("orders/pricing", "public")),
+        ],
+    }),
+    define("test-uses-a-testing-surface", "Test ownership", "Test code uses the testing surface of a visible feature.", [], {
+        files: [billingKit],
+        input: {
+            testFiles: [discountsTest],
+            surfaces: { ...exampleModule().surfaces, testing: [billingKit] },
+        },
+        imports: [importOf(discountsTest, billingKit)],
+    }),
+    define("cycle-through-a-deep-import", "Sub-features: Dependency graph and cycles", "A deep import is rejected and still closes a cycle.", ["deep-import", "feature-cycle"], {
+        imports: [
+            importOf(f("orders/pricing", "composition"), f("orders/discounts", "domain")),
+            importOf(f("orders/discounts", "composition"), f("orders/pricing", "public")),
+        ],
+    }),
+    define("contracts-cannot-use-a-composition-contract", "Composition contracts", "Code of the contracts role never depends on a composition contract.", ["composition-contract-layer"], {
+        imports: [importOf(f("billing", "public"), f("orders", "contract"))],
+    }),
+    define("adapters-cannot-use-a-composition-contract", "Composition contracts", "Code of the adapters role never depends on a composition contract.", ["composition-contract-layer"], {
+        files: [`${FEATURES_ROOT}/billing/adapters/gateway.ts`],
+        imports: [importOf(`${FEATURES_ROOT}/billing/adapters/gateway.ts`, f("orders", "contract"))],
+    }),
+    define("module-code-outside-composition-cannot-use-a-composition-contract", "Composition contracts", "Only module-level composition may depend on a composition contract.", ["composition-contract-layer"], {
+        files: ["src/other.ts"],
+        imports: [importOf("src/other.ts", f("orders", "contract"))],
+    }),
+    define("module-code-outside-composition-cannot-wire-a-composition-surface", "Sub-features: Assembly", "Only module-level composition wires the composition surface of a top-level feature.", ["deep-import"], {
+        files: ["src/other.ts"],
+        imports: [importOf("src/other.ts", f("billing", "group"))],
+    }),
+    define("module-composition-uses-a-top-level-composition-contract", "Composition contracts", "Module composition depends on the composition contract of a top-level feature.", [], {
+        imports: [importOf(MODULE_COMPOSITION, f("orders", "contract"))],
+    }),
+    define("module-code-is-not-composition-unless-listed", "Composition contracts", "Without a listed module composition, module-level code may not depend on a composition contract or wire a composition surface.", ["composition-contract-layer", "deep-import", "deep-import"], {
+        input: { moduleComposition: [] },
+        imports: [importOf(MODULE_COMPOSITION, f("orders", "contract"))],
+    }),
+    {
+        id: "absent-module-composition-rejects",
+        source: "Composition contracts",
+        ok: false,
+        description: "Without any moduleComposition, module-level code is not composition.",
+        expect: ["composition-contract-layer", "deep-import", "deep-import"],
+        input: {
+            ...exampleModule(false),
+            imports: [...exampleModule().imports, importOf(MODULE_COMPOSITION, f("orders", "contract"))],
+        },
+    },
+    define("lateral-reexport-is-no-republication", "Growth guardrails 13", "A sibling cannot republish the contracts of another sibling.", ["republication-not-sub-feature"], {
+        imports: [
+            importOf(f("orders/pricing", "public"), f("orders/discounts", "public"), "runtime", true),
+        ],
+    }),
+    define("upward-reexport-is-no-republication", "Growth guardrails 13", "A sub-feature cannot republish the contracts of its parent.", ["republication-not-sub-feature"], {
+        imports: [importOf(f("orders/discounts", "public"), f("orders", "public"), "runtime", true)],
+    }),
+    define("leaking-republication-chain", "Growth guardrails 13", "A sibling re-export cannot be laundered through a declared republication.", ["republication-not-sub-feature"], {
+        imports: [
+            importOf(f("orders/pricing", "public"), f("orders/discounts", "public"), "runtime", true),
+            importOf(f("orders", "public"), f("orders/pricing", "public"), "runtime", true),
+            importOf(f("billing", "composition"), f("orders", "public")),
+        ],
+        input: { republications: [{ from: "orders", to: "orders/pricing", surface: "public" }] },
+    }),
+    define("colocated-test-uses-its-own-internals", "Test ownership", "A test beside its source belongs to the deepest feature and may use its internals.", [], {
+        input: { testFiles: [`${orders}/domain/model.test.ts`] },
+        imports: [importOf(`${orders}/domain/model.test.ts`, f("orders", "domain"))],
+    }),
+    define("colocated-test-uses-a-sub-feature-domain", "Test ownership", "A colocated test of a parent may not use the internals of its sub-feature.", ["deep-import"], {
+        input: { testFiles: [`${orders}/domain/model.test.ts`] },
+        imports: [importOf(`${orders}/domain/model.test.ts`, f("orders/discounts", "domain"))],
+    }),
+    define("application-cannot-wire-a-top-level-composition-surface", "Sub-features: Assembly", "Only composition code wires a composition surface.", ["deep-import"], {
+        imports: [importOf(f("billing", "application"), f("orders", "group"))],
+    }),
+    define("declared-use-edge-of-an-unknown-feature", "Sub-features: Edges", "A declared use edge names a feature that does not exist.", ["use-edge-invalid"], {
+        input: { useEdges: [{ from: "ghost", to: "orders" }] },
+    }),
+    define("declared-use-edge-to-an-invisible-feature", "Sub-features: Visibility", "A declared use edge cannot target a feature that is not visible.", ["not-visible"], {
+        input: { useEdges: [{ from: "billing", to: "orders/pricing" }] },
+    }),
+    define("type-only-import-does-not-wire", "Sub-features: Assembly", "A parent that only references the composition surface by type has not wired it.", ["assembly-missing"], {
+        drop: (record) => record.from === f("orders/discounts", "composition") && record.to === f(odCoupons, "group"),
+        imports: [importOf(f("orders/discounts", "composition"), f(odCoupons, "group"), type)],
+    }),
+    define("path-outside-the-repository", "Sub-features: Placement and layout", "A path that escapes the repository is reported and never trusted.", ["invalid-path"], { files: ["../outside.ts"] }),
+    {
+        id: "v1-features-directory-keeps-its-meaning",
+        source: "Sub-features: introduction",
+        ok: true,
+        expect: [],
+        description: "Without a declared sub-feature, a directory named features inside a feature keeps its v1 meaning.",
+        input: {
+            imports: [],
+            files: v1Files,
+            ...inferDirectoryLayout({ featuresRoot: FEATURES_ROOT, files: v1Files, roleDirectories }),
+        },
+    },
+    profileCase("profile-mapped-layout-conforms", [], [importOf(billingApi2, reportsApi)], "Roles mapped to files and to a directory with another name, in two feature roots, conform."),
+    profileCase("v1-reexport-is-an-ordinary-use", [], [{ ...importOf(billingApi2, reportsApi, "runtime", true) }], "Republication is a rule of modules with sub-features; in any other module a re-export is a use."),
+    profileCase("profile-mapped-adapter-direction", ["layer-direction"], [importOf(reportsAdapter, billingApi2)], "An adapter in a feature directory still reaches siblings only through its application core."),
+    profileCase("profile-mapped-deep-import", ["deep-import", "layer-direction"], [importOf(billingApi2, reportsAdapter)], "A file mapped to a role is not a public entrypoint unless the profile says so."),
+    profileCase("profile-mapped-cycle", ["feature-cycle", "load-cycle"], [importOf(billingApi2, reportsApi), importOf(reportsApi, billingApi2)], "Features under different roots form a cycle like any others."),
+];
+//# sourceMappingURL=conformance-cases-later.js.map

package/dist/features/conformance-fixtures/testing/conformance-cases-later.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance-cases-later.js","sourceRoot":"","sources":["../../../../src/features/conformance-fixtures/testing/conformance-cases-later.ts"],"names":[],"mappings":"AACA,OAAO,EACL,MAAM,EACN,CAAC,EACD,EAAE,EACF,IAAI,EACJ,MAAM,EACN,SAAS,EACT,UAAU,EACV,QAAQ,EACR,aAAa,EACb,UAAU,EACV,UAAU,EACV,cAAc,EACd,WAAW,EACX,OAAO,EACP,WAAW,EACX,OAAO,EACP,aAAa,EACb,kBAAkB,EAClB,kBAAkB,EAClB,aAAa,EACb,QAAQ,EACR,eAAe,EACf,oBAAoB,GACrB,MAAM,8BAA8B,CAAC;AACtC,MAAM,CAAC,MAAM,qBAAqB,GAA+B;IAC/D,MAAM,CACJ,kCAAkC,EAClC,0CAA0C,EAC1C,oEAAoE,EACpE,EAAE,EACF,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAC5E;IACD,MAAM,CACJ,+CAA+C,EAC/C,0CAA0C,EAC1C,mEAAmE,EACnE,CAAC,iBAAiB,CAAC,EACnB,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CACvE;IACD,MAAM,CACJ,0CAA0C,EAC1C,0CAA0C,EAC1C,sDAAsD,EACtD,CAAC,iBAAiB,CAAC,EACnB;QACE,KAAK,EAAE,CAAC,GAAG,aAAa,8BAA8B,CAAC;QACvD,OAAO,EAAE,CAAC,QAAQ,CAAC,GAAG,aAAa,8BAA8B,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;KAC3F,CACF;IACD,MAAM,CACJ,qBAAqB,EACrB,qBAAqB,EACrB,oEAAoE,EACpE,CAAC,gBAAgB,CAAC,EAClB;QACE,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC,CAAC;QAChF,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;KACxB,CACF;IACD,MAAM,CAAC,mBAAmB,EAAE,qBAAqB,EAAE,kCAAkC,EAAE,EAAE,EAAE;QACzF,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC,CAAC;QAChF,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE;KAClE,CAAC;IACF,MAAM,CACJ,sBAAsB,EACtB,2CAA2C,EAC3C,qEAAqE,EACrE,CAAC,eAAe,CAAC,EACjB;QACE,KAAK,EAAE;YACL,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,kBAAkB,EAAE;gBAClD,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,EAAE,gBAAgB,EAAE;aACnD;SACF;KACF,CACF;IACD,MAAM,CACJ,2BAA2B,EAC3B,0BAA0B,EAC1B,wDAAwD,EACxD,CAAC,iBAAiB,CAAC,EACnB;QACE,KAAK,EAAE;YACL,QAAQ,EAAE;gBACR,GAAG,aAAa,EAAE,CAAC,QAAQ;gBAC3B,MAAM,EAAE,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE,CAAC,EAAE,kBAAkB,CAAC;aAC1E;SACF;KACF,CACF;IACD,MAAM,CACJ,eAAe,EACf,EAAE,EACF,gEAAgE,EAChE,CAAC,eAAe,CAAC,EACjB,EAAE,KAAK,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE,CAC/B;IACD,MAAM,CACJ,0CAA0C,EAC1C,uBAAuB,EACvB,4DAA4D,EAC5D,CAAC,gCAAgC,CAAC,EAClC;QACE,KAAK,EAAE,CAAC,GAAG,MAAM,wBAAwB,CAAC;QAC1C,KAAK,EAAE;YACL,QAAQ,EAAE;gBACR,GAAG,aAAa,EAAE,CAAC,QAAQ;gBAC3B,mBAAmB,EAAE;oBACnB,GAAG,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,mBAAmB,IAAI,EAAE,CAAC;oBACxD,GAAG,MAAM,wBAAwB;iBAClC;aACF;SACF;KACF,CACF;IACD,MAAM,CACJ,kCAAkC,EAClC,sBAAsB,EACtB,+EAA+E,EAC/E,CAAC,wBAAwB,CAAC,EAC1B;QACE,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,gBAAgB,EAAE,UAAU,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;KAC7F,CACF;IACD,MAAM,CACJ,4CAA4C,EAC5C,gBAAgB,EAChB,8CAA8C,EAC9C,EAAE,EACF;QACE,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,aAAa,CAAC,EAAE;QACrC,OAAO,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC,CAAC;KACpE,CACF;IACD,MAAM,CACJ,8CAA8C,EAC9C,gBAAgB,EAChB,kFAAkF,EAClF,CAAC,aAAa,CAAC,EACf;QACE,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,GAAG,QAAQ,iBAAiB,CAAC,EAAE;QACpD,OAAO,EAAE,CAAC,QAAQ,CAAC,GAAG,QAAQ,iBAAiB,EAAE,CAAC,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC,CAAC;KACnF,CACF;IACD,MAAM,CACJ,wCAAwC,EACxC,gBAAgB,EAChB,0EAA0E,EAC1E,EAAE,EACF;QACE,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,aAAa,CAAC,EAAE;QACrC,OAAO,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC,CAAC;KAClE,CACF;IACD,MAAM,CACJ,kDAAkD,EAClD,gBAAgB,EAChB,wDAAwD,EACxD,CAAC,aAAa,CAAC,EACf;QACE,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,GAAG,kBAAkB,0BAA0B,CAAC,EAAE;QACvE,OAAO,EAAE;YACP,QAAQ,CAAC,GAAG,kBAAkB,0BAA0B,EAAE,CAAC,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;SACzF;KACF,CACF;IACD,MAAM,CACJ,6BAA6B,EAC7B,gBAAgB,EAChB,0DAA0D,EAC1D,EAAE,EACF;QACE,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,KAAK,EAAE;YACL,SAAS,EAAE,CAAC,aAAa,CAAC;YAC1B,QAAQ,EAAE,EAAE,GAAG,aAAa,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE;SACjE;QACD,OAAO,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;KAC/C,CACF;IACD,MAAM,CACJ,6BAA6B,EAC7B,2CAA2C,EAC3C,qDAAqD,EACrD,CAAC,aAAa,EAAE,eAAe,CAAC,EAChC;QACE,OAAO,EAAE;YACP,QAAQ,CAAC,CAAC,CAAC,gBAAgB,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC;YAC7E,QAAQ,CAAC,CAAC,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;SAC9E;KACF,CACF;IACD,MAAM,CACJ,6CAA6C,EAC7C,uBAAuB,EACvB,qEAAqE,EACrE,CAAC,4BAA4B,CAAC,EAC9B;QACE,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;KACrE,CACF;IACD,MAAM,CACJ,4CAA4C,EAC5C,uBAAuB,EACvB,oEAAoE,EACpE,CAAC,4BAA4B,CAAC,EAC9B;QACE,KAAK,EAAE,CAAC,GAAG,aAAa,8BAA8B,CAAC;QACvD,OAAO,EAAE,CAAC,QAAQ,CAAC,GAAG,aAAa,8BAA8B,EAAE,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;KAC7F,CACF;IACD,MAAM,CACJ,mEAAmE,EACnE,uBAAuB,EACvB,qEAAqE,EACrE,CAAC,4BAA4B,CAAC,EAC9B;QACE,KAAK,EAAE,CAAC,cAAc,CAAC;QACvB,OAAO,EAAE,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;KAC7D,CACF;IACD,MAAM,CACJ,mEAAmE,EACnE,wBAAwB,EACxB,qFAAqF,EACrF,CAAC,aAAa,CAAC,EACf;QACE,KAAK,EAAE,CAAC,cAAc,CAAC;QACvB,OAAO,EAAE,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;KAC3D,CACF;IACD,MAAM,CACJ,0DAA0D,EAC1D,uBAAuB,EACvB,gFAAgF,EAChF,EAAE,EACF;QACE,OAAO,EAAE,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;KACjE,CACF;IACD,MAAM,CACJ,8CAA8C,EAC9C,uBAAuB,EACvB,gIAAgI,EAChI,CAAC,4BAA4B,EAAE,aAAa,EAAE,aAAa,CAAC,EAC5D;QACE,KAAK,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE;QAChC,OAAO,EAAE,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;KACjE,CACF;IACD;QACE,EAAE,EAAE,mCAAmC;QACvC,MAAM,EAAE,uBAAuB;QAC/B,EAAE,EAAE,KAAK;QACT,WAAW,EAAE,sEAAsE;QACnF,MAAM,EAAE,CAAC,4BAA4B,EAAE,aAAa,EAAE,aAAa,CAAC;QACpE,KAAK,EAAE;YACL,GAAG,aAAa,CAAC,KAAK,CAAC;YACvB,OAAO,EAAE,CAAC,GAAG,aAAa,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;SAC7F;KACF;IACD,MAAM,CACJ,sCAAsC,EACtC,sBAAsB,EACtB,8DAA8D,EAC9D,CAAC,+BAA+B,CAAC,EACjC;QACE,OAAO,EAAE;YACP,QAAQ,CAAC,CAAC,CAAC,gBAAgB,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,kBAAkB,EAAE,QAAQ,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;SAC1F;KACF,CACF;IACD,MAAM,CACJ,qCAAqC,EACrC,sBAAsB,EACtB,6DAA6D,EAC7D,CAAC,+BAA+B,CAAC,EACjC;QACE,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;KAC7F,CACF;IACD,MAAM,CACJ,6BAA6B,EAC7B,sBAAsB,EACtB,2EAA2E,EAC3E,CAAC,+BAA+B,CAAC,EACjC;QACE,OAAO,EAAE;YACP,QAAQ,CAAC,CAAC,CAAC,gBAAgB,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,kBAAkB,EAAE,QAAQ,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;YACzF,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,gBAAgB,EAAE,QAAQ,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;YAC/E,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;SAC7D;QACD,KAAK,EAAE,EAAE,cAAc,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE;KACzF,CACF;IACD,MAAM,CACJ,uCAAuC,EACvC,gBAAgB,EAChB,oFAAoF,EACpF,EAAE,EACF;QACE,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,GAAG,MAAM,uBAAuB,CAAC,EAAE;QACxD,OAAO,EAAE,CAAC,QAAQ,CAAC,GAAG,MAAM,uBAAuB,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;KAC7E,CACF;IACD,MAAM,CACJ,0CAA0C,EAC1C,gBAAgB,EAChB,4EAA4E,EAC5E,CAAC,aAAa,CAAC,EACf;QACE,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,GAAG,MAAM,uBAAuB,CAAC,EAAE;QACxD,OAAO,EAAE,CAAC,QAAQ,CAAC,GAAG,MAAM,uBAAuB,EAAE,CAAC,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC,CAAC;KACvF,CACF;IACD,MAAM,CACJ,yDAAyD,EACzD,wBAAwB,EACxB,oDAAoD,EACpD,CAAC,aAAa,CAAC,EACf;QACE,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;KACvE,CACF;IACD,MAAM,CACJ,yCAAyC,EACzC,qBAAqB,EACrB,0DAA0D,EAC1D,CAAC,kBAAkB,CAAC,EACpB;QACE,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;KACvD,CACF;IACD,MAAM,CACJ,2CAA2C,EAC3C,0BAA0B,EAC1B,kEAAkE,EAClE,CAAC,aAAa,CAAC,EACf;QACE,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE;KACjE,CACF;IACD,MAAM,CACJ,gCAAgC,EAChC,wBAAwB,EACxB,iFAAiF,EACjF,CAAC,kBAAkB,CAAC,EACpB;QACE,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CACf,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,kBAAkB,EAAE,aAAa,CAAC,IAAI,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC;QAC7F,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;KACvF,CACF;IACD,MAAM,CACJ,6BAA6B,EAC7B,oCAAoC,EACpC,mEAAmE,EACnE,CAAC,cAAc,CAAC,EAChB,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,EAAE,CAC7B;IACD;QACE,EAAE,EAAE,yCAAyC;QAC7C,MAAM,EAAE,4BAA4B;QACpC,EAAE,EAAE,IAAI;QACR,MAAM,EAAE,EAAE;QACV,WAAW,EACT,mGAAmG;QACrG,KAAK,EAAE;YACL,OAAO,EAAE,EAAE;YACX,KAAK,EAAE,OAAO;YACd,GAAG,oBAAoB,CAAC,EAAE,YAAY,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;SAC1F;KACF;IACD,WAAW,CACT,gCAAgC,EAChC,EAAE,EACF,CAAC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,EACnC,4FAA4F,CAC7F;IACD,WAAW,CACT,gCAAgC,EAChC,EAAE,EACF,CAAC,EAAE,GAAG,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,EAC3D,iGAAiG,CAClG;IACD,WAAW,CACT,kCAAkC,EAClC,CAAC,iBAAiB,CAAC,EACnB,CAAC,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC,EACvC,6FAA6F,CAC9F;IACD,WAAW,CACT,4BAA4B,EAC5B,CAAC,aAAa,EAAE,iBAAiB,CAAC,EAClC,CAAC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,EACvC,gFAAgF,CACjF;IACD,WAAW,CACT,sBAAsB,EACtB,CAAC,eAAe,EAAE,YAAY,CAAC,EAC/B,CAAC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,EACtE,8DAA8D,CAC/D;CACF,CAAC"}

package/dist/features/conformance-fixtures/testing/conformance-cases.d.ts

@@ -1,18 +1,5 @@
-import { ERROR_CODES, WARNING_CODES } from '../../feature-model/domain/model.js';
-import type { DiagnosticCode, FeatureModuleInput, ImportMode, ImportRecord, LayerRole, Republication, RepublishedSurface, RoleRoot, SurfaceMap, UseEdge } from '../../feature-model/domain/model.js';
-export { ERROR_CODES, WARNING_CODES };
-export type { DiagnosticCode, FeatureModuleInput, ImportMode, ImportRecord, LayerRole, Republication, RepublishedSurface, RoleRoot, SurfaceMap, UseEdge };
-/** One fixture: a complete module description and the exact diagnostic codes the kernel must report for it. */
-export type ConformanceCase = Readonly<{
-    id: string;
-    /** Where Feature Module Standard v1.1 states the rule: a section name, with the example table or bullet it uses. */
-    source: string;
-    description: string;
-    input: FeatureModuleInput;
-    /** Sorted diagnostic codes, duplicates kept; empty when the module conforms. */
-    expect: readonly DiagnosticCode[];
-    /** False only when an error code is among `expect`; a warning does not fail. */
-    ok: boolean;
-}>;
+import type { ConformanceCase } from "./conformance-case-inputs.js";
+export { ERROR_CODES, WARNING_CODES } from "./conformance-case-inputs.js";
+export type { ConformanceCase, DiagnosticCode, FeatureModuleInput, ImportMode, ImportRecord, LayerRole, Republication, RepublishedSurface, RoleRoot, SurfaceMap, UseEdge, } from "./conformance-case-inputs.js";
 export declare const conformanceCases: readonly ConformanceCase[];
 //# sourceMappingURL=conformance-cases.d.ts.map

package/dist/features/conformance-fixtures/testing/conformance-cases.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"conformance-cases.d.ts","sourceRoot":"","sources":["../../../../src/features/conformance-fixtures/testing/conformance-cases.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EACV,cAAc,EAAE,kBAAkB,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,kBAAkB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAC1I,MAAM,qCAAqC,CAAC;AAK7C,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;AAEtC,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,kBAAkB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AAE1J,+GAA+G;AAC/G,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,oHAAoH;IACpH,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,kBAAkB,CAAC;IAC1B,gFAAgF;IAChF,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAClC,gFAAgF;IAChF,EAAE,EAAE,OAAO,CAAC;CACb,CAAC,CAAC;AAmDH,eAAO,MAAM,gBAAgB,EAAE,SAAS,eAAe,EA+LtD,CAAC"}
+{"version":3,"file":"conformance-cases.d.ts","sourceRoot":"","sources":["../../../../src/features/conformance-fixtures/testing/conformance-cases.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAcpE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC1E,YAAY,EACV,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,UAAU,EACV,YAAY,EACZ,SAAS,EACT,aAAa,EACb,kBAAkB,EAClB,QAAQ,EACR,UAAU,EACV,OAAO,GACR,MAAM,8BAA8B,CAAC;AACtC,eAAO,MAAM,gBAAgB,EAAE,SAAS,eAAe,EA+UtD,CAAC"}