Repository navigation
spec(t27f): reel -- video format and Claude Code still views - #9966
Merged
Merged
Conversation
specs/t27f/reel.t27 (module T27fReel): every frame of a T27F reel is a pure function of (reel, frame, preset). It covers: - the 3 x 9 lesson honeycomb; - a focus+context camera that keeps six neighbours in frame; - a closed scene catalog; - eased transitions with no jump; - per-target limits that refuse rather than cut; - gap styling that never looks verified; - a human yes before posting; - the channel a still takes to the user per host. Numbers only: a host draws them. 16/16 tests pass on the lab, none vacuous, 4 invariants proved. Four one-token mutations each fail their test. Closes #9965 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
enabled auto-merge (squash)
October 17, 2026 14:49
Contributor
This was referenced Oct 17, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #9965
Refs gHashTag/trinity#1648 (EPIC: T27F), gHashTag/trinity#1677 (MEGA-EPIC: Universal T27F Topic-to-Value Engine)
What
specs/t27f/reel.t27(moduleT27fReel) is one video format for a T27F topic map. Every frame is a pure function of (reel, frame, preset); the same numbers drive three outputs:It decides:
The spec computes numbers only; a host turns them into pixels. That split is forced, not chosen. On this compiler:
No foreign code. One
.t27file and one OWNERS row.Evidence (Railway lab, t27c 90fc25b, zig 0.16.0)
test-report: 16/16 pass, 4 invariants proved, 0 vacuous (275 runtime asserts executed).Negative controls, one token each:
FOCUS_HW340 -> 200focus_keeps_neighboursgaps_never_look_verifiedcamera_never_jumps,zoom_lands_on_the_cellunknown_scene_refuses_the_reelgen-jssucceeds.gen-csucceeds and emits bodies, but the C does not compile:@divTrunc/@remreach it verbatim (A call to a builtin that does not exist typechecks clean, generates, and reaches the C verbatim -- 41 specs classed Working do it #4561). The spec needs them because a signed/reaches Zig uncast (gen (Zig): an i64 array index and a signed / with a call or constant operand reach Zig uncast #6867).Not claimed
t27f_viewtool in gHashTag/t27-mcp and the site player are follow-ups. They need host-executable bodies first: gen-js bodies, or gen-c lowering@divTrunc/@rem(A call to a builtin that does not exist typechecks clean, generates, and reaches the C verbatim -- 41 specs classed Working do it #4561).🤖 Generated with Claude Code