Skip to content

spec(t27f): the graph view uses the t27.ai site colours #10215

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gHashTag merged 1 commit into from
Oct 18, 2026
+14 −10
Merged

spec(t27f): the graph view uses the t27.ai site colours #10215

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 14 additions & 10 deletions specs/t27f/spec_graph_view.t27
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,16 +80,20 @@ pub const VIEW_BAND_GAP : u32 = 48;
/// Style by inference label (exact, derived, suggested, unknown). A guess and an unknown are
/// narrower and lower than a fact and sit centred in the column (indent * 2 + width = VIEW_COL_W);
/// only EXACT is drawn solid. Dash is the dash length in pixels, 0 for a solid line.
/// Colours are the t27.ai site tokens (apps/website/src/index.css): stroke is accent green for
/// exact, golden for derived, blue for suggested, muted grey for unknown; each fill is a dark tint
/// of its stroke, so white text clears 4.5:1 on every box. The dash stays distinct per label, so
/// the label survives a colour-blind reader.
pub const VIEW_LABEL_W : [4]u32 = [220, 220, 200, 200];
pub const VIEW_LABEL_H : [4]u32 = [44, 44, 36, 36];
pub const VIEW_LABEL_INDENT : [4]u32 = [0, 0, 10, 10];
pub const VIEW_LABEL_FILL : [4]u32 = [0xDCEFE0, 0xDDE8F7, 0xFFF1D0, 0xECECEC];
pub const VIEW_LABEL_STROKE : [4]u32 = [0x1B7F3B, 0x2459A8, 0xB7791F, 0x8A8A8A];
pub const VIEW_LABEL_FILL : [4]u32 = [0x0C2A1B, 0x2B2508, 0x0E2236, 0x1A1E1C];
pub const VIEW_LABEL_STROKE : [4]u32 = [0x00FF88, 0xFFD700, 0x58A6FF, 0x8B9490];
pub const VIEW_LABEL_DASH : [4]u32 = [0, 6, 3, 2];

/// Text and page colours, and the text size a host uses inside a box.
pub const VIEW_TEXT : u32 = 0x1A1A1A;
pub const VIEW_BACKDROP : u32 = 0xFFFFFF;
pub const VIEW_TEXT : u32 = 0xFFFFFF;
pub const VIEW_BACKDROP : u32 = 0x0B0D0C;
pub const VIEW_FONT_PX : u32 = 13;

/// Two edges between the same pair of nodes (uses and data_flow, calls and tested_by) would lie on
Expand Down Expand Up @@ -589,7 +593,7 @@ test label_sets_size_colour_and_order {
assert view_node_y(s, 15) == 40;
assert view_node_w(s, 15) == 200;
assert view_node_h(s, 15) == 36;
assert view_node_fill(s, 15) == 0xFFF1D0;
assert view_node_fill(s, 15) == 0x0E2236;
assert view_node_dash(s, 15) == 3;
assert view_overlap_count(s) == 0;
// its edge is a guess too, and points at line 67
Expand All @@ -605,7 +609,7 @@ test label_sets_size_colour_and_order {
assert view_verdict(d) == VIEW_OK;
assert view_node_y(d, 5) == 296;
assert view_node_y(d, 6) == 168;
assert view_node_fill(d, 5) == 0xDDE8F7;
assert view_node_fill(d, 5) == 0x2B2508;
assert view_node_dash(d, 5) == 6;
// the name moves nothing: the layout reads kind, label and node number only
var r : SpecGraph = tutorial_08_graph();
Expand All @@ -620,7 +624,7 @@ test unknown_node_is_drawn_alone {
assert view_node_x(g, 14) == 1610;
assert view_band_top(g) == 408;
assert view_node_y(g, 14) == 408;
assert view_node_fill(g, 14) == 0xECECEC;
assert view_node_fill(g, 14) == 0x1A1E1C;
assert view_node_widget(g, 14) == WIDGET_TEXT_BLOCK;
assert view_alone_below(g, 14);
// no edge end lands on it, while power_of_two (node 8) takes four
Expand Down Expand Up @@ -735,8 +739,8 @@ test host_entry_points_match_the_layout {
assert fx_node_line_start(0, 8) == 66;
assert fx_node_line_end(0, 8) == 68;
assert fx_node_widget(0, 8) == WIDGET_FORMULA_VIEW;
assert fx_node_fill(1, 15) == 0xFFF1D0;
assert fx_node_stroke(0, 0) == 0x1B7F3B;
assert fx_node_fill(1, 15) == 0x0E2236;
assert fx_node_stroke(0, 0) == 0x00FF88;
assert fx_node_dash(0, 0) == 0;
assert fx_node_w(0, 14) == 200;
assert fx_node_h(0, 0) == 44;
Expand All @@ -747,7 +751,7 @@ test host_entry_points_match_the_layout {
assert fx_edge_y1(0, 0) == 58;
assert fx_edge_x2(0, 0) == 300;
assert fx_edge_y2(1, 16) == 66;
assert fx_edge_stroke(0, 12) == 0x2459A8;
assert fx_edge_stroke(0, 12) == 0xFFD700;
assert fx_edge_dash(1, 16) == 3;
// past the graph, a host gets 0, not a neighbour's numbers
assert fx_node_x(0, 15) == 0;
Expand Down
Loading