Directories
¶
| Path | Synopsis |
|---|---|
|
The SDK imports are out-of-prefix; the gate filters them out of the in-prefix edge set (scripts/check_import_layers.py compute_edges), and the policy baseline is unchanged.
|
The SDK imports are out-of-prefix; the gate filters them out of the in-prefix edge set (scripts/check_import_layers.py compute_edges), and the policy baseline is unchanged. |
|
Package agentmsg is the leaf surface for typed agent-to-agent messages.
|
Package agentmsg is the leaf surface for typed agent-to-agent messages. |
|
Package agents resolves file-backed agent definitions into immutable runtime snapshots.
|
Package agents resolves file-backed agent definitions into immutable runtime snapshots. |
|
Package chat implements multi-turn sessions with disk persistence.
|
Package chat implements multi-turn sessions with disk persistence. |
|
Package cli implements mivia command handlers.
|
Package cli implements mivia command handlers. |
|
Typed action model: every transcript action is a tool (⚙), an agent (◆), or a skill (§).
|
Typed action model: every transcript action is a tool (⚙), an agent (◆), or a skill (§). |
|
Package cliworkflow holds the workflow CLI domain: workflow run, resume, deliver, status, events, approve, reject, cancel, cleanup, delete, and gc commands, the session workflow tool engine, and the workflow snapshot and verifier pinning machinery.
|
Package cliworkflow holds the workflow CLI domain: workflow run, resume, deliver, status, events, approve, reject, cancel, cleanup, delete, and gc commands, the session workflow tool engine, and the workflow snapshot and verifier pinning machinery. |
|
Package codeintel resolves symbol references by type-checking a workspace.
|
Package codeintel resolves symbol references by type-checking a workspace. |
|
Package composition owns session wiring: registries, dispatchers, hooks, MCP merge, session construction.
|
Package composition owns session wiring: registries, dispatchers, hooks, MCP merge, session construction. |
|
Package config loads mivia TOML configuration and resolves provider settings.
|
Package config loads mivia TOML configuration and resolves provider settings. |
|
Package contextmgr owns context preparation policy and provider-message conversion.
|
Package contextmgr owns context preparation policy and provider-message conversion. |
|
Package contextstate is the CLI's durable context contract layer.
|
Package contextstate is the CLI's durable context contract layer. |
|
Package coordinator provides the orchestration seam between model-facing tools and the subagent execution pool.
|
Package coordinator provides the orchestration seam between model-facing tools and the subagent execution pool. |
|
Package diff provides bounded, dependency-free line diffs for tool output.
|
Package diff provides bounded, dependency-free line diffs for tool output. |
|
Package faultinject provides a deterministic, counter-based fault and hang trigger for concurrency and failure-path tests.
|
Package faultinject provides a deterministic, counter-based fault and hang trigger for concurrency and failure-path tests. |
|
Package hooks owns mivia's deterministic lifecycle-hook layer: the config shape and the isolated execution path hook commands run through.
|
Package hooks owns mivia's deterministic lifecycle-hook layer: the config shape and the isolated execution path hook commands run through. |
|
Package hooksession owns the running session's resolved lifecycle-hook state: discovery, arming, and the /hooks listing text.
|
Package hooksession owns the running session's resolved lifecycle-hook state: discovery, arming, and the /hooks listing text. |
|
Package hub lets several `mivia` processes working the same session - a terminal TUI and, e.g., mivia-agent-desktop's spawned `mivia chat --json` process - see each other's live turns.
|
Package hub lets several `mivia` processes working the same session - a terminal TUI and, e.g., mivia-agent-desktop's spawned `mivia chat --json` process - see each other's live turns. |
|
Package jschema is a fail-closed JSON Schema compile/validate wrapper for structured subagent outputs (plan tools/02).
|
Package jschema is a fail-closed JSON Schema compile/validate wrapper for structured subagent outputs (plan tools/02). |
|
Package ledger defines immutable identity types, snapshots, and the repository boundary for subagent orchestration.
|
Package ledger defines immutable identity types, snapshots, and the repository boundary for subagent orchestration. |
|
Package ledgercore provides shared primitives and infrastructure for event-sourced ledger implementations in the mivia agent.
|
Package ledgercore provides shared primitives and infrastructure for event-sourced ledger implementations in the mivia agent. |
|
Package mcp implements MCP client configuration and tool adapters.
|
Package mcp implements MCP client configuration and tool adapters. |
|
Package memory implements durable agent memory: project-scoped and org-scoped entries with a strict Markdown format.
|
Package memory implements durable agent memory: project-scoped and org-scoped entries with a strict Markdown format. |
|
Package miviaauth provides primitives to interact with the openapi HTTP API.
|
Package miviaauth provides primitives to interact with the openapi HTTP API. |
|
Package prompts holds prompt fragments that the compiled-in system prompts share.
|
Package prompts holds prompt fragments that the compiled-in system prompts share. |
|
Package provider implements LLM chat adapters for mivia.
|
Package provider implements LLM chat adapters for mivia. |
|
Package providerregistry owns dependency-neutral built-in provider metadata.
|
Package providerregistry owns dependency-neutral built-in provider metadata. |
|
Package reasoning is the provider-neutral vocabulary for model reasoning control: how hard a model should think, and which wire dialect expresses that to its provider.
|
Package reasoning is the provider-neutral vocabulary for model reasoning control: how hard a model should think, and which wire dialect expresses that to its provider. |
|
Package redact applies the workspace's redaction policy to operator-visible text and structured values.
|
Package redact applies the workspace's redaction policy to operator-visible text and structured values. |
|
Package remainder owns the truncated-result spool and its caller-scoped visibility grants.
|
Package remainder owns the truncated-result spool and its caller-scoped visibility grants. |
|
Package runtime contains the shared invocation boundary for model-directed work.
|
Package runtime contains the shared invocation boundary for model-directed work. |
|
Package sdkadapter - shared approval types.
|
Package sdkadapter - shared approval types. |
|
Package secretpath matches configured workspace secret paths.
|
Package secretpath matches configured workspace secret paths. |
|
Package skills defines independently typed, policy-bearing skills.
|
Package skills defines independently typed, policy-bearing skills. |
|
Package storage provides the validation seam for durable agent events.
|
Package storage provides the validation seam for durable agent events. |
|
Package subagents provides shared prompt constants for sub-agent handlers.
|
Package subagents provides shared prompt constants for sub-agent handlers. |
|
Package testenv isolates a test binary from the developer's own machine state.
|
Package testenv isolates a test binary from the developer's own machine state. |
|
Package textutil provides small, dependency-free string-safety primitives shared by packages that must not depend on each other: rune-safe byte-cap truncation (jschema, delivery) and control-byte detection (workflows/controller, workflows/compiler).
|
Package textutil provides small, dependency-free string-safety primitives shared by packages that must not depend on each other: rune-safe byte-cap truncation (jschema, delivery) and control-byte detection (workflows/controller, workflows/compiler). |
|
Package tools implements workspace-bound agent tools.
|
Package tools implements workspace-bound agent tools. |
|
ui
|
|
|
app
Package app is the root Bubble Tea model: a Screen router (a stack, not nullable dialog pointers - build spec section 4.5) plus the global keymap.
|
Package app is the root Bubble Tea model: a Screen router (a stack, not nullable dialog pointers - build spec section 4.5) plus the global keymap. |
|
component/approval
Package approval renders one pending tool-approval request inline and turns keypresses into a ports.Decision.
|
Package approval renders one pending tool-approval request inline and turns keypresses into a ports.Decision. |
|
component/blackboard
Package blackboard renders the interactive run blackboard and inter-agent messaging center in the Terminal UI.
|
Package blackboard renders the interactive run blackboard and inter-agent messaging center in the Terminal UI. |
|
component/composer
Package composer is the multi-line message input plus a slash-command completion list and an @-mention file picker.
|
Package composer is the multi-line message input plus a slash-command completion list and an @-mention file picker. |
|
component/field
Package field is one editable settings row: a label plus either free text (KindText, wrapping bubbles/textinput) or a cycled value from a closed set (KindChoice, no textinput at all - so an invalid value is unreachable, not merely rejected).
|
Package field is one editable settings row: a label plus either free text (KindText, wrapping bubbles/textinput) or a cycled value from a closed set (KindChoice, no textinput at all - so an invalid value is unreachable, not merely rejected). |
|
component/history
Package history renders the message history overlay above the composer and lets the user navigate and select previous prompt messages.
|
Package history renders the message history overlay above the composer and lets the user navigate and select previous prompt messages. |
|
component/picker
Package picker is a generic, minimal list picker.
|
Package picker is a generic, minimal list picker. |
|
component/queue
Package queue renders the queued messages overlay above the composer and lets the user inspect, navigate, and remove queued messages.
|
Package queue renders the queued messages overlay above the composer and lets the user inspect, navigate, and remove queued messages. |
|
component/statusline
Package statusline renders the permanent status row above the composer: the brand mark in the turn's state, the activity label, and the elapsed time while a turn is in flight, and the row is reserved (and shows the keymap hint) when it is not.
|
Package statusline renders the permanent status row above the composer: the brand mark in the turn's state, the activity label, and the elapsed time while a turn is in flight, and the row is reserved (and shows the keymap hint) when it is not. |
|
component/topbar
Package topbar is the cockpit's fixed top row: the brand mark and wordmark on the left, the session's model and context usage on the right.
|
Package topbar is the cockpit's fixed top row: the brand mark and wordmark on the left, the session's model and context usage on the right. |
|
component/transcript
Package transcript renders the conversation for the inline-first UI.
|
Package transcript renders the conversation for the inline-first UI. |
|
component/welcome
Package welcome renders the start screen splash banner for a clean CLI session.
|
Package welcome renders the start screen splash banner for a clean CLI session. |
|
jsonout
Package jsonout is the --output json renderer: newline-delimited JSON, one uievent.Event per line, in the same wire form testdata/ fixtures use.
|
Package jsonout is the --output json renderer: newline-delimited JSON, one uievent.Event per line, in the same wire form testdata/ fixtures use. |
|
render
Package render turns theme roles into concrete lipgloss styles and renders structured event bodies (diffs, markdown, dialogs, headers) into styled text.
|
Package render turns theme roles into concrete lipgloss styles and renders structured event bodies (diffs, markdown, dialogs, headers) into styled text. |
|
screen/conversation
Package conversation is the base screen: the transcript, composer, transient status line, and inline approval prompt, driven by a real ports.Conversation.
|
Package conversation is the base screen: the transcript, composer, transient status line, and inline approval prompt, driven by a real ports.Conversation. |
|
screen/settings
Package settings is the full-screen /settings modal: a left nav sidebar (General, Models, MCP, Agents, Automations) beside a detail pane, keeping the top bar and a status row.
|
Package settings is the full-screen /settings modal: a left nav sidebar (General, Models, MCP, Agents, Automations) beside a detail pane, keeping the top bar and a status row. |
|
screen/themepicker
Package themepicker is the alt-screen modal (build spec section 3.4) that live-previews and selects an app-wide theme.
|
Package themepicker is the alt-screen modal (build spec section 3.4) that live-previews and selects an app-wide theme. |
|
screen/transcript
Package transcript is the full-screen pager over the conversation (cockpit-research.md rule 6.2).
|
Package transcript is the full-screen pager over the conversation (cockpit-research.md rule 6.2). |
|
stream
Package stream is the non-TTY plain renderer: readable text with no ANSI escapes, no theme dependency, safe to pipe.
|
Package stream is the non-TTY plain renderer: readable text with no ANSI escapes, no theme dependency, safe to pipe. |
|
theme
Package theme is the single source of style for internal/ui: semantic roles, never raw colours at call sites.
|
Package theme is the single source of style for internal/ui: semantic roles, never raw colours at call sites. |
|
Package uiadapter: Phase 2 Conversation and TurnHandle over chat.Session.
|
Package uiadapter: Phase 2 Conversation and TurnHandle over chat.Session. |
|
uikit
|
|
|
config
Package config holds every timing, limit, and threshold used by the new UI in one place.
|
Package config holds every timing, limit, and threshold used by the new UI in one place. |
|
intent
Package intent carries user intents from the UI to the harness, the input side of the uievent contract.
|
Package intent carries user intents from the UI to the harness, the input side of the uievent contract. |
|
keymap
Package keymap is the keymap as data, not as code.
|
Package keymap is the keymap as data, not as code. |
|
ports
Package ports defines the consumer-side interfaces between the UI and the harness.
|
Package ports defines the consumer-side interfaces between the UI and the harness. |
|
replay
Package replay implements ports.Conversation/TurnHandle/Approver over a fixed sequence of uievent.Event, replayed on every Send call.
|
Package replay implements ports.Conversation/TurnHandle/Approver over a fixed sequence of uievent.Event, replayed on every Send call. |
|
termprobe
Package termprobe turns terminal environment facts into cockpit decisions.
|
Package termprobe turns terminal environment facts into cockpit decisions. |
|
uievent
Package uievent defines the canonical UI event stream: the contract between the harness and all three renderers (TUI, plain stream, JSON).
|
Package uievent defines the canonical UI event stream: the contract between the harness and all three renderers (TUI, plain stream, JSON). |
|
Package usage defines the usage-accounting contract shared by the agent runtime and the storage layer.
|
Package usage defines the usage-accounting contract shared by the agent runtime and the storage layer. |
|
Package version reports build identity for the mivia CLI.
|
Package version reports build identity for the mivia CLI. |
|
workflows
|
|
|
controller
Package blockedpath detects when task text or agent output instructs a write to a workspace path that the host write-path policy blocklists for workflow agents.
|
Package blockedpath detects when task text or agent output instructs a write to a workspace path that the host write-path policy blocklists for workflow agents. |
|
definition
Package verifier provides the execution machinery for deterministic verifier profiles behind evidence_gate steps.
|
Package verifier provides the execution machinery for deterministic verifier profiles behind evidence_gate steps. |
|
delivery
Package delivery runs delivery commands against pinned git contexts.
|
Package delivery runs delivery commands against pinned git contexts. |
|
ledger
Package agenttools exposes in-process workflow tools for the agent surface.
|
Package agenttools exposes in-process workflow tools for the agent surface. |
|
localengine
Package localengine provides an in-process workflow Engine for agent tools.
|
Package localengine provides an in-process workflow Engine for agent tools. |
|
Package workspace confines filesystem access to a root directory.
|
Package workspace confines filesystem access to a root directory. |
Click to show internal directories.
Click to hide internal directories.