Fixed Function Tableau ›

If exists simple_operator(Gamma): apply_decomposition_rules(Gamma) Else If exists fixed_point(Gamma): // Unfold the fixed point // Critical: Prioritize mu over nu or use "focus" heuristics apply_unfolding_rule(Gamma)

Suppose you are a sales manager and want to analyze sales data by region. You can create a Fixed Function Tableau that uses a fixed function to calculate the total sales for each region. fixed function tableau

The tableau ships with a machine-checkable proof of correctness attached; runtime loads the proof, verifies it in microseconds, then executes the tableau. runtime loads the proof