Worked, runnable PrOOPt examples in one module: a Legal Analyzer (mixed deterministic and bounded/elevated AI), an n×n Linear System solver, and a BODMAS/PEMDAS DAG solver. Each runs against a deterministic mock router — no API key needed. Pick a demo with -Dexec.mainClass.