Capability cheat sheet

Every capability on one page, with its kind, admitted subjects, failure code and refusal codes, generated from the registry and the reference.

One row per capability in the engine's registry, generated at build time from registry.rs and from each capability's reference section, so the sheet and the sections cannot disagree. Each name links to its section and is spelt for the language you are reading: the registry name in TypeScript, the snake_case method in Python.

Capability	Kind	Mesh	STEP	glTF	Failed with	Refused with
`toHaveBoundingBoxto_have_bounding_box`	Assertion	Yes	Yes	Yes	`GEOSPEC_BOUNDING_BOX_MISMATCH`, `GEOSPEC_NEGATED_MATCH`, `GEOSPEC_NEGATED_BOUNDING_BOX_MATCH`	common only
`toHaveConnectedComponentsto_have_connected_components`	Assertion	Yes	Yes	Yes	`GEOSPEC_CONNECTED_COMPONENTS_MISMATCH`	`GEOSPEC_INVALID_EVIDENCE`, `GEOSPEC_ANALYSIS_LIMIT`
`toBeWatertightto_be_watertight`	Assertion	Yes	Yes	Yes	`GEOSPEC_WATERTIGHT_MISMATCH`	`GEOSPEC_ANALYSIS_LIMIT`
`toHaveNoComponentInterferenceto_have_no_component_interference`	Assertion	No	Yes	Yes	`GEOSPEC_COMPONENT_INTERFERENCE`	`GEOSPEC_COMPONENT_PARTITION_INCONCLUSIVE`, `GEOSPEC_SELECTOR_UNMATCHED`, `GEOSPEC_UNSUPPORTED_EVIDENCE`, `GEOSPEC_INVALID_EVIDENCE`, `GEOSPEC_UNSUPPORTED_SELECTOR`, `GEOSPEC_ANALYSIS_LIMIT`
`toHaveAssemblyOccurrencesto_have_assembly_occurrences`	Assertion	No	Yes	Yes	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`, `GEOSPEC_RESOURCE_LIMIT`
`toHaveSpatialRelationshipsto_have_spatial_relationships`	Assertion	No	Yes	Yes	`GEOSPEC_SPATIAL_RELATIONSHIP_MISMATCH`	`GEOSPEC_SELECTOR_UNMATCHED`, `GEOSPEC_SELECTOR_AMBIGUOUS`, `GEOSPEC_SELECTOR_UNSUPPORTED_EVIDENCE`, `GEOSPEC_UNSUPPORTED_EVIDENCE`, `GEOSPEC_INVALID_EVIDENCE`, `GEOSPEC_UNSUPPORTED_SELECTOR`, `GEOSPEC_ANALYSIS_LIMIT`
`toHaveMeshIntegrityto_have_mesh_integrity`	Assertion	Yes	Yes	Yes	`GEOSPEC_MESH_INTEGRITY_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`, `GEOSPEC_ANALYSIS_LIMIT`
`toHaveNoDiagnosticsto_have_no_diagnostics`	Assertion	Yes	Yes	Yes	`GEOSPEC_DIAGNOSTICS_PRESENT`	common only
`toHaveSurfaceAreato_have_surface_area`	Assertion	Yes	Yes	Yes	`GEOSPEC_MEASUREMENT_MISMATCH`	common only
`toHaveVolumeto_have_volume`	Assertion	Yes	Yes	Yes	`GEOSPEC_MEASUREMENT_MISMATCH`	common only
`toHaveMassto_have_mass`	Assertion	Yes	Yes	Yes	`GEOSPEC_MEASUREMENT_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toHaveCenterOfMassto_have_center_of_mass`	Assertion	Yes	Yes	Yes	`GEOSPEC_MEASUREMENT_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toBeValidBrepto_be_valid_brep`	Assertion	No	Yes	No	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toHaveTopologyCountsto_have_topology_counts`	Assertion	No	Yes	No	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toHaveStepUnitsto_have_step_units`	Assertion	No	Yes	No	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toHaveProductStructureto_have_product_structure`	Assertion	No	Yes	Yes	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`, `GEOSPEC_RESOURCE_LIMIT`
`toHavePlanarFaceto_have_planar_face`	Assertion	No	Yes	No	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toHaveCylindricalFaceto_have_cylindrical_face`	Assertion	No	Yes	No	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toHaveCircularHoleto_have_circular_hole`	Assertion	No	Yes	No	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toHaveCircularHolePatternto_have_circular_hole_pattern`	Assertion	No	Yes	No	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toHaveChamferFeatureto_have_chamfer_feature`	Assertion	No	Yes	No	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toHaveFilletFeatureto_have_fillet_feature`	Assertion	No	Yes	No	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toHaveMinimumWallThicknessto_have_minimum_wall_thickness`	Assertion	No	Yes	No	`GEOSPEC_FEATURE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`
`toHaveVoidContinuityto_have_void_continuity`	Assertion	No	Yes	No	`GEOSPEC_VOID_CONTINUITY_MISMATCH`	`GEOSPEC_VOID_CONTINUITY_UNSUPPORTED`, `GEOSPEC_UNSUPPORTED_EVIDENCE`, `GEOSPEC_ANALYSIS_LIMIT`
`analyzeBrepanalyzeBrep`	Query	No	Yes	No	none	`GEOSPEC_BREP_EVIDENCE_UNAVAILABLE`
`analyzeMeshanalyzeMesh`	Query	Yes	Yes	Yes	none	`GEOSPEC_UNSUPPORTED_EVIDENCE`, `GEOSPEC_ANALYSIS_LIMIT`
`inspectGeometryinspectGeometry`	Query	No	Yes	Yes	none	`GEOSPEC_SELECTOR_UNSUPPORTED_EVIDENCE`, `GEOSPEC_SELECTOR_UNMATCHED`, `GEOSPEC_SELECTOR_AMBIGUOUS`
`analyzeMeshOverlapanalyzeMeshOverlap`	Query	No	Yes	Yes	none	`GEOSPEC_COMPONENT_PARTITION_INCONCLUSIVE`, `GEOSPEC_EXACT_COMPONENT_INVALID`, `GEOSPEC_MANIFOLD_COMPONENT_INVALID`, `GEOSPEC_SELECTOR_UNMATCHED`, `MATCHER_TIMEOUT`, `GEOSPEC_ANALYSIS_LIMIT`
`toSatisfyRationalPlateto_satisfy_rational_plate`	Contract	No	No	No	`GEOSPEC_RATIONAL_PLATE_MISMATCH`	`GEOSPEC_UNSUPPORTED_EVIDENCE`, `GEOSPEC_ANALYSIS_LIMIT`
`toSatisfyParallelPlaneDistanceto_satisfy_parallel_plane_distance`	Contract	No	Yes	No	`GEOSPEC_PARALLEL_PLANE_DISTANCE_MISMATCH`	`GEOSPEC_CERTIFICATE_UNVERIFIED`, `GEOSPEC_UNSUPPORTED_EVIDENCE`, `GEOSPEC_ANALYSIS_LIMIT`
`queryPmiqueryPmi`	Query	No	Yes	No	none	`GEOSPEC_UNSUPPORTED_EVIDENCE`, `GEOSPEC_ANALYSIS_LIMIT`
`minimumDistanceminimumDistance`	Query	No	Yes	No	none	`GEOSPEC_UNSUPPORTED_EVIDENCE`, `GEOSPEC_INVALID_SELECTION`

Kind. An assertion answers passed, failed or refused under either polarity. A query reports what it measured and takes positive polarity only. A contract takes no arguments: its requirement is fixed by name.

Mesh, STEP, glTF. Yes when the section's admitted geometry lists that subject class. Mesh is a mesh-buffer-v1 subject; glTF covers glTF and GLB. toSatisfyRationalPlate (Python to_satisfy_rational_plate) admits a rational-plate subject only.

Failed with. The code a failed claim carries; none means the section names no failure code.

Refused with. The section's own refusal codes. The common refusals apply to every row: MATCHER_TIMEOUT when the budget is spent, GEOSPEC_ANALYSIS_LIMIT and GEOSPEC_RESOURCE_LIMIT when an analysis or admission limit is exceeded, GEOSPEC_UNSUPPORTED_EVIDENCE on a face-reading claim over a STEP whose faces carry no surface, GEOSPEC_UNSUPPORTED_EVIDENCE on a y-up STEP, and GEOSPEC_BACKEND_FAILED. Read a refusal says what to change.