rip-lang 3.15.4 → 3.16.1

package/src/types.js

@@ -7,7 +7,7 @@
 // `enum` declarations.
 //
 // The .d.ts emission half (emitTypes, intrinsic decl tables, component-
-// type emitter) lives in src/types-emit.js, which is reachable only from
+// type emitter) lives in src/dts.js, which is reachable only from
 // CLI entry points and typecheck.js. Runtime enum codegen lives in
 // compiler.js (CodeEmitter.prototype.emitEnum) — that's real codegen,
 // not type machinery.
@@ -172,11 +172,19 @@ export function installTypeSupport(Lexer) {
         let afterEq = eqIdx + 1;
         let next = tokens[afterEq];
 
+        // Track identifiers in the type body so type-only imports get elided.
+        let trackBodyRefs = (start, end) => {
+          for (let k = start; k <= end && k < tokens.length; k++) {
+            if (tokens[k][0] === 'IDENTIFIER') typeRefNames.add(tokens[k][1]);
+          }
+        };
+
         // Block union: type Name = (TERMINATOR?) INDENT | "a" | "b" ... OUTDENT
         // Must check before structural — `=` suppresses TERMINATOR so INDENT follows directly
         if (next && (next[0] === 'TERMINATOR' || next[0] === 'INDENT')) {
           let result = collectBlockUnion(tokens, afterEq);
           if (result) {
+            trackBodyRefs(afterEq, result.endIdx);
             tokens.splice(removeFrom, result.endIdx - removeFrom + 1, makeDecl(result.typeText));
             return 0;
           }
@@ -185,12 +193,14 @@ export function installTypeSupport(Lexer) {
         // Structural type: type Name = INDENT ... OUTDENT
         if (next && next[0] === 'INDENT') {
           let endIdx = findMatchingOutdent(tokens, afterEq);
+          trackBodyRefs(afterEq, endIdx);
           tokens.splice(removeFrom, endIdx - removeFrom + 1, makeDecl(collectStructuralType(tokens, afterEq)));
           return 0;
         }
 
         // Simple alias: type Name = type-expression
         let typeTokens = collectTypeExpression(tokens, afterEq);
+        trackBodyRefs(afterEq, afterEq + typeTokens.consumed - 1);
         tokens.splice(removeFrom, afterEq + typeTokens.consumed - removeFrom, makeDecl(buildTypeString(typeTokens)));
         return 0;
       }
@@ -216,6 +226,10 @@ export function installTypeSupport(Lexer) {
         if (tokens[bodyIdx]?.[0] === 'INDENT') {
           let typeText = collectStructuralType(tokens, bodyIdx);
           let endIdx = findMatchingOutdent(tokens, bodyIdx);
+          for (let k = bodyIdx; k <= endIdx && k < tokens.length; k++) {
+            if (tokens[k][0] === 'IDENTIFIER') typeRefNames.add(tokens[k][1]);
+          }
+          if (extendsName) typeRefNames.add(extendsName);
           let declToken = gen('TYPE_DECL', name, nameToken);
           declToken.data = {
             name,
@@ -302,6 +316,7 @@ export function installTypeSupport(Lexer) {
 function collectTypeExpression(tokens, j) {
   let typeTokens = [];
   let depth = 0;
+  let bracketStack = []; // tracks innermost open bracket: '{', '[', '(', '<'
   let startJ = j;
 
   while (j < tokens.length) {
@@ -319,6 +334,8 @@ function collectTypeExpression(tokens, j) {
     // Handle >> as two > closes (nested generics: Map<string, Set<number>>)
     if (tTag === 'SHIFT' && t[1] === '>>' && depth >= 2) {
       depth -= 2;
+      if (bracketStack[bracketStack.length - 1] === '<') bracketStack.pop();
+      if (bracketStack[bracketStack.length - 1] === '<') bracketStack.pop();
       typeTokens.push(t);
       j++;
       continue;
@@ -326,6 +343,11 @@ function collectTypeExpression(tokens, j) {
 
     if (isOpen) {
       depth++;
+      let kind = (tTag === '{') ? '{'
+               : (tTag === '[' || tTag === 'INDEX_START') ? '['
+               : (tTag === 'COMPARE' && t[1] === '<') ? '<'
+               : '(';
+      bracketStack.push(kind);
       typeTokens.push(t);
       j++;
       continue;
@@ -333,6 +355,7 @@ function collectTypeExpression(tokens, j) {
     if (isClose) {
       if (depth > 0) {
         depth--;
+        bracketStack.pop();
         typeTokens.push(t);
         j++;
         continue;
@@ -362,6 +385,38 @@ function collectTypeExpression(tokens, j) {
       }
     }
 
+    // Inside a bracketed type expression, INDENT/OUTDENT/TERMINATOR are
+    // pure layout tokens (multi-line type literal `{ \n field: T \n }`).
+    // They carry no semantic meaning and would otherwise leak their raw
+    // `[1]` value (e.g. an indent level integer like `2`) into the
+    // type string. INDENT/OUTDENT are dropped silently; TERMINATOR
+    // separates fields and is replaced with a synthetic `;` so the
+    // emitted type literal is valid TS (`{ a: T; b: U }`).
+    if (depth > 0 && (tTag === 'INDENT' || tTag === 'OUTDENT')) {
+      j++;
+      continue;
+    }
+    if (depth > 0 && tTag === 'TERMINATOR') {
+      typeTokens.push(['', ';']);
+      j++;
+      continue;
+    }
+
+    // Inside `{ ... }` the Rip rewriter sometimes drops TERMINATOR
+    // between fields (e.g. after `Record<string, string[]>` because `>`
+    // looks like a binary operator wanting a RHS). Detect a new field
+    // by seeing a PROPERTY token at the top of a `{` and inject `;` if
+    // the previously emitted token isn't already a separator/opener.
+    if (tTag === 'PROPERTY' &&
+        bracketStack[bracketStack.length - 1] === '{') {
+      let prev = typeTokens[typeTokens.length - 1];
+      let prevTag = prev?.[0];
+      let prevVal = prev?.[1];
+      let needsSep = prev && prevTag !== '{' && prevTag !== ',' &&
+                     !(prevTag === '' && prevVal === ';');
+      if (needsSep) typeTokens.push(['', ';']);
+    }
+
     // => at depth 0: function type arrow, continue collecting
     // -> at depth 0: code arrow, handled as delimiter above
     typeTokens.push(t);
@@ -378,7 +433,46 @@ function buildTypeString(typeTokens) {
   if (typeTokens.length === 0) return '';
   // Bare => (no params) means () => — add empty parens
   if (typeTokens[0]?.[0] === '=>') typeTokens.unshift(['', '()']);
-  let typeStr = typeTokens.map(t => t[1]).join(' ').replace(/\s+/g, ' ').trim();
+  // Validation: `::` inside `{ ... }` in type position is illegal.
+  // `::` binds a name to a type (params, var decls, return types).
+  // Inside a structural type literal `{ ... }`, fields are key→type
+  // pairs and use `:` (TS-style), the same way TS type literals do.
+  // `::` has no role inside a type literal — every `:` there is
+  // already unambiguously a type separator.
+  {
+    let curlyDepth = 0;
+    for (let t of typeTokens) {
+      let tag = t[0];
+      if (tag === '{') curlyDepth++;
+      else if (tag === '}') curlyDepth--;
+      else if (tag === 'TYPE_ANNOTATION' && curlyDepth > 0) {
+        let loc = t.loc;
+        let where = loc ? ` (line ${loc.r}, col ${loc.c})` : '';
+        let err = new Error(
+          `Use \`:\` (not \`::\`) inside a structural type literal${where}. ` +
+          `\`::\` binds a name to a type; inside \`{ ... }\` in type ` +
+          `position, fields use \`:\` (TS-style).`
+        );
+        err.loc = loc;
+        throw err;
+      }
+    }
+  }
+  // Inline structural / function-param property-name optional marker:
+  // an IDENTIFIER carrying `.data.optional` and followed by TYPE_ANNOTATION
+  // gets a trailing `?` appended to its emitted name. The lexer stripped
+  // the trailing `?` from the token text but flagged it on `.data.optional`.
+  let parts = typeTokens.map((t, i) => {
+    let next = typeTokens[i + 1];
+    // Re-attach the trailing `?` for optional property names. The next
+    // separator is `::` (TYPE_ANNOTATION) in function param lists, or
+    // `:` inside an inline structural type literal `{ x?: T }`.
+    if (t.data?.optional && next && (next[0] === 'TYPE_ANNOTATION' || next[0] === ':')) {
+      return `${t[1]}?`;
+    }
+    return t[1];
+  });
+  let typeStr = parts.join(' ').replace(/\s+/g, ' ').trim();
   typeStr = typeStr
     .replace(/\s*<\s*/g, '<').replace(/\s*>\s*/g, '>')
     .replace(/\s*\[\s*/g, '[').replace(/\s*\]\s*/g, ']')
@@ -471,13 +565,13 @@ function collectStructuralType(tokens, indentIdx) {
           (/^[a-zA-Z_$]/.test(tokens[j][1]) && tokens[j + 1]?.[0] === 'TYPE_ANNOTATION'))) {
         readonly = true;
         propName = tokens[j][1];
-        // Carry predicate flag through
-        if (tokens[j].data?.predicate) optional = true;
+        // Carry optional flag through
+        if (tokens[j].data?.optional) optional = true;
         j++;
       }
 
-      // Check for ? (optional property) — lexer stores as .data.predicate
-      if (t.data?.predicate) optional = true;
+      // Check for ? (optional property) — lexer stores as .data.optional
+      if (t.data?.optional) optional = true;
       // Also check for standalone ? token
       if (tokens[j]?.[1] === '?' && !tokens[j]?.spaced) {
         optional = true;
@@ -519,7 +613,33 @@ function collectStructuralType(tokens, indentIdx) {
       let typeStr = buildTypeString(propTypeTokens);
       let prefix = readonly ? 'readonly ' : '';
       let optMark = optional ? '?' : '';
-      props.push(`${prefix}${propName}${optMark}: ${typeStr}`);
+      // Method-shorthand: `name(args)` or `name(args): retType` — typeStr
+      // is parenthesized and has either nothing or `:` (not `::`) after the
+      // matching `)`. Emit without the property `:` separator so TS treats
+      // `this` inside the method as the containing type.
+      let methodShorthand = false;
+      if (!optional && typeStr.startsWith('(')) {
+        let depthM = 0;
+        for (let m = 0; m < typeStr.length; m++) {
+          let ch = typeStr[m];
+          if (ch === '(') depthM++;
+          else if (ch === ')') {
+            depthM--;
+            if (depthM === 0) {
+              let rest = typeStr.slice(m + 1).trimStart();
+              if (rest === '' || (rest.startsWith(':') && !rest.startsWith('::'))) {
+                methodShorthand = true;
+              }
+              break;
+            }
+          }
+        }
+      }
+      if (methodShorthand) {
+        props.push(`${prefix}${propName}${typeStr}`);
+      } else {
+        props.push(`${prefix}${propName}${optMark}: ${typeStr}`);
+      }
     } else {
       j++;
     }

package/docs/ui/accordion.rip

@@ -1,103 +0,0 @@
-# Accordion — accessible headless expand/collapse widget
-#
-# Supports single or multiple expanded sections. Keyboard: Enter/Space to
-# toggle, ArrowDown/Up to move between triggers. Exposes $open on items.
-# Ships zero CSS.
-#
-# Usage:
-#   Accordion multiple: false
-#     div $item: "a"
-#       button $trigger: true, "Section A"
-#       div $content: true
-#         p "Content A"
-#     div $item: "b"
-#       button $trigger: true, "Section B"
-#       div $content: true
-#         p "Content B"
-
-export Accordion = component
-  @multiple:: boolean := false
-
-  openItems := new Set()
-  _ready    := false
-  _id =! "acc-#{Math.random().toString(36).slice(2, 8)}"
-
-  mounted: ->
-    _ready = true
-    @_content?.querySelectorAll('[data-trigger]').forEach (trigger) =>
-      item = trigger.closest('[data-item]')
-      return unless item
-      id = item.dataset.item
-      trigger.addEventListener 'click', =>
-        return if item.hasAttribute('data-disabled')
-        @toggle(id)
-      trigger.addEventListener 'keydown', (e) => @onTriggerKeydown(e, id)
-
-  ~>
-    return unless _ready
-    @_content?.querySelectorAll('[data-item]').forEach (item) =>
-      id = item.dataset.item
-      isOpen = openItems.has(id)
-      item.toggleAttribute 'data-open', isOpen
-      trigger = item.querySelector('[data-trigger]')
-      content = item.querySelector('[data-content]')
-      triggerId = "#{_id}-trigger-#{id}"
-      panelId   = "#{_id}-panel-#{id}"
-      if trigger
-        isDisabled = item.hasAttribute('data-disabled')
-        trigger.id = triggerId
-        trigger.setAttribute 'aria-expanded', isOpen
-        trigger.setAttribute 'aria-controls', panelId
-        if isDisabled then trigger.setAttribute 'aria-disabled', true else trigger.removeAttribute 'aria-disabled'
-        trigger.tabIndex = if isDisabled then -1 else 0
-      if content
-        content.id = panelId
-        content.hidden = if isOpen then false else 'until-found'
-        content.setAttribute 'role', 'region'
-        content.setAttribute 'aria-labelledby', triggerId
-        if isOpen
-          rect = content.getBoundingClientRect()
-          content.style.setProperty '--accordion-panel-height', "#{rect.height}px"
-          content.style.setProperty '--accordion-panel-width', "#{rect.width}px"
-
-  toggle: (id) ->
-    if openItems.has(id)
-      openItems.delete(id)
-    else
-      openItems.clear() unless @multiple
-      openItems.add(id)
-    openItems = new Set(openItems)
-    @emit 'change', Array.from(openItems)
-
-  isOpen: (id) ->
-    openItems.has(id)
-
-  onTriggerKeydown: (e, id) ->
-    disabled = e.currentTarget.closest('[data-item]')?.hasAttribute('data-disabled')
-    ARIA.rovingNav e, {
-      next:   => @_focusNext(1)
-      prev:   => @_focusNext(-1)
-      first:  => @_focusTrigger(0)
-      last:   => @_focusTrigger(-1)
-      select: => @toggle(id) unless disabled
-    }, 'vertical'
-
-  _triggers: ->
-    return [] unless @_content
-    Array.from(@_content.querySelectorAll('[data-trigger]'))
-
-  _focusNext: (dir) ->
-    triggers = @_triggers()
-    idx = triggers.indexOf(document.activeElement)
-    return if idx is -1
-    next = (idx + dir) %% triggers.length
-    triggers[next]?.focus()
-
-  _focusTrigger: (idx) ->
-    triggers = @_triggers()
-    target = if idx < 0 then triggers[triggers.length - 1] else triggers[idx]
-    target?.focus()
-
-  render
-    div ref: "_content"
-      slot

package/docs/ui/alert-dialog.rip

@@ -1,53 +0,0 @@
-# AlertDialog — accessible headless non-dismissable modal
-#
-# A Dialog variant that requires explicit user action to close.
-# Cannot be dismissed by clicking outside or pressing Escape.
-# Use for destructive confirmations, unsaved changes, etc.
-# Ships zero CSS.
-#
-# Usage:
-#   AlertDialog open <=> showConfirm
-#     h2 "Delete account?"
-#     p "This action cannot be undone."
-#     button @click: (=> showConfirm = false), "Cancel"
-#     button @click: handleDelete, "Delete"
-
-export AlertDialog = component
-  @open:: boolean := false
-  @initialFocus:: any := null
-
-  _prevFocus = null
-  _id =! "adlg-#{Math.random().toString(36).slice(2, 8)}"
-
-  ~>
-    ARIA.bindDialog @open, (=> @_dialog), ((isOpen) =>
-      if not isOpen and @open
-        @open = false
-        @emit 'close'
-    ), false
-
-  ~>
-    if @open
-      _prevFocus = document.activeElement
-      ARIA.lockScroll(this)
-      requestAnimationFrame =>
-        panel = @_dialog
-        if panel
-          ARIA.wireAria panel, _id
-          panel.setAttribute 'role', 'alertdialog'
-          if @initialFocus
-            target = if typeof @initialFocus is 'string' then panel.querySelector(@initialFocus) else @initialFocus
-            target?.focus()
-          else
-            panel.querySelectorAll('a[href],button:not([disabled]),input:not([disabled]),select:not([disabled]),textarea:not([disabled]),[tabindex]:not([tabindex="-1"])')?[0]?.focus()
-      return ->
-        ARIA.unlockScroll(this)
-        _prevFocus?.focus()
-
-  close: ->
-    @open = false
-    @emit 'close'
-
-  render
-    dialog ref: "_dialog", $open: @open?!
-      slot

package/docs/ui/autocomplete.rip

@@ -1,115 +0,0 @@
-# Autocomplete — accessible headless suggestion input
-#
-# Like Combobox but the input value IS the value (no selection from a list).
-# Suggestions are shown as the user types; selecting a suggestion fills the input.
-# Ships zero CSS.
-#
-# Usage:
-#   Autocomplete value <=> city, items: cities, @filter: filterCities
-
-acCollator = new Intl.Collator(undefined, { sensitivity: 'base' })
-
-export Autocomplete = component
-  @value:: string := ""
-  @items:: any[] := []
-  @placeholder:: string := "Type to search..."
-  @disabled:: boolean := false
-
-  open := false
-
-  filteredItems ~=
-    q = @value.trim()
-    return @items unless q
-    @items.filter (item) ->
-      label = if typeof item is 'string' then item else (item.label or item.name or String(item))
-      acCollator.compare(label.slice(0, q.length), q) is 0
-
-  _listId =! "ac-list-#{Math.random().toString(36).slice(2, 8)}"
-
-  _getItems: ->
-    return [] unless @_list
-    Array.from(@_list.querySelectorAll('[role="option"]'))
-
-  _updateHighlight: ->
-    idx = @_hlIdx
-    opts = @_getItems()
-    opts.forEach (el, ndx) ->
-      el.id = "#{@_listId}-opt-#{ndx}" unless el.id
-      el.toggleAttribute 'data-highlighted', ndx is idx
-    activeId = if idx >= 0 and opts[idx] then opts[idx].id else undefined
-    if @_input
-      if activeId then @_input.setAttribute 'aria-activedescendant', activeId
-      else @_input.removeAttribute 'aria-activedescendant'
-    opts[idx]?.scrollIntoView({ block: 'nearest' })
-
-  openMenu: ->
-    open = true
-    @_hlIdx = -1
-    @_input?.focus()
-
-  close: ->
-    open = false
-    @_hlIdx = -1
-    @_input?.focus()
-
-  _applyPlacement: ->
-    ARIA.position @_input, @_list, placement: 'bottom start', offset: 2, matchWidth: true
-
-  selectIndex: (idx) ->
-    item = filteredItems[idx]
-    return unless item
-    label = if typeof item is 'string' then item else (item.label or item.name or String(item))
-    @value = label
-    @_input?.value = label
-    @emit 'select', item
-    @close()
-
-  onInput: (e) ->
-    newVal = e.target.value
-    return if newVal is @value
-    @value = newVal
-    open = true
-    @_hlIdx = if filteredItems.length > 0 then 0 else -1
-    setTimeout (=> @_updateHighlight()), 0
-
-  onKeydown: (e) ->
-    len = filteredItems.length
-    ARIA.listNav e,
-      next:    => @openMenu() unless open; if len then @_hlIdx = (@_hlIdx + 1) %% len;                         @_updateHighlight()
-      prev:    => @openMenu() unless open; if len then @_hlIdx = if @_hlIdx <= 0 then len - 1 else @_hlIdx - 1; @_updateHighlight()
-      first:   => if len then @_hlIdx = 0;       @_updateHighlight()
-      last:    => if len then @_hlIdx = len - 1; @_updateHighlight()
-      select:  => @selectIndex(@_hlIdx) if @_hlIdx >= 0
-      dismiss: => @close()
-      tab:     => @close()
-
-  ~>
-    if @_list
-      @_list.setAttribute 'popover', 'auto'
-      @_applyPlacement()
-    ARIA.bindPopover open, (=> @_list), ((isOpen) => open = isOpen), (=> @_input)
-
-  mounted: ->
-    @_hlIdx = -1
-    @_input.value = @value if @_input and @value
-
-  render
-    . $open: open?!
-
-      input ref: "_input", role: "combobox", type: "text"
-        autocomplete: "off"
-        aria-expanded: !!open
-        aria-haspopup: "listbox"
-        aria-autocomplete: "list"
-        aria-controls: open ? _listId : undefined
-        $disabled: @disabled?!
-        disabled: @disabled
-        placeholder: @placeholder
-        @input: @onInput
-
-      div ref: "_list", id: _listId, role: "listbox", $open: open?!, style: "position:fixed;margin:0;inset:auto"
-        for item, idx in filteredItems
-          div role: "option", tabindex: "-1"
-            @click: (=> @selectIndex(idx))
-            @mouseenter: (=> @_hlIdx = idx; @_updateHighlight())
-            "#{if typeof item is 'string' then item else (item.label or item.name or String(item))}"

package/docs/ui/avatar.rip

@@ -1,37 +0,0 @@
-# Avatar — accessible headless avatar
-#
-# Shows an image, falls back to initials or a generic icon placeholder.
-# Ships zero CSS.
-#
-# Usage:
-#   Avatar src: user.photoUrl, alt: user.name, fallback: "AC"
-#   Avatar fallback: "JD"
-#   Avatar
-
-export Avatar = component
-  @src:: string := ""
-  @alt:: string := ""
-  @fallback:: string := ""
-
-  imgError := false
-
-  _onError: -> imgError = true
-
-  _initials ~=
-    return @fallback if @fallback
-    return '' unless @alt
-    parts = @alt.trim().split(/\s+/)
-    chars = parts.map (p) -> p[0]?.toUpperCase() or ''
-    chars.slice(0, 2).join('')
-
-  render
-    span role: "img", aria-label: @alt or 'Avatar'
-      $status: if @src and not imgError then 'image' else if _initials then 'fallback' else 'placeholder'
-      if @src and not imgError
-        img src: @src, alt: @alt, @error: @_onError
-      else if _initials
-        span $initials: true
-          _initials
-      else
-        span $placeholder: true
-          "?"

package/docs/ui/badge.rip

@@ -1,15 +0,0 @@
-# Badge — accessible headless inline label
-#
-# Decorative label for status, counts, or categories.
-# Ships zero CSS.
-#
-# Usage:
-#   Badge "New"
-#   Badge variant: "outline", "Beta"
-
-export Badge = component
-  @variant:: "solid" | "outline" | "subtle" := "solid"
-
-  render
-    span $variant: @variant
-      slot

package/docs/ui/breadcrumb.rip

@@ -1,47 +0,0 @@
-# Breadcrumb — accessible headless navigation breadcrumb
-#
-# Renders a navigation trail with separator between items.
-# The last item is automatically marked as the current page.
-# Ships zero CSS.
-#
-# Usage:
-#   Breadcrumb
-#     a $item: true, href: "/", "Home"
-#     a $item: true, href: "/products", "Products"
-#     span $item: true, "Widget Pro"
-#
-#   Breadcrumb separator: ">"
-#     a $item: true, href: "/", "Home"
-#     span $item: true, "Settings"
-
-export Breadcrumb = component
-  @separator:: string := "/"
-  @label:: string := "Breadcrumb"
-
-  _ready := false
-
-  mounted: -> _ready = true
-
-  _items ~=
-    return [] unless _ready
-    return [] unless @_content
-    Array.from(@_content.querySelectorAll('[data-item]') or [])
-
-  ~>
-    return unless _ready
-    items = _items
-    return unless items.length
-    @_content?.style.setProperty '--breadcrumb-separator', JSON.stringify(@separator)
-    items.forEach (el, idx) =>
-      isLast = idx is items.length - 1
-      if isLast
-        el.setAttribute 'aria-current', 'page'
-        el.toggleAttribute 'data-current', true
-      else
-        el.removeAttribute 'aria-current'
-        el.removeAttribute 'data-current'
-
-  render
-    nav aria-label: @label
-      ol ref: "_content"
-        slot

package/docs/ui/button-group.rip

@@ -1,26 +0,0 @@
-# ButtonGroup — accessible headless button group
-#
-# Groups related buttons with proper ARIA semantics.
-# Ships zero CSS.
-#
-# Usage:
-#   ButtonGroup
-#     Button "Cut"
-#     Button "Copy"
-#     Button "Paste"
-#   ButtonGroup orientation: "vertical", label: "Text formatting"
-#     Toggle pressed <=> isBold, "Bold"
-#     Toggle pressed <=> isItalic, "Italic"
-
-export ButtonGroup = component
-  @orientation:: "horizontal" | "vertical" := "horizontal"
-  @disabled:: boolean := false
-  @label:: string := ""
-
-  render
-    div role: "group"
-      aria-label: @label?!
-      aria-orientation: @orientation
-      $orientation: @orientation
-      $disabled: @disabled?!
-      slot

package/docs/ui/button.rip

@@ -1,23 +0,0 @@
-# Button — accessible headless button
-#
-# Handles disabled-but-focusable pattern and pressed state.
-# Ships zero CSS.
-#
-# Usage:
-#   Button @click: handleClick
-#     "Save"
-#   Button disabled: true
-#     "Unavailable"
-
-export Button = component
-  @disabled:: boolean := false
-
-  onClick: ->
-    return if @disabled
-    @emit 'press'
-
-  render
-    button disabled: @disabled
-      aria-disabled: @disabled?!
-      $disabled: @disabled?!
-      slot

package/docs/ui/card.rip

@@ -1,25 +0,0 @@
-# Card — accessible headless content container
-#
-# Structured container with optional header, content, and footer sections.
-# Use $header, $content, $footer on children to mark sections.
-# Ships zero CSS.
-#
-# Usage:
-#   Card
-#     div $header: true
-#       h3 "Title"
-#     div $content: true
-#       p "Body text"
-#     div $footer: true
-#       Button "Action"
-#
-#   Card interactive: true, @click: handleClick
-#     p "Clickable card"
-
-export Card = component
-  @interactive:: boolean := false
-
-  render
-    div tabindex: (if @interactive then "0" else undefined)
-      $interactive: @interactive?!
-      slot