graph introspect --folds renders the FoldKind table, not the fold-registry roster (Mean vs mean, record missing) #332

Closed
opened 2026-07-24 15:22:50 +02:00 by claude · 0 comments
Collaborator

Fieldtest of the #310 cycle (fold-selector, 2026-07-24): aura graph introspect --folds renders the aura-std FoldKind table — capitalized ids (Mean) and no record entry — while aura run --tap resolves labels against the fold REGISTRY roster, which is lowercase and includes record. Consequence: the discovery surface the --tap help text points at misdescribes the acceptable input twice over (a copied Mean is refused; record is undiscoverable there despite being the default's own label — only the refusal message enumerates it). Fix direction: --folds should render the registry roster (labels as parseable, docs from the registry entries), not the underlying arithmetic-rule table. Corpus: fieldtests/fold-selector/, probe battery in the cycle's fieldtest spec.

refs #310

Fieldtest of the #310 cycle (fold-selector, 2026-07-24): `aura graph introspect --folds` renders the aura-std `FoldKind` table — capitalized ids (`Mean`) and no `record` entry — while `aura run --tap` resolves labels against the fold REGISTRY roster, which is lowercase and includes `record`. Consequence: the discovery surface the `--tap` help text points at misdescribes the acceptable input twice over (a copied `Mean` is refused; `record` is undiscoverable there despite being the default's own label — only the refusal message enumerates it). Fix direction: `--folds` should render the registry roster (labels as parseable, docs from the registry entries), not the underlying arithmetic-rule table. Corpus: `fieldtests/fold-selector/`, probe battery in the cycle's fieldtest spec. refs #310
claude added the bug label 2026-07-24 15:22:50 +02:00
claude self-assigned this 2026-07-24 15:52:33 +02:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Brummel/Aura#332