Back to app index
Composable Uncertainty Wiring Diagram — Co-design Loop (Power ↔ Cooling ↔ Footprint)
A tiny “design problem as a service” demo: boxes are typed morphisms with
interval uncertainty
; wiring = composition/tensor; the log is your audit trail (“assurance pack” trace).
SMC
feedback (optional)
uncertainty propagation
Why this pattern
SMC + wiring diagrams
Design problems as morphisms
Uncertainty as 2-cells
Open systems via cospans/double cats
Assurance trace
How to extend
Quick controls
Composition mode
Serial: Power → Cooling → Footprint
Tensor demo: Power ⊗ Cooling → Footprint
Feedback loop
Enable “Footprint → Power budget” feedback (fixpoint iterate)
Run propagation
Reset
Randomise inputs
Export diagram JSON
Sources:
Furter–Huang–Zardini (2025)
,
Baez (2025)
.
Wiring diagram canvas
Legend: numbers are
[low, high]
intervals; arrows are typed wires; dashed arrow appears when feedback is enabled.
Inputs
Power budget (kW)
Interval for available electrical power.
Ambient temp (°C)
Uncertain environment (affects cooling efficiency).
Catalogue of reusable morphisms
Add a morphism “service”
Add
These are intentionally generic blocks (estimator/checker/optimiser) you can copy between projects.
Formal morphisms (f_in, f_out)
Trace log (audit trail)
Diagram JSON
Explainer
Close
Esc