{ "C1": { "state_u1": { "lives_in": "Pune" }, "history_u1": [ [ "user", "lives_in", "Delhi", "SUPERSEDED" ], [ "user", "lives_in", "Bangalore", "SUPERSEDED" ], [ "user", "lives_in", "Pune", "ACTIVE" ] ], "state_u2": { "lives_in": "Paris" }, "checks": [ true, true, true, true, true ] }, "C3a_context_text": "\n## What I know about the user (as of 2026-10-29)\n\n- `lives in`: `Pune`\n\n", "C3a_u3_facts": [], "C3a_pass": true, "C3b_u6_facts": [], "C3b_pass": true, "C4_after_correct": { "lives_in": "Delhi" }, "C4_after_rebuild": { "lives_in": "Delhi" }, "C4_history": [ [ "user", "lives_in", "Delhi", "ACTIVE" ] ], "C4_checks": [ true, true ], "C2": { "lies": 0, "current_after_wait": 20, "rows": [ { "i": 0, "seq": 1, "imm_ctx": { "as_of_seq": 0, "latest_seq": 1, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityAx", "wait_cur": true, "wait_has": true }, { "i": 1, "seq": 2, "imm_ctx": { "as_of_seq": 1, "latest_seq": 2, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityBx", "wait_cur": true, "wait_has": true }, { "i": 2, "seq": 3, "imm_ctx": { "as_of_seq": 2, "latest_seq": 3, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityCx", "wait_cur": true, "wait_has": true }, { "i": 3, "seq": 4, "imm_ctx": { "as_of_seq": 3, "latest_seq": 4, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityDx", "wait_cur": true, "wait_has": true }, { "i": 4, "seq": 5, "imm_ctx": { "as_of_seq": 4, "latest_seq": 5, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityEx", "wait_cur": true, "wait_has": true }, { "i": 5, "seq": 6, "imm_ctx": { "as_of_seq": 5, "latest_seq": 6, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityFx", "wait_cur": true, "wait_has": true }, { "i": 6, "seq": 7, "imm_ctx": { "as_of_seq": 6, "latest_seq": 7, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityGx", "wait_cur": true, "wait_has": true }, { "i": 7, "seq": 8, "imm_ctx": { "as_of_seq": 7, "latest_seq": 8, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityHx", "wait_cur": true, "wait_has": true }, { "i": 8, "seq": 9, "imm_ctx": { "as_of_seq": 8, "latest_seq": 9, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityIx", "wait_cur": true, "wait_has": true }, { "i": 9, "seq": 10, "imm_ctx": { "as_of_seq": 9, "latest_seq": 10, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityJx", "wait_cur": true, "wait_has": true }, { "i": 10, "seq": 11, "imm_ctx": { "as_of_seq": 10, "latest_seq": 11, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityKx", "wait_cur": true, "wait_has": true }, { "i": 11, "seq": 12, "imm_ctx": { "as_of_seq": 11, "latest_seq": 12, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityLx", "wait_cur": true, "wait_has": true }, { "i": 12, "seq": 13, "imm_ctx": { "as_of_seq": 12, "latest_seq": 13, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityMx", "wait_cur": true, "wait_has": true }, { "i": 13, "seq": 14, "imm_ctx": { "as_of_seq": 13, "latest_seq": 14, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityNx", "wait_cur": true, "wait_has": true }, { "i": 14, "seq": 15, "imm_ctx": { "as_of_seq": 14, "latest_seq": 15, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityOx", "wait_cur": true, "wait_has": true }, { "i": 15, "seq": 16, "imm_ctx": { "as_of_seq": 15, "latest_seq": 16, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityPx", "wait_cur": true, "wait_has": true }, { "i": 16, "seq": 17, "imm_ctx": { "as_of_seq": 16, "latest_seq": 17, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityQx", "wait_cur": true, "wait_has": true }, { "i": 17, "seq": 18, "imm_ctx": { "as_of_seq": 17, "latest_seq": 18, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityRx", "wait_cur": true, "wait_has": true }, { "i": 18, "seq": 19, "imm_ctx": { "as_of_seq": 18, "latest_seq": 19, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CitySx", "wait_cur": true, "wait_has": true }, { "i": 19, "seq": 20, "imm_ctx": { "as_of_seq": 19, "latest_seq": 20, "pending": 1, "failed": 0, "projection_version": 1 }, "imm_cur": false, "imm_has": true, "state_cur": true, "state_val": "CityTx", "wait_cur": true, "wait_has": true } ] }, "net_events": [], "files": { "/tmp/tmpo0e42ixe": [ "t.db" ], "/tmp/tmpzynwik8k": [ "t.db" ], "/tmp/tmpzhla_dq2": [ "t.db" ], "/tmp/tmpgwt2umht": [ "t.db" ] } }