SkyLang Studio
Live Loom Converter
← Main Overview Join Closed Alpha →
🌱 Apprentice
⚒️ Journeyman
Craftsman
◆ SkyLang Journeyman (Invariants & Guarantees)
✔ Z3 SMT Verified
👁️ Preview
📄 Emitted Source Code
🗄️ Database & Store
Target Framework: WebComponents SPA
🏠 skybnb
🔍
🌐 👤
All Stays
🏖️ Beachfront
🏕️ Cabins
⛰️ Amazing views
🏰 Castles
🗄️ SkyLang Entity Store: Relational<Listing>
Database Persistence Driver: SQLite / WASM SharedArrayBuffer
6 Active Records
Auto-Generated DDL Migration (Loom Relational Compiler)
CREATE TABLE listing (
  id UUID PRIMARY KEY DEFAULT gen_random_uuid(),
  title VARCHAR(128) NOT NULL,
  city VARCHAR(64) NOT NULL,
  rating DECIMAL(3, 2) DEFAULT 5.0,
  nightly_rate INT NOT NULL CHECK (nightly_rate > 0),
  category VARCHAR(32) NOT NULL
);

CREATE TABLE booking (
  id UUID PRIMARY KEY DEFAULT gen_random_uuid(),
  listing_id UUID REFERENCES listing(id),
  nights INT NOT NULL CHECK (nights > 0),
  total_price INT NOT NULL
);
Live Record Table (`ListingStore`)
ID Title City Rating Nightly Rate Category
✔ ReserveStay Contract Executed
Guarantee: Atomic • Z3 Theorem Solver Validated