docs(tooling): a page or an internal row for every command of torb #757
No reviewers
Labels
No labels
loop
queue/failed
queue/queued
ready
status/parked
No milestone
No project
No assignees
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
torbscript/language!757
Loading…
Reference in a new issue
No description provided.
Delete branch "loop/752-command-pages"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Closes #752
What changes
docs/tooling/torb-upgrade.md: new page fortorb upgrade(version,--channel,--list), described fromcompiler/src/cli/upgrade.trband its declaration.docs/tooling/torb-docs-check.md: new page fortorb docs check,index,declarations,skillandbundle(one page;sourceandsitealready have theirs).docs/tooling/the-torb-command.md:upgradein the synopsis and its own entry, thedocsentry names all seven subcommands, and### Internal commandsis one table marked internal and unstable (tokens, ast, parse, ir, natives, manifest, highlight).docs/tooling/index.md: the two new entries of the generated block, written by hand in the ordertorb docs indexproduces.compiler/tests/command-pages.test.trb: reads the command table frommain.trb(declaredCommands,packageCommands, the registry list and every dispatch arm) and fails for a command that has neitherdocs/tooling/torb-<command>.mdnor a row in the internal table; fordocsit checks each subcommand.Negative check
The last test of the group feeds the same check an invented command
frobnicate, an empty internal table and an empty page list, and asserts that exactly those are reported. So a command without a page or a line fails the check, and the test that runs on the real table would fail the same way.Test
No local
torbbinary, so nothing of this ran locally; CI is the verifier (torb test,torb docs check,torb docs index --check).pdisc.py checkis ok.Follow-ups
None.
torbhas a page or a line that says it is internal #752torbhas a page or a line that says it is internal #752CI red on
3fad3e4: ci / tier A (linux-x64) (gates) - two red gates:format --check(./compiler/tests/command-pages.test.trbwould change, 1 of 1718 files) anddocs skill --check(the derived Agent Skill is stale:skills/torbscript/references/index.md,tooling/index.md,tooling/the-torb-command.mddiffer;tooling/torb-docs-check.mdandtooling/torb-upgrade.mdare missing - runtorb docs skill). Everything else is green, including pdisc.Review of
9438e9f(closes #752)compiler/tests/command-pages.test.trbreads the command table frommain.trband fails for a command with neither a page nor an internal-table row, with a negative check (frobnicate, empty table). CI green on this head, including the two gates that were red on3fad3e4(format --check,docs skill --check) and pdisc.compiler/src/cli/upgrade.trb(install.trb requirement, toolchains/, active marker, channels, --list) and the docs subcommand arms inmain.trb; the derived skill copies are in the diff.Approved.