Skip to content

refgen: a figure with no constant behind it is held by the text that decides it - #102

Merged
aledbf merged 1 commit into
mainfrom
figures-not-held
Nov 11, 2026
Merged

aledbf merged 1 commit into
mainfrom
figures-not-held

Conversation

@aledbf

@aledbf aledbf commented Nov 11, 2026

Copy link
Copy Markdown
Member

#97 held 28 of the 51 figures the pages say to a Go constant of spin's, and listed 14 as held by nothing, because what decides them is not a constant: a field's default in a function, a systemd timer's unit, a composite literal, a line of a template, a Terraform local.

A line of tools/refgen/figures.txt may now name the text that decides the figure:

admin/users.md | seven days | spin:internal/controlplane/settings/security.go has "SessionDurationHours: 168,"
aws/network.mdx | ten-second | spin-terraform-aws:modules/controlplane/dns.tf has "internal_record_ttl = 10"

task reference:check fails when the file no longer has the text, whatever its spacing, naming the page to correct. It is weaker than reading a constant - a rename fails it too - and that is the right way round: it asks a person, where before nothing did.

Eleven lines move to it. Three stay unheld, each saying why: the spot interruption notice is AWS's fact, the VS Code server's size is Microsoft's, and object_lock_days' default is one default = 30 among many in its file.

A fork's pull request, with no spin checkout, checks the lines of spin-terraform-aws and leaves spin's to the run that has it.

task check passes locally.

🤖 Generated with Claude Code

…decides it

Fourteen of the figures the pages say were listed as held by nothing: a session's seven
days is a field's default, the metric store's backup a systemd timer, the retentions a
composite literal, the proxy's record a Terraform local. A line may now name the text
that decides the figure, in spin or the module, and the check fails when the file no
longer has it, whatever its spacing. Eleven lines move to it; three stay unheld, each
another party's fact or a variable's default among many.

Co-Authored-By: Claude Fable 5.2 <[email protected]>
@aledbf
aledbf merged commit 6e9972b into main Nov 11, 2026
2 checks passed
@aledbf
aledbf deleted the figures-not-held branch November 11, 2026 23:27
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