@tinkerlandai/indiana-iam 0.5.0 → 0.7.0

package/src/analyze.mjs

@@ -16,6 +16,8 @@ import { dependency } from "./dependencies.mjs";
 import { assembleRouteTree, readVariables } from "./route-tree.mjs";
 import { sourceEntry } from "./source-entry.mjs";
 import { frameworkRoutes, externalImport } from "./framework-routes.mjs";
+import { reactNativeRoutes, nativeModuleCandidates } from "./react-native-routes.mjs";
+import { nativeExpression, nativePrimitive } from "./react-native-projection.mjs";
 import { sourceResolution } from "./source-resolution.mjs";
 import { routeIndexDigest, refreshRenderHashes, flattenComposition } from "./render-index.mjs";
 import { storeDocumentNodes } from "./node-hashes.mjs";
@@ -200,7 +202,12 @@ export async function analyze({
   navigationPaths = [],
   entry,
   automaticAnchors = false,
+  platform = "web",
+  routerRoot,
 }) {
+  if (!["web", "ios", "android"].includes(platform)) throw Error("Unsupported IAM platform");
+  const nativePlatform = platform !== "web";
+  if (!nativePlatform && routerRoot !== undefined) throw Error("routerRoot is only supported for native Expo projects");
   root = await fs.realpath(root);
   const files = await sourceFiles(root, { maxFiles });
   const modules = new Map(),
@@ -266,7 +273,7 @@ export async function analyze({
       file,
       text,
       source,
-      anchors: automaticAnchors && !mdx ? automaticSourceAnchors(file, source) : new Map(),
+      anchors: automaticAnchors && !nativePlatform && !mdx ? automaticSourceAnchors(file, source) : new Map(),
       mdx,
       originalSource: mdx ? ts.createSourceFile(file, originalText, ts.ScriptTarget.Latest, false) : source,
       bindings: new Map(),
@@ -338,6 +345,15 @@ export async function analyze({
           module.exports.set(e.name.text,local);if(e.name.text==='default')module.defaultName=local;
         }
     }
+    if (/^(?:src\/)?pages\//.test(file)) {
+      for (const statement of source.statements) {
+        const assignment = ts.isExpressionStatement(statement) && unwrap(statement.expression);
+        if (assignment && ts.isBinaryExpression(assignment) && assignment.operatorToken.kind === ts.SyntaxKind.EqualsToken && ts.isPropertyAccessExpression(assignment.left) && assignment.left.name.text === 'getLayout' && ts.isIdentifier(assignment.left.expression) && assignment.left.expression.text === module.defaultName) {
+          const fn = functionFrom(assignment.right);
+          if (fn && fn.parameters.length === 1 && ts.isIdentifier(fn.parameters[0].name) && !fn.modifiers?.some(m => m.kind === ts.SyntaxKind.AsyncKeyword)) module.bindings.set('$pageLayout', fn);
+        }
+      }
+    }
     modules.set(file, module);
   }
   const alias = await sourceAliases(root,ts);
@@ -360,7 +376,7 @@ export async function analyze({
       }
     if (!relative || relative.startsWith("../")) return null;
     return (
-      [
+      (nativePlatform ? nativeModuleCandidates(relative, platform) : [
         relative,
         ...[
           ".tsx",
@@ -374,7 +390,7 @@ export async function analyze({
           "/index.ts",
           "/index.jsx",
         ].map((ext) => relative + ext),
-      ]
+      ])
         .map((p) => modules.get(p))
         .find(Boolean) || null
     );
@@ -391,7 +407,7 @@ export async function analyze({
   }
   function sourceContextCall(node,module,ctx){
     const imported=externalImport(module,node.expression.getText(module.source));
-    if(imported?.specifier==='react-i18next'&&imported.name==='useTranslation')return {t:translationHook(node,module,ctx)};
+    if(['react-i18next','next-i18next'].includes(imported?.specifier)&&imported.name==='useTranslation')return {t:translationHook(node,module,ctx)};
     if(imported?.specifier==='react'&&imported.name==='useContext'&&ts.isIdentifier(node.arguments[0]))return ctx.__iamContexts?.get(contextKey(module,node.arguments[0].text))??UNKNOWN;
     const ref=ts.isIdentifier(node.expression)&&binding(module,node.expression.text),fn=ref&&functionFrom(ref.node);
     if(!fn?.body||!ts.isBlock(fn.body))return UNKNOWN;
@@ -411,6 +427,15 @@ export async function analyze({
   }
   let i18nextPreview;
   function translationHook(node,module,ctx){
+    if(externalImport(module,node.expression.getText(module.source))?.specifier==='next-i18next') {
+      const config=[...modules.values()].find(m=>/^next-i18next\.config\.[cm]?[jt]s$/.test(m.file));
+      const statement=config?.source.statements.find(s=>ts.isExpressionStatement(s)&&ts.isBinaryExpression(s.expression)&&s.expression.left.getText(config.source)==='module.exports');
+      const options=statement&&evalExpression(statement.expression.right,config,{}),language=options?.i18n?.defaultLocale;
+      const namespace=node.arguments[0]?evalExpression(node.arguments[0],module,ctx):options?.defaultNS??'common';
+      const catalog=typeof language==='string'&&typeof namespace==='string'?jsonResources.get('public/locales/'+language+'/'+namespace+'.json'):null;
+      if(catalog&&typeof catalog==='object') {translationResources.add(catalog);gap('UI_LOCALE_FALLBACK_PREVIEW',config.file,'Read-only preview uses source defaultLocale '+language+'; request locale and remote translations are unobserved.');return {[TRANSLATION]:catalog};}
+      return UNKNOWN;
+    }
     i18nextPreview??=sourceI18next({ts,modules,binding,imported:externalImport,jsonResource})??false;
     if(!i18nextPreview)return UNKNOWN;
     const namespace=node.arguments[0]?evalExpression(node.arguments[0],module,ctx):i18nextPreview.namespace;
@@ -426,6 +451,10 @@ export async function analyze({
     if(seen.has(module.file+'#'+tag)||seen.size>8)return null;seen.add(module.file+'#'+tag);
     const [name,part,extra]=tag.split('.'),ref=module.imports.get(name);
     const imported=externalImport(module,tag);
+    if (ref?.specifier === 'vaul' && ref.name === 'Drawer' && !extra) {
+      const mapped = {Root:'Root',Portal:'Portal',Overlay:'Backdrop',Content:'Popup',Title:'Title',Description:'Description',Trigger:'Trigger',Close:'Close'}[part];
+      if (mapped) return {family:'Dialog',part:mapped};
+    }
     if (ref?.specifier === '@mantine/core' && ref.name === 'Tabs' && !extra) return {family:'Tabs',part:part ?? 'Root',mantine:true};
     if(imported?.specifier==='@headlessui/react'){
       const part={Dialog:'Root',DialogPanel:'Popup',DialogBackdrop:'Backdrop',DialogTitle:'Title',Description:'Description'}[imported.name];
@@ -599,6 +628,13 @@ export async function analyze({
     node = unwrap(node);
     if (!node || depth > 30) return UNKNOWN;
     const ev = (n) => evalExpression(n, module, context, stack, depth + 1);
+    if (nativePlatform) {
+      const result = nativeExpression(node, module, { ts, platform, evaluate: ev, unknown: UNKNOWN,
+        shadowed: name => Object.hasOwn(context, name),
+        gap: detail => gap("RN_CAPABILITY_UNOBSERVED", module.file, detail),
+      });
+      if (result) return result.value;
+    }
     if (ts.isAwaitExpression(node)) return query(node, module, context, true);
     const component=!(ts.isIdentifier(node)&&Object.hasOwn(context,node.text))&&sourceComponent(node,module);if(component)return component;
     if (ts.isStringLiteralLike(node) || ts.isNumericLiteral(node))
@@ -791,6 +827,7 @@ export async function analyze({
           args = node.arguments.map(ev),
           method = node.expression.name.text;
         if (isUnknown(target) || args.some(isUnknown)) return query(node,module,context);
+        if (typeof target === 'string' && method === 'toString' && !args.length) return target;
         if (
           typeof target === "string" &&
           [
@@ -855,7 +892,7 @@ export async function analyze({
     const ctx = { ...props, __iamSetters: {}, __iamStates: new Set(), __iamStateNodes: {}, __iamLocals: new Map(), __iamQueryLocals: new Map(), __iamPropBindings: new Map(), __iamPropHandlers: new Map(), __iamDisclosures: [] };
     const param = def.fn?.parameters?.[0];
     if (param) {
-      if (ts.isIdentifier(param.name)) ctx[param.name.text] = props;
+      if (ts.isIdentifier(param.name)) ctx[param.name.text] = def.symbol === '$pageLayout' ? props.children : props;
       else if (ts.isObjectBindingPattern(param.name))
         for (const el of param.name.elements) {
           if (el.dotDotDotToken && ts.isIdentifier(el.name)) {
@@ -962,7 +999,7 @@ export async function analyze({
         module.file,
         "Middleware/proxy may change public routes; not executed by source analysis",
       );
-    if (!/^next\.config\.[cm]?[jt]s$/.test(module.file)) continue;
+    if (nativePlatform || !/^next\.config\.[cm]?[jt]s$/.test(module.file)) continue;
     const found = new Set();
     function readConfig(node) {
       const key = node.name?.text;
@@ -1000,11 +1037,18 @@ export async function analyze({
     !/^\/(?:[^/?#[\]\\\s]+\/)*[^/?#[\]\\\s]+$/.test(routing.basePath)
   )
     throw new Error("Invalid source basePath");
-  const selection = await sourceEntry({ root, modules, resolveModule, ts, entry });
+  const selection = nativePlatform ? { discoveryModules: modules } : await sourceEntry({ root, modules, resolveModule, ts, entry });
+  if (nativePlatform) {
+    gap("RN_SOURCE_PREVIEW", "", "Inert HTML projection of React Native source. Native Yoga layout, device density, accessibility, gestures and navigation stacks are not observed; preview DOM locators never authorize native visual changes.");
+    gap("RN_METRO_CONFIG_UNOBSERVED", "", "Uses default Metro source extensions; custom resolvers, Babel plugins and Metro configuration are not executed.");
+  }
   const flowbiteTheme=rootFlowbiteTheme({ts,modules:selection.discoveryModules,imported:externalImport,evaluate:evalExpression});
   if (selection.htmlSource) inventory.push(selection.htmlSource);
   inventory.sort((a, b) => a.file < b.file ? -1 : a.file > b.file ? 1 : 0);
-  const compositions = frameworkRoutes({ modules, ...selection, resolveModule, ts, sourceLocation, navigationPaths, gap, resolution, inlineComponent });
+  if (nativePlatform && navigationPaths.length) throw Error("Retained Web navigation paths do not describe a native back stack");
+  const compositions = nativePlatform
+    ? reactNativeRoutes({ modules, platform, entry, routerRoot, binding, sourceLocation, gap })
+    : frameworkRoutes({ modules, ...selection, resolveModule, ts, sourceLocation, navigationPaths, gap, resolution, inlineComponent });
   const pageFiles = compositions.pageFiles;
   routing.framework = compositions.framework;
   if (compositions.routeSources) routing.routeSources = compositions.routeSources;
@@ -1193,7 +1237,7 @@ export async function analyze({
       if(fn&&ts.isPropertyAccessExpression(fn)&&ctx.__iamPropHandlers.has(fn.getText(owner.module.source)))return ctx.__iamPropHandlers.get(fn.getText(owner.module.source));
       const eventValue = (variableKey) => ({ variableKey, value: {op:'event',key:'value'}, payload:{value:ui.variables.find(v=>v.variableKey===variableKey)?.valueType} });
       if(fn&&ts.isIdentifier(fn)&&ctx.__iamPropHandlers.has(fn.text))return ctx.__iamPropHandlers.get(fn.text);
-      if(fn&&ts.isIdentifier(fn)&&ctx.__iamSetters[fn.text]&&['onValueChange','onOpenChange'].includes(property)) {
+      if(fn&&ts.isIdentifier(fn)&&ctx.__iamSetters[fn.text]&&['onValueChange','onOpenChange',...(nativePlatform?['onChangeText']:[])].includes(property)) {
         const key=ctx.__iamVariableKeys[ctx.__iamSetters[fn.text]];return key?eventValue(key):null;
       }
       if(fn&&ts.isIdentifier(fn)&&ctx.__iamLocals.has(fn.text))fn=unwrap(ctx.__iamLocals.get(fn.text));
@@ -1223,7 +1267,7 @@ export async function analyze({
           if(!arg)return null;
           const forwardedWrites=(inherited.writes||[{variableKey:inherited.variableKey,value:inherited.value}]).map(write=>({...write,value:replaceEvent(write.value,arg)}));
           for(const write of forwardedWrites)inputs(write.value);
-          if(['onValueChange','onOpenChange'].includes(property))for(const [key,type]of Object.entries(inherited.payload))if(Object.hasOwn(payload,key))payload[key]=type;
+          if(['onValueChange','onOpenChange',...(nativePlatform?['onChangeText']:[])].includes(property))for(const [key,type]of Object.entries(inherited.payload))if(Object.hasOwn(payload,key))payload[key]=type;
           if(forwardedWrites.some(write=>uiExpressionType(write.value,payload)!==ui.variables.find(v=>v.variableKey===write.variableKey)?.valueType))return null;
           writes.push(...forwardedWrites);continue;
         }
@@ -1234,7 +1278,7 @@ export async function analyze({
         const value=uiExpression(functional?functional.body:input,owner,ctx,fn.parameters[0]?.name?.text||null,aliases);
         if(!value)return null;
         inputs(value);const expected=ui.variables.find(v=>v.variableKey===variableKey)?.valueType;
-        if(value.op==='event'&&value.key==='value'&&['onValueChange','onOpenChange'].includes(property))payload.value=expected;
+        if(value.op==='event'&&value.key==='value'&&['onValueChange','onOpenChange',...(nativePlatform?['onChangeText']:[])].includes(property))payload.value=expected;
         if(uiExpressionType(value,payload)!==expected)return null;
         writes.push({variableKey,value});
       }
@@ -1271,7 +1315,7 @@ export async function analyze({
             "data",
             "length",
             "size",
-          ].includes(n.name.text)
+          ].includes(n.name.text) || ts.isPropertyAccessExpression(n) && isUnknown(evalExpression(n.expression,owner.module,ctx))
         )
           shape = true;
         ts.forEachChild(n, inspect);
@@ -1548,11 +1592,11 @@ export async function analyze({
     function renderExpr(node, owner, ctx, instance, depth) {
       node = unwrap(node);
       if (!node) return "";
-      if (depth > 45) { gap("RENDER_DEPTH_LIMIT", owner.module.file, owner.symbol + ": JSX traversal budget exceeded"); return ""; }
+      if (depth > 128) { gap("RENDER_DEPTH_LIMIT", owner.module.file, owner.symbol + ": JSX nesting budget exceeded"); return ""; }
       const m = owner.module;
       if(ts.isCallExpression(node)&&ts.isIdentifier(node.expression)&&ctx.__iamLocals.has(node.expression.text)){
         const fn=unwrap(ctx.__iamLocals.get(node.expression.text));
-        if(fn&&ts.isArrowFunction(fn)&&!fn.modifiers?.some(v=>v.kind===ts.SyntaxKind.AsyncKeyword)&&!ts.isBlock(fn.body)&&hasSourceJsx(fn.body)&&fn.parameters.length<=8&&fn.parameters.every(p=>ts.isIdentifier(p.name)&&!p.dotDotDotToken)&&!node.arguments.some(ts.isSpreadElement)){
+        if(fn&&(ts.isArrowFunction(fn)||ts.isFunctionDeclaration(fn)||ts.isFunctionExpression(fn))&&!fn.modifiers?.some(v=>v.kind===ts.SyntaxKind.AsyncKeyword)&&(!ts.isBlock(fn.body)||fn.body.statements.every(s=>ts.isVariableStatement(s)||ts.isIfStatement(s)||ts.isReturnStatement(s)))&&hasSourceJsx(uiReturnExpression(fn))&&fn.parameters.length<=8&&fn.parameters.every(p=>ts.isIdentifier(p.name)&&!p.dotDotDotToken)&&!node.arguments.some(ts.isSpreadElement)){
           return renderInvocation({callback:{fn,owner,ctx,instance:instance+'/source-helper'},args:node.arguments.map(arg=>evalExpression(arg,m,ctx)),caller:ctx},instance,depth+1);
         }
       }
@@ -1712,6 +1756,18 @@ export async function analyze({
             .join("");
         }
         gap("DYNAMIC_COLLECTION", m.file, node.expression.getText(m.source));
+        // Inspect one source template, never a fabricated data item. It stays
+        // hidden in the page preview; a nested UI scene can inspect its structure.
+        if (fn && (ts.isArrowFunction(fn) || ts.isFunctionExpression(fn)) && !fn.modifiers?.some(m => m.kind === ts.SyntaxKind.AsyncKeyword) && hasSourceJsx(uiReturnExpression(fn)) && !ctx.__iamUnknownTemplate) {
+          const next = {...ctx,__iamUnknownTemplate:true};
+          for (const parameter of fn.parameters) {
+            if (ts.isIdentifier(parameter.name)) next[parameter.name.text] = UNKNOWN;
+            else if (ts.isObjectBindingPattern(parameter.name)) for (const field of parameter.name.elements) if (ts.isIdentifier(field.name)) next[field.name.text] = UNKNOWN;
+          }
+          const source = sourceLocation(m,node,owner.symbol),elementKey=identity('element',{component:owner.key,template:node.getStart(m.source)}),id=identity('node',{page:pageKey,element:elementKey,instance});
+          elements.set(elementKey,{elementKey,componentKey:owner.key,tag:'div',source,identityStrategy:'provisional_ast_ordinal',editableProperties:[],binding:'preview_only'});record.set(id,{elementKey,source,synthetic:true});
+          return '<div data-iam-node="'+id+'" data-iam-source-template="unobserved" hidden="">'+renderExpr(uiReturnExpression(fn),owner,next,instance+'/source-template',depth+1)+'</div>';
+        }
         return unobservedValue(node, owner, instance,queryBacked(node.expression.expression,owner,ctx));
       }
       if (!ts.isJsxElement(node) && !ts.isJsxSelfClosingElement(node)) {
@@ -1776,7 +1832,7 @@ export async function analyze({
         }
         for (let i = uiBindings.length - 1; i >= 0; i--) if (uiBindings[i].property === key) uiBindings.splice(i, 1);
         for (let i = uiHandlers.length - 1; i >= 0; i--) if (uiHandlers[i].key === key) uiHandlers.splice(i, 1);
-        if (["onClick", "onChange", "onInput", "onValueChange", "onOpenChange", "onClose"].includes(key)) {
+        if (["onClick", "onChange", "onInput", "onValueChange", "onOpenChange", "onClose", ...(nativePlatform ? ["onPress", "onChangeText"] : [])].includes(key)) {
           props[key] = undefined;
           const supported = ctx.__iamCollectionTemplate?null:uiHandler(attr.initializer, owner, ctx, key);
           if (supported) { props[key] = undefined; uiHandlers.push({ ...supported, key, source: sourceLocation(m, attr, owner.symbol) }); }
@@ -1906,8 +1962,21 @@ export async function analyze({
       }
       if(tabPart==='Root') {
         const valueBinding=uiBindings.find(b=>b.property==='value')?.value;
-        const controller=uiHandlers.find(h=>h.key==='onValueChange'||basePart?.mantine&&h.key==='onChange');
-        tabGroup={tabKey:identity('ui-tab',{page:pageKey,scope:ctx.__iamScope,instance}),routeKey:pageKey,renderKey:'pending',nodeId:'pending',variableKey:valueBinding?.op==='var'?valueBinding.key:null,initialValue:typeof props.value==='string'?props.value:typeof props.defaultValue==='string'?props.defaultValue:null,items:[],source:sourceLocation(m,node,owner.symbol),scopeSource:ui.variables.find(v=>v.variableKey===valueBinding?.key)?.source??sourceLocation(m,node,owner.symbol),controller};
+        let controller=uiHandlers.find(h=>h.key==='onValueChange'||basePart?.mantine&&h.key==='onChange');
+        const attribute = name => {const a=opening.attributes.properties.find(a=>ts.isJsxAttribute(a)&&a.name.text===name);return a?.initializer&&ts.isJsxExpression(a.initializer)?unwrap(a.initializer.expression):null;};
+        const input=attribute('value'),handler=attribute('onValueChange');
+        if (!controller && handler && (ts.isArrowFunction(handler)||ts.isFunctionExpression(handler)) && !handler.modifiers?.length && handler.parameters.length===1 && ts.isIdentifier(handler.parameters[0].name)) {
+          let call=ts.isBlock(handler.body)&&handler.body.statements.length===1?handler.body.statements[0]:handler.body;
+          if(ts.isExpressionStatement(call))call=call.expression;call=unwrap(call);
+          const label=call&&ts.isCallExpression(call)&&ts.isIdentifier(call.expression)&&call.arguments.length===1?ctx.__iamSetters[call.expression.text]:null,key=label&&ctx.__iamVariableKeys[label];
+          if(key&&input&&collectionStateReads(ts,input,ctx).includes(key)) controller={variableKey:key,forValue:value=>{
+            const written=evalExpression(call.arguments[0],m,{...ctx,[handler.parameters[0].name.text]:value});
+            if(typeof written!=='string'||evalExpression(input,m,{...ctx,[label]:written})!==value)return null;
+            return {variableKey:key,value:{op:'const',value:written}};
+          }};
+        }
+        const variableKey=valueBinding?.op==='var'?valueBinding.key:controller?.forValue?controller.variableKey:null;
+        tabGroup={tabKey:identity('ui-tab',{page:pageKey,scope:ctx.__iamScope,instance}),routeKey:pageKey,renderKey:'pending',nodeId:'pending',variableKey,initialValue:typeof props.value==='string'?props.value:typeof props.defaultValue==='string'?props.defaultValue:null,items:[],source:sourceLocation(m,node,owner.symbol),scopeSource:ui.variables.find(v=>v.variableKey===variableKey)?.source??sourceLocation(m,node,owner.symbol),controller};
         childCtx={...childCtx,__iamTabs:tabGroup};
       }
       const mantineRef=m.imports.get(tag.split('.')[0]),mantineName=mantineRef?.specifier==='@mantine/core'?(mantineRef.name==='*'?tag.split('.').slice(1).join('.'):mantineRef.name+tag.split('.').slice(1).map(s=>'.'+s).join('')):null;
@@ -1921,7 +1990,8 @@ export async function analyze({
       const localRef=componentBinding(m,tag),localTarget=ctx[tag]?.[COMPONENT]??(localRef&&componentDefs.get(localRef.module.file+'#'+localRef.name));
       const dynamicNode=ctx.__iamLocals.get(tag);
       const registry=!localTarget&&dynamicNode?componentRegistry({ts,node:dynamicNode,module:m,locals:ctx.__iamLocals,binding,functionFrom,value:(n,module)=>evalExpression(n,module,ctx),component:(n,module)=>sourceComponent(n,module)?.[COMPONENT],variable:name=>ctx.__iamVariableKeys[name]??(ctx.__iamPropBindings.get(name)?.op==='var'?ctx.__iamPropBindings.get(name).key:null),location:sourceLocation,unknown:UNKNOWN,imported:externalImport}):null;
-      const renderChildren=(inherited=childCtx)=>ts.isJsxElement(node)?node.children.map((child,i)=>renderExpr(child,owner,{...childCtx,__iamContexts:inherited.__iamContexts??childCtx.__iamContexts,__iamTabs:inherited.__iamTabs??childCtx.__iamTabs,__iamOverlays:inherited.__iamOverlays??childCtx.__iamOverlays},instance+'/child-'+i,depth+1)).join(''):props.children?.iamRenderChildren?props.children.iamRenderChildren(inherited):props.children?.iamChildren||'';
+      let childrenRenders=0;
+      const renderChildren=(inherited=childCtx)=>{if(childrenRenders)gap('REPEATED_SOURCE_INSTANCE',m.file,'Forwarded children have distinct preview instances; repeated runtime selectors remain ambiguous');const childInstance=instance+(childrenRenders++?'/forward-'+(childrenRenders-1):'');return ts.isJsxElement(node)?node.children.map((child,i)=>renderExpr(child,owner,{...childCtx,__iamContexts:inherited.__iamContexts??childCtx.__iamContexts,__iamTabs:inherited.__iamTabs??childCtx.__iamTabs,__iamOverlays:inherited.__iamOverlays??childCtx.__iamOverlays},childInstance+'/child-'+i,depth+1)).join(''):props.children?.iamRenderChildren?props.children.iamRenderChildren(inherited):props.children?.iamChildren||'';};
       let children = localTarget||registry ? '' : renderChildren();
       const mantine = mantinePrimitive(m.imports.get(tag.split('.')[0]), props, tag.split('.').slice(1).join('.'));
       if (mantine) {
@@ -1976,6 +2046,14 @@ export async function analyze({
 
       if (ctx[tag]?.iamChildren !== undefined) return ctx[tag].iamChildren;
       if (ctx[tag]?.iamRenderChildren) return ctx[tag].iamRenderChildren(ctx);
+      const native = nativePlatform ? nativePrimitive(m, tag, props, { platform, gap: detail => gap("RN_CAPABILITY_UNOBSERVED", m.file, detail) }) : null;
+      if (native?.ignore) return "";
+      if (native?.outlet) {
+        gap("RN_NAVIGATOR_SOURCE_ONLY", m.file, "Projects the current route through the source layout; native headers, tabs, focus and stack history are unobserved");
+        return ctx.__iamOutlet?.iamRenderChildren?.(ctx) ?? "";
+      }
+      if (native?.props) Object.assign(props, native.props);
+      if (native?.text !== undefined) children = escape(native.text);
       const routerPrimitive = externalImport(m, tag);
       if (['react-router','react-router-dom'].includes(routerPrimitive?.specifier)&&routerPrimitive.name==='Navigate')return '';
       if (["react-router", "react-router-dom", "@tanstack/react-router"].includes(routerPrimitive?.specifier) && routerPrimitive.name === "Outlet") return ctx.__iamOutlet?.iamRenderChildren ? ctx.__iamOutlet.iamRenderChildren(ctx) : ctx.__iamOutlet?.iamChildren ?? "";
@@ -1994,7 +2072,8 @@ export async function analyze({
         props["data-iam-adapter"] = tag;
       }
       if (/^[A-Z]/.test(tag) && !intrinsicAlias) {
-        if (mantine) htmlTag = mantine.tag;
+        if (native?.tag) htmlTag = native.tag;
+        else if (mantine) htmlTag = mantine.tag;
         else if(tabPart){
           htmlTag=tabPart==='Tab'?'button':'div';
           if(tabPart==='List')props.role='tablist';
@@ -2128,7 +2207,7 @@ export async function analyze({
       record.set(nodeId, {
         elementKey,
         source,
-        synthetic: Boolean(m.mdx) || htmlTag !== tag && tag !== "Link" && tag !== "Image"&&!intrinsicAlias&&!knownExternalPrimitive,
+        synthetic: nativePlatform || Boolean(m.mdx) || htmlTag !== tag && tag !== "Link" && tag !== "Image"&&!intrinsicAlias&&!knownExternalPrimitive,
       });
       if(tabPart==='Root'){
         // Tab initialization below shares the same concrete source container.
@@ -2147,11 +2226,11 @@ export async function analyze({
         if(!tabGroup.items.some(item=>item.value===props.value))tabGroup.items.push({value:props.value,nodeId});
         props['data-iam-tab-value']=props.value;props['data-iam-tab-key']=tabGroup.tabKey;
         const replace=value=>value.op==='event'&&value.key==='value'?{op:'const',value:props.value}:Object.fromEntries(Object.entries(value).map(([k,v])=>[k,Array.isArray(v)?v.map(item=>item&&typeof item==='object'?replace(item):item):v&&typeof v==='object'?replace(v):v]));
-        if(tabGroup.controller){const writes=(tabGroup.controller.writes||[{variableKey:tabGroup.controller.variableKey,value:tabGroup.controller.value}]).map(w=>({...w,value:replace(w.value)}));uiHandlers.push({...writes[0],writes,key:'onClick',payload:{},source});}
+        if(tabGroup.controller){const specialized=tabGroup.controller.forValue?.(props.value),writes=(tabGroup.controller.forValue?(specialized?[specialized]:[]):tabGroup.controller.writes||[{variableKey:tabGroup.controller.variableKey,value:tabGroup.controller.value}]).map(w=>({...w,value:replace(w.value)}));if(writes.length)uiHandlers.push({...writes[0],writes,key:'onClick',payload:{},source});}
       }
       if(tabPart==='Panel'&&tabGroup?.variableKey&&typeof props.value==='string')uiBindings.push({property:'visible',value:{op:'eq',left:{op:'var',key:tabGroup.variableKey},right:{op:'const',value:props.value}},source});
       for (const handler of uiHandlers.filter(h=>!['onValueChange','onOpenChange','onClose'].includes(h.key)&&!(tabPart==='Root'&&h.key==='onChange'))) {
-        const event = handler.key === "onClick" ? "click" : htmlTag === "select" || handler.payload.checked ? "change" : "input";
+        const event = ["onClick", "onPress"].includes(handler.key) ? "click" : htmlTag === "select" || handler.payload.checked ? "change" : "input";
         const writes=handler.writes||[{variableKey:handler.variableKey,value:handler.value}];
         ui.transitions.push({ transitionKey: identity("ui-transition", { page: pageKey, node: nodeId, event }), routeKey: pageKey, fromStateKey: "pending", toStateKey: "pending", trigger: { nodeId, event, payload: handler.payload }, guard: { op: "const", value: true }, stateReads: [...new Set(writes.flatMap(w=>readVariables(w.value)))].sort(), stateWrites: writes, simulation: "implemented", evidence: "source_inferred", source: handler.source });
       }
@@ -2164,7 +2243,7 @@ export async function analyze({
         }
         ui.bindings.push({ bindingKey: identity("ui-binding", { node: nodeId, property: binding.property }), routeKey: pageKey, nodeId, elementKey, ...binding });
       }
-      const sensitiveInput = ['input', 'textarea', 'select'].includes(htmlTag) && (htmlTag === 'input' && ["password", "hidden"].includes(String(props.type).toLowerCase()) || sensitiveName(String(props.name || props.id || "")));
+      const sensitiveInput = native?.sensitive || ['input', 'textarea', 'select'].includes(htmlTag) && (htmlTag === 'input' && ["password", "hidden"].includes(String(props.type).toLowerCase()) || sensitiveName(String(props.name || props.id || "")));
       if (sensitiveInput) {
         delete props.value; delete props.defaultValue;
         if (htmlTag === 'textarea') children = '';
@@ -2212,7 +2291,7 @@ export async function analyze({
             clipRule: "clip-rule",
           }[key] || key;
         if (
-          !/^(?:class|id|name|type|placeholder|value|title|alt|href|src|role|for|disabled|hidden|checked|required|readonly|multiple|selected|open|start|min|max|step|minlength|maxlength|pattern|autocomplete|inputmode|rows|cols|width|height|viewBox|d|fill|stroke|stroke-width|stroke-linecap|stroke-linejoin|fill-rule|clip-rule|cx|cy|r|x|y|x1|x2|y1|y2|points|aria-[a-z-]+|data-indiana-id|data-indiana-map-(?:area|flow|kind|auth|edge)|data-(?:slot|state|side|variant|collapsible|orientation|active)|data-testid|data-test|data-qa|data-iam-(?:adapter|toggle|tab-value|tab-key|condition|alternative|condition-default|unobserved))$/.test(
+          !/^(?:class|id|name|type|placeholder|value|title|alt|href|src|role|for|disabled|hidden|checked|required|readonly|multiple|selected|open|start|min|max|step|minlength|maxlength|pattern|autocomplete|inputmode|rows|cols|width|height|viewBox|d|fill|stroke|stroke-width|stroke-linecap|stroke-linejoin|fill-rule|clip-rule|cx|cy|r|x|y|x1|x2|y1|y2|points|aria-[a-z-]+|data-indiana-id|data-indiana-map-(?:area|flow|kind|auth|edge)|data-(?:slot|state|side|variant|collapsible|orientation|active)|data-testid|data-test|data-qa|data-iam-(?:native-component|native-platform|native-unobserved|adapter|toggle|tab-value|tab-key|condition|alternative|condition-default|unobserved))$/.test(
             attr,
           )
         )
@@ -2284,7 +2363,7 @@ export async function analyze({
           return '<div data-iam-node="'+contentId+'" data-iam-page-content="true">'+content+'</div>';
         }
         const layer=branch.layers[index],child={iamRenderChildren:next=>renderLayer(index-1,next)};
-        const props = ["react-router", "tanstack-router"].includes(routing.framework)
+        const props = ["react-router", "tanstack-router", "expo-router"].includes(routing.framework)
           ? { ...contextProps(ctx), __iamOutlet: child }
           : { ...contextProps(ctx), children: child };
         if (/^(?:src\/)?pages\/_app\.[jt]sx?$/.test(layer.file)) { props.Component = child; props.pageProps = {}; }
@@ -2437,7 +2516,7 @@ export async function analyze({
       stateKey,
       kind: "source_projection",
       evidence: unprojected?'uncovered':"source_inferred",
-      viewport: { width: 1280, height: 800 },
+      viewport: nativePlatform ? { width: 390, height: 844 } : { width: 1280, height: 800 },
       html: concreteRoot.outerHTML,
       css: "",
       js: "",
@@ -2590,9 +2669,9 @@ export async function analyze({
     producer: {
       name: "indiana-app-manifest-local",
       version: "0.27.0",
-      method: "typescript-ast-and-bounded-static-projection;lucide-static-"+LUCIDE_SOURCE_VERSION,
+      method: "typescript-ast-and-bounded-static-projection;lucide-static-"+LUCIDE_SOURCE_VERSION+(nativePlatform ? ";react-native-source-preview-v1" : ""),
     },
-    app: { name, platforms: ["web"] },
+    app: { name, platforms: [platform] },
     routing,
     release: { repository, commit, sourceGraphDigest },
     pages,
@@ -2607,7 +2686,7 @@ export async function analyze({
       runtimeObserved: false,
       generatedPageCount: pages.length,
       sourcePageFileCount: pageFiles.length,
-      unsupportedFrameworks: ["vue", "svelte", "android", "ios"],
+      unsupportedFrameworks: nativePlatform ? ["vue", "svelte", "swiftui", "compose", "flutter", "react-navigation"] : ["vue", "svelte", "android", "ios"],
       gaps,
     },
     integrity: {

package/src/build.mjs

@@ -27,10 +27,10 @@ async function guarded({ strict, logger }, action, what) {
  * Before compilation: scans source once per build and returns its release ID.
  * The same source and producer always get the same ID, so the page can embed its descriptor URL before the IAM exists.
  */
-export async function prepareBuildRelease({ root, name, entry, automaticAnchors = true, strict = false, logger = console }) {
+export async function prepareBuildRelease({ root, name, entry, platform = "web", routerRoot, automaticAnchors = platform === "web", strict = false, logger = console }) {
   return guarded({ strict, logger }, async () => {
     root = await fs.realpath(root);
-    const analysis = await analyzeSource({ root, name, entry, automaticAnchors });
+    const analysis = await analyzeSource({ root, name, entry, platform, routerRoot, automaticAnchors });
     const releaseId = deriveReleaseId(analysis);
     process.env[STATE] = JSON.stringify({ root, releaseId, automaticAnchors });
     return { releaseId };
@@ -60,7 +60,9 @@ export async function finishBuildRelease({
   releaseId,
   name,
   entry,
-  automaticAnchors = true,
+  platform = "web",
+  routerRoot,
+  automaticAnchors = platform === "web",
   cssDirectory,
   mounts,
   publicDirectory,
@@ -72,7 +74,7 @@ export async function finishBuildRelease({
 }) {
   root = await fs.realpath(root);
   return guarded({ strict, logger }, async () => {
-    const analysis = await analyzeSource({ root, name, entry, automaticAnchors });
+    const analysis = await analyzeSource({ root, name, entry, platform, routerRoot, automaticAnchors });
     if (deriveReleaseId(analysis) !== releaseId) throw new Error("Source changed during the build; rebuild before publishing IAM");
     const css = cssDirectory ? await compiledCss(root, cssDirectory) : [];
     const plain = () => generateAppManifest({ root, analysis, releaseId, referencedImages:true, mounts });
@@ -109,6 +111,9 @@ export async function finishBuildRelease({
           apiKey: settings.apiKey,
           baseUrl: settings.baseUrl,
           fetch: upload.fetch,
+          onProgress: ({ phase, uploadedBytes, totalBytes }) => {
+            if (phase === "upload") report(logger, "log", `IAM upload ${Math.floor(uploadedBytes / totalBytes * 100)}% (${uploadedBytes}/${totalBytes} bytes)`);
+          },
         });
         report(
           logger,

package/src/cli.mjs

@@ -10,7 +10,7 @@ import { planAnchors, applyAnchors } from "./instrument.mjs";
 import { buildLabel, uploadAppManifest, uploadSettings } from "./upload.mjs";
 
 const usage =
-  "Usage: indiana-iam generate --root <app> --out <new directory> [--entry <source module> --name <name> --repository <url> --commit <sha> --release-id <uuid> --write-public-release --build-css <file>...]" +
+  "Usage: indiana-iam generate --root <app> --out <new directory> [--platform web|ios|android --router-root <expo routes> --entry <source module> --name <name> --repository <url> --commit <sha> --release-id <uuid> --write-public-release --build-css <file>...]" +
   " | indiana-iam validate --file <manifest>" +
   " | INDIANA_IAM_KEY=<key> indiana-iam upload --file <manifest> [--client <key> --label <label> --base-url <url>]" +
   " | indiana-iam prepare --root <app>" +
@@ -23,6 +23,8 @@ const { values, positionals } = parseArgs({
     out: { type: "string" },
     name: { type: "string" },
     entry: { type: "string" },
+    platform: { type: "string" },
+    "router-root": { type: "string" },
     repository: { type: "string" },
     commit: { type: "string" },
     file: { type: "string" },
@@ -49,6 +51,8 @@ if (command === "generate") {
   if (!values.root || !values.out) throw new Error("generate requires --root and --out");
   if (values["write-public-release"] && !values["release-id"])
     throw new Error("--write-public-release requires the prebuild --release-id");
+  if (values["write-public-release"] && values.platform && values.platform !== "web")
+    throw new Error("Use the React Native build entry to stage a native release descriptor");
   if (values["root-font"] && !values["build-css"]?.length)
     throw new Error("--root-font requires --build-css");
   const root = await fs.realpath(values.root);
@@ -56,12 +60,15 @@ if (command === "generate") {
     root,
     name: values.name,
     entry: values.entry,
+    platform: values.platform,
+    routerRoot: values["router-root"],
     repository: values.repository || "",
     commit: values.commit || "",
     navigationPaths: (values["navigation-path"] || []).map((value) => JSON.parse(value)),
     releaseId: values["release-id"],
     buildCss: values["build-css"] || [],
     publicAssets: values["public-asset"] || [],
+    referencedImages: ["ios", "android"].includes(values.platform),
     optimizePublicImages: values["optimize-public-images"],
     rootFont: values["root-font"] || "",
     omitSvgResources: values["omit-svg-resources"],
@@ -105,6 +112,9 @@ if (command === "generate") {
     client: settings.client,
     apiKey: settings.apiKey,
     baseUrl: settings.baseUrl,
+    onProgress: ({ phase, uploadedBytes, totalBytes }) => {
+      console.error(`[indiana-iam] ${phase}${phase === "upload" ? ` ${Math.floor(uploadedBytes / totalBytes * 100)}% (${uploadedBytes}/${totalBytes} bytes)` : ""}`);
+    },
   });
   console.log(
     JSON.stringify({ uploaded, version: { id: version.id, client: version.clientKey, state: version.state, isCurrent: version.isCurrent } }, null, 2),

package/src/framework-routes.mjs

@@ -70,12 +70,11 @@ export function frameworkRoutes({
       const layers = [];
       if (customApp) {
         // A dynamic per-page layout is not the shared App wrapper contract.
-        if (/\.getLayout\b/.test(modules.get(customApp).text))
-          gap(
-            "PAGES_LAYOUT_UNSUPPORTED",
-            customApp,
-            "Per-page getLayout requires an explicit adapter or a runtime observation; the page alone is projected",
-          );
+        if (/\.getLayout\b/.test(modules.get(customApp).text)) {
+          if (modules.get(file).bindings.has('$pageLayout')) layers.push({file,symbol:'$pageLayout',slots:[]});
+          else if (/\.getLayout\s*=/.test(modules.get(file).text)) gap('PAGES_LAYOUT_UNSUPPORTED',file,'Dynamic per-page layout remains unobserved');
+          gap('PAGES_APP_WRAPPER_UNOBSERVED',customApp,'Per-page source layout is projected separately; shared provider effects are not executed');
+        }
         else layers.push({ file: customApp, slots: [] });
       }
       const composition = { lane, file, layers };

package/src/generate.mjs

@@ -24,6 +24,8 @@ export async function analyzeSource({
   navigationPaths = [],
   entry,
   automaticAnchors = false,
+  platform = "web",
+  routerRoot,
 }) {
   root = await fs.realpath(root);
   return analyze({
@@ -34,6 +36,8 @@ export async function analyzeSource({
     navigationPaths,
     entry,
     automaticAnchors,
+    platform,
+    routerRoot,
   });
 }
 
@@ -50,6 +54,8 @@ export async function generateAppManifest({
   navigationPaths,
   entry,
   automaticAnchors = false,
+  platform,
+  routerRoot,
   releaseId,
   buildCss = [],
   publicAssets = [],
@@ -70,7 +76,11 @@ export async function generateAppManifest({
         navigationPaths,
         entry,
         automaticAnchors,
+        platform,
+        routerRoot,
       });
+  if (analysis && platform !== undefined && (analysis.app.platforms.length !== 1 || analysis.app.platforms[0] !== platform))
+    throw Error("Analyzed IAM belongs to another platform");
   for (const document of manifest.documents)
     if (document.domPayload) {
       Object.assign(document, documentDom(document));

package/src/index.d.ts

@@ -20,8 +20,12 @@ export type ValidationCounts = Record<string, unknown>;
 
 export type GenerateOptions = {
   root: string;
-  /** Browser entry relative to root. Defaults to the single module script in index.html. */
+  /** Web browser entry or single-root RN screen, relative to root. */
   entry?: string;
+  /** Defaults to web. RN/Expo artifacts are generated separately for ios and android. */
+  platform?: "web" | "ios" | "android";
+  /** Expo route root for a native platform; mutually exclusive with entry. */
+  routerRoot?: string;
   automaticAnchors?: boolean;
   /** A previous {@link analyzeSource} result; scanned again when omitted. */
   analysis?: AppManifest;
@@ -50,8 +54,12 @@ export type GeneratedAppManifest = {
 
 export declare function analyzeSource(options: {
   root: string;
-  /** Browser entry relative to root. Defaults to the single module script in index.html. */
+  /** Web browser entry or single-root RN screen, relative to root. */
   entry?: string;
+  /** Defaults to web. RN/Expo artifacts are generated separately for ios and android. */
+  platform?: "web" | "ios" | "android";
+  /** Expo route root for a native platform; mutually exclusive with entry. */
+  routerRoot?: string;
   automaticAnchors?: boolean;
   name?: string;
   repository?: string;
@@ -87,8 +95,12 @@ export type BuildLogger = Pick<Console, "log" | "warn">;
 export type BuildReleaseOptions = {
   strict?: boolean;
   logger?: BuildLogger;
-  /** Browser entry relative to root. Defaults to the single module script in index.html. */
+  /** Web browser entry or single-root RN screen, relative to root. */
   entry?: string;
+  /** Defaults to web. RN/Expo artifacts are generated separately for ios and android. */
+  platform?: "web" | "ios" | "android";
+  /** Expo route root for a native platform; mutually exclusive with entry. */
+  routerRoot?: string;
   automaticAnchors?: boolean;
 };
 export declare function prepareBuildRelease(
@@ -106,6 +118,7 @@ export declare function finishBuildRelease(
     omitSvgResources?: boolean;
     upload?: {
       apiKey?: string;
+      client?: string;
       baseUrl?: string;
       upload?: "production" | "always" | false;
       fetch?: typeof globalThis.fetch;
@@ -131,6 +144,13 @@ export declare function uploadAppManifest(options: {
   apiKey: string;
   baseUrl?: string;
   fetch?: typeof globalThis.fetch;
+  /** Private local recovery cache; defaults to INDIANA_IAM_CACHE_DIR or ~/.cache/indiana/iam-uploads. */
+  cacheDirectory?: string;
+  onProgress?: (progress: {
+    phase: "registration" | "upload" | "validation";
+    uploadedBytes: number;
+    totalBytes: number;
+  }) => void;
 }): Promise<{
   version: { id: string; state: string; isCurrent: boolean } & Record<
     string,
@@ -146,7 +166,13 @@ export declare function uploadSettings(
     client?: string;
   },
   env?: Record<string, string | undefined>,
-): { enabled: boolean; apiKey: string; baseUrl: string; client: string; missingKey: boolean };
+): {
+  enabled: boolean;
+  apiKey: string;
+  baseUrl: string;
+  client: string;
+  missingKey: boolean;
+};
 export declare function buildLabel(
   root: string,
   env?: Record<string, string | undefined>,

package/src/library-entry.mjs

@@ -19,7 +19,7 @@ export async function validateIamBytes(bytes) {
   const text = new TextDecoder("utf-8", { fatal: true }).decode(bytes);
   const manifest = parseManifest(text);
   const validation = await validate(manifest);
-  if (manifest.coverage.runtimeObserved || manifest.app.platforms.length !== 1 || manifest.app.platforms[0] !== "web" || manifest.documents.some(d => d.kind !== "source_projection" || !['source_inferred','uncovered'].includes(d.evidence))) throw new Error("Only the Web source projection profile is admitted");
+  if (manifest.coverage.runtimeObserved || manifest.app.platforms.length !== 1 || !(manifest.app.platforms[0] === "web" || ["ios", "android"].includes(manifest.app.platforms[0]) && ["expo-router", "react-native"].includes(manifest.routing.framework)) || manifest.documents.some(d => d.kind !== "source_projection" || !['source_inferred','uncovered'].includes(d.evidence))) throw new Error("Only supported source projection profiles are admitted");
   return { manifest, validation, sha256: sha256(bytes), byteLength: bytes.byteLength };
 }
 /** Only a freshly authorized immutable ready fact from the trusted finalizer can use this path.
@@ -30,6 +30,7 @@ export async function readFinalizedIamBytes(bytes, fact) {
   if (stamp?.profile !== "bounded-web-preview" || stamp.runtimeVerified !== false || stamp.valid !== true || ![stamp.pages, stamp.components, stamp.elements, stamp.documents, stamp.concreteNodes].every(n => Number.isSafeInteger(n) && n >= 0) || typeof stamp.routeTree?.digest !== "string") return validateIamBytes(bytes);
   const manifest = parseManifest(new TextDecoder("utf-8", { fatal: true }).decode(bytes));
   assertManifestShape(manifest);
+  if (["expo-router", "react-native"].includes(manifest.routing?.framework)) return validateIamBytes(bytes);
   if (manifest.format !== "indiana-app-manifest" || manifest.schemaVersion !== 2 || manifest.routeTree.schemaVersion !== 3 || manifest.coverage.runtimeObserved || manifest.app.platforms.length !== 1 || manifest.app.platforms[0] !== "web" || manifest.documents.some(d => d.kind !== "source_projection" || !["source_inferred", "uncovered"].includes(d.evidence)) || manifest.pages.length !== stamp.pages || manifest.documents.length !== stamp.documents || manifest.integrity.routeTreeDigest !== stamp.routeTree.digest) throw Error("Finalized IAM admission mismatch");
   const trusted = await loadTrustedRuntimes();
   for (const script of manifest.scripts ?? []) if (sha256(script.js) !== script.sha256 || script.scriptKey !== "script_" + script.sha256 || !trusted.includes(script.js)) throw Error("Finalized IAM runtime mismatch");