Module verbs 

Pack-registered Actions and Functions — the actions!/functions!/ guidance! pack! sections and their registrations (PX2).

Structs

ActionContext

What a pack action body receives. The ceiling is the framework’s enforcement point: every visibility the body produces is clamped (and the commit path rejects rows that would exceed it), so a pack author cannot stamp wider than the declared min_visibility no matter what the body does (P3: a compile-time AND framework-enforced property).

ActionEdge

One edge a pack action body produces. kind is the kind display name (the stable identity surface shared with wire formats and rule sources); the framework resolves it through the effective ontology and rejects unknown or computed-only kinds.

ActionMemory

One memory a pack action body produces. memory_type is the PACK-LOCAL u8 id (MemoryType::X.id() in the pack crate); the framework remaps it to the effective-ontology id through the pack’s slot at commit.

ActionProduct

What a pack action body returns: the memories and edges to commit. The framework validates, provenance-stamps, audits, and commits them — the body cannot bypass any of it.

GuidanceEntry

One structured agent-guidance entry declared in a guidance! section (§4.2). Keys and link names resolve against the declaring pack’s own type/kind tables at pack_def() build time — an entry naming an unknown type or kind fails pack load, exactly as type_triples! does.

GuidanceLink

One declared guidance link.

PackActionDef

Signature-level action descriptor carried in PackDef (and therefore the compatibility fingerprint). Bodies are deliberately absent.

PackActionRegistration

Compile-time registration emitted by the actions! section (§4.3: macro-generated inventory::submit!, one registry — R-P1/R-P2 hold because the operation registry merges these into entries()).

PackFunctionDef

Signature-level function descriptor carried in PackDef. Budgets ride the build fingerprint (operational policy, not stored meaning) but not the compatibility summary’s verb identity.

PackFunctionRegistration

Compile-time registration emitted by the functions! section. The body is verbatim source for the declared engine; v1 executes scheme bodies through the reasoning crate’s embedded Steel interpreter (pure functions over their typed input — the graph-fed contract is recorded as the boundary in the master plan). datalog bodies are a pack-compile error: Crepe compiles at build time only, and an unexecutable registration would be a phantom surface.

Enums

ActionTarget

Where an action-produced edge points: a draft key within this action’s product, or an existing memory id.

Functions

registered_pack_actions

Every registered pack action, sorted by (pack, verb) — the deterministic enumeration the operation registry merges.

registered_pack_functions

Every registered pack function, sorted by (pack, verb).