🥮 mooncakes.io

    colmugx/posoco/runtime does not have a README file

    CatalogSource

    source
    pub(open) trait CatalogSource {
      fn revision(Self) -> Int
      fn tools(Self) -> Array[
    ToolDef    ]
    }

    CatalogSource — a host-owned, versioned tool catalog (experimental runtime seam). Advanced hosts whose tool set changes over the Agent's lifetime (dynamic registration, trust/capability gates, remote tool protocols) supply one via Agent::with_runtime(catalog_source~); plain extension authors declare tools through ToolProvider and never need this.

    Read protocol — Posoco reads the source only at well-defined points:
    • once at Agent construction (the initial snapshot), and
    • at each prompt boundary (start of every run_turn, before the run begins) when revision() differs from the last read.

    Each revision change triggers exactly one rebuild attempt. When the rebuilt definitions fail catalog validation (name collision, malformed schema), the previous snapshot stays in effect and the failure is surfaced as a secondary_failure observer event — the turn is never aborted. To retry, change revision() again.

    An in-flight run always keeps the snapshot (and catalog version) it started with; refreshes only affect subsequent runs. Posoco pins the catalog version monotonically — the source's revision is an opaque change signal and is never used as the catalog version itself.

    Runtime

    source
    pub(open) trait Runtime {
      async fn call_model(Self, scope : 
    InvocationScope    , messages : ArrayView[
    Message    ], tool_definitions : Array[
    ToolDef    ], call_options : Json, on_chunk : (
    StreamChunk    ) -> Unit?) -> Result[
    ModelCallResult    , 
    ModelFailure    ]
      async fn execute_tool(Self, ctx : EffectContext) -> 
    ToolOutcome
      async fn cancel_effects(Self, effect_ids : Array[
    EffectId    ], reason : 
    CancelReason    ) -> Array[(
    EffectId    , 
    CancelDisposition    )]
      async fn compact(Self, scope : 
    InvocationScope    , messages : ArrayView[
    Message    ], call_options : Json, trigger : 
    CompactTrigger    ) -> Result[
    CompactResult    , 
    ModelFailure    ]
    }

    The public effect-execution contract. Mirrors the internal boundary 1:1; Posoco adapts it mechanically (a thin shim packs/unpacks EffectContext), so this trait never grows semantics the internal loop does not have.

    Implementors usually wrap PortRuntime and override only the methods they need (typically execute_tool + cancel_effects); see docs/RUNTIME.md.

    EffectContext

    source

    Stable execution context for a single tool effect. effect_id is the reducer-allocated identity of the ExecuteTool effect — the same id the runtime later receives in cancel_effects. Runtimes that propagate cancellation MUST key their in-flight execution state (e.g. an AbortController) by effect_id, not by execution order or call content.

    EnqueueOutcome

    source
    pub(all) enum EnqueueOutcome {
      Accepted(command_id~ : String)
      RejectedStale(reason~ : String)
      RejectedQueueFull(depth~ : Int)
      AbortAlreadyRequested
      RejectedQueueFailure(reason~ : String)
    } derive(Eq, 
    Debug    )

    Pure result returned by Agent-owned host control operations.

    PortRuntime

    source
    pub struct PortRuntime {
      // private fields
    }

    The default runtime, built from the composed extension ports.

    PortRuntime::PortRuntime

    source

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io