@virune/compiler 1.1.0-rc.0

package/dist/src/interop/decision.js

@@ -0,0 +1,96 @@
+const DECISION_STATUSES = ['resolved', 'obligation-pending', 'unresolved'];
+const MECHANISMS = ['direct', 'callable-shim', 'managed', 'host', 'user-adapter', 'unsafe'];
+const AUTHORING_MODES = ['none', 'generated', 'user'];
+const CLAIMS = [
+    'foreign-identity-preserved',
+    'primitive-bridge-validated',
+    'receiver-preserved',
+    'type-boundary-safe',
+];
+const OBLIGATION_KINDS = ['runtime-resolution'];
+const OBLIGATION_STAGES = ['check', 'codegen', 'build', 'runtime'];
+const OBLIGATION_STATUSES = ['pending', 'discharged'];
+const DECISION_KEYS = ['status', 'mechanism', 'authoring', 'claims', 'obligations'];
+const OBLIGATION_KEYS = ['kind', 'stage', 'status'];
+/** Canonicalize provider-independent decision facts without treating JS object identity as a security boundary. */
+export function canonicalizeInteropDecision(decision) {
+    assertExactRecord(decision, DECISION_KEYS, 'Interop decision');
+    assertKnown(DECISION_STATUSES, decision.status, 'decision status');
+    assertKnown(MECHANISMS, decision.mechanism, 'Interop mechanism');
+    assertKnown(AUTHORING_MODES, decision.authoring, 'Interop authoring mode');
+    if (!Array.isArray(decision.claims))
+        throw new Error('Interop decision claims must be an array');
+    if (!Array.isArray(decision.obligations))
+        throw new Error('Interop decision obligations must be an array');
+    const claims = [...new Set(decision.claims.map(claim => {
+            assertKnown(CLAIMS, claim, 'Interop safety claim');
+            return claim;
+        }))].sort(compareText);
+    const obligations = [];
+    for (const obligation of decision.obligations) {
+        assertExactRecord(obligation, OBLIGATION_KEYS, 'Interop obligation');
+        assertKnown(OBLIGATION_KINDS, obligation.kind, 'Interop obligation kind');
+        assertKnown(OBLIGATION_STAGES, obligation.stage, 'Interop obligation stage');
+        assertKnown(OBLIGATION_STATUSES, obligation.status, 'Interop obligation status');
+        const previous = obligations.find(item => item.kind === obligation.kind && item.stage === obligation.stage);
+        if (previous !== undefined) {
+            if (previous.status !== obligation.status)
+                throw new Error(`Conflicting Interop obligation state for ${obligation.kind} at ${obligation.stage}`);
+            continue;
+        }
+        obligations.push(freezeObligation({ kind: obligation.kind, stage: obligation.stage, status: obligation.status }));
+    }
+    obligations.sort((left, right) => compareText(`${left.kind}\0${left.stage}\0${left.status}`, `${right.kind}\0${right.stage}\0${right.status}`));
+    const hasPending = obligations.some(obligation => obligation.status === 'pending');
+    if (decision.status === 'resolved' && hasPending)
+        throw new Error('Resolved Interop decision cannot retain pending obligations');
+    if (decision.status === 'obligation-pending' && !hasPending)
+        throw new Error('obligation-pending Interop decision requires at least one pending obligation');
+    return Object.freeze({
+        status: decision.status,
+        mechanism: decision.mechanism,
+        authoring: decision.authoring,
+        claims: Object.freeze(claims),
+        obligations: Object.freeze(obligations),
+    });
+}
+/** Only fully resolved, non-authored Direct decisions with discharged obligations are success evidence. */
+export function isResolvedDirectInteropDecision(decision) {
+    try {
+        const canonical = canonicalizeInteropDecision(decision);
+        return canonical.status === 'resolved'
+            && canonical.mechanism === 'direct'
+            && canonical.authoring === 'none'
+            && canonical.obligations.every(obligation => obligation.status === 'discharged');
+    }
+    catch {
+        return false;
+    }
+}
+function freezeObligation(obligation) {
+    return Object.freeze(obligation);
+}
+function assertRecord(value, description) {
+    if (value === null || typeof value !== 'object' || Array.isArray(value))
+        throw new Error(`${description} must be a record`);
+}
+function assertExactRecord(value, expected, description) {
+    assertRecord(value, description);
+    const keys = Object.keys(value);
+    for (const key of keys) {
+        if (!expected.includes(key))
+            throw new Error(`Unknown ${description} field: ${key}`);
+    }
+    for (const key of expected) {
+        if (!Object.hasOwn(value, key))
+            throw new Error(`Missing ${description} field: ${key}`);
+    }
+}
+function assertKnown(known, value, description) {
+    if (!known.includes(value))
+        throw new Error(`Unknown ${description}: ${String(value)}`);
+}
+function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+//# sourceMappingURL=decision.js.map

package/dist/src/interop/decision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision.js","sourceRoot":"","sources":["../../../src/interop/decision.ts"],"names":[],"mappings":"AA0BA,MAAM,iBAAiB,GAAqC,CAAC,UAAU,EAAE,oBAAoB,EAAE,YAAY,CAAC,CAAC;AAC7G,MAAM,UAAU,GAAgC,CAAC,QAAQ,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;AACzH,MAAM,eAAe,GAAgC,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;AACnF,MAAM,MAAM,GAAkC;IAC7C,4BAA4B;IAC5B,4BAA4B;IAC5B,oBAAoB;IACpB,oBAAoB;CACpB,CAAC;AACF,MAAM,gBAAgB,GAAqC,CAAC,oBAAoB,CAAC,CAAC;AAClF,MAAM,iBAAiB,GAAsC,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;AACtG,MAAM,mBAAmB,GAAuC,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;AAC1F,MAAM,aAAa,GAAG,CAAC,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,CAAU,CAAC;AAC7F,MAAM,eAAe,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAU,CAAC;AAE7D,mHAAmH;AACnH,MAAM,UAAU,2BAA2B,CAAC,QAA2B;IACtE,iBAAiB,CAAC,QAAQ,EAAE,aAAa,EAAE,kBAAkB,CAAC,CAAC;IAC/D,WAAW,CAAC,iBAAiB,EAAE,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACnE,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IACjE,WAAW,CAAC,eAAe,EAAE,QAAQ,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAC;IAC3E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IACjG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IAE3G,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;YACtD,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,sBAAsB,CAAC,CAAC;YACnD,OAAO,KAAK,CAAC;QACd,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACvB,MAAM,WAAW,GAA0B,EAAE,CAAC;IAC9C,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC/C,iBAAiB,CAAC,UAAU,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC;QACrE,WAAW,CAAC,gBAAgB,EAAE,UAAU,CAAC,IAAI,EAAE,yBAAyB,CAAC,CAAC;QAC1E,WAAW,CAAC,iBAAiB,EAAE,UAAU,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;QAC7E,WAAW,CAAC,mBAAmB,EAAE,UAAU,CAAC,MAAM,EAAE,2BAA2B,CAAC,CAAC;QACjF,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC;QAC5G,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,UAAU,CAAC,IAAI,OAAO,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;YACjJ,SAAS;QACV,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnH,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAEhJ,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IACnF,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,IAAI,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IACjI,IAAI,QAAQ,CAAC,MAAM,KAAK,oBAAoB,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAC;IAE7J,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAC7B,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;KACvC,CAAC,CAAC;AACJ,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,+BAA+B,CAAC,QAA2B;IAC1E,IAAI,CAAC;QACJ,MAAM,SAAS,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;QACxD,OAAO,SAAS,CAAC,MAAM,KAAK,UAAU;eAClC,SAAS,CAAC,SAAS,KAAK,QAAQ;eAChC,SAAS,CAAC,SAAS,KAAK,MAAM;eAC9B,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC;IACnF,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,KAAK,CAAC;IACd,CAAC;AACF,CAAC;AAED,SAAS,gBAAgB,CAAC,UAA+B;IACxD,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,WAAmB;IACxD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,WAAW,mBAAmB,CAAC,CAAC;AAC7H,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc,EAAE,QAA2B,EAAE,WAAmB;IAC1F,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,WAAW,WAAW,WAAW,GAAG,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,WAAW,WAAW,WAAW,GAAG,EAAE,CAAC,CAAC;IACzF,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAmB,KAAmB,EAAE,KAAc,EAAE,WAAmB;IAC9F,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAU,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,WAAW,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC/C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC"}

package/dist/src/interop/frontend-component-emission.d.ts

@@ -0,0 +1,17 @@
+import type * as A from '../ast/nodes.js';
+import type { SemanticModel } from '../checker/checker.js';
+import type { DiagnosticBag } from '../diagnostics/diagnostic.js';
+import type { TypeId } from '../source.js';
+export type FrontendHostPrimitiveName = 'Bool' | 'Int' | 'Float' | 'BigInt' | 'String';
+export declare function frontendHostPrimitiveName(typeId: TypeId, semantic: SemanticModel): FrontendHostPrimitiveName | undefined;
+export declare function frontendScalarRecordFields(typeId: TypeId, semantic: SemanticModel, directTypeName?: string): readonly {
+    readonly name: string;
+    readonly primitive: FrontendHostPrimitiveName;
+}[] | undefined;
+/**
+ * Keep host-facing component values within the frontend boundary currently
+ * supported by preserved JSX emission. This check is shared by single-file and
+ * Project Build paths so one path cannot silently accept a wider boundary.
+ */
+export declare function validateFrontendComponentEmissionBoundary(module: A.ModuleNode, semantic: SemanticModel, diagnostics: DiagnosticBag): void;
+//# sourceMappingURL=frontend-component-emission.d.ts.map

package/dist/src/interop/frontend-component-emission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"frontend-component-emission.d.ts","sourceRoot":"","sources":["../../../src/interop/frontend-component-emission.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,CAAC,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,KAAK,EAAc,MAAM,EAAE,MAAM,cAAc,CAAC;AAEvD,MAAM,MAAM,yBAAyB,GAAG,MAAM,GAAG,KAAK,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAiBvF,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,GAAG,yBAAyB,GAAG,SAAS,CAUxH;AAED,wBAAgB,0BAA0B,CACzC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,aAAa,EACvB,cAAc,CAAC,EAAE,MAAM,GACrB,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,yBAAyB,CAAA;CAAE,EAAE,GAAG,SAAS,CAyBjG;AAgJD;;;;GAIG;AACH,wBAAgB,yCAAyC,CACxD,MAAM,EAAE,CAAC,CAAC,UAAU,EACpB,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,aAAa,GACxB,IAAI,CAkBN"}

package/dist/src/interop/frontend-component-emission.js

@@ -0,0 +1,271 @@
+function directFrontendHostPrimitiveName(typeId, semantic) {
+    const type = semantic.arena.get(typeId);
+    if (type.kind !== 'primitive')
+        return undefined;
+    switch (type.name) {
+        case 'Bool':
+        case 'Int':
+        case 'Float':
+        case 'BigInt':
+        case 'String':
+            return type.name;
+        default:
+            return undefined;
+    }
+}
+export function frontendHostPrimitiveName(typeId, semantic) {
+    const direct = directFrontendHostPrimitiveName(typeId, semantic);
+    if (direct !== undefined)
+        return direct;
+    const type = semantic.arena.get(typeId);
+    if (type.kind !== 'named' || type.declarationKind !== 'newtype' || type.underlying === undefined || type.mustUse === true)
+        return undefined;
+    const symbol = semantic.globalScope.lookup(type.name);
+    if (symbol?.kind !== 'type' || symbol.declaration?.kind !== 'NewtypeDeclaration')
+        return undefined;
+    const declaration = symbol.declaration;
+    const primitive = directFrontendHostPrimitiveName(type.underlying, semantic);
+    return primitive !== undefined && declaration.underlying.name === primitive ? primitive : undefined;
+}
+export function frontendScalarRecordFields(typeId, semantic, directTypeName) {
+    const type = semantic.arena.get(typeId);
+    if (type.kind !== 'named' || type.declarationKind !== 'record' || type.fields === undefined || type.mustUse === true)
+        return undefined;
+    if (directTypeName !== undefined && directTypeName !== type.name)
+        return undefined;
+    const symbol = semantic.globalScope.lookup(type.name);
+    if (symbol?.kind !== 'type' || symbol.declaration?.kind !== 'RecordDeclaration')
+        return undefined;
+    const declaration = symbol.declaration;
+    if (declaration.typeParameters.length > 0 || declaration.attributes.length > 0 || declaration.fields.some(field => field.attributes.length > 0))
+        return undefined;
+    if (type.fields.size !== declaration.fields.length)
+        return undefined;
+    const fields = [];
+    for (const field of declaration.fields) {
+        const fieldType = type.fields.get(field.name);
+        if (fieldType === undefined)
+            return undefined;
+        const resolvedFieldType = semantic.arena.get(fieldType);
+        const directFieldTypeName = resolvedFieldType.kind === 'primitive'
+            ? resolvedFieldType.name
+            : resolvedFieldType.kind === 'named' && resolvedFieldType.declarationKind === 'newtype'
+                ? resolvedFieldType.name
+                : undefined;
+        if (directFieldTypeName === undefined || field.type.name !== directFieldTypeName)
+            return undefined;
+        const primitive = frontendHostPrimitiveName(fieldType, semantic);
+        if (primitive === undefined)
+            return undefined;
+        fields.push({ name: field.name, primitive });
+    }
+    return fields;
+}
+function hostDeferredCaptureTypeIsSafe(typeId, semantic) {
+    if (frontendHostPrimitiveName(typeId, semantic) !== undefined || frontendScalarRecordFields(typeId, semantic) !== undefined)
+        return true;
+    const type = semantic.arena.get(typeId);
+    if (type.kind === 'foreign')
+        return type.snapshot.mustUse !== true && type.snapshot.category !== 'unknown' && type.snapshot.category !== 'any';
+    return type.kind === 'list' && hostDeferredCaptureTypeIsSafe(type.element, semantic);
+}
+function hostDeferredCaptureSymbolIsSafe(symbolId, semantic) {
+    const symbol = semantic.symbols.get(symbolId);
+    if (symbol === undefined)
+        return false;
+    const type = semantic.arena.get(symbol.typeId);
+    if (symbol.mutable)
+        return false;
+    if (symbol.kind === 'import')
+        return hostDeferredCaptureTypeIsSafe(symbol.typeId, semantic);
+    if (symbol.kind === 'builtin' || symbol.kind === 'type')
+        return true;
+    if (type.kind === 'function')
+        return false;
+    return hostDeferredCaptureTypeIsSafe(symbol.typeId, semantic);
+}
+function unsafeHostDeferredSymbolCapture(symbolId, name, span, semantic) {
+    if (hostDeferredCaptureSymbolIsSafe(symbolId, semantic))
+        return undefined;
+    const symbol = semantic.symbols.get(symbolId);
+    return {
+        kind: 'symbol',
+        name: symbol?.name ?? name,
+        type: symbol === undefined ? '<unresolved>' : semantic.arena.display(symbol.typeId),
+        mutable: symbol?.mutable === true,
+        span,
+    };
+}
+function unsafeHostDeferredItemTransport(symbolId, name, span, semantic) {
+    const symbol = semantic.symbols.get(symbolId);
+    if (symbol !== undefined && hostDeferredCaptureTypeIsSafe(symbol.typeId, semantic))
+        return undefined;
+    return {
+        kind: 'transport',
+        name: symbol?.name ?? name,
+        type: symbol === undefined ? '<unresolved>' : semantic.arena.display(symbol.typeId),
+        span,
+    };
+}
+function hostDeferredLambdaLocalSymbols(lambda, semantic, inherited) {
+    const declarations = new Set();
+    const collect = (value) => {
+        if (Array.isArray(value)) {
+            for (const item of value)
+                collect(item);
+            return;
+        }
+        if (value === null || typeof value !== 'object')
+            return;
+        declarations.add(value);
+        for (const [key, child] of Object.entries(value)) {
+            if (key === 'span' || key === 'checkedEvidence')
+                continue;
+            collect(child);
+        }
+    };
+    collect(lambda);
+    const result = new Set(inherited);
+    for (const [symbolId, symbol] of semantic.symbols) {
+        if (symbol.declaration !== undefined && declarations.has(symbol.declaration))
+            result.add(symbolId);
+    }
+    return result;
+}
+function findUnsafeHostDeferredCapture(root, value, semantic, localSymbols) {
+    if (Array.isArray(value)) {
+        for (const item of value) {
+            const found = findUnsafeHostDeferredCapture(root, item, semantic, localSymbols);
+            if (found !== undefined)
+                return found;
+        }
+        return undefined;
+    }
+    if (value === null || typeof value !== 'object')
+        return undefined;
+    const node = value;
+    if (value !== root && node.kind === 'ViewRepetition' && node.identity !== undefined)
+        return undefined;
+    const scopedLocalSymbols = node.kind === 'LambdaExpression'
+        ? hostDeferredLambdaLocalSymbols(value, semantic, localSymbols)
+        : localSymbols;
+    if (node.kind === 'LiteralExpression' && node.literalKind === 'String' && typeof node.value === 'string' && /(?<!\{)\{[A-Za-z_][A-Za-z0-9_]*(?:\.[A-Za-z_][A-Za-z0-9_]*)*\}(?!\})/u.test(node.value)) {
+        return { kind: 'interpolation', span: node.span };
+    }
+    if (node.kind === 'IdentifierExpression' && typeof node.symbolId === 'number' && !scopedLocalSymbols.has(node.symbolId)) {
+        const capture = unsafeHostDeferredSymbolCapture(node.symbolId, typeof node.name === 'string' ? node.name : '<unresolved>', node.span, semantic);
+        if (capture !== undefined)
+            return capture;
+    }
+    for (const [key, child] of Object.entries(node)) {
+        if (key === 'span' || key === 'checkedEvidence')
+            continue;
+        const found = findUnsafeHostDeferredCapture(root, child, semantic, scopedLocalSymbols);
+        if (found !== undefined)
+            return found;
+    }
+    return undefined;
+}
+function reportUnsafeHostDeferredCapture(capture, diagnostics) {
+    if (capture?.kind === 'interpolation') {
+        diagnostics.error('L4309', 'Host-deferred View repetition cannot use string interpolation because interpolation captures are not symbol-bound at this boundary; use an explicit View expression instead', capture.span);
+    }
+    else if (capture?.kind === 'transport') {
+        diagnostics.error('L4309', `Host-deferred View repetition Host snapshot cannot transport ${capture.name} of type ${capture.type}; use a frontend-safe value or a current resolved non-mustUse External value`, capture.span);
+    }
+    else if (capture !== undefined) {
+        const detail = capture.mutable ? `mutable value ${capture.name}` : `${capture.name} of type ${capture.type}`;
+        diagnostics.error('L4309', `Host-deferred View repetition cannot capture ${detail}; use an immutable frontend-safe value or a current resolved non-mustUse External value`, capture.span);
+    }
+}
+function validateHostDeferredViewRepetitions(value, semantic, diagnostics) {
+    if (Array.isArray(value)) {
+        for (const item of value)
+            validateHostDeferredViewRepetitions(item, semantic, diagnostics);
+        return;
+    }
+    if (value === null || typeof value !== 'object')
+        return;
+    const node = value;
+    if (node.kind === 'ViewRepetition' && node.identity !== undefined) {
+        const repetition = node;
+        const localSymbols = new Set();
+        const itemSymbolId = repetition.checkedEvidence?.itemSymbolId;
+        if (itemSymbolId !== undefined)
+            localSymbols.add(itemSymbolId);
+        if (repetition.checkedEvidence?.indexSymbolId !== undefined)
+            localSymbols.add(repetition.checkedEvidence.indexSymbolId);
+        const capture = findUnsafeHostDeferredCapture(repetition, repetition.source, semantic, new Set())
+            ?? (itemSymbolId === undefined ? undefined : unsafeHostDeferredItemTransport(itemSymbolId, repetition.itemName, repetition.span, semantic))
+            ?? findUnsafeHostDeferredCapture(repetition, repetition.identity, semantic, localSymbols)
+            ?? findUnsafeHostDeferredCapture(repetition, repetition.body, semantic, localSymbols);
+        reportUnsafeHostDeferredCapture(capture, diagnostics);
+    }
+    for (const [key, child] of Object.entries(node)) {
+        if (key === 'span' || key === 'checkedEvidence')
+            continue;
+        validateHostDeferredViewRepetitions(child, semantic, diagnostics);
+    }
+}
+/**
+ * Keep host-facing component values within the frontend boundary currently
+ * supported by preserved JSX emission. This check is shared by single-file and
+ * Project Build paths so one path cannot silently accept a wider boundary.
+ */
+export function validateFrontendComponentEmissionBoundary(module, semantic, diagnostics) {
+    for (const declaration of module.declarations) {
+        if (declaration.kind !== 'ComponentDeclaration')
+            continue;
+        const parameterNames = new Set(declaration.parameters.map(parameter => parameter.name));
+        for (const parameter of declaration.parameters) {
+            const symbol = parameter.symbolId === undefined ? undefined : semantic.symbols.get(parameter.symbolId);
+            if (symbol !== undefined && (frontendHostPrimitiveName(symbol.typeId, semantic) !== undefined || frontendScalarRecordFields(symbol.typeId, semantic, parameter.type.name) !== undefined))
+                continue;
+            const display = symbol === undefined ? '<unresolved>' : semantic.arena.display(symbol.typeId);
+            diagnostics.error('L4309', `Component parameter ${parameter.name} has type ${display}; frontend JSX emission currently supports Bool, Int, Float, BigInt, String, direct non-mustUse source newtypes backed by those primitives, and non-generic unattributed source records containing only those scalar fields`, parameter.span);
+        }
+        const interpolation = findUnsupportedComponentInterpolation(declaration.body, parameterNames);
+        if (interpolation?.kind === 'view-text') {
+            diagnostics.error('L4309', 'Interpolated View text children are not available in frontend JSX emission; use an explicit View expression child instead', interpolation.span);
+        }
+        else if (interpolation !== undefined) {
+            diagnostics.error('L4309', `Component parameter ${interpolation.name} cannot be referenced directly through string interpolation because component parameters remain host-backed at each use site; bind it to an explicit local value first`, interpolation.span);
+        }
+        validateHostDeferredViewRepetitions(declaration.body, semantic, diagnostics);
+    }
+}
+function findUnsupportedComponentInterpolation(value, parameterNames) {
+    if (Array.isArray(value)) {
+        for (const item of value) {
+            const found = findUnsupportedComponentInterpolation(item, parameterNames);
+            if (found !== undefined)
+                return found;
+        }
+        return undefined;
+    }
+    if (value === null || typeof value !== 'object')
+        return undefined;
+    const node = value;
+    if (node.kind === 'ViewTextChild' && typeof node.value === 'string' && /(?<!\{)\{[A-Za-z_][A-Za-z0-9_]*(?:\.[A-Za-z_][A-Za-z0-9_]*)*\}(?!\})/u.test(node.value)) {
+        return { kind: 'view-text', span: node.span };
+    }
+    if (node.kind === 'LiteralExpression' && node.literalKind === 'String' && typeof node.value === 'string') {
+        for (const match of node.value.matchAll(/(?<!\{)\{([A-Za-z_][A-Za-z0-9_]*(?:\.[A-Za-z_][A-Za-z0-9_]*)*)\}(?!\})/gu)) {
+            const path = match[1];
+            if (path === undefined)
+                continue;
+            const name = path.split('.')[0];
+            if (parameterNames.has(name))
+                return { kind: 'host-parameter', name, span: node.span };
+        }
+    }
+    for (const [key, child] of Object.entries(node)) {
+        if (key === 'span')
+            continue;
+        const found = findUnsupportedComponentInterpolation(child, parameterNames);
+        if (found !== undefined)
+            return found;
+    }
+    return undefined;
+}
+//# sourceMappingURL=frontend-component-emission.js.map

package/dist/src/interop/frontend-component-emission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"frontend-component-emission.js","sourceRoot":"","sources":["../../../src/interop/frontend-component-emission.ts"],"names":[],"mappings":"AAOA,SAAS,+BAA+B,CAAC,MAAc,EAAE,QAAuB;IAC/E,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAChD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACZ,OAAO,IAAI,CAAC,IAAI,CAAC;QAClB;YACC,OAAO,SAAS,CAAC;IACnB,CAAC;AACF,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,MAAc,EAAE,QAAuB;IAChF,MAAM,MAAM,GAAG,+BAA+B,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACjE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5I,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,MAAM,EAAE,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,WAAW,EAAE,IAAI,KAAK,oBAAoB;QAAE,OAAO,SAAS,CAAC;IACnG,MAAM,WAAW,GAAG,MAAM,CAAC,WAAmC,CAAC;IAC/D,MAAM,SAAS,GAAG,+BAA+B,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC7E,OAAO,SAAS,KAAK,SAAS,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AACrG,CAAC;AAED,MAAM,UAAU,0BAA0B,CACzC,MAAc,EACd,QAAuB,EACvB,cAAuB;IAEvB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,eAAe,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACvI,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IACnF,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,MAAM,EAAE,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,WAAW,EAAE,IAAI,KAAK,mBAAmB;QAAE,OAAO,SAAS,CAAC;IAClG,MAAM,WAAW,GAAG,MAAM,CAAC,WAAkC,CAAC;IAC9D,IAAI,WAAW,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAClK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACrE,MAAM,MAAM,GAA6D,EAAE,CAAC;IAC5E,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC9C,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxD,MAAM,mBAAmB,GAAG,iBAAiB,CAAC,IAAI,KAAK,WAAW;YACjE,CAAC,CAAC,iBAAiB,CAAC,IAAI;YACxB,CAAC,CAAC,iBAAiB,CAAC,IAAI,KAAK,OAAO,IAAI,iBAAiB,CAAC,eAAe,KAAK,SAAS;gBACtF,CAAC,CAAC,iBAAiB,CAAC,IAAI;gBACxB,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,mBAAmB,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;YAAE,OAAO,SAAS,CAAC;QACnG,MAAM,SAAS,GAAG,yBAAyB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACjE,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,6BAA6B,CAAC,MAAc,EAAE,QAAuB;IAC7E,IAAI,yBAAyB,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,SAAS,IAAI,0BAA0B,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzI,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;IAC/I,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,6BAA6B,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,+BAA+B,CAAC,QAAgB,EAAE,QAAuB;IACjF,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/C,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IACjC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,6BAA6B,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5F,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC;IAC3C,OAAO,6BAA6B,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC/D,CAAC;AAOD,SAAS,+BAA+B,CAAC,QAAgB,EAAE,IAAY,EAAE,IAAgB,EAAE,QAAuB;IACjH,IAAI,+BAA+B,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1E,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9C,OAAO;QACN,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,MAAM,EAAE,IAAI,IAAI,IAAI;QAC1B,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QACnF,OAAO,EAAE,MAAM,EAAE,OAAO,KAAK,IAAI;QACjC,IAAI;KACJ,CAAC;AACH,CAAC;AAED,SAAS,+BAA+B,CAAC,QAAgB,EAAE,IAAY,EAAE,IAAgB,EAAE,QAAuB;IACjH,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,MAAM,KAAK,SAAS,IAAI,6BAA6B,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACrG,OAAO;QACN,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,MAAM,EAAE,IAAI,IAAI,IAAI;QAC1B,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QACnF,IAAI;KACJ,CAAC;AACH,CAAC;AAED,SAAS,8BAA8B,CACtC,MAA0B,EAC1B,QAAuB,EACvB,SAA8B;IAE9B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,OAAO,GAAG,CAAC,KAAc,EAAQ,EAAE;QACxC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YACxC,OAAO;QACR,CAAC;QACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO;QACxD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;YAC7E,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,iBAAiB;gBAAE,SAAS;YAC1D,OAAO,CAAC,KAAK,CAAC,CAAC;QAChB,CAAC;IACF,CAAC,CAAC;IACF,OAAO,CAAC,MAAM,CAAC,CAAC;IAChB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IAClC,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACnD,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpG,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,6BAA6B,CACrC,IAAsB,EACtB,KAAc,EACd,QAAuB,EACvB,YAAiC;IAEjC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;YAChF,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;QACvC,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,IAAI,GAAG,KAAgC,CAAC;IAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtG,MAAM,kBAAkB,GAAG,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAC1D,CAAC,CAAC,8BAA8B,CAAC,KAA2B,EAAE,QAAQ,EAAE,YAAY,CAAC;QACrF,CAAC,CAAC,YAAY,CAAC;IAChB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,uEAAuE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtM,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,CAAC,IAAkB,EAAE,CAAC;IACjE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzH,MAAM,OAAO,GAAG,+BAA+B,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,EAAE,IAAI,CAAC,IAAkB,EAAE,QAAQ,CAAC,CAAC;QAC9J,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;IAC3C,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,iBAAiB;YAAE,SAAS;QAC1D,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC;QACvF,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;IACvC,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,SAAS,+BAA+B,CAAC,OAA8C,EAAE,WAA0B;IAClH,IAAI,OAAO,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,6KAA6K,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACzN,CAAC;SAAM,IAAI,OAAO,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;QAC1C,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,gEAAgE,OAAO,CAAC,IAAI,YAAY,OAAO,CAAC,IAAI,8EAA8E,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9N,CAAC;SAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,YAAY,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7G,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,gDAAgD,MAAM,yFAAyF,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3L,CAAC;AACF,CAAC;AAED,SAAS,mCAAmC,CAAC,KAAc,EAAE,QAAuB,EAAE,WAA0B;IAC/G,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,mCAAmC,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC3F,OAAO;IACR,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACxD,MAAM,IAAI,GAAG,KAAgC,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnE,MAAM,UAAU,GAAG,IAAmC,CAAC;QACvD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QACvC,MAAM,YAAY,GAAG,UAAU,CAAC,eAAe,EAAE,YAAY,CAAC;QAC9D,IAAI,YAAY,KAAK,SAAS;YAAE,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC/D,IAAI,UAAU,CAAC,eAAe,EAAE,aAAa,KAAK,SAAS;YAAE,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC;QACxH,MAAM,OAAO,GAAG,6BAA6B,CAAC,UAAU,EAAE,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC;eAC7F,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,+BAA+B,CAAC,YAAY,EAAE,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;eACxI,6BAA6B,CAAC,UAAU,EAAE,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,YAAY,CAAC;eACtF,6BAA6B,CAAC,UAAU,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;QACvF,+BAA+B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,iBAAiB;YAAE,SAAS;QAC1D,mCAAmC,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IACnE,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yCAAyC,CACxD,MAAoB,EACpB,QAAuB,EACvB,WAA0B;IAE1B,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QAC/C,IAAI,WAAW,CAAC,IAAI,KAAK,sBAAsB;YAAE,SAAS;QAC1D,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QACxF,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAChD,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACvG,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,SAAS,IAAI,0BAA0B,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;gBAAE,SAAS;YACnM,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC9F,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,uBAAuB,SAAS,CAAC,IAAI,aAAa,OAAO,6NAA6N,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;QACpU,CAAC;QACD,MAAM,aAAa,GAAG,qCAAqC,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAC9F,IAAI,aAAa,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;YACzC,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,2HAA2H,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7K,CAAC;aAAM,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YACxC,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,uBAAuB,aAAa,CAAC,IAAI,wKAAwK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;QACnQ,CAAC;QACD,mCAAmC,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC9E,CAAC;AACF,CAAC;AAED,SAAS,qCAAqC,CAC7C,KAAc,EACd,cAAmC;IAEnC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,qCAAqC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;YAC1E,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;QACvC,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,IAAI,GAAG,KAAgC,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,uEAAuE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACjK,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAkB,EAAE,CAAC;IAC7D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC1G,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,0EAA0E,CAAC,EAAE,CAAC;YACrH,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YACjC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;YACjC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAkB,EAAE,CAAC;QACtG,CAAC;IACF,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,GAAG,KAAK,MAAM;YAAE,SAAS;QAC7B,MAAM,KAAK,GAAG,qCAAqC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAC3E,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;IACvC,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC"}

package/dist/src/interop/jsx-view-validation.d.ts

@@ -0,0 +1,20 @@
+import type * as A from '../ast/nodes.js';
+import type { SemanticModel } from '../checker/checker.js';
+import type { JsInteropProvider } from './types.js';
+interface FrontendJsxValidationOptions {
+    readonly containingFile: string;
+    readonly platform: 'node' | 'browser' | 'neutral';
+    readonly jsInteropProvider?: JsInteropProvider;
+    readonly repetitionHost?: {
+        readonly moduleSpecifier: string;
+        readonly exportName: string;
+    };
+}
+/**
+ * Validate checked View structure against the project's real TypeScript JSX
+ * environment. This pass produces proof-only TSX and does not define emission
+ * or native component transport semantics.
+ */
+export declare function validateFrontendJsxUsage(module: A.ModuleNode, semantic: SemanticModel, options: FrontendJsxValidationOptions): void;
+export {};
+//# sourceMappingURL=jsx-view-validation.d.ts.map

package/dist/src/interop/jsx-view-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-view-validation.d.ts","sourceRoot":"","sources":["../../../src/interop/jsx-view-validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,CAAC,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAIpD,UAAU,4BAA4B;IACrC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IAC/C,QAAQ,CAAC,cAAc,CAAC,EAAE;QACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;QACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;KAC5B,CAAC;CACF;AAsBD;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,4BAA4B,GAAG,IAAI,CAgEnI"}