SwiftUI API Matrix — iOS · macOS · MiniSwift

Catalog view; layout.c captures spacing+alignment into node.layout; web→VStackView, android→Column. SwiftUICore type (not in dump).

alignment+spacing lowered to typed layout metadata; ViewBuilder children become child UIIR nodes.

Catalog view; spacing+alignment captured; web→HStackView, android→Row. SwiftUICore type (not in dump).

alignment+spacing lowered to node.layout; children lowered as UIIR child nodes.

Catalog view; web→ZStackView with zIndex z-order, android→Box. SwiftUICore type (not in dump).

alignment captured into node.layout; children lowered; zIndex honored at render.

Catalog view; UIIR preserves a transparent Group node and web renders it through GroupView as a no-background/no-spacing passthrough container.

ViewBuilder content lowers as Group children; renderer measures/places/draws child nodes transparently without introducing extra chrome.

GroupElementsOfContent/GroupSectionsOfContent in catalog as stub kinds; subview-decomposition runtime not implemented.

Catalog view; axes and indicator defaults lower into node.layout.scroll_axes/scroll_shows_indicators (view.c:283, expr.c:693) and serialize as scrollAxes/scrollShowsIndicators (json_node.c:528).

Default .vertical, enum/member axes, and array option-set axes decompose to typed scrollAxes layout metadata (view.c:288, json_node.c:528).

Deprecated form still lowers typed axes and literal/default indicator visibility into scrollShowsIndicators (view.c:296, json_node.c:532).

Stored property; the content closure lowers as child UIIR nodes.

Constructor axis values decompose into UILayout.scroll_axes; absent axes default to vertical (view.c:288, json_node.c:528).

Constructor indicator visibility decomposes into UILayout.scroll_shows_indicators; absent values default true (view.c:296, json_node.c:532).

Catalog view lowers as a transparent container while the web renderer binds the active ViewNode root for ScrollViewProxy actions; scrollTo now drives the same __scroll_<id> state as wheel/drag scrolling.

Content closure lowers with the proxy parameter preserved in actionIR; calls through that proxy are handled by the web scroll runtime.

MiniSwift value-token proxy: type metadata is preserved and scrollTo method calls are interpreted by the renderer bridge. This is not Apple's private SwiftUI proxy object.

Calls inside ScrollViewReader actions lower as actionIR.call; web runtime resolves .id(...)/explicit identity targets, supports nil/minimal reveal plus top/center/bottom/leading/trailing anchors, and writes clamped scroll offsets.

Catalog view; Form lowers as a container node and web maps it to the grouped ListView renderer with Section/header/footer row chrome. FormStyle execution is tracked separately.

ViewBuilder children lower under Form and render through grouped list/form layout, including rows and nested Section containers.

Style-configuration initializer call preserves the FormStyleConfiguration arg structurally; style protocol execution is not modeled.

Catalog view; ViewBuilder content/header/footer lower into Section UIIR and web/Compose render grouped section structure. Table-row-only overloads are tracked separately.

header/footer/content closures lower as child nodes; web List/SectionView renders header, rows, footer and grouped row chrome.

Title string + content lower into Section UIIR; renderer synthesizes and draws the header label above grouped rows.

isExpanded now lowers as typed Bool control-binding metadata; web Section/List headers hit-test and toggle the bound state while collapsed rows are skipped.

Deprecated header/footer-as-views form; captured structurally.

Table-row Section initializer call preserves content/header closures structurally; TableRowBuilder runtime is not executed.

Catalog view; alignment/spacing lower as typed layout metadata and web renders through VStackView. No virtualization/pinnedViews.

alignment+spacing captured and consumed by web stack layout; pinnedViews remains inert.

Catalog view; alignment/spacing lower as typed layout metadata and web renders through HStackView. No virtualization/pinnedViews.

alignment+spacing captured and consumed by web stack layout; pinnedViews remains inert.

Catalog view; web renders grid and resolves contextual GridItem fixed/flexible/adaptive column specs from structured UIIR args. No virtualization/pinnedViews.

columns array survives as structured args; web uses GridItem.Size, spacing, and alignment for track layout.

Catalog view; web renders grid and resolves contextual GridItem fixed/flexible/adaptive row specs from structured UIIR args. No virtualization/pinnedViews.

rows array survives as structured args; web uses GridItem.Size, spacing, and alignment for track layout.

Contextual value token: LazyVGrid/LazyHGrid columns/rows preserve GridItem(...) as structured call args and the web grid renderer consumes them for track sizing.

Constructor survives as structured call expression inside grid columns/rows; renderer reads size, spacing, and alignment in grid contexts.

fixed, flexible, and common single-spec adaptive enum-call args drive web grid track sizing.

member read survives as a structured expression on GridItem; standalone value/member semantics are still structural.

member read survives as a structured expression on GridItem; grid context consumes init spacing, but standalone property semantics remain structural.

member read survives as a structured expression on GridItem; grid context consumes init alignment, but standalone property semantics remain structural.

Catalog view; web renderer measures GridRow children into shared column widths and row heights with alignment/spacing. Grid cell spanning and unsized-axis modifiers remain separate gaps.

alignment plus horizontal/vertical spacing args are consumed by the web grid layout engine.

Catalog view; web renderer treats children as grid cells and participates in parent Grid shared column placement.

alignment captured and used for vertical cell placement within the measured row height.

Catalog view; web expands to proposed/frame size and binds a lightweight GeometryProxy for child content. Coordinate-space frame, anchors, safe-area, and android BoxWithConstraints parity remain gaps. SwiftUICore type (not in dump).

Content closure lowers as child UIIR and web binds the closure param (for example geo) to the measured GeometryProxy while measuring/placing/drawing children.

Catalog view; candidate children lower as UIIR children and the web renderer measures them, selecting the first child that fits the requested axes. Kotlin/android fallback renders the preferred child instead of an unsupported marker.

axes captured; candidate children lowered; renderer uses horizontal/vertical axis constraints when choosing the visible candidate.

Catalog view; ViewBuilder children lower as UIIR children and web maps the basic content-only form to an HStack control row. Style/configuration execution remains separate.

Content closure lowers as child UIIR nodes; renderer lays them out as a horizontal control group.

Label and content children lower into UIIR; web synthesizes a labeled control group with the label above an HStack control row.

Title + content captured; web synthesizes a title label above the HStack control row.

Title+systemImage+content captured as args/children; web synthesizes a Label above the HStack control row.

Style-configuration initializer call preserves the ControlGroupStyleConfiguration arg structurally; style protocol execution is not modeled.

Catalog view; label/content/value forms lower to UIIR args/children and web synthesizes HStack { label; Spacer; content/value } with secondary value styling.

Label and content closures lower as child UIIR nodes; renderer maps them into a labeled row.

Title string lowers as the label arg and content closure as child UIIR; renderer synthesizes the label Text.

Title and value args lower explicitly; renderer synthesizes label/value Text nodes.

Title/value/format captured as args; FormatStyle not executed, formatted string not produced.

Style-configuration initializer call preserves the LabeledContentStyleConfiguration arg structurally; style protocol execution is not modeled.

Catalog view; label/title/content forms lower to UIIR and web synthesizes a boxed VStack with padding, background, corner radius, and optional bold title. GroupBoxStyle execution remains separate.

Label and content closures lower as UIIR children; renderer builds the titled boxed stack.

Title string and content closure lower; renderer synthesizes a bold title above the boxed content.

Content-only form lowers as child UIIR nodes and renders as an untitled boxed stack.

Style-configuration initializer call preserves the GroupBoxStyleConfiguration arg structurally; style protocol execution is not modeled.

Catalog leaf view; layout.c treats Spacer specially per parent axis (expands along primary axis); web+android render. SwiftUICore type (not in dump).

Spacer lowers with minLength arg and web stack layout enforces it as the primary-axis minimum before distributing leftover space.

SpacerView reads the captured minLength arg and VStack/HStack include it in intrinsic and fixed-frame spacer sizing.

Catalog leaf view; web and android both render Divider (orientation per parent axis).

Modeled as leaf node; renderer draws a thin separator line.

module protocol stub preserves custom-layout conformance/type surface; layout protocol requirements are not invoked by a layout engine.

Explicit method calls preserve proposal/subviews/cache args structurally; MiniSwift does not invoke custom layout engines.

Explicit method calls preserve bounds/proposal/subviews/cache args structurally; MiniSwift does not invoke custom placement.

Explicit method calls preserve subviews args structurally; layout cache runtime is not modeled.

Custom-layout callAsFunction syntax preserves content closure structurally; it is not attached to a dedicated layout engine node.

module struct stub preserves type metadata for Layout/ImageRenderer surfaces; value semantics and size proposal runtime are not modeled.

constructor survives as a structured call expression with the CGSize arg; proposal sizing runtime is not evaluated.

static constants survive as structured member expressions; proposal sizing runtime is not evaluated.

method call survives as a structured expression; replacement sizing math is not evaluated.

module struct stub preserves type metadata and alignmentGuide closures are serialized structurally; dimension queries are not evaluated.

member reads survive inside alignmentGuide compute closures; real measured dimensions are not supplied by lowering.

subscript expression survives inside alignmentGuide compute closures; alignment guide evaluation remains renderer/runtime policy.

labeled subscript expression survives inside alignmentGuide compute closures; explicit guide lookup is not evaluated by lowering.

Layout-hoisted dedicated family in coverage; lowers to node.layout frame/inset metadata. SwiftUICore modifier (not in dump).

Edge set + length lowered to dedicated layout padding metadata; web+android both apply padding.

Layout-hoisted; lowers to node.layout.frame_* + alignment; web+android apply frame. SwiftUICore modifier.

Flexible frame; min/ideal/max + expands flags lowered; web honors maxWidth/.infinity expand.

Layout-hoisted dedicated family; priority captured into layout metadata. SwiftUICore modifier.

Layout-hoisted; lowers to fixed-size layout metadata. SwiftUICore modifier.

Per-axis fixed-size flags captured into layout metadata.

Layout-hoisted; ratio + contentMode captured into layout metadata. SwiftUICore modifier.

Layout-hoisted; axes/alignment decompose to UILayout.container_relative_axes/alignment (uiir.h:137, layout.c:574) and JSON emits containerRelativeAxes/containerRelativeAlignment (json_node.c:474).

Dedicated UI_SEMANTIC_SCROLL_DISABLED; literal bool decomposes to UISemantic.scroll_disabled (uiir.h:719, uiir.h:750, chain.c:382, chain.c:836) and JSON emits payload.disabled (json_modifier.c:1025).

Dedicated UI_SEMANTIC_SCROLL_INDICATORS; visibility decomposes to UISemantic.scroll_indicator_visibility and axes: to UISemantic.scroll_indicator_axes (uiir.h:721, uiir.h:755, chain.c:386, chain.c:919), with default horizontal+vertical axes and JSON payload.visibility/payload.axes (json_modifier.c:1060).

Dedicated UI_SEMANTIC_SCROLL_CONTENT_BACKGROUND; Visibility arg decomposes to UISemantic.scroll_content_background_visibility (uiir.h:720, uiir.h:753, chain.c:384, chain.c:861) and JSON emits payload.visibility (json_modifier.c:1032). tvOS unavailable.

Dedicated UI_SEMANTIC_SCROLL_TARGET_BEHAVIOR; static behavior args such as .paging/.viewAligned decompose to UISemantic.scroll_target_behavior (uiir.h:723, uiir.h:764, chain.c:390, chain.c:976) and JSON emits payload.behavior (json_modifier.c:1080). Protocol behavior is captured, not executed.

Dedicated UI_SEMANTIC_SCROLL_TARGET_LAYOUT; missing arg defaults to payload.isEnabled=true, literal bool decomposes to UISemantic.scroll_target_layout_enabled (uiir.h:722, uiir.h:758, chain.c:388, chain.c:935), and JSON emits payload.isEnabled (json_modifier.c:1070).

Dedicated UI_SEMANTIC_SCROLL_POSITION; chain.c:526 maps the modifier and chain.c:2820 classifies the unlabeled binding as payload.bindingKind=position, preserves the raw binding arg, and decomposes static anchor: UnitPoint tokens into UISemantic.scroll_position_anchor (uiir.h:1054). JSON emits payload.bindingKind/binding/anchor (json_modifier.c:1527); scroll runtime remains renderer policy.

Dedicated UI_SEMANTIC_SCROLL_POSITION; chain.c:2824 recognizes the id: binding overload as payload.bindingKind=id, preserves the raw id binding arg, and defaults absent anchor: to JSON null (json_modifier.c:1527). No scroll-to-id runtime is implied by capture.

Dedicated UI_SEMANTIC_SCROLL_BOUNCE_BEHAVIOR; behavior and axes: decompose to UISemantic.scroll_bounce_behavior/scroll_bounce_axes (uiir.h:722, uiir.h:761, chain.c:388, chain.c:941) with default vertical axis, and JSON emits payload.behavior/payload.axes (json_modifier.c:1070).

Dedicated UI_SEMANTIC_SCROLL_CLIP_DISABLED; default/literal bool decomposes to UISemantic.scroll_clip_disabled (uiir.h:719, chain.c:818) and JSON emits payload.disabled (json_modifier.c:1025).

Dedicated UI_SEMANTIC_SCROLL_DISMISSES_KEYBOARD; mode arg decomposes to UISemantic.scroll_dismisses_keyboard_mode (uiir.h:723, uiir.h:761, chain.c:390, chain.c:953) and JSON emits payload.mode (json_modifier.c:1078).

Dedicated UI_SEMANTIC_DEFAULT_SCROLL_ANCHOR; UnitPoint preset anchor decomposes to UISemantic.default_scroll_anchor (uiir.h:724, uiir.h:763, chain.c:392, chain.c:965) and JSON emits payload.anchor (json_modifier.c:1086).

Layout-hoisted; edges/insets/placement decompose to UILayout.content_margin_* plus content_margin_placement (uiir.h:151, layout.c:734) and JSON emits contentMargin* fields (json_node.c:503).

Dedicated UI_SEMANTIC_SAFE_AREA_INSET; edge/alignment/spacing decompose to UISemantic.safe_area_inset_* (uiir.h:719, uiir.h:861, chain.c:1693) and JSON emits payload.edge/alignment/spacing (json_modifier.c:1255). SwiftUICore modifier.

Layout-hoisted; EdgeInsets values decompose into UILayout.safe_pad_* fields (uiir.h:115, layout.c:327) and JSON emits safeAreaPad* fields (json_node.c:428). SwiftUICore modifier.

Layout-hoisted; literal count decomposes to UILayout.grid_cell_columns (uiir.h:155, layout.c:798) and JSON emits layout.gridCellColumns (json_node.c:518). Renderer cell-merge support remains separate from capture.

Layout-hoisted; UnitPoint preset decomposes to UILayout.grid_cell_anchor (uiir.h:156, layout.c:840) and JSON emits layout.gridCellAnchor (json_node.c:520). Renderer alignment support remains separate from capture.

Layout-hoisted; enum/array Axis.Set decomposes to UILayout.grid_cell_unsized_axes (uiir.h:157, layout.c:852) and JSON emits layout.gridCellUnsizedAxes (json_node.c:525). Renderer sizing behavior remains separate from capture.

Layout-hoisted; HorizontalAlignment enum decomposes to UILayout.grid_column_alignment (uiir.h:158, layout.c:863) and JSON emits layout.gridColumnAlignment (json_node.c:530). Renderer column alignment behavior remains separate from capture.

Dedicated UI_SEMANTIC_GROUP_BOX_STYLE; style arg is preserved as typed payload.style (chain.c:715, json_modifier.c:2267). Style protocol execution remains out of scope.

Dedicated UI_SEMANTIC_CONTROL_GROUP_STYLE; style arg is preserved as typed payload.style (chain.c:711, json_modifier.c:2265). Style protocol execution remains out of scope.

Dedicated UI_SEMANTIC_FORM_STYLE; style arg is preserved as typed payload.style (chain.c:707, json_modifier.c:2263). Style protocol execution remains out of scope.

Dedicated UI_SEMANTIC_LABELED_CONTENT_STYLE; style arg is preserved as typed payload.style (uiir.h:867, chain.c:699, json_modifier.c:2259). Style protocol execution remains out of scope.

Dedicated UI_SEMANTIC_ALIGNMENT_GUIDE maps alignmentGuide (modules/swiftui/compiler/lower/chain.c:793, include/internal/uiir.h:877) and serializes typed payload.guide plus payload.computeValue (modules/swiftui/compiler/uiir/names.c:503, modules/swiftui/compiler/uiir/json_modifier.c:2378). ViewDimensions evaluation remains renderer/runtime policy.

Same UI_SEMANTIC_ALIGNMENT_GUIDE path captures the vertical guide token and compute closure under typed payload fields (modules/swiftui/compiler/uiir/json_modifier.c:2378). ViewDimensions-based custom guide execution is not performed by lowering.

Catalogued leaf view; lowers as a stable Map UIIR node and web renders a dedicated stylised map preview surface with coordinate/annotation hooks.

Deprecated initializer; args captured structurally; MapContent/MapAnnotationProtocol builders not decomposed.

Catalogued container; ViewBuilder children lower as UIIR children and web synthesizes a horizontal split stack with vertical dividers between panes.

Content closure lowers as child UIIR nodes; renderer inserts static vertical split dividers between panes.

Catalogued container; ViewBuilder children lower as UIIR children and web synthesizes a vertical split stack with horizontal dividers between panes.

Content closure lowers as child UIIR nodes; renderer inserts static horizontal split dividers between panes.

Leaf UIView node; literal/interpolation/expr-ref args lowered. Web renders; Android renders Text.

String/verbatim text node; @State/expr/subscript arg resolves (web fix 2026-05-30).

Verbatim string captured as Text node; no localization lookup needed.

Key string captured; localization table/bundle/comment args carried generically, no resolver.

LocalizedStringResource calls resolve to their string key in the web UIIR evaluator, so Text(LocalizedStringResource("...")) renders like the key-backed Text overload.

Captured as Text with generic format arg; FormatStyle not executed.

Date + DateStyle args lower on Text; web formats .date/.time/combined date-time display from Date-like values.

ClosedRange<Date>-style range expr lowers on Text; web formats lower/upper date endpoints as a compact date range.

DateInterval arg survives structurally; not formatted.

Timer interval range, pauseTime, countsDown, and showsHours args lower on Text; web formats elapsed/countdown duration from the interval.

AttributedString arg survives as expr; runs as plain text, no attribute runs modeled.

Text(Image(systemName: ...)) lowers as a structured Image call; web TextView renders a compact SF-symbol glyph fallback inline.

Operator + on Text survives as binary expr; concatenated styled-run semantics not modeled as one Text.

Dedicated style metadata family; web tints glyphs, Android maps to Text color.

Style metadata family; common payload fields captured. ShapeStyle gradients are renderer-led.

Style metadata; Font payload captured; web/Android map size/weight.

Style metadata family; weight enum captured and mapped by both renderers.

Dedicated UI_SEMANTIC_FONT_WIDTH; Font.Width arg decomposes to UISemantic.font_width and JSON payload.width (uiir.h:829, chain.c:943, json_modifier.c:1405).

Dedicated UI_SEMANTIC_FONT_DESIGN; Font.Design arg decomposes to UISemantic.font_design and JSON payload.design (uiir.h:830, chain.c:946, json_modifier.c:1412).

Style metadata family (UI_STYLE_BOLD); chain.c:293 defaults UIStyle.style_enabled=true, serialized as payload.enabled in json_modifier.c:909.

Bold style family; chain.c:303 decomposes positional bool into UIStyle.style_enabled, serialized as payload.enabled in json_modifier.c:911.

Style metadata family (UI_STYLE_ITALIC); chain.c:293 defaults UIStyle.style_enabled=true, serialized as payload.enabled in json_modifier.c:909.

Italic style family; chain.c:303 decomposes positional bool into UIStyle.style_enabled, serialized as payload.enabled in json_modifier.c:911.

Dedicated UI_SEMANTIC_MONOSPACED; isActive bool lowered.

Dedicated UI_SEMANTIC_MONOSPACED_DIGIT; flag modifier, empty payload.

Style metadata family; active flag + color captured.

Style metadata family: chain.c stores enabled/pattern/color in UIStyle decoration fields (chain.c:266, chain.c:279); json_modifier.c emits enabled/pattern/color payload (json_modifier.c:715).

Style metadata family; active flag + color captured.

Style metadata family: pattern arg decomposes to UIStyle.decoration_pattern and serializes as payload.pattern.

Dedicated UI_SEMANTIC_KERNING; numeric arg decomposes to UISemantic.text_kerning (uiir.h:639, chain.c:566) and JSON payload.kerning (json_modifier.c:999).

Dedicated UI_SEMANTIC_TRACKING; numeric arg decomposes to UISemantic.text_tracking and JSON payload.tracking.

Dedicated UI_SEMANTIC_BASELINE_OFFSET; numeric/unary numeric arg decomposes to UISemantic.text_baseline_offset and JSON payload.baselineOffset.

Dedicated UI_SEMANTIC_TEXT_SCALE; scale/isEnabled decompose to UISemantic.text_scale + text_scale_enabled (uiir.h:646, chain.c:627) and JSON payload.scale/isEnabled (json_modifier.c:1046).

Dedicated UI_ACCESSIBILITY_SPEECH_ALWAYS_INCLUDES_PUNCTUATION; lowering maps it in modules/swiftui/compiler/lower/chain.c:116, stores default/literal bool in UIAccessibility (include/internal/uiir.h:572), and JSON emits accessibility.payload.alwaysIncludesPunctuation (modules/swiftui/compiler/uiir/json_modifier.c:544).

Dedicated UI_ACCESSIBILITY_SPEECH_SPELLS_OUT_CHARACTERS; catalogued as UIMOD_SPEECH_SPELLS_OUT_CHARACTERS, lowering maps it in modules/swiftui/compiler/lower/chain.c:122, stores default/literal bool in UIAccessibility (include/internal/uiir.h:579), and JSON emits accessibility.payload.spellsOutCharacters (modules/swiftui/compiler/uiir/json_modifier.c:572).

Dedicated UI_ACCESSIBILITY_SPEECH_ADJUSTED_PITCH; lowering maps it in modules/swiftui/compiler/lower/chain.c:118, decomposes numeric pitch in chain.c:157, and JSON emits accessibility.payload.pitch (modules/swiftui/compiler/uiir/json_modifier.c:554).

Dedicated UI_ACCESSIBILITY_SPEECH_ANNOUNCEMENTS_QUEUED; lowering maps it in modules/swiftui/compiler/lower/chain.c:120, stores default/literal bool in UIAccessibility (include/internal/uiir.h:576), and JSON emits accessibility.payload.announcementsQueued (modules/swiftui/compiler/uiir/json_modifier.c:562).

Accessibility metadata family; label stored, no platform a11y tree.

Dedicated UI_ACCESSIBILITY_TEXT_CONTENT_TYPE; lowering maps it in modules/swiftui/compiler/lower/chain.c:120, stores the token in UIAccessibility.text_content_type (include/internal/uiir.h:576), and JSON emits accessibility.payload.textContentType (modules/swiftui/compiler/uiir/json_modifier.c:553).

Dedicated UI_ACCESSIBILITY_HEADING; lowering maps it in modules/swiftui/compiler/lower/chain.c:118, stores the token in UIAccessibility.heading_level (include/internal/uiir.h:575), and JSON emits accessibility.payload.headingLevel (modules/swiftui/compiler/uiir/json_modifier.c:544).

module struct stub exists; nested type metadata currently collapses to the outer Text type in some property contexts, and date formatting runtime is not modeled.

module struct stub; Text underline/strikethrough overloads lower LineStyle pattern/color payloads, but standalone value semantics are not modeled

No standalone nested enum catalog, but underline/strikethrough pattern args lower to UIStyle.decoration_pattern. Other uses remain structural/source.

Nested enum not catalogued standalone, but args to truncationMode(_:) lower to UISemantic.truncation_mode and JSON payload.mode (chain.c:1464, json_modifier.c:1444).

Nested enum not catalogued standalone, but args to textCase(_:) lower to UISemantic.text_case and JSON payload.textCase (chain.c:1479, json_modifier.c:1466).

Nested enum not catalogued standalone, but .default/.secondary args lower as UISemantic.text_scale in textScale(_:isEnabled:). Other standalone uses remain structural/source.

Leaf UIView node; web renders (SF Symbol partial map); Android emits Text([Image]) TODO.

Image node carries typed imageValue with source:"asset" and name; lowering hoists it in modules/swiftui/compiler/lower/view.c:243 / expr.c:691, and JSON emits imageValue in modules/swiftui/compiler/uiir/json_node.c:729.

Dedicated UIImageValue payload: asset name plus numeric variableValue decompose to imageValue.name / imageValue.variableValue (include/internal/uiir.h:659, modules/swiftui/compiler/uiir/json_node.c:648).

Image asset name decomposes into imageValue, and web ImageView resolves the label: Text(...) argument into dedicated image/accessibility label metadata.

Dedicated UIImageValue payload: decorative asset source/name and flag decompose to JSON imageValue.source, imageValue.name, and imageValue.decorative.

Image node carries typed imageValue with source:"system" and symbol name; renderer symbol coverage remains separate.

Dedicated UIImageValue payload: system symbol name plus numeric variableValue decompose to JSON imageValue.name / imageValue.variableValue.

ImageResource arg lowers as a structured expr; web resolves ImageResource(name:) into the same asset-name fallback path as Image("name").

Runtime UIImage arg survives as expr; no bitmap pipeline at lowering.

Runtime NSImage arg survives as expr; macOS-only; no bitmap pipeline.

CGImage runtime arg survives as expr; not rendered from bits at lowering.

Catalogued + dedicated UI_SEMANTIC_RESIZABLE; capInsets/resizingMode carried by label.

Catalogued + dedicated UI_SEMANTIC_RENDERING_MODE; mode enum lowered (e.g. .template).

Catalogued + dedicated UI_SEMANTIC_INTERPOLATION; interpolation enum lowered.

Catalogued + dedicated UI_SEMANTIC_ANTIALIASED; isAntialiased bool lowered.

Dedicated UI_SEMANTIC_SYMBOL_RENDERING_MODE; chain.c:491 maps the modifier and chain.c:1946 decomposes the SymbolRenderingMode token into UISemantic.symbol_rendering_mode (uiir.h:921), with JSON literal payload.mode (json_modifier.c:1586). Renderer behavior remains separate.

Dedicated UI_SEMANTIC_SYMBOL_VARIANT; chain.c:493 maps the modifier and chain.c:1946 decomposes the SymbolVariants token into UISemantic.symbol_variant (uiir.h:922), with JSON literal payload.variant (json_modifier.c:1594). Renderer behavior remains separate.

Dedicated UI_SEMANTIC_SYMBOL_EFFECT; chain.c:600 maps the modifier and chain.c:2500 decomposes effect, options, and literal/default isActive into UISemantic.symbol_effect, symbol_effect_options, and symbol_effect_is_active (uiir.h:997), with JSON payload.effect, payload.options, and payload.isActive (json_modifier.c:1791). Symbol animation playback remains renderer/runtime policy.

Dedicated UI_SEMANTIC_IMAGE_SCALE; chain.c:1946 decomposes the Image.Scale token into UISemantic.image_scale (uiir.h:920) and JSON emits literal payload.scale (json_modifier.c:1579). Renderer behavior remains separate.

module enum stub exists and Image.resizable(..., resizingMode:) already carries the mode contextually; standalone nested enum semantics remain structural.

module enum stub exists and Image.renderingMode(_:) lowers mode args contextually; standalone nested enum semantics remain structural.

module enum stub exists and Image.interpolation(_:) lowers interpolation args contextually; standalone nested enum semantics remain structural.

No standalone value-type catalog, but imageScale(_:) contextually lowers enum/member tokens to UISemantic.image_scale (chain.c:1946, json_modifier.c:1579). Other contexts remain raw args.

module enum stub exists and orientation args survive structurally in CGImage initializers; bitmap/orientation runtime is not modeled.

module enum stub preserves type surface; HDR/dynamic-range rendering behavior is not modeled.

SDK vocab records Image : Transferable, and generic T: Transferable constraints accept Image; transfer/export pipeline runtime is not modeled.

Catalogued view + ViewBuilder; web renders, Android emits TODO (icon+Text row pending).

Title/icon closures lowered as child UIIR nodes.

Title key + image-name captured; web extracts label+SF glyph for tabItem reuse.

Title + SF-symbol name captured; web maps symbol glyph.

Title + ImageResource overload lowers into Label args; web LabelView resolves ImageResource(name:) and renders the label with asset-icon metadata.

Style-config initializer call survives structurally with LabelStyleConfiguration; LabelStyle runtime/config execution is not modeled.

Dedicated UI_SEMANTIC_LABEL_STYLE; style arg lowered (buttonStyle recipe).

module protocol stub exists and .labelStyle(...) captures style tokens; style protocol body execution is not modeled.

module struct stub preserves configuration type metadata; style makeBody/config execution is not modeled.

Concrete/default style token is normalized by ViewNode and web LabelView renders the default title+icon policy.

Concrete style token is normalized by ViewNode; web LabelView renders only the icon glyph.

Concrete style token is normalized by ViewNode; web LabelView renders only the title text.

Concrete style token is normalized by ViewNode; web LabelView renders icon + title.

Catalogued ViewBuilder view; web renders; Android emits Coil-pending TODO.

url/scale args captured as node fields; placeholder/load is renderer-led.

content/placeholder closures lower as child UIIR; image param closure captured.

Phase-closure captured as child builder; Transaction + phase switching not driven at lowering.

Phase enum referenced inside the content closure body; no async load state machine.

Case usable inside builder if/switch; no runtime phase transition.

Case + associated Image lower via builder control flow; no real load.

Case lowers via builder control flow; error never produced at lowering.

Property read survives as member expr in builder; no resolved image.

Property read survives as member expr; always nil at lowering.

Leaf/composite catalogued view; web renders centered VStack; Android pending.

label/description/actions closures lower as child UIIR nodes.

Title + image-name + optional Text desc captured; web renders title (+children).

Title + SF-symbol + optional desc captured; web renders centered.

Static search member; searchable-context binding not driven at lowering.

Static factory; query text arg captured, no search state at lowering.

Catalogued ViewBuilder view; web renders Link; Android emits open-URL TODO.

destination URL captured; label closure lowers as child UIIR; web renders the label and opens the resolved URL on tap.

Title key + destination captured; Label==Text variant; web opens the resolved URL on tap.

Title string + destination captured; Label==Text variant; web opens the resolved URL on tap.

LocalizedStringResource title calls resolve to their string key in the web UIIR evaluator, and Link opens the resolved URL through the shared browser activation path.

Catalogued ViewBuilder view; web renders ShareLink; Android emits share-intent TODO.

Label closure lowers; items/preview closures + Transferable captured generically, no share runtime.

Single URL/String item overload; label child lowers, web share payload resolves item/message plus SharePreview title and image/icon metadata for browser share/copy fallback.

URL/String items overload; label child lowers, web resolves items/subject/message into a share payload and uses navigator.share with clipboard fallback.

DefaultShareLinkLabel variant; default label synthesized by renderer, args generic.

Title-keyed URL/String share variant; web renderer maps title + item/message into a browser share payload. SharePreview metadata remains structural.

Default-label single-item URL/String variant; web renderer synthesizes the Share label and opens browser share/copy fallback with the resolved payload.

module struct stub preserves type metadata and ShareLink preview args survive structurally; share-sheet preview runtime is not modeled.

Structured ShareLink.preview arg resolves title plus Image(systemName:) image/icon metadata; web ShareLink carries it into browser share/copy fallback metadata.

Structured ShareLink.preview arg resolves title plus Image(systemName:) icon metadata; Image==Never overload is represented by an empty image field.

Structured ShareLink.preview arg resolves title plus Image(systemName:) image metadata; Icon==Never overload is represented by an empty icon field.

Title-only SharePreview calls resolve into web ShareLink preview metadata and flow into browser share/copy fallback.

Dedicated semantic metadata kind (lineLimit); both renderers honor it.

Dedicated UI_SEMANTIC_LINE_LIMIT; count/reservesSpace decompose to UISemantic line-limit fields (uiir.h:640, chain.c:603) and JSON payload.count/reservesSpace (json_modifier.c:876).

Dedicated UI_SEMANTIC_LINE_SPACING; numeric arg decomposes to UISemantic.line_spacing and JSON payload.lineSpacing (chain.c:1458, json_modifier.c:1422).

Dedicated UI_SEMANTIC_MULTILINE_TEXT_ALIGNMENT; alignment arg decomposes to UISemantic.multiline_text_alignment and JSON payload.alignment (chain.c:1445, json_modifier.c:1164).

Dedicated UI_SEMANTIC_TRUNCATION_MODE; mode arg decomposes to UISemantic.truncation_mode and JSON payload.mode (chain.c:1464, json_modifier.c:1444).

Dedicated UI_SEMANTIC_ALLOWS_TIGHTENING; bool arg decomposes to UISemantic.allows_tightening and JSON payload.flag (chain.c:1467, json_modifier.c:1452).

Dedicated UI_SEMANTIC_MINIMUM_SCALE_FACTOR; numeric arg decomposes to UISemantic.minimum_scale_factor and JSON payload.factor (chain.c:1473, json_modifier.c:1459).

Dedicated UI_SEMANTIC_TEXT_CASE; enum arg decomposes to UISemantic.text_case and JSON payload.textCase (chain.c:1479, json_modifier.c:1466).

Dedicated UI_SEMANTIC_TEXT_SELECTION; chain.c:495 maps the modifier and chain.c:1946 decomposes the TextSelectability token into UISemantic.text_selection (uiir.h:923), with JSON literal payload.selectability (json_modifier.c:1601). Renderer behavior remains separate.

Dedicated UI_SEMANTIC_TEXT_RENDERER; lowering maps textRenderer in modules/swiftui/compiler/lower/chain.c:733, and JSON preserves the renderer arg as semantic.payload.renderer (modules/swiftui/compiler/uiir/json_modifier.c:2215). TextRenderer protocol execution remains out of scope.

Dedicated UI_SEMANTIC_DYNAMIC_TYPE_SIZE; enum args lower to payload.size, and web text/control renderers apply the exact dynamic-type font scale on the styled node.

Dedicated UI_SEMANTIC_PRIVACY_SENSITIVE; sensitive bool lowers to JSON and web renderer applies privacy redaction unless false.

Dedicated semantic metadata kind; JSON carries payload.reason, and web renderer stores the normalized redaction reason while applying redaction chrome.

Dedicated UI_SEMANTIC_UNREDACTED; zero-arg flag clears web renderer redaction state.

Dedicated UI_SEMANTIC_IMAGE_SCALE; chain.c:1946 decomposes the Image.Scale token into UISemantic.image_scale (uiir.h:920) and JSON emits literal payload.scale (json_modifier.c:1579). Renderer behavior remains separate.

Style metadata family (tint); color payload captured; renderer applies tint.

Font value type; payload fields captured by font() family; struct itself not fully modeled.

Catalogued view (swiftui_stubs.h:109); macOS-only. Action and destination forms are executable in web; NSHelpManager anchor lookup/runtime remains partial.

Catalog override treats the trailing closure as actionIR; web maps it to a synthetic Help ButtonView and executes the action through the normal button path.

Destination URL captured as arg; web maps it to the shared LinkView and opens the resolved help URL on tap.

NSHelpManager anchor arg captured; Help book anchor lookup not executed at lowering.

dedicated direct-action view; action closure lowers to actionIR; label is child UIIR; web/compose render it

primary form; action lowered to actionIR, label children captured

title+action lowered; synthesizes Text label

string title + action lowered

title+symbol Label captured; web synthesizes a LabelView for the symbol/title pair; action lowered

Title + ImageResource label arg lower on Button; web LabelView resolves ImageResource(name:) into icon metadata while preserving actionIR.

LocalizedStringResource title resolves through the shared Text/UIIR evaluator, so the web Button synthesizes the resolved Text label while preserving actionIR.

action lowers to actionIR, label lowers as child UIIR, and role: enum args survive for renderer styling (.destructive red, default/cancel/confirm token preserved).

title+action+role lower together; web Button/List row renderers read the role arg while actionIR remains executable.

role+action lower as a Button node; web synthesizes the default Button label while preserving role styling/actionIR.

PrimitiveButtonStyleConfiguration is a module struct stub and preserves type metadata; style-config initializer execution/rendering is not modeled

module struct stub; role type metadata is preserved and .destructive is read contextually by Button/menu paths, but no standalone value model

static member tokens survive in role args; contextual handling exists for destructive, full ButtonRole value semantics are not modeled

No standalone value-type model, but buttonBorderShape(_:) contextually lowers static/factory tokens to UISemantic.button_border_shape (chain.c:1946, json_modifier.c:1608). Other contexts remain raw args.

No standalone value-type model, but buttonRepeatBehavior(_:) contextually lowers behavior tokens to UISemantic.button_repeat_behavior (chain.c:1946, json_modifier.c:1616). Other contexts remain raw args.

Dedicated UI_SEMANTIC_BUTTON_STYLE; style arg lowers to typed payload and web honors built-in bordered/prominent/glass/plain/default button policies. Custom makeBody remains covered by the style protocol rows.

Same dedicated UI_SEMANTIC_BUTTON_STYLE setter path as the Style protocols section; value tokens are preserved and built-in style tokens affect web rendering. Custom style body execution remains out of scope.

Dedicated UI_SEMANTIC_BUTTON_BORDER_SHAPE; static/factory shape tokens lower to payload.shape, and web ButtonView applies capsule/rounded-rectangle/circle geometry for styled buttons.

Dedicated UI_SEMANTIC_BUTTON_REPEAT_BEHAVIOR; chain.c:499 maps the modifier and chain.c:1946 decomposes behavior tokens into UISemantic.button_repeat_behavior (uiir.h:925), with JSON literal payload.behavior (json_modifier.c:1616). Renderer behavior remains separate.

Dedicated UI_SEMANTIC_BUTTON_SIZING; chain.c:509 maps the modifier and chain.c:1946 decomposes ButtonSizing tokens into UISemantic.button_sizing (uiir.h:930), with JSON literal payload.sizing (json_modifier.c:1654). Renderer behavior remains separate.

module protocol stub; buttonStyle(_:) preserves style tokens, but custom makeBody execution is not modeled

module protocol stub; primitive button style tokens/config types are preserved, but protocol execution is not modeled

Concrete style token normalizes to bordered; web ButtonView renders the bordered pill policy.

Concrete style token normalizes to borderedProminent; web ButtonView renders accent fill, white text, capsule sizing.

Concrete style token normalizes to borderless; web ButtonView keeps the text-only/default policy.

Concrete style token normalizes to plain; web ButtonView keeps text-only sizing without pill padding.

Concrete/default style token normalizes to automatic; web ButtonView uses the default render path.

Concrete Liquid Glass style tokens normalize to glass / glassProminent; web ButtonView applies the existing glass/pill policies.

control-binding view; isOn Binding<Bool> lowered to typed control-binding metadata; web/compose render tap-to-toggle

isOn binding resolved from lowered state_ref_idx; label child captured

title + bool binding lowered to control-binding metadata

string title + bool binding lowered

symbol label + binding captured; web renders the leading SF symbol/label alongside the switch

Title + ImageResource label arg lower on Toggle; web resolves the asset icon metadata and renders it next to the bound switch.

captured as Toggle; multi-source KeyPath binding not modeled, mixed-state runtime is renderer-led

ToggleStyleConfiguration is a module struct stub and preserves type metadata; style-config initializer execution is not modeled

Dedicated UI_SEMANTIC_TOGGLE_STYLE; style arg lowers to typed payload and web ToggleView honors built-in automatic/switch policy.

module protocol stub; toggleStyle(_:) preserves style tokens, but style protocol execution is not modeled

Concrete style token normalizes to switch; web ToggleView renders the switch policy.

module struct stub and style token surface; button-toggle rendering semantics are not modeled

Concrete style token normalizes to automatic; web ToggleView keeps the default switch policy.

control-binding view; value Binding lowered; web drag updates bound @State, compose renders

value binding + bounds lowered; onEditingChanged closure captured as action

value+bounds+step lowered to control-binding metadata

value binding captured; min/max value labels children captured but renderer shows bar only

value binding captured; neutralValue/enabledBounds/ticks builder not modeled

module struct stub preserves generic type metadata; slider tick rendering/comparison semantics are not modeled

module protocol stub; tick builder protocol execution is not modeled

module struct stub preserves builder type metadata; tick result-builder lowering remains unmodeled

Dedicated UI_SEMANTIC_SLIDER_THUMB_VISIBILITY; chain.c:511 maps the modifier and chain.c:1946 decomposes the Visibility token into UISemantic.slider_thumb_visibility (uiir.h:931), with JSON literal payload.visibility (json_modifier.c:1662). Renderer behavior remains separate.

control-binding view; value binding lowered; web stepperAdjust ± clamps to in: range by step:, compose pending

label captured; onIncrement/onDecrement closures captured as actions, manual-callback form less directly modeled

value binding + step lowered; web stepperAdjust mutates bound @State

value+range+step lowered; web clamps to in: range (0..10 unit-tested)

title + value/range/step lowered to control-binding metadata

value binding captured; format: ParseableFormatStyle not modeled

control-binding view; text Binding<String> lowered; web uses prompt(), onSubmit fires after commit, binding from state_ref_idx

title + text binding lowered to typed control-binding metadata

string title + text binding lowered

title+text+prompt captured; prompt Text approximated

text binding + label child captured

text binding lowers to typed control-binding metadata; prompt Text(...) is preserved and web uses it as placeholder, while .vertical axis selects a taller multiline-style field.

Text and selection bindings lower as args; web keeps prompt/axis behavior and writes a collapsed {start,end} selection to the selection binding after text commit.

captured as TextField; value+format ParseableFormatStyle binding not modeled, treated as text

captured as TextField; Formatter binding not modeled

text binding lowered; onCommit/onEditingChanged closures captured as actions

Dedicated UI_SEMANTIC_TEXT_FIELD_STYLE; style arg lowers to typed payload and web TextFieldView honors built-in automatic/plain/rounded/square policies.

module protocol stub; textFieldStyle(_:) preserves style tokens, but style protocol execution is not modeled

Concrete style token normalizes to roundedBorder; web TextFieldView draws rounded border chrome.

Concrete style tokens normalize to plain / automatic; web TextFieldView applies plain no-chrome and default separator policies.

Dedicated UI_SEMANTIC_KEYBOARD_TYPE; type enum lowered (→HTML input type).

Dedicated UI_SEMANTIC_TEXT_CONTENT_TYPE; contentType enum lowered (→autocomplete attr).

Dedicated UI_SEMANTIC_TEXT_INPUT_AUTOCAPITALIZATION; autocapitalization enum lowered.

Dedicated UI_SEMANTIC_AUTOCORRECTION_DISABLED; disabled bool lowered (→spellcheck attr).

Dedicated UI_SEMANTIC_SUBMIT_LABEL; label enum lowered (→enterkeyhint).

module struct stub; submitLabel(_:) contextually lowers submit label tokens, no standalone value model

Dedicated UI_SEMANTIC_TEXT_INPUT_COMPLETION; completion string lowered.

Dedicated UI_SEMANTIC_TEXT_INPUT_SUGGESTIONS; lowering maps textInputSuggestions in modules/swiftui/compiler/lower/chain.c:880, and JSON preserves the suggestions arg as semantic.payload.suggestions (modules/swiftui/compiler/uiir/json_modifier.c:2629).

control-binding view; text Binding<String> lowered; web renders masked field, binding from state_ref_idx

title + text binding lowered to control-binding metadata

title+text+prompt captured

text binding + label child captured

text binding lowered; onCommit closure captured as action

control-binding view; text Binding<String> lowered; web renders via TextField reuse (TextEditor->TextField)

text binding lowered to typed control-binding metadata

Text + selection bindings lower as args; web maps TextEditor to multiline text input and writes a collapsed {start,end} selection after commit.

captured; AttributedString text + attributed selection binding not modeled

Dedicated UI_SEMANTIC_TEXT_EDITOR_STYLE; style arg is preserved as typed payload.style (uiir.h:866, chain.c:697, json_modifier.c:2258). Style protocol execution remains out of scope.

module protocol stub; textEditorStyle(_:) preserves style tokens, but style execution is not modeled

control-binding view; selection Binding lowered; web renders + resolves binding (showed var name before fix)

selection binding lowered; content children (tag-able rows) captured

title + selection binding + content lowered

string title + selection binding + content lowered

symbol label + selection binding + content captured

captured as Picker; multi-source KeyPath selection not modeled

selection binding captured; currentValueLabel slot not specially modeled

Dedicated UI_SEMANTIC_PICKER_STYLE; style arg lowered (buttonStyle recipe).

module protocol stub; pickerStyle(_:) preserves style tokens, but style protocol execution is not modeled

Concrete style token normalizes to segmented; web PickerView renders the segmented control policy.

Concrete style token normalizes to wheel; web PickerView renders a wheel-style selected center row.

Concrete style token normalizes to menu; web PickerView renders the menu-row policy with tagged options.

Concrete style tokens normalize to inline/palette/navigationLink/automatic; web PickerView renders inline rows, palette segmented controls, or menu-row navigation policy.

Concrete style token normalizes to radioGroup; web PickerView renders radio option rows.

macOS-only; horizontalRadioGroupLayout catalogued as generic UIMod only

watchOS-only; defaultWheelPickerItemHeight catalogued as generic UIMod only

control-binding view; selection Binding<Date> lowered; tvOS unavailable; web renders DatePickerView from bound state, compose renders

date binding lowered; label child captured; web consumes .date / .hourAndMinute displayedComponents for the accessory text.

title + date binding lowered to control-binding metadata; web formats the bound date/time value for the row accessory.

date binding captured; web display resolves in: ClosedRange<Date>-style bounds and clamps the rendered bound value before formatting displayedComponents.

date binding captured; compiler emits start... as a range expr with open upper bound, and web clamps the rendered value to the lower bound before formatting displayedComponents.

module struct stub preserves type metadata; web DatePicker consumes simple .date and .hourAndMinute tokens, but full OptionSet math is not modeled.

Dedicated UI_SEMANTIC_DATE_PICKER_STYLE; style arg lowered (buttonStyle recipe).

module protocol stub; datePickerStyle(_:) preserves style tokens, but style protocol execution is not modeled

Date picker style structs resolve as .datePickerStyle tokens; web DatePickerView renders compact/default row, graphical calendar-grid, and wheel policies.

in catalog as leaf/stub view; web reuses DatePickerView single-date approximation; Set<DateComponents> binding not modeled

captured as view; multi-date Set binding not modeled, single-date approximation

captured; Set selection + range bounds not modeled

control-binding view + leaf; selection Binding<Color> lowered; tvOS/watchOS unavailable; web renders the swatch from bound color state.

color binding lowered; label child captured; web reads hex/named/object color values from state. supportsOpacity picker UI remains renderer policy.

title + color binding lowered to control-binding metadata; web resolves the bound value for the accessory swatch.

CGColor binding lowers as valueType=CGColor; web ColorPicker reads bound red/green/blue/alpha object colors and renders the swatch like Color bindings.

dedicated view kind; web/compose render bar/spinner

indeterminate spinner captured as ProgressView node

determinate value/total lowered; web normalizes value / total and draws the clamped fraction as a bar.

title + value/total lowered

labeled indeterminate captured

captured as ProgressView; timer-interval Date range not modeled, no live countdown

captured; Foundation Progress object not modeled

Dedicated UI_SEMANTIC_PROGRESS_VIEW_STYLE; style arg lowers to typed payload and web ProgressView honors built-in automatic/circular/linear policies.

module protocol stub; progressViewStyle(_:) preserves style tokens, but style protocol execution is not modeled

Concrete/default style tokens normalize to linear / circular / automatic; web ProgressView chooses bar or spinner policy from the style.

dedicated view kind in catalog; tvOS unavailable; web renders -> ProgressView (value as a bar)

value/bounds + label captured; web normalizes value against the in: range and draws the clamped fraction as a bar.

value/bounds captured; currentValueLabel slot not specially modeled

value captured; min/max/marked label slots not specially modeled

Dedicated UI_SEMANTIC_GAUGE_STYLE; style arg lowered (buttonStyle recipe).

module protocol stub; gaugeStyle(_:) preserves style tokens, but style protocol execution is not modeled

Gauge style structs resolve as .gaugeStyle tokens; web Gauge renders linear and circular ring policies.

ViewBuilder + control view in catalog; watchOS unavailable; web renders content (Menu->Group reuse)

content + label children lowered as child UIIR

title + content children captured

symbol label + content children captured

content children + primaryAction closure captured as action

MenuStyleConfiguration is a module struct stub and preserves type metadata; style-config initializer execution is not modeled

Dedicated UI_SEMANTIC_MENU_STYLE; style arg lowered (buttonStyle recipe).

module protocol stub; menuStyle(_:) preserves style tokens, but style protocol execution is not modeled

Menu style structs resolve as .menuStyle tokens; web Menu synthesizes a trigger Button and maps button/borderless/default policies to Button chrome.

Dedicated UI_SEMANTIC_MENU_ORDER; chain.c:501 maps the modifier and chain.c:1946 decomposes MenuOrder tokens into UISemantic.menu_order (uiir.h:926), with JSON literal payload.order (json_modifier.c:1623). Renderer behavior remains separate.

No standalone value-type model, but menuOrder(_:) contextually lowers order tokens to UISemantic.menu_order (chain.c:1946, json_modifier.c:1623). Other contexts remain raw args.

Dedicated UI_SEMANTIC_MENU_INDICATOR; chain.c:503 maps the modifier and chain.c:1946 decomposes the Visibility token into UISemantic.menu_indicator_visibility (uiir.h:927), with JSON literal payload.visibility (json_modifier.c:1630). Renderer behavior remains separate.

Dedicated UI_SEMANTIC_MENU_ACTION_DISMISS_BEHAVIOR; chain.c:505 maps the modifier and chain.c:1946 decomposes behavior tokens into UISemantic.menu_action_dismiss_behavior (uiir.h:928), with JSON literal payload.behavior (json_modifier.c:1638). Renderer behavior remains separate.

No standalone value-type model, but menuActionDismissBehavior(_:) contextually lowers behavior tokens to UISemantic.menu_action_dismiss_behavior (chain.c:1946, json_modifier.c:1638). Other contexts remain raw args.

Deprecated macOS-only view is catalogued and web/UIIR synthesizes a trigger Button, preserving title/systemImage args, custom label child, action payloads, and .menuButtonStyle token mods.

module protocol stub; menuButtonStyle(_:) preserves style tokens, but deprecated style protocol execution is not modeled

Concrete deprecated style struct resolves as a .menuButtonStyle token; web MenuButton normalizes it to pull-down trigger Button chrome.

in catalog as stub view; iOS-only; web renders -> ButtonView with 'Edit' label; no EditMode runtime

captured as EditButton view node; EditMode environment toggle not modeled

in catalog as stub view; tvOS/watchOS unavailable; web renders -> ButtonView 'Paste'; no clipboard runtime

captured as view; UTType list + NSItemProvider payload not modeled

captured as view; Transferable payload binding not modeled

Captured as a RenameButton view node; web preserves identity, synthesizes the default label, and executes the nearest closure-based .renameAction on tap.

captured as RenameButton view node; web preserves the RenameButton identity, synthesizes the default label, and executes the nearest closure-based .renameAction on tap.

Generated catalog marks renameAction as action-capable (include/generated/swiftui_stubs.h:543); lowering maps it to UI_SEMANTIC_RENAME_ACTION (modules/swiftui/compiler/lower/chain.c:932) and JSON emits semantic.payload.mode=focus plus payload.isFocused for the FocusState binding (modules/swiftui/compiler/uiir/json_modifier.c:1888).

Same UI_SEMANTIC_RENAME_ACTION path with semantic.payload.mode=action; closure overload maps to UI_EVENT_PAYLOAD_RENAME (modules/swiftui/compiler/lower/chain.c:51) and lowers the closure to actionIR.

Dedicated UI_SEMANTIC_CONTROL_SIZE; enum/member tokens lower to payload.size, and web Button/Toggle/TextField renderers apply mini/small/regular/large/extraLarge sizing policies.

Dedicated UI_SEMANTIC_CONTROL_GROUP_STYLE; style arg is preserved as typed payload.style (chain.c:711, json_modifier.c:2265).

labelsHidden is a dedicated semantic modifier with lowered metadata

tint is a dedicated style metadata modifier; color payload captured (SwiftUICore)

Dedicated UI_SEMANTIC_DISABLED; chain.c:1753 decomposes literal Bool into UISemantic.disabled (uiir.h:872) and JSON emits payload.isDisabled (json_modifier.c:1427). SwiftUICore decl.

Dedicated UI_SEMANTIC_KEYBOARD_SHORTCUT via semantic_kind_for_modifier in modules/swiftui/compiler/lower/chain.c:654; key/modifier fields live in include/internal/uiir.h:946; JSON emits payload.key, payload.keyKind, and payload.modifiers in modules/swiftui/compiler/uiir/json_modifier.c:2094. Shortcut dispatch remains renderer/runtime policy.

watchOS-only; digitalCrownRotation catalogued as generic UIMod only

Constructor calls survive as generic SwiftUI view tokens; AuthenticationServices/platform sign-in runtime is not modeled.

Catalogued container (swiftui_stubs.h:137); watchOS 9.0+. ViewBuilder label; iOS 18 (unavailable on macOS). Captured structurally; text-input dialog trigger not modeled.

Title/prompt/onSubmit captured; text-input submission action carried generically, no text-input dialog runtime.

Catalog view (UINodeKind), ViewBuilder container; listStyle dedicated semantic kind; web renders inset/plain card, compose AppleList.

Static-content List lowered; children become row UIIR nodes; web+compose render.

Data arg and rowContent lower on the List node; web wraps them in a synthetic ForEach and materializes one list row per collection element with row parameter binding.

id: keypath is preserved and passed to the synthetic ForEach identity path; web iterates the collection into stable keyed list rows.

selection Binding is lowered and web List rows expose tap actions that toggle the row value in a Set-like selection binding; selected rows get renderer feedback.

selection Binding is lowered and web List rows expose tap actions that write the selected row value into the optional/single selection binding.

hierarchical List builds OutlineGroup; OutlineGroup catalogued but only structural; recursive tree not expanded by renderers.

Range expression lowers on the List node; web converts it to a synthetic ForEach range and materializes one row per integer. Selection binding remains covered by the selection-specific rows above.

binding-of-collection editable List; binding captured, edit/move/delete runtime not implemented.

Catalog view + dedicated ViewBuilder for-each lowering; range & collection iteration; web has identity-keyed diffing; compose forEach{}.

Identifiable collection iteration fully lowered; web resolves @State data, stable per-row ids for transitions.

id: keypath lowered as foreachIdentity; web rewrites cloned row ids by key; compose forEach (id key not yet emitted).

Constant/dynamic range iteration fully lowered; web resolves 0..<count per-pass; compose (lo until hi).

editActions synthesizes delete/move; arg captured but EditActions semantics + binding-element edits are runtime, not modeled.

binding+id+editActions form; structurally captured; edit-action synthesis not executed.

DynamicViewContent gives onDelete/onMove/onInsert on ForEach; all three callbacks now lower to typed edit action payloads, while collection edit execution remains renderer/runtime policy.

Catalog view (UINodeKind), ViewBuilder container; header/footer children lowered; web renders, compose maps to grouped section.

header/footer/content slots lowered as child UIIR nodes.

title-string Section lowered; header becomes Text node.

collapsible Section lowers typed isExpanded control binding; web renderer draws disclosure header affordance and hides/shows section rows through the same toggle actionIR path.

Section inside Table groups rows; TableRowBuilder content not modeled, structural at best.

Catalog view + typed control-binding metadata; web uses DisclosureGroupView with collapsed/expanded measurement, label rendering, and tap-to-toggle behavior.

Content and label closures lower as child UIIR nodes; renderer uses the last child as label and earlier children as collapsible content.

isExpanded lowers as writable Bool control binding (target=isExpanded); web toggles the bound state and remeasures content.

String-title form lowers the title arg and content children; renderer synthesizes the label Text.

Title + binding form lowers both label arg and writable isExpanded binding; web click handling toggles expanded/collapsed state.

Catalog view; web OutlineGroupView resolves data plus children key path, recursively materializes row content, and indents child rows. Collapse/expand affordances are not modeled.

data/root arg and children key path are consumed by the web recursive outline renderer with per-row item binding.

id+children key paths lower on the OutlineGroup node; web uses explicit id: key path values for stable recursive row identity while binding each row item into content.

Table-row overload calls preserve data and children key path structurally; recursive table row expansion remains runtime-only.

Catalog view as stable UIIR kind; web renders header plus simple data rows for Table(data) + TableColumn(_:value:); custom rows/sort/selection remain partial.

columns/rows result-builder slots; TableColumnBuilder/TableRowBuilder not modeled; web shows headers only.

selection Binding captured structurally; no row selection runtime; rows not rendered.

data arg resolves through UIIR props/state; web renderer materializes rows for simple TableColumn(_:value:) key-path text columns.

sortOrder Binding captured; SortComparator + column sort runtime not modeled.

columnCustomization Binding captured; TableColumnCustomization is a stub kind, no customization runtime.

Catalog leaf view (stub kind); web renders bold title in header preview; content/value keypath not data-bound.

title + per-row content closure; only title used (header preview); content closure not applied per row.

value key path is consumed by the web Table(data) renderer to populate text cells from each row item.

sortable value column; keypath + content captured; sorting/data-binding not modeled.

explicit comparator column; comparator + keypath are structural args; no sort runtime.

sortUsing form; comparator captured structurally; sort behavior not executed.

module struct stub preserves type metadata; dynamic table-column expansion remains structural only.

Constructor calls preserve data and builder closure structurally; dynamic column expansion is not executed.

Constructor calls preserve data/id key path and builder closure structurally; dynamic column expansion is not executed.

module struct stub preserves type metadata; row value/data binding is not materialized by renderers.

Constructor calls preserve row value structurally; table row data binding/rendering is not materialized.

Registered as stable stub kind in catalog; protocol not executed; structural placeholder only.

Stable stub kind; gives onDelete/onMove/onInsert on rows but no edit runtime; structural only.

Stable stub kind in catalog; expandable table row not rendered; structural placeholder.

Stable stub kind; column visibility/order state value, no customization runtime.

module struct stub preserves type metadata; column customization runtime/order persistence is not modeled.

Stable stub kind; placeholder for empty header/footer rows; no render.

module struct stub preserves type metadata; table column alignment runtime remains structural.

module result-builder stub preserves type metadata; builder evaluation is not executed.

module result-builder stub preserves type metadata; builder evaluation is not executed.

Catalog view; web renders ButtonView with system 'Edit' label; edit-mode toggle behavior is renderer-led.

no-arg ctor lowered as a leaf button node.

module enum stub preserves edit-mode type metadata; environment resolver/edit runtime is not modeled.

module struct stub preserves edit-action type metadata; delete/move synthesis remains renderer/runtime policy.

Dedicated semantic modifier kind; web honors .plain (edge-to-edge) vs grouped/inset/sidebar card; ListStyle protocol itself not executed.

Dedicated UI_SEMANTIC_LIST_ROW_INSETS; chain.c:529 maps the modifier and chain.c:2072 decomposes literal EdgeInsets into UISemantic.list_row_inset_top/leading/bottom/trailing (uiir.h:949-uiir.h:953), with JSON payload.insets (json_modifier.c:240, case at json_modifier.c:1767). Nil/dynamic insets fall back to the raw arg. Renderer behavior remains separate.

Dedicated UI_SEMANTIC_LIST_ROW_INSETS; chain.c:2072 decomposes the Edge.Set overload into UISemantic.list_row_inset_edges (uiir.h:955) and numeric UISemantic.list_row_inset_length (uiir.h:957), with JSON payload.edges/payload.length (json_modifier.c:1767). Nil/dynamic length falls back to raw args. Renderer behavior remains separate.

Dedicated UI_SEMANTIC_LIST_ROW_BACKGROUND; lowering maps listRowBackground in modules/swiftui/compiler/lower/chain.c:750, and JSON emits the row background view/style as semantic.payload.background (modules/swiftui/compiler/uiir/json_modifier.c:2283). Renderer treatment remains separate.

Dedicated UI_SEMANTIC_LIST_ROW_SEPARATOR; chain.c:517 maps the modifier and chain.c:1999 decomposes Visibility into UISemantic.list_row_separator_visibility plus edges: into top/bottom UIEdgeSet (uiir.h:937, uiir.h:939), with JSON literal payload.visibility/payload.edges (json_modifier.c:1687). Missing edges default to top+bottom; renderer behavior remains separate.

Dedicated UI_SEMANTIC_LIST_ROW_SEPARATOR_TINT; chain.c:521 maps the modifier and chain.c:1999 decomposes the first Color/ShapeStyle arg into UISemantic.color_value (uiir.h:974) plus edges: into top/bottom UIEdgeSet (uiir.h:944), with JSON payload.colorValue/payload.edges (json_modifier.c:1719). Missing edges default to top+bottom; unresolved/nil color falls back to the raw color arg. Renderer behavior remains separate.

Dedicated UI_SEMANTIC_LIST_SECTION_SEPARATOR; chain.c:519 maps the modifier and chain.c:1999 decomposes Visibility into UISemantic.list_section_separator_visibility plus edges: into top/bottom UIEdgeSet (uiir.h:940, uiir.h:942), with JSON literal payload.visibility/payload.edges (json_modifier.c:1703). Missing edges default to top+bottom; renderer behavior remains separate.

Dedicated UI_SEMANTIC_LIST_SECTION_SEPARATOR_TINT; chain.c:523 maps the modifier and chain.c:1999 decomposes the first Color/ShapeStyle arg into UISemantic.color_value (uiir.h:974) plus edges: into top/bottom UIEdgeSet (uiir.h:946), with JSON payload.colorValue/payload.edges (json_modifier.c:1734). Missing edges default to top+bottom; unresolved/nil color falls back to the raw color arg. Renderer behavior remains separate.

Dedicated UI_SEMANTIC_LIST_ROW_SPACING; chain.c:513 maps the modifier and chain.c:1978 decomposes numeric CGFloat into UISemantic.list_row_spacing (uiir.h:933), with JSON literal payload.spacing (json_modifier.c:1669). Non-literal/nil spacing remains as arg fallback. Renderer behavior remains separate.

Dedicated UI_SEMANTIC_LIST_SECTION_SPACING; chain.c:515 maps the modifier and chain.c:1978 decomposes ListSectionSpacing tokens into UISemantic.list_section_spacing_kind (uiir.h:934), with JSON literal payload.spacing (json_modifier.c:1676). macOS unavailable; renderer behavior remains separate.

Dedicated UI_SEMANTIC_LIST_SECTION_SPACING; chain.c:515 maps the modifier and chain.c:1978 decomposes numeric CGFloat into UISemantic.list_section_spacing (uiir.h:936), with JSON literal payload.spacing (json_modifier.c:1676). macOS unavailable; renderer behavior remains separate.

Dedicated UI_SEMANTIC_LIST_ITEM_TINT; chain.c:527 maps the modifier and chain.c:2124 decomposes ListItemTint tokens/factories into UISemantic.list_item_tint (uiir.h:948), while the Color overload and fixed/preferred factory colors lower into UISemantic.color_value (uiir.h:974; nested call extraction at chain.c:2107). JSON emits payload.tint and/or payload.colorValue (json_modifier.c:1756). Renderer behavior remains separate.

In catalog as generic UIMod; visionOS hover effect, no iOS/macOS gate; structural arg only.

Dedicated UI_SEMANTIC_SWIPE_ACTIONS; chain.c:531 maps the modifier and chain.c:2276 decomposes edge: into UISemantic.swipe_actions_edge (uiir.h:978) plus allowsFullSwipe: into UISemantic.swipe_actions_allows_full_swipe (uiir.h:980). Defaults are captured as trailing/true; JSON emits payload.edge/payload.allowsFullSwipe (json_modifier.c:2033). The action content closure remains structurally captured in args; swipe runtime is renderer policy.

Dedicated UI_SEMANTIC_MOVE_DISABLED; chain.c:461 maps the modifier and chain.c:1852 decomposes Bool into UISemantic.move_disabled (uiir.h:896), with JSON literal payload.isDisabled (json_modifier.c:1478). Renderer/runtime behavior remains separate.

Dedicated UI_SEMANTIC_DELETE_DISABLED; chain.c:463 maps the modifier and chain.c:1855 decomposes Bool into UISemantic.delete_disabled (uiir.h:898), with JSON literal payload.isDisabled (json_modifier.c:1485). Renderer/runtime behavior remains separate.

Dedicated UI_SEMANTIC_SELECTION_DISABLED; chain.c:465 maps the modifier and chain.c:1836 captures the default true / chain.c:1858 decomposes explicit Bool into UISemantic.selection_disabled (uiir.h:900), with JSON literal payload.isDisabled (json_modifier.c:1492). Renderer/runtime behavior remains separate.

Dedicated action-catalog modifier; closure lowers to actionIR with await/refresh payload; pull-to-refresh execution is renderer policy.

Dedicated UI_SEMANTIC_TABLE_COLUMN_HEADERS; chain.c:507 maps the modifier and chain.c:1946 decomposes the Visibility token into UISemantic.table_column_headers_visibility (uiir.h:929), with JSON literal payload.visibility (json_modifier.c:1646). Renderer behavior remains separate.

Dedicated UI_SEMANTIC_TABLE_STYLE; style arg lowered (buttonStyle recipe).

Dedicated UI_SEMANTIC_DISCLOSURE_GROUP_STYLE; style arg lowered (buttonStyle recipe).

Style protocol captured via .listStyle metadata (.plain/grouped/inset/sidebar honored); protocol body not executed.

module protocol stub exists and .tableStyle(...) captures style tokens; makeBody execution is not modeled.

module protocol stub exists and .disclosureGroupStyle(...) captures style tokens; makeBody execution is not modeled.

module struct stub preserves configuration type metadata; style body/config execution is not modeled.

Catalog view (UINodeKind) used as OutlineGroup subgroup placeholder; structural node, tree recursion renderer-led.

Catalog view (UINodeKind); wraps ForEach editActions content; structural node, edit runtime absent.

Protocol surfaces onDelete/onMove/onInsert; callbacks lower to typed UIIR action payloads, but protocol behavior/edit runtime remains renderer-led.

Added to generated modifier catalog as action-capable (include/generated/swiftui_stubs.h:659, include/generated/uiir_kinds.h:641); lowering maps it to UI_EVENT_PAYLOAD_DELETE_ITEMS (modules/swiftui/compiler/lower/chain.c:59), captures the closure as actionIR (chain.c:3630), and JSON emits eventPayload.kind=deleteItems with typed IndexSet indices field (modules/swiftui/compiler/uiir/json_action.c:360). Collection edit execution remains renderer/runtime policy.

Added to generated modifier catalog as action-capable (include/generated/swiftui_stubs.h:660, include/generated/uiir_kinds.h:642); lowering maps it to UI_EVENT_PAYLOAD_MOVE_ITEMS (modules/swiftui/compiler/lower/chain.c:61), captures closure params/actionIR (chain.c:3630), and JSON emits eventPayload.kind=moveItems with typed IndexSet source and Int destination fields (modules/swiftui/compiler/uiir/json_action.c:364). Collection edit execution remains renderer/runtime policy.

Added to generated modifier catalog as action-capable (include/generated/swiftui_stubs.h:661, include/generated/uiir_kinds.h:643); lowering maps it to UI_EVENT_PAYLOAD_INSERT_ITEMS/CollectionInsert (modules/swiftui/compiler/lower/chain.c:75, chain.c:128), captures closure params/actionIR (chain.c:3789), JSON emits typed index and [NSItemProvider] item-provider fields (modules/swiftui/compiler/uiir/json_action.c:407), and UI_SEMANTIC_ON_INSERT preserves of: as semantic.payload.supportedContentTypes (modules/swiftui/compiler/lower/chain.c:879, modules/swiftui/compiler/uiir/json_modifier.c:3094). Collection insert execution remains renderer/runtime policy.

Dedicated UI_SEMANTIC_BADGE; chain.c:530 maps the modifier and chain.c:2266 decomposes integer literals into UISemantic.badge_count (uiir.h:976) and string/interpolated literals into UISemantic.badge_text (uiir.h:977). JSON emits payload.count or payload.text with raw fallback for dynamic values (json_modifier.c:2023). Renderer behavior remains separate.

Dedicated UI_SEMANTIC_HEADER_PROMINENCE; chain.c:525 maps the modifier and chain.c:1946 decomposes the Prominence token into UISemantic.header_prominence (uiir.h:947), with JSON literal payload.prominence (json_modifier.c:1749). Renderer behavior remains separate.

No standalone value-type catalog, but listItemTint(_:) contextually lowers .monochrome plus .fixed/.preferred factory names into UISemantic.list_item_tint, and factory Color args into UISemantic.color_value (chain.c:2124, json_modifier.c:1756). Other contexts remain raw source.

No standalone value-type model, but listSectionSpacing(_:) contextually lowers tokens such as .default/.compact to UISemantic.list_section_spacing_kind (chain.c:1978, json_modifier.c:1676). Other contexts remain raw args; macOS unavailable.

In view catalog (ViewBuilder family); UINodeKind + nav metadata. Stack/path runtime not implemented; renderer-led.

root closure lowers to child UIIR; captured as NavigationStack node.

path Binding captured as control-binding metadata; NavigationPath runtime not modeled.

binding captured structurally; typed collection path routing is renderer/runtime, not modeled.

synthesized node body; not an executed SwiftUI body, captured structurally.

In view catalog (ViewBuilder family); deprecated by Apple but captured as nav node with metadata.

content closure lowers to child UIIR nodes.

In view catalog (ViewBuilder family); UINodeKind present. Column layout/runtime is renderer-led.

three view-builder slots lower to child UIIR nodes.

Binding captured as state_ref_idx; web NavigationSplitView reads the bound NavigationSplitViewVisibility and filters active columns for all/doubleColumn/detailOnly.

two-column form; slots lower to child nodes.

Binding captured as state_ref_idx; web compact-width NavigationSplitView selects sidebar/content/detail from the bound preferred compact column.

Combined binding form lowers both visibility and preferred compact column; web renderer applies visibility filtering and compact-column selection.

In view catalog AND control-binding family (12 views); destination/value/label captured. Routing is renderer-led.

destination + label closures lower to child UIIR nodes.

value arg lowers into ButtonView.navValue; web click handling routes it through .navigationDestination(for:) via navToValue.

Text label + value route lower as a value-based navigation link; web resolves the matching navigationDestination closure on tap.

String label + value route lower as a value-based navigation link; web resolves the matching navigationDestination closure on tap.

convenience Text label + destination closure; lowers to nav node.

string-title convenience; destination lowers to child nodes.

deprecated isActive binding captured; programmatic activation runtime not modeled.

deprecated tag/selection bindings captured; selection-driven nav runtime absent.

Added to the generated modifier catalog as UIMOD_IS_DETAIL_LINK (include/generated/swiftui_stubs.h:658, include/generated/uiir_kinds.h:640); lowering maps it to UI_NAVIGATION_DETAIL_LINK (modules/swiftui/compiler/lower/chain.c:352), and JSON emits navigation.kind=detailLink plus payload.isDetailLink (modules/swiftui/compiler/uiir/json_action.c:484). Deprecated/iOS-only navigation behavior remains renderer policy.

node body synthesized; not executed SwiftUI body.

Listed in coverage Navigation value/runtime APIs; not in view catalog. Captured structurally, path runtime not implemented.

member read survives as a structured expression on NavigationPath; no live path stack/count runtime is evaluated.

member read survives as a structured expression on NavigationPath; no live path stack runtime is evaluated.

member read survives structurally and nested CodableRepresentation has a module struct stub; encode/decode runtime is not implemented.

module struct stub preserves the type and NavigationPath() survives as a structured call expression; path storage/runtime is not implemented.

constructor call and sequence arg survive structurally; path element storage/runtime is not implemented.

mutating call survives as generic actionIR.call; navigation path writeback/runtime is not implemented.

mutating call survives as generic actionIR.call; navigation path writeback/runtime is not implemented.

module struct stub preserves nested type surface; NavigationPath Codable encode/decode runtime is not modeled.

Listed in coverage Navigation value/runtime APIs; cases are executed contextually through NavigationSplitView(columnVisibility:), but standalone value/Codable semantics remain partial.

Contextually used by NavigationSplitView(columnVisibility:); web renderer treats automatic as the full column set unless compact preferred-column policy applies.

Contextually used by NavigationSplitView(columnVisibility:); web renderer keeps all available split columns active.

Contextually used by NavigationSplitView(columnVisibility:); web renderer shows sidebar + detail columns for three-column split views.

Contextually used by NavigationSplitView(columnVisibility:); web renderer shows only the detail column.

Listed in coverage Navigation value/runtime APIs; cases are executed contextually through preferredCompactColumn, but standalone Hashable/value semantics remain partial.

Contextually used by preferredCompactColumn; web compact-width split view selects the sidebar column.

Contextually used by preferredCompactColumn; web compact-width split view selects the content column.

Contextually used by preferredCompactColumn; web compact-width split view selects the detail column.

Listed in coverage Navigation value/runtime APIs; macOS-unavailable. Only nested TitleDisplayMode used by a typed modifier.

consumed as enum arg by navigationBarTitleDisplayMode typed modifier; enum itself not catalogued.

Contextually lowered by navigationBarTitleDisplayMode(_:) / deprecated navigationBarTitle(_:displayMode:) into typed navigation.payload.displayMode.

Contextually lowered by navigationBarTitleDisplayMode(_:); regression coverage asserts the typed displayMode="inline" navigation payload.

Contextually lowered by navigationBarTitleDisplayMode(_:) / deprecated title overload into typed navigation.payload.displayMode.

In view catalog (ViewBuilder + control-binding family); selection binding captured. Tab chrome renderer-led.

selection Binding -> control-binding metadata; content lowers to child nodes.

default Int-selection TabView; content children lowered.

TabContentBuilder/TabContent path not modeled as builder; only generic structural capture of content.

TabContent result-builder hierarchy not modeled; structural only.

node body synthesized; not executed SwiftUI body.

module struct stub preserves TabContent value type metadata; TabContent builder execution/chrome integration is not modeled.

Tab(...) initializer survives as a structured call expression with title/image/value/content closure; TabContent builder/chrome runtime is not implemented.

Tab(...) initializer survives as a structured call expression with title/systemImage/value/content closure; TabContent builder/chrome runtime is not implemented.

value/role/content/label initializer survives as a structured call expression; TabContent builder/chrome runtime is not implemented.

content-only initializer survives as a structured call expression; Never-value TabContent builder/chrome runtime is not implemented.

Explicit Tab(...).body member reads survive structurally; Tab content execution remains renderer/runtime policy.

module struct stub preserves role type metadata; static role values and tab behavior are not modeled.

module struct stub preserves the type and .search survives as a structured static token; search-tab behavior is not implemented.

Dedicated UI_SEMANTIC_TAB_ITEM; lowering maps tabItem in modules/swiftui/compiler/lower/chain.c:695, and JSON emits the lowered label closure as semantic.payload.label (modules/swiftui/compiler/uiir/json_modifier.c:2012). Tab chrome rendering remains renderer policy.

Dedicated UI_SEMANTIC_TAB_VIEW_STYLE; style arg lowers to typed payload and web TabView honors default/page/sidebarAdaptable/tabBarOnly policies.

dedicated navigation metadata family in coverage; title captured as typed nav field.

typed navigationTitle metadata; key captured as title field.

typed navigationTitle metadata; string title captured.

navigationTitle typed family, but editable title binding rename behavior is renderer/runtime, not modeled.

dedicated navigation metadata via navigation_kind_for_modifier in modules/swiftui/compiler/lower/chain.c:140; UINavigationKind has UI_NAVIGATION_SUBTITLE at include/internal/uiir.h:555; JSON emits payload.subtitle in modules/swiftui/compiler/uiir/json_action.c:396.

dedicated navigation metadata via navigation_kind_for_modifier in modules/swiftui/compiler/lower/chain.c:140; string arg captured as payload.subtitle by modules/swiftui/compiler/uiir/json_action.c:396.

dedicated navigation metadata family; destination closure captured. Value-routing runtime is renderer-led.

typed navigation family; isPresented binding + destination captured. Presentation runtime renderer-led.

typed navigation family; item binding + destination closure captured.

in coverage dedicated navigation family; macOS-unavailable. Bool policy field captured, no nav runtime.

dedicated navigation policy field captured; back-button chrome is renderer-led.

dedicated navigation family; macOS-unavailable. TitleDisplayMode enum-case captured as typed field.

dedicated navigation metadata via navigation_kind_for_modifier in modules/swiftui/compiler/lower/chain.c:144; UINavigationKind has UI_NAVIGATION_BAR_TITLE at include/internal/uiir.h:557; JSON emits payload.title in modules/swiftui/compiler/uiir/json_action.c:402. Deprecated, macOS-unavailable.

dedicated navigation metadata via navigation_kind_for_modifier in modules/swiftui/compiler/lower/chain.c:144; JSON emits payload.title and payload.displayMode in modules/swiftui/compiler/uiir/json_action.c:402. Deprecated, macOS-unavailable.

Dedicated navigation metadata now maps navigationBarItems to UI_NAVIGATION_BAR_ITEMS (modules/swiftui/compiler/lower/chain.c:397, include/internal/uiir.h:664), and JSON emits navigation.kind=barItems with typed payload.leading/payload.trailing args (modules/swiftui/compiler/uiir/names.c:386, modules/swiftui/compiler/uiir/json_action.c:541). Deprecated/iOS-only bar item placement remains renderer policy.

in coverage dedicated navigation family; width captured as typed policy field.

navigation family typed metadata; min/ideal/max captured. Layout enforcement renderer-led.

in coverage dedicated navigation family; style arg captured. NavigationSplitViewStyle protocol not executed.

Dedicated UI_SEMANTIC_NAVIGATION_VIEW_STYLE; style arg lowered (buttonStyle recipe).

dedicated navigation metadata via navigation_kind_for_modifier in modules/swiftui/compiler/lower/chain.c:148; UINavigationKind has UI_NAVIGATION_TOOLBAR_ROLE at include/internal/uiir.h:559; JSON emits payload.role in modules/swiftui/compiler/uiir/json_action.c:408.

dedicated navigation metadata via navigation_kind_for_modifier in modules/swiftui/compiler/lower/chain.c:142; UINavigationKind has UI_NAVIGATION_LINK_INDICATOR_VISIBILITY at include/internal/uiir.h:556; JSON emits payload.visibility in modules/swiftui/compiler/uiir/json_action.c:399.

Dedicated navigation metadata maps navigationDocument to UI_NAVIGATION_DOCUMENT (modules/swiftui/compiler/lower/chain.c:399, include/internal/uiir.h:665); JSON emits navigation.kind=document and typed payload.document (modules/swiftui/compiler/uiir/names.c:387, modules/swiftui/compiler/uiir/json_action.c:553). Transfer/document runtime remains renderer policy.

Same UI_NAVIGATION_DOCUMENT metadata path as the Transferable overload; URL args are preserved under typed navigation.payload.document (modules/swiftui/compiler/uiir/json_action.c:553). URL document-opening/runtime policy is outside lowering.

Dedicated navigation metadata maps navigationTransition to UI_NAVIGATION_TRANSITION (modules/swiftui/compiler/lower/chain.c:401, include/internal/uiir.h:666); JSON emits navigation.kind=transition and typed payload.style (modules/swiftui/compiler/uiir/names.c:388, modules/swiftui/compiler/uiir/json_action.c:556). NavigationTransition runtime/zoom animation remains renderer policy.

module protocol stub exists and .tabViewStyle(...) captures style tokens; protocol body execution is not modeled.

Concrete style token normalizes to page; web TabView renders the page carousel and honors .never page dot payload.

Concrete style token normalizes to automatic; web TabView keeps the default tab bar rendering policy.

Concrete style token normalizes to sidebarAdaptable; web TabView uses a regular-width sidebar rail and compact-width tab bar fallback.

module protocol stub exists and navigationSplitViewStyle(_:) captures style tokens; protocol execution is not modeled.

Captured as navigation.payload.style by navigationSplitViewStyle(_:); web NavigationSplitView normalizes it to a balanced multi-column layout.

Captured as navigation.payload.style by navigationSplitViewStyle(_:); web NavigationSplitView reserves a wider detail column.

module protocol stub exists and the deprecated modifier captures style tokens structurally; protocol execution is not modeled.

toolbarRole(_:) serializes role tokens as dedicated navigation payloads; no standalone value runtime.

Preserved as a toolbarRole(_:) navigation payload token; toolbar behavior remains renderer/runtime policy.

Preserved as a toolbarRole(_:) navigation payload token; toolbar behavior remains renderer/runtime policy.

Preserved as a toolbarRole(_:) navigation payload token; toolbar behavior remains renderer/runtime policy.

Preserved as a toolbarRole(_:) navigation payload token; toolbar behavior remains renderer/runtime policy.

module protocol stub preserves type surface; TabContent protocol execution is not modeled.

module struct stub preserves builder type metadata; result-builder lowering for TabContent remains generic/structural.

Dedicated presentation/content family; lowers content closure + presentation kind metadata. item binding + onDismiss captured.

Dedicated presentation/content family; isPresented binding + content closure lowered to UIIR slot.

Dedicated presentation/content family; content closure lowered. iOS-only.

Dedicated presentation/content family; isPresented + content slot lowered. iOS-only.

Dedicated UI_PRESENTATION_POPOVER; lowering maps popover in modules/swiftui/compiler/lower/presentation.c:37, captures trailing content as a content slot (modules/swiftui/compiler/lower/presentation.c:214), and JSON emits isPresented, default/explicit attachmentAnchor, and tokenized arrowEdge payloads (modules/swiftui/compiler/uiir/json_modifier.c:979).

Same UI_PRESENTATION_POPOVER; item binding becomes the trigger, content closure lowers to slot=content, and .rect/.point anchors plus arrowEdge enum/nil values serialize as typed presentation payload fields (modules/swiftui/compiler/uiir/json_modifier.c:242, modules/swiftui/compiler/uiir/json_modifier.c:979).

Dedicated presentation/content family; captures title, isPresented, actions slot.

Dedicated alert family; actions + message slots lowered to UIIR.

Dedicated alert family; presenting-data overload captured via content slots.

Dedicated alert family; actions+message presenting overload lowered.

Dedicated alert family; LocalizedError-driven variant captured as alert content.

Catalogued alert modifier but Alert value-type closure form not lowered as typed family; deprecated API.

Old Alert-builder form; returns Alert value type which is not modeled. Deprecated.

module struct stub preserves deprecated Alert value type metadata; Alert builder/runtime lowering remains generic.

Legacy Alert initializer call preserves title/message/dismissButton args structurally; deprecated alert runtime remains presentation-modifier driven.

Legacy two-button Alert initializer call preserves button args structurally; deprecated alert runtime remains presentation-modifier driven.

Alert button factory call preserves label and action closure structurally; legacy Alert.Button runtime is not executed.

Alert button factory call preserves label and action closure structurally; legacy Alert.Button runtime is not executed.

Alert button factory call preserves label and action closure structurally; legacy Alert.Button runtime is not executed.

Dedicated presentation/content family; title, titleVisibility, actions slot captured.

Dedicated confirmationDialog family; actions+message slots lowered.

Dedicated confirmationDialog family; presenting-data overload captured.

Dedicated confirmationDialog family; full presenting actions+message form lowered.

actionSheet in catalog as generic UIMod; ActionSheet value-type form not a typed family. macOS unavailable.

module struct stub preserves deprecated ActionSheet value type metadata; actionSheet content runtime remains generic.

Dedicated UI_SEMANTIC_DIALOG_ICON; lowering maps dialogIcon in modules/swiftui/compiler/lower/chain.c:713, and JSON emits the icon arg as semantic.payload.icon (modules/swiftui/compiler/uiir/json_modifier.c:2134).

Catalogued generic UIMod; macOS-only; DialogSeverity value not modeled.

dialogSeverity(_:) is catalogued as a generic modifier and preserves severity enum tokens such as .critical; dialog severity runtime is not modeled.

Dedicated UI_SEMANTIC_DIALOG_SUPPRESSION_TOGGLE; lowering maps dialogSuppressionToggle in modules/swiftui/compiler/lower/chain.c:715, and JSON emits semantic.payload.title plus isSuppressed binding (modules/swiftui/compiler/uiir/json_modifier.c:2137).

Same UI_SEMANTIC_DIALOG_SUPPRESSION_TOGGLE; binding-only overload omits payload.title and emits semantic.payload.isSuppressed (modules/swiftui/compiler/uiir/json_modifier.c:2137).

Dedicated UI_SEMANTIC_DIALOG_PREVENTS_APP_TERMINATION; lowering maps dialogPreventsAppTermination in modules/swiftui/compiler/lower/chain.c:717, and JSON emits semantic.payload.preventsAppTermination (modules/swiftui/compiler/uiir/json_modifier.c:2146).

Dedicated presentation/content family; toolbar content closure lowered to UIIR slots.

Dedicated toolbar family captures content slot; ToolbarContent items themselves are not typed nodes.

Dedicated toolbar family; id + customizable content slot lowered. Customization runtime not implemented.

Deprecated overload is routed to UI_SEMANTIC_TOOLBAR_VISIBILITY when a for: arg is present (modules/swiftui/compiler/lower/chain.c:3135) and kept out of toolbar-content presentation lowering (modules/swiftui/compiler/lower/chain.c:3407). JSON decomposes visibility plus bars in modules/swiftui/compiler/uiir/json_modifier.c:2137.

Dedicated UI_SEMANTIC_TOOLBAR_REMOVING; toolbar calls with a removing: arg are mapped in modules/swiftui/compiler/lower/chain.c:3123 and kept out of presentation-content lowering in modules/swiftui/compiler/lower/chain.c:3395. JSON emits semantic.payload.defaultItemKind as a token or null in modules/swiftui/compiler/uiir/json_modifier.c:2173.

Synthetic toolbar-content node emitted by lower_toolbar_body: JSON carries kind=ToolbarItem, slot.kind=toolbarItem, placement token, preserved args, and child content. Swift ToolbarContent protocol/body runtime remains unmodeled.

Synthetic toolbar-content node emitted by lower_toolbar_body: JSON carries kind=ToolbarItem, slot.kind=toolbarItem, placement token, preserved args, and child content. Swift ToolbarContent protocol/body runtime remains unmodeled.

Synthetic ToolbarItem node preserves id and placement args plus child content; customization/runtime identity behavior remains unmodeled.

Synthetic ToolbarItem node preserves id, placement, and showsByDefault args plus child content; deprecated customization runtime remains unmodeled.

Explicit ToolbarItem .id member reads survive structurally; toolbar customization identity runtime is not modeled.

Synthetic toolbar-content group node emitted by lower_toolbar_body: JSON carries kind=ToolbarItemGroup, slot.kind=toolbarItemGroup, placement token, and child content. ToolbarContent protocol/runtime remains unmodeled.

Synthetic ToolbarItemGroup node preserves placement and lowers content children; group runtime/customization behavior remains unmodeled.

Synthetic ToolbarItemGroup node preserves placement and lowers primary content; label closure/customization behavior is not modeled.

Toolbar item placement values serialize as enum tokens in ToolbarItem/ToolbarItemGroup args and slot.placement; no standalone value runtime.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

Preserved as a toolbar item placement token/arg when used in ToolbarItem or ToolbarItemGroup; platform-specific rendering/customization remains renderer policy.

module protocol stub preserves type metadata; custom toolbar-content body execution is not modeled.

Custom ToolbarContent .body member references survive structurally; MiniSwift still does not expand arbitrary toolbar-content bodies.

ToolbarContent-level modifier call preserves Visibility args structurally; typed toolbar background-sharing runtime is not modeled.

ToolbarContent-level modifier call preserves id/namespace args structurally; matched-transition toolbar runtime is not modeled.

module protocol stub preserves type metadata; customization runtime is not executed.

Customization call preserves visibility/options args structurally; toolbar customization runtime is not modeled.

Customization behavior call preserves the behavior token structurally; toolbar customization runtime is not modeled.

module result-builder stub preserves type metadata; toolbar-content builder execution is not modeled.

Explicit builder static call preserves ToolbarContent args structurally; normal toolbar lowering uses MiniSwift's dedicated toolbar-body path.

Explicit builder static call preserves ToolbarContent args structurally; builder runtime is not executed.

Explicit builder static call preserves optional ToolbarContent args structurally; builder runtime is not executed.

Explicit builder static call preserves the first: toolbar content branch structurally; builder runtime is not executed.

Explicit builder static call preserves the second: toolbar content branch structurally; builder runtime is not executed.

Explicit builder static call preserves ToolbarContent args structurally; availability-specific builder runtime is not executed.

Presentation-policy family: stored as modal policy metadata. Detent set captured as policy field.

Presentation-policy family; detents + selection binding captured as modal policy metadata.

presentationDetents preserves detent arrays as expression payloads; no standalone detent runtime/protocol execution.

Preserved inside presentationDetents expression payloads as enum/factory tokens; sheet sizing behavior remains renderer/runtime policy.

Preserved inside presentationDetents expression payloads as enum/factory tokens; sheet sizing behavior remains renderer/runtime policy.

Preserved inside presentationDetents expression payloads as enum/factory tokens; sheet sizing behavior remains renderer/runtime policy.

Preserved inside presentationDetents expression payloads as enum/factory tokens; sheet sizing behavior remains renderer/runtime policy.

Custom detent factory call preserves the detent type token structurally; CustomPresentationDetent.height(in:) is not executed.

module struct stub preserves type metadata for custom detent contexts; detent height runtime is not executed.

module protocol stub preserves type metadata; height(in:) is not executed.

Presentation-policy family; visibility stored as modal policy metadata.

Presentation-policy family; ShapeStyle background captured as modal policy metadata.

Presentation-policy family; content-closure background overload captured as policy.

Presentation-policy family; corner radius stored as modal policy metadata.

Presentation-policy family; interaction stored as modal policy metadata (value type itself not modeled).

Presentation-policy family; adaptation stored as modal policy metadata.

Presentation-policy family; horizontal/vertical adaptation captured as policy.

Presentation-policy family; behavior stored as modal policy metadata.

Dedicated UI_PRESENTATION_POLICY_SIZING; lowering maps presentationSizing in modules/swiftui/compiler/lower/chain.c:351, and JSON emits the sizing value as presentationPolicy.payload.sizing (modules/swiftui/compiler/uiir/json_modifier.c:880).

Presentation-policy family; isDisabled flag stored as modal policy metadata.

presentationCompactAdaptation serializes adaptation tokens, including horizontal/vertical overload payloads; no standalone value runtime.

Preserved as a presentationCompactAdaptation token payload; adaptive presentation behavior remains renderer/runtime policy.

Preserved as a presentationCompactAdaptation token payload; adaptive presentation behavior remains renderer/runtime policy.

Preserved as a presentationCompactAdaptation token payload; adaptive presentation behavior remains renderer/runtime policy.

Preserved as a presentationCompactAdaptation token payload; adaptive presentation behavior remains renderer/runtime policy.

presentationBackgroundInteraction serializes interaction values as typed policy payloads; background hit-testing behavior is not implemented.

Preserved as an enabled(upThrough:) expression payload with the detent token; actual background interaction behavior remains renderer/runtime policy.

presentationContentInteraction serializes content interaction tokens as policy payloads; scroll/resize behavior is renderer/runtime policy.

Preserved as a presentationContentInteraction token payload; runtime resize behavior remains unmodeled.

Preserved as a presentationContentInteraction token payload; runtime scroll behavior remains unmodeled.

popover serializes default/explicit attachment anchors in presentation payloads; no standalone anchor runtime.

Serialized by popover as attachmentAnchor.kind=rect plus source token; popover placement runtime remains renderer policy.

Serialized by popover as attachmentAnchor.kind=point plus UnitPoint token; popover placement runtime remains renderer policy.

module struct stub preserves action-object type metadata; dismissal call/runtime is still not executed.

Calls on an @Environment(\.dismiss) action value survive as generic actionIR.call inside closures; presentation dismissal runtime is not executed.

@Environment(\.dismiss) wrapper metadata now preserves the raw keyPath as wrapperArg; no live EnvironmentValues resolver/runtime value is implemented.

module struct stub preserves dismiss-behavior value metadata; transaction/window dismissal runtime remains structural.

Static member token survives structurally; transaction/window dismissal behavior is not executed.