[poteto]

Why

Many comments in the statechart scripts say what a name or the next line already says. This change deletes them. Where a comment held a fact that the code did not show, a name or a shared constant now holds that fact. Behavior does not change.

What changed

• 14 comments change: 11 are deleted whole, and 3 lose a sentence. They are in lib.mjs (7), statechart.mjs (5), and tlc-to-chart.mjs (2).
• Names that carry the deleted comments' point:
  • splitComments is splitCommentsKeepingOffsets.
  • checkTlcOutput is tlcOutputWarning. Its callers and tests change with it.
  • quote is escapeMermaidQuotes.
  • luminance is wcagRelativeLuminance.
  • The local declared in parseMermaid is declaredInRegion.
  • cited(from, to, above) takes { above }. It has one call site.
• PRIMES_OR_UNCHANGED in lib.mjs replaces two copies of one regex: one in uncitedConditions, one in the label map scaffold. It has no g flag, so .test() keeps no state.
• The scaffold keeps one note: it lists a definition that only another action calls, though TLC names no step after it. On TLC 1.7.4, a spec where Go calls Bump labels steps Go and never Bump, while the scaffold lists Bump.
• harness/pstack/claude-code/skills/statechart/ is the generated copy.

Differences from the source copy

A recursive diff of this copy against the source skill at the commit that landed this pass shows only the differences that #741 and #776 already have:

• lib.mjs: findTlc finds TLC only through TLA2TOOLS and JAVA. The source also installs a repo-pinned TLC on demand. The source pass deleted two comments inside that install code, which this copy does not have.
• statechart.mjs: the TLC help says where to download tla2tools.jar.
• test/statechart.test.mjs: the "no TLC" message and environment, the node helper, and no tests for the repo-pinned install.
• SKILL.md: one sentence does not name the source repo's spec folder.

No hunk of this pass differs. The other eight files are byte-identical.

Blast radius

Only pstack/skills/statechart/scripts/ and its generated copy change. The renamed functions have no callers outside the skill. The pstack version stays at 0.15.30. A separate PR bumps it.

Verification

• With TLC 1.7.4, all 67 skill tests pass and none skip. Without TLC, as in CI, 29 pass and 38 skip.
• An earlier full run with TLC 1.7.4, with other checks running beside it, failed one timing test: "a run whose spec changes while it reads it". The test rewrites the spec 500 ms after TLC starts, so a slow first read sees the new spec. Alone, the test passes 5 of 5 times on this branch and 5 of 5 on main. The full suite then passed 67 of 67 with nothing beside it.
• validate-plugins.mjs, check-pstack-docs.mjs, and generate-pstack-harness-trees.mjs --check pass.
• A scan for internal paths, names, and model ids finds 0 hits in the patch and in the whole skill folder.