Skip to content

t27f: frame_shard.t27 -- a generic frame partition for reel renders; token_floor uses it (Closes #10385) - #10388

Merged
gHashTag merged 9 commits into
masterfrom
claude/tf-frame-shard-spec
Oct 18, 2026
Merged

t27f: frame_shard.t27 -- a generic frame partition for reel renders; token_floor uses it (Closes #10385)#10388
gHashTag merged 9 commits into
masterfrom
claude/tf-frame-shard-spec

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 18, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

Closes #10385

PR #10384 put the shard partition inside specs/t27f/token_floor.t27. This PR moves it into a generic spec, specs/t27f/frame_shard.t27, and switches token_floor to it. token_floor's rewrite (#10471) has landed on master, and it still carried the local copy.

What changed

  • New specs/t27f/frame_shard.t27: the partition from t27f: token_floor renders in 48 shards; frames cached by the seal (Closes #10383) #10384, with the reel length as a parameter.
    • shard_a(k, n, frames) / shard_b(k, n, frames): shard k of n covers [shard_a, shard_b), and the shards tile [0, frames) in order.
    • shard_n / shard_k / first_of / end_of: an n outside 1..frames or a k outside 0..n-1 means the whole reel.
    • env_count(name, dflt), env_first(frames) / env_end(frames) read TF_SHARD and TF_SHARDS. Only a main calls them, since they reach getenv and the binary links -lc.
  • specs/t27f/token_floor.t27:
    • Its local shard_a, shard_b, count_or, shard_n, shard_k and env_count are gone. They come from use t27f::frame_shard::... instead, which also clears the duplicate-bodies finding.
    • main reads env_first(FRAMES) / env_end(FRAMES).
    • The four shard tests became one test that checks the 48-shard tiling through frame_shard.
    • Resealed. frame_shard.t27 is now in the seal's closure.
  • docs/reports/t27b_expectations.json:
  • Seals: .trinity/seals/t27f_frame_shard.json (new) and .trinity/seals/t27f_token_floor.json (resealed).

Tests, on the Railway lab

t27c test-report gives 0 FAIL and 0 vacuous:

  • specs/t27f/frame_shard.t27: 5 of 5;
  • specs/t27f/token_floor.t27: 32 of 32.

frame_shard's tests cover:

  • tiling for every n from 1 to 64;
  • 48 and 450 shards of 450 frames;
  • reel lengths that n does not divide;
  • the count parser;
  • invalid shards falling back to the whole reel.

t27c seal --verify matches for frame_shard, and token_floor is resealed at the branch tip.

🤖 Generated with Claude Code

@gHashTag @claude
t27f: frame shards as a generic spec, frame_shard.t27 (Closes #10385)
eddbf22 
The shard partition and the TF_SHARD/TF_SHARDS reader, with the reel
length as a parameter, so any renderer opts in with three lines in its
main instead of copying them. token_floor.t27 switches to it in its
owner's render(wide) rewrite. Lab: test report 5/5, 0 vacuous; sealed.

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

github-actions Bot commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 10:46:30 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)=fad12492937a != 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).

@github-actions github-actions Bot mentioned this pull request Oct 18, 2026
Merged
@gHashTag
gHashTag marked this pull request as draft October 18, 2026 10:48
auto-merge was automatically disabled October 18, 2026 10:48

Pull request was converted to draft

@gHashTag

gHashTag commented Oct 18, 2026

Copy link
Copy Markdown
Owner Author

Draft on purpose. duplicate-bodies fails because count_or and env_count are now written twice: inside specs/t27f/token_floor.t27 (from #10384) and here. The fix is to delete token_floor's copies and add use t27f::frame_shard;, not to bless the ledger. token_floor.t27 is being rewritten in #10378, so that swap goes into the rewrite, and this PR is rebased after it. claw-sarif fails on every open PR: the app token step gets 422, "permissions requested are not granted to this installation".

This was referenced Oct 18, 2026
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Draft
Merged
Merged
Closed
Merged
Merged
Merged
@gHashTag @claude
t27f: token_floor takes its shards from frame_shard.t27; t27b ledger …
5e4d3b9 
…names frame_shard (Closes #10385)

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

github-actions Bot commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 14:57:39 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)=fad12492937a != 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).

@github-actions github-actions Bot mentioned this pull request Oct 18, 2026
Merged
@gHashTag @claude
t27f: reseal token_floor after the frame_shard swap (Refs #10385)
0c8dccf 
Lab: t27c test-report token_floor 32/32, frame_shard 5/5, 0 vacuous; frame_shard seal verifies unchanged.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag gHashTag changed the title t27f: frame shards as a generic spec, frame_shard.t27 (Closes #10385) t27f: frame_shard.t27 -- a generic frame partition for reel renders; token_floor uses it (Closes #10385) Oct 18, 2026
@github-actions

github-actions Bot commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 15:08:22 UTC

Summary

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=fad12492937a != 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 @claude
t27f: reseal token_floor_mux, whose closure holds token_floor's hash …
3f9fc23 
…(Refs #10385)

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

github-actions Bot commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 15:11:28 UTC

Summary

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=fad12492937a != 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).

This was referenced Oct 18, 2026
Merged
Merged
Merged
@gHashTag
gHashTag marked this pull request as ready for review October 18, 2026 15:21
@gHashTag @claude
t27b ledger: list ledger_union.t27 and t27mcp/service.t27, which t27b…
e43639b 
… passes (Refs #10385)

Both specs reached master in #10485 and #10484 without ledger lines, so the ratchet reported them UNLISTED.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 18, 2026 15:22
@gHashTag
Merge branch 'master' of github.com:gHashTag/t27 into claude/tf-frame…
91c9193 
…-shard-spec

# Conflicts:
#	.trinity/seals/t27f_token_floor_mux.json
@gHashTag
gHashTag marked this pull request as draft October 18, 2026 15:23
auto-merge was automatically disabled October 18, 2026 15:23

Pull request was converted to draft

@github-actions

github-actions Bot commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 15:23:58 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)=fad12492937a != 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 @claude
t27f: reseal token_floor_mux after merging master (Refs #10385)
875be55 
Master's mux seal recorded the token_floor hash from before the frame_shard swap.

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

github-actions Bot commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 15:25:25 UTC

Summary

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=fad12492937a != 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).

@github-actions github-actions Bot mentioned this pull request Oct 18, 2026
Merged
@gHashTag
gHashTag marked this pull request as ready for review October 18, 2026 15:29
@github-actions github-actions Bot mentioned this pull request Oct 18, 2026
Merged
@gHashTag @claude
t27b ledger: list model_route, lesson_reel and reel_topics as CI's t2…
20c8b07 
…7b run saw them (Refs #10385)

model_route.t27 and reel_topics.t27 pass. lesson_reel.t27 is blocked on type [N]T, like frame_shard, so max_not_pass goes from 133 to 134.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions github-actions Bot mentioned this pull request Oct 18, 2026
Merged
@gHashTag
gHashTag enabled auto-merge (squash) October 18, 2026 15:36
@github-actions

github-actions Bot commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 15:36:36 UTC

Summary

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=fad12492937a != 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).

@github-actions github-actions Bot mentioned this pull request Oct 18, 2026
Merged
@gHashTag
gHashTag merged commit 90631d0 into master Oct 18, 2026
34 of 36 checks passed
@gHashTag gHashTag mentioned this pull request Oct 19, 2026
Open
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: frame shards as a generic spec, frame_shard.t27

1 participant

@gHashTag