Make the document envelope derivable from the introspection contract #193

New Issue

2026-07-03T16:51:52+02:00

Brummel commented

2026-07-03 16:51:52 +02:00

Authoring a process/campaign document from the introspection contract alone takes blind rounds (fieldtest cycle-0106, F1): introspect describes block SLOTS but never the ENVELOPE composing them. Concretely: the wrong-kind refusal does not name the 'kind' key; campaign block ids std::data/std::strategy/std::process_ref/std::presentation map to fields data/strategies (plural!)/process/presentation; and the required top-level 'seed' appears in no block at all ('missing field seed' is the only teacher). This undercuts C25's litmus claim that a palette is generatable from the vocabulary.

Likely shape: an envelope introspection per document kind (e.g. 'aura process|campaign introspect --skeleton' printing the top-level fields with their kinds, or envelope pseudo-entries in --vocabulary), plus reconciling block ids with the field names they map to.

depends on: nothing
context: fieldtest finding F1, fieldtests/cycle-0106-research-artifacts/FINDINGS.md (2026-07-03).

Authoring a process/campaign document from the introspection contract alone takes blind rounds (fieldtest cycle-0106, F1): introspect describes block SLOTS but never the ENVELOPE composing them. Concretely: the wrong-kind refusal does not name the 'kind' key; campaign block ids std::data/std::strategy/std::process_ref/std::presentation map to fields data/strategies (plural!)/process/presentation; and the required top-level 'seed' appears in no block at all ('missing field seed' is the only teacher). This undercuts C25's litmus claim that a palette is generatable from the vocabulary. Likely shape: an envelope introspection per document kind (e.g. 'aura process|campaign introspect --skeleton' printing the top-level fields with their kinds, or envelope pseudo-entries in --vocabulary), plus reconciling block ids with the field names they map to. - depends on: nothing - context: fieldtest finding F1, fieldtests/cycle-0106-research-artifacts/FINDINGS.md (2026-07-03).

Brummel added this to the Research artifacts — process & campaign documents milestone 2026-07-03 16:51:52 +02:00

Brummel added the feature label 2026-07-03 16:51:52 +02:00

Brummel commented

2026-07-03 22:33:29 +02:00

Scope narrowed by cycle-0107 fieldtest evidence (F3)

The envelope IS derivable today: aura process|campaign introspect --unwired <file containing bare {}> enumerates every top-level field as an open slot — including the previously-invisible seed and the real field names (data, strategies, process.ref, presentation) that the 0106 round could not map from the block ids (fieldtests/cycle-0107-campaign-executor/FINDINGS.md, F3). The core ask of this issue is therefore already served by the shipped --unwired partial-doc probe used with an empty document.

Remaining residue (this issue's narrowed scope):

Discoverability: nothing in --help or any hint says "start from --unwired over {}" — the 0106 author never found it and iterated blind validate errors instead.
Wrong-kind refusal still does not name the kind key.
Optional polish from the original body: block ids vs field names remain unreconciled in --vocabulary itself (the mapping is only visible via --unwired).

## Scope narrowed by cycle-0107 fieldtest evidence (F3) The envelope IS derivable today: `aura process|campaign introspect --unwired <file containing bare {}>` enumerates every top-level field as an open slot — including the previously-invisible `seed` and the real field names (`data`, `strategies`, `process.ref`, `presentation`) that the 0106 round could not map from the block ids (`fieldtests/cycle-0107-campaign-executor/FINDINGS.md`, F3). The core ask of this issue is therefore already served by the shipped `--unwired` partial-doc probe used with an empty document. Remaining residue (this issue's narrowed scope): - **Discoverability:** nothing in `--help` or any hint says "start from `--unwired` over `{}`" — the 0106 author never found it and iterated blind validate errors instead. - **Wrong-kind refusal** still does not name the `kind` key. - Optional polish from the original body: block ids vs field names remain unreconciled in `--vocabulary` itself (the mapping is only visible via `--unwired`).

Brummel referenced this issue from a commit

2026-07-04 10:53:54 +02:00

feat(cli): envelope-probe discoverability + kind-key refusal prose (#193 residue)

Brummel closed this issue

2026-07-04 10:53:54 +02:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Brummel/Aura#193