MIME#
MIcrorobotics Multiphysics Engine — the physics layer of the Microrobotics Simulation Framework. MIME extends MADDENING with the specific node families needed to simulate magnetically actuated microrobots in confined biological flows: rigid-body chains, magnetic response, low-Reynolds hydrodynamics (Stokeslet, IBM-FVM with optional GNN correction), and the actuation/sensing chain that bridges to the MICROROBOTICA IDE.
Dipole response, Stokeslet flow, IBM-FVM with optional GNN closure, and a Lubrication correction for near-wall confined flow — all as composable Nodes.
Six standardised benchmarks with shipped reference data: digitised de Jongh 2025 trajectories, dipole-field verification, robot-arm mass matrix, free-fall, PD tracking, and confined-flow corrections.
Every MimeAssetSchema carries ISO 10993 biocompatibility, SOUP
classification, ISO 14971 hazard hints, and an
Anatomical regime guard the loader enforces before simulation starts.
ControlPolicy, ControlPrimitive, ControlSequence and the
PolicyRunner orchestrate closed-loop strategies on top of the same
node graph — same autodiff, no second runtime.
The EffectModel contract (v0.2
pilot) makes force/torque effects swappable and composable: the
HydrodynamicModel family (LBM / FVM / Stokeslet / DefectCorrection)
behind one builder + validation surface. Magnetic family in v0.3.
How MIME is wired#
MIME extends MADDENING with the physics, control, uncertainty, and regulatory metadata specific to magnetically actuated microrobots in confined biological flow. The autodiff and coupling all stay in MADDENING; everything below is what MIME adds on top.
flowchart LR
MAD["MADDENING<br/><i>graph runtime · coupling<br/>autodiff · surrogates</i>"]:::ext
subgraph DOM["domain nodes (SimulationNode subclasses)"]
direction TB
Act["actuation<br/><i>MotorNode · PermanentMagnet<br/>ExternalMagneticField</i>"]
Robot["robot<br/><i>RigidBody · RobotArm</i>"]
Env["environment<br/><i>Stokeslet · IBM-FVM<br/>Lubrication · GNN</i>"]
Sense["sensing<br/><i>magnetometer<br/>range-of-motion</i>"]
Ther["therapeutic<br/><i>release kinetics<br/>dosimetry</i>"]
end
subgraph META["regulatory metadata (MIME-only)"]
direction TB
Schema["MimeAssetSchema<br/><i>biocompat · SOUP · regime</i>"]
Enums["domain enums<br/><i>compartment, regime,<br/>actuation, release</i>"]
Bench["B0-B5 benchmarks"]
end
subgraph CTRL["control"]
direction TB
Policy["ControlPolicy ABC"]
Prim["ControlPrimitive ABC"]
Run["PolicyRunner"]
end
UQ["UncertaintyModel<br/><i>input · epistemic · aleatoric</i>"]
MR["MICROROBOTICA<br/><i>loads asset, renders trajectory</i>"]:::ext
MAD --> Act
MAD --> Robot
MAD --> Env
MAD --> Sense
MAD --> Ther
Act --> Run
Robot --> Run
Env --> Run
Sense --> Run
Ther --> Run
Policy --> Run
Prim --> Policy
UQ --> Run
Enums --> Schema
Bench --> Schema
Run --> Schema
Schema --> MR
classDef ext stroke-dasharray:5 3
User Guide
Release Notes
Algorithm Guide
- Defect Correction Method for Confined Microrobot Drag
- [Node Name]
- Summary
- Governing Equations
- Discretization
- Implementation Mapping
- Assumptions and Simplifications
- Validated Physical Regimes
- Known Limitations and Failure Modes
- Stability Conditions
- State Variables
- Parameters
- Boundary Inputs
- Boundary Fluxes (outputs)
- MIME-Specific Sections
- References
- Verification Evidence
- Changelog
- CSF Flow Node
- External Magnetic Field Node
- Summary
- Governing Equations
- Discretization
- Implementation Mapping
- Assumptions and Simplifications
- Validated Physical Regimes
- Known Limitations and Failure Modes
- Stability Conditions
- State Variables
- Parameters
- Boundary Inputs
- Boundary Fluxes (outputs)
- MIME-Specific Sections
- References
- Verification Evidence
- Changelog
- Flexible Body Node
- FVM Fluid Node (with Diffuse-Penalty IBM)
- Summary
- Governing Equations
- Discretization
- Implementation Mapping
- Assumptions and Simplifications
- Validated Physical Regimes
- Known Limitations and Failure Modes
- Stability Conditions
- State Variables
- Parameters
- Boundary Inputs
- Boundary Fluxes (outputs)
- MIME-Specific Sections
- References
- Verification Evidence
- Changelog
- IB-LBM Fluid Node
- Summary
- Governing Equations
- Discretization
- Implementation Mapping
- Assumptions and Simplifications
- Validated Physical Regimes
- Known Limitations and Failure Modes
- Stability Conditions
- Multi-GPU sharding
- State Variables
- Parameters
- Boundary Inputs
- Boundary Fluxes (outputs)
- MIME-Specific Sections
- References
- Verification Evidence
- Changelog
- Magnetic Response Node
- Motor Node
- Summary
- Governing Equations
- Discretization
- Implementation Mapping
- Assumptions and Simplifications
- Validated Physical Regimes
- Known Limitations and Failure Modes
- Stability Conditions
- State Variables
- Parameters
- Boundary Inputs
- Boundary Fluxes (outputs)
- MIME-Specific Sections
- References
- Verification Evidence
- Changelog
- Permanent Magnet Node
- Summary
- Governing Equations
- Discretization
- Implementation Mapping
- Assumptions and Simplifications
- Validated Physical Regimes
- Known Limitations and Failure Modes
- Stability Conditions
- State Variables
- Parameters
- Boundary Inputs
- Boundary Fluxes (outputs)
- MIME-Specific Sections
- References
- Verification Evidence
- Changelog
- Permanent Magnet Response Node
- Phase Tracking Node
- Rigid Body Node
- RobotArmNode
- Summary
- Governing Equations
- Discretization
- Implementation Mapping
- Assumptions and Simplifications
- Validated Physical Regimes
- Known Limitations and Failure Modes
- Stability Conditions
- State Variables
- Parameters
- Boundary Inputs
- Boundary Fluxes (outputs)
- MIME-Specific Sections
- References
- Verification Evidence
- Changelog
- Stokeslet Fluid Node
- Summary
- Governing Equations
- Discretization
- Implementation Mapping
- Assumptions and Simplifications
- Validated Physical Regimes
- Known Limitations and Failure Modes
- Stability Conditions
- State Variables
- Parameters
- Boundary Inputs
- Boundary Fluxes (outputs)
- MIME-Specific Sections
- References
- Verification Evidence
- Changelog
- Surface Contact Node
Architecture
Deliverables
Validation
- Context of Use (COU) Template — MIME
- MIME SOUP Package Document
- B0 Experimental Dataset: Rodenborn et al. (2013)
- Bouzidi IBB Diagnostics Report
- D3: q-value geometric verification
- D6: Per-link correction magnitude test
- D1: Single-step analytical verification
- D2: Momentum injection audit
- D4: Steady-state velocity profile comparison
- D5: Feedback isolation test
- Summary of Findings
- D7: Feedback amplification pre-test
- Equilibrium approach — FAILED
- Fix Plan
- Final State
- Couette Torque Benchmarks — Mass Conservation & TF32 Precision (RESOLVED)
- EffectModel drag-swap — method differences & resolution behaviour
- MIME-VER-100 — MotorNode Step Response (Torque Mode, No Load)
- MIME-VER-110 — Permanent-Magnet Field vs Analytical
- MIME-VER-111 — Permanent-Magnet Field Gradient (jax.jacrev) vs Analytical
- MIME-VER-112 — Earth-Field Superposition Exactness
- MIME-VER-120 — RobotArmNode Forward Kinematics
- MIME-VER-121 — RobotArmNode Mass-Matrix Symmetry & PD
- MIME-VER-122 — RobotArmNode Free-Fall Round-Trip
- MIME-VER-123 — RobotArmNode Gravity-Compensated Static Hold
- MIME-VER-124 — RobotArmNode Inverse-Dynamics + PD Trajectory Tracking
- MIME-VER-130 — Actuation-Chain Field Equivalence (Far-Field Limit)
- MIME-VER-131 — De Jongh Helical-Swim Reproduction with New Actuation Chain
- MIME-VER-132 — Misalignment-Induced Field Tilt at the UMR
- TF32 matmul-precision audit — float32 physics paths
- de Boer et al. (2025) — Extracted Parameters for Tier 1 Replication
- Fin Resolution Sensitivity Study
- Pre-T2.6 Gate: Fin Resolution and Stability
- Fin resolution study (DONE)
- Two-pass bounce-back architecture (CONFIRMED)
- Union SDF (CONFIRMED — optional with two-pass)
- Mach number guard (CONFIRMED)
- 128^3 rotating stability check (DONE — PASS, 2026-03-23)
- Convergence rate (measured at 64^3, 2026-03-23)
- Cloud rehearsal (DONE — PASS, 2026-03-23)
- GPU choice (REVISED after rehearsal)
- Resolution (DECIDED)
- Revised cost estimate (from measured A100 SXM timing)
- Decision: PROCEED with T2.6
- Development History — Verification & Validation Evidence
Infrastructure
Regulatory