Module meta_harness 

Non-bypassable Meta Harness kernel policy and ordered assemble.

Hosts mount ordered Moore components on one fact log (components: [...]). Entries are stock parts (system / tools / budget / compact / infer) or host registry mounts (host:<id>). Permission projection and the completion gate stay Core-owned: a composed graph cannot disable them.

Full Rust arbitrary trees use HostHarnessAssembler or admit_component_tree. SDKs pass the declarative recipe; host Moore factories stay Rust-side (no second imperative loop, no Effect-TS embed).

Structs

BuiltinHostHarnessRegistry

Built-in registry with the intent_stamp host component.

HarnessComposeOptions

Host-facing compose recipe for SessionOptions / SDKs.

KernelPolicy

Kernel flags that host components cannot clear.

Enums

HarnessComponentRef

One entry in an ordered components: [...] assemble list.

HarnessPartId

Stock part identifiers for compose recipes.

Constants

INTENT_STAMP_MARKER

Stable marker injected by BuiltinHostHarnessRegistry intent_stamp.

Traits

HostHarnessAssembler

Full custom graph builder for Rust embedders (arbitrary compose_coding_actor).

HostHarnessRegistry

Host-authored Moore component factory (Rust-side; not model-grantable).

Functions

admit_component_tree

Admit an explicit component tree under kernel policy.

admit_default_graph

Build the default graph under kernel policy.

admit_from_compose

Resolve SessionOptions harness compose into an admitted graph.

admit_from_compose_with_registry

Resolve compose + optional host registry into an admitted graph.

admit_spec_graph

Build a graph from a Meta Harness stock-only spec under kernel policy.

host_component_id

Format a host mount id as a components: [...] entry.

parse_harness_component

Parse a stock name or host:<id> assemble entry.

parse_harness_components

Parse an ordered components: [...] list.

parse_harness_part

Parse a single stock Meta Harness part id.

parse_harness_parts

Parse ordered stock part names into HarnessPartId values.