NotebookWalkAudit: notebooks and the documentation tree follow the walk rename

[p135246]

Closes the NotebookWalkAudit work item, split out of WalkFamilyRefactor on 2026-08-19 at the user's request: the refactor was not to touch the notebooks, so the sweep became an item of its own.

Three commits, rebased onto main at 0.13.30. Suite 1404/1404 in a fresh kernel.

T2 — the four tutorials (a2f3cc8)

PathSpace, EuclideanGeometry, ProjectiveGeometry and TropicalConvexity carried code the refactor waves had broken: SelectInfraPath / SelectInfraCycle calls, UniquePencilQ, and count-less calls authored under the repealed count-less = All convention. Every Input and Code cell of all four now evaluates in a fresh kernel with zero messages. PathSpaceTutorial's cycles section moved from the shell 2 to the band {2, 3} — FindInfraCircle[GridGraph[{5, 5}], 13, 2, All] is empty at every radius, so three cells were vacuous.

T2b — nothing tropical (7ba7821)

TropicalConvexityGuide.nb and TropicalConvexityTutorial.nb deleted with their four cross-references. Both were built pages with no docs/ source, documenting four MetricAlgebra.wl symbols under a tropical title, which is why no audit had caught either. The user's call: the paclet carries nothing tropical. No symbol lost documentation.

T3 — the documentation tree (3a28a4c)

The tree had never followed the Path → Walk rename. It now does, and the three sets coincide for the first time: 187 exported symbols, 187 docs/Symbols/*.md sources, 187 built reference pages. Metadata verdict 188 Build (the 187 plus EuclideanGeometryGuide), 14 Skip — the hand-made guides and tutorials, as always.

• 10 stale pages deleted with their nine sources: $InfraPathColor, ConcatenateInfraPath, ExtendInfraPath, FindInfraPath, InfraPath, InfraPathQ, SelectInfraCycle, SelectInfraPath, UniquePencilQ, and FindForwardDeformation (page only).
• 17 stubs built, not the sixteen the inventory counted. $InfraStrikeOutPalette was the seventeenth gap and is the one exported symbol with no ::usage, so its page carries only the generator's fallback line.
• InfraDeformationSize and InfraDensity built from sources they already had.
• Cross-references were the larger half. InfraWrapperOntology (refactor(shapes)!: the shape is the kind — delete every Infra* payload wrapper #22) deleted eight wrapper pages and left every reference standing, so the tree carried ten dead SeeAlso entries and nine dead [X]() links across fourteen sources. All ten SeeAlso entries and six of the nine links are fixed: InfraMeasure and InfraEffectivePoint → InfraDensity, InfraSet → a vertex List or a density, InfraString → the free loop, UniquePencilQ → UniqueCollinearQ, InfraPath → a walk. EuclideanGeometryGuide's walk vocabulary and predicate hierarchy follow the rename.

What this does not close

• Three dead links stay — InfraLine.md:36, InfraPoint.md:41, InfraSegment.md:49. Each sits inside accessor prose the shape ontology deleted (line[[i]], ["BallVolumes", g] on a set, seg["Start"]), and FindInfraSegment[…, All] now returns a Graph whose seg["Start"] is unevaluated, so no substitution leaves a true sentence.
• 43 of the 187 sources still describe the wrapper ontology. That is a page rewrite, not a rename.
• $InfraStrikeOutPalette needs a usage message. It is ColorData[112, "ColorList"], the default colour cycle for strike-out marks.
• GeodesicExtensionGraph::usage says "wrapper anchors give one DAG per pair". There are no wrappers: a density anchor spreads — infraSpread[<|1 -> 1, 3 -> 1|>] is {1, 3} — and a bare vertex List does not, infraSpread[{1, 3}] being {{1, 3}}. Filed as the fourth row of APISymbolAudit § 1g.

🤖 Generated with Claude Code