f3927f755d
Refusal parity (tests/int_synth_ops.rs): one fixture for each refusal the
direct decode makes (a payload short or long, a side of 2^64 or 2^255, C*S*S
past the word, an output that is not [3, H, W], an H of 0, a first in_ch that
is not C, a set that is not JSON or has no layers, a malformed layer, a
negative, fractional or non-boolean field, a weight or bias count off by one,
a value past i32, layers that do not chain, an output side of 0). Each is
refused by both decodes, and a sink's int_payload dispatch reports it as
payload_malformed, the one code integer-payloads §13 gives. The lowered graph's
input check [-128, 127] decodes at both ends and refuses one past each with
field_range at input 0.
The registry's ops member (integer-operators §11): codecs::OpsMember and
capability_ops, Registration::ops, the export's ops member and its schema
(built in its own function: the schema literal had reached json!'s recursion
limit). wai.neural.int_synth gets {set wai-ops/1, profile acc64, subset full,
lowering int_synth/1}; a unit test pins it as the only member, on a
NeuralIntegerExact capability. registry/ regenerated by `wai registry export`.
SPEC §5's row cites integer-payloads §13 and integer-operators §13.1; SPEC §7
says a NeuralIntegerExact capability that decodes through the operator set
names it in its ops member. REGISTRY.md lists the member; CHANGELOG entry.
int_ops::PROFILE is private: as a public constant, cbindgen wrote an opaque
Profile typedef into include/wai.h.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
305 lines
7.7 KiB
JSON
305 lines
7.7 KiB
JSON
{
|
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
"$id": "https://git.transaction.science/Transaction-Science/open-standards/src/branch/main/wai/registry/capabilities.schema.json",
|
|
"title": "WAI capability registry",
|
|
"description": "Every string SPEC §5 registers, generated by `wai registry export` from the reference implementation's registry (wai-rs/src/codecs/registry.rs). REGISTRY.md states the policy.",
|
|
"type": "object",
|
|
"additionalProperties": false,
|
|
"required": [
|
|
"schema",
|
|
"capabilities",
|
|
"identifiers",
|
|
"unregistered_labels",
|
|
"wire_identifiers"
|
|
],
|
|
"properties": {
|
|
"schema": {
|
|
"type": "string"
|
|
},
|
|
"capabilities": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"additionalProperties": false,
|
|
"required": [
|
|
"capability",
|
|
"kind",
|
|
"status",
|
|
"media",
|
|
"role",
|
|
"tier",
|
|
"licence",
|
|
"replicate",
|
|
"sets",
|
|
"spec_section",
|
|
"edition",
|
|
"registered"
|
|
],
|
|
"properties": {
|
|
"capability": {
|
|
"type": "string",
|
|
"pattern": "^wai(\\.[a-z0-9_]+)+$"
|
|
},
|
|
"kind": {
|
|
"enum": [
|
|
"payload",
|
|
"companion",
|
|
"refinement",
|
|
"derivation",
|
|
"record"
|
|
]
|
|
},
|
|
"status": {
|
|
"enum": [
|
|
"registered",
|
|
"candidate"
|
|
]
|
|
},
|
|
"media": {
|
|
"enum": [
|
|
"image",
|
|
"audio",
|
|
"video",
|
|
"text",
|
|
"volumetric",
|
|
"haptic",
|
|
"metadata",
|
|
"interactive",
|
|
"binary",
|
|
null
|
|
]
|
|
},
|
|
"role": {
|
|
"enum": [
|
|
"standalone",
|
|
"companion",
|
|
"enhancement",
|
|
"refinement",
|
|
null
|
|
]
|
|
},
|
|
"tier": {
|
|
"enum": [
|
|
"lossless",
|
|
"lossy",
|
|
"perceptual",
|
|
null
|
|
]
|
|
},
|
|
"licence": {
|
|
"enum": [
|
|
"royalty-free",
|
|
"patent-pool",
|
|
"proprietary",
|
|
"non-commercial",
|
|
null
|
|
]
|
|
},
|
|
"replicate": {
|
|
"enum": [
|
|
"standard-defined",
|
|
"standard-tolerance",
|
|
"standard-unclassified",
|
|
"neural-int-exact",
|
|
"neural-entropy-exact",
|
|
"generative-exact",
|
|
"neural-float",
|
|
"behavioral",
|
|
null
|
|
]
|
|
},
|
|
"sets": {
|
|
"type": "array",
|
|
"uniqueItems": true,
|
|
"items": {
|
|
"enum": [
|
|
"floor",
|
|
"recommended"
|
|
]
|
|
}
|
|
},
|
|
"spec_section": {
|
|
"type": "string"
|
|
},
|
|
"edition": {
|
|
"type": [
|
|
"string",
|
|
"null"
|
|
],
|
|
"description": "The edition the registration names; null means the edition of the named standard current on the date in `registered` (SPEC §8)."
|
|
},
|
|
"registered": {
|
|
"type": "string",
|
|
"pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}$",
|
|
"description": "The date of the first commit of this repository that registers the string; the specification entered the repository on 2026-06-12."
|
|
},
|
|
"ops": {
|
|
"type": "object",
|
|
"description": "The integer operator set the capability decodes through (extensions/integer-operators.md §11). Absent for a capability that does not.",
|
|
"additionalProperties": false,
|
|
"required": [
|
|
"set",
|
|
"profile",
|
|
"subset",
|
|
"lowering"
|
|
],
|
|
"properties": {
|
|
"set": {
|
|
"const": "wai-ops/1"
|
|
},
|
|
"profile": {
|
|
"enum": [
|
|
"acc32",
|
|
"acc64"
|
|
]
|
|
},
|
|
"subset": {
|
|
"enum": [
|
|
"full",
|
|
"npu"
|
|
]
|
|
},
|
|
"lowering": {
|
|
"type": "string"
|
|
},
|
|
"stage": {
|
|
"type": "object",
|
|
"additionalProperties": false,
|
|
"properties": {
|
|
"rans64": {
|
|
"type": "object",
|
|
"additionalProperties": false,
|
|
"required": [
|
|
"table",
|
|
"escape",
|
|
"end"
|
|
],
|
|
"properties": {
|
|
"table": {
|
|
"enum": [
|
|
"t4097",
|
|
"t2"
|
|
]
|
|
},
|
|
"escape": {
|
|
"enum": [
|
|
"lenient",
|
|
"strict"
|
|
]
|
|
},
|
|
"end": {
|
|
"enum": [
|
|
"canonical",
|
|
"final_only"
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"bucket": {
|
|
"enum": [
|
|
"ceil",
|
|
"floor"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
},
|
|
"identifiers": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"additionalProperties": false,
|
|
"required": [
|
|
"identifier",
|
|
"spec_section",
|
|
"meaning"
|
|
],
|
|
"properties": {
|
|
"identifier": {
|
|
"type": "string",
|
|
"pattern": "^wai(\\.[a-z0-9_]+)+$"
|
|
},
|
|
"spec_section": {
|
|
"type": "string"
|
|
},
|
|
"meaning": {
|
|
"type": "string"
|
|
}
|
|
}
|
|
}
|
|
},
|
|
"unregistered_labels": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"additionalProperties": false,
|
|
"required": [
|
|
"label",
|
|
"reason"
|
|
],
|
|
"properties": {
|
|
"label": {
|
|
"type": "string",
|
|
"pattern": "^wai(\\.[a-z0-9_]+)+$"
|
|
},
|
|
"reason": {
|
|
"type": "string"
|
|
}
|
|
}
|
|
}
|
|
},
|
|
"wire_identifiers": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"additionalProperties": false,
|
|
"required": [
|
|
"name",
|
|
"kind",
|
|
"document",
|
|
"section",
|
|
"status"
|
|
],
|
|
"properties": {
|
|
"name": {
|
|
"type": "string"
|
|
},
|
|
"kind": {
|
|
"enum": [
|
|
"media-type",
|
|
"codecs-prefix",
|
|
"fourcc",
|
|
"magic",
|
|
"data-id",
|
|
"scheme",
|
|
"path",
|
|
"well-known",
|
|
"playlist-tag",
|
|
"playlist-attribute",
|
|
"document-kind",
|
|
"catalog"
|
|
]
|
|
},
|
|
"document": {
|
|
"type": "string"
|
|
},
|
|
"section": {
|
|
"type": "string",
|
|
"pattern": "^(§[0-9]+(\\.[0-9]+)*|Appendix [A-Z])$"
|
|
},
|
|
"status": {
|
|
"enum": [
|
|
"defined",
|
|
"provisional",
|
|
"proposed"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|