encoding.assume.match

← encoding dialect

Refine a storage schema with typed semantic requirements. Omitted fields retain their existing facts.

Operation contract

Property	Value
Semantic phase	executable
Traits	Pure, FactIdentity

Signature

Kind	Name	Type	Cardinality	Description
Operand	enc	encoding<schema>	required	Storage schema to refine.
Result	result	encoding<schema>	required	Schema with stronger semantic facts.
Attribute	requirements	parameterized #encoding.match	required	Authored semantic requirements; omitted fields are unchanged.

Verification constraints

• SameType(enc, result)

Examples

%schema2 = encoding.assume.match<element_format = u4, affine = scale_plus_min> %schema : encoding<schema>