{"version": 2, "width": 100, "height": 30, "title": "finassist demo \u2014 synthetic, offline", "env": {"TERM": "xterm-256color"}}
[0.0, "o", "$ finassist demo | python -m json.tool\r\n"]
[0.2, "o", "{\r\n"]
[0.27, "o", "  \"checks\": [\r\n"]
[0.34, "o", "    {\r\n"]
[0.41, "o", "      \"check\": \"cash-conservation\",\r\n"]
[0.48, "o", "      \"expected_ending\": \"495\",\r\n"]
[0.55, "o", "      \"passed\": true,\r\n"]
[0.62, "o", "      \"residual\": \"0\",\r\n"]
[0.69, "o", "      \"tolerance\": \"0\"\r\n"]
[0.76, "o", "    },\r\n"]
[0.83, "o", "    {\r\n"]
[0.9, "o", "      \"actual\": \"1.0\",\r\n"]
[0.97, "o", "      \"check\": \"weight-conservation\",\r\n"]
[1.04, "o", "      \"expected\": \"1\",\r\n"]
[1.11, "o", "      \"passed\": true\r\n"]
[1.18, "o", "    },\r\n"]
[1.25, "o", "    {\r\n"]
[1.32, "o", "      \"check\": \"point-in-time-evidence\",\r\n"]
[1.39, "o", "      \"decision_time\": \"2026-02-03T00:00:00Z\",\r\n"]
[1.46, "o", "      \"issues\": [],\r\n"]
[1.53, "o", "      \"passed\": true,\r\n"]
[1.6, "o", "      \"qualification\": \"A valid record does not prove the source statement true.\"\r\n"]
[1.67, "o", "    }\r\n"]
[1.74, "o", "  ],\r\n"]
[1.81, "o", "  \"counterexamples_detected\": [\r\n"]
[1.88, "o", "    {\r\n"]
[1.95, "o", "      \"check\": \"cash-conservation\",\r\n"]
[2.02, "o", "      \"expected_ending\": \"495\",\r\n"]
[2.09, "o", "      \"passed\": false,\r\n"]
[2.16, "o", "      \"residual\": \"5\",\r\n"]
[2.23, "o", "      \"tolerance\": \"0\"\r\n"]
[2.3, "o", "    },\r\n"]
[2.37, "o", "    {\r\n"]
[2.44, "o", "      \"actual\": \"0.9\",\r\n"]
[2.51, "o", "      \"check\": \"weight-conservation\",\r\n"]
[2.58, "o", "      \"expected\": \"1\",\r\n"]
[2.65, "o", "      \"passed\": false\r\n"]
[2.72, "o", "    },\r\n"]
[2.79, "o", "    {\r\n"]
[2.86, "o", "      \"check\": \"point-in-time-evidence\",\r\n"]
[2.93, "o", "      \"decision_time\": \"2026-02-03T00:00:00Z\",\r\n"]
[3.0, "o", "      \"issues\": [\r\n"]
[3.07, "o", "        \"unapproved_input\"\r\n"]
[3.14, "o", "      ],\r\n"]
[3.21, "o", "      \"passed\": false,\r\n"]
[3.28, "o", "      \"qualification\": \"A valid record does not prove the source statement true.\"\r\n"]
[3.35, "o", "    },\r\n"]
[3.42, "o", "    {\r\n"]
[3.49, "o", "      \"check\": \"point-in-time-evidence\",\r\n"]
[3.56, "o", "      \"decision_time\": \"2026-01-15T00:00:00Z\",\r\n"]
[3.63, "o", "      \"issues\": [\r\n"]
[3.7, "o", "        \"look_ahead\"\r\n"]
[3.77, "o", "      ],\r\n"]
[3.84, "o", "      \"passed\": false,\r\n"]
[3.91, "o", "      \"qualification\": \"A valid record does not prove the source statement true.\"\r\n"]
[3.98, "o", "    }\r\n"]
[4.05, "o", "  ],\r\n"]
[4.12, "o", "  \"data_class\": \"synthetic\",\r\n"]
[4.19, "o", "  \"model_called\": false,\r\n"]
[4.26, "o", "  \"qualification\": \"Demonstrates deterministic oracles, not measured model review quality.\",\r\n"]
[4.33, "o", "  \"status\": \"PASS\",\r\n"]
[4.4, "o", "  \"tax_example\": {\r\n"]
[4.47, "o", "    \"estimated_tax\": \"20.0\",\r\n"]
[4.54, "o", "    \"long_rate\": \"0.2\",\r\n"]
[4.61, "o", "    \"method\": \"offset-characters\",\r\n"]
[4.68, "o", "    \"qualification\": \"Explicit simplified arithmetic; omits jurisdiction-specific rules and carryforwards.\",\r\n"]
[4.75, "o", "    \"short_rate\": \"0.3\"\r\n"]
[4.82, "o", "  },\r\n"]
[4.89, "o", "  \"trade_execution\": false\r\n"]
[4.96, "o", "}\r\n"]