Module standard 

Standard-distribution metadata: the profile and organ claim vocabulary.

The kernel defines the predicate keys and operation keys by which the standard distribution describes itself; the standard distribution itself is a lib loaded by default, not kernel behavior.

Functions

publish_fidelity_badge

Publishes a fidelity badge for a subject together with its evidence.

publish_fidelity_badge_for_lib

Publishes a fidelity badge and records newly inserted facts under lib_id.

publish_organ_claims

Publishes the claims describing an organ: its kind and the ops it provides.

publish_organ_claims_for_lib

Publishes organ claims and records newly inserted facts under lib_id.

publish_profile_claims

Publishes the claims describing a profile: its kind, organs, and tests.

publish_profile_claims_for_lib

Publishes profile claims and records newly inserted facts under lib_id.

standard_control_op_key

Builds a control-namespace operation key for the given name at version 1.

standard_evidence_predicate

The claim predicate carrying fidelity evidence.

standard_fidelity_predicate

The claim predicate carrying a fidelity badge.

standard_organ_kind

The card-kind symbol for a standard-distribution organ.

standard_organ_predicate

The claim predicate relating a profile to one of its organs.

standard_profile_kind

The card-kind symbol for a standard-distribution profile.

standard_profile_predicate

The claim predicate naming a profile.