riffer-rig 0.7.0 → 0.9.0

data/sig/generated/riffer/rig/loader.rbs

@@ -4,11 +4,23 @@ class Riffer::Rig::Loader
   class ConfigurationError < StandardError
   end
 
-  PROVIDER_LIST: String
+  # Raised by a strict load: the reload abandons instead of continuing.
+  class AbandonedError < StandardError
+  end
+
+  EXTENSION_FEATURE: String
+
+  @file_state: Hash[String, Time?]?
+
+  @gem_extensions: Array[Riffer::Rig::Extension]
+
+  @extensions_enabled: bool
+
+  @stripped: Array[Symbol]
 
-  ONBOARDING_QUESTION: String
+  @tracked_files: Array[String]
 
-  NO_MODEL: String
+  @store: Riffer::Rig::Stores::_Store | nil
 
   @riffer_config: Riffer::Config
 
@@ -20,6 +32,9 @@ class Riffer::Rig::Loader
 
   @cwd: String
 
+  # @dynamic tracked_files
+  attr_reader tracked_files: Array[String]
+
   # @rbs cwd: String
   # @rbs host: Riffer::Rig::Hosts::_Host
   # @rbs env: Riffer::Rig::Env | Riffer::Rig::Env::Invalid
@@ -31,16 +46,18 @@ class Riffer::Rig::Loader
   # @rbs agents_md: bool
   # @rbs tools: Array[String]?
   # @rbs max_steps: Integer?
+  # @rbs store: Riffer::Rig::Stores::_Store | nil
   # @rbs return: Riffer::Rig::Runtime
-  def self.runtime: (cwd: String, host: Riffer::Rig::Hosts::_Host, ?env: Riffer::Rig::Env | Riffer::Rig::Env::Invalid, ?home: String, ?riffer_config: Riffer::Config, ?model: String?, ?extensions: bool, ?skills: bool, ?agents_md: bool, ?tools: Array[String]?, ?max_steps: Integer?) -> Riffer::Rig::Runtime
+  def self.runtime: (cwd: String, host: Riffer::Rig::Hosts::_Host, ?env: Riffer::Rig::Env | Riffer::Rig::Env::Invalid, ?home: String, ?riffer_config: Riffer::Config, ?model: String?, ?extensions: bool, ?skills: bool, ?agents_md: bool, ?tools: Array[String]?, ?max_steps: Integer?, ?store: Riffer::Rig::Stores::_Store | nil) -> Riffer::Rig::Runtime
 
   # @rbs cwd: String
   # @rbs host: Riffer::Rig::Hosts::_Host
   # @rbs env: Riffer::Rig::Env | Riffer::Rig::Env::Invalid
   # @rbs home: String
   # @rbs riffer_config: Riffer::Config
+  # @rbs store: Riffer::Rig::Stores::_Store | nil
   # @rbs return: void
-  def initialize: (cwd: String, host: Riffer::Rig::Hosts::_Host, ?env: Riffer::Rig::Env | Riffer::Rig::Env::Invalid, ?home: String, ?riffer_config: Riffer::Config) -> void
+  def initialize: (cwd: String, host: Riffer::Rig::Hosts::_Host, ?store: Riffer::Rig::Stores::_Store | nil, ?env: Riffer::Rig::Env | Riffer::Rig::Env::Invalid, ?home: String, ?riffer_config: Riffer::Config) -> void
 
   # @rbs model: String?
   # @rbs extensions: bool
@@ -51,8 +68,109 @@ class Riffer::Rig::Loader
   # @rbs return: Riffer::Rig::Runtime
   def runtime: (?model: String?, ?extensions: bool, ?skills: bool, ?agents_md: bool, ?tools: Array[String]?, ?max_steps: Integer?) -> Riffer::Rig::Runtime
 
+  # Without force, a no-op while the tracked file set and the two rig.rb paths
+  # look as the last discovery left them — the entry point the automatic
+  # trigger (#133) calls. The snapshot advances on every attempt, failed ones
+  # included, so a failure does not retry every request. Failures are notified
+  # once and reported as the message, the way Settings.rejection reports a
+  # rejection; the Runtime is the success value.
+  # @rbs runtime: Riffer::Rig::Runtime
+  # @rbs force: bool
+  # @rbs return: (Riffer::Rig::Runtime | String)
+  def reload: (Riffer::Rig::Runtime runtime, ?force: bool) -> (Riffer::Rig::Runtime | String)
+
   private
 
+  # @rbs return: Hash[Symbol, untyped]
+  def merged_settings: () -> Hash[Symbol, untyped]
+
+  # Notifies every failure once and reports its message; a rebuilt Runtime is
+  # the success value.
+  # @rbs runtime: Riffer::Rig::Runtime
+  # @rbs return: (Riffer::Rig::Runtime | String)
+  def perform_reload: (Riffer::Rig::Runtime runtime) -> (Riffer::Rig::Runtime | String)
+
+  # @rbs message: String
+  # @rbs return: String
+  def notify_failure: (String message) -> String
+
+  # @rbs document: Riffer::Rig::Settings::Document
+  # @rbs settings: Hash[Symbol, untyped]
+  # @rbs return: Array[Riffer::Rig::Extension]
+  def reload_extensions: (Riffer::Rig::Settings::Document document, Hash[Symbol, untyped] settings) -> Array[Riffer::Rig::Extension]
+
+  # @rbs return: Array[Riffer::Rig::Extension]
+  def rig_recordings: () -> Array[Riffer::Rig::Extension]
+
+  # @rbs path: String
+  # @rbs confirm_trust: bool
+  # @rbs return: Array[Riffer::Rig::Extension]
+  def load_rig_file: (String path, confirm_trust: bool) -> Array[Riffer::Rig::Extension]
+
+  # @rbs return: void
+  def scrub_tracked_features: () -> void
+
+  # Runs each extension against a throwaway registrar so that a failing block
+  # is skipped and reported instead of aborting the rebuild.
+  # @rbs extensions: Array[Riffer::Rig::Extension]
+  # @rbs settings: Hash[Symbol, untyped]
+  # @rbs return: Array[Riffer::Rig::Extension]
+  def validated: (Array[Riffer::Rig::Extension] extensions, Hash[Symbol, untyped] settings) -> Array[Riffer::Rig::Extension]
+
+  # @rbs runtime: Riffer::Rig::Runtime
+  # @rbs return: String?
+  def reload_credentials: (Riffer::Rig::Runtime runtime) -> String?
+
+  # @rbs return: Hash[String, Time?]
+  def file_state: () -> Hash[String, Time?]
+
+  # @rbs return: Array[String]
+  def rig_paths: () -> Array[String]
+
+  # @rbs path: String
+  # @rbs return: Time?
+  def stamp: (String path) -> Time?
+
+  # @rbs return: String
+  def home_rig_path: () -> String
+
+  # @rbs return: String
+  def project_rig_path: () -> String
+
+  # @rbs autoload: bool
+  # @rbs return: Array[Riffer::Rig::Extension]
+  def load_rig_files: (bool autoload) -> Array[Riffer::Rig::Extension]
+
+  # @rbs autoload: bool
+  # @rbs return: Array[String]
+  def gem_extension_files: (bool autoload) -> Array[String]
+
+  # @rbs path: String
+  # @rbs return: bool
+  def trusted?: (String path) -> bool
+
+  # @rbs return: String
+  def trust_path: () -> String
+
+  # Loads one file and returns the extensions it recorded. A tracked load adds
+  # the features the load added to the tracked file set. A failure is reported
+  # to the host and yields nothing, unless strict: then it propagates as
+  # AbandonedError for the reload to abandon on.
+  # @rbs path: String
+  # @rbs track: bool
+  # @rbs strict: bool
+  # @rbs return: Array[Riffer::Rig::Extension]
+  def load_file: (String path, track: bool, ?strict: bool) -> Array[Riffer::Rig::Extension]
+
+  # @rbs before_features: Array[String]
+  # @rbs path: String
+  # @rbs return: void
+  def track_loaded: (Array[String] before_features, String path) -> void
+
+  # @rbs feature: String
+  # @rbs return: bool
+  def local?: (String feature) -> bool
+
   # @rbs configured: String?
   # @rbs return: String
   def select_model: (String? configured) -> String
@@ -60,6 +178,19 @@ class Riffer::Rig::Loader
   # @rbs return: String
   def ask_for_model: () -> String
 
+  # @rbs return: String
+  def onboarding_question: () -> String
+
+  # @rbs return: String
+  def no_model: () -> String
+
+  # @rbs return: String
+  def provider_list: () -> String
+
+  # @rbs provider: String
+  # @rbs return: void
+  def ensure_sdk: (String provider) -> void
+
   # @rbs provider: String
   # @rbs return: Hash[Symbol, String]
   def credentials_for: (String provider) -> Hash[Symbol, String]
@@ -74,4 +205,10 @@ class Riffer::Rig::Loader
 
   # @rbs return: String
   def home_settings_path: () -> String
+
+  # The store records unless it was declined with store: nil or globally with
+  # "sessions": {"save": false}.
+  # @rbs document: Riffer::Rig::Settings::Document
+  # @rbs return: Riffer::Rig::Stores::Recorder?
+  def recorder_for: (Riffer::Rig::Settings::Document document) -> Riffer::Rig::Stores::Recorder?
 end

data/sig/generated/riffer/rig/provider_setup.rbs

@@ -1,25 +1,36 @@
 # Generated from lib/riffer/rig/provider_setup.rb with RBS::Inline
 
 class Riffer::Rig::ProviderSetup
-  # @dynamic url, chain, fields
+  # @dynamic url, chain, sdk, fields
   attr_reader url: String?
 
   attr_reader chain: bool
 
+  attr_reader sdk: [ String, String ]?
+
   attr_reader fields: Array[Riffer::Rig::ProviderSetup::Field]
 
   # @rbs fields: Array[Riffer::Rig::ProviderSetup::Field]
   # @rbs url: String?
   # @rbs chain: bool
+  # @rbs sdk: [String, String]?
   # @rbs return: void
-  def initialize: (fields: Array[Riffer::Rig::ProviderSetup::Field], ?url: String?, ?chain: bool) -> void
+  def initialize: (fields: Array[Riffer::Rig::ProviderSetup::Field], ?url: String?, ?chain: bool, ?sdk: [ String, String ]?) -> void
 
   AWS_SHARED_CONFIG_REGION: ^() -> String?
 
-  # Upstream candidate: each riffer provider could declare its own credential
-  # fields, and this table would go.
+  # Upstream candidate: riffer's providers could declare their own SDK gem and
+  # credential fields, and this table would go.
   TABLE: Hash[Symbol, Riffer::Rig::ProviderSetup]
 
+  # @rbs missing: Array[Symbol]
+  # @rbs return: String
+  def missing_fields: (Array[Symbol] missing) -> String
+
+  # @rbs hash: Hash[Symbol, untyped]
+  # @rbs return: Riffer::Rig::ProviderSetup
+  def self.from: (Hash[Symbol, untyped] hash) -> Riffer::Rig::ProviderSetup
+
   # @rbs identifier: String | Symbol
   # @rbs return: Riffer::Rig::ProviderSetup?
   def self.[]: (String | Symbol identifier) -> Riffer::Rig::ProviderSetup?

data/sig/generated/riffer/rig/providers.rbs

@@ -0,0 +1,28 @@
+# Generated from lib/riffer/rig/providers.rb with RBS::Inline
+
+module Riffer::Rig::Providers
+  @setups: Hash[Symbol, Riffer::Rig::ProviderSetup?]
+
+  # @rbs identifier: String | Symbol
+  # @rbs setup: Riffer::Rig::ProviderSetup | Hash[Symbol, untyped]?
+  # @rbs &block: () -> singleton(::Riffer::Providers::Base)
+  # @rbs return: void
+  def register: (String | Symbol identifier, ?setup: Riffer::Rig::ProviderSetup | Hash[Symbol, untyped]?) { () -> singleton(::Riffer::Providers::Base) } -> void
+
+  # @rbs identifier: String | Symbol
+  # @rbs return: void
+  def unregister: (String | Symbol identifier) -> void
+
+  # @rbs identifier: String | Symbol
+  # @rbs return: Riffer::Rig::ProviderSetup?
+  def setup: (String | Symbol identifier) -> Riffer::Rig::ProviderSetup?
+
+  # @rbs return: Array[Symbol]
+  def identifiers: () -> Array[Symbol]
+
+  private
+
+  # @rbs setup: Riffer::Rig::ProviderSetup | Hash[Symbol, untyped]
+  # @rbs return: Riffer::Rig::ProviderSetup
+  def normalize: (Riffer::Rig::ProviderSetup | Hash[Symbol, untyped] setup) -> Riffer::Rig::ProviderSetup
+end

data/sig/generated/riffer/rig/registrar.rbs

@@ -65,6 +65,12 @@ class Riffer::Rig::Registrar
   # @rbs return: void
   def mcp: (String name, url: String, ?headers: Hash[String, String]) -> void
 
+  # @rbs prefix: String | Symbol
+  # @rbs setup: Riffer::Rig::ProviderSetup | Hash[Symbol, untyped]?
+  # @rbs &block: () -> singleton(::Riffer::Providers::Base)
+  # @rbs return: void
+  def provider: (String | Symbol prefix, ?setup: Riffer::Rig::ProviderSetup | Hash[Symbol, untyped]?) { () -> singleton(::Riffer::Providers::Base) } -> void
+
   # @rbs event: Symbol
   # @rbs &block: (Riffer::Rig::Events::_Event | ::Riffer::StreamEvents::Base) -> untyped
   # @rbs return: void

data/sig/generated/riffer/rig/runtime.rbs

@@ -19,6 +19,17 @@ class Riffer::Rig::Runtime
 
   INTERRUPT_CANCELLED: Symbol
 
+  # Upstream candidate: riffer's Anthropic, OpenAI and Azure OpenAI classes read
+  # the web_search option and OpenRouter passes unknown options through to its
+  # API, but the provider seam cannot yet answer which provider takes which
+  # option, so rig keeps the mapping until it can. Mock consumes web_search, so
+  # tests and embedders can exercise the switches.
+  NATIVE_TOOLS_BY_PROVIDER: Hash[Symbol, Hash[Symbol, bool]]
+
+  @message_observers: Array[^(Riffer::Messages::Base) -> void]
+
+  @model_override: String?
+
   @session_start_reason: Symbol
 
   @session_start_pending: bool
@@ -43,14 +54,18 @@ class Riffer::Rig::Runtime
 
   @agent: Riffer::Agent
 
-  @model_override: String?
-
-  @message_observers: Array[^(Riffer::Messages::Base) -> void]
+  @model_observers: Array[^(String) -> void]
 
   @prompts: Hash[Symbol, ^(Riffer::Rig::Runtime) -> String?]
 
   @commands: Hash[String, Riffer::Rig::Command]
 
+  @core_commands: Array[Riffer::Rig::Command]
+
+  @claim_depth: Integer
+
+  @claim_thread: Thread?
+
   @declared_settings: Hash[String, Hash[Symbol, untyped]]
 
   @errors: Array[Riffer::Rig::Extension::Failure]
@@ -65,6 +80,8 @@ class Riffer::Rig::Runtime
 
   @model_options: Hash[Symbol, untyped]
 
+  @native_tools: Hash[Symbol, untyped]
+
   # @dynamic agent, credentials, cwd, host, id, settings, declared_settings
   attr_reader agent: Riffer::Agent
 
@@ -94,9 +111,10 @@ class Riffer::Rig::Runtime
   # @rbs mcp_registry: Riffer::Rig::Mcp::_Registry
   # @rbs max_steps: Integer?
   # @rbs model_options: Hash[Symbol, untyped]
+  # @rbs native_tools: Hash[Symbol, untyped]
   # @rbs snapshot: Hash[Symbol, untyped]?
   # @rbs return: void
-  def initialize: (String model, ?extensions: Array[Riffer::Rig::Extension], ?tools: Array[String]?, ?settings: Hash[Symbol, untyped], ?host: Riffer::Rig::Hosts::_Host, ?cwd: String?, ?name: String, ?instructions: String?, ?credentials: Hash[Symbol, Hash[Symbol, String]], ?pricing: Hash[String, Riffer::Rig::Settings::Pricing], ?riffer_config: Riffer::Config, ?mcp_registry: Riffer::Rig::Mcp::_Registry, ?max_steps: Integer?, ?model_options: Hash[Symbol, untyped], ?snapshot: Hash[Symbol, untyped]?) -> void
+  def initialize: (String model, ?extensions: Array[Riffer::Rig::Extension], ?tools: Array[String]?, ?settings: Hash[Symbol, untyped], ?host: Riffer::Rig::Hosts::_Host, ?cwd: String?, ?name: String, ?instructions: String?, ?credentials: Hash[Symbol, Hash[Symbol, String]], ?pricing: Hash[String, Riffer::Rig::Settings::Pricing], ?riffer_config: Riffer::Config, ?mcp_registry: Riffer::Rig::Mcp::_Registry, ?max_steps: Integer?, ?model_options: Hash[Symbol, untyped], ?native_tools: Hash[Symbol, untyped], ?snapshot: Hash[Symbol, untyped]?) -> void
 
   # @rbs text: String
   # @rbs &block: ?(::Riffer::StreamEvents::Base | Riffer::Rig::Events::_Event) -> void
@@ -110,6 +128,12 @@ class Riffer::Rig::Runtime
   # @rbs return: Array[Riffer::Rig::Command]
   def commands: () -> Array[Riffer::Rig::Command]
 
+  # Installs a host-of-the-runtime command (the Loader's /reload) so it
+  # survives every rebuild; an extension command of the same name replaces it.
+  # @rbs command: Riffer::Rig::Command
+  # @rbs return: nil
+  def install_command: (Riffer::Rig::Command command) -> nil
+
   # @rbs name: String
   # @rbs args: String
   # @rbs &block: ?(::Riffer::StreamEvents::Base | Riffer::Rig::Events::_Event) -> void
@@ -126,6 +150,11 @@ class Riffer::Rig::Runtime
   # @rbs return: void
   def model=: (String model) -> void
 
+  # @rbs provider: Symbol
+  # @rbs values: Hash[Symbol, String]
+  # @rbs return: void
+  def merge_credentials: (Symbol provider, Hash[Symbol, String] values) -> void
+
   # @rbs extensions: Array[Riffer::Rig::Extension]
   # @rbs settings: Hash[Symbol, untyped]
   # @rbs return: nil
@@ -138,6 +167,10 @@ class Riffer::Rig::Runtime
   # @rbs return: nil
   def on_message: () { (Riffer::Messages::Base) -> void } -> nil
 
+  # @rbs &block: (String) -> void
+  # @rbs return: nil
+  def on_model_change: () { (String) -> void } -> nil
+
   # @rbs return: nil
   def cancel: () -> nil
 
@@ -152,6 +185,16 @@ class Riffer::Rig::Runtime
   # @rbs return: void
   def claim: () -> void
 
+  # Rebuild is a configuration swap at a quiet boundary, not a turn entry, so
+  # it may run nested under the thread that holds the Runtime — the /reload
+  # command and the automatic reload check both do. Another thread is still
+  # refused while work runs.
+  # @rbs return: void
+  def claim_rebuild: () -> void
+
+  # @rbs return: void
+  def release: () -> void
+
   # @rbs model: String
   # @rbs config: Riffer::Agent::Config
   # @rbs session: Riffer::Agent::Session?
@@ -163,6 +206,22 @@ class Riffer::Rig::Runtime
   # @rbs return: Riffer::Agent
   def successor: (String model, Riffer::Agent::Config config) -> Riffer::Agent
 
+  # The options the settings built for the starting model are provider-shaped
+  # (cache control, per-provider reasoning levels), so a switch re-derives them.
+  # Runs after the successor is built, so a failed build leaves the running
+  # agent's options alone; riffer reads config.model_options per request, so the
+  # swap still reaches the new agent through the shared config.
+  # @rbs model: String
+  # @rbs return: void
+  def rederive_options: (String model) -> void
+
+  # The switches are on/off settings, so what the agent can do stays a function
+  # of the current provider: a switch whose provider cannot take the option
+  # contributes nothing, and a switch to such a provider drops it, both silently.
+  # @rbs model: String
+  # @rbs return: Hash[Symbol, untyped]
+  def native_options: (String model) -> Hash[Symbol, untyped]
+
   # @rbs registrars: Array[Riffer::Rig::Registrar]
   # @rbs hooks: Riffer::Rig::Runtime::Hooks
   # @rbs max_steps: Numeric?
@@ -264,11 +323,6 @@ class Riffer::Rig::Runtime
   # @rbs return: Array[Riffer::Rig::Registrar]
   def build_registrars: (Array[Riffer::Rig::Extension] extensions, Hash[Symbol, untyped] settings) { (Riffer::Rig::Extension, StandardError) -> void } -> Array[Riffer::Rig::Registrar]
 
-  # @rbs extension: Riffer::Rig::Extension
-  # @rbs registrar: Riffer::Rig::Registrar
-  # @rbs return: StandardError?
-  def load_extension: (Riffer::Rig::Extension extension, Riffer::Rig::Registrar registrar) -> StandardError?
-
   # @rbs extension: Riffer::Rig::Extension
   # @rbs error: StandardError
   # @rbs return: void

data/sig/generated/riffer/rig/sdk.rbs

@@ -0,0 +1,33 @@
+# Generated from lib/riffer/rig/sdk.rb with RBS::Inline
+
+module Riffer::Rig::SDK
+  CONFIRM_QUESTION: String
+
+  PROGRESS_LABEL: String
+
+  BUNDLER_MESSAGE: String
+
+  DECLINED_MESSAGE: String
+
+  FAILED_MESSAGE: String
+
+  # @rbs gem: String
+  # @rbs requirement: String
+  # @rbs host: Riffer::Rig::Hosts::_Host
+  # @rbs return: String?
+  def ensure: (String gem, String requirement, host: Riffer::Rig::Hosts::_Host) -> String?
+
+  private
+
+  # @rbs gem: String
+  # @rbs requirement: String
+  # @rbs return: bool
+  def installed?: (String gem, String requirement) -> bool
+
+  # @rbs gem: String
+  # @rbs return: bool
+  def require_gem: (String gem) -> bool
+
+  # @rbs return: bool
+  def bundler?: () -> bool
+end

data/sig/generated/riffer/rig/settings/document.rbs

@@ -1,7 +1,7 @@
 # Generated from lib/riffer/rig/settings/document.rb with RBS::Inline
 
 class Riffer::Rig::Settings::Document
-  # @dynamic model, reasoning, models, providers, disabled
+  # @dynamic model, reasoning, models, providers, disabled, autoload, native_tools, save
   attr_reader model: String?
 
   attr_reader reasoning: String?
@@ -12,6 +12,12 @@ class Riffer::Rig::Settings::Document
 
   attr_reader disabled: Array[String]
 
+  attr_reader autoload: bool
+
+  attr_reader native_tools: Hash[Symbol, bool | Hash[Symbol, untyped]]
+
+  attr_reader save: bool
+
   # @rbs source: Hash[Symbol, untyped]
   # @rbs return: void
   def initialize: (Hash[Symbol, untyped] source) -> void

data/sig/generated/riffer/rig/settings.rbs

@@ -7,9 +7,8 @@ module Riffer::Rig::Settings
 
   MODEL_STRING: Regexp
 
-  # Upstream candidate: riffer's Repository keeps extension registrations
-  # private and lists no identifiers, so the list names riffer's built-ins.
-  PROVIDERS: Array[Symbol]
+  # @rbs return: Array[Symbol]
+  def providers: () -> Array[Symbol]
 
   # @rbs path: String
   # @rbs return: Hash[Symbol, untyped]

data/sig/generated/riffer/rig/stores/jsonl.rbs

@@ -0,0 +1,64 @@
+# Generated from lib/riffer/rig/stores/jsonl.rb with RBS::Inline
+
+class Riffer::Rig::Stores::JSONL
+  HEADER_VERSION: Integer
+
+  @home: String
+
+  @paths: Hash[String, String]
+
+  # @rbs home: String
+  # @rbs return: void
+  def initialize: (?home: String) -> void
+
+  # @rbs id: String
+  # @rbs entry: Hash[Symbol, untyped]
+  # @rbs return: void
+  def append: (String id, Hash[Symbol, untyped] entry) -> void
+
+  # @rbs id: String
+  # @rbs return: Array[Hash[Symbol, untyped]]
+  def read: (String id) -> Array[Hash[Symbol, untyped]]
+
+  # @rbs cwd: String?
+  # @rbs return: Array[Hash[Symbol, untyped]]
+  def list: (?cwd: String?) -> Array[Hash[Symbol, untyped]]
+
+  # @rbs id: String
+  # @rbs return: void
+  def delete: (String id) -> void
+
+  private
+
+  # @rbs return: String
+  def root: () -> String
+
+  # @rbs id: String
+  # @rbs entry: Hash[Symbol, untyped]
+  # @rbs return: String
+  def path_for: (String id, Hash[Symbol, untyped] entry) -> String
+
+  # @rbs id: String
+  # @rbs cwd: String
+  # @rbs return: String
+  def new_path: (String id, String cwd) -> String
+
+  # @rbs path: String
+  # @rbs return: Hash[Symbol, untyped]?
+  def header_of: (String path) -> Hash[Symbol, untyped]?
+
+  # @rbs id: String
+  # @rbs return: String?
+  def find: (String id) -> String?
+
+  # The slug groups a cwd's sessions for listing; it is not the truth — the
+  # header's cwd is, so two cwd strings that slug alike share a directory. A
+  # bare "." or ".." is collapsed so the file stays inside the sessions tree.
+  # @rbs cwd: String
+  # @rbs return: String
+  def slug: (String cwd) -> String
+
+  # @rbs line: String
+  # @rbs return: Hash[Symbol, untyped]?
+  def parse: (String line) -> Hash[Symbol, untyped]?
+end

data/sig/generated/riffer/rig/stores/recorder.rbs

@@ -0,0 +1,67 @@
+# Generated from lib/riffer/rig/stores/recorder.rb with RBS::Inline
+
+class Riffer::Rig::Stores::Recorder
+  EXTENSION_NAME: String
+
+  @title: String?
+
+  @pending: Array[Hash[Symbol, untyped]]
+
+  @header_written: bool
+
+  @runtime: Riffer::Rig::Runtime?
+
+  @store: Riffer::Rig::Stores::_Store
+
+  # Records one Loader-built session into the store: the header on the first
+  # message (its title needs the first prompt), one entry per message, one per
+  # model switch and one per skill activation. Entries that land before the
+  # first message (a /model before the first prompt) wait for the header.
+  # @rbs store: Riffer::Rig::Stores::_Store
+  # @rbs return: void
+  def initialize: (store: Riffer::Rig::Stores::_Store) -> void
+
+  # @rbs runtime: Riffer::Rig::Runtime
+  # @rbs return: void
+  def attach: (Riffer::Rig::Runtime runtime) -> void
+
+  # @rbs event: Riffer::StreamEvents::SkillActivation
+  # @rbs return: void
+  def skill: (Riffer::StreamEvents::SkillActivation event) -> void
+
+  # @rbs message: Riffer::Messages::Base
+  # @rbs return: void
+  def message: (Riffer::Messages::Base message) -> void
+
+  # @rbs model: String
+  # @rbs return: void
+  def switched: (String model) -> void
+
+  # The extension rides the build as its last extension, so its :stream hook
+  # sees the model's skill activations. Per build, unlike the extensions in
+  # the process registry: the hook closes over this build's recorder.
+  # @rbs recorder: Riffer::Rig::Stores::Recorder
+  # @rbs return: Riffer::Rig::Extension
+  def self.extension: (Riffer::Rig::Stores::Recorder recorder) -> Riffer::Rig::Extension
+
+  private
+
+  # @rbs entry: Hash[Symbol, untyped]
+  # @rbs return: void
+  def record: (Hash[Symbol, untyped] entry) -> void
+
+  # @rbs return: void
+  def write_header: () -> void
+
+  # @rbs return: Hash[Symbol, untyped]
+  def header_entry: () -> Hash[Symbol, untyped]
+
+  # @rbs content: String
+  # @rbs return: String
+  def one_line: (String content) -> String
+
+  # The recorder is built before the Runtime it records; every entry arrives
+  # after attach, so the runtime is always there by then.
+  # @rbs return: Riffer::Rig::Runtime
+  def runtime: () -> Riffer::Rig::Runtime
+end

data/sig/generated/riffer/rig/terminal/renderer.rbs

@@ -3,6 +3,18 @@
 class Riffer::Rig::Terminal::Renderer
   RESULT_PREVIEW_LIMIT: Integer
 
+  ARGUMENT_PREVIEW_LIMIT: Integer
+
+  PROSE_INDENT: Integer
+
+  TOOL_CALL_INDENT: Integer
+
+  TOOL_RESULT_INDENT: Integer
+
+  @wrapper: Riffer::Rig::Terminal::Wrapper
+
+  @width: Integer?
+
   @prose_gap_pending: bool
 
   @cursor: Riffer::Rig::Terminal::Cursor
@@ -17,8 +29,9 @@ class Riffer::Rig::Terminal::Renderer
   # @rbs theme: Riffer::Rig::Terminal::Theme
   # @rbs smoother: Riffer::Rig::Terminal::Smoother | PassThroughSmoother
   # @rbs cursor: Riffer::Rig::Terminal::Cursor
+  # @rbs width: Integer?
   # @rbs return: void
-  def initialize: (?io: IO, ?theme: Riffer::Rig::Terminal::Theme, ?smoother: Riffer::Rig::Terminal::Smoother | PassThroughSmoother, ?cursor: Riffer::Rig::Terminal::Cursor) -> void
+  def initialize: (?io: IO, ?theme: Riffer::Rig::Terminal::Theme, ?smoother: Riffer::Rig::Terminal::Smoother | PassThroughSmoother, ?cursor: Riffer::Rig::Terminal::Cursor, ?width: Integer?) -> void
 
   # @rbs event: Riffer::StreamEvents::TextDelta | Riffer::StreamEvents::ToolCallDone | Riffer::StreamEvents::Interrupt
   # @rbs return: void
@@ -123,4 +136,31 @@ class Riffer::Rig::Terminal::Renderer
   # @rbs content: String
   # @rbs return: String
   def preview: (String content) -> String
+
+  # @rbs text: String
+  # @rbs limit: Integer
+  # @rbs return: String
+  def elide: (String text, Integer limit) -> String
+
+  # Truncation is what keeps an indented line from wrapping: a wrapped
+  # continuation starts at column zero and destroys the prose > tool nesting.
+  # @rbs text: String
+  # @rbs indent: Integer
+  # @rbs return: String
+  def fit: (String text, Integer indent) -> String
+
+  # @rbs return: void
+  def flush_prose: () -> void
+
+  # @rbs return: Riffer::Rig::Terminal::Wrapper
+  def new_wrapper: () -> Riffer::Rig::Terminal::Wrapper
+
+  # @rbs return: Integer?
+  def detect_width: () -> Integer?
+
+  # winsize raises on ttys with no queryable window size and some pty
+  # wrappers report zero columns; either way the real width is unknowable,
+  # and nil leaves every consumer un-fitted rather than mis-fitted.
+  # @rbs return: Integer?
+  def detected_width: () -> Integer?
 end