Repository navigation
Conversation
Writes every reachable state of the vc-the-loop widget as one section of a single HTML page, linked by anchors and switched by CSS :target, with no script, for three caps on the number of rounds (6, 12, 24). The numbers (state count, raw bytes, a fixed-Huffman deflate size) come out of the spec's own tests: measure_* assert a wrong value on purpose and the failing line prints the real one. Spike only, nothing is wired into the widget pages. Refs #10937 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Contributor
Contributor
PR DashboardGenerated at: 2026-11-10 12:29:06 UTC
Summary
Seal Status
|
…static page The affected-specs gate prints only the count of failing tests per spec, so each probe is the spike code plus a ladder of tests that fail at growing thresholds: the failing count is the rung the measured size falls on. Round 1 (powers of 2^(1/4)) found the brackets, round 2 narrows them. The probes are deleted once the numbers are posted. The anchor fn of the spike is reordered so its body is not a byte copy of jtag_verdict's. Refs #10937 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
gHashTag
force-pushed
the
feat/vc-static-view-spike
branch
from
November 10, 2026 12:34
04ab56f to
57a5001
Compare
Contributor
PR DashboardGenerated at: 2026-11-10 12:34:27 UTC
Summary
Seal Status
|
…comment The four static_view_probe_* specs only existed to read the page size through failing-test counts; the numbers are now recorded in the spike spec header. Refs #10937 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
This was referenced Nov 10, 2026
widgets: add wasm-view pages - ship course 12 vc-* widgets as pure t27
Trinity-S-AI-DNA/trinity#1807
Closed
Contributor
PR DashboardGenerated at: 2026-11-10 12:43:27 UTC
Summary
Seal Status
|
This was referenced Nov 10, 2026
Merged
Merged
This was referenced Nov 10, 2026
Merged
Merged
This branch has not been deployed
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
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.
Description
Spike FR-106 of the wasm-view epic: can a course-12 widget ship as a page with no script, built by t27 alone?
specs/widgets/static_view_spike.t27writes every reachable state of thevc-the-loopwidget as one<section>of a single HTML page, linked by anchors and switched by CSS:target, using thehtml_outwriter. A cap on the number of rounds keeps the state set finite.This PR is a measurement, not a feature. It stays draft and is closed once the numbers are posted. Nothing is wired into the widget pages.
Refs #10937
Changes
specs/widgets/static_view_spike.t27(new): transition fns, page writer for caps 6, 12 and 24, a fixed-Huffman deflate size estimator, tests.Testing
The existing spec-test CI runs the file. Tests named
measure_*assert a wrong value on purpose: a failing assertion prints the value of its non-literal side, so the number is in the failing line of the log. These tests are red by design and are the whole point of the PR. No workflow is added: a new hand-written.ymlis DENY under own_language.t27 and t27c has no backend that writes one.Review Notes
The compressed size is not gzip. It is the size of one fixed-Huffman deflate block from a greedy LZ77, computed in t27, and is quoted as an upper bound for
gzip -9.🤖 Generated with Claude Code