Repository navigation

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

Merged

ymote merged 97 commits into

mainfrom

l0-visualisations

Aug 9, 2026

Merged

L0 lowering fidelity, L1 as a specified level, and the tests that find this defect class#4
ymote merged 97 commits into
mainfrom
l0-visualisations

Commits on Aug 2, 2026
- feat(ui_l0): lower the five data visualisations, not markers
  
  ymote
  and
  claude
  committed
  21368ba
- feat(ui_l0): lower a tint for every text role that admits one
  
  ymote
  and
  claude
  committed
  4fa3331
Commits on Aug 3, 2026
- feat(ui_l0): find the boundary by trying to cross it
  
  ymote
  and
  claude
  committed
  25de52d
- fix(ui_l0): a useless format! in the decoration helper
  
  ymote
  and
  claude
  committed
  6415be9
- feat(ui_l0): Map and Field, and a §1.0 that stops overreading one card
  
  ymote
  and
  claude
  committed
  54d0019
- feat(ui_l0): nav, at L0, in 54 lines
  
  ymote
  and
  claude
  committed
  381e892
- docs(ui_l0): a card is not the only thing an app can be
  
  ymote
  and
  claude
  committed
  622ff4a
- feat(ui_l0): a backend-answered source now survives a loop
  
  ymote
  and
  claude
  committed
  1e92c7f
- refactor(ui_l0): name the scope frame type
  
  ymote
  and
  claude
  committed
  26f7ff6
- feat(ui_l0): a loop over a source with no data realizes its declared count
  
  ymote
  and
  claude
  committed
  37ff11d
Commits on Aug 5, 2026
- feat(ui_l0): a card lowers what is true now, not what it was handed
  
  ymote
  and
  claude
  committed
  d1dcf09
- feat(ui_l0): a read must name a field the card asked for
  
  ymote
  and
  claude
  committed
  4068630
- feat(ui_l0): a durable collection is a source, written through a transition
  
  ymote
  and
  claude
  committed
  db171f2
- feat(ui_l0): admit a card that declares L1, and give it arithmetic
  
  ymote
  and
  claude
  committed
  c055552
- docs(roadmap): bring the L0 section current with what L0 does
  
  ymote
  and
  claude
  committed
  db1cbf0
- docs(ui_l0): specify the L1 expression form, and stop claiming L1 is unimplemented
  
  ymote
  and
  claude
  committed
  d5c095d
- fix(ui_l0): a tap that writes the value already there is not a change
  
  ymote
  and
  claude
  committed
  eeb1698
- fix(ui_l0): every operand a record reads is a dependency, in a guard too
  
  ymote
  and
  claude
  committed
  782a830
- docs(roadmap): reconciliation stays deferred, and now there is a number
  
  ymote
  and
  claude
  committed
  cc6f70d
- fix(ui_l0): a tint is as live as the number it tints
  
  ymote
  and
  claude
  committed
  cf6c879
- fix(ui_l0): a scalar argument is live where the backend can answer it
  
  ymote
  and
  claude
  committed
  2083a5f
- fix(ui_l0): an L1 operand that is a live call is coerced to a number
  
  ymote
  and
  claude
  committed
  e37cb29
- test(ui_l0): make the catalog executable, and fix the column count
  
  ymote
  and
  claude
  committed
  fdf8b88
- feat(ui_l0): a Map draws a live route, and gps/search answer live
  
  ymote
  and
  claude
  committed
  ebc0c47
- feat(ui_l0): the kit lowers a Map too, so nav's route draws on device
  
  ymote
  and
  claude
  committed
  734f1f2
- fix(ui_l0): a Map needs the shipping card's geometry, not a guessed one
  
  ymote
  and
  claude
  committed
  246d3f0
- fix(ui_l0): a map guards on having a position, and stops at 0% CPU
  
  ymote
  and
  claude
  committed
  05e3ea6
- fix(ui_l0): a comparison binds looser than arithmetic
  
  ymote
  and
  claude
  committed
  11dbda5
- feat(ui_l0): close L1's three remaining holes
  
  ymote
  and
  claude
  committed
  56c1e9a
- fix(ui_l0): sys.search answers an unindexed read, and 1 equals 1.0
  
  ymote
  and
  claude
  committed
  89173ff
Commits on Aug 6, 2026
- fix(ui_l0): a week forecast realizes seven days, each asking for its own
  
  ymote
  and
  claude
  committed
  98a4385
- fix(ui_l0): a forecast row's label and the week's range go live
  
  ymote
  and
  claude
  committed
  c48c00c
- feat(ui_l0): the satellite pane, and a row that can stop filling
  
  ymote
  and
  claude
  committed
  89c0026
- fix(ui_l0): a visualisation's parameters are numbers, and a grid is rows
  
  ymote
  and
  claude
  committed
  9f321d9
- test(ui_l0): the backend conformance test §4 has been owing since it was written
  
  ymote
  and
  claude
  committed
  4f59bbf
- docs(ui_l0): nav's drive screen is settled AGAINST L0, not for it
  
  ymote
  and
  claude
  committed
  c070835
- docs(ui_l0): nav's drive screen is L2 as written, not L2 by necessity
  
  ymote
  and
  claude
  committed
  6a24d9e
- fix(ui_l0): a source argument goes live whether or not a blob seeded it
  ymote
  committed
  5cc2d5e
- feat(ui_l0): nav gains a drive screen, and the camera has to earn it
  ymote
  committed
  a3c3575
- docs(roadmap): L2's strongest candidate card has been written at L0 instead
  ymote
  committed
  15b38ef
- fix(ui_l0): a role admitted once has to be lowered twice
  ymote
  committed
  ed71824
- fix(ui_l0): a card holding a map is laid out the way the shipping nav card is
  ymote
  committed
  f89e84a
- fix(ui_l0): the kit floats a map card too, and its arm was dead code
  ymote
  committed
  64177f1
- feat(ui_l0): a trip has a travel mode and can route through a stop
  ymote
  committed
  a527f4e
- feat(ui_l0): nav gains travel modes, a stop, and per-leg times
  ymote
  committed
  a26eb6d
- perf(ui_l0): a followed map tracks the fix without rebuilding the card
  ymote
  committed
  6355234
- feat(ui_l0): a driving map can be tilted, which is the shipping app's R8.1
  ymote
  committed
  6111d6d
- docs(ui_l0): a second stop is blocked on a list-valued attribute, not on totality
  ymote
  committed
  025ac45
- feat(ui_l0): the trip's own places are pickable while the query is empty
  ymote
  committed
  5008b47
- fix(ui_l0): the follow camera's position is not a property, and mine froze it
  ymote
  committed
  2f70fea
- perf(ui_l0): a live value carries its call, so a driving card stops rebuilding
  ymote
  committed
  ed1c71f
- test(ui_l0): the card stays L0 while the lowering emits a tick for it
  ymote
  committed
  eee5be7
- fix(ui_l0): the add-a-stop control could never add a stop
  ymote
  committed
  d203bbe
- fix(ui_l0): a numeric argument cannot carry an expression
  ymote
  committed
  a6b8edf
Commits on Aug 7, 2026
- feat(ui_l0): a map card gets a top pane and a swipeable bottom sheet
  ymote
  committed
  71daa52
- feat(ui_l0): an action can be destructive, and the sheet reads at a glance
  ymote
  committed
  f035bc1
- l0: the drive sheet says how long is left, above how far
  ymote
  committed
  36c6daa
- l0: a transition advances from the value the card is SHOWING
  ymote
  committed
  5694fc9
- l0: a map pins the trip it draws
  ymote
  committed
  f18ff0e
- nav: no fix means show the trip, not a camera aimed at -9999
  ymote
  committed
  9a3d5f2
- nav: the search box can actually search
  ymote
  committed
  3e2efc7
- l0: a card may name a map's controls, and still may not call it
  ymote
  committed
  69b97bb
- l0: undo a guard that removed the map it was protecting
  ymote
  committed
  b8dfb25
- nav: previewing a trip is a screen, not a state of planning one
  ymote
  committed
  c31d98e
- l0: a trip from here CAPTURES the fix instead of referencing it
  ymote
  committed
  db09aa9
- l0: the hero ramp comes down to 70% with the rest of the theme
  ymote
  committed
  5d79f1e
- nav: back out the captured origin — realize is the wrong moment
  ymote
  committed
  3fd123c
- l0: a search result says WHICH place it is, and carries the way back to it
  ymote
  committed
  2213ee3
- l0: back out R11.3 again — there is no moment to capture the fix at
  ymote
  committed
  a334ec3
- l0: a field can answer a keystroke and a commit differently
  ymote
  committed
  49ea164
- l0: a map can route through two stops, and pin both
  ymote
  committed
  adea55c
- l0: an initial taken from a source is a CAPTURE, and someone must write it down
  ymote
  committed
  b8c99c5
- nav: the chase camera sits where the card it replaces sits
  ymote
  committed
  e067b04
- l0: `width: .label` — the slot a form label sits in
  ymote
  committed
  b44cde8
- l0: a map's camera can follow card state, so a toggle is not four maps
  ymote
  committed
  e282a90
- nav: the two things you can do, centred, as icons
  ymote
  committed
  a6d4fc9
- nav: the planning sheet, arranged the way iOS Maps arranges one
  ymote
  committed
  b06e9f7
- nav: the cost goes on the route, and GO is centred under it
  ymote
  committed
  7165b54
Commits on Aug 8, 2026
- feat(ui_l0): search you can type — and the four classes it flushed out
  
  ymote
  and
  claude
  committed
  54b346e
- feat(ui_l0): GO goes straight to the drive, and the map's side chips match the ring
  
  ymote
  and
  claude
  committed
  85f8e1f
- fix(ui_l0): the two live-refusal syntax classes teach instead of cascade
  
  ymote
  and
  claude
  committed
  5f89fac
- fix(ui_l0): weather/news/stock fixtures gain the §5.9 lifecycle guards (exemplar sync)
  
  ymote
  and
  claude
  committed
  3451d0e
- fix(ui_l0): a money format survives the tick
  
  ymote
  and
  claude
  committed
  62c071a
- fix(ui_l0): .speed and .pressure render their dimension; .index leaves the catalog
  
  ymote
  and
  claude
  committed
  c3ef99d
- feat(ui_l0): a preference can be written, and the declaration names its key
  
  ymote
  and
  claude
  committed
  d2cc719
- feat(ui_l0): prove the weather card's saved-cities flow end to end
  
  ymote
  and
  claude
  committed
  089f87f
- fix(ui_l0): the remove chip escapes its row's hit target
  
  ymote
  and
  claude
  committed
  c63ec62
- feat(ui_l0): a reading list and a watchlist outlive the process
  
  ymote
  and
  claude
  committed
  59de60b
Commits on Aug 9, 2026
- feat(ui_l0): sys.topics — a followed word, joined live
  
  ymote
  and
  claude
  committed
  6b73e99
- feat(ui_l0): sys.link, and a write is a use
  
  ymote
  and
  claude
  committed
  6ff7e06
- feat(ui_l0): next/prev walk a collection, the way a swipe pages
  
  ymote
  and
  claude
  committed
  1a10db7
- feat(ui_l0): looking is not keeping — the add flows, and width on a chip
  
  ymote
  and
  claude
  committed
  bd76744
- chore(ui_l0): the mover star goes; a mover row is one tap again
  
  ymote
  and
  claude
  committed
  dff19d6
- chore(ui_l0): the stock fixture reveals per row
  
  ymote
  and
  claude
  committed
  4bfac2e
- feat(ui_l0): a mover swipes to reveal Add
  
  ymote
  and
  claude
  committed
  35fcf6d
- chore(ui_l0): movers are recommendations — Add moves to the quote page
  
  ymote
  and
  claude
  committed
  a960810
- feat(ui_l0): a watchlist source naming a ticker is a membership probe
  
  ymote
  and
  claude
  committed
  7dbc77e

Commits

Commits on Aug 2, 2026

Commits on Aug 3, 2026

Commits on Aug 5, 2026

Commits on Aug 6, 2026

Commits on Aug 7, 2026

Commits on Aug 8, 2026

Commits on Aug 9, 2026