Module claims 

Standard-distribution claim predicates and profile/badge claim publishing.

Functions

publish_badge_claims

Publish the claim set for a single FidelityBadge: its badge fact, fidelity level, and the observed badge claim, each inserted at most once.

publish_badge_claims_for_lib

Publish badge claims as part of a loaded lib receipt.

publish_profile_claims

Publish the full claim set for profile: reader, lowering, eval-policy, numeric tower, capabilities, unsupported forms, and fidelity badges.

publish_profile_claims_for_lib

Publish profile claims as part of a loaded lib receipt.

standard_capability_predicate

Claim predicate relating a profile to a capability it requires.

standard_eval_policy_predicate

Claim predicate relating a profile to its eval-policy symbol.

standard_lowering_predicate

Claim predicate relating a profile to its lowering symbol.

standard_numeric_predicate

Claim predicate relating a profile to its numeric-tower symbol.

standard_reader_predicate

Claim predicate relating a profile to its reader symbol.

standard_unsupported_predicate

Claim predicate relating a profile to a form it does not support.