Release libmcp 1.1.0v1.1.0

12 files changed, 999 insertions, 12 deletions

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8e0ed4f..d0030a2 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,24 @@
 # Changelog
 
+## 1.1.0
+
+Additive release on top of the locked `1.0.0` foundation.
+
+Included in `1.1.0`:
+
+- reusable host-session kernel for initialize seed capture, pending request
+  journaling, replay budgeting, and queue rebuild
+- snapshot-file helpers for host self-reexec handoff
+- generic JSON-to-porcelain rendering for doctrine-compliant default output
+- retrofit of `adequate_rust_mcp` onto the shared host-session kernel
+- first `fidget_spinner` retrofit onto the shared kernel and render doctrine
+
+Still intentionally excluded:
+
+- final runtime adapter crates
+- a forced single worker transport shape
+- the deeper client/server infra lift reserved for a later release
+
 ## 1.0.0
 
 Initial stable release.
diff --git a/Cargo.lock b/Cargo.lock
index 5a5bff3..afbd841 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -254,7 +254,7 @@ checksum = "b5b646652bf6661599e1da8901b3b9522896f01e736bad5f723fe7a3a27f899d"
 
 [[package]]
 name = "libmcp"
-version = "1.0.0"
+version = "1.1.0"
 dependencies = [
  "schemars",
  "serde",
@@ -267,7 +267,7 @@ dependencies = [
 
 [[package]]
 name = "libmcp-testkit"
-version = "1.0.0"
+version = "1.1.0"
 dependencies = [
  "serde",
  "serde_json",
diff --git a/Cargo.toml b/Cargo.toml
index 51c9699..a5a0dbb 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -11,7 +11,7 @@ license = "Apache-2.0"
 readme = "README.md"
 repository = "https://github.com/example/libmcp"
 rust-version = "1.94"
-version = "1.0.0"
+version = "1.1.0"
 
 [workspace.dependencies]
 assert_matches = "1.5.0"
diff --git a/README.md b/README.md
index 0a857e9..308b600 100644
--- a/README.md
+++ b/README.md
@@ -7,6 +7,7 @@ servers. It owns:
 
 - typed replay and fault contracts
 - JSON-RPC frame and request identity helpers
+- durable host-session kernel and snapshot-file handoff
 - model-facing rendering doctrine, especially porcelain-by-default output
 - normalization utilities for model input friction
 - standard health and telemetry payloads
@@ -19,11 +20,12 @@ version tracks the library version and doctrine.
 
 ## Status
 
-`libmcp` `1.0.0` is locked against a clean integration with
-`adequate_rust_mcp`.
+`libmcp` `1.1.0` builds on the locked `1.0.0` base with a reusable
+host-session kernel, snapshot-file reexec handoff, a generic JSON-to-porcelain
+renderer, and a first `fidget_spinner` retrofit.
 
-`fidget_spinner` is intentionally not part of `1.0.0`; it will be revisited
-later once its transport shape is settled.
+The eventual runtime-adapter and deeper client/server lift remain future work;
+this release does not pretend that phase is complete.
 
 ## Layout
 
diff --git a/assets/codex-skills/mcp-bootstrap/references/bootstrap-fresh.md b/assets/codex-skills/mcp-bootstrap/references/bootstrap-fresh.md
index bddbc53..aefe25d 100644
--- a/assets/codex-skills/mcp-bootstrap/references/bootstrap-fresh.md
+++ b/assets/codex-skills/mcp-bootstrap/references/bootstrap-fresh.md
@@ -11,6 +11,8 @@ execution.
   policy, rollout, and user-facing error shaping.
 - The worker owns backend runtimes, backend-specific retries, and tool
   execution.
+- Use `libmcp`'s host-session kernel and snapshot-file handoff instead of
+  rolling custom initialize seed and reexec glue.
 
 If the worker dies, the session should survive.
 
@@ -53,6 +55,9 @@ Porcelain should be:
 
 Structured `render=json` should remain available.
 
+Use library rendering helpers where possible. Do not default to pretty-printed
+JSON dumps and call that porcelain.
+
 ## 5. Boundary normalization
 
 Normalize model-facing input where it is clearly safe:
diff --git a/assets/codex-skills/mcp-bootstrap/references/bootstrap-retrofit.md b/assets/codex-skills/mcp-bootstrap/references/bootstrap-retrofit.md
index 5a766a6..146733c 100644
--- a/assets/codex-skills/mcp-bootstrap/references/bootstrap-retrofit.md
+++ b/assets/codex-skills/mcp-bootstrap/references/bootstrap-retrofit.md
@@ -11,6 +11,9 @@ scratch.
 4. Add health, telemetry, and recovery tests.
 5. Only then promise hot rollout or stronger operational guarantees.
 
+When `libmcp` is in play, prefer its host-session kernel and render helpers over
+consumer-local copies.
+
 ## Specific Warnings
 
 - Do not add retries before replay legality is explicit.
diff --git a/assets/codex-skills/mcp-bootstrap/references/checklist.md b/assets/codex-skills/mcp-bootstrap/references/checklist.md
index b20a836..f2eeffd 100644
--- a/assets/codex-skills/mcp-bootstrap/references/checklist.md
+++ b/assets/codex-skills/mcp-bootstrap/references/checklist.md
@@ -3,10 +3,14 @@
 Use this checklist when reviewing a `libmcp` consumer.
 
 - Does a stable host own the public session?
+- Is the public session backed by the shared host-session kernel rather than
+  ad hoc initialize/reexec glue?
 - Is worker fragility isolated behind an explicit replay policy?
 - Are replay contracts typed and local to the request surface?
 - Are faults typed and connected to recovery semantics?
 - Do nontrivial tools default to porcelain output?
+- Are library render helpers used where bespoke porcelain has not yet been
+  justified?
 - Is structured JSON still available where exact consumers need it?
 - Are inputs normalized where the semantics are still unambiguous?
 - Are health and telemetry available?
diff --git a/crates/libmcp/src/host.rs b/crates/libmcp/src/host.rs
new file mode 100644
index 0000000..bed1818
--- /dev/null
+++ b/crates/libmcp/src/host.rs
@@ -0,0 +1,771 @@
+//! Durable public-session runtime primitives for hardened MCP hosts.
+
+use crate::{
+    jsonrpc::{FramedMessage, RequestId, RpcEnvelopeKind, ToolCallMeta, parse_tool_call_meta},
+    replay::ReplayContract,
+};
+use schemars::JsonSchema;
+use serde::{Deserialize, Serialize, de::DeserializeOwned};
+use std::{
+    collections::{HashMap, HashSet, VecDeque},
+    fs, io,
+    path::{Path, PathBuf},
+    time::{Duration, Instant as StdInstant, SystemTime, UNIX_EPOCH},
+};
+
+/// Session readiness for worker replay purposes.
+#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize, JsonSchema)]
+#[serde(rename_all = "snake_case")]
+pub enum SessionPhase {
+    /// No successful `initialize` has been forwarded yet.
+    Cold,
+    /// The public session is live and must be reseeded after worker churn.
+    Live,
+}
+
+/// Captured initialize request needed to reseed a replacement worker.
+#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize, JsonSchema)]
+pub struct SeededInitializeRequest {
+    /// Original request identifier.
+    pub id: RequestId,
+    /// Original serialized JSON-RPC frame.
+    pub payload: Vec<u8>,
+}
+
+/// Captured initialization seed for worker replay.
+#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize, JsonSchema)]
+pub struct InitializationSeed {
+    /// Original initialize request.
+    pub initialize_request: SeededInitializeRequest,
+    /// Best-effort initialized notification payload.
+    #[serde(skip_serializing_if = "Option::is_none")]
+    pub initialized_notification: Option<Vec<u8>>,
+}
+
+/// Common host-side request rejections.
+#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize, JsonSchema)]
+#[serde(rename_all = "snake_case")]
+pub enum HostRejection {
+    /// Recovery queue capacity was exhausted.
+    QueueOverflow,
+    /// The request exhausted its automatic replay budget.
+    ReplayBudgetExhausted,
+}
+
+impl HostRejection {
+    /// JSON-RPC error code for the rejection.
+    #[must_use]
+    pub const fn code(self) -> i64 {
+        match self {
+            Self::QueueOverflow => -32097,
+            Self::ReplayBudgetExhausted => -32095,
+        }
+    }
+
+    /// Human-facing rejection message.
+    #[must_use]
+    pub const fn message(self) -> &'static str {
+        match self {
+            Self::QueueOverflow => "worker queue overflow during recovery",
+            Self::ReplayBudgetExhausted => "worker restart replay budget exhausted for request",
+        }
+    }
+}
+
+/// Live pending request tracked by the host.
+#[derive(Debug, Clone)]
+pub struct PendingRequest {
+    /// Public JSON-RPC method.
+    pub method: String,
+    /// Stable ordering sequence across retries.
+    pub sequence: u64,
+    /// Original request frame.
+    pub frame: FramedMessage,
+    /// Replay legality for the request surface.
+    pub replay_contract: ReplayContract,
+    /// Local start time for latency and age accounting.
+    pub started_at: StdInstant,
+    /// Best-effort tool metadata for telemetry grouping.
+    pub tool_call_meta: Option<ToolCallMeta>,
+}
+
+/// Pending request plus the number of replay attempts consumed so far.
+#[derive(Debug, Clone)]
+pub struct CompletedPendingRequest {
+    /// Pending request metadata and original frame.
+    pub request: PendingRequest,
+    /// Replay attempts consumed for this request.
+    pub replay_attempts: u8,
+}
+
+/// Recovery-time configuration for pending-request replay.
+#[derive(Debug, Clone, Copy, PartialEq, Eq)]
+pub struct ReplayBudget {
+    /// Maximum replay attempts per request.
+    pub max_attempts: u8,
+    /// Total queue capacity, including replayed and newly queued requests.
+    pub queue_capacity: usize,
+}
+
+/// Request dropped during replay requeue.
+#[derive(Debug, Clone)]
+pub struct RejectedReplay {
+    /// Request identifier.
+    pub request_id: RequestId,
+    /// Pending request metadata.
+    pub request: PendingRequest,
+    /// Attempt number that triggered the drop.
+    pub next_attempt: u8,
+    /// Rejection reason.
+    pub reason: HostRejection,
+}
+
+/// Result of rebuilding the replay queue after worker failure.
+#[derive(Debug, Clone, Default)]
+pub struct ReplayRequeueOutcome {
+    /// Requests dropped during recovery.
+    pub rejected: Vec<RejectedReplay>,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize)]
+struct PendingRequestSnapshot {
+    request_id: RequestId,
+    method: String,
+    sequence: u64,
+    frame: Vec<u8>,
+    replay_contract: ReplayContract,
+    age_ms: u64,
+}
+
+#[derive(Debug, Clone, Serialize, Deserialize)]
+struct ReplayAttemptSnapshot {
+    request_id: RequestId,
+    attempts: u8,
+}
+
+/// Serializable kernel snapshot for host self-reexec.
+#[derive(Debug, Clone, Serialize, Deserialize)]
+pub struct HostSessionKernelSnapshot {
+    /// Current public session phase.
+    pub session_phase: SessionPhase,
+    /// Captured initialize state, if any.
+    pub initialization_seed: Option<InitializationSeed>,
+    /// Live pending requests.
+    pending: Vec<PendingRequestSnapshot>,
+    /// Retry counters for pending requests.
+    replay_attempts: Vec<ReplayAttemptSnapshot>,
+    /// Backlog of client frames waiting on worker readiness.
+    pub queued_frames: Vec<Vec<u8>>,
+    /// Next pending sequence number.
+    pub next_pending_sequence: u64,
+}
+
+/// Restored host-session kernel state ready to hydrate a live runtime.
+#[derive(Debug, Clone)]
+pub struct RestoredHostSessionKernel {
+    /// Current public session phase.
+    pub session_phase: SessionPhase,
+    /// Captured initialize state, if any.
+    pub initialization_seed: Option<InitializationSeed>,
+    /// Live pending requests.
+    pub pending: HashMap<RequestId, PendingRequest>,
+    /// Retry counters for pending requests.
+    pub replay_attempts: HashMap<RequestId, u8>,
+    /// Backlog of client frames waiting on worker readiness.
+    pub queued_frames: VecDeque<FramedMessage>,
+    /// Next pending sequence number.
+    pub next_pending_sequence: u64,
+}
+
+impl RestoredHostSessionKernel {
+    /// Returns an empty cold host-session state.
+    #[must_use]
+    pub fn cold() -> Self {
+        Self {
+            session_phase: SessionPhase::Cold,
+            initialization_seed: None,
+            pending: HashMap::new(),
+            replay_attempts: HashMap::new(),
+            queued_frames: VecDeque::new(),
+            next_pending_sequence: 0,
+        }
+    }
+}
+
+/// Durable public-session kernel shared by hardened MCP hosts.
+#[derive(Debug, Clone)]
+pub struct HostSessionKernel {
+    session_phase: SessionPhase,
+    initialization_seed: Option<InitializationSeed>,
+    pending: HashMap<RequestId, PendingRequest>,
+    replay_attempts: HashMap<RequestId, u8>,
+    queued_frames: VecDeque<FramedMessage>,
+    next_pending_sequence: u64,
+}
+
+impl HostSessionKernel {
+    /// Constructs a cold kernel.
+    #[must_use]
+    pub fn cold() -> Self {
+        Self::from_restored(RestoredHostSessionKernel::cold())
+    }
+
+    /// Hydrates the kernel from restored state.
+    #[must_use]
+    pub fn from_restored(restored: RestoredHostSessionKernel) -> Self {
+        Self {
+            session_phase: restored.session_phase,
+            initialization_seed: restored.initialization_seed,
+            pending: restored.pending,
+            replay_attempts: restored.replay_attempts,
+            queued_frames: restored.queued_frames,
+            next_pending_sequence: restored.next_pending_sequence,
+        }
+    }
+
+    /// Serializes the current kernel state for self-reexec.
+    #[must_use]
+    pub fn snapshot(&self) -> HostSessionKernelSnapshot {
+        let initialization_seed = self.initialization_seed.clone();
+        let pending = self
+            .pending
+            .iter()
+            .map(|(request_id, request)| PendingRequestSnapshot {
+                request_id: request_id.clone(),
+                method: request.method.clone(),
+                sequence: request.sequence,
+                frame: request.frame.payload.clone(),
+                replay_contract: request.replay_contract,
+                age_ms: duration_millis_u64(request.started_at.elapsed()),
+            })
+            .collect::<Vec<_>>();
+        let queued_frames = self
+            .queued_frames
+            .iter()
+            .map(|frame| frame.payload.clone())
+            .collect::<Vec<_>>();
+        let replay_attempts = self
+            .replay_attempts
+            .iter()
+            .map(|(request_id, attempts)| ReplayAttemptSnapshot {
+                request_id: request_id.clone(),
+                attempts: *attempts,
+            })
+            .collect::<Vec<_>>();
+        HostSessionKernelSnapshot {
+            session_phase: self.session_phase,
+            initialization_seed,
+            pending,
+            replay_attempts,
+            queued_frames,
+            next_pending_sequence: self.next_pending_sequence,
+        }
+    }
+
+    /// Returns the current public session phase.
+    #[must_use]
+    pub const fn session_phase(&self) -> SessionPhase {
+        self.session_phase
+    }
+
+    /// Returns the captured initialize seed, if any.
+    #[must_use]
+    pub fn initialization_seed(&self) -> Option<&InitializationSeed> {
+        self.initialization_seed.as_ref()
+    }
+
+    /// Returns the worker replay seed, synthesizing `initialized` if needed.
+    #[must_use]
+    pub fn replay_seed(&self) -> Option<InitializationSeed> {
+        prepare_replay_seed(self.session_phase, self.initialization_seed.as_ref())
+    }
+
+    /// Observes a client frame before it is forwarded or queued.
+    pub fn observe_client_frame(&mut self, frame: &FramedMessage) {
+        match frame.classify() {
+            RpcEnvelopeKind::Request { id, method } if method == "initialize" => {
+                let prior_initialized = self
+                    .initialization_seed
+                    .as_ref()
+                    .and_then(|seed| seed.initialized_notification.clone());
+                self.initialization_seed = Some(InitializationSeed {
+                    initialize_request: SeededInitializeRequest {
+                        id,
+                        payload: frame.payload.clone(),
+                    },
+                    initialized_notification: prior_initialized,
+                });
+            }
+            RpcEnvelopeKind::Notification { method }
+                if method == "notifications/initialized" || method == "initialized" =>
+            {
+                if let Some(seed) = self.initialization_seed.as_mut() {
+                    seed.initialized_notification = Some(frame.payload.clone());
+                }
+            }
+            RpcEnvelopeKind::Request { .. }
+            | RpcEnvelopeKind::Notification { .. }
+            | RpcEnvelopeKind::Response { .. }
+            | RpcEnvelopeKind::Unknown => {}
+        }
+    }
+
+    /// Queues a client frame while no ready worker is available.
+    pub fn queue_client_frame(
+        &mut self,
+        frame: FramedMessage,
+        queue_capacity: usize,
+    ) -> Result<(), HostRejection> {
+        if self.queued_frames.len() >= queue_capacity {
+            return Err(HostRejection::QueueOverflow);
+        }
+        self.queued_frames.push_back(frame);
+        Ok(())
+    }
+
+    /// Pops the next queued client frame in order.
+    pub fn pop_queued_frame(&mut self) -> Option<FramedMessage> {
+        self.queued_frames.pop_front()
+    }
+
+    /// Returns the number of queued client frames.
+    #[must_use]
+    pub fn queued_len(&self) -> usize {
+        self.queued_frames.len()
+    }
+
+    /// Returns whether the queue is empty.
+    #[must_use]
+    pub fn queue_is_empty(&self) -> bool {
+        self.queued_frames.is_empty()
+    }
+
+    /// Tracks a client request that has been forwarded to the worker.
+    pub fn record_forwarded_request(
+        &mut self,
+        frame: &FramedMessage,
+        replay_contract: ReplayContract,
+    ) {
+        if let RpcEnvelopeKind::Request { id, method } = frame.classify() {
+            if method == "initialize" {
+                self.session_phase = SessionPhase::Live;
+            }
+            let parsed_tool_meta = parse_tool_call_meta(frame, method.as_str());
+            let prior = self.pending.get(&id).cloned();
+            let (sequence, started_at, tool_call_meta) = if let Some(previous) = prior {
+                (
+                    previous.sequence,
+                    previous.started_at,
+                    previous.tool_call_meta.or(parsed_tool_meta),
+                )
+            } else {
+                let sequence = self.next_pending_sequence;
+                self.next_pending_sequence = self.next_pending_sequence.saturating_add(1);
+                (sequence, StdInstant::now(), parsed_tool_meta)
+            };
+            let _previous = self.pending.insert(
+                id,
+                PendingRequest {
+                    method,
+                    sequence,
+                    frame: frame.clone(),
+                    replay_contract,
+                    started_at,
+                    tool_call_meta,
+                },
+            );
+        }
+    }
+
+    /// Removes a pending request after a response arrives.
+    pub fn take_completed_request(
+        &mut self,
+        request_id: &RequestId,
+    ) -> Option<CompletedPendingRequest> {
+        let request = self.pending.remove(request_id)?;
+        let replay_attempts = self.replay_attempts.remove(request_id).unwrap_or(0);
+        Some(CompletedPendingRequest {
+            request,
+            replay_attempts,
+        })
+    }
+
+    /// Rebuilds the replay queue after worker failure.
+    pub fn requeue_pending_for_replay(&mut self, budget: ReplayBudget) -> ReplayRequeueOutcome {
+        let mut ordered_pending = self
+            .pending
+            .iter()
+            .map(|(id, request)| (id.clone(), request.clone()))
+            .collect::<Vec<_>>();
+        ordered_pending.sort_by_key(|(_, request)| request.sequence);
+        let pending_ids = self.pending.keys().cloned().collect::<HashSet<_>>();
+
+        let mut replay_frames = VecDeque::<FramedMessage>::new();
+        let mut dropped_ids = Vec::<RequestId>::new();
+        let mut rejected = Vec::<RejectedReplay>::new();
+
+        for (request_id, request) in ordered_pending {
+            if request.method == "initialize" {
+                continue;
+            }
+
+            let attempts_used = self.replay_attempts.get(&request_id).copied().unwrap_or(0);
+            let next_attempt = attempts_used.saturating_add(1);
+            if next_attempt > budget.max_attempts {
+                let _removed = self.replay_attempts.remove(&request_id);
+                dropped_ids.push(request_id.clone());
+                rejected.push(RejectedReplay {
+                    request_id,
+                    request,
+                    next_attempt,
+                    reason: HostRejection::ReplayBudgetExhausted,
+                });
+                continue;
+            }
+
+            if replay_frames.len().saturating_add(self.queued_frames.len()) >= budget.queue_capacity
+            {
+                let _removed = self.replay_attempts.remove(&request_id);
+                dropped_ids.push(request_id.clone());
+                rejected.push(RejectedReplay {
+                    request_id,
+                    request,
+                    next_attempt,
+                    reason: HostRejection::QueueOverflow,
+                });
+                continue;
+            }
+
+            let _previous = self.replay_attempts.insert(request_id, next_attempt);
+            replay_frames.push_back(request.frame.clone());
+        }
+
+        for request_id in dropped_ids {
+            let _removed = self.pending.remove(&request_id);
+        }
+
+        let mut retained_queue = VecDeque::<FramedMessage>::new();
+        while let Some(frame) = self.queued_frames.pop_front() {
+            let should_drop = match frame.classify() {
+                RpcEnvelopeKind::Request { id, .. } => pending_ids.contains(&id),
+                RpcEnvelopeKind::Notification { .. }
+                | RpcEnvelopeKind::Response { .. }
+                | RpcEnvelopeKind::Unknown => false,
+            };
+            if !should_drop {
+                retained_queue.push_back(frame);
+            }
+        }
+
+        replay_frames.append(&mut retained_queue);
+        self.queued_frames = replay_frames;
+        ReplayRequeueOutcome { rejected }
+    }
+}
+
+impl HostSessionKernelSnapshot {
+    /// Restores a live host-session state from the serialized snapshot.
+    pub fn restore(self) -> io::Result<RestoredHostSessionKernel> {
+        let now = StdInstant::now();
+        let mut pending = HashMap::with_capacity(self.pending.len());
+        for snapshot in self.pending {
+            let frame = FramedMessage::parse(snapshot.frame)?;
+            let started_at = now
+                .checked_sub(Duration::from_millis(snapshot.age_ms))
+                .unwrap_or(now);
+            let tool_call_meta = parse_tool_call_meta(&frame, snapshot.method.as_str());
+            let previous = pending.insert(
+                snapshot.request_id,
+                PendingRequest {
+                    method: snapshot.method,
+                    sequence: snapshot.sequence,
+                    frame,
+                    replay_contract: snapshot.replay_contract,
+                    started_at,
+                    tool_call_meta,
+                },
+            );
+            if previous.is_some() {
+                return Err(io::Error::new(
+                    io::ErrorKind::InvalidData,
+                    "duplicate request id in host reexec snapshot",
+                ));
+            }
+        }
+
+        let mut queued_frames = VecDeque::with_capacity(self.queued_frames.len());
+        for payload in self.queued_frames {
+            queued_frames.push_back(FramedMessage::parse(payload)?);
+        }
+
+        let replay_attempts = self
+            .replay_attempts
+            .into_iter()
+            .map(|snapshot| (snapshot.request_id, snapshot.attempts))
+            .collect::<HashMap<_, _>>();
+
+        Ok(RestoredHostSessionKernel {
+            session_phase: self.session_phase,
+            initialization_seed: self.initialization_seed,
+            pending,
+            replay_attempts,
+            queued_frames,
+            next_pending_sequence: self.next_pending_sequence,
+        })
+    }
+}
+
+/// Returns the synthesized initialized notification used when only the request seed survived.
+#[must_use]
+pub fn synthesized_initialized_notification() -> Vec<u8> {
+    br#"{"jsonrpc":"2.0","method":"notifications/initialized","params":{}}"#.to_vec()
+}
+
+/// Prepares a replay seed based on the current session phase.
+#[must_use]
+pub fn prepare_replay_seed(
+    session_phase: SessionPhase,
+    initialization_seed: Option<&InitializationSeed>,
+) -> Option<InitializationSeed> {
+    match session_phase {
+        SessionPhase::Cold => None,
+        SessionPhase::Live => initialization_seed.cloned().map(|mut seed| {
+            if seed.initialized_notification.is_none() {
+                seed.initialized_notification = Some(synthesized_initialized_notification());
+            }
+            seed
+        }),
+    }
+}
+
+/// Computes a temporary snapshot path for host self-reexec state.
+#[must_use]
+pub fn snapshot_temp_path(prefix: &str) -> PathBuf {
+    let stamp = match SystemTime::now().duration_since(UNIX_EPOCH) {
+        Ok(duration) => duration.as_millis(),
+        Err(_) => 0,
+    };
+    std::env::temp_dir().join(format!("{prefix}-{}-{stamp}.json", std::process::id()))
+}
+
+/// Serializes a snapshot to a temporary file for a later exec handoff.
+pub fn write_snapshot_file<T>(prefix: &str, snapshot: &T) -> io::Result<PathBuf>
+where
+    T: Serialize,
+{
+    let serialized = serde_json::to_vec(snapshot).map_err(|error| {
+        io::Error::new(
+            io::ErrorKind::InvalidData,
+            format!("failed to serialize host reexec snapshot: {error}"),
+        )
+    })?;
+    let path = snapshot_temp_path(prefix);
+    fs::write(&path, serialized)?;
+    Ok(path)
+}
+
+/// Loads and deletes a snapshot file referenced by an environment variable.
+pub fn load_snapshot_file_from_env<T>(env_var: &str) -> io::Result<Option<T>>
+where
+    T: DeserializeOwned,
+{
+    let raw_path = std::env::var_os(env_var);
+    let Some(raw_path) = raw_path.filter(|value| !value.is_empty()) else {
+        return Ok(None);
+    };
+    let path = PathBuf::from(raw_path);
+    let serialized = fs::read(&path)?;
+    match fs::remove_file(&path) {
+        Ok(()) => {}
+        Err(error) if error.kind() == io::ErrorKind::NotFound => {}
+        Err(error) => return Err(error),
+    }
+    serde_json::from_slice(&serialized)
+        .map(Some)
+        .map_err(|error| {
+            io::Error::new(
+                io::ErrorKind::InvalidData,
+                format!("failed to decode host reexec snapshot: {error}"),
+            )
+        })
+}
+
+/// Best-effort cleanup for a temporary snapshot file.
+pub fn remove_snapshot_file(path: &Path) -> io::Result<()> {
+    match fs::remove_file(path) {
+        Ok(()) => Ok(()),
+        Err(error) if error.kind() == io::ErrorKind::NotFound => Ok(()),
+        Err(error) => Err(error),
+    }
+}
+
+fn duration_millis_u64(duration: Duration) -> u64 {
+    u64::try_from(duration.as_millis()).unwrap_or(u64::MAX)
+}
+
+#[cfg(test)]
+mod tests {
+    use super::{
+        FramedMessage, HostRejection, HostSessionKernel, HostSessionKernelSnapshot,
+        InitializationSeed, ReplayBudget, RequestId, SeededInitializeRequest, SessionPhase,
+        prepare_replay_seed, synthesized_initialized_notification,
+    };
+    use serde_json::json;
+
+    #[test]
+    fn prepare_replay_seed_synthesizes_initialized_notification_when_missing() {
+        let seed = InitializationSeed {
+            initialize_request: SeededInitializeRequest {
+                id: RequestId::Number("1".to_owned()),
+                payload: br#"{"jsonrpc":"2.0","id":1,"method":"initialize","params":{}}"#.to_vec(),
+            },
+            initialized_notification: None,
+        };
+
+        let prepared = prepare_replay_seed(SessionPhase::Live, Some(&seed));
+        assert!(prepared.is_some(), "expected live session replay seed");
+        let prepared = match prepared {
+            Some(value) => value,
+            None => return,
+        };
+        assert_eq!(
+            prepared.initialized_notification,
+            Some(synthesized_initialized_notification())
+        );
+    }
+
+    #[test]
+    fn host_session_kernel_snapshot_roundtrip_restores_pending_and_queue() {
+        let pending_payload = serde_json::to_vec(&json!({
+            "jsonrpc": "2.0",
+            "id": 7,
+            "method": "tools/call",
+            "params": {
+                "name": "diagnostics",
+                "arguments": {
+                    "file_path": "/tmp/lib.rs"
+                }
+            }
+        }));
+        assert!(pending_payload.is_ok());
+        let pending_payload = match pending_payload {
+            Ok(value) => value,
+            Err(_) => return,
+        };
+
+        let queued_payload = serde_json::to_vec(&json!({
+            "jsonrpc": "2.0",
+            "id": 8,
+            "method": "tools/call",
+            "params": {
+                "name": "health_snapshot",
+                "arguments": {}
+            }
+        }));
+        assert!(queued_payload.is_ok());
+        let queued_payload = match queued_payload {
+            Ok(value) => value,
+            Err(_) => return,
+        };
+
+        let snapshot = HostSessionKernelSnapshot {
+            session_phase: SessionPhase::Live,
+            initialization_seed: Some(InitializationSeed {
+                initialize_request: SeededInitializeRequest {
+                    id: RequestId::Number("1".to_owned()),
+                    payload: br#"{"jsonrpc":"2.0","id":1,"method":"initialize","params":{}}"#
+                        .to_vec(),
+                },
+                initialized_notification: None,
+            }),
+            pending: vec![super::PendingRequestSnapshot {
+                request_id: RequestId::Number("7".to_owned()),
+                method: "tools/call".to_owned(),
+                sequence: 3,
+                frame: pending_payload,
+                replay_contract: crate::ReplayContract::Convergent,
+                age_ms: 25,
+            }],
+            replay_attempts: vec![super::ReplayAttemptSnapshot {
+                request_id: RequestId::Number("7".to_owned()),
+                attempts: 2,
+            }],
+            queued_frames: vec![queued_payload],
+            next_pending_sequence: 9,
+        };
+
+        let restored = snapshot.restore();
+        assert!(
+            restored.is_ok(),
+            "expected restore to succeed: {restored:?}"
+        );
+        let restored = match restored {
+            Ok(value) => value,
+            Err(_) => return,
+        };
+
+        assert_eq!(restored.session_phase, SessionPhase::Live);
+        assert_eq!(restored.next_pending_sequence, 9);
+        assert_eq!(restored.pending.len(), 1);
+        assert_eq!(restored.queued_frames.len(), 1);
+        assert_eq!(
+            restored
+                .replay_attempts
+                .get(&RequestId::Number("7".to_owned()))
+                .copied(),
+            Some(2)
+        );
+        let pending = restored.pending.get(&RequestId::Number("7".to_owned()));
+        assert!(pending.is_some(), "expected pending request to round-trip");
+        let pending = match pending {
+            Some(value) => value,
+            None => return,
+        };
+        assert_eq!(pending.sequence, 3);
+        assert_eq!(pending.method, "tools/call");
+        assert_eq!(pending.replay_contract, crate::ReplayContract::Convergent);
+        assert!(
+            pending.tool_call_meta.is_some(),
+            "expected tool metadata to be reconstructed from replay snapshot"
+        );
+    }
+
+    #[test]
+    fn replay_requeue_drops_requests_that_exhaust_budget() {
+        let initialize = FramedMessage::parse(
+            br#"{"jsonrpc":"2.0","id":1,"method":"initialize","params":{}}"#.to_vec(),
+        );
+        assert!(initialize.is_ok());
+        let initialize = match initialize {
+            Ok(value) => value,
+            Err(_) => return,
+        };
+        let diagnostics = FramedMessage::parse(
+            br#"{"jsonrpc":"2.0","id":2,"method":"tools/call","params":{"name":"diagnostics","arguments":{"file_path":"/tmp/lib.rs"}}}"#.to_vec(),
+        );
+        assert!(diagnostics.is_ok());
+        let diagnostics = match diagnostics {
+            Ok(value) => value,
+            Err(_) => return,
+        };
+
+        let mut kernel = HostSessionKernel::cold();
+        kernel.observe_client_frame(&initialize);
+        kernel.record_forwarded_request(&initialize, crate::ReplayContract::Convergent);
+        kernel.record_forwarded_request(&diagnostics, crate::ReplayContract::Convergent);
+        let _previous = kernel
+            .replay_attempts
+            .insert(RequestId::Number("2".to_owned()), 1);
+
+        let outcome = kernel.requeue_pending_for_replay(ReplayBudget {
+            max_attempts: 1,
+            queue_capacity: 8,
+        });
+        assert_eq!(outcome.rejected.len(), 1);
+        assert_eq!(
+            outcome.rejected[0].reason,
+            HostRejection::ReplayBudgetExhausted
+        );
+        assert!(kernel.queue_is_empty());
+    }
+}
diff --git a/crates/libmcp/src/jsonrpc.rs b/crates/libmcp/src/jsonrpc.rs
index a54b243..bb23cf6 100644
--- a/crates/libmcp/src/jsonrpc.rs
+++ b/crates/libmcp/src/jsonrpc.rs
@@ -1,6 +1,7 @@
 //! Lightweight JSON-RPC frame helpers.
 
 use crate::normalize::normalize_ascii_token;
+use schemars::JsonSchema;
 use serde::{Deserialize, Serialize};
 use serde_json::Value;
 use std::io;
@@ -8,7 +9,7 @@ use tokio::io::{AsyncBufReadExt, AsyncRead, AsyncWrite, AsyncWriteExt, BufReader
 use url::Url;
 
 /// JSON-RPC request identifier.
-#[derive(Debug, Clone, PartialEq, Eq, Hash, Serialize, Deserialize)]
+#[derive(Debug, Clone, PartialEq, Eq, Hash, Serialize, Deserialize, JsonSchema)]
 pub enum RequestId {
     /// Numeric identifier preserved as text for round-trip stability.
     Number(String),
diff --git a/crates/libmcp/src/lib.rs b/crates/libmcp/src/lib.rs
index b352d09..e769125 100644
--- a/crates/libmcp/src/lib.rs
+++ b/crates/libmcp/src/lib.rs
@@ -2,6 +2,7 @@
 
 pub mod fault;
 pub mod health;
+pub mod host;
 pub mod jsonrpc;
 pub mod normalize;
 pub mod render;
@@ -14,6 +15,13 @@ pub use health::{
     HealthSnapshot, LifecycleState, MethodTelemetry, RolloutState, TelemetrySnapshot,
     TelemetryTotals,
 };
+pub use host::{
+    CompletedPendingRequest, HostRejection, HostSessionKernel, HostSessionKernelSnapshot,
+    InitializationSeed, PendingRequest, RejectedReplay, ReplayBudget, ReplayRequeueOutcome,
+    RestoredHostSessionKernel, SeededInitializeRequest, SessionPhase, load_snapshot_file_from_env,
+    prepare_replay_seed, remove_snapshot_file, snapshot_temp_path,
+    synthesized_initialized_notification, write_snapshot_file,
+};
 pub use jsonrpc::{
     FrameReadOutcome, FramedMessage, RequestId, RpcEnvelopeKind, ToolCallMeta,
     parse_tool_call_meta, read_frame, write_frame,
@@ -22,7 +30,10 @@ pub use normalize::{
     NumericParseError, PathNormalizeError, normalize_ascii_token, normalize_local_path,
     parse_human_unsigned_u64, saturating_u64_to_usize,
 };
-pub use render::{PathStyle, RenderConfig, RenderMode, TruncatedText, collapse_inline_whitespace};
+pub use render::{
+    JsonPorcelainConfig, PathStyle, RenderConfig, RenderMode, TruncatedText,
+    collapse_inline_whitespace, render_json_porcelain,
+};
 pub use replay::ReplayContract;
 pub use telemetry::{TelemetryLog, ToolErrorDetail, ToolOutcome};
 pub use types::{Generation, InvariantViolation};
diff --git a/crates/libmcp/src/render.rs b/crates/libmcp/src/render.rs
index cbf2ae6..dd884b4 100644
--- a/crates/libmcp/src/render.rs
+++ b/crates/libmcp/src/render.rs
@@ -2,6 +2,7 @@
 
 use schemars::JsonSchema;
 use serde::{Deserialize, Serialize};
+use serde_json::Value;
 use std::path::Path;
 
 /// Output render mode.
@@ -110,9 +111,124 @@ pub fn render_path(path: &Path, style: PathStyle, workspace_root: Option<&Path>)
     }
 }
 
+/// Generic JSON-to-porcelain rendering configuration.
+#[derive(Debug, Clone, Copy, PartialEq, Eq)]
+pub struct JsonPorcelainConfig {
+    /// Maximum output lines.
+    pub max_lines: usize,
+    /// Maximum inline characters for one preview fragment.
+    pub max_inline_chars: usize,
+}
+
+impl Default for JsonPorcelainConfig {
+    fn default() -> Self {
+        Self {
+            max_lines: 24,
+            max_inline_chars: 120,
+        }
+    }
+}
+
+/// Renders arbitrary JSON into bounded, deterministic porcelain text.
+#[must_use]
+pub fn render_json_porcelain(value: &Value, config: JsonPorcelainConfig) -> String {
+    let mut lines = Vec::<String>::new();
+    render_top_level(value, config, &mut lines);
+    if lines.is_empty() {
+        return String::new();
+    }
+    if lines.len() > config.max_lines {
+        lines.truncate(config.max_lines);
+        let truncated_note = format!("... truncated to {} lines", config.max_lines);
+        if let Some(last) = lines.last_mut() {
+            *last = truncated_note;
+        }
+    }
+    lines.join("\n")
+}
+
+fn render_top_level(value: &Value, config: JsonPorcelainConfig, lines: &mut Vec<String>) {
+    match value {
+        Value::Object(object) => {
+            if object.is_empty() {
+                lines.push("empty object".to_owned());
+                return;
+            }
+            let mut keys = object.keys().map(String::as_str).collect::<Vec<_>>();
+            keys.sort_unstable();
+            for key in keys {
+                let preview = inline_preview(&object[key], config);
+                lines.push(format!("{key}: {preview}"));
+            }
+        }
+        Value::Array(items) => {
+            lines.push(format!("{} item(s)", items.len()));
+            for (index, item) in items.iter().enumerate() {
+                let preview = inline_preview(item, config);
+                lines.push(format!("[{}] {preview}", index + 1));
+            }
+        }
+        Value::Null | Value::Bool(_) | Value::Number(_) | Value::String(_) => {
+            lines.push(inline_preview(value, config));
+        }
+    }
+}
+
+fn inline_preview(value: &Value, config: JsonPorcelainConfig) -> String {
+    let raw = match value {
+        Value::Null => "null".to_owned(),
+        Value::Bool(flag) => flag.to_string(),
+        Value::Number(number) => number.to_string(),
+        Value::String(text) => quote_string(text),
+        Value::Array(items) => preview_array(items, config),
+        Value::Object(object) => preview_object(object, config),
+    };
+    truncate_chars(raw.as_str(), Some(config.max_inline_chars)).text
+}
+
+fn preview_array(items: &[Value], config: JsonPorcelainConfig) -> String {
+    if items.is_empty() {
+        return "[]".to_owned();
+    }
+    let mut parts = items
+        .iter()
+        .take(3)
+        .map(|item| inline_preview(item, config))
+        .collect::<Vec<_>>();
+    if items.len() > 3 {
+        parts.push(format!("+{} more", items.len() - 3));
+    }
+    format!("[{}]", parts.join(", "))
+}
+
+fn preview_object(object: &serde_json::Map<String, Value>, config: JsonPorcelainConfig) -> String {
+    if object.is_empty() {
+        return "{}".to_owned();
+    }
+    let mut keys = object.keys().map(String::as_str).collect::<Vec<_>>();
+    keys.sort_unstable();
+    let mut parts = keys
+        .into_iter()
+        .take(4)
+        .map(|key| format!("{key}={}", inline_preview(&object[key], config)))
+        .collect::<Vec<_>>();
+    if object.len() > 4 {
+        parts.push(format!("+{} more", object.len() - 4));
+    }
+    format!("{{{}}}", parts.join(", "))
+}
+
+fn quote_string(text: &str) -> String {
+    format!("\"{}\"", collapse_inline_whitespace(text))
+}
+
 #[cfg(test)]
 mod tests {
-    use super::{PathStyle, RenderConfig, RenderMode, collapse_inline_whitespace, render_path};
+    use super::{
+        JsonPorcelainConfig, PathStyle, RenderConfig, RenderMode, collapse_inline_whitespace,
+        render_json_porcelain, render_path,
+    };
+    use serde_json::json;
     use std::path::Path;
 
     #[test]
@@ -135,4 +251,27 @@ mod tests {
             "src/lib.rs"
         );
     }
+
+    #[test]
+    fn renders_objects_and_arrays_to_bounded_porcelain() {
+        let object = json!({
+            "beta": {"nested": true, "count": 2},
+            "alpha": "hello   world",
+        });
+        let rendered = render_json_porcelain(&object, JsonPorcelainConfig::default());
+        assert_eq!(
+            rendered,
+            "alpha: \"hello world\"\nbeta: {count=2, nested=true}"
+        );
+
+        let array = json!([
+            {"id": 1, "title": "first"},
+            {"id": 2, "title": "second"},
+        ]);
+        let rendered = render_json_porcelain(&array, JsonPorcelainConfig::default());
+        assert_eq!(
+            rendered,
+            "2 item(s)\n[1] {id=1, title=\"first\"}\n[2] {id=2, title=\"second\"}"
+        );
+    }
 }
diff --git a/docs/spec.md b/docs/spec.md
index e31d073..f8a72d4 100644
--- a/docs/spec.md
+++ b/docs/spec.md
@@ -2,7 +2,8 @@
 
 ## Status
 
-This document is the normative specification for `libmcp` `1.0.0`.
+This document is the normative specification for `libmcp`
+`1.1.0`.
 
 `libmcp` is the reusable operational spine for hardened MCP servers. It is not
 an application framework, a domain schema repository, or a mandate that every
@@ -29,6 +30,8 @@ This library exists to make that posture reusable and versioned.
 - replay contract vocabulary
 - typed fault taxonomy
 - request identity and JSON-RPC frame helpers
+- durable public-session kernel primitives
+- host self-reexec snapshot file handoff
 - health and telemetry base schemas
 - JSONL telemetry support
 - model UX doctrine primitives
@@ -44,6 +47,24 @@ This library exists to make that posture reusable and versioned.
 - a mandatory public transport shape
 - an obligation that every tool batch or support preview modes
 
+## Durable Host Session Kernel
+
+The library owns a reusable public-session kernel for hardened hosts.
+
+That kernel must support:
+
+- initialize and initialized seed capture
+- pending public request journaling
+- replay-attempt accounting
+- queued-frame surgery after worker failure
+- serialized snapshot and restore for host self-reexec
+
+This kernel is transport-adjacent, not transport-prescriptive.
+
+- It is shared across public MCP hosts.
+- It does not force one worker bridge shape.
+- Consumers may still keep worker transport logic local.
+
 ## Supported Topologies
 
 The library must support both of these shapes:
@@ -157,6 +178,8 @@ The library should therefore provide reusable primitives for:
 - stable note emission
 - path rendering
 - common porcelain patterns
+- generic JSON-to-porcelain projection for consumers that have not yet earned
+  bespoke renderers
 
 `libmcp` does not require a universal detail taxonomy like
 `summary|compact|full`. Consumers may add extra detail controls when their tool
@@ -218,7 +241,16 @@ The `1.0.0` contract means:
 - the model UX doctrine is embodied in helpers and tests, not just prose
 - the core contracts are stable enough to be depended on directly
 
-`fidget_spinner` is explicitly out of scope for `1.0.0`.
+`libmcp` `1.1.0` adds:
+
+- reusable host-session kernel extraction from `adequate_rust_mcp`
+- generic snapshot-file handoff for host self-reexec
+- generic JSON-to-porcelain rendering support
+- first retrofit of `fidget_spinner` onto the shared kernel and render doctrine
+
+`1.1.0` does not claim the final runtime-adapter release.
+The deeper client/server infra lift and any runtime adapter crates remain
+future work.
 
 ## Immediate Implementation Sequence