-
-
Notifications
You must be signed in to change notification settings - Fork 2
Track and pin the TOSA 1.1-draft MX block-scaled contract #145
Copy link
Copy link
Open
Labels
area: protocolWire ABI, specification, and compatibilityWire ABI, specification, and compatibilityarea: verificationSecurity, fuzzing, model tests, and performance evidenceSecurity, fuzzing, model tests, and performance evidenceenhancementNew feature or requestNew feature or requestkind: designSpecification or architectural design workSpecification or architectural design workwayfinder:researchWayfinder research ticket (AFK)Wayfinder research ticket (AFK)
Description
Activity
Metadata
Metadata
Assignees
Labels
area: protocolWire ABI, specification, and compatibilityWire ABI, specification, and compatibilityarea: verificationSecurity, fuzzing, model tests, and performance evidenceSecurity, fuzzing, model tests, and performance evidenceenhancementNew feature or requestNew feature or requestkind: designSpecification or architectural design workSpecification or architectural design workwayfinder:researchWayfinder research ticket (AFK)Wayfinder research ticket (AFK)
Part of #110.
Question
How does the official TOSA 1.1-draft MX block-scaled contract change before release, and what exact
released vocabulary would this project eventually need to negotiate?
As of 2026-08-25,
EXT-MX-*exists only in the official draft, is marked Experimental, usesblock-32 E8M0-scaled FP4/FP6/FP8/INT8 forms, and does not define “block FP16” or a block-scaled
MATMULrow. Baseline research:docs/research/tosa-int8-block-fp-status.md.Work
diffs as the draft changes.
exceptional-value rules, and any future MATMUL contract.
extension bit merely to unblock the backend.
adoption plan: explicit negotiation, preserved 1.0 frames, parser/type support, canonical
vectors, and a new minor-version conformance directory.
Exit criteria
ticket records that the released contract still cannot represent the intended XDNA operation.
bfp16ebs8remain separate names and capability identities unless thecharacterization proves semantic identity.