Module pack 

Pack trait — the declarative composition unit for khive.

A pack declares vocabulary (note kinds, entity kinds), verbs, and edge endpoint rules. This is purely static metadata — no I/O, no async. Runtime dispatch lives in khive-runtime (PackRuntime trait + VerbRegistry).

This trait lives in khive-types (no_std, zero deps) so downstream crates can reference pack metadata without pulling in the full runtime.

Structs

EdgeEndpointRule

A pack-declared endpoint rule for a specific edge relation.

HandlerDef

Handler metadata for discovery and documentation.

NoteKindSpec

Kind-level schema specification for a note kind.

NoteLifecycleSpec

Lifecycle specification for a note kind.

PackSchemaPlan

DDL statements the pack needs applied to the auxiliary schema.

ParamDef

Parameter type for help=true schema envelopes.

Enums

AtomicRejectionReason

Why a verb was rejected from an --atomic op list (ADR-099 D3, migration step 2). Distinguishes the two named rejection classes from a generic “not yet admitted” fallback so callers can produce an actionable message.

EndpointKind

Match spec for one end of an EdgeEndpointRule.

VerbCategory

Illocutionary force classification for a verb handler.

VerbPresentationPolicy

Presentation override for a verb handler.

Visibility

Visibility tier for a handler.

Constants

ATOMIC_ADMISSIBLE_VERBS

ADR-099 D3 — the v1 atomic-admissible verb set for --atomic bulk apply.

ATOMIC_KNOWN_UNIMPLEMENTED_VERBS

Verbs on ATOMIC_ADMISSIBLE_VERBS (ADR-099 D3 conceptually admissible) that have no full-parity prepare/apply seam yet, so they are rejected up front (checked BEFORE the general admissible-list check) rather than admitted with a silent gap. See crates/khive-types/docs/api/pack.md#adr-099-d3-atomic-admissibility-rejection-classes for why each verb is deferred and the ADR-099 B3 ordering rationale.

ATOMIC_MAX_OPS_DEFAULT

Conservative default maximum op count for one --atomic unit (ADR-099 migration step 7 / B3). Override per invocation with kkernel exec --atomic --atomic-max-ops N. See crates/khive-types/docs/api/pack.md#atomic_max_ops_default–2000–rationale for why 2000 specifically was chosen and when to revisit it.

Traits

Pack

A composable module that contributes vocabulary, verbs, and edge endpoint rules to the khive runtime.

Functions

atomic_admissibility

Static admissibility classification for verb_name under ADR-099 --atomic bulk apply.

Type Aliases

VerbDefDeprecated

Backward-compatible type alias. Existing code that names VerbDef still compiles; new code should use HandlerDef directly.