wai: a Prior may declare its artifact's wire form; register NNC and the derived-track operations #106

Merged

dcharlot merged 2 commits from wai/land-05-prior-nnc into main 2026-09-30 19:51:15 -04:00

Conversation 0 Commits 2 Files changed 12 +2426 -71

2026-09-29

Transaction Science

Merge wai/land-04-codec-registry into wai/land-05-prior-nnc ...

Brings in, through the refreshed previous link, main's OER differential fuzzer (54e89b56) and its audit of the OER extension against both verifiers (860ead8c, documentation only), so this link is checked against current main.

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

69e75214c4

• View at this point in history

2026-09-29 10:16:16 -04:00

2026-09-28

Transaction Science

wai: a Prior may declare its artifact's wire form; register NNC and the derived-track operations ...

Prior carriage (extensions/prior-carriage.md):
- A `Prior` may declare the wire form its `sha256` covers, as a registered
  prior-form capability. Absent, the digest covers the artifact as the sink
  registered it; manifests written before the field existed round-trip byte
  for byte. `Prior::new` and `with_form` build priors without a struct
  literal.
- `wai.prior.nnc` registers a network's parameters as an ISO/IEC 15938-17 NNC
  bitstream. `wai.tensor.nnc` is a candidate for general tensor data, not to
  be emitted until pinned to a published edition. Both are licence-classified
  as pooled (royalty status not established).
- Whether every conforming NNC decoder reconstructs the same values is not
  established, so a prior declaring a form is not integer-exact across
  hardware (`Prior::form_preserves_exactness`), and a `replicate` over it is
  refused with that reason.

Derived-track operations (extensions/derived-tracks.md):
- The ISO/IEC 23001-16 derivation operations are registered as capability
  strings, each with a determinism tier. No operation is exact while a sample
  value is converted, an empty input list does not vouch for a derived
  sample, and each executed instance names the inputs it read. The text
  states which parts of 23001-16 were read.

Integration with the registry classes (SPEC §7):
- NNC capabilities are `StandardUnclassified`, and they are added to the SPEC
  §7 class table and to the pinned class and licence lists the registry tests
  check.
- `ReplicateRefusal::Prior` now carries the prior's reason
  (`container::PriorRefusal`: absent, not integer-exact, or a declared form
  not established exact), taken from `replicate_prior_refusal`, so a refusal
  over an integer-exact capability states its real cause. The
  absent-prior wording is unchanged.
- `decode_envelope_strict` checks the registry class first. A class refusal
  keeps the registry's wording; a prior refusal reports the prior's reason.
- One `DeterminismTier` type serves the registry and the derivation
  operations, ordered weakest first.
- The neural-gates workflow also watches codecs/prior_form.rs, and describes
  both the class and the form refusals.

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

efb9186fe9

• View at this point in history

2026-09-28 18:38:59 -04:00