wai: one registry table, candidate capabilities, public-text checks #131

Merged

dcharlot merged 5 commits from wai/land-12-registry-and-text into main 2026-10-01 14:50:01 -04:00

Conversation 0 Commits 5 Files changed 139 +9063 -1878

dcharlot commented 2026-10-01 09:58:38 -04:00

Owner

Copy link

Every registered capability string now lives in one table (codecs/registry.rs) with its kind, status, media class, registering SPEC section, edition and registration date. wai registry export writes registry/capabilities.json (with its JSON Schema), the generated table in REGISTRY.md and vocab v2; --check fails CI on drift. Vocab v1 stays stable.

• Candidate capabilities. A registered string whose payload format no revision has pinned (wai.tensor.nnc, wai.splat.sog) is never emitted: the C packers, the browser writers and wai wrap refuse one.
• One dispatch predicate. codecs::is_dispatchable decides SPEC §4 dispatch and §7.1 selection: candidates, companion-only capabilities, records and derivations are not dispatchable; a string this revision does not register is decoded where a sink advertises it.
• The codec glossary under test. The glossary links to the registry through a reviewed table, declares its schema version, and a library test holds it to its schema.
• SPEC. New §5 sections on kinds of registered string and on candidates, a §8 edition rule, and corrected citations.
• CI. Feature-gated test targets declare their features, the registry export is checked, wai-web builds for wasm32, and two public-text checks run with a self-test: comparative prose, and names from a private pattern list that only the push-to-main run receives.
• Public text. The specification, extensions, research notes, READMEs, glossary and source comments name no company or product and make no comparisons.

First of four pull requests that land in order: this one, the parameter-set pin, energy reports, and key discovery. Each later branch contains the one before it.

Checked locally on macOS arm64: the link gate (build, library tests, carriage, every conformance corpus, fast kernels, byte-exact conformance, the wasm32 check, the neural gates and the Kani harnesses), wai registry export --check, the wasm demo verifiers, and both public-text checks. The forge CI runs on this pull request.

🤖 Generated with Claude Code

Every registered capability string now lives in one table (`codecs/registry.rs`) with its kind, status, media class, registering SPEC section, edition and registration date. `wai registry export` writes `registry/capabilities.json` (with its JSON Schema), the generated table in `REGISTRY.md` and vocab v2; `--check` fails CI on drift. Vocab v1 stays stable. - **Candidate capabilities.** A registered string whose payload format no revision has pinned (`wai.tensor.nnc`, `wai.splat.sog`) is never emitted: the C packers, the browser writers and `wai wrap` refuse one. - **One dispatch predicate.** `codecs::is_dispatchable` decides SPEC §4 dispatch and §7.1 selection: candidates, companion-only capabilities, records and derivations are not dispatchable; a string this revision does not register is decoded where a sink advertises it. - **The codec glossary under test.** The glossary links to the registry through a reviewed table, declares its schema version, and a library test holds it to its schema. - **SPEC.** New §5 sections on kinds of registered string and on candidates, a §8 edition rule, and corrected citations. - **CI.** Feature-gated test targets declare their features, the registry export is checked, wai-web builds for wasm32, and two public-text checks run with a self-test: comparative prose, and names from a private pattern list that only the push-to-main run receives. - **Public text.** The specification, extensions, research notes, READMEs, glossary and source comments name no company or product and make no comparisons. First of four pull requests that land in order: this one, the parameter-set pin, energy reports, and key discovery. Each later branch contains the one before it. **Checked locally on macOS arm64:** the link gate (build, library tests, carriage, every conformance corpus, fast kernels, byte-exact conformance, the wasm32 check, the neural gates and the Kani harnesses), `wai registry export --check`, the wasm demo verifiers, and both public-text checks. The forge CI runs on this pull request. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

dcharlot added 5 commits 2026-10-01 09:58:38 -04:00

wai: one registry table, candidate capabilities, public-text checks ... fb103ac5ae

Every registered string now lives in one table (codecs/registry.rs) with
its kind, status, media class, registering SPEC section, edition and
registration date. `wai registry export` writes registry/capabilities.json,
its JSON Schema, the generated table in REGISTRY.md and vocab v2; --check
fails on drift. vocab v1 stays stable.

A candidate capability (a registered string whose payload format no
revision has pinned) must not be emitted. The C packers, the browser
writers and `wai wrap` refuse one, and `codecs::is_dispatchable` is the
single dispatch and selection predicate (SPEC §4): candidates,
companion-only capabilities, records and derivations are not
dispatchable, and an unregistered string is decoded only where the sink
advertises it.

The codec glossary is linked to the registry through a reviewed table and
held to its schema by a library test; `org` becomes `body`, from a closed
allowlist. The SPEC gains §5 sections on kinds and candidates, a §8
edition rule, corrected citations and rewritten appendices. The
quantum-ops vectors are regenerated with neutral device ids.

CI declares the feature-gated test targets with required-features, checks
the registry export, builds wai-web for wasm32, and runs two public-text
checks (comparative prose, and private name patterns) with a self-test.
The specification, extensions, research notes, READMEs, glossary and
source comments are rewritten to name no company or product and to make
no comparisons.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

wai: hold research/content-taxonomy.md to both public-text checks ... f62e7d8557

The content-taxonomy note has been rewritten on main, so the exclusion
both checks carried for it is removed, as their comments said to do once
that change landed. The note now passes both checks: lever 1 names a
registered codec, and the gain, wedge and endgame phrasing is restated as
what each lever applies to.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

wai: restate the ranking phrases the retrofit left in research and extensions ... 348a2d9259

The retrofit's commit says the research notes, extensions and source
comments make no comparisons. These lines still ranked or promoted:

- research/cargo-roadmap.md: the sequencing rationale and the phase
  reasons now say what each phase reuses or carries, and the status note
  points to content-taxonomy.md for each class's status.
- research/content-taxonomy.md: the "white space" table is now the
  cargo-roadmap phase table, with each phase marked shipped and its
  capability named, so it no longer contradicts the taxonomy rows above
  it; the closing clause of the spatial-audio row and "That's the whole
  map" are removed.
- extensions/spatial-audio.md and research/spatial-audio-draft.md: the
  appendix says why spatial audio was first without ranking it.
- SPEC.md §5, extensions/ternary-tt.md and the CAP_TERNARY_TT comment:
  wai.ternary.tt is stated by its own measured operating point (13.3 dB
  SNR at 3.8x with six residual layers, the extension's table) and its
  Lossy tier.
- research/2030-transport-landscape.md: three lines restated as what WAI
  specifies; the CHANGELOG entry now says comparative framing in dated
  records is restated in place, as names are redacted.
- wai-rs/src/lib.rs: the quantum_qec comment ends at the metric it carries.

scripts/check-comparative-prose.sh gains five phrases (commercial wedge,
unclaimed, fast win, differentiator, rate-competitive), each with a case
in scripts/test-public-text-checks.sh.

REGISTRY.md and vocab/README.md say that the v2 SHACL shape checks the
capability and fallback against this revision's registry and only the
form of media, and that a violation for an unregistered string means it
is not registered in this revision, not that the envelope fails to
conform or cannot be dispatched (SPEC §4, §8).

The CHANGELOG's candidate-capability bullet states the MINOR rule as a
full sentence.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

ci: give the WAI name list only to the push-to-main run ... 913c994b18

The wai-public-names job set WAI_NAME_DENYLIST at job level, so on a
pull request from a branch of this repository the list reached a script
taken from the pull request's own tree, whose log is public. The secret
is now set on the one step that runs the check, and that step runs only
on a push to main; a pull request shows a failed (continue-on-error) step
saying the check did not run. On a push to main an empty list still fails
the job. wai/CONTRIBUTING.md and the CHANGELOG entry say so.

A correction to the record: the message of the commit that added these
checks says CI declares the feature-gated test targets with
required-features. wai/wai-rs/Cargo.toml declares them with their
required-features, and the conformance workflow names them with their
features.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

wai/glossary: the codec glossary declares its schema version ... d96739e436

The retrofit renamed each entry's `org` field to `body`, and the file
carried no version, so a reader of the earlier form found no `org` and no
way to tell the two forms apart. codecs.json now carries
`"schema_version": 2`. SCHEMA.md describes the field: version 2 is the
form it documents, a file without the field is the earlier `org` form,
and a change that renames or removes a field, or changes what one means,
raises the version. glossary_links_agree_with_the_registry requires the
value, and glossary_check_names_each_broken_rule has two cases for a
missing and a wrong version. The CHANGELOG's glossary bullet records the
break.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

dcharlot referenced this pull request 2026-10-01 09:58:43 -04:00

wai: the parameter-set pin, component identity, pin-aware selection #132

dcharlot merged commit 7fe16b14d1 into main 2026-10-01 14:50:01 -04:00

dcharlot referenced this pull request from a commit 2026-10-01 14:50:02 -04:00

Merge pull request 'wai: one registry table, candidate capabilities, public-text checks' (#131) from wai/land-12-registry-and-text into main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

Transaction-Science/open-standards!131

No description provided.