@specverse/engines 4.1.22 → 4.1.24

package/dist/inference/ui-contracts/index.d.ts

@@ -0,0 +1,38 @@
+/**
+ * @specverse/engines/inference/ui-contracts
+ *
+ * Spec-inferred UI contract test generation. The realize pipeline
+ * calls `generateContractTests(spec)` which runs every registered
+ * rule over the normalized spec and returns a map of filename →
+ * spec file content. The caller writes those to disk.
+ *
+ * Design: see docs/proposals/UI-CONTRACT-INFERENCE.md.
+ */
+import type { NormalizedSpec } from './test-case-types.js';
+export * from './test-case-types.js';
+export { renderSpecFile } from './translator.js';
+export interface ContractTestFile {
+    /** Filename relative to the contract test output directory. */
+    filename: string;
+    /** The Playwright .spec.ts contents. */
+    contents: string;
+    /** Number of individual test() blocks in the file. */
+    testCount: number;
+}
+/**
+ * Run every rule over the spec and render each rule's output as a
+ * single .spec.ts file. Rules that produce zero test cases (e.g.
+ * because no spec elements matched) are skipped.
+ */
+export declare function generateContractTests(spec: NormalizedSpec): ContractTestFile[];
+/**
+ * Convert a parsed/inferred spec (as produced by the parser or the
+ * inference engine) into the NormalizedSpec shape that rules consume.
+ *
+ * The parser returns components as an array with each holding
+ * `models`, `controllers`, etc. This function flattens to a single
+ * top-level view. It handles both object-keyed and array-shaped
+ * collections.
+ */
+export declare function normalizeSpec(raw: any): NormalizedSpec;
+//# sourceMappingURL=index.d.ts.map

package/dist/inference/ui-contracts/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/inference/ui-contracts/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,cAAc,EAA4B,MAAM,sBAAsB,CAAC;AAcrF,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAwBjD,MAAM,WAAW,gBAAgB;IAC/B,+DAA+D;IAC/D,QAAQ,EAAE,MAAM,CAAC;IACjB,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,sDAAsD;IACtD,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,cAAc,GAAG,gBAAgB,EAAE,CAc9E;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,cAAc,CA6ItD"}

package/dist/inference/ui-contracts/index.js

@@ -0,0 +1,212 @@
+/**
+ * @specverse/engines/inference/ui-contracts
+ *
+ * Spec-inferred UI contract test generation. The realize pipeline
+ * calls `generateContractTests(spec)` which runs every registered
+ * rule over the normalized spec and returns a map of filename →
+ * spec file content. The caller writes those to disk.
+ *
+ * Design: see docs/proposals/UI-CONTRACT-INFERENCE.md.
+ */
+import { renderSpecFile } from './translator.js';
+import { navHasModelEntries, RULE_ID as NAV_HAS_MODEL_ENTRIES_RULE_ID } from './rules/nav-has-model-entries.js';
+import { listViewRenders, RULE_ID as LIST_VIEW_RENDERS_RULE_ID } from './rules/list-view-renders.js';
+import { detailViewRenders, RULE_ID as DETAIL_VIEW_RENDERS_RULE_ID } from './rules/detail-view-renders.js';
+import { listShowsBusinessColumns, RULE_ID as LIST_SHOWS_BUSINESS_COLUMNS_RULE_ID } from './rules/list-shows-business-columns.js';
+import { formShowsRequiredIndicators, RULE_ID as FORM_SHOWS_REQUIRED_INDICATORS_RULE_ID } from './rules/form-shows-required-indicators.js';
+import { lifecycleStateVisibleInDetail, RULE_ID as LIFECYCLE_STATE_VISIBLE_RULE_ID } from './rules/lifecycle-state-visible-in-detail.js';
+import { hasManyShowsChildrenInDetail, RULE_ID as HASMANY_SHOWS_CHILDREN_RULE_ID } from './rules/hasmany-shows-children-in-detail.js';
+import { actionButtonsPresent, RULE_ID as ACTION_BUTTONS_PRESENT_RULE_ID } from './rules/action-buttons-present.js';
+import { createReflectsInList, RULE_ID as CREATE_REFLECTS_RULE_ID } from './rules/create-reflects-in-list.js';
+import { deleteReflectsInList, RULE_ID as DELETE_REFLECTS_RULE_ID } from './rules/delete-reflects-in-list.js';
+import { evolveReflectsInList, RULE_ID as EVOLVE_REFLECTS_RULE_ID } from './rules/evolve-reflects-in-list.js';
+export * from './test-case-types.js';
+export { renderSpecFile } from './translator.js';
+/**
+ * Registered rules. Order doesn't matter for output — each rule
+ * produces its own spec file. Adding a rule = pushing a new entry
+ * here + creating a file under rules/.
+ */
+const RULES = [
+    // Rendering
+    { id: NAV_HAS_MODEL_ENTRIES_RULE_ID, rule: navHasModelEntries },
+    { id: LIST_VIEW_RENDERS_RULE_ID, rule: listViewRenders },
+    { id: DETAIL_VIEW_RENDERS_RULE_ID, rule: detailViewRenders },
+    // Shape
+    { id: LIST_SHOWS_BUSINESS_COLUMNS_RULE_ID, rule: listShowsBusinessColumns },
+    { id: FORM_SHOWS_REQUIRED_INDICATORS_RULE_ID, rule: formShowsRequiredIndicators },
+    { id: LIFECYCLE_STATE_VISIBLE_RULE_ID, rule: lifecycleStateVisibleInDetail },
+    { id: HASMANY_SHOWS_CHILDREN_RULE_ID, rule: hasManyShowsChildrenInDetail },
+    { id: ACTION_BUTTONS_PRESENT_RULE_ID, rule: actionButtonsPresent },
+    // State-sync
+    { id: CREATE_REFLECTS_RULE_ID, rule: createReflectsInList },
+    { id: DELETE_REFLECTS_RULE_ID, rule: deleteReflectsInList },
+    { id: EVOLVE_REFLECTS_RULE_ID, rule: evolveReflectsInList },
+];
+/**
+ * Run every rule over the spec and render each rule's output as a
+ * single .spec.ts file. Rules that produce zero test cases (e.g.
+ * because no spec elements matched) are skipped.
+ */
+export function generateContractTests(spec) {
+    const files = [];
+    for (const { id, rule } of RULES) {
+        const cases = rule(spec);
+        if (cases.length === 0)
+            continue;
+        files.push({
+            filename: `${id}.spec.ts`,
+            contents: renderSpecFile(id, cases),
+            testCount: cases.length,
+        });
+    }
+    return files;
+}
+/**
+ * Convert a parsed/inferred spec (as produced by the parser or the
+ * inference engine) into the NormalizedSpec shape that rules consume.
+ *
+ * The parser returns components as an array with each holding
+ * `models`, `controllers`, etc. This function flattens to a single
+ * top-level view. It handles both object-keyed and array-shaped
+ * collections.
+ */
+export function normalizeSpec(raw) {
+    const components = raw?.components || {};
+    const componentList = Array.isArray(components)
+        ? components
+        : Object.values(components);
+    const models = [];
+    const controllers = [];
+    const services = [];
+    const views = [];
+    // Root-level collections (used by inferred specs that have already
+    // been flattened by realize)
+    const collect = (collection, into) => {
+        if (!collection)
+            return;
+        if (Array.isArray(collection)) {
+            into.push(...collection);
+        }
+        else {
+            for (const [name, value] of Object.entries(collection)) {
+                into.push({ name, ...value });
+            }
+        }
+    };
+    collect(raw?.models, models);
+    collect(raw?.controllers, controllers);
+    collect(raw?.services, services);
+    collect(raw?.views, views);
+    for (const comp of componentList) {
+        collect(comp?.models, models);
+        collect(comp?.controllers, controllers);
+        collect(comp?.services, services);
+        collect(comp?.views, views);
+    }
+    // Dedupe by name — the realize pipeline often passes both a
+    // root-level flattened collection AND the component-level source,
+    // so we'd otherwise double-count every model.
+    const dedupeByName = (items) => {
+        const seen = new Set();
+        const out = [];
+        for (const item of items) {
+            const name = item?.name;
+            if (!name || seen.has(name))
+                continue;
+            seen.add(name);
+            out.push(item);
+        }
+        return out;
+    };
+    const uniqModels = dedupeByName(models);
+    const uniqControllers = dedupeByName(controllers);
+    const uniqServices = dedupeByName(services);
+    const uniqViews = dedupeByName(views);
+    /**
+     * Normalize an attributes collection from either array or object
+     * form, and each entry from either shorthand string
+     * ("String required") or object form.
+     */
+    const normalizeAttributes = (raw) => {
+        if (!raw)
+            return undefined;
+        const entries = Array.isArray(raw)
+            ? raw.map((a) => [a?.name || '', a])
+            : Object.entries(raw);
+        return entries
+            .filter(([name]) => !!name)
+            .map(([name, def]) => {
+            if (typeof def === 'string') {
+                const tokens = def.split(/\s+/);
+                const type = tokens[0] || 'String';
+                const required = /\brequired\b/.test(def);
+                const category = /\bcategory=metadata\b/.test(def)
+                    ? 'metadata'
+                    : /\bcategory=relationship\b/.test(def)
+                        ? 'relationship'
+                        : /\bauto=now\b/.test(def) || name === 'id'
+                            ? 'metadata'
+                            : 'business';
+                return { name, type, required, category };
+            }
+            return {
+                name,
+                type: def?.type || 'String',
+                required: !!def?.required,
+                category: def?.category || (name === 'id' ? 'metadata' : 'business'),
+            };
+        });
+    };
+    /**
+     * Normalize a relationships collection. Supports:
+     *   - Array of {name, type, target}
+     *   - Object keyed by name, values as {type, target} or shorthand "hasMany Post"
+     */
+    const normalizeRelationships = (raw) => {
+        if (!raw)
+            return undefined;
+        const entries = Array.isArray(raw)
+            ? raw.map((r) => [r?.name || '', r])
+            : Object.entries(raw);
+        return entries
+            .filter(([name]) => !!name)
+            .map(([name, def]) => {
+            if (typeof def === 'string') {
+                // "hasMany Post cascade" → type=hasMany, target=Post
+                const tokens = def.split(/\s+/);
+                const type = tokens[0] || '';
+                const target = tokens[1];
+                return { name, type, target };
+            }
+            return {
+                name,
+                type: def?.type || '',
+                target: def?.target || def?.targetModel,
+            };
+        });
+    };
+    return {
+        models: uniqModels.map(m => ({
+            name: m.name,
+            attributes: normalizeAttributes(m.attributes),
+            lifecycles: m.lifecycles,
+            relationships: normalizeRelationships(m.relationships),
+        })),
+        controllers: uniqControllers.map(c => ({
+            name: c.name,
+            model: c.model || c.modelReference,
+            cured: c.cured,
+        })),
+        services: uniqServices.map(s => ({
+            name: s.name,
+            operations: s.operations,
+        })),
+        views: uniqViews.map(v => ({
+            name: v.name,
+            type: v.type,
+            model: v.primaryModel || v.model,
+        })),
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/inference/ui-contracts/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/inference/ui-contracts/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,OAAO,IAAI,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AAChH,OAAO,EAAE,eAAe,EAAE,OAAO,IAAI,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACrG,OAAO,EAAE,iBAAiB,EAAE,OAAO,IAAI,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC3G,OAAO,EAAE,wBAAwB,EAAE,OAAO,IAAI,mCAAmC,EAAE,MAAM,wCAAwC,CAAC;AAClI,OAAO,EAAE,2BAA2B,EAAE,OAAO,IAAI,sCAAsC,EAAE,MAAM,2CAA2C,CAAC;AAC3I,OAAO,EAAE,6BAA6B,EAAE,OAAO,IAAI,+BAA+B,EAAE,MAAM,8CAA8C,CAAC;AACzI,OAAO,EAAE,4BAA4B,EAAE,OAAO,IAAI,8BAA8B,EAAE,MAAM,6CAA6C,CAAC;AACtI,OAAO,EAAE,oBAAoB,EAAE,OAAO,IAAI,8BAA8B,EAAE,MAAM,mCAAmC,CAAC;AACpH,OAAO,EAAE,oBAAoB,EAAE,OAAO,IAAI,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC9G,OAAO,EAAE,oBAAoB,EAAE,OAAO,IAAI,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC9G,OAAO,EAAE,oBAAoB,EAAE,OAAO,IAAI,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAE9G,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD;;;;GAIG;AACH,MAAM,KAAK,GAAgD;IACzD,YAAY;IACZ,EAAE,EAAE,EAAE,6BAA6B,EAAE,IAAI,EAAE,kBAAkB,EAAE;IAC/D,EAAE,EAAE,EAAE,yBAAyB,EAAE,IAAI,EAAE,eAAe,EAAE;IACxD,EAAE,EAAE,EAAE,2BAA2B,EAAE,IAAI,EAAE,iBAAiB,EAAE;IAC5D,QAAQ;IACR,EAAE,EAAE,EAAE,mCAAmC,EAAE,IAAI,EAAE,wBAAwB,EAAE;IAC3E,EAAE,EAAE,EAAE,sCAAsC,EAAE,IAAI,EAAE,2BAA2B,EAAE;IACjF,EAAE,EAAE,EAAE,+BAA+B,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAC5E,EAAE,EAAE,EAAE,8BAA8B,EAAE,IAAI,EAAE,4BAA4B,EAAE;IAC1E,EAAE,EAAE,EAAE,8BAA8B,EAAE,IAAI,EAAE,oBAAoB,EAAE;IAClE,aAAa;IACb,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,oBAAoB,EAAE;IAC3D,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,oBAAoB,EAAE;IAC3D,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,oBAAoB,EAAE;CAC5D,CAAC;AAWF;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAoB;IACxD,MAAM,KAAK,GAAuB,EAAE,CAAC;IAErC,KAAK,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC;QACjC,MAAM,KAAK,GAAe,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,GAAG,EAAE,UAAU;YACzB,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC;YACnC,SAAS,EAAE,KAAK,CAAC,MAAM;SACxB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,GAAQ;IACpC,MAAM,UAAU,GAAG,GAAG,EAAE,UAAU,IAAI,EAAE,CAAC;IACzC,MAAM,aAAa,GAAU,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QACpD,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAE9B,MAAM,MAAM,GAAU,EAAE,CAAC;IACzB,MAAM,WAAW,GAAU,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAU,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAU,EAAE,CAAC;IAExB,mEAAmE;IACnE,6BAA6B;IAC7B,MAAM,OAAO,GAAG,CAAC,UAAe,EAAE,IAAW,EAAE,EAAE;QAC/C,IAAI,CAAC,UAAU;YAAE,OAAO;QACxB,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;QAC3B,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAI,KAAa,EAAE,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7B,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACjC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAE3B,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC9B,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAClC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED,4DAA4D;IAC5D,kEAAkE;IAClE,8CAA8C;IAC9C,MAAM,YAAY,GAAG,CAA8B,KAAU,EAAO,EAAE;QACpE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,GAAG,GAAQ,EAAE,CAAC;QACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,EAAE,IAAI,CAAC;YACxB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACtC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,eAAe,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAEtC;;;;OAIG;IACH,MAAM,mBAAmB,GAAG,CAAC,GAAQ,EAAqB,EAAE;QAC1D,IAAI,CAAC,GAAG;YAAE,OAAO,SAAS,CAAC;QAC3B,MAAM,OAAO,GAAoB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YACjD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;YACzC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACxB,OAAO,OAAO;aACX,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;aAC1B,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE;YACnB,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAChC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC;gBACnC,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC1C,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC;oBAChD,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,2BAA2B,CAAC,IAAI,CAAC,GAAG,CAAC;wBACrC,CAAC,CAAC,cAAc;wBAChB,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,KAAK,IAAI;4BACzC,CAAC,CAAC,UAAU;4BACZ,CAAC,CAAC,UAAU,CAAC;gBACnB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;YAC5C,CAAC;YACD,OAAO;gBACL,IAAI;gBACJ,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,QAAQ;gBAC3B,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ;gBACzB,QAAQ,EAAE,GAAG,EAAE,QAAQ,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;aACrE,CAAC;QACJ,CAAC,CAAC,CAAC;IACP,CAAC,CAAC;IAEF;;;;OAIG;IACH,MAAM,sBAAsB,GAAG,CAAC,GAAQ,EAAqB,EAAE;QAC7D,IAAI,CAAC,GAAG;YAAE,OAAO,SAAS,CAAC;QAC3B,MAAM,OAAO,GAAoB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YACjD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;YACzC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACxB,OAAO,OAAO;aACX,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;aAC1B,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE;YACnB,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC5B,qDAAqD;gBACrD,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAChC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACzB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAChC,CAAC;YACD,OAAO;gBACL,IAAI;gBACJ,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,EAAE;gBACrB,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,GAAG,EAAE,WAAW;aACxC,CAAC;QACJ,CAAC,CAAC,CAAC;IACP,CAAC,CAAC;IAEF,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,UAAU,EAAE,mBAAmB,CAAC,CAAC,CAAC,UAAU,CAAC;YAC7C,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,aAAa,EAAE,sBAAsB,CAAC,CAAC,CAAC,aAAa,CAAC;SACvD,CAAC,CAAC;QACH,WAAW,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,cAAc;YAClC,KAAK,EAAE,CAAC,CAAC,KAAK;SACf,CAAC,CAAC;QACH,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/B,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,UAAU,EAAE,CAAC,CAAC,UAAU;SACzB,CAAC,CAAC;QACH,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,KAAK;SACjC,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC"}

package/dist/inference/ui-contracts/rules/_shared.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Shared helpers for rules that need sample data / seedability
+ * analysis. Kept separate from test-case-types.ts so rules can
+ * import pure utilities without pulling in the TestStep union.
+ */
+import type { ModelInfo, AttributeInfo } from '../test-case-types.js';
+/**
+ * Pick the attribute to use as the entity's human-readable display
+ * value in assertions. Preference order:
+ *   1. First required business String named 'title'/'name'/'label'
+ *   2. First required business String attribute
+ *   3. First business String attribute
+ *   4. null — caller should skip this rule for this model
+ */
+export declare function pickDisplayAttribute(model: ModelInfo): AttributeInfo | null;
+/**
+ * Build a seed-data payload for a model that's plausible enough for
+ * the backend to accept. Fills in every required business attribute
+ * with a marker-tagged value so contract-test-created entities are
+ * easy to identify.
+ *
+ * Returns null if the model has any required belongsTo relationship —
+ * seeding parent entities is out of scope for v1 state-sync rules.
+ * Phase 5+ may add a topological-seed helper that handles dependents.
+ */
+export declare function buildSeedData(model: ModelInfo, marker: string): Record<string, unknown> | null;
+/**
+ * Extract the list of lifecycle state names from a model's lifecycles
+ * block. Returns null if the model has no lifecycle.
+ */
+export declare function getLifecycleStates(model: ModelInfo): string[] | null;
+//# sourceMappingURL=_shared.d.ts.map

package/dist/inference/ui-contracts/rules/_shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_shared.d.ts","sourceRoot":"","sources":["../../../../src/inference/ui-contracts/rules/_shared.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtE;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,GAAG,aAAa,GAAG,IAAI,CAa3E;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,EAChB,MAAM,EAAE,MAAM,GACb,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAiBhC;AAuBD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,EAAE,GAAG,IAAI,CAepE"}

package/dist/inference/ui-contracts/rules/_shared.js

@@ -0,0 +1,103 @@
+/**
+ * Shared helpers for rules that need sample data / seedability
+ * analysis. Kept separate from test-case-types.ts so rules can
+ * import pure utilities without pulling in the TestStep union.
+ */
+/**
+ * Pick the attribute to use as the entity's human-readable display
+ * value in assertions. Preference order:
+ *   1. First required business String named 'title'/'name'/'label'
+ *   2. First required business String attribute
+ *   3. First business String attribute
+ *   4. null — caller should skip this rule for this model
+ */
+export function pickDisplayAttribute(model) {
+    const attrs = model.attributes || [];
+    const business = attrs.filter(a => a.category !== 'metadata' && a.category !== 'relationship');
+    const strings = business.filter(a => !a.type || /^String$|^Email$/i.test(a.type));
+    const named = strings.find(a => /^(title|name|label)$/i.test(a.name) && a.required);
+    if (named)
+        return named;
+    const requiredStr = strings.find(a => a.required);
+    if (requiredStr)
+        return requiredStr;
+    if (strings.length > 0)
+        return strings[0];
+    return null;
+}
+/**
+ * Build a seed-data payload for a model that's plausible enough for
+ * the backend to accept. Fills in every required business attribute
+ * with a marker-tagged value so contract-test-created entities are
+ * easy to identify.
+ *
+ * Returns null if the model has any required belongsTo relationship —
+ * seeding parent entities is out of scope for v1 state-sync rules.
+ * Phase 5+ may add a topological-seed helper that handles dependents.
+ */
+export function buildSeedData(model, marker) {
+    // If the model has a required belongsTo relationship, we'd need to
+    // seed the parent first. v1 skips these; only top-level models get
+    // state-sync rules.
+    const rels = model.relationships || [];
+    const hasRequiredBelongsTo = rels.some(r => /belongsTo/i.test(String(r.type || '')));
+    if (hasRequiredBelongsTo)
+        return null;
+    const data = {};
+    const attrs = model.attributes || [];
+    for (const attr of attrs) {
+        if (attr.category === 'metadata')
+            continue;
+        if (attr.category === 'relationship')
+            continue;
+        if (!attr.required && !isLifecycleField(attr))
+            continue;
+        data[attr.name] = sampleValueFor(attr, marker);
+    }
+    return data;
+}
+function isLifecycleField(attr) {
+    // Heuristic: `status` / `state` attributes with an enumerated
+    // value list belong to a lifecycle. The parser usually strips
+    // the value list from the type at normalization time, so we
+    // rely on naming convention here. Good enough for v1.
+    return /^(status|state)$/i.test(attr.name);
+}
+function sampleValueFor(attr, marker) {
+    const type = (attr.type || 'String').trim();
+    // Lifecycle/enum fields: pick a plausible initial state. For poll-app
+    // it's 'draft'. Future work: parse the enum list from the spec and
+    // pick the first value.
+    if (isLifecycleField(attr))
+        return 'draft';
+    if (/^Integer$|^Int$|^Number$|^Float$/i.test(type))
+        return 0;
+    if (/^Boolean$/i.test(type))
+        return false;
+    if (/^DateTime$|^Date$/i.test(type))
+        return new Date().toISOString();
+    // String, Email, UUID → tag with the marker so assertions find it
+    return `${marker}-${attr.name}`;
+}
+/**
+ * Extract the list of lifecycle state names from a model's lifecycles
+ * block. Returns null if the model has no lifecycle.
+ */
+export function getLifecycleStates(model) {
+    const lifecycles = model.lifecycles;
+    if (!lifecycles)
+        return null;
+    const first = Object.values(lifecycles)[0];
+    if (!first)
+        return null;
+    // Form 1: { flow: 'draft -> open -> closed' }
+    if (typeof first.flow === 'string') {
+        return first.flow.split('->').map((s) => s.trim()).filter(Boolean);
+    }
+    // Form 2: { states: [...] }
+    if (Array.isArray(first.states)) {
+        return first.states.map((s) => (typeof s === 'string' ? s : s?.name)).filter(Boolean);
+    }
+    return null;
+}
+//# sourceMappingURL=_shared.js.map

package/dist/inference/ui-contracts/rules/_shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_shared.js","sourceRoot":"","sources":["../../../../src/inference/ui-contracts/rules/_shared.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAgB;IACnD,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,CAAC;IAC/F,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAElF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC;IACpF,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAExB,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC;IAEpC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAgB,EAChB,MAAc;IAEd,mEAAmE;IACnE,mEAAmE;IACnE,oBAAoB;IACpB,MAAM,IAAI,GAAG,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC;IACvC,MAAM,oBAAoB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACrF,IAAI,oBAAoB;QAAE,OAAO,IAAI,CAAC;IAEtC,MAAM,IAAI,GAA4B,EAAE,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU;YAAE,SAAS;QAC3C,IAAI,IAAI,CAAC,QAAQ,KAAK,cAAc;YAAE,SAAS;QAC/C,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,SAAS;QACxD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAmB;IAC3C,8DAA8D;IAC9D,8DAA8D;IAC9D,4DAA4D;IAC5D,sDAAsD;IACtD,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,cAAc,CAAC,IAAmB,EAAE,MAAc;IACzD,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5C,sEAAsE;IACtE,mEAAmE;IACnE,wBAAwB;IACxB,IAAI,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IAC3C,IAAI,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrE,kEAAkE;IAClE,OAAO,GAAG,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;AAClC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAgB;IACjD,MAAM,UAAU,GAAG,KAAK,CAAC,UAA6C,CAAC;IACvE,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,8CAA8C;IAC9C,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7E,CAAC;IACD,4BAA4B;IAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/inference/ui-contracts/rules/action-buttons-present.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Rule: action-buttons-present
+ *
+ * For every CURED operation supported by a controller, the
+ * corresponding model's view should expose a visible action trigger
+ * (button, menu item, etc.) labeled with the operation name.
+ *
+ * CURED = create / update / retrieve / validate / evolve / delete.
+ * The spec declares which ones a controller supports via
+ * `cured: { create: {}, retrieve: {}, ... }`.
+ *
+ * v1 looks for operation labels as visible text. A stricter
+ * variant could use `getByRole('button', { name })` once the
+ * runtime's button markup stabilizes.
+ *
+ * One TestCase per (controller, cured-operation) pair.
+ */
+import type { UiContractRule } from '../test-case-types.js';
+export declare const RULE_ID = "action-buttons-present";
+export declare const actionButtonsPresent: UiContractRule;
+//# sourceMappingURL=action-buttons-present.d.ts.map

package/dist/inference/ui-contracts/rules/action-buttons-present.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"action-buttons-present.d.ts","sourceRoot":"","sources":["../../../../src/inference/ui-contracts/rules/action-buttons-present.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAA4B,MAAM,uBAAuB,CAAC;AAEtF,eAAO,MAAM,OAAO,2BAA2B,CAAC;AAiBhD,eAAO,MAAM,oBAAoB,EAAE,cAyBlC,CAAC"}

package/dist/inference/ui-contracts/rules/action-buttons-present.js

@@ -0,0 +1,62 @@
+/**
+ * Rule: action-buttons-present
+ *
+ * For every CURED operation supported by a controller, the
+ * corresponding model's view should expose a visible action trigger
+ * (button, menu item, etc.) labeled with the operation name.
+ *
+ * CURED = create / update / retrieve / validate / evolve / delete.
+ * The spec declares which ones a controller supports via
+ * `cured: { create: {}, retrieve: {}, ... }`.
+ *
+ * v1 looks for operation labels as visible text. A stricter
+ * variant could use `getByRole('button', { name })` once the
+ * runtime's button markup stabilizes.
+ *
+ * One TestCase per (controller, cured-operation) pair.
+ */
+export const RULE_ID = 'action-buttons-present';
+/**
+ * Canonical CURED labels. Used both as the trigger text to search for
+ * AND as the keys inside `controller.cured`. If a controller declares
+ * a custom action, we'll pick it up too via the Object.keys iteration
+ * below — this set just records which labels are considered canonical.
+ */
+const CURED_LABELS = new Set([
+    'create',
+    'retrieve',
+    'update',
+    'validate',
+    'evolve',
+    'delete',
+]);
+export const actionButtonsPresent = (spec) => {
+    const cases = [];
+    for (const controller of spec.controllers || []) {
+        const cured = controller.cured;
+        if (!cured)
+            continue;
+        const modelName = controller.model || controller.name.replace(/Controller$/, '');
+        for (const opName of Object.keys(cured)) {
+            // Skip the common 'retrieve' and 'validate' which typically
+            // don't have their own button (they fire implicitly). Keep
+            // create/update/delete/evolve — the ones users trigger.
+            if (!CURED_LABELS.has(opName))
+                continue;
+            if (opName === 'retrieve' || opName === 'validate')
+                continue;
+            cases.push({
+                ruleId: RULE_ID,
+                specElement: `${controller.name}.${opName}`,
+                name: `[${RULE_ID}] ${modelName}.${opName} action button is visible`,
+                steps: [
+                    { action: 'bootRuntime' },
+                    { action: 'navigateToModel', modelName },
+                    { action: 'expectActionButton', modelName, actionLabel: opName },
+                ],
+            });
+        }
+    }
+    return cases;
+};
+//# sourceMappingURL=action-buttons-present.js.map

package/dist/inference/ui-contracts/rules/action-buttons-present.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"action-buttons-present.js","sourceRoot":"","sources":["../../../../src/inference/ui-contracts/rules/action-buttons-present.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,MAAM,CAAC,MAAM,OAAO,GAAG,wBAAwB,CAAC;AAEhD;;;;;GAKG;AACH,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAmB,CAAC,IAAoB,EAAc,EAAE;IACvF,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,UAAU,CAAC,KAA4C,CAAC;QACtE,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QACjF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxC,4DAA4D;YAC5D,2DAA2D;YAC3D,wDAAwD;YACxD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACxC,IAAI,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,UAAU;gBAAE,SAAS;YAC7D,KAAK,CAAC,IAAI,CAAC;gBACT,MAAM,EAAE,OAAO;gBACf,WAAW,EAAE,GAAG,UAAU,CAAC,IAAI,IAAI,MAAM,EAAE;gBAC3C,IAAI,EAAE,IAAI,OAAO,KAAK,SAAS,IAAI,MAAM,2BAA2B;gBACpE,KAAK,EAAE;oBACL,EAAE,MAAM,EAAE,aAAa,EAAE;oBACzB,EAAE,MAAM,EAAE,iBAAiB,EAAE,SAAS,EAAE;oBACxC,EAAE,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE;iBACjE;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/inference/ui-contracts/rules/create-reflects-in-list.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Rule: create-reflects-in-list
+ *
+ * State-sync contract: after a mutation creates an entity, every
+ * view reflecting that model must converge to show it within one
+ * WebSocket round-trip. v1 seeds the entity via a direct backend
+ * POST (through the vite dev proxy) rather than driving the UI
+ * form flow — the form UI has known gaps in empty state (see
+ * docs/plans/2026-04-14-RUNTIME-GAPS-FROM-CONTRACT-TESTS.md), so
+ * this rule deliberately tests the state-sync path on its own.
+ *
+ * Skipped for models whose creation would require seeding parent
+ * entities first (any required belongsTo relationship). For
+ * poll-app this means: Poll gets a test; Option and Vote are
+ * skipped until topological seed support lands.
+ *
+ * One TestCase per seedable model.
+ */
+import type { UiContractRule } from '../test-case-types.js';
+export declare const RULE_ID = "create-reflects-in-list";
+export declare const createReflectsInList: UiContractRule;
+//# sourceMappingURL=create-reflects-in-list.d.ts.map

package/dist/inference/ui-contracts/rules/create-reflects-in-list.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-reflects-in-list.d.ts","sourceRoot":"","sources":["../../../../src/inference/ui-contracts/rules/create-reflects-in-list.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAA4B,MAAM,uBAAuB,CAAC;AAGtF,eAAO,MAAM,OAAO,4BAA4B,CAAC;AAEjD,eAAO,MAAM,oBAAoB,EAAE,cAkClC,CAAC"}

package/dist/inference/ui-contracts/rules/create-reflects-in-list.js

@@ -0,0 +1,58 @@
+/**
+ * Rule: create-reflects-in-list
+ *
+ * State-sync contract: after a mutation creates an entity, every
+ * view reflecting that model must converge to show it within one
+ * WebSocket round-trip. v1 seeds the entity via a direct backend
+ * POST (through the vite dev proxy) rather than driving the UI
+ * form flow — the form UI has known gaps in empty state (see
+ * docs/plans/2026-04-14-RUNTIME-GAPS-FROM-CONTRACT-TESTS.md), so
+ * this rule deliberately tests the state-sync path on its own.
+ *
+ * Skipped for models whose creation would require seeding parent
+ * entities first (any required belongsTo relationship). For
+ * poll-app this means: Poll gets a test; Option and Vote are
+ * skipped until topological seed support lands.
+ *
+ * One TestCase per seedable model.
+ */
+import { pickDisplayAttribute, buildSeedData } from './_shared.js';
+export const RULE_ID = 'create-reflects-in-list';
+export const createReflectsInList = (spec) => {
+    const cases = [];
+    for (const model of spec.models) {
+        const display = pickDisplayAttribute(model);
+        if (!display)
+            continue;
+        const marker = `ct-create-${model.name}`;
+        const seedData = buildSeedData(model, marker);
+        if (!seedData)
+            continue; // skip — requires parent entities
+        const displayValue = seedData[display.name];
+        if (typeof displayValue !== 'string')
+            continue;
+        cases.push({
+            ruleId: RULE_ID,
+            specElement: model.name,
+            name: `[${RULE_ID}] creating a ${model.name} reflects in its list view`,
+            steps: [
+                { action: 'bootRuntime' },
+                { action: 'navigateToModel', modelName: model.name },
+                {
+                    action: 'createEntity',
+                    modelName: model.name,
+                    data: seedData,
+                    bindAs: '{ id: _createId, data: created }',
+                    uniqueField: display.name,
+                },
+                {
+                    action: 'expectEntityInList',
+                    modelName: model.name,
+                    displayExpr: `String(created[${JSON.stringify(display.name)}])`,
+                },
+            ],
+        });
+    }
+    return cases;
+};
+//# sourceMappingURL=create-reflects-in-list.js.map

package/dist/inference/ui-contracts/rules/create-reflects-in-list.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-reflects-in-list.js","sourceRoot":"","sources":["../../../../src/inference/ui-contracts/rules/create-reflects-in-list.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAEnE,MAAM,CAAC,MAAM,OAAO,GAAG,yBAAyB,CAAC;AAEjD,MAAM,CAAC,MAAM,oBAAoB,GAAmB,CAAC,IAAoB,EAAc,EAAE;IACvF,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,MAAM,GAAG,aAAa,KAAK,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,QAAQ;YAAE,SAAS,CAAC,kCAAkC;QAC3D,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,OAAO,YAAY,KAAK,QAAQ;YAAE,SAAS;QAE/C,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,OAAO;YACf,WAAW,EAAE,KAAK,CAAC,IAAI;YACvB,IAAI,EAAE,IAAI,OAAO,gBAAgB,KAAK,CAAC,IAAI,4BAA4B;YACvE,KAAK,EAAE;gBACL,EAAE,MAAM,EAAE,aAAa,EAAE;gBACzB,EAAE,MAAM,EAAE,iBAAiB,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE;gBACpD;oBACE,MAAM,EAAE,cAAc;oBACtB,SAAS,EAAE,KAAK,CAAC,IAAI;oBACrB,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,kCAAkC;oBAC1C,WAAW,EAAE,OAAO,CAAC,IAAI;iBAC1B;gBACD;oBACE,MAAM,EAAE,oBAAoB;oBAC5B,SAAS,EAAE,KAAK,CAAC,IAAI;oBACrB,WAAW,EAAE,kBAAkB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI;iBAChE;aACF;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/inference/ui-contracts/rules/delete-reflects-in-list.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Rule: delete-reflects-in-list
+ *
+ * Mirror of create-reflects-in-list, for the delete path. Seeds an
+ * entity via backend POST, asserts it appears in the list, then
+ * deletes it via backend DELETE and asserts it disappears. The
+ * disappear-after-delete check exercises the full state-sync chain:
+ * backend publishes a Deleted event → WebSocket pushes to frontend
+ * → useEntitySync invalidates the ['entities', modelName] query key
+ * → React Query refetches → the list view re-renders without the
+ * deleted row.
+ *
+ * If any link in that chain is broken (e.g. the mutation hook
+ * forgets to invalidate, or the WebSocket bridge drops the event),
+ * this test is the one that catches it.
+ *
+ * One TestCase per seedable model.
+ */
+import type { UiContractRule } from '../test-case-types.js';
+export declare const RULE_ID = "delete-reflects-in-list";
+export declare const deleteReflectsInList: UiContractRule;
+//# sourceMappingURL=delete-reflects-in-list.d.ts.map

package/dist/inference/ui-contracts/rules/delete-reflects-in-list.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delete-reflects-in-list.d.ts","sourceRoot":"","sources":["../../../../src/inference/ui-contracts/rules/delete-reflects-in-list.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAA4B,MAAM,uBAAuB,CAAC;AAGtF,eAAO,MAAM,OAAO,4BAA4B,CAAC;AAEjD,eAAO,MAAM,oBAAoB,EAAE,cAwClC,CAAC"}