Skip to content

policy/t27f: close the two genuine seal debts from the reseal wave (Closes #13584) - #13587

Merged
gHashTag merged 2 commits into
masterfrom
lane/reseal-stale-seals
Nov 10, 2026
Merged

gHashTag merged 2 commits into
masterfrom
lane/reseal-stale-seals

Conversation

@gHashTag

@gHashTag gHashTag commented Nov 10, 2026 •

Copy link
Copy Markdown
Collaborator

Summary

  • specs/t27f/vf_card_fit.t27: the 375-fit test now follows the vf_layout law (Refs epic(t27f): graph-first UI engine -- object graph to meaning, layout, theme, mood, render, diff (t27b + T27F) #13251) -- a text node is as tall as vf_text_height at its FINAL width; boxes below the title keep their SIZE and shift y by the title height delta; the card height follows its children. Seals clean (5/5, no --force) under zig 0.16.0.
  • specs/policy/ui_raw_values.t27: count_raw skipped to the first argument after '(' and tested THAT for numeric -- but the first argument is the canvas (c), so it counted nothing. Now it skips to the first comma and tests the colour argument; the tests' expectations (literal counted, named constant not) now hold. The string + concat in two tests replaced with comptime ++ on literals, the only form gen-zig can emit (Refs epic: self-host t27c -- rewrite the compiler from Rust into t27 #5980). Seals clean, all four backends compile.
  • Local python3 tools/check_seal_coverage.py: zero [stale] / [tests-fail] / [unsealed]. tri seals sync-twins: 499 consistent.

Follow-up to #13585 (merged before these fixes landed on its branch).

Closes #13584


Note

Low Risk
Changes are spec/test fixes and seal metadata updates in policy and layout modules, with no runtime auth or production-path changes.

Overview
Closes two forced/stale seals from the reseal wave: ui_raw_values and T27fVfCardFit, and refreshes milestone spec seals.

In specs/policy/ui_raw_values.t27, count_raw now skips the canvas argument and inspects the first colour argument after ( (it previously treated c as numeric and counted nothing). Several check_all tests use comptime ++ on literals instead of runtime + so gen-zig can emit them.

In specs/t27f/vf_card_fit.t27, the 375-fit test asserts vf_layout behaviour with vf_text_height at final widths: title/label heights, vertical shifts for siblings when the title height changes, and card height derived from children. T27fVfCardFit is resealed 5/5 without --force, with vf_text_measure in the seal closure.

milestone_integrity, milestone_link, and milestone_metrics only drop redundant inline comments on constants; new seal JSON files record clean test runs for those modules.

Reviewed by Cursor Bugbot for commit cc20158. Bugbot is set up for automated code reviews on this repo. Configure here.

…he colour argument, vf_card_fit test follows the vf_layout height law (Closes #13584)
@cursor

cursor Bot commented Nov 10, 2026

Copy link
Copy Markdown
Contributor

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: 3257f6c9-fc4b-47dd-b628-abfbeee9f8aa)

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-10 16:06:50 UTC

Summary

Status Count
Total Open PRs 35
PRs with Failing Checks 31
PRs with All Checks Green 4
READY 0
FAILING 31
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 31 + 0 + 0 = 31, and there are 35 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).

@cursor

cursor Bot commented Nov 10, 2026

Copy link
Copy Markdown
Contributor

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: 857fb7d6-8bc7-47a7-9e53-56d83f97a9e6)

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-10 16:17:59 UTC

Summary

Status Count
Total Open PRs 34
PRs with Failing Checks 30
PRs with All Checks Green 4
READY 0
FAILING 30
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 30 + 0 + 0 = 30, and there are 34 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 a48b79a into master Nov 10, 2026
35 of 42 checks passed
@gHashTag
gHashTag deleted the lane/reseal-stale-seals branch November 10, 2026 16:20
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.

seals: ui_raw_values gen-zig string concat gap + vf_card_fit height regression (Refs #5980)

1 participant