solvi 0.8.0

app.js

@@ -222,10 +222,10 @@ async function loadPython() {
     $("py-line").textContent = "Python (Pyodide) + solvi: installing numpy and solvi…";
     await py.loadPackage(["numpy", "micropip"]);
     try {                         // solvi's own code needs only numpy at import time: skip scipy (another ~10 MB)
-      await py.runPythonAsync("import micropip\nawait micropip.install('solvi>=0.2.1', deps=False)\nimport solvi");
+      await py.runPythonAsync("import micropip\nawait micropip.install('solvi==0.8.0', deps=False)\nimport solvi");
     } catch (e) {
       console.warn("solvi without dependencies failed, installing with dependencies", e);
-      await py.runPythonAsync("import micropip\nawait micropip.install('solvi>=0.2.1')\nimport solvi");
+      await py.runPythonAsync("import micropip\nawait micropip.install('solvi==0.8.0')\nimport solvi");
     }
     const src = await (await fetch(new URL("solvi_docs.py", import.meta.url))).text();
     py.FS.writeFile("/home/pyodide/solvi_docs.py", src);

solvi_docs.py

@@ -212,8 +212,8 @@ def run(payload_json):
         res = system.ask(init)
     except Exception as e:  # noqa: BLE001
         return json.dumps({"error": f"{type(e).__name__}: {e}", "traceback": traceback.format_exc(limit=4)})
-    rep = res.trace.replay(cat)
-    _last.update(cat=cat, res=res)
+    rep = res.trace.replay(system)                            # with the System, replay also checks the stored answers
+    _last.update(cat=cat, res=res, system=system)
     by = {r.name: r for r in res.trace.records}
     kinds = {n: part.kind for n, part in cat.parts.items()}
     answers = []
@@ -234,7 +234,7 @@ def run(payload_json):
     return json.dumps({
         "answers": answers, "records": records, "flow": flow, "flow_text": str(res.flow),
         "not_taken": sorted(res.flow.skipped.items()), "skipped_at_run": [list(x) for x in res.trace.skipped],
-        "computed_state": res.computed_state, "init_hash": res.trace.init_hash,
+        "computed_state": res.state_text(), "init_hash": res.trace.init_hash,
         "replay": {"ok": rep["ok"], "steps": rep["steps"], "mismatches": [[str(x) for x in m] for m in rep["mismatches"]]},
         "ms": res.ms, "n_parts": len(cat.parts) + len(cat.rules), "auto": auto,
     }, default=str)
@@ -256,7 +256,7 @@ def tamper():
     """Simulate a careful forger: change one computed fact in a copy of the trace and re-hash that record, then replay."""
     if not _last:
         return json.dumps({"error": "run the use case first"})
-    cat, res = _last["cat"], _last["res"]
+    res, system = _last["res"], _last["system"]
     tr = copy.deepcopy(res.trace)
     target = None
     for kind in ("fn", "extract", "check"):
@@ -272,7 +272,7 @@ def tamper():
     old = target.value
     target.value = _tampered(old)
     target.hash = vhash(target.body())                        # re-hash the edited record so it looks self-consistent
-    rep = tr.replay(cat)
+    rep = tr.replay(system)
     return json.dumps({"name": target.name, "step": target.step, "from": _r(old), "to": _r(target.value),
                        "replay": {"ok": rep["ok"], "steps": rep["steps"],
                                   "mismatches": [[str(x) for x in m] for m in rep["mismatches"]]}}, default=str)

usecases/bol.js

@@ -34,7 +34,7 @@ def release(consignee, containers):
     return "release" if found(containers) else "hold"
 
 QUESTIONS = [
-    Question("release", "Release the shipment?", Answer.choice(["release", "hold"]), checkpoints=["port_allowed"]),
+    Question("release", "Release the shipment?", Answer.choice(["release", "hold"]), requires=["port_allowed"]),
     Question("insurance_by", "Who arranges cargo insurance?", Answer.choice(["buyer", "seller"])),
 ]
 `,

usecases/dpa.js

@@ -35,7 +35,7 @@ def transfers_safeguarded(transfer_mechanism):
 
 QUESTIONS = [
     Question("approve", "Approve the vendor?", Answer.choice(["approve", "review", "reject"]),
-             checkpoints=["breach_within_72h"]),
+             requires=["breach_within_72h"]),
     Question("transfers_safeguarded", "Transfers outside the EEA safeguarded?", Answer.yes_no()),
 ]
 `,

usecases/insurance.js

@@ -36,8 +36,8 @@ def payout_band(payout, claim_amount):
     return "full" if payout >= money(claim_amount) else "partial"
 
 QUESTIONS = [
-    Question("covered", "Is the claim covered?", Answer.yes_no(), checkpoints=["cause_not_excluded"]),
-    Question("payout_band", "Payout", Answer.choice(["full", "partial", "none"]), checkpoints=["cause_not_excluded"]),
+    Question("covered", "Is the claim covered?", Answer.yes_no(), requires=["cause_not_excluded"]),
+    Question("payout_band", "Payout", Answer.choice(["full", "partial", "none"]), requires=["cause_not_excluded"]),
 ]
 `,
   docs: [

usecases/invoice.js

@@ -42,7 +42,7 @@ def days_left(due, today):
 
 QUESTIONS = [
     Question("pay", "Payment decision", Answer.choice(["schedule", "escalate", "reject"]),
-             checkpoints=["iban_checksum", "not_overdue"]),
+             requires=["iban_checksum", "not_overdue"]),
     Question("days_left", "Time left to pay", Answer.choice(["overdue", "under a week", "a week or more"])),
 ]
 `,

usecases/lease.js

@@ -39,7 +39,7 @@ def sign(notice_days):
     return "sign" if notice_days <= 60 else "negotiate"     # tenant should be able to leave on two months' notice
 
 QUESTIONS = [
-    Question("sign", "Sign as is?", Answer.choice(["sign", "negotiate"]), checkpoints=["deposit_within_cap"]),
+    Question("sign", "Sign as is?", Answer.choice(["sign", "negotiate"]), requires=["deposit_within_cap"]),
     Question("pets_allowed", "Are pets allowed?", Answer.choice(["yes", "no", "not stated"])),
 ]
 `,

usecases/offer.js

@@ -38,7 +38,7 @@ def starts_within_60_days(start_date, today):
     return (parse_date(start_date) - today).days <= 60
 
 QUESTIONS = [
-    Question("send", "Send the offer as is?", Answer.choice(["send", "revise"]), checkpoints=["probation_legal"]),
+    Question("send", "Send the offer as is?", Answer.choice(["send", "revise"]), requires=["probation_legal"]),
     Question("band", "Salary vs approved band", Answer.choice(["below", "in band", "above"])),
     Question("starts_within_60_days", "Starts within 60 days?", Answer.yes_no()),
 ]

usecases/receipt.js

@@ -39,7 +39,7 @@ def weekend(purchase_date):
     return purchase_date.weekday() >= 5
 
 QUESTIONS = [
-    Question("reimburse", "Reimburse this receipt?", Answer.yes_no(), checkpoints=["not_too_old"]),
+    Question("reimburse", "Reimburse this receipt?", Answer.yes_no(), requires=["not_too_old"]),
     Question("change_correct", "Is the change right (cash - total)?", Answer.yes_no()),
     Question("weekend", "Bought on a weekend?", Answer.yes_no()),
 ]

usecases/support.js

@@ -36,7 +36,7 @@ def urgency(deadline, today):
 
 QUESTIONS = [
     Question("route", "Which queue?", Answer.choice(["billing", "fulfilment", "general", "ask for order number"]),
-             checkpoints=["has_order_number"]),
+             requires=["has_order_number"]),
     Question("urgency", "Urgency", Answer.choice(["high", "normal"])),
 ]
 `,