L0 lowering fidelity, L1 as a specified level, and the tests that find this defect class

crates/splash-ui-l0/examples/check_card.rs

@@ -0,0 +1,9 @@
+fn main() {
+    let path = std::env::args().nth(1).expect("card");
+    let card = std::fs::read_to_string(&path).expect("read");
+    let r = splash_ui_l0::check_ui_l0_named("activity", &card);
+    println!("  valid = {}  level = {:?}", r.valid, r.level);
+    for d in &r.diagnostics {
+        println!("  {}:{} {}", d.line, d.column, d.message);
+    }
+}

crates/splash-ui-l0/tests/fixtures/activity.card

@@ -0,0 +1,61 @@
+# level: L0
+# model: activity
+#
+# The FIRST reference card L0 was not designed against.
+#
+# weather, news and stock shaped the profile — every role and capability in the
+# catalog exists because one of them needed it, so "L0 renders them" is close to
+# circular. This one comes from `a2app/apps/activity/app.md`, written for a
+# different framework, and what it needs that L0 lacks is the point of it.
+
+source place  sys.geocode(name: state.city)
+source parks  sys.places(lat: place.lat, lon: place.lon, category: "park",
+                         count: 4, fields: [id, name, distance])
+source cafes  sys.places(lat: place.lat, lon: place.lon, category: "cafe",
+                         count: 4, fields: [id, name, distance])
+source env.locale sys.locale()
+
+state city { shape: text, initial: "" }          # empty ⇒ device location
+
+copy eyebrow  { class: vocabulary, en: "NEARBY · GREEN & COFFEE" }
+copy heading  { class: vocabulary, en: "Around You" }
+copy loading  { class: vocabulary, en: "Finding places nearby…" }
+copy park_why { class: vocabulary, en: "away · quiet green space" }
+copy cafe_why { class: vocabulary, en: "away · somewhere to sit" }
+
+view root Surface {
+  Col(gap: 2) {
+    TextCaption(text: copy.eyebrow)
+    TextTitle(text: copy.heading)
+  }
+
+  # §5.9's lifecycle, where the source framework used a -9999 sentinel. The
+  # card asks whether the fetch has landed; it does not compare against a magic
+  # number that also has to mean "no data".
+  when parks.$state == .pending { TextBody(text: copy.loading) }
+
+  when parks.$state == .ready {
+    Panel {
+      for p, i in parks key p.id {
+        Row(align: .center, gap: 10) {
+          TextRow(text: "🌳")
+          Col(gap: 2) {
+            TextRow(text: p.name)
+            TextCaption(text: p.distance, suffix: copy.park_why)
+          }
+        }
+        Rule()
+      }
+      for c, i in cafes key c.id {
+        Row(align: .center, gap: 10) {
+          TextRow(text: "☕")
+          Col(gap: 2) {
+            TextRow(text: c.name)
+            TextCaption(text: c.distance, suffix: copy.cafe_why)
+          }
+        }
+        Rule()
+      }
+    }
+  }
+}

crates/splash-ui-l0/tests/fixtures/nav-excerpt.splash

@@ -0,0 +1,18 @@
+// name: nav-app
+let q = "{{state.q}}"
+let find = "{{state.find}}"
+let orig = "{{state.orig}}"
+let dest = "{{state.dest}}"
+let wp1 = "{{state.wp1}}"
+let wp2 = "{{state.wp2}}"
+let sel = "{{state.sel}}"
+let ss = {{state.sel}}
+let go = "{{state.go}}"
+let vw = "{{state.view}}"
+let md = "{{state.mode}}"
+let oq = "{{state.oq}}"
+
+fn tick() {
+    if dest != "0" { dlat = sys.coord(dest, "lat") }
+    vias = "" + sys.coord(wp1, "lat") + "," + sys.coord(wp1, "lon")
+}

crates/splash-ui-l0/tests/fixtures/news.card

@@ -19,26 +19,62 @@ source feed        sys.news(count: 7, offset: 1, fields: [id, title, author, poi
 source article     sys.news_item(id: state.selected,
                                  fields: [title, author, points, comments, url])
 source env.locale  sys.locale()
+# The reading list (§5.12): saved story IDS, each row fetched by id — so a
+# bookmark outlives the front page it was found on.
+source saved       sys.reading(fields: [id, title, points])
+# Followed TOPICS (§5.12): the store keeps a word per row; the top story
+# beside it is searched fresh at read time, so a topic row is never stale.
+source topics      sys.topics(fields: [name, top_title, top_id])
+# The reader overlay (host-owned): writing a story's url opens the page over
+# the card; the host closes it on system back.
+source page        sys.link(fields: [url])
 
 state selected { shape: text, initial: "" }        # "" ⇒ feed, else a story id
 
 event open_story  { selected: set($value) }
 event back        { selected: clear }
+# The bookmark toggle, from the story screen. Identity only: the id goes to the
+# store; title and points are fetched fresh every time the list renders.
+event keep_story  { saved: append($value) }
+event drop_story  { saved: remove($value) }
+# Following is idempotent in the store, so a suggestion chip can stay on
+# screen after it was picked: tapping it again is nothing, not a duplicate.
+event follow      { topics: append($value) }
+event unfollow    { topics: remove($value) }
+# The chip carries the article's url as its value: the card never fetches a
+# page, it asks the host to show one.
+event read_story  { page: set($value) }
 
 copy masthead { class: vocabulary, en: "Top Stories",  zh: "头条" }
 copy source   { class: vocabulary, en: "HACKER NEWS", zh: "科技新闻" }
+copy saved_hd { class: vocabulary, en: "READING LIST", zh: "收藏" }
+copy keep_lbl { class: vocabulary, en: "☆ Save" }
+copy drop_lbl { class: vocabulary, en: "Remove" }
+copy back_lbl { class: vocabulary, en: "‹ Back", zh: "‹ 返回" }
+copy read_lbl { class: vocabulary, en: "Read ↗", zh: "阅读原文 ↗" }
 copy latest   { class: vocabulary, en: "LATEST",      zh: "最新" }
+copy topics_hd { class: vocabulary, en: "TOPICS",     zh: "关注" }
+copy t_ai     { class: vocabulary, en: "AI" }
+copy t_nba    { class: vocabulary, en: "NBA" }
+copy t_soccer { class: vocabulary, en: "Soccer" }
+copy t_crypto { class: vocabulary, en: "Crypto" }
 copy lead     { class: vocabulary, en: "LEAD",        zh: "焦点" }
 copy pts      { class: vocabulary, en: "pts",         zh: "分" }
 copy comments { class: vocabulary, en: "comments",    zh: "评论" }
 copy by       { class: vocabulary, en: "by",          zh: "作者" }
+copy loading  { class: vocabulary, en: "Fetching headlines…", zh: "正在获取头条…" }
+copy offline  { class: vocabulary, en: "Can't reach the news feed", zh: "无法获取新闻" }
 
 view root  Surface(pad: .page) {
              when selected == "" { stream }
              when selected != "" { story }
            }
 
+# §5.9: the feed's lifecycle is a state to branch on — "not yet" and "went
+# wrong" each say so, instead of an empty masthead with no explanation.
 view stream  Col {
+               when feed.$state == .pending { TextBody(text: copy.loading) }
+               when feed.$state == .failed  { TextBody(text: copy.offline) }
                masthead
                headline
                latest
@@ -95,10 +131,48 @@ view latest  Col {
                    StoryRow(story: s, position: i, on_open: open_story)
                  }
                }
+               # Suggested topics to follow; the row of chips is host copy,
+               # the VALUES are the stored words. Tap → append, idempotent.
+               TextCaption(text: copy.topics_hd)
+               Row(gap: 8) {
+                 Chip(text: copy.t_ai,     on_tap: follow, value: "ai")
+                 Chip(text: copy.t_nba,    on_tap: follow, value: "nba")
+                 Chip(text: copy.t_soccer, on_tap: follow, value: "soccer")
+                 Chip(text: copy.t_crypto, on_tap: follow, value: "crypto")
+               }
+               for t, i in topics key t.name {
+                 # Chip beside the tappable part (its own hit target would be
+                 # covered inside the row); the row opens the topic's current
+                 # top story by the id the search answered just now.
+                 Row(align: .center, gap: 8) {
+                   Row(align: .center, gap: 8, width: .fill, on_tap: open_story, value: t.top_id) {
+                     TextCaption(text: t.name, width: .label)
+                     TextRow(text: t.top_title, width: .fill)
+                   }
+                   Chip(text: copy.drop_lbl, on_tap: unfollow, value: t.name)
+                 }
+               }
+               for b, i in saved key b.id {
+                 # Chip beside the tappable part, never inside it — a row's hit
+                 # target covers its content and eats the chip's tap, measured.
+                 Row(align: .center, gap: 8) {
+                   Row(align: .center, gap: 8, width: .fill, on_tap: open_story, value: b.id) {
+                     TextCaption(text: copy.saved_hd, width: .label)
+                     TextRow(text: b.title, width: .fill)
+                   }
+                   Chip(text: copy.drop_lbl, on_tap: drop_story, value: b.id)
+                 }
+               }
              }
 
 view story  Col {
-              Row(on_tap: back) { TextCaption(glyph: "‹") }
+              # A word, not a lone glyph: the glyph alone measured ~20px of
+              # hit target on device, too small for a thumb.
+              Row(align: .center, on_tap: back) { TextRow(text: copy.back_lbl) }
+              Row(gap: 8) {
+                Chip(text: copy.keep_lbl, on_tap: keep_story, value: selected)
+                Chip(text: copy.read_lbl, on_tap: read_story, value: article.url)
+              }
               TextTitle(text: article.title, width: .fill)
               Row(gap: 6) {
                 TextCaption(value: article.points, suffix: copy.pts)

crates/splash-ui-l0/tests/fixtures/stock.card

@@ -14,15 +14,54 @@ source quote       sys.quote(ticker: state.selected,
                              fields: [name, last, change, pct, open, high, low,
                                       volume, mktcap, pe])
 source env.locale  sys.locale()
+# The user's own layer (§5.12): saved tickers, and the chart range they prefer.
+# The store holds IDENTITIES — a ticker is a name the quote endpoint resolves
+# fresh every render; a price is never written down.
+source watch       sys.watchlist(fields: [ticker, last, pct])
+source range_pref  sys.prefs(fields: [range])
+# The membership probe: is the stock this page looks at in the user's list?
+# Names a ticker, so `has` answers "1"/"0" from the store — which is what
+# flips the page between Add and Remove.
+source kept        sys.watchlist(ticker: state.selected, fields: [has])
+# Free-text ticker lookup for the add flow — weather's editor pattern, the
+# stock way: results carry real listings, never a guessed symbol.
+source found       sys.symbol_search(query: state.query, count: 5, fields: [ticker, name])
 
 state selected { shape: text, initial: "" }                    # "" ⇒ movers list
-state range    { shape: enum[d1, w1, m1, m6, y1], initial: .m1 }
+state query    { shape: text, initial: "" }
+state editing  { shape: enum[none, add], initial: .none }
+# What the LAST keep/forget on this page did, for the moment after a remove
+# when the probe already says "not kept" but the user deserves the word.
+state last_act { shape: enum[none, added, removed], initial: .none }
+# CAPTURED from the stored preference (§5.13); the host guarantees "m1" until
+# the user ever picks a range, so the capture is always a member of the enum.
+state range    { shape: enum[d1, w1, m1, m6, y1], initial: range_pref.range }
 
-event open_quote { selected: set($value) }
-event back       { selected: clear, range: clear }              # two writes, one gesture
-event set_range  { range: set($value) }
+event open_quote { selected: set($value), last_act: set(.none) }
+event back       { selected: clear, range: clear, last_act: set(.none) }
+event set_range  { range: set($value), range_pref: set($value) }
+# Keep/forget carry the word the page shows after: the probe flips the
+# button the moment the store changes, and `last_act` says what just happened.
+event keep       { watch: append($value), last_act: set(.added) }
+event forget     { watch: remove($value), last_act: set(.removed) }
+# The add flow. Looking is not keeping: tapping a result only OPENS its quote;
+# Add is the one event that stores, and the × closes with nothing stored.
+event add_sym     { editing: set(.add), query: clear }
+event typing      { query: set($value) }
+event preview     { selected: set($value), last_act: set(.none) }
+event confirm_add { watch: append($value), selected: set($value), editing: set(.none), query: clear }
+event close_add   { editing: set(.none), query: clear }
 
-copy movers { class: vocabulary, en: "Top Movers", zh: "涨跌榜" }
+copy movers  { class: vocabulary, en: "Top Movers", zh: "涨跌榜" }
+copy back_lbl { class: vocabulary, en: "‹ Back", zh: "‹ 返回" }
+copy watch_hd { class: vocabulary, en: "WATCHLIST", zh: "自选" }
+copy unstar   { class: vocabulary, en: "Remove", zh: "删除" }
+copy plus     { class: vocabulary, en: "+" }
+copy add_lbl  { class: vocabulary, en: "Add", zh: "添加" }
+copy added_lbl   { class: vocabulary, en: "✓ Added",   zh: "已添加" }
+copy removed_lbl { class: vocabulary, en: "Removed",   zh: "已删除" }
+copy loading { class: vocabulary, en: "Fetching the quote…", zh: "正在获取行情…" }
+copy offline { class: vocabulary, en: "Can't reach the market feed", zh: "无法获取行情" }
 copy open   { class: vocabulary, en: "Open",       zh: "开盘" }
 copy high   { class: vocabulary, en: "High",       zh: "最高" }
 copy low    { class: vocabulary, en: "Low",        zh: "最低" }
@@ -36,11 +75,60 @@ view root  Surface(pad: .page) {
            }
 
 view list  Col {
+             # The header bar is always there: it names the saved list and
+             # hosts the add affordance in the top-right corner.
+             Row(align: .center, gap: 8) {
+               TextCaption(text: copy.watch_hd, width: .fill)
+               Chip(text: copy.plus, on_tap: add_sym, value: "1")
+             }
+             when editing == .add {
+               Panel {
+                 Row(align: .center, gap: 10) {
+                   Field(text: query, placeholder: copy.watch_hd, on_commit: preview,
+                         on_change: typing, width: .fill)
+                   Chip(text: "×", on_tap: close_add)
+                 }
+                 when query != "" {
+                   # Row taps PREVIEW the quote; only the Add chip beside a
+                   # result stores it (chip as sibling — a row's hit target
+                   # covers its children, measured).
+                   for f, i in found key f.ticker {
+                     Row(align: .center, gap: 10) {
+                       Row(align: .center, gap: 10, width: .fill, on_tap: preview, value: f.ticker) {
+                         TextRow(text: f.ticker, width: .label)
+                         TextCaption(text: f.name, width: .fill)
+                       }
+                       Chip(text: copy.add_lbl, on_tap: confirm_add, value: f.ticker)
+                     }
+                   }
+                 }
+               }
+             }
+             for w, i in watch key w.ticker {
+               # Swipe THIS row left and ITS red Remove appears beside it;
+               # swipe right puts it away. `Reveal` is widget visibility, not
+               # card state — no other row moves, nothing re-realizes, and
+               # the swipe fires instead of the tap so a drag cannot also
+               # open the quote.
+               Row(align: .center, gap: 8) {
+                 Row(align: .center, gap: 8, width: .fill, on_tap: open_quote, value: w.ticker) {
+                   TextRow(text: w.ticker, width: .fill)
+                   TextValue(value: w.last, format: .money)
+                   TextValue(value: w.pct, format: .signed_pct)
+                 }
+                 Reveal {
+                   Chip(text: copy.unstar, on_tap: forget, value: w.ticker, tone: .danger, width: .fit)
+                 }
+               }
+             }
              TextTitle(text: copy.movers)
              Panel {
+               # Movers are the market's recommendations, not the user's list:
+               # no swipe menu here — a mover row is the tap that opens its
+               # quote, and the quote page is where Add lives.
                for m in movers key m.ticker {
-                 Row(align: .center, on_tap: open_quote, value: m.ticker) {
-                   Col(gap: 2) {
+                 Row(align: .center, gap: 8, on_tap: open_quote, value: m.ticker) {
+                   Col(gap: 2, width: .fill) {
                      TextRow(text: m.ticker)
                      TextCaption(text: m.name, width: .fill)
                    }
@@ -52,8 +140,26 @@ view list  Col {
              }
            }
 
+# §5.9: the quote's lifecycle is a state to branch on — a tapped ticker says
+# "fetching" or "can't reach", never a silent grid of em dashes.
 view detail  Col {
-               Row(on_tap: back) { TextCaption(glyph: "‹") }
+               # The page knows whether this stock is kept and says so: a
+               # kept one shows ✓ Added beside a red Remove, an unkept one
+               # shows Add — and for the beat after a remove, the word
+               # Removed, so the tap is answered in place.
+               Row(align: .center, gap: 8) {
+                 Row(align: .center, width: .fill, on_tap: back) { TextRow(text: copy.back_lbl) }
+                 when kept.has == "1" {
+                   TextCaption(text: copy.added_lbl)
+                   Chip(text: copy.unstar, on_tap: forget, value: selected, tone: .danger, width: .fit)
+                 }
+                 when kept.has != "1" {
+                   when last_act == .removed { TextCaption(text: copy.removed_lbl) }
+                   Chip(text: copy.add_lbl, on_tap: keep, value: selected)
+                 }
+               }
+               when quote.$state == .pending { TextBody(text: copy.loading) }
+               when quote.$state == .failed  { TextBody(text: copy.offline) }
                header
                chart
                ranges