Module rank 

Rank metadata: the contract for ordering and navigating ranked spaces.

The kernel defines the rank operation keys and the space/coordinate predicate vocabulary; libraries supply the concrete ranking behavior.

Functions

publish_coordinate_claims

Publish the kind, space, and ordinal claims describing a rank coordinate, inserting each only if not already present.

publish_rank_space_claims

Publish the kind, operation, and optional help claims describing a rank space, inserting each only if not already present.

rank_coordinate

Build a coordinate reference for ordinal within space.

rank_coordinate_kind

Card kind symbol identifying a rank coordinate.

rank_neighbors_op_key

Operation key for listing a coordinate’s neighbors.

rank_order_next_op_key

Operation key for advancing to the next coordinate in order.

rank_ordinal_predicate

Claim predicate naming a coordinate’s ordinal.

rank_rank_op_key

Operation key for mapping a value to its rank in a space.

rank_space_kind

Card kind symbol identifying a rank space.

rank_space_predicate

Claim predicate naming a coordinate’s space.

rank_unrank_op_key

Operation key for mapping a rank back to its value.