Frontend visual overhaul: one design language from measured Issue Tracker facts

dag/extdeps/languages/css/properties.dag

@@ -39,6 +39,7 @@ type CssPropertyName
   | BorderStyle
   | BoxShadow
   | BoxSizing
+  | ClipPath
   | Color
   | ColorScheme
   | Cursor
@@ -53,6 +54,7 @@ type CssPropertyName
   | FontVariantNumeric
   | FontWeight
   | Gap
+  | GridArea
   | GridColumn
   | GridTemplateColumns
   | Height
@@ -105,6 +107,7 @@ fn css_property_wire(p: CssPropertyName) -> String {
     BorderStyle => "border-style"
     BoxShadow => "box-shadow"
     BoxSizing => "box-sizing"
+    ClipPath => "clip-path"
     Color => "color"
     ColorScheme => "color-scheme"
     Cursor => "cursor"
@@ -119,6 +122,7 @@ fn css_property_wire(p: CssPropertyName) -> String {
     FontVariantNumeric => "font-variant-numeric"
     FontWeight => "font-weight"
     Gap => "gap"
+    GridArea => "grid-area"
     GridColumn => "grid-column"
     GridTemplateColumns => "grid-template-columns"
     Height => "height"

dag/gunbc/design/scale.dag

@@ -1,13 +1,14 @@
 module gunbc.design.scale
 
-import std.types { Int, String, Bool }
+import std.types { Int, String, Bool, List }
 import gunbc.design.material { CssDecl, decl, css_block }
 import extdeps.languages.css.values {
   CssLength, css_ch, css_px, css_length_wire,
   CssFontStack, CssFontFamily, NamedFamily, GenericFamily,
   CssGenericFamily, GenericSansSerif, GenericMonospace, GenericSystemUi,
   css_font_stack_wire,
 }
+import extdeps.fonts.google_fonts { roboto_source }
 
 // Layer 2 token axes (design-register-library.md, the sibling axes to material/theme): spacing,
 // type, font stack, plus the dimension tokens (radius, border width, measure, fixed element
@@ -110,11 +111,16 @@ data type_scale: List<ScaleToken> = [
   text_10, text_11, text_12, text_13, text_14, text_15, text_18, text_24,
 ]
 
-data font_sans: ScaleToken = font_token(name: "font-sans", families: [
-  NamedFamily { name: "Roboto" },
+// The body stack. Its first family is the self-hosted Roboto face (ruling R2; gunbc.site.web_fonts
+// serves it), named by the same upstream source row the served @font-face rule names
+// (extdeps.fonts.google_fonts roboto_source), so this token cannot ask for a family the stylesheet
+// does not declare. The fallbacks are the product's measured stack.
+data font_sans_families: List<CssFontFamily> = [
+  NamedFamily { name: roboto_source.family },
   NamedFamily { name: "Arial" },
   GenericFamily { kind: GenericSansSerif },
-])
+]
+data font_sans: ScaleToken = font_token(name: "font-sans", families: font_sans_families)
 data font_mono: ScaleToken = font_token(name: "font-mono", families: [
   NamedFamily { name: "JetBrains Mono" },
   GenericFamily { kind: GenericMonospace },

dag/gunbc/harness/harness_throughput.dag

@@ -273,6 +273,12 @@ fn ledger_read_line(line: String) -> LineRead {
 // FIRST GAP WINS, IN STREAM ORDER, and it decides for the whole ledger before any row is kept --
 // the fail-closed half of the same fold. A ledger missing the rows it could not read is a shorter
 // run that looks complete.
+//
+// A READ STREAM WITH NO ROUND ROW IS AN OBSERVATION OF NO ROUND, NOT A GAP. It used to answer
+// RoundsUnobserved, which made an attempt whose agent has not finished its first round look the
+// same as one whose rounds were never captured. Whether a stream was captured at all is the
+// caller's fact (gunbc.roadmap_workflow_progress reads the events only of a modeled attempt with a
+// readable stream), so this reader states only what the stream it was given holds.
 fn harness_round_ledger_from_events(body: String) -> HarnessRoundLedger {
   let reads = map(split(s: body, delimiter: "\n"), l => ledger_read_line(line: l))
   match fold(reads, init: none, f: (acc, r) =>
@@ -293,11 +299,7 @@ fn harness_round_ledger_from_events(body: String) -> HarnessRoundLedger {
           LineIsNotOurs => []
           LineIsGap { cause: _ } => []
         })
-      if list_length(items: rows) == 0 {
-        RoundsUnobserved { reason: "no clocked round.usage row in the event stream" as NonEmptyStr }
-      } else {
-        RoundsObserved { rounds: rows }
-      }
+      RoundsObserved { rounds: rows }
     }
   }
 }
@@ -316,7 +318,9 @@ fn harness_throughput_from_ledger(ledger: HarnessRoundLedger) -> HarnessThroughp
   match ledger {
     RoundsUnobserved { reason: r } => ThroughputUnobserved { reason: r }
     RoundsObserved { rounds: rs } =>
-      if list_length(items: rs) < 2 {
+      if list_length(items: rs) == 0 {
+        ThroughputUnobserved { reason: "no clocked round yet" as NonEmptyStr }
+      } else if list_length(items: rs) < 2 {
         ThroughputUnobserved { reason: "one clocked round so far; an interval needs two" as NonEmptyStr }
       } else {
         let first = rs.first()
@@ -389,17 +393,31 @@ type SegmentFold {
   segments: List<RoundSegment>
 }
 
-fn round_segment_kind(now: Int?, last_measured: Int?, tool_calls: Int?) -> RoundSegmentKind {
+// HOW FAR THE WORKTREE'S CHANGED-PATH COUNT ROSE OVER THE LAST MEASURED VALUE. It is an
+// observation of the tree, not a count of writes: it is the one statement of "kind is a delta"
+// above, read by the strip's kind below and by the build meter's changed-path marks
+// (gunbc.roadmap.roadmap_build_meter), so the two cannot disagree about which rounds changed the
+// tree. An unread count has no rise; a first measurement rises from an unmeasured tree, which is
+// a fresh worktree with nothing changed. The result may be zero or negative (a commit lowers the
+// count); only a positive rise is drawn.
+fn round_changed_path_count_rise(now: Int?, last_measured: Int?) -> Int? {
   match now {
-    Absent => UnmeasuredRound
+    Absent => none
     Present { value: n } =>
       match last_measured {
-        Absent => if n > 0 { WriteRound } else { round_segment_kind_unwritten(tool_calls: tool_calls) }
-        Present { value: m } => if n > m { WriteRound } else { round_segment_kind_unwritten(tool_calls: tool_calls) }
+        Absent => Present { value: n }
+        Present { value: m } => Present { value: n - m }
       }
   }
 }
 
+fn round_segment_kind(now: Int?, last_measured: Int?, tool_calls: Int?) -> RoundSegmentKind {
+  match round_changed_path_count_rise(now: now, last_measured: last_measured) {
+    Absent => UnmeasuredRound
+    Present { value: rise } => if rise > 0 { WriteRound } else { round_segment_kind_unwritten(tool_calls: tool_calls) }
+  }
+}
+
 fn round_segment_kind_unwritten(tool_calls: Int?) -> RoundSegmentKind {
   match tool_calls {
     Absent => ReadRound

dag/gunbc/roadmap/roadmap_belt_actuate.dag

@@ -559,6 +559,8 @@ import gunbc.roadmap_session_placement {
 import gunbc.roadmap_workflow_command {
   WorkflowModeledStateStanding, WorkflowModeledStateObserved, WorkflowModeledStateAbsent, WorkflowModeledStateUnreadable,
 }
+import gunbc.roadmap.roadmap_build_meter { attempt_view_revision }
+import gunbc.site.element.build_meter { build_meter_wire_revision_member }
 import gunbc.roadmap_workflow_progress {
   AttemptWorktreeObservation, AttemptWorktreePresent, AttemptWorktreeAbsent, AttemptWorktreeUnobserved, attempt_worktree_observation_of,
   WorkflowAttemptEvidence,
@@ -9290,6 +9292,9 @@ fn belt_workflow_attempts_observe_scoped(
   }
 }
 
+// The 'attempt_view_revision' member names the compact work view that is current for this
+// attempt (gunbc.roadmap.roadmap_build_meter attempt_view_revision), for a page that already shows
+// it. Its staleness is the caller's revision comparison; a caller that made none passes none.
 // The wire join of the two authorities the client must never re-derive: the attempt's progress
 // members (gunbc.roadmap_workflow_progress, unchanged) plus the DECIDED activity view
 // (gunbc.roadmap_presentation) appended as one 'activity' member. The seam reads process and
@@ -9320,12 +9325,14 @@ fn belt_workflow_attempt_presentation_json_for_instance(
 fn belt_workflow_attempt_presentation_json_with_tick_read(
   progress: WorkflowAttemptProgress,
   tick_read: BeltTickReceiptRead,
+  stale_nodes: List<String> = [],
 ) -> JsonValue {
   json_object(members: concat(
     workflow_attempt_progress_json_members(progress: progress),
     [
       json_kv(key: "activity", value: activity_view_json_value(
           view: activity_view_from_progress(progress: progress))),
+      json_kv(key: build_meter_wire_revision_member, value: json_string(s: attempt_view_revision(progress: progress, stale: any(stale_nodes, n => n == progress.node_id)))),
       json_kv(
         key: "verification_presentation",
         value: json_string(
@@ -9371,6 +9378,7 @@ fn belt_tick_receipt_wire_json_for_instance(
 fn belt_workflow_attempts_json_value_for_instance(
   instance: HostDashboardInstance,
   observed: BeltWorkflowAttempts,
+  stale_nodes: List<String> = [],
 ) -> JsonValue {
   let tick_read = belt_tick_receipt_read_for_instance(instance: instance)
   match observed {
@@ -9392,6 +9400,7 @@ fn belt_workflow_attempts_json_value_for_instance(
             progress => belt_workflow_attempt_presentation_json_with_tick_read(
               progress: progress,
               tick_read: tick_read,
+              stale_nodes: stale_nodes,
             ),
           )),
         ),
@@ -9412,10 +9421,12 @@ fn belt_workflow_attempts_json_value(
 fn belt_workflow_attempts_observed_json_for_instance(
   instance: HostDashboardInstance,
   observed: BeltWorkflowAttempts,
+  stale_nodes: List<String> = [],
 ) -> String {
   serialize_json(v: belt_workflow_attempts_json_value_for_instance(
     instance: instance,
     observed: observed,
+    stale_nodes: stale_nodes,
   ))
 }