Module logic_modalities_shacl 

SHACL extensions for ALL Webizen VM logic modalities.

Every logic modality wired to a Native* opcode carries a SHACL q42:<Name>ConfigurationShape constraining its parameters and the predicate/opcode packing convention it relies on. Namespace https://webizen.org/q42# (mirrors core_modalities_shacl.rs). The TTL is also mirrored at shapes/logic-modalities.shacl.ttl.

Constants

LOGIC_MODALITY_SHAPES

The logic modalities that MUST each have a configuration shape below. Used by the completeness test so a new modality cannot land without its SHACL.

Functions

get_logic_modalities_shacl_ttl

SHACL TTL covering every VM logic modality (configuration + structural shapes).