Repository navigation
spec(t27f): raise SpecGraph capacity to 192 nodes and 254 edges (Closes #10180) - #10181
Merged
Merged
Conversation
#10180) Measured on the Railway lab over 2204 specs: top-level declarations per spec p50 20, p90 66, p95 96, p98 183; edges p95 at most 128 on an 86-spec sample. MAX_NODES 20 -> 192, MAX_EDGES 24 -> 254 (u8 endpoints, NO_INDEX 255). Cap-relative refusal tests, an at-capacity valid test in spec_graph, generated at-cap and over-cap sources in the exporter, a node-capacity layout test in the view, and an invariant that the caps cover the measured p95. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
gHashTag
enabled auto-merge (squash)
October 18, 2026 03:17
Contributor
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 #10180
SpecGraph held 20 nodes and 24 edges, so the exporter (#10173) refused most real specs. This raises the caps to 192 nodes and 254 edges.
Measurement (Railway lab, no Mac builds)
specs/**/*.t27files, top-level declarations per spec: p50 20, p90 66, p95 96, p98 183, p99 436, max 678 (symbol-based count, not the exporter).Changes
spec_graph.t27: MAX_NODES 192, MAX_EDGES 254, arrays andblank_graphwidened, measured numbers documented,MEASURED_*_P95constants, an invariant that the caps stay below NO_INDEX and cover p95.capacity_is_refused_not_truncatedis now cap-relative; newa_graph_exactly_at_capacity_is_valid.spec_graph_export.t27: name-span arrays widened; the two capacity tests now use generated-size sources (192 vs 193 nodes, 254 vs 256 edges).spec_graph_view.t27: new test at node capacity (canvas grows in height only, no overlap in a column). Layout code unchanged..claude/skills/t27f/SKILL.md: limits updated.Lab verification
t27c test-report: spec_graph 14/14, spec_graph_view 9/9, spec_graph_export 20/20, 0 vacuous in each.t27b test --checkunder qemu-aarch64: every test PASS in all three specs.Only
.t27and prose changed; no non-t27 code.🤖 Generated with Claude Code