rip-lang 3.14.0 → 3.14.2

package/README.md

@@ -9,7 +9,7 @@
 </p>
 
 <p align="center">
-  <a href="https://github.com/shreeve/rip-lang/commits/main"><img src="https://img.shields.io/badge/version-3.14.0-blue.svg" alt="Version"></a>
+  <a href="https://github.com/shreeve/rip-lang/commits/main"><img src="https://img.shields.io/badge/version-3.14.2-blue.svg" alt="Version"></a>
   <a href="#zero-dependencies"><img src="https://img.shields.io/badge/dependencies-ZERO-brightgreen.svg" alt="Dependencies"></a>
   <a href="#"><img src="https://img.shields.io/badge/tests-1%2C436%2F1%2C436-brightgreen.svg" alt="Tests"></a>
   <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-green.svg" alt="License"></a>
@@ -60,6 +60,34 @@ rip -c file.rip                # Compile to JavaScript
 
 ---
 
+## Extensions
+
+Pre-built binaries and VS Code / Cursor extensions are published via GitHub Pages — see the [extensions hub](https://shreeve.github.io/rip-lang/extensions/) for details.
+
+**`ripdb`** — DuckDB extension that exposes a rip-db server as a first-class attached database:
+
+```sql
+SET allow_unsigned_extensions = true;
+INSTALL ripdb FROM 'https://shreeve.github.io/rip-lang/extensions/duckdb';
+LOAD ripdb;
+```
+
+**`rip-lang.print`** — syntax-highlighted source printer for VS Code / Cursor:
+
+```bash
+curl -LO https://shreeve.github.io/rip-lang/extensions/vscode/print/print-latest.vsix
+cursor --install-extension ./print-latest.vsix
+```
+
+**`rip-lang.rip`** — Rip language support for VS Code / Cursor:
+
+```bash
+curl -LO https://shreeve.github.io/rip-lang/extensions/vscode/rip/rip-latest.vsix
+cursor --install-extension ./rip-latest.vsix
+```
+
+---
+
 ## Language
 
 ### Functions & Classes
@@ -405,9 +433,6 @@ The UI framework is built into rip-lang: file-based router, reactive stash, comp
 | **Reactivity** | None | Built-in |
 | **Dependencies** | Multiple | Zero |
 | **Self-hosting** | No | Yes |
-| **Lexer** | 3,558 LOC | 2,024 LOC |
-| **Compiler** | 10,346 LOC | 3,293 LOC |
-| **Total** | 17,760 LOC | ~11,890 LOC |
 
 Smaller codebase, modern output, built-in reactivity.
 
@@ -442,25 +467,10 @@ await rip("res = fetch! 'https://api.example.com/todos/1'; res.json!")  // → {
 
 ```
 Source  ->  Lexer  ->  emitTypes  ->  Parser  ->  S-Expressions  ->  Codegen  ->  JavaScript
-           (1,778)    (types.js)     (359)       ["=", "x", 42]     (3,334)      + source map
+                       (types.js)                 ["=", "x", 42]                + source map
 ```
 
-Simple arrays (with `.loc`) instead of AST node classes. The compiler is self-hosting — `bun run parser` rebuilds from source.
-
-| Component | File | Lines |
-|-----------|------|-------|
-| Lexer + Rewriter | `src/lexer.js` | 1,778 |
-| Grammar | `src/grammar/grammar.rip` | 948 |
-| Parser Generator | `src/grammar/solar.rip` | 929 |
-| Parser (generated) | `src/parser.js` | 359 |
-| Compiler + Codegen | `src/compiler.js` | 3,334 |
-| Component System | `src/components.js` | 2,026 |
-| Browser Engine | `src/browser.js` | 194 |
-| Source Maps | `src/sourcemaps.js` | 189 |
-| Type System | `src/types.js` | 1,091 |
-| Type Checking | `src/typecheck.js` | 442 |
-| REPL | `src/repl.js` | 600 |
-| **Total** | | **~11,890** |
+Simple arrays (with `.loc`) instead of AST node classes. The compiler is self-hosting — `bun run parser` rebuilds from source. The implementation lives across a handful of focused modules under `src/` — lexer, compiler, schema, types, typecheck, components, parser, browser, REPL — plus the grammar sources under `src/grammar/`. Run `wc -l src/*.js` for current sizes.
 
 ---
 
@@ -468,16 +478,16 @@ Simple arrays (with `.loc`) instead of AST node classes. The compiler is self-ho
 
 Rip includes optional packages for full-stack development:
 
-| Package | Version | Purpose |
-|---------|---------|---------|
-| [rip-lang](https://www.npmjs.com/package/rip-lang) | 3.13.62 | Core language compiler |
-| [@rip-lang/server](packages/server/) | 1.3.12 | Multi-worker app server (web framework, hot reload, HTTPS, mDNS) |
-| [@rip-lang/db](packages/db/) | 1.3.15 | DuckDB server with official UI + ActiveRecord-style client |
-| [@rip-lang/ui](packages/ui/) | — | Unified UI system — browser widgets, email components, shared helpers, Tailwind integration |
-| [@rip-lang/swarm](packages/swarm/) | 1.2.18 | Parallel job runner with worker pool |
-| [@rip-lang/csv](packages/csv/) | 1.3.6 | CSV parser + writer |
-| [@rip-lang/time](packages/time/) | 1.0.0 | Immutable date/time with IANA timezones + `Duration` (US-English, zero runtime deps) |
-| [VS Code Extension](packages/vscode/) | 0.5.7 | Syntax highlighting, type intelligence, source maps |
+| Package | Purpose |
+|---------|---------|
+| [rip-lang](https://www.npmjs.com/package/rip-lang) | Core language compiler |
+| [@rip-lang/server](packages/server/) | Multi-worker app server (web framework, hot reload, HTTPS, mDNS) |
+| [@rip-lang/db](packages/db/) | DuckDB server with official UI + ActiveRecord-style client |
+| [@rip-lang/ui](packages/ui/) | Unified UI system — browser widgets, email components, shared helpers, Tailwind integration |
+| [@rip-lang/swarm](packages/swarm/) | Parallel job runner with worker pool |
+| [@rip-lang/csv](packages/csv/) | CSV parser + writer |
+| [@rip-lang/time](packages/time/) | Immutable date/time with IANA timezones + `Duration` (US-English, zero runtime deps) |
+| [VS Code Extension](packages/vscode/) | Syntax highlighting, type intelligence, source maps |
 
 ```bash
 bun add -g @rip-lang/db    # Installs everything (rip-lang + server + db)
@@ -515,7 +525,7 @@ rip file.rip           # Run
 rip -c file.rip        # Compile
 rip -t file.rip        # Tokens
 rip -s file.rip        # S-expressions
-bun run test           # 1436 tests
+bun run test:all       # full test suite
 bun run parser         # Rebuild parser
 bun run build          # Build browser bundle
 ```

package/docs/RIP-LANG.md

@@ -2,7 +2,7 @@
 
 # Rip Language Reference
 
-Rip is a modern reactive language that compiles to ES2022 JavaScript. It combines CoffeeScript's elegant syntax with built-in reactivity primitives. Zero dependencies, self-hosting, ~11,890 LOC.
+Rip is a modern reactive language that compiles to ES2022 JavaScript. It combines CoffeeScript's elegant syntax with built-in reactivity primitives. Zero dependencies, self-hosting.
 
 ---
 
@@ -556,6 +556,93 @@ Common use cases: config objects, options bags, state initialization, DOM
 styling, merging defaults with overrides — anywhere you're setting multiple
 properties on an existing object.
 
+## Pick Operator (`.{ }`)
+
+A Rip original. Project a subset of an object's properties into a new object,
+with optional renaming and defaults — sugar for the common
+destructure-then-construct pattern:
+
+```coffee
+# Without .{ } — repetitive
+response = { firstName: user.firstName, lastName: user.lastName, dob: user.dob }
+
+# With .{ } — clean
+response = user.{firstName, lastName, dob}
+```
+
+`obj.{a, b, c}` compiles to `{ a: obj.a, b: obj.b, c: obj.c }`. The source is
+evaluated once — if it's a complex expression (call, member access, indexed),
+an arrow IIFE binds a single temp so getters and reactive reads fire exactly
+once.
+
+### Forms
+
+```coffee
+# Bare keys — project as-is
+user.{firstName, lastName}
+# → {firstName: user.firstName, lastName: user.lastName}
+
+# Rename — left side is source key, right side is destination key
+user.{firstName: given, lastName: family}
+# → {given: user.firstName, family: user.lastName}
+
+# Nullish default — fires on undefined OR null (deliberately broader than
+# JS destructure's undefined-only default, to match DB NULL reality)
+user.{role = 'guest', active = true}
+# → {role: (user.role ?? 'guest'), active: (user.active ?? true)}
+
+# Rename + default combined
+user.{role: r = 'guest'}
+# → {r: (user.role ?? 'guest')}
+
+# Multi-line
+response = user.{
+  firstName
+  lastName
+  dob
+  role = 'patient'
+}
+```
+
+### Optional chain (`?.{ }`)
+
+Returns `undefined` when the source is null/undefined, preserving the
+distinction from a present-but-empty result:
+
+```coffee
+maybeUser?.{firstName, lastName}
+# → maybeUser == null ? undefined : {firstName: maybeUser.firstName, ...}
+```
+
+### Reserved words work
+
+Reserved-word keys like `default`, `class`, `delete`, `new`, `typeof`, `if`
+are automatically treated as property names inside a pick body — the same
+way they work after a `.` for plain member access:
+
+```coffee
+# Common real-world case (HTML/DOM/frameworks use `class`, `default`, …)
+props.{class, default, onClick}
+# → {class: props.class, default: props.default, onClick: props.onClick}
+```
+
+### Semantics
+
+- **Missing keys** read as `undefined` (normal property read on the source).
+- **Source evaluated once** for complex expressions (`getUser().{a, b}` only
+  calls `getUser()` one time).
+- **Defaults fire on nullish** (`??`) — both `undefined` and `null` trigger,
+  unlike JS destructure which only fires on `undefined`.
+- **Chainable** — `user.{firstName, role}.role` works.
+
+### Not supported (use explicit objects for these)
+
+- Spread inside body: `user.{...rest}` is rejected.
+- Computed or string/number keys: `user.{[k]}`, `user.{'a'}`, `user.{0}` are
+  rejected.
+- Nested picks: `user.{address.{city, zip}}` is not supported in v1 — use an
+  explicit object or a helper for now.
+
 ## Prototype Operator (`::`)
 
 Access `.prototype` with `::` (CoffeeScript-style). Disambiguated from type annotations by spacing:
@@ -2201,8 +2288,6 @@ count = 10  # Logs: "Count: 10, Doubled: 20"
 
 Ideas and candidates that have been discussed but not yet implemented.
 
-> **Note:** The standard library was implemented in v3.13.0. See [Section 14](#14-standard-library).
-
 ## Future Syntax Ideas
 
 Each would need design discussion before building.
@@ -2238,4 +2323,4 @@ Each would need design discussion before building.
 
 ---
 
-*Rip 3.13 — 1,436 tests — Zero dependencies — Self-hosting — ~11,890 LOC*
+*Rip — Zero dependencies — Self-hosting*

package/docs/RIP-SCHEMA.md

@@ -269,6 +269,36 @@ behavior is dropped** — methods, computed getters (`~>`), eager
 derived fields (`!>`), hooks, and ORM methods don't carry through.
 Algebra is a structural operation on fields, not a behavioral one.
 
+### Idiomatic shorthands
+
+Most production code uses a few syntactic sugars. All are optional;
+the Quick Tour above works as written.
+
+```coffee
+# Open-ended ranges. With `!` (required), `..N` implies `min=1`.
+User = schema
+  firstName!  ..50              # required, 1..50 chars
+  bio?        text              # `text` is unbounded by design
+  phone?      1..20
+
+# File-level default cap for uncapped VARCHAR-like fields.
+schema.defaultMaxString = 500
+
+Profile = schema :model
+  name!                         # → {min: 1, max: 500}
+  email!#     email             # → {max: 500}
+  bio?        text              # → uncapped (text opts out)
+
+# One-line small shapes, plus a registered schema used as a field type.
+Address = schema :shape; street? ..200; city? ..100; zip? ..10
+
+Order = schema :shape
+  address!    Address           # validation recurses; errors like "address.street"
+```
+
+See §5 for body-syntax details, §17 for nested type references, and
+§20 for constraint and pragma rules.
+
 ---
 
 ## 3. Schemas vs types
@@ -517,6 +547,7 @@ kind (see [§18](#18-directives)). Examples:
 @timestamps                       # adds createdAt/updatedAt columns (:model only)
 @softDelete                       # adds deletedAt, soft-deletes on .destroy() (:model only)
 @index [role, active]             # composite index (:model only)
+@idStart 10001                    # seed for the auto-id sequence (:model only, .toSQL())
 @belongs_to Organization?         # nullable FK (:model only)
 @has_many Order                   # has-many relation (:model only)
 @mixin Timestamps                 # pull in a mixin's fields (any fielded kind)
@@ -864,7 +895,10 @@ user.save!         # validate, run hooks, INSERT or UPDATE
 user.destroy!      # run hooks, DELETE (or UPDATE deleted_at for @softDelete)
 user.ok()          # boolean — current fields validate
 user.errors()      # SchemaIssue[] — current fields' errors
-user.toJSON()      # plain object of declared fields (no methods/getters)
+user.toJSON()      # plain object of own enumerable properties
+                   #   (id, declared fields, @timestamps columns, @softDelete
+                   #    deletedAt, @belongs_to FKs, !> eager-derived — but NOT
+                   #    methods, ~> computed getters, or internal state)
 ```
 
 Plus any methods, computed getters, and relation accessors you declared
@@ -976,6 +1010,25 @@ User.toSQL()
 `.toSQL()` works independently of the ORM. A migration script that never
 calls `.find()` or `.create()` can still emit full DDL.
 
+#### Sequence start value
+
+The auto-id sequence seeds at `1` by default. Override per-model with the
+`@idStart N` directive, or per-call with the `idStart` option (the option
+wins):
+
+```coffee
+User = schema :model
+  name! string
+  @idStart 10001            # customer-facing IDs start at 10001
+
+User.toSQL()                # → CREATE SEQUENCE users_seq START 10001;
+User.toSQL(idStart: 50000)  # → CREATE SEQUENCE users_seq START 50000;
+```
+
+Required because DuckDB (as of 1.5.2) does not implement
+`ALTER SEQUENCE … RESTART WITH N` — so the seed has to be baked into the
+initial `CREATE SEQUENCE` rather than bumped in a follow-up migration.
+
 To emit a whole application's schema, call `.toSQL()` per model and join.
 Order by FK dependency (models referenced via `@belongs_to` come first):
 
@@ -1615,6 +1668,41 @@ p "[migrate] schema created"
 Because `.toSQL()` doesn't call the adapter, migration scripts work
 before the database exists or before the ORM is wired.
 
+### Composing nested shapes
+
+Small sub-shapes referenced by name compose into a larger contract.
+Validation recurses into each referenced schema; errors carry
+path-prefixed `field` entries so callers can pinpoint the failing
+sub-field:
+
+```coffee
+Address = schema :shape
+  street!   ..200
+  city!     ..100
+  state?    ..2
+  zip?      ..10
+
+Customer = schema :shape
+  id?       integer
+  name!     ..100
+  address!  Address
+
+OrderRequest = schema :shape
+  customer! Customer
+  notes?    ..500
+
+r = OrderRequest.safe body
+if r.ok
+  process r.value
+else
+  for e in r.errors
+    # e.g.  field: "customer.address.street"  error: "required"
+    console.log e.field, e.error, e.message
+```
+
+Registered `:shape` / `:input` / `:model` names can all be referenced
+as field types — see §17 for resolution rules.
+
 ---
 
 ## 15. What's not here yet
@@ -1735,9 +1823,10 @@ Built-in type names and their runtime / SQL / TypeScript mappings:
 
 Arrays: `type[]`. SQL stores as `JSON` (DuckDB native), TS is `T[]`.
 
-**Nested-schema identifiers.** When a field's type name resolves to
-another schema in the process-global `__SchemaRegistry`, the
-validator recurses:
+**Nested-schema identifiers.** A field's type name may be another
+schema declared with `:shape`, `:input`, or `:model`. When the name
+resolves to one of those in the process-global `__SchemaRegistry`,
+the validator recurses into the referenced schema:
 
 ```coffee
 Address = schema :shape
@@ -1789,6 +1878,7 @@ user-defined enums or shapes compose incrementally.
 | `@index [a, b, c]`            | Composite index on the listed columns                               |
 | `@index column`               | Single-column index (same as `@index [column]`)                     |
 | `@index [...] #`              | Unique index                                                        |
+| `@idStart N`                  | Seed value for the auto-id sequence in `.toSQL()` output (default `1`). Overridden per-call by `toSQL(idStart: N)`. |
 | `@belongs_to Target`          | FK column `target_id` referencing `targets.id`, NOT NULL            |
 | `@belongs_to Target?`         | Same, nullable                                                      |
 | `@has_one Target`             | Accessor `target()` returning one                                   |
@@ -2320,10 +2410,10 @@ preamble (under `SCHEMA_RUNTIME` in `src/schema.js`) that defines
 helpers. No import statement, no package dependency, no bootstrap call.
 
 **How big is the runtime?**
-About 2,250 lines total across runtime + compile-time emission, including
-the ORM, the DDL emitter, the registry, the validator plan, and the
-hydration logic. The preamble injected into your compiled output is a
-fraction of that (the ORM and DDL paths are tree-shaken if unused).
+It includes the validator plan, registry, hydration logic, ORM
+support, and DDL emission. In multi-bundle processes, Rip binds
+`schema` to a shared `globalThis.__ripSchema` singleton, so bundles
+share one registry and one adapter per process.
 
 **Is `.parse()` strict or permissive with extra keys?**
 Permissive with stripping. Unknown keys are silently dropped — they