Skip to content

docs: printing the computed skeleton -- the throwaway-spec printer (Refs #12660, #12800) - #12809

Merged
gHashTag merged 1 commit into
masterfrom
docs/print-skeleton
Oct 27, 2026
Merged

gHashTag merged 1 commit into
masterfrom
docs/print-skeleton

Conversation

@gHashTag

Copy link
Copy Markdown
Collaborator

Refs #12660, #12800 (the how-to), #12803 (next_skeleton, armed).

The how-to gains the last leg: how a session PRINTS the computed skeleton without new tooling. The technique: a throwaway spec expecting an impossible count -- the assert-fail line prints the actual number and the failure output carries the full skeleton text. Recorded with its own boundary: a draft-branch printer, never a landed red test; promoting it into the report itself is recorded as a design decision with the CT-VERIFIED family. Prose only (.md, outside the foreign budget).

@gHashTag
gHashTag enabled auto-merge (squash) October 27, 2026 07:21
@tri-claw

tri-claw Bot commented Oct 27, 2026

Copy link
Copy Markdown

Summary by t27-bees

This change adds a documentation section explaining how to print the computed skeleton by writing a throwaway test that asserts an impossible count, causing the test framework's failure output to reveal the full skeleton text. It's a developer workflow technique, not a code change.

Worth a look

  • specs/blog/EPIC_ENTRY_HOWTO.md (new section): The technique depends on the test runner printing the actual buffer contents on assertion failure. If the test framework changes to truncate or omit the buffer on failure, this workflow breaks silently.

Read: 1 files, +20 -0, the whole diff. Head d19fbf8. Model: openai-compatible/nvidia/nemotron-3-ultra-550b-a55b. Commands: @t27-bees review | summary | help | pause | resume. Free for every repository.

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-27 07:25:59 UTC

Summary

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

These columns do not partition: 0 + 14 + 0 + 0 = 14, and there are 15 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=67adcf31aff7 != 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 merged commit de10e23 into master Oct 27, 2026
26 of 37 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant