Module projection 

Pure projection helpers from the canonical Kernel Wire contract to host-facing facts.

This module intentionally contains no host I/O, clocks, randomness, or runtime state. The first slice centralises publication-manifest extraction; action projection is added on top of the same boundary in the following TDD cards.

Structs

ProjectionError

PublishedEffectRef

The minimal fact a host may append to its event log for a committed step.

Enums

CanonicalHostAction

Host-facing action with one canonical effect payload. Payload structs are the existing wire structs; this first slice centralises selection without inventing a second payload schema.

CurrentProjection

Functions

current_effect

Return the first effect in a committed step’s publication order. Transitional SDK adapters use this selector while their payload conversion is migrated to project_effect.

project_current_action

Select the current host action from one committed step. The step’s vector is already the kernel’s publication order, so the first effect is the only legal current action.

project_current_pending_action

Project the current action from the transaction’s already ordered pending-effect view. Ordering is deliberately owned by KernelTransaction::pending_effects_in_order; this helper only selects the head and maps it to a canonical action.

project_effect

Project one wire effect without touching host state.

project_planned_step_json

JSON bridge used by bindings for transitions that carry a planned step directly.

published_effects_manifest

Extract effects in the step’s publication/mint order.

published_effects_manifest_json

JSON bridge for the host audit manifest. This intentionally excludes payloads and preserves the publication order already encoded in the planned step.