@astryxdesign/native 0.7.5-canary.51c62ca → 0.7.5-canary.f2dafed

package/README.md

@@ -34,22 +34,6 @@ const props: SelectorProps = {
 };
 ```
 
-How core documentation becomes a contract:
-
-- A callback whose arguments are values followed by the DOM event that caused
-  them, such as `(checked: boolean, e: ChangeEvent) => void`, keeps the values
-  in the core; the event stays on the web.
-- A callback that carries only an event stays on the web, unless the component
-  names it in `callbacks`, as a button's `onClick` would. Its core form takes no
-  arguments. A callback with an event before a value stays on the web either
-  way.
-- Free-form content becomes a typed slot only where a component declares one
-  in `slots`; `text` is a string, as for a badge's label or a heading's words.
-- A closed set of numbers, such as a heading level, is a Swift enum with raw
-  values.
-- A core prop may share a platform toolkit's name only when the component
-  declares in `sameMeaning` that it means the same thing there.
-
 ## Working on it
 
 ```sh

package/dist/contract/fromComponentDoc.d.ts

@@ -1,56 +1,19 @@
 import type { BaseTarget, ComponentContract, PropMap } from './types.js';
 import type { NativePlatform } from '../platforms.js';
-interface DocProp {
-    readonly name: string;
-    readonly type?: unknown;
-    readonly required?: boolean;
-    readonly description?: unknown;
-}
-/**
- * The subset of a ComponentDoc this reader needs. A file that documents
- * several components, such as Stack with HStack and VStack, lists them in
- * `components`.
- */
+/** The subset of a ComponentDoc this reader needs. */
 export interface ComponentDocLike {
     readonly name: string;
-    readonly props?: ReadonlyArray<DocProp>;
-    readonly components?: ReadonlyArray<{
+    readonly props?: ReadonlyArray<{
         readonly name: string;
-        readonly props?: ReadonlyArray<DocProp>;
+        readonly type?: unknown;
+        readonly required?: boolean;
+        readonly description?: unknown;
     }>;
 }
-/**
- * Typed slots (AST-082 FR4) for documented free-form content. `text` is a
- * string in the core contract, as a badge's label or a heading's words.
- */
-export type SlotKind = 'text';
 /** What the native package adds to one core component. */
 export interface NativeAdditions {
     readonly name: string;
     readonly baseTarget: BaseTarget;
-    /**
-     * Where core documents the component when it is not `<Name>/<Name>.doc.mjs`:
-     * `file` relative to core's `src` without `.doc.mjs`, and `component` when
-     * the file documents several components.
-     */
-    readonly doc?: {
-        readonly file: string;
-        readonly component?: string;
-    };
-    /** Documented free-form content props, given a typed slot in the core. */
-    readonly slots?: Readonly<Record<string, SlotKind>>;
-    /**
-     * Callbacks whose only documented argument is a DOM event but which name a
-     * moment every platform has, such as a button's press. Their core form
-     * takes no arguments.
-     */
-    readonly callbacks?: readonly string[];
-    /**
-     * Core props whose name a platform toolkit also uses, with the same meaning
-     * (AST-082 FR8 forbids only a different meaning), and why: a button's
-     * `onClick` is a press in Compose too.
-     */
-    readonly sameMeaning?: Readonly<Record<string, string>>;
     /**
      * Portable definitions for named types the documentation references. Fields
      * the web type has that are not portable are left out on purpose.
@@ -66,5 +29,4 @@ export interface NativeAdditions {
     readonly webOnly?: Readonly<Record<string, string>>;
 }
 export declare function fromComponentDoc(doc: ComponentDocLike, additions: NativeAdditions): ComponentContract;
-export {};
 //# sourceMappingURL=fromComponentDoc.d.ts.map

package/dist/contract/fromComponentDoc.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fromComponentDoc.d.ts","sourceRoot":"","sources":["../../src/contract/fromComponentDoc.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EACV,UAAU,EACV,iBAAiB,EACjB,OAAO,EAIR,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAC,cAAc,EAAC,MAAM,iBAAiB,CAAC;AAEpD,UAAU,OAAO;IACf,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACxC,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;QAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;KACzC,CAAC,CAAC;CACJ;AAED;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC;AAE9B,0DAA0D;AAC1D,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC;;;;OAIG;IACH,QAAQ,CAAC,GAAG,CAAC,EAAE;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAC,CAAC;IACpE,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACpD;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;;;;OAIG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,gFAAgF;IAChF,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACxE;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD;AAwBD,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,gBAAgB,EACrB,SAAS,EAAE,eAAe,GACzB,iBAAiB,CA8GnB"}
+{"version":3,"file":"fromComponentDoc.d.ts","sourceRoot":"","sources":["../../src/contract/fromComponentDoc.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EACV,UAAU,EACV,iBAAiB,EACjB,OAAO,EAGR,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAC,cAAc,EAAC,MAAM,iBAAiB,CAAC;AAEpD,sDAAsD;AACtD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;QACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;QAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;KAChC,CAAC,CAAC;CACJ;AAED,0DAA0D;AAC1D,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,gFAAgF;IAChF,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACxE;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD;AAED,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,gBAAgB,EACrB,SAAS,EAAE,eAAe,GACzB,iBAAiB,CA0EnB"}

package/dist/contract/fromComponentDoc.js

@@ -10,32 +10,11 @@
  */
 import { parseDocType } from './parseDocType.js';
 import { coreNameProblem } from './rules.js';
-/** The documented props of the component the additions name. */
-function documentedProps(doc, additions) {
-    const wanted = additions.doc?.component;
-    if (wanted == null) {
-        return doc.props ?? [];
-    }
-    const entry = doc.components?.find(component => component.name === wanted);
-    if (!entry) {
-        throw new Error(`${additions.name}: core documentation "${doc.name}" does not document "${wanted}"`);
-    }
-    return entry.props ?? [];
-}
-const SLOT_TYPES = {
-    text: { kind: 'string' },
-};
 export function fromComponentDoc(doc, additions) {
     const core = {};
     const webOnly = [];
     const types = additions.types ?? {};
-    const describe = (prop) => typeof prop.description === 'string' ? { doc: prop.description } : {};
-    for (const prop of documentedProps(doc, additions)) {
-        // `id` and `isHidden` are shared base props on every platform (FR7), so a
-        // documented prop of either name is the base prop, not a core prop.
-        if (prop.name === 'id' || prop.name === 'isHidden') {
-            continue;
-        }
+    for (const prop of doc.props ?? []) {
         const declaredWebOnly = additions.webOnly?.[prop.name];
         if (declaredWebOnly) {
             webOnly.push({ name: prop.name, reason: declaredWebOnly });
@@ -50,33 +29,13 @@ export function fromComponentDoc(doc, additions) {
             webOnly.push({ name: prop.name, reason: 'HTML attribute' });
             continue;
         }
-        const slot = additions.slots?.[prop.name];
-        const slotNameProblem = slot &&
-            coreNameProblem(prop.name, prop.name in (additions.sameMeaning ?? {}));
-        if (slotNameProblem) {
-            webOnly.push({ name: prop.name, reason: slotNameProblem });
-            continue;
-        }
-        if (slot) {
-            core[prop.name] = {
-                type: SLOT_TYPES[slot],
-                optional: prop.required !== true,
-                ...describe(prop),
-            };
-            continue;
-        }
-        let parsed = parseDocType(String(prop.type ?? ''));
-        if (!parsed.ok &&
-            parsed.eventOnly === true &&
-            additions.callbacks?.includes(prop.name)) {
-            parsed = { ok: true, type: { kind: 'fn', args: [] } };
-        }
+        const parsed = parseDocType(String(prop.type ?? ''));
         if (!parsed.ok) {
             webOnly.push({ name: prop.name, reason: parsed.reason });
             continue;
         }
         // A portable type can still carry a name another platform owns.
-        const nameProblem = coreNameProblem(prop.name, prop.name in (additions.sameMeaning ?? {}));
+        const nameProblem = coreNameProblem(prop.name);
         if (nameProblem) {
             webOnly.push({ name: prop.name, reason: nameProblem });
             continue;
@@ -108,7 +67,7 @@ export function fromComponentDoc(doc, additions) {
         core[prop.name] = {
             type,
             optional: prop.required !== true,
-            ...describe(prop),
+            ...(typeof prop.description === 'string' ? { doc: prop.description } : {}),
         };
     }
     return {
@@ -118,6 +77,5 @@ export function fromComponentDoc(doc, additions) {
         core,
         platforms: additions.platforms ?? {},
         webOnly,
-        sameMeaning: Object.keys(additions.sameMeaning ?? {}).filter(name => name in core),
     };
 }

package/dist/contract/generateSwift.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generateSwift.d.ts","sourceRoot":"","sources":["../../src/contract/generateSwift.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAC,iBAAiB,EAAoB,MAAM,YAAY,CAAC;AAoKrE,6EAA6E;AAC7E,wBAAgB,aAAa,CAC3B,SAAS,EAAE,SAAS,iBAAiB,EAAE,GACtC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAMxB"}
+{"version":3,"file":"generateSwift.d.ts","sourceRoot":"","sources":["../../src/contract/generateSwift.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAC,iBAAiB,EAAoB,MAAM,YAAY,CAAC;AAoJrE,6EAA6E;AAC7E,wBAAgB,aAAa,CAC3B,SAAS,EAAE,SAAS,iBAAiB,EAAE,GACtC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAMxB"}

package/dist/contract/generateSwift.js

@@ -16,10 +16,6 @@ const APPLE_PLATFORMS = [
 const camel = (text) => text.replace(/[-_ ]+([a-zA-Z0-9])/g, (_, ch) => ch.toUpperCase());
 const pascal = (text) => camel(text).replace(/^./, ch => ch.toUpperCase());
 const ident = (name) => SWIFT_KEYWORDS.has(name) ? `\`${name}\`` : name;
-/** `1` → `v1`, `0.5` → `v0_5`, `-1` → `vMinus1`. */
-function numberCaseName(value) {
-    return `v${String(value).replace('-', 'Minus').replace('.', '_')}`;
-}
 function caseName(value) {
     const name = camel(value.replace(/[^A-Za-z0-9_-]/g, '-'));
     return ident(/^[0-9]/.test(name) ? `v${name}` : name || 'empty');
@@ -41,13 +37,6 @@ class SwiftWriter {
                 this.decls.push(`public enum ${name}: String, CaseIterable, Sendable {\n${cases.join('\n')}\n}`);
                 return name;
             }
-            case 'numberEnum': {
-                const name = `${owner}${pascal(prop)}`;
-                const raw = type.values.every(Number.isInteger) ? 'Int' : 'Double';
-                const cases = type.values.map(value => `  case ${numberCaseName(value)} = ${value}`);
-                this.decls.push(`public enum ${name}: ${raw}, CaseIterable, Sendable {\n${cases.join('\n')}\n}`);
-                return name;
-            }
             case 'array':
                 return `[${this.type(owner, prop, type.of)}]`;
             case 'record': {

package/dist/contract/generateTypeScript.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generateTypeScript.d.ts","sourceRoot":"","sources":["../../src/contract/generateTypeScript.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAC,iBAAiB,EAAoB,MAAM,YAAY,CAAC;AA6FrE,0EAA0E;AAC1E,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,SAAS,iBAAiB,EAAE,GACtC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CASxB"}
+{"version":3,"file":"generateTypeScript.d.ts","sourceRoot":"","sources":["../../src/contract/generateTypeScript.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAC,iBAAiB,EAAoB,MAAM,YAAY,CAAC;AA2FrE,0EAA0E;AAC1E,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,SAAS,iBAAiB,EAAE,GACtC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CASxB"}

package/dist/contract/generateTypeScript.js

@@ -16,8 +16,6 @@ function tsType(type) {
             return type.kind;
         case 'enum':
             return type.values.map(value => `'${value}'`).join(' | ');
-        case 'numberEnum':
-            return type.values.join(' | ');
         case 'array': {
             const inner = tsType(type.of);
             return `ReadonlyArray<${inner}>`;

package/dist/contract/index.d.ts

@@ -2,19 +2,15 @@ import { type ComponentDocLike } from './fromComponentDoc.js';
 import { type ContractIssue } from './rules.js';
 import type { ComponentContract } from './types.js';
 export { fromComponentDoc } from './fromComponentDoc.js';
-export type { ComponentDocLike, NativeAdditions, SlotKind, } from './fromComponentDoc.js';
+export type { ComponentDocLike, NativeAdditions } from './fromComponentDoc.js';
 export { generateSwift } from './generateSwift.js';
 export { generateTypeScript } from './generateTypeScript.js';
 export { parseDocType } from './parseDocType.js';
 export { checkContract, coreNameProblem } from './rules.js';
 export type { ContractIssue } from './rules.js';
 export type * from './types.js';
-/**
- * Loads one core documentation file: a component name for
- * `<Name>/<Name>.doc.mjs`, or a path such as `Text/Heading` relative to core's
- * `src` without `.doc.mjs`.
- */
-export type ComponentDocLoader = (file: string) => Promise<ComponentDocLike>;
+/** Loads one core component's documentation by component name. */
+export type ComponentDocLoader = (name: string) => Promise<ComponentDocLike>;
 export interface BuiltContracts {
     readonly contracts: readonly ComponentContract[];
     readonly warnings: readonly ContractIssue[];

package/dist/contract/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/contract/index.ts"],"names":[],"mappings":"AAWA,OAAO,EAAmB,KAAK,gBAAgB,EAAC,MAAM,uBAAuB,CAAC;AAC9E,OAAO,EAAgB,KAAK,aAAa,EAAC,MAAM,YAAY,CAAC;AAC7D,OAAO,KAAK,EAAC,iBAAiB,EAAC,MAAM,YAAY,CAAC;AAElD,OAAO,EAAC,gBAAgB,EAAC,MAAM,uBAAuB,CAAC;AACvD,YAAY,EACV,gBAAgB,EAChB,eAAe,EACf,QAAQ,GACT,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAC,aAAa,EAAC,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAC,kBAAkB,EAAC,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAC,aAAa,EAAE,eAAe,EAAC,MAAM,YAAY,CAAC;AAC1D,YAAY,EAAC,aAAa,EAAC,MAAM,YAAY,CAAC;AAC9C,mBAAmB,YAAY,CAAC;AAEhC;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAC;AAE7E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;CAC7C;AAED,8EAA8E;AAC9E,wBAAsB,cAAc,CAClC,OAAO,EAAE,kBAAkB,GAC1B,OAAO,CAAC,cAAc,CAAC,CAkBzB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/contract/index.ts"],"names":[],"mappings":"AAWA,OAAO,EAAmB,KAAK,gBAAgB,EAAC,MAAM,uBAAuB,CAAC;AAC9E,OAAO,EAAgB,KAAK,aAAa,EAAC,MAAM,YAAY,CAAC;AAC7D,OAAO,KAAK,EAAC,iBAAiB,EAAC,MAAM,YAAY,CAAC;AAElD,OAAO,EAAC,gBAAgB,EAAC,MAAM,uBAAuB,CAAC;AACvD,YAAY,EAAC,gBAAgB,EAAE,eAAe,EAAC,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAC,aAAa,EAAC,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAC,kBAAkB,EAAC,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAC,aAAa,EAAE,eAAe,EAAC,MAAM,YAAY,CAAC;AAC1D,YAAY,EAAC,aAAa,EAAC,MAAM,YAAY,CAAC;AAC9C,mBAAmB,YAAY,CAAC;AAEhC,kEAAkE;AAClE,MAAM,MAAM,kBAAkB,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAC;AAE7E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;CAC7C;AAED,8EAA8E;AAC9E,wBAAsB,cAAc,CAClC,OAAO,EAAE,kBAAkB,GAC1B,OAAO,CAAC,cAAc,CAAC,CAiBzB"}

package/dist/contract/index.js

@@ -20,8 +20,7 @@ export async function buildContracts(loadDoc) {
     const warnings = [];
     const errors = [];
     for (const additions of NATIVE_COMPONENTS) {
-        const doc = await loadDoc(additions.doc?.file ?? additions.name);
-        const contract = fromComponentDoc(doc, additions);
+        const contract = fromComponentDoc(await loadDoc(additions.name), additions);
         for (const issue of checkContract(contract)) {
             (issue.level === 'error' ? errors : warnings).push(issue);
         }

package/dist/contract/parseDocType.d.ts

@@ -11,14 +11,11 @@ export type ParsedType = {
 } | {
     readonly ok: false;
     readonly reason: string;
-    /** True for a callback whose only arguments are DOM events. */
-    readonly eventOnly?: boolean;
 };
 /**
  * Parses a documented type string. Supported portable forms: `string`,
- * `number`, `boolean`, closed string or number unions, arrays, plain object
- * literals, callbacks with portable arguments (a trailing DOM event argument
- * is the web's part), and named types. A union of different
+ * `number`, `boolean`, closed string unions, arrays, plain object literals,
+ * callbacks with portable arguments, and named types. A union of different
  * kinds has no Swift or Kotlin form.
  */
 export declare function parseDocType(raw: string): ParsedType;

package/dist/contract/parseDocType.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parseDocType.d.ts","sourceRoot":"","sources":["../../src/contract/parseDocType.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AAEH,OAAO,KAAK,EAAW,QAAQ,EAAC,MAAM,YAAY,CAAC;AAEnD,MAAM,MAAM,UAAU,GAClB;IAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAC,GAC5C;IACE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+DAA+D;IAC/D,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;CAC9B,CAAC;AA8JN;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CA8DpD"}
+{"version":3,"file":"parseDocType.d.ts","sourceRoot":"","sources":["../../src/contract/parseDocType.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AAEH,OAAO,KAAK,EAAW,QAAQ,EAAC,MAAM,YAAY,CAAC;AAEnD,MAAM,MAAM,UAAU,GAClB;IAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAC,GAC5C;IAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAC,CAAC;AAuIlD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CAwDpD"}

package/dist/contract/parseDocType.js

@@ -19,15 +19,7 @@ const WEB_ONLY_TYPES = {
     ChangeEvent: 'DOM event',
     DragEvent: 'DOM event',
     ClipboardEvent: 'DOM event',
-    FormEvent: 'DOM event',
-    TouchEvent: 'DOM event',
-    SyntheticEvent: 'DOM event',
 };
-/** True for a DOM event type, with or without its element parameter. */
-function isDomEvent(text) {
-    const name = /^(?:React\.)?([A-Z]\w*)(?:<[\s\S]*>)?$/.exec(text.trim())?.[1];
-    return name != null && WEB_ONLY_TYPES[name] === 'DOM event';
-}
 const ok = (type) => ({ ok: true, type });
 const no = (reason) => ({ ok: false, reason });
 /** Splits on a separator at bracket depth zero, ignoring quoted text. */
@@ -123,24 +115,10 @@ function parseFunction(text) {
             : 'callback returns a value; only void callbacks are portable today');
     }
     const params = arrow[0].slice(1, -1).trim();
-    const types = (params ? splitTop(params, ',') : []).map(param => {
-        const match = /^([A-Za-z_$][\w$]*)\??\s*:\s*([\s\S]+)$/.exec(param);
-        return match ? match[2] : param;
-    });
-    // A value callback ends with the DOM event that caused it, as in
-    // `(checked: boolean, e: ChangeEvent) => void`. The values are the portable
-    // callback; the trailing event is the web's part. A callback that carries
-    // only an event stays on the web.
-    let end = types.length;
-    while (end > 0 && isDomEvent(types[end - 1])) {
-        end--;
-    }
-    if (end === 0 && types.length > 0) {
-        return { ok: false, reason: 'callback argument: DOM event', eventOnly: true };
-    }
     const args = [];
-    for (const type of types.slice(0, end)) {
-        const parsed = parseDocType(type);
+    for (const param of params ? splitTop(params, ',') : []) {
+        const match = /^([A-Za-z_$][\w$]*)\??\s*:\s*([\s\S]+)$/.exec(param);
+        const parsed = parseDocType(match ? match[2] : param);
         if (!parsed.ok) {
             return no(`callback argument: ${parsed.reason}`);
         }
@@ -150,9 +128,8 @@ function parseFunction(text) {
 }
 /**
  * Parses a documented type string. Supported portable forms: `string`,
- * `number`, `boolean`, closed string or number unions, arrays, plain object
- * literals, callbacks with portable arguments (a trailing DOM event argument
- * is the web's part), and named types. A union of different
+ * `number`, `boolean`, closed string unions, arrays, plain object literals,
+ * callbacks with portable arguments, and named types. A union of different
  * kinds has no Swift or Kotlin form.
  */
 export function parseDocType(raw) {
@@ -169,9 +146,6 @@ export function parseDocType(raw) {
         if (members.every(m => /^'[^']*'$/.test(m))) {
             return ok({ kind: 'enum', values: members.map(m => m.slice(1, -1)) });
         }
-        if (members.every(m => /^-?\d+(?:\.\d+)?$/.test(m))) {
-            return ok({ kind: 'numberEnum', values: members.map(Number) });
-        }
         const webOnly = members.find(m => WEB_ONLY_TYPES[m] != null);
         if (webOnly) {
             return no(WEB_ONLY_TYPES[webOnly]);
@@ -188,9 +162,6 @@ export function parseDocType(raw) {
     if (WEB_ONLY_TYPES[t] != null) {
         return no(WEB_ONLY_TYPES[t]);
     }
-    if (isDomEvent(t)) {
-        return no('DOM event');
-    }
     const generic = /^(?:Readonly)?Array<([\s\S]+)>$/.exec(t);
     if (t.endsWith('[]') || generic) {
         const inner = parseDocType(generic ? generic[1] : t.slice(0, -2));

package/dist/contract/rules.d.ts

@@ -4,10 +4,7 @@ export interface ContractIssue {
     readonly rule: 'core-is-portable' | 'name-keyword' | 'name-toolkit' | 'platform-shadows-core' | 'same-name-different-meaning' | 'unknown-type';
     readonly message: string;
 }
-/**
- * Why a core prop name is not allowed, or null when it is. A toolkit name is
- * allowed when the component declares it has the same meaning there.
- */
-export declare function coreNameProblem(name: string, sameMeaning?: boolean): string | null;
+/** Why a core prop name is not allowed, or null when it is. */
+export declare function coreNameProblem(name: string): string | null;
 export declare function checkContract(contract: ComponentContract): ContractIssue[];
 //# sourceMappingURL=rules.d.ts.map

package/dist/contract/rules.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../src/contract/rules.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAC,iBAAiB,EAAoB,MAAM,YAAY,CAAC;AAErE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,IAAI,EACT,kBAAkB,GAClB,cAAc,GACd,cAAc,GACd,uBAAuB,GACvB,6BAA6B,GAC7B,cAAc,CAAC;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,WAAW,UAAQ,GAClB,MAAM,GAAG,IAAI,CAgBf;AAeD,wBAAgB,aAAa,CAAC,QAAQ,EAAE,iBAAiB,GAAG,aAAa,EAAE,CAqE1E"}
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../src/contract/rules.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAC,iBAAiB,EAAoB,MAAM,YAAY,CAAC;AAErE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,IAAI,EACT,kBAAkB,GAClB,cAAc,GACd,cAAc,GACd,uBAAuB,GACvB,6BAA6B,GAC7B,cAAc,CAAC;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,+DAA+D;AAC/D,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAgB3D;AAeD,wBAAgB,aAAa,CAAC,QAAQ,EAAE,iBAAiB,GAAG,aAAa,EAAE,CAoE1E"}

package/dist/contract/rules.js

@@ -8,18 +8,15 @@
  */
 import { NATIVE_PLATFORMS } from '../platforms.js';
 import { KOTLIN_KEYWORDS, RECLAIMED, SWIFT_KEYWORDS, TOOLKIT_NAMES, } from './names.js';
-/**
- * Why a core prop name is not allowed, or null when it is. A toolkit name is
- * allowed when the component declares it has the same meaning there.
- */
-export function coreNameProblem(name, sameMeaning = false) {
+/** Why a core prop name is not allowed, or null when it is. */
+export function coreNameProblem(name) {
     if (SWIFT_KEYWORDS.has(name)) {
         return `"${name}" is a Swift keyword`;
     }
     if (KOTLIN_KEYWORDS.has(name)) {
         return `"${name}" is a Kotlin keyword`;
     }
-    if (RECLAIMED.has(name) || sameMeaning) {
+    if (RECLAIMED.has(name)) {
         return null;
     }
     for (const [toolkit, names] of Object.entries(TOOLKIT_NAMES)) {
@@ -49,9 +46,8 @@ export function checkContract(contract) {
     const add = (level, rule, message) => issues.push({ level, rule, message: `${contract.name}: ${message}` });
     const referenced = new Set();
     const collect = (props) => Object.values(props).forEach(spec => namedTypesIn(spec.type, referenced));
-    const sameMeaning = new Set(contract.sameMeaning ?? []);
     for (const name of Object.keys(contract.core)) {
-        const problem = coreNameProblem(name, sameMeaning.has(name));
+        const problem = coreNameProblem(name);
         if (problem) {
             add('error', SWIFT_KEYWORDS.has(name) || KOTLIN_KEYWORDS.has(name)
                 ? 'name-keyword'

package/dist/contract/types.d.ts

@@ -16,11 +16,6 @@ export type PropType = {
 } | {
     kind: 'enum';
     values: readonly string[];
-}
-/** A closed set of numbers, such as a heading level or a spacing step. */
- | {
-    kind: 'numberEnum';
-    values: readonly number[];
 } | {
     kind: 'array';
     of: PropType;
@@ -58,7 +53,5 @@ export interface ComponentContract {
     readonly platforms: Readonly<Partial<Record<NativePlatform, PropMap>>>;
     /** Core-doc props that stay in the web contract. */
     readonly webOnly: readonly WebOnlyProp[];
-    /** Core props that share a toolkit name with the same meaning (FR8). */
-    readonly sameMeaning?: readonly string[];
 }
 //# sourceMappingURL=types.d.ts.map

package/dist/contract/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/contract/types.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAC,cAAc,EAAC,MAAM,iBAAiB,CAAC;AAEpD,+EAA+E;AAC/E,MAAM,MAAM,QAAQ,GAChB;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAC,GAChB;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAC,GAChB;IAAC,IAAI,EAAE,SAAS,CAAA;CAAC,GACjB;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAC;AAC3C,0EAA0E;GACxE;IAAC,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAC,GAC/C;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAA;CAAC,GAC7B;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;CAAC,GAC5D;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAC,GACvC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAC,CAAC;AAElC,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEzD,sEAAsE;AACtE,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,WAAW,CAAC;AAEtE,iEAAiE;AACjE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAClD,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACvE,oDAAoD;IACpD,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,wEAAwE;IACxE,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/contract/types.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAC,cAAc,EAAC,MAAM,iBAAiB,CAAC;AAEpD,+EAA+E;AAC/E,MAAM,MAAM,QAAQ,GAChB;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAC,GAChB;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAC,GAChB;IAAC,IAAI,EAAE,SAAS,CAAA;CAAC,GACjB;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAC,GACzC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAA;CAAC,GAC7B;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;CAAC,GAC5D;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAC,GACvC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAC,CAAC;AAElC,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEzD,sEAAsE;AACtE,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,WAAW,CAAC;AAEtE,iEAAiE;AACjE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAClD,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACvE,oDAAoD;IACpD,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;CAC1C"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@astryxdesign/native",
-  "version": "0.7.5-canary.51c62ca",
+  "version": "0.7.5-canary.f2dafed",
   "description": "Experimental native platforms for Astryx (iOS, Android, macOS, Windows) — published to npm only under the @canary dist-tag; never released as a stable (latest) version.",
   "author": "Meta Open Source",
   "license": "MIT",
@@ -64,10 +64,10 @@
     }
   },
   "peerDependencies": {
-    "@astryxdesign/core": "0.7.5-canary.51c62ca"
+    "@astryxdesign/core": "0.7.5-canary.f2dafed"
   },
   "devDependencies": {
-    "@astryxdesign/core": "0.7.5-canary.51c62ca"
+    "@astryxdesign/core": "0.7.5-canary.f2dafed"
   },
   "scripts": {
     "build": "node ../../scripts/clean-dist.mjs && tsc --project tsconfig.build.json && node scripts/generate.mjs --types",

package/src/contract/fromComponentDoc.ts

@@ -17,62 +17,25 @@ import type {
   ComponentContract,
   PropMap,
   PropSpec,
-  PropType,
   WebOnlyProp,
 } from './types.js';
 import type {NativePlatform} from '../platforms.js';
 
-interface DocProp {
-  readonly name: string;
-  readonly type?: unknown;
-  readonly required?: boolean;
-  readonly description?: unknown;
-}
-
-/**
- * The subset of a ComponentDoc this reader needs. A file that documents
- * several components, such as Stack with HStack and VStack, lists them in
- * `components`.
- */
+/** The subset of a ComponentDoc this reader needs. */
 export interface ComponentDocLike {
   readonly name: string;
-  readonly props?: ReadonlyArray<DocProp>;
-  readonly components?: ReadonlyArray<{
+  readonly props?: ReadonlyArray<{
     readonly name: string;
-    readonly props?: ReadonlyArray<DocProp>;
+    readonly type?: unknown;
+    readonly required?: boolean;
+    readonly description?: unknown;
   }>;
 }
 
-/**
- * Typed slots (AST-082 FR4) for documented free-form content. `text` is a
- * string in the core contract, as a badge's label or a heading's words.
- */
-export type SlotKind = 'text';
-
 /** What the native package adds to one core component. */
 export interface NativeAdditions {
   readonly name: string;
   readonly baseTarget: BaseTarget;
-  /**
-   * Where core documents the component when it is not `<Name>/<Name>.doc.mjs`:
-   * `file` relative to core's `src` without `.doc.mjs`, and `component` when
-   * the file documents several components.
-   */
-  readonly doc?: {readonly file: string; readonly component?: string};
-  /** Documented free-form content props, given a typed slot in the core. */
-  readonly slots?: Readonly<Record<string, SlotKind>>;
-  /**
-   * Callbacks whose only documented argument is a DOM event but which name a
-   * moment every platform has, such as a button's press. Their core form
-   * takes no arguments.
-   */
-  readonly callbacks?: readonly string[];
-  /**
-   * Core props whose name a platform toolkit also uses, with the same meaning
-   * (AST-082 FR8 forbids only a different meaning), and why: a button's
-   * `onClick` is a press in Compose too.
-   */
-  readonly sameMeaning?: Readonly<Record<string, string>>;
   /**
    * Portable definitions for named types the documentation references. Fields
    * the web type has that are not portable are left out on purpose.
@@ -88,28 +51,6 @@ export interface NativeAdditions {
   readonly webOnly?: Readonly<Record<string, string>>;
 }
 
-/** The documented props of the component the additions name. */
-function documentedProps(
-  doc: ComponentDocLike,
-  additions: NativeAdditions,
-): ReadonlyArray<DocProp> {
-  const wanted = additions.doc?.component;
-  if (wanted == null) {
-    return doc.props ?? [];
-  }
-  const entry = doc.components?.find(component => component.name === wanted);
-  if (!entry) {
-    throw new Error(
-      `${additions.name}: core documentation "${doc.name}" does not document "${wanted}"`,
-    );
-  }
-  return entry.props ?? [];
-}
-
-const SLOT_TYPES: Readonly<Record<SlotKind, PropType>> = {
-  text: {kind: 'string'},
-};
-
 export function fromComponentDoc(
   doc: ComponentDocLike,
   additions: NativeAdditions,
@@ -117,15 +58,8 @@ export function fromComponentDoc(
   const core: Record<string, PropSpec> = {};
   const webOnly: WebOnlyProp[] = [];
   const types = additions.types ?? {};
-  const describe = (prop: DocProp) =>
-    typeof prop.description === 'string' ? {doc: prop.description} : {};
 
-  for (const prop of documentedProps(doc, additions)) {
-    // `id` and `isHidden` are shared base props on every platform (FR7), so a
-    // documented prop of either name is the base prop, not a core prop.
-    if (prop.name === 'id' || prop.name === 'isHidden') {
-      continue;
-    }
+  for (const prop of doc.props ?? []) {
     const declaredWebOnly = additions.webOnly?.[prop.name];
     if (declaredWebOnly) {
       webOnly.push({name: prop.name, reason: declaredWebOnly});
@@ -142,39 +76,13 @@ export function fromComponentDoc(
       webOnly.push({name: prop.name, reason: 'HTML attribute'});
       continue;
     }
-    const slot = additions.slots?.[prop.name];
-    const slotNameProblem =
-      slot &&
-      coreNameProblem(prop.name, prop.name in (additions.sameMeaning ?? {}));
-    if (slotNameProblem) {
-      webOnly.push({name: prop.name, reason: slotNameProblem});
-      continue;
-    }
-    if (slot) {
-      core[prop.name] = {
-        type: SLOT_TYPES[slot],
-        optional: prop.required !== true,
-        ...describe(prop),
-      };
-      continue;
-    }
-    let parsed = parseDocType(String(prop.type ?? ''));
-    if (
-      !parsed.ok &&
-      parsed.eventOnly === true &&
-      additions.callbacks?.includes(prop.name)
-    ) {
-      parsed = {ok: true, type: {kind: 'fn', args: []}};
-    }
+    const parsed = parseDocType(String(prop.type ?? ''));
     if (!parsed.ok) {
       webOnly.push({name: prop.name, reason: parsed.reason});
       continue;
     }
     // A portable type can still carry a name another platform owns.
-    const nameProblem = coreNameProblem(
-      prop.name,
-      prop.name in (additions.sameMeaning ?? {}),
-    );
+    const nameProblem = coreNameProblem(prop.name);
     if (nameProblem) {
       webOnly.push({name: prop.name, reason: nameProblem});
       continue;
@@ -208,7 +116,7 @@ export function fromComponentDoc(
     core[prop.name] = {
       type,
       optional: prop.required !== true,
-      ...describe(prop),
+      ...(typeof prop.description === 'string' ? {doc: prop.description} : {}),
     };
   }
 
@@ -219,8 +127,5 @@ export function fromComponentDoc(
     core,
     platforms: additions.platforms ?? {},
     webOnly,
-    sameMeaning: Object.keys(additions.sameMeaning ?? {}).filter(
-      name => name in core,
-    ),
   };
 }

package/src/contract/generateSwift.ts

@@ -25,11 +25,6 @@ const pascal = (text: string) =>
 const ident = (name: string) =>
   SWIFT_KEYWORDS.has(name) ? `\`${name}\`` : name;
 
-/** `1` → `v1`, `0.5` → `v0_5`, `-1` → `vMinus1`. */
-function numberCaseName(value: number): string {
-  return `v${String(value).replace('-', 'Minus').replace('.', '_')}`;
-}
-
 function caseName(value: string): string {
   const name = camel(value.replace(/[^A-Za-z0-9_-]/g, '-'));
   return ident(/^[0-9]/.test(name) ? `v${name}` : name || 'empty');
@@ -57,17 +52,6 @@ class SwiftWriter {
         );
         return name;
       }
-      case 'numberEnum': {
-        const name = `${owner}${pascal(prop)}`;
-        const raw = type.values.every(Number.isInteger) ? 'Int' : 'Double';
-        const cases = type.values.map(
-          value => `  case ${numberCaseName(value)} = ${value}`,
-        );
-        this.decls.push(
-          `public enum ${name}: ${raw}, CaseIterable, Sendable {\n${cases.join('\n')}\n}`,
-        );
-        return name;
-      }
       case 'array':
         return `[${this.type(owner, prop, type.of)}]`;
       case 'record': {

package/src/contract/generateTypeScript.ts

@@ -21,8 +21,6 @@ function tsType(type: PropType): string {
       return type.kind;
     case 'enum':
       return type.values.map(value => `'${value}'`).join(' | ');
-    case 'numberEnum':
-      return type.values.join(' | ');
     case 'array': {
       const inner = tsType(type.of);
       return `ReadonlyArray<${inner}>`;

package/src/contract/index.ts

@@ -14,11 +14,7 @@ import {checkContract, type ContractIssue} from './rules.js';
 import type {ComponentContract} from './types.js';
 
 export {fromComponentDoc} from './fromComponentDoc.js';
-export type {
-  ComponentDocLike,
-  NativeAdditions,
-  SlotKind,
-} from './fromComponentDoc.js';
+export type {ComponentDocLike, NativeAdditions} from './fromComponentDoc.js';
 export {generateSwift} from './generateSwift.js';
 export {generateTypeScript} from './generateTypeScript.js';
 export {parseDocType} from './parseDocType.js';
@@ -26,12 +22,8 @@ export {checkContract, coreNameProblem} from './rules.js';
 export type {ContractIssue} from './rules.js';
 export type * from './types.js';
 
-/**
- * Loads one core documentation file: a component name for
- * `<Name>/<Name>.doc.mjs`, or a path such as `Text/Heading` relative to core's
- * `src` without `.doc.mjs`.
- */
-export type ComponentDocLoader = (file: string) => Promise<ComponentDocLike>;
+/** Loads one core component's documentation by component name. */
+export type ComponentDocLoader = (name: string) => Promise<ComponentDocLike>;
 
 export interface BuiltContracts {
   readonly contracts: readonly ComponentContract[];
@@ -46,8 +38,7 @@ export async function buildContracts(
   const warnings: ContractIssue[] = [];
   const errors: ContractIssue[] = [];
   for (const additions of NATIVE_COMPONENTS) {
-    const doc = await loadDoc(additions.doc?.file ?? additions.name);
-    const contract = fromComponentDoc(doc, additions);
+    const contract = fromComponentDoc(await loadDoc(additions.name), additions);
     for (const issue of checkContract(contract)) {
       (issue.level === 'error' ? errors : warnings).push(issue);
     }

package/src/contract/parseDocType.test.ts

@@ -50,48 +50,3 @@ describe('parseDocType', () => {
     }
   });
 });
-
-describe('parseDocType callbacks and closed number sets', () => {
-  it('keeps the values of a value callback and leaves its DOM event on the web', () => {
-    expect(
-      parseDocType(
-        '(checked: boolean, e: ChangeEvent<HTMLInputElement>) => void',
-      ),
-    ).toEqual({ok: true, type: {kind: 'fn', args: [{kind: 'boolean'}]}});
-    expect(
-      parseDocType('(value: string, event: React.ChangeEvent) => void'),
-    ).toEqual({ok: true, type: {kind: 'fn', args: [{kind: 'string'}]}});
-  });
-
-  it.each([
-    '(e: FocusEvent<HTMLInputElement>) => void',
-    '(event: MouseEvent) => void',
-  ])('keeps the event-only callback %s on the web', type => {
-    expect(parseDocType(type)).toEqual({
-      ok: false,
-      reason: 'callback argument: DOM event',
-      eventOnly: true,
-    });
-  });
-
-  it('refuses an event that is not last', () => {
-    const parsed = parseDocType('(e: MouseEvent, value: string) => void');
-    expect(parsed).toMatchObject({
-      ok: false,
-      reason: 'callback argument: DOM event',
-    });
-    expect(parsed).not.toHaveProperty('eventOnly');
-  });
-
-  it('reads a closed set of numbers', () => {
-    expect(parseDocType('1 | 2 | 3')).toEqual({
-      ok: true,
-      type: {kind: 'numberEnum', values: [1, 2, 3]},
-    });
-    expect(parseDocType('0 | 0.5 | 1')).toEqual({
-      ok: true,
-      type: {kind: 'numberEnum', values: [0, 0.5, 1]},
-    });
-    expect(parseDocType("1 | 'auto'").ok).toBe(false);
-  });
-});

package/src/contract/parseDocType.ts

@@ -11,12 +11,7 @@ import type {PropSpec, PropType} from './types.js';
 
 export type ParsedType =
   | {readonly ok: true; readonly type: PropType}
-  | {
-      readonly ok: false;
-      readonly reason: string;
-      /** True for a callback whose only arguments are DOM events. */
-      readonly eventOnly?: boolean;
-    };
+  | {readonly ok: false; readonly reason: string};
 
 /** Web-only types, keyed by name, with the reason each has no native form. */
 const WEB_ONLY_TYPES: Readonly<Record<string, string>> = {
@@ -38,17 +33,8 @@ const WEB_ONLY_TYPES: Readonly<Record<string, string>> = {
   ChangeEvent: 'DOM event',
   DragEvent: 'DOM event',
   ClipboardEvent: 'DOM event',
-  FormEvent: 'DOM event',
-  TouchEvent: 'DOM event',
-  SyntheticEvent: 'DOM event',
 };
 
-/** True for a DOM event type, with or without its element parameter. */
-function isDomEvent(text: string): boolean {
-  const name = /^(?:React\.)?([A-Z]\w*)(?:<[\s\S]*>)?$/.exec(text.trim())?.[1];
-  return name != null && WEB_ONLY_TYPES[name] === 'DOM event';
-}
-
 const ok = (type: PropType): ParsedType => ({ok: true, type});
 const no = (reason: string): ParsedType => ({ok: false, reason});
 
@@ -148,24 +134,10 @@ function parseFunction(text: string): ParsedType | null {
     );
   }
   const params = arrow[0].slice(1, -1).trim();
-  const types = (params ? splitTop(params, ',') : []).map(param => {
-    const match = /^([A-Za-z_$][\w$]*)\??\s*:\s*([\s\S]+)$/.exec(param);
-    return match ? match[2] : param;
-  });
-  // A value callback ends with the DOM event that caused it, as in
-  // `(checked: boolean, e: ChangeEvent) => void`. The values are the portable
-  // callback; the trailing event is the web's part. A callback that carries
-  // only an event stays on the web.
-  let end = types.length;
-  while (end > 0 && isDomEvent(types[end - 1])) {
-    end--;
-  }
-  if (end === 0 && types.length > 0) {
-    return {ok: false, reason: 'callback argument: DOM event', eventOnly: true};
-  }
   const args: PropType[] = [];
-  for (const type of types.slice(0, end)) {
-    const parsed = parseDocType(type);
+  for (const param of params ? splitTop(params, ',') : []) {
+    const match = /^([A-Za-z_$][\w$]*)\??\s*:\s*([\s\S]+)$/.exec(param);
+    const parsed = parseDocType(match ? match[2] : param);
     if (!parsed.ok) {
       return no(`callback argument: ${parsed.reason}`);
     }
@@ -176,9 +148,8 @@ function parseFunction(text: string): ParsedType | null {
 
 /**
  * Parses a documented type string. Supported portable forms: `string`,
- * `number`, `boolean`, closed string or number unions, arrays, plain object
- * literals, callbacks with portable arguments (a trailing DOM event argument
- * is the web's part), and named types. A union of different
+ * `number`, `boolean`, closed string unions, arrays, plain object literals,
+ * callbacks with portable arguments, and named types. A union of different
  * kinds has no Swift or Kotlin form.
  */
 export function parseDocType(raw: string): ParsedType {
@@ -199,9 +170,6 @@ export function parseDocType(raw: string): ParsedType {
     if (members.every(m => /^'[^']*'$/.test(m))) {
       return ok({kind: 'enum', values: members.map(m => m.slice(1, -1))});
     }
-    if (members.every(m => /^-?\d+(?:\.\d+)?$/.test(m))) {
-      return ok({kind: 'numberEnum', values: members.map(Number)});
-    }
     const webOnly = members.find(m => WEB_ONLY_TYPES[m] != null);
     if (webOnly) {
       return no(WEB_ONLY_TYPES[webOnly]);
@@ -219,9 +187,6 @@ export function parseDocType(raw: string): ParsedType {
   if (WEB_ONLY_TYPES[t] != null) {
     return no(WEB_ONLY_TYPES[t]);
   }
-  if (isDomEvent(t)) {
-    return no('DOM event');
-  }
 
   const generic = /^(?:Readonly)?Array<([\s\S]+)>$/.exec(t);
   if (t.endsWith('[]') || generic) {

package/src/contract/rules.ts

@@ -29,21 +29,15 @@ export interface ContractIssue {
   readonly message: string;
 }
 
-/**
- * Why a core prop name is not allowed, or null when it is. A toolkit name is
- * allowed when the component declares it has the same meaning there.
- */
-export function coreNameProblem(
-  name: string,
-  sameMeaning = false,
-): string | null {
+/** Why a core prop name is not allowed, or null when it is. */
+export function coreNameProblem(name: string): string | null {
   if (SWIFT_KEYWORDS.has(name)) {
     return `"${name}" is a Swift keyword`;
   }
   if (KOTLIN_KEYWORDS.has(name)) {
     return `"${name}" is a Kotlin keyword`;
   }
-  if (RECLAIMED.has(name) || sameMeaning) {
+  if (RECLAIMED.has(name)) {
     return null;
   }
   for (const [toolkit, names] of Object.entries(TOOLKIT_NAMES)) {
@@ -79,9 +73,8 @@ export function checkContract(contract: ComponentContract): ContractIssue[] {
   const collect = (props: PropMap) =>
     Object.values(props).forEach(spec => namedTypesIn(spec.type, referenced));
 
-  const sameMeaning = new Set(contract.sameMeaning ?? []);
   for (const name of Object.keys(contract.core)) {
-    const problem = coreNameProblem(name, sameMeaning.has(name));
+    const problem = coreNameProblem(name);
     if (problem) {
       add(
         'error',

package/src/contract/types.ts

@@ -16,8 +16,6 @@ export type PropType =
   | {kind: 'number'}
   | {kind: 'boolean'}
   | {kind: 'enum'; values: readonly string[]}
-  /** A closed set of numbers, such as a heading level or a spacing step. */
-  | {kind: 'numberEnum'; values: readonly number[]}
   | {kind: 'array'; of: PropType}
   | {kind: 'record'; fields: Readonly<Record<string, PropSpec>>}
   | {kind: 'fn'; args: readonly PropType[]}
@@ -51,6 +49,4 @@ export interface ComponentContract {
   readonly platforms: Readonly<Partial<Record<NativePlatform, PropMap>>>;
   /** Core-doc props that stay in the web contract. */
   readonly webOnly: readonly WebOnlyProp[];
-  /** Core props that share a toolkit name with the same meaning (FR8). */
-  readonly sameMeaning?: readonly string[];
 }

package/src/contract/fromComponentDoc.test.ts

@@ -1,97 +0,0 @@
-// Copyright (c) Meta Platforms, Inc. and affiliates.
-
-import {describe, expect, it} from 'vitest';
-import {fromComponentDoc, type ComponentDocLike} from './fromComponentDoc.js';
-import {generateSwift} from './generateSwift.js';
-
-const doc: ComponentDocLike = {
-  name: 'Toggle',
-  props: [
-    {name: 'label', type: 'ReactNode', required: true},
-    {name: 'icon', type: 'ReactNode'},
-    {name: 'level', type: '1 | 2 | 3'},
-    {
-      name: 'onChange',
-      type: '(on: boolean, e: ChangeEvent<HTMLInputElement>) => void',
-    },
-    {name: 'onClick', type: '(e: MouseEvent) => void'},
-    {name: 'onFocus', type: '(e: FocusEvent) => void'},
-    {name: 'onPick', type: '(e: MouseEvent, value: string) => void'},
-  ],
-};
-
-describe('fromComponentDoc', () => {
-  const contract = fromComponentDoc(doc, {
-    name: 'Toggle',
-    baseTarget: 'control',
-    slots: {label: 'text'},
-    callbacks: ['onClick', 'onPick'],
-    sameMeaning: {onClick: 'a press in Compose too'},
-  });
-
-  it('gives declared content a typed text slot and leaves the rest on the web', () => {
-    expect(contract.core.label).toEqual({
-      type: {kind: 'string'},
-      optional: false,
-    });
-    expect(contract.webOnly.map(prop => prop.name)).toContain('icon');
-  });
-
-  it('keeps a value callback and a declared press, and leaves other event callbacks on the web', () => {
-    expect(contract.core.onChange?.type).toEqual({
-      kind: 'fn',
-      args: [{kind: 'boolean'}],
-    });
-    expect(contract.core.onClick?.type).toEqual({kind: 'fn', args: []});
-    expect(contract.webOnly).toContainEqual({
-      name: 'onFocus',
-      reason: 'callback argument: DOM event',
-    });
-    // `callbacks` never drops values: an event before a value stays on the web.
-    expect(contract.core).not.toHaveProperty('onPick');
-    expect(contract.webOnly.map(prop => prop.name)).toContain('onPick');
-  });
-
-  it('refuses a toolkit name unless the component declares the same meaning', () => {
-    const plain = fromComponentDoc(doc, {
-      name: 'Toggle',
-      baseTarget: 'control',
-      callbacks: ['onClick'],
-    });
-    expect(plain.core).not.toHaveProperty('onClick');
-    expect(
-      plain.webOnly.find(prop => prop.name === 'onClick')?.reason,
-    ).toContain('compose');
-  });
-
-  it('writes a closed set of numbers as a Swift enum with raw values', () => {
-    const swift = generateSwift([contract])['Toggle.swift'];
-    expect(swift).toContain(
-      'public enum ToggleLevel: Int, CaseIterable, Sendable {',
-    );
-    expect(swift).toContain('  case v1 = 1');
-  });
-
-  it('reads one component of a file that documents several', () => {
-    const stack: ComponentDocLike = {
-      name: 'Stack',
-      components: [
-        {name: 'Stack', props: [{name: 'gap', type: '0 | 0.5 | 1'}]},
-        {name: 'VStack', props: [{name: 'wrap', type: 'boolean'}]},
-      ],
-    };
-    const vstack = fromComponentDoc(stack, {
-      name: 'VStack',
-      baseTarget: 'container',
-      doc: {file: 'Stack', component: 'VStack'},
-    });
-    expect(Object.keys(vstack.core)).toEqual(['wrap']);
-    expect(() =>
-      fromComponentDoc(stack, {
-        name: 'Missing',
-        baseTarget: 'root',
-        doc: {file: 'Stack', component: 'Missing'},
-      }),
-    ).toThrow('does not document "Missing"');
-  });
-});