Module geometry_asset_shacl 

Geometry-asset SHACL — the runtime half of shapes/geometry-asset.shacl.ttl (the normative declarative source; see docs/manuals/standards/geometry-asset-ontology.md §5).

Two halves, honestly separated:

1. Per-property bounds → GeometryAssetConfiguration::to_opcodes, SLG-VM opcodes matching the .ttl geo:MeshShape (counts ≤ 2²², sourceFormat/unit ∈ an allowed set). This is the same Configuration → to_opcodes pattern as specialized_libs_shacl.rs.
2. Cross-property (relational) constraints → validate_geometry_manifest. Plain per-property SHACL cannot express “bbox not inverted”, “every index < vertexCount”, or “compiledDigest == the real .10d CRC” — they need computation over several facts at once. The .ttl explicitly defers these to this shim; here they are real checks, not comments.

Structs

GeometryAssetConfiguration

q42:GeometryAssetConfiguration — the per-property bounds for a compiled geometry-asset manifest.

GeometryManifestFacts

The relational facts of a compiled geometry asset that plain per-property SHACL cannot see.

Enums

GeometryConstraintViolation

A geometry-asset constraint violation.

Constants

MAX_GEOMETRY_COUNT

The .10d container’s MAX_VERTEX_COUNT / MAX_TRIANGLE_COUNT (2²²) — the malicious-size guard.

P_LICENCE

Predicate hash for geo:license in the SHACL ontology.

Functions

validate_geometry_manifest

Validate the relational constraints of a compiled geometry-asset manifest. Empty result = valid. This is the load-bearing check the declarative .ttl cannot perform.