mirror of
https://github.com/Astatin3/unshell.git
synced 2026-06-08 22:38:01 -06:00
refactor treetest into documented modules
This commit is contained in:
@@ -0,0 +1,173 @@
|
|||||||
|
//! User-triggered TUI actions.
|
||||||
|
|
||||||
|
use super::{App, AppError, NodeId, Selection};
|
||||||
|
|
||||||
|
impl App {
|
||||||
|
pub(super) fn perform_introspection(&mut self) -> Result<(), AppError> {
|
||||||
|
match self.selected().clone() {
|
||||||
|
Selection::Node(node_id) => {
|
||||||
|
let result = self.simulation.call_endpoint_introspection(node_id)?;
|
||||||
|
let steps = self.simulation.drain()?;
|
||||||
|
self.refresh_selections(Some(node_id));
|
||||||
|
self.status = format!("{} ({steps} steps)", result.label);
|
||||||
|
}
|
||||||
|
Selection::Leaf { node_id, leaf_name } => {
|
||||||
|
let result = self
|
||||||
|
.simulation
|
||||||
|
.call_leaf_introspection(node_id, &leaf_name)?;
|
||||||
|
let steps = self.simulation.drain()?;
|
||||||
|
self.refresh_selections(Some(node_id));
|
||||||
|
self.status = format!("{} ({steps} steps)", result.label);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn perform_echo(&mut self) -> Result<(), AppError> {
|
||||||
|
if let Selection::Leaf { node_id, leaf_name } = self.selected().clone() {
|
||||||
|
let result =
|
||||||
|
self.simulation
|
||||||
|
.call_echo_leaf(node_id, &leaf_name, "demo echo from root")?;
|
||||||
|
let steps = self.simulation.drain()?;
|
||||||
|
self.refresh_selections(Some(node_id));
|
||||||
|
self.status = format!("{} ({steps} steps)", result.label);
|
||||||
|
} else {
|
||||||
|
self.status = "Select a leaf first, then press e.".to_owned();
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn perform_ping(&mut self) -> Result<(), AppError> {
|
||||||
|
if let Selection::Node(node_id) = self.selected().clone() {
|
||||||
|
if let Some(procedure_id) = self
|
||||||
|
.simulation
|
||||||
|
.node(node_id)
|
||||||
|
.endpoint_procedures
|
||||||
|
.first()
|
||||||
|
.map(|procedure| procedure.procedure_id.clone())
|
||||||
|
{
|
||||||
|
let result = self.simulation.call_endpoint_procedure(
|
||||||
|
node_id,
|
||||||
|
&procedure_id,
|
||||||
|
b"ping".to_vec(),
|
||||||
|
)?;
|
||||||
|
let steps = self.simulation.drain()?;
|
||||||
|
self.refresh_selections(Some(node_id));
|
||||||
|
self.status = format!("{} ({steps} steps)", result.label);
|
||||||
|
} else {
|
||||||
|
self.status = "Selected node has no endpoint procedures.".to_owned();
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
self.status = "Select a node first, then press p.".to_owned();
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn perform_chunked(&mut self) -> Result<(), AppError> {
|
||||||
|
if let Selection::Node(node_id) = self.selected().clone() {
|
||||||
|
if let Some(procedure_id) = self
|
||||||
|
.simulation
|
||||||
|
.node(node_id)
|
||||||
|
.endpoint_procedures
|
||||||
|
.iter()
|
||||||
|
.find(|procedure| {
|
||||||
|
procedure.description.contains("chunk")
|
||||||
|
|| procedure.procedure_id.contains("chunked")
|
||||||
|
})
|
||||||
|
.map(|procedure| procedure.procedure_id.clone())
|
||||||
|
{
|
||||||
|
let result = self.simulation.call_endpoint_procedure(
|
||||||
|
node_id,
|
||||||
|
&procedure_id,
|
||||||
|
b"chunk please".to_vec(),
|
||||||
|
)?;
|
||||||
|
let steps = self.simulation.drain()?;
|
||||||
|
self.refresh_selections(Some(node_id));
|
||||||
|
self.status = format!("{} ({steps} steps)", result.label);
|
||||||
|
} else {
|
||||||
|
self.status = "Selected node has no chunked procedure.".to_owned();
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
self.status = "Select a node first, then press c.".to_owned();
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn perform_chat_call(&mut self) -> Result<(), AppError> {
|
||||||
|
if let Selection::Node(node_id) = self.selected().clone() {
|
||||||
|
if let Some(procedure_id) = self
|
||||||
|
.simulation
|
||||||
|
.node(node_id)
|
||||||
|
.endpoint_procedures
|
||||||
|
.iter()
|
||||||
|
.find(|procedure| procedure.procedure_id.contains("chat"))
|
||||||
|
.map(|procedure| procedure.procedure_id.clone())
|
||||||
|
{
|
||||||
|
let result = self.simulation.call_endpoint_procedure(
|
||||||
|
node_id,
|
||||||
|
&procedure_id,
|
||||||
|
b"open chat".to_vec(),
|
||||||
|
)?;
|
||||||
|
let steps = self.simulation.drain()?;
|
||||||
|
self.refresh_selections(Some(node_id));
|
||||||
|
self.status = format!("{} ({steps} steps)", result.label);
|
||||||
|
} else {
|
||||||
|
self.status = "Selected node has no chat procedure.".to_owned();
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
self.status = "Select a node first, then press h.".to_owned();
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn perform_chat_data(&mut self) -> Result<(), AppError> {
|
||||||
|
if let Some(hook_id) = self.simulation.hook_ids().last().copied() {
|
||||||
|
let result =
|
||||||
|
self.simulation
|
||||||
|
.send_root_hook_data(hook_id, "hello from the root", false)?;
|
||||||
|
let steps = self.simulation.drain()?;
|
||||||
|
self.refresh_selections(None);
|
||||||
|
self.status = format!("{} ({steps} steps)", result.label);
|
||||||
|
} else {
|
||||||
|
self.status = "No known hook yet. Press h to open chat first.".to_owned();
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn perform_chat_bye(&mut self) -> Result<(), AppError> {
|
||||||
|
if let Some(hook_id) = self.simulation.hook_ids().last().copied() {
|
||||||
|
let result = self.simulation.send_root_hook_data(hook_id, "bye", true)?;
|
||||||
|
let steps = self.simulation.drain()?;
|
||||||
|
self.refresh_selections(None);
|
||||||
|
self.status = format!("{} ({steps} steps)", result.label);
|
||||||
|
} else {
|
||||||
|
self.status = "No known hook yet. Press h to open chat first.".to_owned();
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn perform_invalid_fault_demo(&mut self) -> Result<(), AppError> {
|
||||||
|
if let Some(hook_id) = self.simulation.hook_ids().last().copied() {
|
||||||
|
let root_id = NodeId(0);
|
||||||
|
if self.simulation.tree.nodes.len() > 1 {
|
||||||
|
let attacker = NodeId(1);
|
||||||
|
let result = self.simulation.inject_invalid_peer_data(
|
||||||
|
attacker,
|
||||||
|
root_id,
|
||||||
|
hook_id,
|
||||||
|
"demo.endpoint.v1.chat.session",
|
||||||
|
"spoofed data",
|
||||||
|
)?;
|
||||||
|
let steps = self.simulation.drain()?;
|
||||||
|
self.refresh_selections(None);
|
||||||
|
self.status = format!("{} ({steps} steps)", result.label);
|
||||||
|
} else {
|
||||||
|
self.status =
|
||||||
|
"This scenario has no second node for invalid-peer traffic.".to_owned();
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
self.status = "Open a hook first before injecting invalid traffic.".to_owned();
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
}
|
||||||
+4
-308
@@ -1,14 +1,9 @@
|
|||||||
//! Ratatui application shell for the protocol demo.
|
//! Ratatui application shell for the protocol demo.
|
||||||
|
|
||||||
|
mod actions;
|
||||||
|
mod shell;
|
||||||
mod ui;
|
mod ui;
|
||||||
|
|
||||||
use std::{io, time::Duration};
|
|
||||||
|
|
||||||
use crossterm::{
|
|
||||||
event::{self, Event, KeyCode, KeyEventKind},
|
|
||||||
execute,
|
|
||||||
terminal::{EnterAlternateScreen, LeaveAlternateScreen, disable_raw_mode, enable_raw_mode},
|
|
||||||
};
|
|
||||||
use ratatui::DefaultTerminal;
|
use ratatui::DefaultTerminal;
|
||||||
|
|
||||||
use crate::{
|
use crate::{
|
||||||
@@ -21,22 +16,14 @@ use crate::{
|
|||||||
#[derive(Debug, thiserror::Error)]
|
#[derive(Debug, thiserror::Error)]
|
||||||
pub enum AppError {
|
pub enum AppError {
|
||||||
#[error(transparent)]
|
#[error(transparent)]
|
||||||
Io(#[from] io::Error),
|
Io(#[from] std::io::Error),
|
||||||
#[error(transparent)]
|
#[error(transparent)]
|
||||||
Sim(#[from] crate::sim::SimError),
|
Sim(#[from] crate::sim::SimError),
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Starts the TUI application.
|
/// Starts the TUI application.
|
||||||
pub fn run() -> Result<(), AppError> {
|
pub fn run() -> Result<(), AppError> {
|
||||||
enable_raw_mode()?;
|
shell::run()
|
||||||
let mut stdout = io::stdout();
|
|
||||||
execute!(stdout, EnterAlternateScreen)?;
|
|
||||||
let terminal = ratatui::init();
|
|
||||||
let result = App::new()?.run(terminal);
|
|
||||||
ratatui::restore();
|
|
||||||
disable_raw_mode()?;
|
|
||||||
execute!(io::stdout(), LeaveAlternateScreen)?;
|
|
||||||
result
|
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
@@ -48,294 +35,3 @@ struct App {
|
|||||||
selections: Vec<Selection>,
|
selections: Vec<Selection>,
|
||||||
status: String,
|
status: String,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl App {
|
|
||||||
fn new() -> Result<Self, AppError> {
|
|
||||||
let scenarios = built_in_scenarios();
|
|
||||||
let simulation = Simulation::new(scenarios[0].clone())?;
|
|
||||||
let selections = ui::build_selections(&simulation);
|
|
||||||
let selection_index = selections
|
|
||||||
.iter()
|
|
||||||
.position(|selection| *selection == simulation.initial_selection())
|
|
||||||
.unwrap_or(0);
|
|
||||||
Ok(Self {
|
|
||||||
scenarios,
|
|
||||||
scenario_index: 0,
|
|
||||||
simulation,
|
|
||||||
selection_index,
|
|
||||||
selections,
|
|
||||||
status: "Use arrows to move, Enter to switch scenarios, q to quit.".to_owned(),
|
|
||||||
})
|
|
||||||
}
|
|
||||||
|
|
||||||
fn run(mut self, mut terminal: DefaultTerminal) -> Result<(), AppError> {
|
|
||||||
loop {
|
|
||||||
terminal.draw(|frame| self.render(frame))?;
|
|
||||||
if event::poll(Duration::from_millis(100))?
|
|
||||||
&& let Event::Key(key) = event::read()?
|
|
||||||
&& key.kind == KeyEventKind::Press
|
|
||||||
&& !self.handle_key(key.code)?
|
|
||||||
{
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn handle_key(&mut self, code: KeyCode) -> Result<bool, AppError> {
|
|
||||||
match code {
|
|
||||||
KeyCode::Char('q') => return Ok(false),
|
|
||||||
KeyCode::Up => {
|
|
||||||
if self.selection_index > 0 {
|
|
||||||
self.selection_index -= 1;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
KeyCode::Down => {
|
|
||||||
if self.selection_index + 1 < self.selections.len() {
|
|
||||||
self.selection_index += 1;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
KeyCode::Left => {
|
|
||||||
if self.scenario_index > 0 {
|
|
||||||
self.load_scenario(self.scenario_index - 1)?;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
KeyCode::Right => {
|
|
||||||
if self.scenario_index + 1 < self.scenarios.len() {
|
|
||||||
self.load_scenario(self.scenario_index + 1)?;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
KeyCode::Enter => {
|
|
||||||
let next = (self.scenario_index + 1) % self.scenarios.len();
|
|
||||||
self.load_scenario(next)?;
|
|
||||||
}
|
|
||||||
KeyCode::Char('i') => self.perform_introspection()?,
|
|
||||||
KeyCode::Char('e') => self.perform_echo()?,
|
|
||||||
KeyCode::Char('p') => self.perform_ping()?,
|
|
||||||
KeyCode::Char('c') => self.perform_chunked()?,
|
|
||||||
KeyCode::Char('h') => self.perform_chat_call()?,
|
|
||||||
KeyCode::Char('d') => self.perform_chat_data()?,
|
|
||||||
KeyCode::Char('b') => self.perform_chat_bye()?,
|
|
||||||
KeyCode::Char('f') => self.perform_invalid_fault_demo()?,
|
|
||||||
KeyCode::Char('g') => {
|
|
||||||
self.simulation.toggle_inspector_mode();
|
|
||||||
self.refresh_selections(Some(self.selected().node_id()));
|
|
||||||
self.status = if self.simulation.is_realistic_mode() {
|
|
||||||
"Inspector switched to realistic mode.".to_owned()
|
|
||||||
} else {
|
|
||||||
"Inspector switched to ground truth mode.".to_owned()
|
|
||||||
};
|
|
||||||
}
|
|
||||||
KeyCode::Char('m') => {
|
|
||||||
self.simulation.enable_realistic_mode_with_memory_reset();
|
|
||||||
self.refresh_selections(Some(NodeId(0)));
|
|
||||||
self.status =
|
|
||||||
"Cleared root memory for deeper nodes and enabled realistic mode.".to_owned();
|
|
||||||
}
|
|
||||||
KeyCode::Char('s') => {
|
|
||||||
let processed = self.simulation.step()?;
|
|
||||||
self.status = if processed {
|
|
||||||
"Processed one queued frame.".to_owned()
|
|
||||||
} else {
|
|
||||||
"Network already idle.".to_owned()
|
|
||||||
};
|
|
||||||
}
|
|
||||||
KeyCode::Char('a') => {
|
|
||||||
let steps = self.simulation.drain()?;
|
|
||||||
self.status = format!("Drained {steps} queued frames.");
|
|
||||||
}
|
|
||||||
_ => {}
|
|
||||||
}
|
|
||||||
Ok(true)
|
|
||||||
}
|
|
||||||
|
|
||||||
fn load_scenario(&mut self, index: usize) -> Result<(), AppError> {
|
|
||||||
self.scenario_index = index;
|
|
||||||
self.simulation = Simulation::new(self.scenarios[index].clone())?;
|
|
||||||
self.refresh_selections(Some(self.simulation.initial_selection().node_id()));
|
|
||||||
self.status = format!("Loaded scenario: {}", self.scenarios[index].name);
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn selected(&self) -> &Selection {
|
|
||||||
&self.selections[self.selection_index]
|
|
||||||
}
|
|
||||||
|
|
||||||
fn perform_introspection(&mut self) -> Result<(), AppError> {
|
|
||||||
match self.selected().clone() {
|
|
||||||
Selection::Node(node_id) => {
|
|
||||||
let result = self.simulation.call_endpoint_introspection(node_id)?;
|
|
||||||
let steps = self.simulation.drain()?;
|
|
||||||
self.refresh_selections(Some(node_id));
|
|
||||||
self.status = format!("{} ({steps} steps)", result.label);
|
|
||||||
}
|
|
||||||
Selection::Leaf { node_id, leaf_name } => {
|
|
||||||
let result = self
|
|
||||||
.simulation
|
|
||||||
.call_leaf_introspection(node_id, &leaf_name)?;
|
|
||||||
let steps = self.simulation.drain()?;
|
|
||||||
self.refresh_selections(Some(node_id));
|
|
||||||
self.status = format!("{} ({steps} steps)", result.label);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn perform_echo(&mut self) -> Result<(), AppError> {
|
|
||||||
if let Selection::Leaf { node_id, leaf_name } = self.selected().clone() {
|
|
||||||
let result =
|
|
||||||
self.simulation
|
|
||||||
.call_echo_leaf(node_id, &leaf_name, "demo echo from root")?;
|
|
||||||
let steps = self.simulation.drain()?;
|
|
||||||
self.refresh_selections(Some(node_id));
|
|
||||||
self.status = format!("{} ({steps} steps)", result.label);
|
|
||||||
} else {
|
|
||||||
self.status = "Select a leaf first, then press e.".to_owned();
|
|
||||||
}
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn perform_ping(&mut self) -> Result<(), AppError> {
|
|
||||||
if let Selection::Node(node_id) = self.selected().clone() {
|
|
||||||
if let Some(procedure_id) = self
|
|
||||||
.simulation
|
|
||||||
.node(node_id)
|
|
||||||
.endpoint_procedures
|
|
||||||
.first()
|
|
||||||
.map(|procedure| procedure.procedure_id.clone())
|
|
||||||
{
|
|
||||||
let result = self.simulation.call_endpoint_procedure(
|
|
||||||
node_id,
|
|
||||||
&procedure_id,
|
|
||||||
b"ping".to_vec(),
|
|
||||||
)?;
|
|
||||||
let steps = self.simulation.drain()?;
|
|
||||||
self.refresh_selections(Some(node_id));
|
|
||||||
self.status = format!("{} ({steps} steps)", result.label);
|
|
||||||
} else {
|
|
||||||
self.status = "Selected node has no endpoint procedures.".to_owned();
|
|
||||||
}
|
|
||||||
} else {
|
|
||||||
self.status = "Select a node first, then press p.".to_owned();
|
|
||||||
}
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn perform_chunked(&mut self) -> Result<(), AppError> {
|
|
||||||
if let Selection::Node(node_id) = self.selected().clone() {
|
|
||||||
if let Some(procedure_id) = self
|
|
||||||
.simulation
|
|
||||||
.node(node_id)
|
|
||||||
.endpoint_procedures
|
|
||||||
.iter()
|
|
||||||
.find(|procedure| {
|
|
||||||
procedure.description.contains("chunk")
|
|
||||||
|| procedure.procedure_id.contains("chunked")
|
|
||||||
})
|
|
||||||
.map(|procedure| procedure.procedure_id.clone())
|
|
||||||
{
|
|
||||||
let result = self.simulation.call_endpoint_procedure(
|
|
||||||
node_id,
|
|
||||||
&procedure_id,
|
|
||||||
b"chunk please".to_vec(),
|
|
||||||
)?;
|
|
||||||
let steps = self.simulation.drain()?;
|
|
||||||
self.refresh_selections(Some(node_id));
|
|
||||||
self.status = format!("{} ({steps} steps)", result.label);
|
|
||||||
} else {
|
|
||||||
self.status = "Selected node has no chunked procedure.".to_owned();
|
|
||||||
}
|
|
||||||
} else {
|
|
||||||
self.status = "Select a node first, then press c.".to_owned();
|
|
||||||
}
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn perform_chat_call(&mut self) -> Result<(), AppError> {
|
|
||||||
if let Selection::Node(node_id) = self.selected().clone() {
|
|
||||||
if let Some(procedure_id) = self
|
|
||||||
.simulation
|
|
||||||
.node(node_id)
|
|
||||||
.endpoint_procedures
|
|
||||||
.iter()
|
|
||||||
.find(|procedure| procedure.procedure_id.contains("chat"))
|
|
||||||
.map(|procedure| procedure.procedure_id.clone())
|
|
||||||
{
|
|
||||||
let result = self.simulation.call_endpoint_procedure(
|
|
||||||
node_id,
|
|
||||||
&procedure_id,
|
|
||||||
b"open chat".to_vec(),
|
|
||||||
)?;
|
|
||||||
let steps = self.simulation.drain()?;
|
|
||||||
self.refresh_selections(Some(node_id));
|
|
||||||
self.status = format!("{} ({steps} steps)", result.label);
|
|
||||||
} else {
|
|
||||||
self.status = "Selected node has no chat procedure.".to_owned();
|
|
||||||
}
|
|
||||||
} else {
|
|
||||||
self.status = "Select a node first, then press h.".to_owned();
|
|
||||||
}
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn perform_chat_data(&mut self) -> Result<(), AppError> {
|
|
||||||
if let Some(hook_id) = self.simulation.hook_ids().last().copied() {
|
|
||||||
let result =
|
|
||||||
self.simulation
|
|
||||||
.send_root_hook_data(hook_id, "hello from the root", false)?;
|
|
||||||
let steps = self.simulation.drain()?;
|
|
||||||
self.refresh_selections(None);
|
|
||||||
self.status = format!("{} ({steps} steps)", result.label);
|
|
||||||
} else {
|
|
||||||
self.status = "No known hook yet. Press h to open chat first.".to_owned();
|
|
||||||
}
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn perform_chat_bye(&mut self) -> Result<(), AppError> {
|
|
||||||
if let Some(hook_id) = self.simulation.hook_ids().last().copied() {
|
|
||||||
let result = self.simulation.send_root_hook_data(hook_id, "bye", true)?;
|
|
||||||
let steps = self.simulation.drain()?;
|
|
||||||
self.refresh_selections(None);
|
|
||||||
self.status = format!("{} ({steps} steps)", result.label);
|
|
||||||
} else {
|
|
||||||
self.status = "No known hook yet. Press h to open chat first.".to_owned();
|
|
||||||
}
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn perform_invalid_fault_demo(&mut self) -> Result<(), AppError> {
|
|
||||||
if let Some(hook_id) = self.simulation.hook_ids().last().copied() {
|
|
||||||
let root_id = NodeId(0);
|
|
||||||
if self.simulation.tree.nodes.len() > 1 {
|
|
||||||
let attacker = NodeId(1);
|
|
||||||
let result = self.simulation.inject_invalid_peer_data(
|
|
||||||
attacker,
|
|
||||||
root_id,
|
|
||||||
hook_id,
|
|
||||||
"demo.endpoint.v1.chat.session",
|
|
||||||
"spoofed data",
|
|
||||||
)?;
|
|
||||||
let steps = self.simulation.drain()?;
|
|
||||||
self.refresh_selections(None);
|
|
||||||
self.status = format!("{} ({steps} steps)", result.label);
|
|
||||||
} else {
|
|
||||||
self.status =
|
|
||||||
"This scenario has no second node for invalid-peer traffic.".to_owned();
|
|
||||||
}
|
|
||||||
} else {
|
|
||||||
self.status = "Open a hook first before injecting invalid traffic.".to_owned();
|
|
||||||
}
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn refresh_selections(&mut self, preferred_node: Option<NodeId>) {
|
|
||||||
let current = preferred_node.unwrap_or_else(|| self.selected().node_id());
|
|
||||||
self.selections = ui::build_selections(&self.simulation);
|
|
||||||
self.selection_index = self
|
|
||||||
.selections
|
|
||||||
.iter()
|
|
||||||
.position(|selection| selection.node_id() == current)
|
|
||||||
.unwrap_or(0);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|||||||
@@ -0,0 +1,146 @@
|
|||||||
|
//! Application lifecycle and event loop glue.
|
||||||
|
|
||||||
|
use std::{io, time::Duration};
|
||||||
|
|
||||||
|
use crossterm::{
|
||||||
|
event::{self, Event, KeyCode, KeyEventKind},
|
||||||
|
execute,
|
||||||
|
terminal::{EnterAlternateScreen, LeaveAlternateScreen, disable_raw_mode, enable_raw_mode},
|
||||||
|
};
|
||||||
|
|
||||||
|
use super::{App, AppError, DefaultTerminal, NodeId, built_in_scenarios, ui};
|
||||||
|
|
||||||
|
pub(super) fn run() -> Result<(), AppError> {
|
||||||
|
enable_raw_mode()?;
|
||||||
|
let mut stdout = io::stdout();
|
||||||
|
execute!(stdout, EnterAlternateScreen)?;
|
||||||
|
let terminal = ratatui::init();
|
||||||
|
let result = App::new()?.run(terminal);
|
||||||
|
ratatui::restore();
|
||||||
|
disable_raw_mode()?;
|
||||||
|
execute!(io::stdout(), LeaveAlternateScreen)?;
|
||||||
|
result
|
||||||
|
}
|
||||||
|
|
||||||
|
impl App {
|
||||||
|
pub(super) fn new() -> Result<Self, AppError> {
|
||||||
|
let scenarios = built_in_scenarios();
|
||||||
|
let simulation = crate::sim::Simulation::new(scenarios[0].clone())?;
|
||||||
|
let selections = ui::build_selections(&simulation);
|
||||||
|
let selection_index = selections
|
||||||
|
.iter()
|
||||||
|
.position(|selection| *selection == simulation.initial_selection())
|
||||||
|
.unwrap_or(0);
|
||||||
|
Ok(Self {
|
||||||
|
scenarios,
|
||||||
|
scenario_index: 0,
|
||||||
|
simulation,
|
||||||
|
selection_index,
|
||||||
|
selections,
|
||||||
|
status: "Use arrows to move, Enter to switch scenarios, q to quit.".to_owned(),
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn run(mut self, mut terminal: DefaultTerminal) -> Result<(), AppError> {
|
||||||
|
loop {
|
||||||
|
terminal.draw(|frame| self.render(frame))?;
|
||||||
|
if event::poll(Duration::from_millis(100))?
|
||||||
|
&& let Event::Key(key) = event::read()?
|
||||||
|
&& key.kind == KeyEventKind::Press
|
||||||
|
&& !self.handle_key(key.code)?
|
||||||
|
{
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn handle_key(&mut self, code: KeyCode) -> Result<bool, AppError> {
|
||||||
|
match code {
|
||||||
|
KeyCode::Char('q') => return Ok(false),
|
||||||
|
KeyCode::Up => {
|
||||||
|
if self.selection_index > 0 {
|
||||||
|
self.selection_index -= 1;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
KeyCode::Down => {
|
||||||
|
if self.selection_index + 1 < self.selections.len() {
|
||||||
|
self.selection_index += 1;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
KeyCode::Left => {
|
||||||
|
if self.scenario_index > 0 {
|
||||||
|
self.load_scenario(self.scenario_index - 1)?;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
KeyCode::Right => {
|
||||||
|
if self.scenario_index + 1 < self.scenarios.len() {
|
||||||
|
self.load_scenario(self.scenario_index + 1)?;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
KeyCode::Enter => {
|
||||||
|
let next = (self.scenario_index + 1) % self.scenarios.len();
|
||||||
|
self.load_scenario(next)?;
|
||||||
|
}
|
||||||
|
KeyCode::Char('i') => self.perform_introspection()?,
|
||||||
|
KeyCode::Char('e') => self.perform_echo()?,
|
||||||
|
KeyCode::Char('p') => self.perform_ping()?,
|
||||||
|
KeyCode::Char('c') => self.perform_chunked()?,
|
||||||
|
KeyCode::Char('h') => self.perform_chat_call()?,
|
||||||
|
KeyCode::Char('d') => self.perform_chat_data()?,
|
||||||
|
KeyCode::Char('b') => self.perform_chat_bye()?,
|
||||||
|
KeyCode::Char('f') => self.perform_invalid_fault_demo()?,
|
||||||
|
KeyCode::Char('g') => {
|
||||||
|
self.simulation.toggle_inspector_mode();
|
||||||
|
self.refresh_selections(Some(self.selected().node_id()));
|
||||||
|
self.status = if self.simulation.is_realistic_mode() {
|
||||||
|
"Inspector switched to realistic mode.".to_owned()
|
||||||
|
} else {
|
||||||
|
"Inspector switched to ground truth mode.".to_owned()
|
||||||
|
};
|
||||||
|
}
|
||||||
|
KeyCode::Char('m') => {
|
||||||
|
self.simulation.enable_realistic_mode_with_memory_reset();
|
||||||
|
self.refresh_selections(Some(NodeId(0)));
|
||||||
|
self.status =
|
||||||
|
"Cleared root memory for deeper nodes and enabled realistic mode.".to_owned();
|
||||||
|
}
|
||||||
|
KeyCode::Char('s') => {
|
||||||
|
let processed = self.simulation.step()?;
|
||||||
|
self.status = if processed {
|
||||||
|
"Processed one queued frame.".to_owned()
|
||||||
|
} else {
|
||||||
|
"Network already idle.".to_owned()
|
||||||
|
};
|
||||||
|
}
|
||||||
|
KeyCode::Char('a') => {
|
||||||
|
let steps = self.simulation.drain()?;
|
||||||
|
self.status = format!("Drained {steps} queued frames.");
|
||||||
|
}
|
||||||
|
_ => {}
|
||||||
|
}
|
||||||
|
Ok(true)
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn load_scenario(&mut self, index: usize) -> Result<(), AppError> {
|
||||||
|
self.scenario_index = index;
|
||||||
|
self.simulation = crate::sim::Simulation::new(self.scenarios[index].clone())?;
|
||||||
|
self.refresh_selections(Some(self.simulation.initial_selection().node_id()));
|
||||||
|
self.status = format!("Loaded scenario: {}", self.scenarios[index].name);
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn selected(&self) -> &crate::model::Selection {
|
||||||
|
&self.selections[self.selection_index]
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn refresh_selections(&mut self, preferred_node: Option<NodeId>) {
|
||||||
|
let current = preferred_node.unwrap_or_else(|| self.selected().node_id());
|
||||||
|
self.selections = ui::build_selections(&self.simulation);
|
||||||
|
self.selection_index = self
|
||||||
|
.selections
|
||||||
|
.iter()
|
||||||
|
.position(|selection| selection.node_id() == current)
|
||||||
|
.unwrap_or(0);
|
||||||
|
}
|
||||||
|
}
|
||||||
+7
-423
@@ -1,425 +1,9 @@
|
|||||||
//! Rendering helpers for the ratatui demo.
|
//! UI module entry point.
|
||||||
|
//!
|
||||||
|
//! Rendering is split into panel layout and inspector rendering so the tree
|
||||||
|
//! browser, trace panes, and learned-knowledge inspector can evolve separately.
|
||||||
|
|
||||||
use ratatui::{
|
mod inspector;
|
||||||
Frame,
|
mod panels;
|
||||||
layout::{Constraint, Direction, Layout, Rect},
|
|
||||||
style::{Modifier, Style, Stylize},
|
|
||||||
text::{Line, Text},
|
|
||||||
widgets::{Block, Borders, List, ListItem, Paragraph, Wrap},
|
|
||||||
};
|
|
||||||
|
|
||||||
use crate::{
|
pub(crate) use panels::build_selections;
|
||||||
model::{Selection, format_hook_ref, format_leaf_ref, format_path},
|
|
||||||
sim::{InspectorMode, RecordedEvent, Simulation},
|
|
||||||
};
|
|
||||||
|
|
||||||
use super::App;
|
|
||||||
|
|
||||||
impl App {
|
|
||||||
pub(super) fn render(&self, frame: &mut Frame<'_>) {
|
|
||||||
let chunks = Layout::default()
|
|
||||||
.direction(Direction::Vertical)
|
|
||||||
.constraints([
|
|
||||||
Constraint::Length(3),
|
|
||||||
Constraint::Min(14),
|
|
||||||
Constraint::Length(8),
|
|
||||||
])
|
|
||||||
.split(frame.area());
|
|
||||||
|
|
||||||
self.render_header(frame, chunks[0]);
|
|
||||||
self.render_body(frame, chunks[1]);
|
|
||||||
self.render_footer(frame, chunks[2]);
|
|
||||||
}
|
|
||||||
|
|
||||||
fn render_header(&self, frame: &mut Frame<'_>, area: Rect) {
|
|
||||||
let mode = match self.simulation.inspector_mode {
|
|
||||||
InspectorMode::GroundTruth => "ground truth",
|
|
||||||
InspectorMode::Realistic => "realistic",
|
|
||||||
};
|
|
||||||
let title = format!(
|
|
||||||
"treetest | scenario {} / {}: {} | {}",
|
|
||||||
self.scenario_index + 1,
|
|
||||||
self.scenarios.len(),
|
|
||||||
self.scenarios[self.scenario_index].name,
|
|
||||||
mode
|
|
||||||
);
|
|
||||||
frame.render_widget(
|
|
||||||
Paragraph::new(title).block(Block::default().borders(Borders::ALL).title("Scenario")),
|
|
||||||
area,
|
|
||||||
);
|
|
||||||
}
|
|
||||||
|
|
||||||
fn render_body(&self, frame: &mut Frame<'_>, area: Rect) {
|
|
||||||
let columns = Layout::default()
|
|
||||||
.direction(Direction::Horizontal)
|
|
||||||
.constraints([
|
|
||||||
Constraint::Length(34),
|
|
||||||
Constraint::Percentage(36),
|
|
||||||
Constraint::Percentage(32),
|
|
||||||
])
|
|
||||||
.split(area);
|
|
||||||
|
|
||||||
let scenario_items = self
|
|
||||||
.scenarios
|
|
||||||
.iter()
|
|
||||||
.enumerate()
|
|
||||||
.map(|(index, scenario)| {
|
|
||||||
let label = if index == self.scenario_index {
|
|
||||||
format!("> {}", scenario.name)
|
|
||||||
} else {
|
|
||||||
format!(" {}", scenario.name)
|
|
||||||
};
|
|
||||||
ListItem::new(label)
|
|
||||||
})
|
|
||||||
.collect::<Vec<_>>();
|
|
||||||
frame.render_widget(
|
|
||||||
List::new(scenario_items)
|
|
||||||
.block(Block::default().borders(Borders::ALL).title("Scenarios")),
|
|
||||||
columns[0],
|
|
||||||
);
|
|
||||||
|
|
||||||
let center = Layout::default()
|
|
||||||
.direction(Direction::Vertical)
|
|
||||||
.constraints([Constraint::Percentage(54), Constraint::Percentage(46)])
|
|
||||||
.split(columns[1]);
|
|
||||||
self.render_selection_list(frame, center[0]);
|
|
||||||
self.render_inspector(frame, center[1]);
|
|
||||||
|
|
||||||
let right = Layout::default()
|
|
||||||
.direction(Direction::Vertical)
|
|
||||||
.constraints([Constraint::Percentage(50), Constraint::Percentage(50)])
|
|
||||||
.split(columns[2]);
|
|
||||||
self.render_trace(frame, right[0]);
|
|
||||||
self.render_hooks(frame, right[1]);
|
|
||||||
}
|
|
||||||
|
|
||||||
fn render_selection_list(&self, frame: &mut Frame<'_>, area: Rect) {
|
|
||||||
let items = self
|
|
||||||
.selections
|
|
||||||
.iter()
|
|
||||||
.enumerate()
|
|
||||||
.map(|(index, selection)| {
|
|
||||||
let label = match selection {
|
|
||||||
Selection::Node(node_id) => {
|
|
||||||
let node = self.simulation.node(*node_id);
|
|
||||||
format!(
|
|
||||||
"{} {}",
|
|
||||||
if index == self.selection_index {
|
|
||||||
">"
|
|
||||||
} else {
|
|
||||||
" "
|
|
||||||
},
|
|
||||||
node.display_path()
|
|
||||||
)
|
|
||||||
}
|
|
||||||
Selection::Leaf { node_id, leaf_name } => format!(
|
|
||||||
"{} {}",
|
|
||||||
if index == self.selection_index {
|
|
||||||
">"
|
|
||||||
} else {
|
|
||||||
" "
|
|
||||||
},
|
|
||||||
format_leaf_ref(&self.simulation.node(*node_id).path, leaf_name)
|
|
||||||
),
|
|
||||||
};
|
|
||||||
ListItem::new(label)
|
|
||||||
})
|
|
||||||
.collect::<Vec<_>>();
|
|
||||||
frame.render_widget(
|
|
||||||
List::new(items).block(Block::default().borders(Borders::ALL).title("Tree")),
|
|
||||||
area,
|
|
||||||
);
|
|
||||||
}
|
|
||||||
|
|
||||||
fn render_inspector(&self, frame: &mut Frame<'_>, area: Rect) {
|
|
||||||
let selection = self.selected();
|
|
||||||
let body = match self.simulation.inspector_mode {
|
|
||||||
InspectorMode::GroundTruth => self.render_ground_truth_inspector(selection),
|
|
||||||
InspectorMode::Realistic => self.render_realistic_inspector(selection),
|
|
||||||
};
|
|
||||||
|
|
||||||
frame.render_widget(
|
|
||||||
Paragraph::new(body)
|
|
||||||
.block(Block::default().borders(Borders::ALL).title("Inspector"))
|
|
||||||
.wrap(Wrap { trim: true }),
|
|
||||||
area,
|
|
||||||
);
|
|
||||||
}
|
|
||||||
|
|
||||||
fn render_ground_truth_inspector(&self, selection: &Selection) -> Text<'static> {
|
|
||||||
match selection {
|
|
||||||
Selection::Node(node_id) => {
|
|
||||||
let node = self.simulation.node(*node_id);
|
|
||||||
let mut lines = vec![
|
|
||||||
Line::from(node.title.clone()).bold(),
|
|
||||||
Line::from(node.description.clone()),
|
|
||||||
Line::from(format!("Path: {}", node.display_path())),
|
|
||||||
Line::from(format!("Children: {}", node.children.len())),
|
|
||||||
Line::from(format!("Leaves: {}", node.leaves.len())),
|
|
||||||
Line::from(format!(
|
|
||||||
"Endpoint procedures: {}",
|
|
||||||
node.endpoint_procedures.len()
|
|
||||||
)),
|
|
||||||
Line::default(),
|
|
||||||
Line::from("Endpoint procedures:"),
|
|
||||||
];
|
|
||||||
lines.extend(node.endpoint_procedures.iter().map(|procedure| {
|
|
||||||
Line::from(format!(
|
|
||||||
"- {}: {}",
|
|
||||||
procedure.procedure_id, procedure.description
|
|
||||||
))
|
|
||||||
}));
|
|
||||||
lines.extend(node.leaves.iter().map(|leaf| {
|
|
||||||
Line::from(format!("- {}", format_leaf_ref(&node.path, &leaf.name)))
|
|
||||||
}));
|
|
||||||
Text::from(lines)
|
|
||||||
}
|
|
||||||
Selection::Leaf { node_id, leaf_name } => {
|
|
||||||
let node = self.simulation.node(*node_id);
|
|
||||||
let leaf = node
|
|
||||||
.leaves
|
|
||||||
.iter()
|
|
||||||
.find(|leaf| &leaf.name == leaf_name)
|
|
||||||
.expect("selection should stay valid");
|
|
||||||
let mut lines = vec![
|
|
||||||
Line::from(format_leaf_ref(&node.path, &leaf.name)).bold(),
|
|
||||||
Line::from(leaf.description.clone()),
|
|
||||||
Line::from(format!("Node: {}", node.display_path())),
|
|
||||||
Line::from("Procedures:"),
|
|
||||||
];
|
|
||||||
lines.extend(
|
|
||||||
leaf.procedures
|
|
||||||
.iter()
|
|
||||||
.map(|procedure| Line::from(format!("- {}", procedure))),
|
|
||||||
);
|
|
||||||
Text::from(lines)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
fn render_realistic_inspector(&self, selection: &Selection) -> Text<'static> {
|
|
||||||
match selection {
|
|
||||||
Selection::Node(node_id) => {
|
|
||||||
let node = self.simulation.node(*node_id);
|
|
||||||
if let Some(learned) = self.simulation.root_knowledge.node(&node.path) {
|
|
||||||
let mut lines = vec![
|
|
||||||
Line::from(learned.title.clone().unwrap_or_else(|| node.display_path()))
|
|
||||||
.bold(),
|
|
||||||
Line::from(
|
|
||||||
learned
|
|
||||||
.description
|
|
||||||
.clone()
|
|
||||||
.unwrap_or_else(|| "No learned description yet.".to_owned()),
|
|
||||||
),
|
|
||||||
Line::from(format!("Path: {}", format_path(&learned.path))),
|
|
||||||
Line::from(format!("Known direct child: {}", learned.direct_child)),
|
|
||||||
Line::from(format!(
|
|
||||||
"Endpoint introspected: {}",
|
|
||||||
learned.endpoint_introspected
|
|
||||||
)),
|
|
||||||
Line::default(),
|
|
||||||
Line::from("Known endpoint procedures:"),
|
|
||||||
];
|
|
||||||
if learned.endpoint_procedures.is_empty() {
|
|
||||||
lines.push(Line::from("- none learned"));
|
|
||||||
} else {
|
|
||||||
lines.extend(learned.endpoint_procedures.iter().map(|procedure| {
|
|
||||||
Line::from(match &procedure.description {
|
|
||||||
Some(description) => {
|
|
||||||
format!("- {}: {}", procedure.procedure_id, description)
|
|
||||||
}
|
|
||||||
None => format!("- {}", procedure.procedure_id),
|
|
||||||
})
|
|
||||||
}));
|
|
||||||
}
|
|
||||||
lines.push(Line::default());
|
|
||||||
lines.push(Line::from("Known leaves:"));
|
|
||||||
if learned.leaves.is_empty() {
|
|
||||||
lines.push(Line::from("- none learned"));
|
|
||||||
} else {
|
|
||||||
lines.extend(learned.leaves.iter().map(|leaf| {
|
|
||||||
Line::from(format!(
|
|
||||||
"- {}",
|
|
||||||
format_leaf_ref(&learned.path, &leaf.leaf_name)
|
|
||||||
))
|
|
||||||
}));
|
|
||||||
}
|
|
||||||
Text::from(lines)
|
|
||||||
} else {
|
|
||||||
Text::from(vec![
|
|
||||||
Line::from(node.display_path()).bold(),
|
|
||||||
Line::from(
|
|
||||||
"The root host has not learned anything about this endpoint yet.",
|
|
||||||
),
|
|
||||||
])
|
|
||||||
}
|
|
||||||
}
|
|
||||||
Selection::Leaf { node_id, leaf_name } => {
|
|
||||||
let node = self.simulation.node(*node_id);
|
|
||||||
if let Some(learned) = self.simulation.root_knowledge.node(&node.path)
|
|
||||||
&& let Some(leaf) = learned
|
|
||||||
.leaves
|
|
||||||
.iter()
|
|
||||||
.find(|leaf| &leaf.leaf_name == leaf_name)
|
|
||||||
{
|
|
||||||
let mut lines = vec![
|
|
||||||
Line::from(format_leaf_ref(&node.path, &leaf.leaf_name)).bold(),
|
|
||||||
Line::from(
|
|
||||||
leaf.description
|
|
||||||
.clone()
|
|
||||||
.unwrap_or_else(|| "No learned description yet.".to_owned()),
|
|
||||||
),
|
|
||||||
Line::from(format!("Node: {}", node.display_path())),
|
|
||||||
Line::from("Known procedures:"),
|
|
||||||
];
|
|
||||||
if leaf.procedures.is_empty() {
|
|
||||||
lines.push(Line::from("- none learned"));
|
|
||||||
} else {
|
|
||||||
lines.extend(leaf.procedures.iter().map(|procedure| {
|
|
||||||
Line::from(match &procedure.description {
|
|
||||||
Some(description) => {
|
|
||||||
format!("- {}: {}", procedure.procedure_id, description)
|
|
||||||
}
|
|
||||||
None => format!("- {}", procedure.procedure_id),
|
|
||||||
})
|
|
||||||
}));
|
|
||||||
}
|
|
||||||
Text::from(lines)
|
|
||||||
} else {
|
|
||||||
Text::from(vec![
|
|
||||||
Line::from(format_leaf_ref(&node.path, leaf_name)).bold(),
|
|
||||||
Line::from("The root host has not learned this leaf yet."),
|
|
||||||
])
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
fn render_trace(&self, frame: &mut Frame<'_>, area: Rect) {
|
|
||||||
let items = self
|
|
||||||
.simulation
|
|
||||||
.trace
|
|
||||||
.iter()
|
|
||||||
.rev()
|
|
||||||
.take(12)
|
|
||||||
.map(|event| {
|
|
||||||
ListItem::new(format!(
|
|
||||||
"#{:03} {} | {}",
|
|
||||||
event.tick, event.node_path, event.summary
|
|
||||||
))
|
|
||||||
})
|
|
||||||
.collect::<Vec<_>>();
|
|
||||||
frame.render_widget(
|
|
||||||
List::new(items).block(Block::default().borders(Borders::ALL).title("Trace")),
|
|
||||||
area,
|
|
||||||
);
|
|
||||||
}
|
|
||||||
|
|
||||||
fn render_hooks(&self, frame: &mut Frame<'_>, area: Rect) {
|
|
||||||
let items = self
|
|
||||||
.simulation
|
|
||||||
.hooks
|
|
||||||
.values()
|
|
||||||
.map(|hook| {
|
|
||||||
let status = if hook.closed { "closed" } else { "open" };
|
|
||||||
ListItem::new(format!(
|
|
||||||
"{} -> {} [{}] {}",
|
|
||||||
format_hook_ref(&hook.host_path, hook.hook_id),
|
|
||||||
format_path(&hook.peer_path),
|
|
||||||
status,
|
|
||||||
hook.last_message,
|
|
||||||
))
|
|
||||||
})
|
|
||||||
.collect::<Vec<_>>();
|
|
||||||
frame.render_widget(
|
|
||||||
List::new(items).block(Block::default().borders(Borders::ALL).title("Hooks")),
|
|
||||||
area,
|
|
||||||
);
|
|
||||||
}
|
|
||||||
|
|
||||||
fn render_footer(&self, frame: &mut Frame<'_>, area: Rect) {
|
|
||||||
let help = vec![
|
|
||||||
Line::from(self.status.clone()).style(Style::default().add_modifier(Modifier::BOLD)),
|
|
||||||
Line::from(
|
|
||||||
"Keys: arrows move selection/scenario | i introspect | e echo leaf | p ping | c chunked | h open chat | d chat data | b chat bye | f invalid peer | g toggle ground-truth/realistic | m clear deeper memory + realistic | s step | a autoplay | q quit",
|
|
||||||
),
|
|
||||||
Line::from(format!(
|
|
||||||
"Current selection: {}",
|
|
||||||
self.simulation.selection_summary(self.selected())
|
|
||||||
)),
|
|
||||||
Line::from(match self.simulation.recorded_events.last() {
|
|
||||||
Some(RecordedEvent::Data {
|
|
||||||
node_path, message, ..
|
|
||||||
}) => {
|
|
||||||
format!(
|
|
||||||
"Last local event: Data at {node_path} ({})",
|
|
||||||
String::from_utf8_lossy(&message.data)
|
|
||||||
)
|
|
||||||
}
|
|
||||||
Some(RecordedEvent::Fault {
|
|
||||||
node_path, message, ..
|
|
||||||
}) => {
|
|
||||||
format!(
|
|
||||||
"Last local event: Fault at {node_path} (0x{:02X})",
|
|
||||||
message.fault.0
|
|
||||||
)
|
|
||||||
}
|
|
||||||
Some(RecordedEvent::Call {
|
|
||||||
node_path, message, ..
|
|
||||||
}) => {
|
|
||||||
format!(
|
|
||||||
"Last local event: Call at {node_path} ({})",
|
|
||||||
message.procedure_id
|
|
||||||
)
|
|
||||||
}
|
|
||||||
None => "Last local event: none yet".to_owned(),
|
|
||||||
}),
|
|
||||||
];
|
|
||||||
|
|
||||||
frame.render_widget(
|
|
||||||
Paragraph::new(Text::from(help))
|
|
||||||
.block(Block::default().borders(Borders::ALL).title("Status"))
|
|
||||||
.wrap(Wrap { trim: true }),
|
|
||||||
area,
|
|
||||||
);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
pub(super) fn build_selections(simulation: &Simulation) -> Vec<Selection> {
|
|
||||||
let mut selections = Vec::new();
|
|
||||||
let node_ids: Vec<_> = match simulation.inspector_mode {
|
|
||||||
InspectorMode::GroundTruth => simulation.tree.nodes.iter().map(|node| node.id).collect(),
|
|
||||||
InspectorMode::Realistic => simulation
|
|
||||||
.root_knowledge
|
|
||||||
.known_paths()
|
|
||||||
.into_iter()
|
|
||||||
.filter_map(|path| simulation.tree.find_by_path(&path))
|
|
||||||
.collect(),
|
|
||||||
};
|
|
||||||
|
|
||||||
for node_id in node_ids {
|
|
||||||
let node = simulation.node(node_id);
|
|
||||||
selections.push(Selection::Node(node.id));
|
|
||||||
match simulation.inspector_mode {
|
|
||||||
InspectorMode::GroundTruth => {
|
|
||||||
for leaf in &node.leaves {
|
|
||||||
selections.push(Selection::Leaf {
|
|
||||||
node_id: node.id,
|
|
||||||
leaf_name: leaf.name.clone(),
|
|
||||||
});
|
|
||||||
}
|
|
||||||
}
|
|
||||||
InspectorMode::Realistic => {
|
|
||||||
if let Some(learned) = simulation.root_knowledge.node(&node.path) {
|
|
||||||
for leaf in &learned.leaves {
|
|
||||||
selections.push(Selection::Leaf {
|
|
||||||
node_id: node.id,
|
|
||||||
leaf_name: leaf.leaf_name.clone(),
|
|
||||||
});
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
selections
|
|
||||||
}
|
|
||||||
|
|||||||
@@ -0,0 +1,184 @@
|
|||||||
|
//! Inspector rendering.
|
||||||
|
//!
|
||||||
|
//! The inspector has the most view-specific branching because it renders either
|
||||||
|
//! ground-truth scenario metadata or the root host's learned knowledge model.
|
||||||
|
|
||||||
|
use ratatui::{
|
||||||
|
Frame,
|
||||||
|
prelude::Stylize,
|
||||||
|
text::{Line, Text},
|
||||||
|
widgets::{Block, Borders, Paragraph, Wrap},
|
||||||
|
};
|
||||||
|
|
||||||
|
use crate::{
|
||||||
|
model::{Selection, format_leaf_ref, format_path},
|
||||||
|
sim::InspectorMode,
|
||||||
|
};
|
||||||
|
|
||||||
|
use super::super::App;
|
||||||
|
|
||||||
|
impl App {
|
||||||
|
pub(super) fn render_inspector(&self, frame: &mut Frame<'_>, area: ratatui::layout::Rect) {
|
||||||
|
let selection = self.selected();
|
||||||
|
let body = match self.simulation.inspector_mode {
|
||||||
|
InspectorMode::GroundTruth => self.render_ground_truth_inspector(selection),
|
||||||
|
InspectorMode::Realistic => self.render_realistic_inspector(selection),
|
||||||
|
};
|
||||||
|
|
||||||
|
frame.render_widget(
|
||||||
|
Paragraph::new(body)
|
||||||
|
.block(Block::default().borders(Borders::ALL).title("Inspector"))
|
||||||
|
.wrap(Wrap { trim: true }),
|
||||||
|
area,
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
||||||
|
fn render_ground_truth_inspector(&self, selection: &Selection) -> Text<'static> {
|
||||||
|
match selection {
|
||||||
|
Selection::Node(node_id) => {
|
||||||
|
let node = self.simulation.node(*node_id);
|
||||||
|
let mut lines = vec![
|
||||||
|
Line::from(node.title.clone()).bold(),
|
||||||
|
Line::from(node.description.clone()),
|
||||||
|
Line::from(format!("Path: {}", node.display_path())),
|
||||||
|
Line::from(format!("Children: {}", node.children.len())),
|
||||||
|
Line::from(format!("Leaves: {}", node.leaves.len())),
|
||||||
|
Line::from(format!(
|
||||||
|
"Endpoint procedures: {}",
|
||||||
|
node.endpoint_procedures.len()
|
||||||
|
)),
|
||||||
|
Line::default(),
|
||||||
|
Line::from("Endpoint procedures:"),
|
||||||
|
];
|
||||||
|
lines.extend(node.endpoint_procedures.iter().map(|procedure| {
|
||||||
|
Line::from(format!(
|
||||||
|
"- {}: {}",
|
||||||
|
procedure.procedure_id, procedure.description
|
||||||
|
))
|
||||||
|
}));
|
||||||
|
lines.extend(node.leaves.iter().map(|leaf| {
|
||||||
|
Line::from(format!("- {}", format_leaf_ref(&node.path, &leaf.name)))
|
||||||
|
}));
|
||||||
|
Text::from(lines)
|
||||||
|
}
|
||||||
|
Selection::Leaf { node_id, leaf_name } => {
|
||||||
|
let node = self.simulation.node(*node_id);
|
||||||
|
let leaf = node
|
||||||
|
.leaves
|
||||||
|
.iter()
|
||||||
|
.find(|leaf| &leaf.name == leaf_name)
|
||||||
|
.expect("selection should stay valid");
|
||||||
|
let mut lines = vec![
|
||||||
|
Line::from(format_leaf_ref(&node.path, &leaf.name)).bold(),
|
||||||
|
Line::from(leaf.description.clone()),
|
||||||
|
Line::from(format!("Node: {}", node.display_path())),
|
||||||
|
Line::from("Procedures:"),
|
||||||
|
];
|
||||||
|
lines.extend(
|
||||||
|
leaf.procedures
|
||||||
|
.iter()
|
||||||
|
.map(|procedure| Line::from(format!("- {}", procedure))),
|
||||||
|
);
|
||||||
|
Text::from(lines)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn render_realistic_inspector(&self, selection: &Selection) -> Text<'static> {
|
||||||
|
match selection {
|
||||||
|
Selection::Node(node_id) => {
|
||||||
|
let node = self.simulation.node(*node_id);
|
||||||
|
if let Some(learned) = self.simulation.root_knowledge.node(&node.path) {
|
||||||
|
let mut lines = vec![
|
||||||
|
Line::from(learned.title.clone().unwrap_or_else(|| node.display_path()))
|
||||||
|
.bold(),
|
||||||
|
Line::from(
|
||||||
|
learned
|
||||||
|
.description
|
||||||
|
.clone()
|
||||||
|
.unwrap_or_else(|| "No learned description yet.".to_owned()),
|
||||||
|
),
|
||||||
|
Line::from(format!("Path: {}", format_path(&learned.path))),
|
||||||
|
Line::from(format!("Known direct child: {}", learned.direct_child)),
|
||||||
|
Line::from(format!(
|
||||||
|
"Endpoint introspected: {}",
|
||||||
|
learned.endpoint_introspected
|
||||||
|
)),
|
||||||
|
Line::default(),
|
||||||
|
Line::from("Known endpoint procedures:"),
|
||||||
|
];
|
||||||
|
if learned.endpoint_procedures.is_empty() {
|
||||||
|
lines.push(Line::from("- none learned"));
|
||||||
|
} else {
|
||||||
|
lines.extend(learned.endpoint_procedures.iter().map(|procedure| {
|
||||||
|
Line::from(match &procedure.description {
|
||||||
|
Some(description) => {
|
||||||
|
format!("- {}: {}", procedure.procedure_id, description)
|
||||||
|
}
|
||||||
|
None => format!("- {}", procedure.procedure_id),
|
||||||
|
})
|
||||||
|
}));
|
||||||
|
}
|
||||||
|
lines.push(Line::default());
|
||||||
|
lines.push(Line::from("Known leaves:"));
|
||||||
|
if learned.leaves.is_empty() {
|
||||||
|
lines.push(Line::from("- none learned"));
|
||||||
|
} else {
|
||||||
|
lines.extend(learned.leaves.iter().map(|leaf| {
|
||||||
|
Line::from(format!(
|
||||||
|
"- {}",
|
||||||
|
format_leaf_ref(&learned.path, &leaf.leaf_name)
|
||||||
|
))
|
||||||
|
}));
|
||||||
|
}
|
||||||
|
Text::from(lines)
|
||||||
|
} else {
|
||||||
|
Text::from(vec![
|
||||||
|
Line::from(node.display_path()).bold(),
|
||||||
|
Line::from(
|
||||||
|
"The root host has not learned anything about this endpoint yet.",
|
||||||
|
),
|
||||||
|
])
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Selection::Leaf { node_id, leaf_name } => {
|
||||||
|
let node = self.simulation.node(*node_id);
|
||||||
|
if let Some(learned) = self.simulation.root_knowledge.node(&node.path)
|
||||||
|
&& let Some(leaf) = learned
|
||||||
|
.leaves
|
||||||
|
.iter()
|
||||||
|
.find(|leaf| &leaf.leaf_name == leaf_name)
|
||||||
|
{
|
||||||
|
let mut lines = vec![
|
||||||
|
Line::from(format_leaf_ref(&node.path, &leaf.leaf_name)).bold(),
|
||||||
|
Line::from(
|
||||||
|
leaf.description
|
||||||
|
.clone()
|
||||||
|
.unwrap_or_else(|| "No learned description yet.".to_owned()),
|
||||||
|
),
|
||||||
|
Line::from(format!("Node: {}", node.display_path())),
|
||||||
|
Line::from("Known procedures:"),
|
||||||
|
];
|
||||||
|
if leaf.procedures.is_empty() {
|
||||||
|
lines.push(Line::from("- none learned"));
|
||||||
|
} else {
|
||||||
|
lines.extend(leaf.procedures.iter().map(|procedure| {
|
||||||
|
Line::from(match &procedure.description {
|
||||||
|
Some(description) => {
|
||||||
|
format!("- {}: {}", procedure.procedure_id, description)
|
||||||
|
}
|
||||||
|
None => format!("- {}", procedure.procedure_id),
|
||||||
|
})
|
||||||
|
}));
|
||||||
|
}
|
||||||
|
Text::from(lines)
|
||||||
|
} else {
|
||||||
|
Text::from(vec![
|
||||||
|
Line::from(format_leaf_ref(&node.path, leaf_name)).bold(),
|
||||||
|
Line::from("The root host has not learned this leaf yet."),
|
||||||
|
])
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
@@ -0,0 +1,261 @@
|
|||||||
|
//! Non-inspector UI panels.
|
||||||
|
|
||||||
|
use ratatui::{
|
||||||
|
Frame,
|
||||||
|
layout::{Constraint, Direction, Layout, Rect},
|
||||||
|
style::{Modifier, Style},
|
||||||
|
text::Line,
|
||||||
|
widgets::{Block, Borders, List, ListItem, Paragraph, Wrap},
|
||||||
|
};
|
||||||
|
|
||||||
|
use crate::{
|
||||||
|
model::{Selection, format_hook_ref, format_leaf_ref, format_path},
|
||||||
|
sim::{InspectorMode, RecordedEvent, Simulation},
|
||||||
|
};
|
||||||
|
|
||||||
|
use super::super::App;
|
||||||
|
|
||||||
|
impl App {
|
||||||
|
pub(crate) fn render(&self, frame: &mut Frame<'_>) {
|
||||||
|
let chunks = Layout::default()
|
||||||
|
.direction(Direction::Vertical)
|
||||||
|
.constraints([
|
||||||
|
Constraint::Length(3),
|
||||||
|
Constraint::Min(14),
|
||||||
|
Constraint::Length(8),
|
||||||
|
])
|
||||||
|
.split(frame.area());
|
||||||
|
|
||||||
|
self.render_header(frame, chunks[0]);
|
||||||
|
self.render_body(frame, chunks[1]);
|
||||||
|
self.render_footer(frame, chunks[2]);
|
||||||
|
}
|
||||||
|
|
||||||
|
fn render_header(&self, frame: &mut Frame<'_>, area: Rect) {
|
||||||
|
let mode = match self.simulation.inspector_mode {
|
||||||
|
InspectorMode::GroundTruth => "ground truth",
|
||||||
|
InspectorMode::Realistic => "realistic",
|
||||||
|
};
|
||||||
|
let title = format!(
|
||||||
|
"treetest | scenario {} / {}: {} | {}",
|
||||||
|
self.scenario_index + 1,
|
||||||
|
self.scenarios.len(),
|
||||||
|
self.scenarios[self.scenario_index].name,
|
||||||
|
mode
|
||||||
|
);
|
||||||
|
frame.render_widget(
|
||||||
|
Paragraph::new(title).block(Block::default().borders(Borders::ALL).title("Scenario")),
|
||||||
|
area,
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
||||||
|
fn render_body(&self, frame: &mut Frame<'_>, area: Rect) {
|
||||||
|
let columns = Layout::default()
|
||||||
|
.direction(Direction::Horizontal)
|
||||||
|
.constraints([
|
||||||
|
Constraint::Length(34),
|
||||||
|
Constraint::Percentage(36),
|
||||||
|
Constraint::Percentage(32),
|
||||||
|
])
|
||||||
|
.split(area);
|
||||||
|
|
||||||
|
let scenario_items = self
|
||||||
|
.scenarios
|
||||||
|
.iter()
|
||||||
|
.enumerate()
|
||||||
|
.map(|(index, scenario)| {
|
||||||
|
let label = if index == self.scenario_index {
|
||||||
|
format!("> {}", scenario.name)
|
||||||
|
} else {
|
||||||
|
format!(" {}", scenario.name)
|
||||||
|
};
|
||||||
|
ListItem::new(label)
|
||||||
|
})
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
frame.render_widget(
|
||||||
|
List::new(scenario_items)
|
||||||
|
.block(Block::default().borders(Borders::ALL).title("Scenarios")),
|
||||||
|
columns[0],
|
||||||
|
);
|
||||||
|
|
||||||
|
let center = Layout::default()
|
||||||
|
.direction(Direction::Vertical)
|
||||||
|
.constraints([Constraint::Percentage(54), Constraint::Percentage(46)])
|
||||||
|
.split(columns[1]);
|
||||||
|
self.render_selection_list(frame, center[0]);
|
||||||
|
self.render_inspector(frame, center[1]);
|
||||||
|
|
||||||
|
let right = Layout::default()
|
||||||
|
.direction(Direction::Vertical)
|
||||||
|
.constraints([Constraint::Percentage(50), Constraint::Percentage(50)])
|
||||||
|
.split(columns[2]);
|
||||||
|
self.render_trace(frame, right[0]);
|
||||||
|
self.render_hooks(frame, right[1]);
|
||||||
|
}
|
||||||
|
|
||||||
|
fn render_selection_list(&self, frame: &mut Frame<'_>, area: Rect) {
|
||||||
|
let items = self
|
||||||
|
.selections
|
||||||
|
.iter()
|
||||||
|
.enumerate()
|
||||||
|
.map(|(index, selection)| {
|
||||||
|
let label = match selection {
|
||||||
|
Selection::Node(node_id) => {
|
||||||
|
let node = self.simulation.node(*node_id);
|
||||||
|
format!(
|
||||||
|
"{} {}",
|
||||||
|
if index == self.selection_index {
|
||||||
|
">"
|
||||||
|
} else {
|
||||||
|
" "
|
||||||
|
},
|
||||||
|
node.display_path()
|
||||||
|
)
|
||||||
|
}
|
||||||
|
Selection::Leaf { node_id, leaf_name } => format!(
|
||||||
|
"{} {}",
|
||||||
|
if index == self.selection_index {
|
||||||
|
">"
|
||||||
|
} else {
|
||||||
|
" "
|
||||||
|
},
|
||||||
|
format_leaf_ref(&self.simulation.node(*node_id).path, leaf_name)
|
||||||
|
),
|
||||||
|
};
|
||||||
|
ListItem::new(label)
|
||||||
|
})
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
frame.render_widget(
|
||||||
|
List::new(items).block(Block::default().borders(Borders::ALL).title("Tree")),
|
||||||
|
area,
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
||||||
|
fn render_trace(&self, frame: &mut Frame<'_>, area: Rect) {
|
||||||
|
let items = self
|
||||||
|
.simulation
|
||||||
|
.trace
|
||||||
|
.iter()
|
||||||
|
.rev()
|
||||||
|
.take(12)
|
||||||
|
.map(|event| {
|
||||||
|
ListItem::new(format!(
|
||||||
|
"#{:03} {} | {}",
|
||||||
|
event.tick, event.node_path, event.summary
|
||||||
|
))
|
||||||
|
})
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
frame.render_widget(
|
||||||
|
List::new(items).block(Block::default().borders(Borders::ALL).title("Trace")),
|
||||||
|
area,
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
||||||
|
fn render_hooks(&self, frame: &mut Frame<'_>, area: Rect) {
|
||||||
|
let items = self
|
||||||
|
.simulation
|
||||||
|
.hooks
|
||||||
|
.values()
|
||||||
|
.map(|hook| {
|
||||||
|
let status = if hook.closed { "closed" } else { "open" };
|
||||||
|
ListItem::new(format!(
|
||||||
|
"{} -> {} [{}] {}",
|
||||||
|
format_hook_ref(&hook.host_path, hook.hook_id),
|
||||||
|
format_path(&hook.peer_path),
|
||||||
|
status,
|
||||||
|
hook.last_message,
|
||||||
|
))
|
||||||
|
})
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
frame.render_widget(
|
||||||
|
List::new(items).block(Block::default().borders(Borders::ALL).title("Hooks")),
|
||||||
|
area,
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
||||||
|
fn render_footer(&self, frame: &mut Frame<'_>, area: Rect) {
|
||||||
|
let help = vec![
|
||||||
|
Line::from(self.status.clone()).style(Style::default().add_modifier(Modifier::BOLD)),
|
||||||
|
Line::from(
|
||||||
|
"Keys: arrows move selection/scenario | i introspect | e echo leaf | p ping | c chunked | h open chat | d chat data | b chat bye | f invalid peer | g toggle ground-truth/realistic | m clear deeper memory + realistic | s step | a autoplay | q quit",
|
||||||
|
),
|
||||||
|
Line::from(format!(
|
||||||
|
"Current selection: {}",
|
||||||
|
self.simulation.selection_summary(self.selected())
|
||||||
|
)),
|
||||||
|
Line::from(match self.simulation.recorded_events.last() {
|
||||||
|
Some(RecordedEvent::Data {
|
||||||
|
node_path, message, ..
|
||||||
|
}) => {
|
||||||
|
format!(
|
||||||
|
"Last local event: Data at {node_path} ({})",
|
||||||
|
String::from_utf8_lossy(&message.data)
|
||||||
|
)
|
||||||
|
}
|
||||||
|
Some(RecordedEvent::Fault {
|
||||||
|
node_path, message, ..
|
||||||
|
}) => {
|
||||||
|
format!(
|
||||||
|
"Last local event: Fault at {node_path} (0x{:02X})",
|
||||||
|
message.fault.0
|
||||||
|
)
|
||||||
|
}
|
||||||
|
Some(RecordedEvent::Call {
|
||||||
|
node_path, message, ..
|
||||||
|
}) => {
|
||||||
|
format!(
|
||||||
|
"Last local event: Call at {node_path} ({})",
|
||||||
|
message.procedure_id
|
||||||
|
)
|
||||||
|
}
|
||||||
|
None => "Last local event: none yet".to_owned(),
|
||||||
|
}),
|
||||||
|
];
|
||||||
|
|
||||||
|
frame.render_widget(
|
||||||
|
Paragraph::new(help.into_iter().collect::<ratatui::text::Text<'_>>())
|
||||||
|
.block(Block::default().borders(Borders::ALL).title("Status"))
|
||||||
|
.wrap(Wrap { trim: true }),
|
||||||
|
area,
|
||||||
|
);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(crate) fn build_selections(simulation: &Simulation) -> Vec<Selection> {
|
||||||
|
let mut selections = Vec::new();
|
||||||
|
let node_ids: Vec<_> = match simulation.inspector_mode {
|
||||||
|
InspectorMode::GroundTruth => simulation.tree.nodes.iter().map(|node| node.id).collect(),
|
||||||
|
InspectorMode::Realistic => simulation
|
||||||
|
.root_knowledge
|
||||||
|
.known_paths()
|
||||||
|
.into_iter()
|
||||||
|
.filter_map(|path| simulation.tree.find_by_path(&path))
|
||||||
|
.collect(),
|
||||||
|
};
|
||||||
|
|
||||||
|
for node_id in node_ids {
|
||||||
|
let node = simulation.node(node_id);
|
||||||
|
selections.push(Selection::Node(node.id));
|
||||||
|
match simulation.inspector_mode {
|
||||||
|
InspectorMode::GroundTruth => {
|
||||||
|
for leaf in &node.leaves {
|
||||||
|
selections.push(Selection::Leaf {
|
||||||
|
node_id: node.id,
|
||||||
|
leaf_name: leaf.name.clone(),
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
InspectorMode::Realistic => {
|
||||||
|
if let Some(learned) = simulation.root_knowledge.node(&node.path) {
|
||||||
|
for leaf in &learned.leaves {
|
||||||
|
selections.push(Selection::Leaf {
|
||||||
|
node_id: node.id,
|
||||||
|
leaf_name: leaf.leaf_name.clone(),
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
selections
|
||||||
|
}
|
||||||
+9
-1198
File diff suppressed because it is too large
Load Diff
@@ -0,0 +1,322 @@
|
|||||||
|
//! Public action helpers exposed to the UI and tests.
|
||||||
|
|
||||||
|
use crossbeam_channel::TryRecvError;
|
||||||
|
use unshell::protocol::tree::Endpoint;
|
||||||
|
use unshell::protocol::{DataMessage, FaultMessage, PacketHeader, PacketType, decode_frame};
|
||||||
|
|
||||||
|
use crate::model::{NodeId, Selection, format_hook_ref, format_leaf_ref, format_path};
|
||||||
|
|
||||||
|
use super::types::{ActionResult, RecordedEvent, SimError, Simulation};
|
||||||
|
|
||||||
|
impl Simulation {
|
||||||
|
/// Builds and routes an endpoint introspection call from the root.
|
||||||
|
pub fn call_endpoint_introspection(
|
||||||
|
&mut self,
|
||||||
|
node_id: NodeId,
|
||||||
|
) -> Result<ActionResult, SimError> {
|
||||||
|
let path = self.tree.node(node_id).path.clone();
|
||||||
|
self.dispatch_root_call(path.clone(), None, "", Vec::new())?;
|
||||||
|
Ok(ActionResult {
|
||||||
|
label: format!("Inspect endpoint {}", format_path(&path)),
|
||||||
|
hook_id: self.hooks.last_key_value().map(|(hook_id, _)| *hook_id),
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Builds and routes a leaf introspection call from the root.
|
||||||
|
pub fn call_leaf_introspection(
|
||||||
|
&mut self,
|
||||||
|
node_id: NodeId,
|
||||||
|
leaf_name: &str,
|
||||||
|
) -> Result<ActionResult, SimError> {
|
||||||
|
let node_path = self.tree.node(node_id).path.clone();
|
||||||
|
self.require_leaf(node_id, leaf_name)?;
|
||||||
|
let node = self.tree.node(node_id).clone();
|
||||||
|
if let Some(leaf_spec) = node.leaves.iter().find(|leaf| leaf.name == leaf_name) {
|
||||||
|
self.root_knowledge
|
||||||
|
.remember_leaf_from_spec(&node, leaf_spec);
|
||||||
|
}
|
||||||
|
self.dispatch_root_call(node_path, Some(leaf_name.to_owned()), "", Vec::new())?;
|
||||||
|
Ok(ActionResult {
|
||||||
|
label: format!(
|
||||||
|
"Inspect {}",
|
||||||
|
format_leaf_ref(&self.node(node_id).path, leaf_name)
|
||||||
|
),
|
||||||
|
hook_id: self.hooks.last_key_value().map(|(hook_id, _)| *hook_id),
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Calls a leaf echo procedure using the selected payload.
|
||||||
|
pub fn call_echo_leaf(
|
||||||
|
&mut self,
|
||||||
|
node_id: NodeId,
|
||||||
|
leaf_name: &str,
|
||||||
|
text: &str,
|
||||||
|
) -> Result<ActionResult, SimError> {
|
||||||
|
let node_path = self.tree.node(node_id).path.clone();
|
||||||
|
let node_display = self.tree.node(node_id).display_path();
|
||||||
|
let node = self.tree.node(node_id).clone();
|
||||||
|
let procedures = self.require_leaf(node_id, leaf_name)?.procedures.clone();
|
||||||
|
if let Some(leaf_spec) = node
|
||||||
|
.leaves
|
||||||
|
.iter()
|
||||||
|
.find(|known_leaf| known_leaf.name == leaf_name)
|
||||||
|
{
|
||||||
|
self.root_knowledge
|
||||||
|
.remember_leaf_from_spec(&node, leaf_spec);
|
||||||
|
}
|
||||||
|
let procedure_id =
|
||||||
|
procedures
|
||||||
|
.first()
|
||||||
|
.cloned()
|
||||||
|
.ok_or_else(|| SimError::UnknownProcedure {
|
||||||
|
node_path: node_display.clone(),
|
||||||
|
procedure_id: "<missing>".to_owned(),
|
||||||
|
})?;
|
||||||
|
self.dispatch_root_call(
|
||||||
|
node_path,
|
||||||
|
Some(leaf_name.to_owned()),
|
||||||
|
&procedure_id,
|
||||||
|
text.as_bytes().to_vec(),
|
||||||
|
)?;
|
||||||
|
Ok(ActionResult {
|
||||||
|
label: format!(
|
||||||
|
"Echo via {}",
|
||||||
|
format_leaf_ref(&self.node(node_id).path, leaf_name)
|
||||||
|
),
|
||||||
|
hook_id: self.hooks.last_key_value().map(|(hook_id, _)| *hook_id),
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Calls an endpoint-level procedure.
|
||||||
|
pub fn call_endpoint_procedure(
|
||||||
|
&mut self,
|
||||||
|
node_id: NodeId,
|
||||||
|
procedure_id: &str,
|
||||||
|
data: Vec<u8>,
|
||||||
|
) -> Result<ActionResult, SimError> {
|
||||||
|
let node_path = self.tree.node(node_id).path.clone();
|
||||||
|
let node_display = self.tree.node(node_id).display_path();
|
||||||
|
self.require_endpoint_procedure(node_id, procedure_id)?;
|
||||||
|
let node = self.tree.node(node_id).clone();
|
||||||
|
if let Some(procedure) = node
|
||||||
|
.endpoint_procedures
|
||||||
|
.iter()
|
||||||
|
.find(|known_procedure| known_procedure.procedure_id == procedure_id)
|
||||||
|
{
|
||||||
|
self.root_knowledge
|
||||||
|
.remember_endpoint_procedure(&node, procedure);
|
||||||
|
}
|
||||||
|
self.dispatch_root_call(node_path, None, procedure_id, data)?;
|
||||||
|
Ok(ActionResult {
|
||||||
|
label: format!("Call {procedure_id} on {}", node_display),
|
||||||
|
hook_id: self.hooks.last_key_value().map(|(hook_id, _)| *hook_id),
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Sends a raw call without demo-side validation so tests can exercise
|
||||||
|
/// remote `UnknownLeaf` and `UnknownProcedure` fault behavior.
|
||||||
|
pub fn call_unchecked(
|
||||||
|
&mut self,
|
||||||
|
node_id: NodeId,
|
||||||
|
dst_leaf: Option<&str>,
|
||||||
|
procedure_id: &str,
|
||||||
|
data: Vec<u8>,
|
||||||
|
) -> Result<ActionResult, SimError> {
|
||||||
|
let node_path = self.tree.node(node_id).path.clone();
|
||||||
|
let node_display = self.tree.node(node_id).display_path();
|
||||||
|
self.dispatch_root_call(node_path, dst_leaf.map(str::to_owned), procedure_id, data)?;
|
||||||
|
Ok(ActionResult {
|
||||||
|
label: format!(
|
||||||
|
"Call {} on {}{}",
|
||||||
|
if procedure_id.is_empty() {
|
||||||
|
"<introspection>"
|
||||||
|
} else {
|
||||||
|
procedure_id
|
||||||
|
},
|
||||||
|
node_display,
|
||||||
|
dst_leaf
|
||||||
|
.map(|leaf_name| format!(
|
||||||
|
" {}",
|
||||||
|
format_leaf_ref(&self.node(node_id).path, leaf_name)
|
||||||
|
))
|
||||||
|
.unwrap_or_default()
|
||||||
|
),
|
||||||
|
hook_id: self.hooks.last_key_value().map(|(hook_id, _)| *hook_id),
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Sends more hook data from the root side.
|
||||||
|
pub fn send_root_hook_data(
|
||||||
|
&mut self,
|
||||||
|
hook_id: u64,
|
||||||
|
text: &str,
|
||||||
|
end_hook: bool,
|
||||||
|
) -> Result<ActionResult, SimError> {
|
||||||
|
let snapshot = self
|
||||||
|
.hooks
|
||||||
|
.get(&hook_id)
|
||||||
|
.cloned()
|
||||||
|
.ok_or(SimError::UnknownHook(hook_id))?;
|
||||||
|
let frame = self.nodes[self.root_id.0]
|
||||||
|
.endpoint
|
||||||
|
.make_data(
|
||||||
|
snapshot.peer_path.clone(),
|
||||||
|
hook_id,
|
||||||
|
snapshot.procedure_id.clone(),
|
||||||
|
text.as_bytes().to_vec(),
|
||||||
|
end_hook,
|
||||||
|
)
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
self.record_trace(
|
||||||
|
self.root_id,
|
||||||
|
format!(
|
||||||
|
"root queued hook data for {}: {text}",
|
||||||
|
format_hook_ref(self.node(self.root_id).path.as_slice(), hook_id)
|
||||||
|
),
|
||||||
|
);
|
||||||
|
self.process_local_frame(self.root_id, frame)?;
|
||||||
|
Ok(ActionResult {
|
||||||
|
label: format!("Send hook data {hook_id}"),
|
||||||
|
hook_id: Some(hook_id),
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Injects intentionally invalid traffic to demonstrate `InvalidHookPeer`.
|
||||||
|
pub fn inject_invalid_peer_data(
|
||||||
|
&mut self,
|
||||||
|
from_node_id: NodeId,
|
||||||
|
to_node_id: NodeId,
|
||||||
|
hook_id: u64,
|
||||||
|
procedure_id: &str,
|
||||||
|
text: &str,
|
||||||
|
) -> Result<ActionResult, SimError> {
|
||||||
|
let from_path = self.tree.node(from_node_id).path.clone();
|
||||||
|
let to_path = self.tree.node(to_node_id).path.clone();
|
||||||
|
let header = PacketHeader {
|
||||||
|
packet_type: PacketType::Data,
|
||||||
|
src_path: from_path.clone(),
|
||||||
|
dst_path: to_path.clone(),
|
||||||
|
dst_leaf: None,
|
||||||
|
hook_id: Some(hook_id),
|
||||||
|
};
|
||||||
|
let message = DataMessage {
|
||||||
|
procedure_id: procedure_id.to_owned(),
|
||||||
|
data: text.as_bytes().to_vec(),
|
||||||
|
end_hook: false,
|
||||||
|
};
|
||||||
|
let frame = unshell::protocol::encode_packet(&header, &message)
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
|
||||||
|
self.record_trace(
|
||||||
|
from_node_id,
|
||||||
|
format!(
|
||||||
|
"injected invalid peer data toward {} for {}",
|
||||||
|
format_path(&to_path),
|
||||||
|
format_hook_ref(self.node(to_node_id).path.as_slice(), hook_id)
|
||||||
|
),
|
||||||
|
);
|
||||||
|
self.process_local_frame(from_node_id, frame)?;
|
||||||
|
Ok(ActionResult {
|
||||||
|
label: format!(
|
||||||
|
"Inject invalid peer data for {}",
|
||||||
|
format_hook_ref(self.node(to_node_id).path.as_slice(), hook_id)
|
||||||
|
),
|
||||||
|
hook_id: Some(hook_id),
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Processes one queued frame if available.
|
||||||
|
pub fn step(&mut self) -> Result<bool, SimError> {
|
||||||
|
for node_id in 0..self.nodes.len() {
|
||||||
|
match self.nodes[node_id].rx.try_recv() {
|
||||||
|
Ok(envelope) => {
|
||||||
|
self.record_trace(
|
||||||
|
NodeId(node_id),
|
||||||
|
format!("received frame via {:?}", envelope.ingress),
|
||||||
|
);
|
||||||
|
let outcome = self.nodes[node_id]
|
||||||
|
.endpoint
|
||||||
|
.receive(&envelope.ingress, envelope.frame)
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
self.process_outcome(NodeId(node_id), outcome)?;
|
||||||
|
return Ok(true);
|
||||||
|
}
|
||||||
|
Err(TryRecvError::Disconnected) => {
|
||||||
|
return Err(SimError::Protocol("mailbox disconnected".to_owned()));
|
||||||
|
}
|
||||||
|
Err(TryRecvError::Empty) => {}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Ok(false)
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Runs frames until the network becomes idle.
|
||||||
|
pub fn drain(&mut self) -> Result<usize, SimError> {
|
||||||
|
let mut steps = 0;
|
||||||
|
while self.step()? {
|
||||||
|
steps += 1;
|
||||||
|
}
|
||||||
|
Ok(steps)
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Returns a compact description of a frame for debugging.
|
||||||
|
pub fn describe_frame(frame: &[u8]) -> String {
|
||||||
|
match decode_frame(frame) {
|
||||||
|
Ok(parsed) => {
|
||||||
|
let header = parsed.header();
|
||||||
|
format!(
|
||||||
|
"{:?} {} -> {} hook {:?}",
|
||||||
|
header.packet_type,
|
||||||
|
format_path(&header.src_path),
|
||||||
|
format_path(&header.dst_path),
|
||||||
|
header.hook_id,
|
||||||
|
)
|
||||||
|
}
|
||||||
|
Err(error) => format!("<invalid frame: {error}>"),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Returns the latest fault observed at the root, if any.
|
||||||
|
pub fn latest_root_fault(&self) -> Option<&FaultMessage> {
|
||||||
|
self.recorded_events
|
||||||
|
.iter()
|
||||||
|
.rev()
|
||||||
|
.find_map(|event| match event {
|
||||||
|
RecordedEvent::Fault {
|
||||||
|
node_path, message, ..
|
||||||
|
} if node_path == "/" => Some(message),
|
||||||
|
_ => None,
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Returns the latest root data message as utf-8 for tests and status text.
|
||||||
|
pub fn latest_root_data_text(&self) -> Option<String> {
|
||||||
|
self.recorded_events
|
||||||
|
.iter()
|
||||||
|
.rev()
|
||||||
|
.find_map(|event| match event {
|
||||||
|
RecordedEvent::Data {
|
||||||
|
node_path, message, ..
|
||||||
|
} if node_path == "/" => Some(String::from_utf8_lossy(&message.data).to_string()),
|
||||||
|
_ => None,
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Returns all hook ids known to the demo in ascending order.
|
||||||
|
pub fn hook_ids(&self) -> Vec<u64> {
|
||||||
|
self.hooks.keys().copied().collect()
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Builds a human-readable description of the current selection.
|
||||||
|
pub fn selection_summary(&self, selection: &Selection) -> String {
|
||||||
|
match selection {
|
||||||
|
Selection::Node(node_id) => {
|
||||||
|
let node = self.node(*node_id);
|
||||||
|
format!("{}: {}", node.display_path(), node.title)
|
||||||
|
}
|
||||||
|
Selection::Leaf { node_id, leaf_name } => {
|
||||||
|
format_leaf_ref(&self.node(*node_id).path, leaf_name)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
@@ -0,0 +1,106 @@
|
|||||||
|
//! Construction and mode-management helpers for the simulator.
|
||||||
|
|
||||||
|
use std::collections::{BTreeMap, VecDeque};
|
||||||
|
|
||||||
|
use crossbeam_channel::unbounded;
|
||||||
|
use unshell::protocol::tree::{ChildRoute, ConnectionState, LeafBehavior, ProtocolEndpoint};
|
||||||
|
|
||||||
|
use crate::model::{DemoTree, LeafKind, NodeId, ScenarioDefinition, Selection};
|
||||||
|
|
||||||
|
use super::knowledge::{InspectorMode, RootKnowledge};
|
||||||
|
use super::types::{ChatSession, SimError, SimNode, Simulation};
|
||||||
|
|
||||||
|
impl Simulation {
|
||||||
|
/// Creates a fresh simulation from a scenario definition.
|
||||||
|
pub fn new(scenario: ScenarioDefinition) -> Result<Self, SimError> {
|
||||||
|
let tree = DemoTree::from_root(&scenario.root);
|
||||||
|
let mut nodes = Vec::with_capacity(tree.nodes.len());
|
||||||
|
|
||||||
|
for demo_node in &tree.nodes {
|
||||||
|
let (tx, rx) = unbounded();
|
||||||
|
let children = demo_node
|
||||||
|
.children
|
||||||
|
.iter()
|
||||||
|
.map(|child_id| ChildRoute {
|
||||||
|
path: tree.node(*child_id).path.clone(),
|
||||||
|
state: ConnectionState::Registered,
|
||||||
|
})
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
let leaves = demo_node
|
||||||
|
.leaves
|
||||||
|
.iter()
|
||||||
|
.map(|leaf| unshell::protocol::tree::LeafSpec {
|
||||||
|
name: leaf.name.clone(),
|
||||||
|
procedures: leaf.procedures.clone(),
|
||||||
|
behavior: match leaf.kind {
|
||||||
|
LeafKind::Echo => LeafBehavior::Echo,
|
||||||
|
},
|
||||||
|
})
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
let parent_path = demo_node
|
||||||
|
.parent
|
||||||
|
.map(|parent_id| tree.node(parent_id).path.clone());
|
||||||
|
|
||||||
|
let mut endpoint =
|
||||||
|
ProtocolEndpoint::new(demo_node.path.clone(), parent_path, children, leaves);
|
||||||
|
for procedure in &demo_node.endpoint_procedures {
|
||||||
|
endpoint
|
||||||
|
.add_endpoint_procedure(procedure.procedure_id.clone())
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
}
|
||||||
|
|
||||||
|
nodes.push(SimNode {
|
||||||
|
parent: demo_node.parent,
|
||||||
|
children: demo_node.children.clone(),
|
||||||
|
endpoint,
|
||||||
|
tx,
|
||||||
|
rx,
|
||||||
|
});
|
||||||
|
}
|
||||||
|
|
||||||
|
let root_knowledge = RootKnowledge::new(&tree);
|
||||||
|
|
||||||
|
Ok(Self {
|
||||||
|
scenario,
|
||||||
|
tree,
|
||||||
|
nodes,
|
||||||
|
root_id: NodeId(0),
|
||||||
|
next_tick: 1,
|
||||||
|
trace: VecDeque::new(),
|
||||||
|
recorded_events: Vec::new(),
|
||||||
|
hooks: BTreeMap::new(),
|
||||||
|
inspector_mode: InspectorMode::GroundTruth,
|
||||||
|
root_knowledge,
|
||||||
|
chat_sessions: BTreeMap::<u64, ChatSession>::new(),
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Returns the scenario's initial selection.
|
||||||
|
pub fn initial_selection(&self) -> Selection {
|
||||||
|
self.scenario.initial_selection.clone()
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Returns a node by id.
|
||||||
|
pub fn node(&self, id: NodeId) -> &crate::model::DemoNode {
|
||||||
|
self.tree.node(id)
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Clears deeper root memory and switches the inspector into realistic mode.
|
||||||
|
pub fn enable_realistic_mode_with_memory_reset(&mut self) {
|
||||||
|
self.root_knowledge.clear_deeper_than_one_hop();
|
||||||
|
self.inspector_mode = InspectorMode::Realistic;
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Toggles the inspector between learned state and ground truth.
|
||||||
|
pub fn toggle_inspector_mode(&mut self) {
|
||||||
|
self.inspector_mode = match self.inspector_mode {
|
||||||
|
InspectorMode::GroundTruth => InspectorMode::Realistic,
|
||||||
|
InspectorMode::Realistic => InspectorMode::GroundTruth,
|
||||||
|
};
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Returns whether the inspector is using learned state.
|
||||||
|
pub fn is_realistic_mode(&self) -> bool {
|
||||||
|
self.inspector_mode == InspectorMode::Realistic
|
||||||
|
}
|
||||||
|
}
|
||||||
@@ -0,0 +1,248 @@
|
|||||||
|
//! Root-host knowledge tracking.
|
||||||
|
//!
|
||||||
|
//! The root inspector can either show full scenario truth or the smaller set of
|
||||||
|
//! facts a real host would have learned from direct configuration, introspection,
|
||||||
|
//! and observed traffic.
|
||||||
|
|
||||||
|
use std::collections::BTreeMap;
|
||||||
|
|
||||||
|
use unshell::protocol::{EndpointIntrospection, LeafIntrospection};
|
||||||
|
|
||||||
|
use crate::model::EndpointProcedureSpec;
|
||||||
|
|
||||||
|
/// Root inspector mode.
|
||||||
|
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
||||||
|
pub enum InspectorMode {
|
||||||
|
GroundTruth,
|
||||||
|
Realistic,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Learned procedure metadata stored by the root host.
|
||||||
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||||
|
pub struct LearnedProcedure {
|
||||||
|
pub procedure_id: String,
|
||||||
|
pub description: Option<String>,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Learned leaf metadata stored by the root host.
|
||||||
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||||
|
pub struct LearnedLeaf {
|
||||||
|
pub leaf_name: String,
|
||||||
|
pub description: Option<String>,
|
||||||
|
pub procedures: Vec<LearnedProcedure>,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Learned endpoint metadata stored by the root host.
|
||||||
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||||
|
pub struct LearnedNode {
|
||||||
|
pub path: Vec<String>,
|
||||||
|
pub title: Option<String>,
|
||||||
|
pub description: Option<String>,
|
||||||
|
pub direct_child: bool,
|
||||||
|
pub endpoint_procedures: Vec<LearnedProcedure>,
|
||||||
|
pub leaves: Vec<LearnedLeaf>,
|
||||||
|
pub endpoint_introspected: bool,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Root-host knowledge accumulated from local configuration and observed traffic.
|
||||||
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||||
|
pub struct RootKnowledge {
|
||||||
|
pub nodes: BTreeMap<Vec<String>, LearnedNode>,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl RootKnowledge {
|
||||||
|
pub(super) fn new(tree: &crate::model::DemoTree) -> Self {
|
||||||
|
let mut knowledge = Self {
|
||||||
|
nodes: BTreeMap::new(),
|
||||||
|
};
|
||||||
|
for node in &tree.nodes {
|
||||||
|
if node.path.is_empty() || node.path.len() == 1 {
|
||||||
|
let direct_child = node.path.len() == 1;
|
||||||
|
let mut learned = LearnedNode {
|
||||||
|
path: node.path.clone(),
|
||||||
|
title: Some(node.title.clone()),
|
||||||
|
description: Some(node.description.clone()),
|
||||||
|
direct_child,
|
||||||
|
endpoint_procedures: Vec::new(),
|
||||||
|
leaves: Vec::new(),
|
||||||
|
endpoint_introspected: node.path.is_empty(),
|
||||||
|
};
|
||||||
|
|
||||||
|
if node.path.is_empty() {
|
||||||
|
learned.endpoint_procedures = node
|
||||||
|
.endpoint_procedures
|
||||||
|
.iter()
|
||||||
|
.map(|procedure| LearnedProcedure {
|
||||||
|
procedure_id: procedure.procedure_id.clone(),
|
||||||
|
description: Some(procedure.description.clone()),
|
||||||
|
})
|
||||||
|
.collect();
|
||||||
|
learned.leaves = node
|
||||||
|
.leaves
|
||||||
|
.iter()
|
||||||
|
.map(|leaf| LearnedLeaf {
|
||||||
|
leaf_name: leaf.name.clone(),
|
||||||
|
description: Some(leaf.description.clone()),
|
||||||
|
procedures: leaf
|
||||||
|
.procedures
|
||||||
|
.iter()
|
||||||
|
.map(|procedure_id| LearnedProcedure {
|
||||||
|
procedure_id: procedure_id.clone(),
|
||||||
|
description: Some(leaf.description.clone()),
|
||||||
|
})
|
||||||
|
.collect(),
|
||||||
|
})
|
||||||
|
.collect();
|
||||||
|
}
|
||||||
|
|
||||||
|
knowledge.nodes.insert(node.path.clone(), learned);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
knowledge
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn ensure_node(&mut self, demo_node: &crate::model::DemoNode) -> &mut LearnedNode {
|
||||||
|
let direct_child = demo_node.path.len() == 1;
|
||||||
|
self.nodes
|
||||||
|
.entry(demo_node.path.clone())
|
||||||
|
.or_insert_with(|| LearnedNode {
|
||||||
|
path: demo_node.path.clone(),
|
||||||
|
title: Some(demo_node.title.clone()),
|
||||||
|
description: Some(demo_node.description.clone()),
|
||||||
|
direct_child,
|
||||||
|
endpoint_procedures: Vec::new(),
|
||||||
|
leaves: Vec::new(),
|
||||||
|
endpoint_introspected: false,
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn remember_endpoint_procedure(
|
||||||
|
&mut self,
|
||||||
|
demo_node: &crate::model::DemoNode,
|
||||||
|
procedure: &EndpointProcedureSpec,
|
||||||
|
) {
|
||||||
|
let learned_node = self.ensure_node(demo_node);
|
||||||
|
push_procedure(
|
||||||
|
&mut learned_node.endpoint_procedures,
|
||||||
|
procedure.procedure_id.clone(),
|
||||||
|
Some(procedure.description.clone()),
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn remember_leaf_from_spec(
|
||||||
|
&mut self,
|
||||||
|
demo_node: &crate::model::DemoNode,
|
||||||
|
leaf_spec: &crate::model::LeafSpec,
|
||||||
|
) {
|
||||||
|
let learned_node = self.ensure_node(demo_node);
|
||||||
|
let leaf = ensure_leaf(
|
||||||
|
&mut learned_node.leaves,
|
||||||
|
leaf_spec.name.clone(),
|
||||||
|
Some(leaf_spec.description.clone()),
|
||||||
|
);
|
||||||
|
for procedure_id in &leaf_spec.procedures {
|
||||||
|
push_procedure(
|
||||||
|
&mut leaf.procedures,
|
||||||
|
procedure_id.clone(),
|
||||||
|
Some(leaf_spec.description.clone()),
|
||||||
|
);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn remember_endpoint_introspection(
|
||||||
|
&mut self,
|
||||||
|
demo_node: &crate::model::DemoNode,
|
||||||
|
introspection: &EndpointIntrospection,
|
||||||
|
) {
|
||||||
|
let learned_node = self.ensure_node(demo_node);
|
||||||
|
learned_node.endpoint_introspected = true;
|
||||||
|
for summary in &introspection.leaves {
|
||||||
|
let description = demo_node
|
||||||
|
.leaves
|
||||||
|
.iter()
|
||||||
|
.find(|leaf| leaf.name == summary.leaf_name)
|
||||||
|
.map(|leaf| leaf.description.clone());
|
||||||
|
let leaf = ensure_leaf(
|
||||||
|
&mut learned_node.leaves,
|
||||||
|
summary.leaf_name.clone(),
|
||||||
|
description,
|
||||||
|
);
|
||||||
|
for procedure_id in &summary.procedures {
|
||||||
|
push_procedure(&mut leaf.procedures, procedure_id.clone(), None);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn remember_leaf_introspection(
|
||||||
|
&mut self,
|
||||||
|
demo_node: &crate::model::DemoNode,
|
||||||
|
introspection: &LeafIntrospection,
|
||||||
|
) {
|
||||||
|
let learned_node = self.ensure_node(demo_node);
|
||||||
|
let description = demo_node
|
||||||
|
.leaves
|
||||||
|
.iter()
|
||||||
|
.find(|leaf| leaf.name == introspection.leaf_name)
|
||||||
|
.map(|leaf| leaf.description.clone());
|
||||||
|
let leaf = ensure_leaf(
|
||||||
|
&mut learned_node.leaves,
|
||||||
|
introspection.leaf_name.clone(),
|
||||||
|
description,
|
||||||
|
);
|
||||||
|
for procedure_id in &introspection.procedures {
|
||||||
|
push_procedure(&mut leaf.procedures, procedure_id.clone(), None);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn clear_deeper_than_one_hop(&mut self) {
|
||||||
|
self.nodes.retain(|path, _| path.len() <= 1);
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn node(&self, path: &[String]) -> Option<&LearnedNode> {
|
||||||
|
self.nodes.get(path)
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn known_paths(&self) -> Vec<Vec<String>> {
|
||||||
|
self.nodes.keys().cloned().collect()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn ensure_leaf<'a>(
|
||||||
|
leaves: &'a mut Vec<LearnedLeaf>,
|
||||||
|
leaf_name: String,
|
||||||
|
description: Option<String>,
|
||||||
|
) -> &'a mut LearnedLeaf {
|
||||||
|
if let Some(index) = leaves.iter().position(|leaf| leaf.leaf_name == leaf_name) {
|
||||||
|
if leaves[index].description.is_none() {
|
||||||
|
leaves[index].description = description;
|
||||||
|
}
|
||||||
|
return &mut leaves[index];
|
||||||
|
}
|
||||||
|
|
||||||
|
leaves.push(LearnedLeaf {
|
||||||
|
leaf_name,
|
||||||
|
description,
|
||||||
|
procedures: Vec::new(),
|
||||||
|
});
|
||||||
|
leaves.last_mut().expect("just pushed")
|
||||||
|
}
|
||||||
|
|
||||||
|
fn push_procedure(
|
||||||
|
procedures: &mut Vec<LearnedProcedure>,
|
||||||
|
procedure_id: String,
|
||||||
|
description: Option<String>,
|
||||||
|
) {
|
||||||
|
if let Some(existing) = procedures
|
||||||
|
.iter_mut()
|
||||||
|
.find(|procedure| procedure.procedure_id == procedure_id)
|
||||||
|
{
|
||||||
|
if existing.description.is_none() {
|
||||||
|
existing.description = description;
|
||||||
|
}
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
procedures.push(LearnedProcedure {
|
||||||
|
procedure_id,
|
||||||
|
description,
|
||||||
|
});
|
||||||
|
}
|
||||||
@@ -0,0 +1,453 @@
|
|||||||
|
//! Internal packet routing and local event handling.
|
||||||
|
//!
|
||||||
|
//! This module is where the simulated transport meets the real protocol
|
||||||
|
//! endpoint runtime. It keeps forwarding logic, local delivery, and root
|
||||||
|
//! knowledge learning separate from the user-facing action helpers.
|
||||||
|
|
||||||
|
use unshell::protocol::tree::{Endpoint, Ingress, LocalEvent, RouteDecision};
|
||||||
|
use unshell::protocol::{
|
||||||
|
CallMessage, DataMessage, FrameBytes, PacketHeader, deserialize_archived_bytes,
|
||||||
|
};
|
||||||
|
|
||||||
|
use crate::model::{
|
||||||
|
EndpointProcedureKind, EndpointProcedureSpec, NodeId, format_hook_ref, format_leaf_ref,
|
||||||
|
format_path,
|
||||||
|
};
|
||||||
|
|
||||||
|
use super::types::{Envelope, HookSnapshot, RecordedEvent, SimError, Simulation};
|
||||||
|
|
||||||
|
impl Simulation {
|
||||||
|
pub(super) fn dispatch_root_call(
|
||||||
|
&mut self,
|
||||||
|
dst_path: Vec<String>,
|
||||||
|
dst_leaf: Option<String>,
|
||||||
|
procedure_id: &str,
|
||||||
|
data: Vec<u8>,
|
||||||
|
) -> Result<(), SimError> {
|
||||||
|
let hook_id = self.nodes[self.root_id.0].endpoint.allocate_hook_id();
|
||||||
|
let frame = self.nodes[self.root_id.0]
|
||||||
|
.endpoint
|
||||||
|
.make_call(
|
||||||
|
dst_path.clone(),
|
||||||
|
dst_leaf.clone(),
|
||||||
|
procedure_id.to_owned(),
|
||||||
|
Some(hook_id),
|
||||||
|
data,
|
||||||
|
)
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
self.hooks.insert(
|
||||||
|
hook_id,
|
||||||
|
HookSnapshot {
|
||||||
|
hook_id,
|
||||||
|
host_path: Vec::new(),
|
||||||
|
peer_path: dst_path.clone(),
|
||||||
|
procedure_id: procedure_id.to_owned(),
|
||||||
|
target_leaf: dst_leaf.clone(),
|
||||||
|
closed: false,
|
||||||
|
last_message: format!("created for {}", format_path(&dst_path)),
|
||||||
|
},
|
||||||
|
);
|
||||||
|
self.record_trace(
|
||||||
|
self.root_id,
|
||||||
|
format!(
|
||||||
|
"root queued Call {} toward {}{}",
|
||||||
|
if procedure_id.is_empty() {
|
||||||
|
"<introspection>"
|
||||||
|
} else {
|
||||||
|
procedure_id
|
||||||
|
},
|
||||||
|
format_path(&dst_path),
|
||||||
|
dst_leaf
|
||||||
|
.as_ref()
|
||||||
|
.map(|leaf| format!(" {}", format_leaf_ref(&dst_path, leaf)))
|
||||||
|
.unwrap_or_default()
|
||||||
|
),
|
||||||
|
);
|
||||||
|
self.process_local_frame(self.root_id, frame)
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn process_local_frame(
|
||||||
|
&mut self,
|
||||||
|
node_id: NodeId,
|
||||||
|
frame: FrameBytes,
|
||||||
|
) -> Result<(), SimError> {
|
||||||
|
let outcome = self.nodes[node_id.0]
|
||||||
|
.endpoint
|
||||||
|
.receive(&Ingress::Local, frame)
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
self.process_outcome(node_id, outcome)
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn process_outcome(
|
||||||
|
&mut self,
|
||||||
|
node_id: NodeId,
|
||||||
|
outcome: unshell::protocol::tree::EndpointOutcome,
|
||||||
|
) -> Result<(), SimError> {
|
||||||
|
if outcome.dropped {
|
||||||
|
self.record_trace(node_id, "packet dropped".to_owned());
|
||||||
|
}
|
||||||
|
|
||||||
|
for (route, frame) in outcome.forwards {
|
||||||
|
match route {
|
||||||
|
RouteDecision::Child(index) => {
|
||||||
|
let child_id = self.nodes[node_id.0]
|
||||||
|
.children
|
||||||
|
.get(index)
|
||||||
|
.copied()
|
||||||
|
.ok_or_else(|| {
|
||||||
|
SimError::Protocol(format!("missing child index {index}"))
|
||||||
|
})?;
|
||||||
|
self.record_trace(
|
||||||
|
node_id,
|
||||||
|
format!(
|
||||||
|
"forwarded frame to child {}",
|
||||||
|
self.node(child_id).display_path()
|
||||||
|
),
|
||||||
|
);
|
||||||
|
self.nodes[child_id.0]
|
||||||
|
.tx
|
||||||
|
.send(Envelope {
|
||||||
|
ingress: Ingress::Parent,
|
||||||
|
frame,
|
||||||
|
})
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
}
|
||||||
|
RouteDecision::Parent => {
|
||||||
|
let parent_id = self.nodes[node_id.0]
|
||||||
|
.parent
|
||||||
|
.ok_or_else(|| SimError::Protocol("missing parent route".to_owned()))?;
|
||||||
|
let child_path = self.node(node_id).path.clone();
|
||||||
|
self.record_trace(
|
||||||
|
node_id,
|
||||||
|
format!(
|
||||||
|
"forwarded frame to parent {}",
|
||||||
|
self.node(parent_id).display_path()
|
||||||
|
),
|
||||||
|
);
|
||||||
|
self.nodes[parent_id.0]
|
||||||
|
.tx
|
||||||
|
.send(Envelope {
|
||||||
|
ingress: Ingress::Child(child_path),
|
||||||
|
frame,
|
||||||
|
})
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
}
|
||||||
|
RouteDecision::Local => {
|
||||||
|
return Err(SimError::Protocol(
|
||||||
|
"local route leaked into forward list".to_owned(),
|
||||||
|
));
|
||||||
|
}
|
||||||
|
RouteDecision::Drop => {
|
||||||
|
self.record_trace(node_id, "route decision dropped frame".to_owned());
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
for event in outcome.events {
|
||||||
|
self.handle_local_event(node_id, event)?;
|
||||||
|
}
|
||||||
|
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
fn handle_local_event(&mut self, node_id: NodeId, event: LocalEvent) -> Result<(), SimError> {
|
||||||
|
let node_path = self.node(node_id).display_path();
|
||||||
|
match event {
|
||||||
|
LocalEvent::Data { header, message } => {
|
||||||
|
let text = String::from_utf8_lossy(&message.data).to_string();
|
||||||
|
self.record_trace(
|
||||||
|
node_id,
|
||||||
|
format!(
|
||||||
|
"local Data on {}: {text}",
|
||||||
|
format_hook_ref(
|
||||||
|
self.node(node_id).path.as_slice(),
|
||||||
|
header.hook_id.unwrap_or(0)
|
||||||
|
)
|
||||||
|
),
|
||||||
|
);
|
||||||
|
if let Some(hook_id) = header.hook_id {
|
||||||
|
if let Some(snapshot) = self.hooks.get_mut(&hook_id) {
|
||||||
|
snapshot.last_message = if text.is_empty() {
|
||||||
|
format!("binary payload ({} bytes)", message.data.len())
|
||||||
|
} else {
|
||||||
|
text.clone()
|
||||||
|
};
|
||||||
|
if message.end_hook {
|
||||||
|
snapshot.closed = true;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
if node_id == self.root_id {
|
||||||
|
self.learn_from_root_data(hook_id, &message);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
if let Some(session) = self
|
||||||
|
.chat_sessions
|
||||||
|
.get(&header.hook_id.unwrap_or(0))
|
||||||
|
.cloned()
|
||||||
|
.filter(|session| session.node_id == node_id)
|
||||||
|
{
|
||||||
|
// Rationale: chat responses are implemented here instead of in the
|
||||||
|
// core endpoint so the protocol crate stays generic. The simulator
|
||||||
|
// acts as the application layer sitting above validated hook traffic.
|
||||||
|
let reply = if text.eq_ignore_ascii_case("bye") {
|
||||||
|
Some(("chat session closed".to_owned(), true))
|
||||||
|
} else if !text.is_empty() {
|
||||||
|
Some((format!("chat ack: {}", text.to_uppercase()), false))
|
||||||
|
} else {
|
||||||
|
None
|
||||||
|
};
|
||||||
|
|
||||||
|
if let Some((reply, end_hook)) = reply {
|
||||||
|
let frame = self.nodes[session.node_id.0]
|
||||||
|
.endpoint
|
||||||
|
.make_data(
|
||||||
|
session.host_path.clone(),
|
||||||
|
session.hook_id,
|
||||||
|
session.procedure_id.clone(),
|
||||||
|
reply.clone().into_bytes(),
|
||||||
|
end_hook,
|
||||||
|
)
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
self.record_trace(session.node_id, format!("chat handler sent: {reply}"));
|
||||||
|
self.process_local_frame(session.node_id, frame)?;
|
||||||
|
if end_hook {
|
||||||
|
self.chat_sessions.remove(&session.hook_id);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
self.recorded_events.push(RecordedEvent::Data {
|
||||||
|
node_path,
|
||||||
|
header,
|
||||||
|
message,
|
||||||
|
});
|
||||||
|
}
|
||||||
|
LocalEvent::Fault { header, message } => {
|
||||||
|
self.record_trace(
|
||||||
|
node_id,
|
||||||
|
format!(
|
||||||
|
"local Fault on {}: 0x{:02X}",
|
||||||
|
format_hook_ref(
|
||||||
|
self.node(node_id).path.as_slice(),
|
||||||
|
header.hook_id.unwrap_or(0)
|
||||||
|
),
|
||||||
|
message.fault.0
|
||||||
|
),
|
||||||
|
);
|
||||||
|
if let Some(hook_id) = header.hook_id {
|
||||||
|
if let Some(snapshot) = self.hooks.get_mut(&hook_id) {
|
||||||
|
snapshot.closed = true;
|
||||||
|
snapshot.last_message = format!("fault 0x{:02X}", message.fault.0);
|
||||||
|
}
|
||||||
|
self.chat_sessions.remove(&hook_id);
|
||||||
|
}
|
||||||
|
self.recorded_events.push(RecordedEvent::Fault {
|
||||||
|
node_path,
|
||||||
|
header,
|
||||||
|
message,
|
||||||
|
});
|
||||||
|
}
|
||||||
|
LocalEvent::Call { header, message } => {
|
||||||
|
self.record_trace(
|
||||||
|
node_id,
|
||||||
|
format!(
|
||||||
|
"local Call {} on {}",
|
||||||
|
message.procedure_id,
|
||||||
|
header
|
||||||
|
.dst_leaf
|
||||||
|
.as_ref()
|
||||||
|
.map(|leaf| format_leaf_ref(&header.dst_path, leaf))
|
||||||
|
.unwrap_or_else(|| "endpoint".to_owned())
|
||||||
|
),
|
||||||
|
);
|
||||||
|
self.handle_application_call(node_id, &header, &message)?;
|
||||||
|
self.recorded_events.push(RecordedEvent::Call {
|
||||||
|
node_path,
|
||||||
|
header,
|
||||||
|
message,
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
fn handle_application_call(
|
||||||
|
&mut self,
|
||||||
|
node_id: NodeId,
|
||||||
|
_header: &PacketHeader,
|
||||||
|
message: &CallMessage,
|
||||||
|
) -> Result<(), SimError> {
|
||||||
|
let Some(hook) = &message.response_hook else {
|
||||||
|
return Ok(());
|
||||||
|
};
|
||||||
|
|
||||||
|
let procedure = self
|
||||||
|
.lookup_endpoint_procedure(node_id, &message.procedure_id)?
|
||||||
|
.clone();
|
||||||
|
match procedure.kind {
|
||||||
|
EndpointProcedureKind::Ping => {
|
||||||
|
let reply = format!("pong from {}", self.node(node_id).display_path());
|
||||||
|
let frame = self.nodes[node_id.0]
|
||||||
|
.endpoint
|
||||||
|
.make_data(
|
||||||
|
hook.return_path.clone(),
|
||||||
|
hook.hook_id,
|
||||||
|
procedure.procedure_id.clone(),
|
||||||
|
reply.clone().into_bytes(),
|
||||||
|
true,
|
||||||
|
)
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
self.record_trace(node_id, format!("endpoint sent ping reply: {reply}"));
|
||||||
|
self.process_local_frame(node_id, frame)?;
|
||||||
|
}
|
||||||
|
EndpointProcedureKind::ChunkedGreeting => {
|
||||||
|
for (index, text) in [
|
||||||
|
"chunk 1: hello from the endpoint",
|
||||||
|
"chunk 2: routing stayed path-based",
|
||||||
|
"chunk 3: hook complete",
|
||||||
|
]
|
||||||
|
.iter()
|
||||||
|
.enumerate()
|
||||||
|
{
|
||||||
|
let frame = self.nodes[node_id.0]
|
||||||
|
.endpoint
|
||||||
|
.make_data(
|
||||||
|
hook.return_path.clone(),
|
||||||
|
hook.hook_id,
|
||||||
|
procedure.procedure_id.clone(),
|
||||||
|
text.as_bytes().to_vec(),
|
||||||
|
index == 2,
|
||||||
|
)
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
self.record_trace(node_id, format!("endpoint sent chunk {}", index + 1));
|
||||||
|
self.process_local_frame(node_id, frame)?;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
EndpointProcedureKind::Chat => {
|
||||||
|
self.chat_sessions.insert(
|
||||||
|
hook.hook_id,
|
||||||
|
super::types::ChatSession {
|
||||||
|
node_id,
|
||||||
|
hook_id: hook.hook_id,
|
||||||
|
host_path: hook.return_path.clone(),
|
||||||
|
procedure_id: procedure.procedure_id.clone(),
|
||||||
|
},
|
||||||
|
);
|
||||||
|
let frame = self.nodes[node_id.0]
|
||||||
|
.endpoint
|
||||||
|
.make_data(
|
||||||
|
hook.return_path.clone(),
|
||||||
|
hook.hook_id,
|
||||||
|
procedure.procedure_id.clone(),
|
||||||
|
b"chat ready".to_vec(),
|
||||||
|
false,
|
||||||
|
)
|
||||||
|
.map_err(|error| SimError::Protocol(error.to_string()))?;
|
||||||
|
self.record_trace(node_id, "chat handler opened session".to_owned());
|
||||||
|
self.process_local_frame(node_id, frame)?;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
|
||||||
|
fn lookup_endpoint_procedure(
|
||||||
|
&self,
|
||||||
|
node_id: NodeId,
|
||||||
|
procedure_id: &str,
|
||||||
|
) -> Result<&EndpointProcedureSpec, SimError> {
|
||||||
|
self.node(node_id)
|
||||||
|
.endpoint_procedures
|
||||||
|
.iter()
|
||||||
|
.find(|procedure| procedure.procedure_id == procedure_id)
|
||||||
|
.ok_or_else(|| SimError::UnknownProcedure {
|
||||||
|
node_path: self.node(node_id).display_path(),
|
||||||
|
procedure_id: procedure_id.to_owned(),
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn require_leaf(
|
||||||
|
&self,
|
||||||
|
node_id: NodeId,
|
||||||
|
leaf_name: &str,
|
||||||
|
) -> Result<&crate::model::LeafSpec, SimError> {
|
||||||
|
self.node(node_id)
|
||||||
|
.leaves
|
||||||
|
.iter()
|
||||||
|
.find(|leaf| leaf.name == leaf_name)
|
||||||
|
.ok_or_else(|| SimError::UnknownLeaf {
|
||||||
|
node_path: self.node(node_id).display_path(),
|
||||||
|
leaf_name: leaf_name.to_owned(),
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn require_endpoint_procedure(
|
||||||
|
&self,
|
||||||
|
node_id: NodeId,
|
||||||
|
procedure_id: &str,
|
||||||
|
) -> Result<(), SimError> {
|
||||||
|
self.lookup_endpoint_procedure(node_id, procedure_id)
|
||||||
|
.map(|_| ())
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn record_trace(&mut self, node_id: NodeId, summary: String) {
|
||||||
|
let node_path = self.node(node_id).display_path();
|
||||||
|
self.trace.push_back(super::types::TraceEvent {
|
||||||
|
tick: self.next_tick,
|
||||||
|
node_path,
|
||||||
|
summary,
|
||||||
|
});
|
||||||
|
self.next_tick += 1;
|
||||||
|
while self.trace.len() > 200 {
|
||||||
|
self.trace.pop_front();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn learn_from_root_data(&mut self, hook_id: u64, message: &DataMessage) {
|
||||||
|
let Some(snapshot) = self.hooks.get(&hook_id).cloned() else {
|
||||||
|
return;
|
||||||
|
};
|
||||||
|
let Some(node_id) = self.tree.find_by_path(&snapshot.peer_path) else {
|
||||||
|
return;
|
||||||
|
};
|
||||||
|
let demo_node = self.node(node_id).clone();
|
||||||
|
|
||||||
|
if snapshot.procedure_id.is_empty() {
|
||||||
|
if snapshot.target_leaf.is_some() {
|
||||||
|
if let Ok(introspection) = deserialize_archived_bytes::<
|
||||||
|
unshell::protocol::introspection::ArchivedLeafIntrospection,
|
||||||
|
unshell::protocol::LeafIntrospection,
|
||||||
|
>(&message.data)
|
||||||
|
{
|
||||||
|
self.root_knowledge
|
||||||
|
.remember_leaf_introspection(&demo_node, &introspection);
|
||||||
|
}
|
||||||
|
} else if let Ok(introspection) = deserialize_archived_bytes::<
|
||||||
|
unshell::protocol::introspection::ArchivedEndpointIntrospection,
|
||||||
|
unshell::protocol::EndpointIntrospection,
|
||||||
|
>(&message.data)
|
||||||
|
{
|
||||||
|
self.root_knowledge
|
||||||
|
.remember_endpoint_introspection(&demo_node, &introspection);
|
||||||
|
}
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
if let Some(procedure) = demo_node
|
||||||
|
.endpoint_procedures
|
||||||
|
.iter()
|
||||||
|
.find(|procedure| procedure.procedure_id == snapshot.procedure_id)
|
||||||
|
{
|
||||||
|
self.root_knowledge
|
||||||
|
.remember_endpoint_procedure(&demo_node, procedure);
|
||||||
|
}
|
||||||
|
|
||||||
|
if let Some(leaf_name) = &snapshot.target_leaf
|
||||||
|
&& let Some(leaf_spec) = demo_node.leaves.iter().find(|leaf| &leaf.name == leaf_name)
|
||||||
|
{
|
||||||
|
self.root_knowledge
|
||||||
|
.remember_leaf_from_spec(&demo_node, leaf_spec);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
@@ -0,0 +1,126 @@
|
|||||||
|
//! Core simulator data types.
|
||||||
|
//!
|
||||||
|
//! This module intentionally contains only durable state and event structures.
|
||||||
|
//! Behavior lives in sibling modules so readers can scan data layout without
|
||||||
|
//! jumping through packet-processing logic.
|
||||||
|
|
||||||
|
use std::collections::{BTreeMap, VecDeque};
|
||||||
|
|
||||||
|
use crossbeam_channel::{Receiver, Sender};
|
||||||
|
use thiserror::Error;
|
||||||
|
use unshell::protocol::tree::{Ingress, ProtocolEndpoint};
|
||||||
|
use unshell::protocol::{CallMessage, DataMessage, FaultMessage, FrameBytes, PacketHeader};
|
||||||
|
|
||||||
|
use crate::model::{DemoTree, NodeId, ScenarioDefinition};
|
||||||
|
|
||||||
|
use super::knowledge::{InspectorMode, RootKnowledge};
|
||||||
|
|
||||||
|
/// User-facing outcome of a root-originated action.
|
||||||
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||||
|
pub struct ActionResult {
|
||||||
|
pub label: String,
|
||||||
|
pub hook_id: Option<u64>,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Snapshot of a hook interaction observed by the demo.
|
||||||
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||||
|
pub struct HookSnapshot {
|
||||||
|
pub hook_id: u64,
|
||||||
|
pub host_path: Vec<String>,
|
||||||
|
pub peer_path: Vec<String>,
|
||||||
|
pub procedure_id: String,
|
||||||
|
pub target_leaf: Option<String>,
|
||||||
|
pub closed: bool,
|
||||||
|
pub last_message: String,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Trace entry shown in the UI and asserted in tests.
|
||||||
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||||
|
pub struct TraceEvent {
|
||||||
|
pub tick: u64,
|
||||||
|
pub node_path: String,
|
||||||
|
pub summary: String,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Summary of one local protocol event.
|
||||||
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||||
|
pub enum RecordedEvent {
|
||||||
|
Data {
|
||||||
|
node_path: String,
|
||||||
|
header: PacketHeader,
|
||||||
|
message: DataMessage,
|
||||||
|
},
|
||||||
|
Fault {
|
||||||
|
node_path: String,
|
||||||
|
header: PacketHeader,
|
||||||
|
message: FaultMessage,
|
||||||
|
},
|
||||||
|
Call {
|
||||||
|
node_path: String,
|
||||||
|
header: PacketHeader,
|
||||||
|
message: CallMessage,
|
||||||
|
},
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Errors raised by the demo simulator.
|
||||||
|
#[derive(Debug, Error)]
|
||||||
|
pub enum SimError {
|
||||||
|
#[error("node {0} was not found")]
|
||||||
|
UnknownNode(String),
|
||||||
|
#[error("leaf {leaf_name} was not found on {node_path}")]
|
||||||
|
UnknownLeaf {
|
||||||
|
node_path: String,
|
||||||
|
leaf_name: String,
|
||||||
|
},
|
||||||
|
#[error("procedure {procedure_id} was not found on {node_path}")]
|
||||||
|
UnknownProcedure {
|
||||||
|
node_path: String,
|
||||||
|
procedure_id: String,
|
||||||
|
},
|
||||||
|
#[error("hook {0} was not found")]
|
||||||
|
UnknownHook(u64),
|
||||||
|
#[error("protocol runtime error: {0}")]
|
||||||
|
Protocol(String),
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Fully built simulation for one scenario.
|
||||||
|
#[derive(Debug)]
|
||||||
|
pub struct Simulation {
|
||||||
|
pub scenario: ScenarioDefinition,
|
||||||
|
pub tree: DemoTree,
|
||||||
|
pub(super) nodes: Vec<SimNode>,
|
||||||
|
pub(super) root_id: NodeId,
|
||||||
|
pub(super) next_tick: u64,
|
||||||
|
pub trace: VecDeque<TraceEvent>,
|
||||||
|
pub recorded_events: Vec<RecordedEvent>,
|
||||||
|
pub hooks: BTreeMap<u64, HookSnapshot>,
|
||||||
|
pub inspector_mode: InspectorMode,
|
||||||
|
pub root_knowledge: RootKnowledge,
|
||||||
|
pub(super) chat_sessions: BTreeMap<u64, ChatSession>,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Per-node runtime wiring used by the simulator.
|
||||||
|
#[derive(Debug)]
|
||||||
|
pub(super) struct SimNode {
|
||||||
|
pub(super) parent: Option<NodeId>,
|
||||||
|
pub(super) children: Vec<NodeId>,
|
||||||
|
pub(super) endpoint: ProtocolEndpoint,
|
||||||
|
pub(super) tx: Sender<Envelope>,
|
||||||
|
pub(super) rx: Receiver<Envelope>,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Internal packet delivery envelope.
|
||||||
|
#[derive(Debug, Clone)]
|
||||||
|
pub(super) struct Envelope {
|
||||||
|
pub(super) ingress: Ingress,
|
||||||
|
pub(super) frame: FrameBytes,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Application-level chat state layered on top of hook traffic.
|
||||||
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||||
|
pub(super) struct ChatSession {
|
||||||
|
pub(super) node_id: NodeId,
|
||||||
|
pub(super) hook_id: u64,
|
||||||
|
pub(super) host_path: Vec<String>,
|
||||||
|
pub(super) procedure_id: String,
|
||||||
|
}
|
||||||
Reference in New Issue
Block a user