Skip to content

spec(t27f): deck -- every reel scene is a presentation slide by default - #9979

Merged
gHashTag merged 1 commit into
masterfrom
t27f/deck-style
Oct 17, 2026
Merged

spec(t27f): deck -- every reel scene is a presentation slide by default#9979
gHashTag merged 1 commit into
masterfrom
t27f/deck-style

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 17, 2026

Copy link
Copy Markdown
Owner

Summary

The default look of a T27F reel is now a presentation deck, following the Tome deck the owner pointed at (tomeapp.ai/showcase/ccIzxAeYpq39I6HMWzwhe). New spec specs/t27f/deck.t27 (module T27fDeck) imports specs/t27f/reel.t27 and decides the numbers; a host draws them.

Scene kind Slide layout
title COVER: one big headline and a subtitle over the dimmed map
overview, lens STAGE: a headline strip over the map
focus, evidence, call SPLIT: glass card (2-line headline, up to 4 rows) beside the map; above it on square and tall frames
  • Regions: in permille. The reel camera window is fitted whole into the hero region, so focus_keeps_neighbours and overview_shows_the_whole_map hold on every slide.
  • Type: sizes are fixed per preset. Text that does not fit becomes a second slide; the font never shrinks.
  • Fades: the card fades in while the camera lands and out before the next move, so text is never on screen while the map moves under it.
  • Palette: dark backdrop, violet/magenta/pink/blue aurora, glass fill 7 percent, border 24 percent.
  • Deliberate differences from Tome:
    • no cyan ribbons, because teal and cyan mean verified and published on our map, and a test keeps every decorative colour away from every status colour;
    • the hero is always the map, never a generated picture.

Verification (Railway lab, t27c 90fc25b, zig 0.16.0)

  • 14/14 tests, 0 vacuous passes (about 90k runtime asserts), 2 invariants proved.
  • Each negative control fails its own test:
Mutation Failing test
cyan ribbon in the aurora decoration_never_wears_a_status_colour
glass fill 70 to 500 permille text_reads_on_glass
square frame laid out side by side lines_are_long_enough_to_read
card never fades out the_card_fades_and_never_pops
card widened into the map text_never_covers_the_map

Not claimed

No host draws this yet. The contrast check is a luminance difference, not a WCAG ratio.

Closes #9978

🤖 Generated with Claude Code

@gHashTag @claude
spec(t27f): deck -- every reel scene is a presentation slide by default
0c2049d 
The default look of a T27F reel follows the Tome deck the owner pointed
at: 16:9, dark aurora backdrop, glass card with a bold two-line headline
and up to four rows, the map as the hero beside it (above it on portrait
frames), a cover slide with one big headline.

Numbers only, imported from reel.t27: layouts per scene kind, regions in
permille, the reel camera window fitted whole into the hero so
focus+context holds on every slide, type sizes per preset, card fades,
palette and contrast. Decoration keeps off the status colours: Tome's
cyan ribbons would read as verified on our map, so they are not used.

Lab (t27c 90fc25b): 14/14 tests, 0 vacuous, 2 invariants proved.
Five negative controls each fail their own test.

Closes #9978

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

github-actions Bot commented Oct 17, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-17 15:03:43 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)=e769ef021713 != 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 enabled auto-merge (squash) October 17, 2026 15:04
@gHashTag
gHashTag merged commit bfe960c into master Oct 17, 2026
27 of 29 checks passed
This was referenced Oct 17, 2026
Merged
Closed
Merged
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.

t27f: deck look -- every reel scene is a presentation slide by default

1 participant

@gHashTag