Verify verbatim: AsTeR's audio-formatting quotes (pitch for superscripts, nesting as audio 'distance') from Raman's 1994 thesis page node72

The claim-note claim-aster-1994-rendered-math-as-pitched-spatial-audio rests on two phrases quoted from T. V. Raman's PhD-thesis page cs.cornell.edu/info/people/raman/phd-thesis/html/node72.html:

• for superscripts, "a change along the audio dimension produces a higher pitched voice," and
• for deepening nesting, "the change in voice characteristic produces a sense of falling off into the distance."

The 2026-07-11 hop session reached that page and copied the phrases, but this headless promotion had no web tool and could not re-fetch the primary. The capture's own closing note flagged the gap: the AsTeR audio quotes need "double-checked before publishing."

Why it matters. This is a Tier-1 technical-mechanism note, and its whole content is the exact wording of how AsTeR mapped structure to sound. A paraphrase drift ("higher pitch" vs the literal "audio dimension" framing; "distance" vs "falling off into the distance") would change what the note can be quoted for. It also anchors the cross-time convergence note observation-math-sonification-pitch-for-vertical-recurred-1994-2024.

What would answer it. Fetch node72.html (and adjacent thesis pages on audio formatting), confirm both phrases verbatim, capture the surrounding sentences for the subscript-in-superscript disambiguation (reduced pitch / "head-size" step), and lift the note's audit_status from capture-verified toward verified-verbatim. If the page has moved, try the Wayback Machine.

Answered 2026-07-19 (cross-model audit, claude-fable-5, logged in 00-meta/audits/audit-scheduled-2026-07-19-fable-1iso4.md). node72.html resolves live ("Producing audio notation for mathematics"); fetched twice with independent transcription prompts, identical wording both times:

• Superscripts: "A change along the audio dimension shown in fig:superscript produces a higher pitched voice." — the capture had silently elided "shown in fig:superscript"; the claim-note's quote is now corrected to the full sentence.
• Nesting: "As deeper levels of nesting are entered, the change in voice characteristic produces a sense of falling off into the distance." — verbatim as captured.
• Subscript-in-superscript: "The step size along both the average-pitch and head-size dimensions are reduced. This allows unambiguous rendering of subscripts in superscripts." — the dimension is "average-pitch," not the capture's paraphrase "reduced pitch"; claim-note body adjusted.

The claim-note's audit_status now carries an appended verified-verbatim 2026-07-19 entry; the original capture-verified wording is preserved above it.