Skip to content

t27f: vf_style radius, density and DPR tokens (UIKIT A1) (Refs #13251) - #13347

Merged
gHashTag merged 1 commit into
masterfrom
claude/uikit-a1-tokens
Nov 8, 2026
Merged

t27f: vf_style radius, density and DPR tokens (UIKIT A1) (Refs #13251)#13347
gHashTag merged 1 commit into
masterfrom
claude/uikit-a1-tokens

Conversation

@gHashTag

@gHashTag gHashTag commented Nov 8, 2026

Copy link
Copy Markdown
Collaborator

UIKIT Wave A, slice A1 (tokens). Refs #13251.

Additive only: no existing const or assert in specs/t27f/vf_style.t27 changes, and no import is added.

Family Added Where the value comes from
Radius RADIUS_SM 6, RADIUS_MD 12 (= STYLE_RADIUS), RADIUS_LG 24, radius_full(w, h), radius_fit(r, w, h) style-guide picks; full = half the shorter side
Density DENSITY_COMPACT/DEFAULT/COMFORTABLE, density_shift, space_at(step, d) one phi step down or up on the existing spacing scale: compact 5/8/13/21, default 8/13/21/34, comfortable 13/21/34/55
DPR DPR_MIN 1, DPR_MAX 3, dpr_clamp, backing_px, backing_rgb_bytes, dpr_pct backing_rgb_bytes(375, 812, 1) = 913500, the course HUD 1x raster; 2x = 3654000; dpr_pct stays inside vf_scale 25..400
Shadow none no painter draws one, so a token would claim nothing

docs/ui-kit/tokens.md gets a short pointer section; the values live only in the spec.

Not in this PR: the HUD raster is still 1x. Wiring DPR into course_hud_wasm.t27 and the workshop is slice A4.

Tests

t27c test-report (master-built t27c, run locally):

  • specs/t27f/vf_style.t27: 13/13 pass, 0 vacuous (3 new tests, 39 new runtime asserts, 4 new negative controls);
  • specs/t27f/vf_uikit.t27 (importer): 9/9 pass, 0 vacuous.

No seal covers vf_style.t27.

🤖 Generated with Claude Code

@gHashTag @claude
t27f: vf_style radius scale, density modes and DPR backing store (UIK…
9e072c5 
…IT A1) (Refs #13251)

Wave A slice A1 of the UIKIT order, additive only:
- radius sm/md/lg (6/12/24, md = STYLE_RADIUS) plus radius_full and radius_fit;
- density compact/default/comfortable as a step shift on the phi spacing scale (space_at);
- DPR 1..3: dpr_clamp, backing_px, backing_rgb_bytes, dpr_pct (the vf_scale percent).
backing_rgb_bytes(375, 812, 1) pins the course HUD 1x raster (913500 bytes); 2x is 3654000.
No shadow token: no painter draws one.

t27c test-report: vf_style 13/13 pass, 0 vacuous; vf_uikit (importer) 9/9 pass, 0 vacuous.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Nov 8, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-08 06:38:53 UTC

Summary

Status Count
Total Open PRs 44
PRs with Failing Checks 39
PRs with All Checks Green 5
READY 4
FAILING 39
PENDING 0
NO CHECKS YET 0

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=b882be1e4933 != 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 dacd1f0 into master Nov 8, 2026
36 of 38 checks passed
@gHashTag
gHashTag deleted the claude/uikit-a1-tokens branch November 8, 2026 06:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@gHashTag