Module card 

Card records: the contract for structured metadata about runtime subjects.

The kernel defines the Card record and its well-known predicate keys (subject, kind, help, args, result, tests, ops); libraries publish and consume cards as claims.

Structs

Card

Structured, machine-readable record describing a runtime subject.

Functions

card_args_predicate

Returns the args Card predicate symbol.

card_fixed_predicates

Returns the fixed Card predicate symbols in their stable schema order.

card_for_ref

Builds a card for subject by projecting its claims, with no fallback data.

card_for_ref_with_fallback

Builds a card for subject with optional fallback table data and a default_kind used when no kind claim or fallback is present.

card_for_value

Builds a card for a runtime value, using the value itself as fallback data.

card_help_predicate

Returns the help Card predicate symbol.

card_kind_predicate

Returns the kind Card predicate symbol.

card_ops_predicate

Returns the ops Card predicate symbol.

card_requires_predicate

Returns the requires Card predicate symbol.

card_result_predicate

Returns the result Card predicate symbol.

card_see_also_predicate

Returns the see-also Card predicate symbol.

card_shape_known_predicate

Returns the shape-known Card predicate symbol.

card_subject_predicate

Returns the subject Card predicate symbol.

card_tests_predicate

Returns the tests Card predicate symbol.

minimal_card

Builds a card carrying only the fixed schema fields with default values.

ref_value

Projects a Ref into its runtime Value form: symbols become symbol values; content, handle, and coordinate refs become core/ref extension expressions.