Skip to content

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

Merged
gHashTag merged 1 commit into
masterfrom
spec/t27f-graph-view-site-colours
Oct 18, 2026
Merged

gHashTag merged 1 commit into
masterfrom
spec/t27f-graph-view-site-colours

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #10213

Recolours specs/t27f/spec_graph_view.t27 with the t27.ai site tokens (apps/website/src/index.css in gHashTag/trinity), so the page that shows this view, t27.ai/t27f/graph/, is no longer a white page. Refs gHashTag/trinity#1648.

Changes (constants and the tests that pin them; no layout rule moves)

exact derived suggested unknown
stroke 0x00FF88 0xFFD700 0x58A6FF 0x8B9490
fill 0x0C2A1B 0x2B2508 0x0E2236 0x1A1E1C
dash 0 6 3 2
  • VIEW_TEXT is 0xFFFFFF and VIEW_BACKDROP is 0x0B0D0C (the site's panel black).
  • The dash per label is unchanged on purpose: the spec's own invariant keeps all four dashes distinct so a label survives a colour-blind reader. Derived therefore stays dashed, not solid.
  • Edges keep following their label's stroke (view_edge_stroke), as before.
  • Asserts updated: view_node_fill for suggested, derived and unknown, fx_node_fill, fx_node_stroke, fx_edge_stroke.

Verification (Railway lab)

t27c test-report specs/t27f/spec_graph_view.t27: 9 pass, 0 fail, 4 invariants proved, 0 vacuous passes.

Contrast: white text on each fill is above 13:1; the strokes on the backdrop are above 6:1 (the lowest is the muted grey).

🤖 Generated with Claude Code

Dark backdrop and white text; stroke is accent green for exact, golden for
derived, blue for suggested, muted grey for unknown, each fill a dark tint of
its stroke. Dash per label is unchanged, so a label still survives a
colour-blind reader. The asserts that pin colours are updated.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 18, 2026 04:39
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 04:40:29 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 49
PRs with All Checks Green 1
READY 0
FAILING 49
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 49 + 0 + 0 = 49, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=0f8c66b9ed0e != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit 538df07 into master Oct 18, 2026
26 of 30 checks passed
gHashTag added a commit to gHashTag/trinity that referenced this pull request Oct 18, 2026
… JetBrains Mono) (#1681)

The page was plain white. The page chrome now uses the t27.ai tokens from
src/index.css (black page, #0b0d0c panel, #00FF88 accent, Outfit text,
JetBrains Mono for names), with a link back to t27.ai.

Box and line colours are not set here: they come from spec_graph_view.t27
(gHashTag/t27#10215, master 538df0750), so t27f.wasm, spec_graph_view.mjs and
the vendored view spec are regenerated on the lab and PROVENANCE.txt carries
the new checksums. graph.js stays 39 lines; its only change is the SVG font.

Derived edges are not included: the derive pass is a separate module the wasm
glue does not call yet.

Refs #1648

Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
github-actions Bot added a commit to gHashTag/trinity that referenced this pull request Oct 18, 2026
feat(website): /t27f/graph/ in the site's own style (dark, Outfit and JetBrains Mono) (#1681)

The page was plain white. The page chrome now uses the t27.ai tokens from
src/index.css (black page, #0b0d0c panel, #00FF88 accent, Outfit text,
JetBrains Mono for names), with a link back to t27.ai.

Box and line colours are not set here: they come from spec_graph_view.t27
(gHashTag/t27#10215, master 538df0750), so t27f.wasm, spec_graph_view.mjs and
the vendored view spec are regenerated on the lab and PROVENANCE.txt carries
the new checksums. graph.js stays 39 lines; its only change is the SVG font.

Derived edges are not included: the derive pass is a separate module the wasm
glue does not call yet.

Refs #1648

Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

spec(t27f): the graph view uses the t27.ai site colours (dark backdrop, accent green)

1 participant