forked from lei.chen/myxce
2146 lines
No EOL
69 KiB
JSON
2146 lines
No EOL
69 KiB
JSON
{
|
|
"session_id": "session-2026-06-22-2331",
|
|
"started": "2026-06-22T06:31:33.746Z",
|
|
"files_read": {
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md": {
|
|
"count": 18,
|
|
"tokens": 13122,
|
|
"first_read": "2026-06-22T06:32:00.997Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/spec.json": {
|
|
"count": 1,
|
|
"tokens": 141,
|
|
"first_read": "2026-06-22T06:32:01.909Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/.claude/skills/kiro-impl/templates/implementer-prompt.md": {
|
|
"count": 1,
|
|
"tokens": 1659,
|
|
"first_read": "2026-06-22T06:32:26.638Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/.claude/skills/kiro-impl/templates/reviewer-prompt.md": {
|
|
"count": 1,
|
|
"tokens": 1352,
|
|
"first_read": "2026-06-22T06:32:27.509Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/.claude/skills/kiro-impl/templates/debugger-prompt.md": {
|
|
"count": 1,
|
|
"tokens": 812,
|
|
"first_read": "2026-06-22T06:32:27.626Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/design.md": {
|
|
"count": 14,
|
|
"tokens": 11209,
|
|
"first_read": "2026-06-22T06:32:44.772Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/requirements.md": {
|
|
"count": 19,
|
|
"tokens": 4240,
|
|
"first_read": "2026-06-22T06:32:52.419Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c": {
|
|
"count": 160,
|
|
"tokens": 77256,
|
|
"first_read": "2026-06-22T06:34:41.876Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/commit.c": {
|
|
"count": 14,
|
|
"tokens": 5043,
|
|
"first_read": "2026-06-22T06:34:52.833Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/commit.h": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T06:35:00.982Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/include/commit.h": {
|
|
"count": 2,
|
|
"tokens": 1070,
|
|
"first_read": "2026-06-22T06:35:15.248Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/lib/raft/raft.c": {
|
|
"count": 12,
|
|
"tokens": 9032,
|
|
"first_read": "2026-06-22T06:35:26.921Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c": {
|
|
"count": 61,
|
|
"tokens": 25053,
|
|
"first_read": "2026-06-22T06:35:35.923Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_commit_engine.c": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T06:36:39.867Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/include/xce/cluster_def.h": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T06:36:56.692Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.h": {
|
|
"count": 15,
|
|
"tokens": 20686,
|
|
"first_read": "2026-06-22T06:37:15.920Z"
|
|
},
|
|
"/tmp/claude-1000/-home-rshen-projects-xce-worktrees-raft-tla/6dc27133-d2d4-451b-b63b-974988312a32/tasks/b116jgvi1.output": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T06:57:59.516Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/controller_test.c": {
|
|
"count": 5,
|
|
"tokens": 1616,
|
|
"first_read": "2026-06-22T06:58:42.314Z"
|
|
},
|
|
"/tmp/claude-1000/-home-rshen-projects-xce-worktrees-raft-tla/6dc27133-d2d4-451b-b63b-974988312a32/tasks/bnugvwvcf.output": {
|
|
"count": 2,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T07:07:12.525Z"
|
|
},
|
|
"/tmp/claude-1000/-home-rshen-projects-xce-worktrees-raft-tla/6dc27133-d2d4-451b-b63b-974988312a32/tasks/btz2pubrd.output": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T07:07:18.041Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_commit_durability.c": {
|
|
"count": 2,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T07:30:52.723Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/lib/raft/raft.h": {
|
|
"count": 5,
|
|
"tokens": 8168,
|
|
"first_read": "2026-06-22T07:34:35.806Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/myapp.c": {
|
|
"count": 4,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T07:41:17.727Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/include/wal_types.h": {
|
|
"count": 7,
|
|
"tokens": 1400,
|
|
"first_read": "2026-06-22T07:49:12.870Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c": {
|
|
"count": 45,
|
|
"tokens": 33229,
|
|
"first_read": "2026-06-22T07:49:33.758Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha_convergence.c": {
|
|
"count": 6,
|
|
"tokens": 4868,
|
|
"first_read": "2026-06-22T08:11:42.677Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/cluster.c": {
|
|
"count": 12,
|
|
"tokens": 16351,
|
|
"first_read": "2026-06-22T08:11:59.417Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/repl.c": {
|
|
"count": 12,
|
|
"tokens": 7500,
|
|
"first_read": "2026-06-22T08:12:49.911Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/lib/request.c": {
|
|
"count": 6,
|
|
"tokens": 15576,
|
|
"first_read": "2026-06-22T08:13:01.606Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/include/typemap.h": {
|
|
"count": 2,
|
|
"tokens": 4411,
|
|
"first_read": "2026-06-22T08:13:52.014Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/schema/controller.capnp": {
|
|
"count": 3,
|
|
"tokens": 8927,
|
|
"first_read": "2026-06-22T08:17:21.350Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_demotion_convergence.c": {
|
|
"count": 4,
|
|
"tokens": 9602,
|
|
"first_read": "2026-06-22T08:24:47.645Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c": {
|
|
"count": 43,
|
|
"tokens": 24927,
|
|
"first_read": "2026-06-22T08:28:29.552Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_repl_unit.c": {
|
|
"count": 8,
|
|
"tokens": 6231,
|
|
"first_read": "2026-06-22T08:34:49.938Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c": {
|
|
"count": 28,
|
|
"tokens": 34947,
|
|
"first_read": "2026-06-22T08:35:07.723Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/xce.build/lib/controller.capnp.h": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T08:49:24.448Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.h": {
|
|
"count": 6,
|
|
"tokens": 5622,
|
|
"first_read": "2026-06-22T09:27:39.300Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_commit_barrier_rollout.c": {
|
|
"count": 8,
|
|
"tokens": 19506,
|
|
"first_read": "2026-06-22T09:34:42.796Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/include/persist.h": {
|
|
"count": 4,
|
|
"tokens": 9539,
|
|
"first_read": "2026-06-22T10:00:16.667Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_persist_checkpoint.c": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T10:09:18.651Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/include/myconf.h": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T10:37:12.474Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/lib/delay.c": {
|
|
"count": 4,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T11:16:46.531Z"
|
|
},
|
|
"/home/claude/.claude/projects/-home-rshen-projects-xce-worktrees-raft-tla/6dc27133-d2d4-451b-b63b-974988312a32/tool-results/b5qfla467.txt": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T11:39:19.548Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/waldump.h": {
|
|
"count": 2,
|
|
"tokens": 1006,
|
|
"first_read": "2026-06-22T12:04:59.234Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/waldump.c": {
|
|
"count": 2,
|
|
"tokens": 4586,
|
|
"first_read": "2026-06-22T12:04:59.515Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_waldump.c": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T12:05:06.623Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/meson.build": {
|
|
"count": 1,
|
|
"tokens": 1329,
|
|
"first_read": "2026-06-22T12:05:12.295Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test.c": {
|
|
"count": 5,
|
|
"tokens": 27479,
|
|
"first_read": "2026-06-22T12:08:24.768Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/walcompare.h": {
|
|
"count": 1,
|
|
"tokens": 839,
|
|
"first_read": "2026-06-22T12:17:08.388Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/walcompare.c": {
|
|
"count": 1,
|
|
"tokens": 2485,
|
|
"first_read": "2026-06-22T12:17:08.596Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_walcompare.c": {
|
|
"count": 1,
|
|
"tokens": 3795,
|
|
"first_read": "2026-06-22T12:17:08.722Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/tools/deploy-ha.sh": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T13:08:33.978Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/include/repl.h": {
|
|
"count": 1,
|
|
"tokens": 1983,
|
|
"first_read": "2026-06-22T15:09:44.212Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/xce.build/lib/controller.capnp.c": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T15:13:19.758Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/clean_failover_preservation.sh": {
|
|
"count": 5,
|
|
"tokens": 4741,
|
|
"first_read": "2026-06-22T15:21:02.953Z"
|
|
},
|
|
"/home/claude/tmp/xce-ha-deploy/run-strict/logs/ctrl-1.log": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T21:00:07.587Z"
|
|
},
|
|
"/home/claude/tmp/xce-ha-deploy/run-strict2/logs/ctrl-1.log": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-22T21:06:51.075Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/main.c": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-23T00:00:56.628Z"
|
|
},
|
|
"/home/claude/.claude/projects/-home-rshen-projects-xce-worktrees-raft-tla/6dc27133-d2d4-451b-b63b-974988312a32/tool-results/bb91zy8yj.txt": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-23T00:09:25.115Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-commit-durability/INVESTIGATION-failover-job-loss.md": {
|
|
"count": 1,
|
|
"tokens": 5299,
|
|
"first_read": "2026-06-23T01:16:20.139Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_repl_apply.c": {
|
|
"count": 5,
|
|
"tokens": 4730,
|
|
"first_read": "2026-06-23T01:22:10.670Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/raft/raft.c": {
|
|
"count": 1,
|
|
"tokens": 0,
|
|
"first_read": "2026-06-23T01:27:52.545Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_ha_election.c": {
|
|
"count": 2,
|
|
"tokens": 12140,
|
|
"first_read": "2026-06-23T01:29:49.714Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_ha_vote_gate.c": {
|
|
"count": 3,
|
|
"tokens": 11971,
|
|
"first_read": "2026-06-23T02:50:26.628Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/.kiro/steering/ha-async-io.md": {
|
|
"count": 1,
|
|
"tokens": 1603,
|
|
"first_read": "2026-06-23T04:45:56.026Z"
|
|
},
|
|
"/home/rshen/projects/xce/worktrees/raft_tla/.kiro/steering/persistence.md": {
|
|
"count": 1,
|
|
"tokens": 2042,
|
|
"first_read": "2026-06-23T04:47:46.435Z"
|
|
}
|
|
},
|
|
"files_written": [
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 42,
|
|
"at": "2026-06-22T06:37:29.392Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 2847,
|
|
"at": "2026-06-22T06:38:20.250Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 120,
|
|
"at": "2026-06-22T06:38:29.942Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/include/commit.h",
|
|
"action": "edit",
|
|
"tokens": 262,
|
|
"at": "2026-06-22T06:38:55.368Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/include/commit.h",
|
|
"action": "edit",
|
|
"tokens": 190,
|
|
"at": "2026-06-22T06:39:03.246Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/commit.c",
|
|
"action": "edit",
|
|
"tokens": 362,
|
|
"at": "2026-06-22T06:39:16.190Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/commit.c",
|
|
"action": "edit",
|
|
"tokens": 67,
|
|
"at": "2026-06-22T06:39:24.334Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/commit.c",
|
|
"action": "edit",
|
|
"tokens": 452,
|
|
"at": "2026-06-22T06:39:37.159Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 419,
|
|
"at": "2026-06-22T06:39:51.346Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 122,
|
|
"at": "2026-06-22T06:40:15.279Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 167,
|
|
"at": "2026-06-22T06:40:22.302Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.h",
|
|
"action": "edit",
|
|
"tokens": 197,
|
|
"at": "2026-06-22T06:40:30.958Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 504,
|
|
"at": "2026-06-22T06:40:58.901Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/commit.c",
|
|
"action": "edit",
|
|
"tokens": 345,
|
|
"at": "2026-06-22T07:19:14.721Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 486,
|
|
"at": "2026-06-22T07:19:47.213Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 809,
|
|
"at": "2026-06-22T07:20:23.432Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 261,
|
|
"at": "2026-06-22T07:21:33.761Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 224,
|
|
"at": "2026-06-22T07:21:45.142Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 253,
|
|
"at": "2026-06-22T07:22:08.891Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 34,
|
|
"at": "2026-06-22T07:32:35.765Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 630,
|
|
"at": "2026-06-22T07:32:54.831Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 1215,
|
|
"at": "2026-06-22T07:37:36.830Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 45,
|
|
"at": "2026-06-22T07:37:42.293Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 727,
|
|
"at": "2026-06-22T07:39:01.957Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 28,
|
|
"at": "2026-06-22T07:47:11.742Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 556,
|
|
"at": "2026-06-22T07:47:26.780Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 1749,
|
|
"at": "2026-06-22T07:53:06.453Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 507,
|
|
"at": "2026-06-22T07:53:50.114Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 84,
|
|
"at": "2026-06-22T07:53:59.899Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 1110,
|
|
"at": "2026-06-22T07:54:52.947Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 238,
|
|
"at": "2026-06-22T07:55:05.054Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.h",
|
|
"action": "edit",
|
|
"tokens": 324,
|
|
"at": "2026-06-22T07:55:30.709Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 138,
|
|
"at": "2026-06-22T07:55:45.858Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.h",
|
|
"action": "edit",
|
|
"tokens": 114,
|
|
"at": "2026-06-22T07:56:03.075Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 28,
|
|
"at": "2026-06-22T07:56:08.614Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 284,
|
|
"at": "2026-06-22T07:56:59.548Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 312,
|
|
"at": "2026-06-22T07:57:34.120Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 175,
|
|
"at": "2026-06-22T07:58:45.945Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 18,
|
|
"at": "2026-06-22T08:09:22.966Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 660,
|
|
"at": "2026-06-22T08:09:41.501Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 2327,
|
|
"at": "2026-06-22T08:16:54.019Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 76,
|
|
"at": "2026-06-22T08:17:01.783Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/schema/controller.capnp",
|
|
"action": "edit",
|
|
"tokens": 129,
|
|
"at": "2026-06-22T08:17:29.427Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/include/typemap.h",
|
|
"action": "edit",
|
|
"tokens": 113,
|
|
"at": "2026-06-22T08:17:35.796Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/lib/request.c",
|
|
"action": "edit",
|
|
"tokens": 194,
|
|
"at": "2026-06-22T08:19:25.147Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/lib/request.c",
|
|
"action": "edit",
|
|
"tokens": 418,
|
|
"at": "2026-06-22T08:19:44.568Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/lib/request.c",
|
|
"action": "edit",
|
|
"tokens": 506,
|
|
"at": "2026-06-22T08:20:03.890Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/lib/request.c",
|
|
"action": "edit",
|
|
"tokens": 333,
|
|
"at": "2026-06-22T08:20:41.653Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/repl.c",
|
|
"action": "edit",
|
|
"tokens": 195,
|
|
"at": "2026-06-22T08:20:57.004Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 1764,
|
|
"at": "2026-06-22T08:21:57.055Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 111,
|
|
"at": "2026-06-22T08:22:19.335Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.h",
|
|
"action": "edit",
|
|
"tokens": 325,
|
|
"at": "2026-06-22T08:22:36.802Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 736,
|
|
"at": "2026-06-22T08:23:05.001Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 680,
|
|
"at": "2026-06-22T08:23:54.536Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha_convergence.c",
|
|
"action": "edit",
|
|
"tokens": 416,
|
|
"at": "2026-06-22T08:24:31.826Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_demotion_convergence.c",
|
|
"action": "edit",
|
|
"tokens": 620,
|
|
"at": "2026-06-22T08:25:26.931Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_demotion_convergence.c",
|
|
"action": "edit",
|
|
"tokens": 376,
|
|
"at": "2026-06-22T08:25:44.400Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_demotion_convergence.c",
|
|
"action": "edit",
|
|
"tokens": 274,
|
|
"at": "2026-06-22T08:26:04.783Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_demotion_convergence.c",
|
|
"action": "edit",
|
|
"tokens": 69,
|
|
"at": "2026-06-22T08:26:13.197Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha_convergence.c",
|
|
"action": "edit",
|
|
"tokens": 155,
|
|
"at": "2026-06-22T08:27:13.904Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 42,
|
|
"at": "2026-06-22T08:42:08.228Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 727,
|
|
"at": "2026-06-22T08:42:30.736Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 2332,
|
|
"at": "2026-06-22T08:47:44.200Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 71,
|
|
"at": "2026-06-22T08:47:50.619Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.h",
|
|
"action": "edit",
|
|
"tokens": 442,
|
|
"at": "2026-06-22T08:48:11.998Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 633,
|
|
"at": "2026-06-22T08:48:45.787Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 370,
|
|
"at": "2026-06-22T08:49:11.866Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 1249,
|
|
"at": "2026-06-22T09:04:06.844Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 400,
|
|
"at": "2026-06-22T09:04:19.609Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.h",
|
|
"action": "edit",
|
|
"tokens": 569,
|
|
"at": "2026-06-22T09:05:02.682Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 446,
|
|
"at": "2026-06-22T09:05:19.739Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 91,
|
|
"at": "2026-06-22T09:05:30.535Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 58,
|
|
"at": "2026-06-22T09:05:36.480Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 51,
|
|
"at": "2026-06-22T09:05:42.660Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 1974,
|
|
"at": "2026-06-22T09:06:23.610Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 103,
|
|
"at": "2026-06-22T09:06:31.533Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 57,
|
|
"at": "2026-06-22T09:08:05.530Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 66,
|
|
"at": "2026-06-22T09:08:41.171Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 1314,
|
|
"at": "2026-06-22T09:11:38.485Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 550,
|
|
"at": "2026-06-22T09:12:06.608Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.h",
|
|
"action": "edit",
|
|
"tokens": 816,
|
|
"at": "2026-06-22T09:12:31.811Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 4331,
|
|
"at": "2026-06-22T09:13:57.768Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 40,
|
|
"at": "2026-06-22T09:14:11.646Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 160,
|
|
"at": "2026-06-22T09:14:19.264Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 26,
|
|
"at": "2026-06-22T09:25:14.646Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 889,
|
|
"at": "2026-06-22T09:25:38.096Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 1026,
|
|
"at": "2026-06-22T09:29:00.839Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 104,
|
|
"at": "2026-06-22T09:29:07.535Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/include/wal_types.h",
|
|
"action": "edit",
|
|
"tokens": 495,
|
|
"at": "2026-06-22T09:29:56.089Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.h",
|
|
"action": "edit",
|
|
"tokens": 48,
|
|
"at": "2026-06-22T09:30:34.793Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.h",
|
|
"action": "edit",
|
|
"tokens": 595,
|
|
"at": "2026-06-22T09:30:51.848Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 609,
|
|
"at": "2026-06-22T09:31:11.223Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 20,
|
|
"at": "2026-06-22T09:37:02.337Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 557,
|
|
"at": "2026-06-22T09:37:19.037Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.h",
|
|
"action": "edit",
|
|
"tokens": 727,
|
|
"at": "2026-06-22T09:42:10.063Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 38,
|
|
"at": "2026-06-22T09:42:30.283Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 2564,
|
|
"at": "2026-06-22T09:43:23.305Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 130,
|
|
"at": "2026-06-22T09:43:45.518Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 236,
|
|
"at": "2026-06-22T09:44:06.148Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 285,
|
|
"at": "2026-06-22T09:44:16.257Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_commit_barrier_rollout.c",
|
|
"action": "edit",
|
|
"tokens": 93,
|
|
"at": "2026-06-22T09:44:27.767Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 1580,
|
|
"at": "2026-06-22T09:45:31.772Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/include/persist.h",
|
|
"action": "edit",
|
|
"tokens": 447,
|
|
"at": "2026-06-22T10:03:21.482Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 1006,
|
|
"at": "2026-06-22T10:04:06.954Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 184,
|
|
"at": "2026-06-22T10:04:17.704Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 247,
|
|
"at": "2026-06-22T10:04:29.633Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 336,
|
|
"at": "2026-06-22T10:04:40.284Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 396,
|
|
"at": "2026-06-22T10:04:52.177Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 1225,
|
|
"at": "2026-06-22T10:05:22.002Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 419,
|
|
"at": "2026-06-22T10:05:36.933Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.h",
|
|
"action": "edit",
|
|
"tokens": 458,
|
|
"at": "2026-06-22T10:06:19.488Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 1587,
|
|
"at": "2026-06-22T10:08:44.743Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/include/persist.h",
|
|
"action": "edit",
|
|
"tokens": 148,
|
|
"at": "2026-06-22T10:09:44.832Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 184,
|
|
"at": "2026-06-22T10:10:11.663Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 22,
|
|
"at": "2026-06-22T10:10:17.805Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 124,
|
|
"at": "2026-06-22T10:10:24.575Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 23,
|
|
"at": "2026-06-22T10:10:57.883Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 917,
|
|
"at": "2026-06-22T10:16:08.936Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_commit_barrier_rollout.c",
|
|
"action": "edit",
|
|
"tokens": 419,
|
|
"at": "2026-06-22T10:16:44.412Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_commit_barrier_rollout.c",
|
|
"action": "edit",
|
|
"tokens": 62,
|
|
"at": "2026-06-22T10:16:51.348Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_commit_barrier_rollout.c",
|
|
"action": "edit",
|
|
"tokens": 30,
|
|
"at": "2026-06-22T10:16:57.489Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_commit_barrier_rollout.c",
|
|
"action": "edit",
|
|
"tokens": 190,
|
|
"at": "2026-06-22T10:17:11.371Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 516,
|
|
"at": "2026-06-22T10:19:46.329Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 168,
|
|
"at": "2026-06-22T10:19:58.470Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 128,
|
|
"at": "2026-06-22T10:20:17.586Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 84,
|
|
"at": "2026-06-22T10:20:27.633Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 33,
|
|
"at": "2026-06-22T10:21:56.095Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 34,
|
|
"at": "2026-06-22T10:22:07.440Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 247,
|
|
"at": "2026-06-22T10:25:49.658Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 32,
|
|
"at": "2026-06-22T10:33:38.818Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 966,
|
|
"at": "2026-06-22T10:34:03.739Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.h",
|
|
"action": "edit",
|
|
"tokens": 413,
|
|
"at": "2026-06-22T10:38:01.001Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.h",
|
|
"action": "edit",
|
|
"tokens": 759,
|
|
"at": "2026-06-22T10:38:18.787Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 3311,
|
|
"at": "2026-06-22T10:39:44.067Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 121,
|
|
"at": "2026-06-22T10:39:54.460Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 1560,
|
|
"at": "2026-06-22T10:40:31.126Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 312,
|
|
"at": "2026-06-22T10:40:45.876Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 2257,
|
|
"at": "2026-06-22T10:56:35.576Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 192,
|
|
"at": "2026-06-22T10:57:10.567Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 322,
|
|
"at": "2026-06-22T10:57:25.056Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 483,
|
|
"at": "2026-06-22T10:57:44.284Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/myapp.c",
|
|
"action": "edit",
|
|
"tokens": 85,
|
|
"at": "2026-06-22T10:58:05.846Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/myapp.c",
|
|
"action": "edit",
|
|
"tokens": 464,
|
|
"at": "2026-06-22T10:58:21.737Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 215,
|
|
"at": "2026-06-22T10:58:41.151Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 376,
|
|
"at": "2026-06-22T10:59:04.199Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 601,
|
|
"at": "2026-06-22T10:59:21.651Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 375,
|
|
"at": "2026-06-22T11:00:05.966Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.h",
|
|
"action": "edit",
|
|
"tokens": 190,
|
|
"at": "2026-06-22T11:00:30.657Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 163,
|
|
"at": "2026-06-22T11:00:42.656Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 1250,
|
|
"at": "2026-06-22T11:21:09.737Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.h",
|
|
"action": "edit",
|
|
"tokens": 489,
|
|
"at": "2026-06-22T11:21:41.586Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 631,
|
|
"at": "2026-06-22T11:21:58.598Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 109,
|
|
"at": "2026-06-22T11:22:05.736Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 1588,
|
|
"at": "2026-06-22T11:22:58.111Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 113,
|
|
"at": "2026-06-22T11:23:05.099Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 1940,
|
|
"at": "2026-06-22T11:26:14.950Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 392,
|
|
"at": "2026-06-22T11:30:41.081Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 28,
|
|
"at": "2026-06-22T11:30:48.087Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 941,
|
|
"at": "2026-06-22T11:32:15.080Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 27,
|
|
"at": "2026-06-22T11:32:35.960Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 26,
|
|
"at": "2026-06-22T11:46:40.052Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 1030,
|
|
"at": "2026-06-22T11:47:05.665Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 49,
|
|
"at": "2026-06-22T11:50:00.998Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 2522,
|
|
"at": "2026-06-22T11:50:46.176Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 55,
|
|
"at": "2026-06-22T11:50:52.584Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 447,
|
|
"at": "2026-06-22T11:52:19.085Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 180,
|
|
"at": "2026-06-22T11:52:31.743Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 62,
|
|
"at": "2026-06-22T11:53:12.322Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 49,
|
|
"at": "2026-06-22T11:53:28.231Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 58,
|
|
"at": "2026-06-22T11:53:36.576Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 41,
|
|
"at": "2026-06-22T11:54:07.517Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 425,
|
|
"at": "2026-06-22T11:54:34.023Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 289,
|
|
"at": "2026-06-22T11:55:01.937Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 53,
|
|
"at": "2026-06-22T11:55:22.304Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 41,
|
|
"at": "2026-06-22T11:55:44.648Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 14,
|
|
"at": "2026-06-22T12:02:57.878Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 513,
|
|
"at": "2026-06-22T12:03:15.860Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/waldump.h",
|
|
"action": "edit",
|
|
"tokens": 597,
|
|
"at": "2026-06-22T12:06:17.147Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/waldump.c",
|
|
"action": "edit",
|
|
"tokens": 148,
|
|
"at": "2026-06-22T12:06:24.782Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/waldump.c",
|
|
"action": "edit",
|
|
"tokens": 258,
|
|
"at": "2026-06-22T12:06:33.458Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/waldump.c",
|
|
"action": "edit",
|
|
"tokens": 91,
|
|
"at": "2026-06-22T12:06:43.523Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/waldump.c",
|
|
"action": "edit",
|
|
"tokens": 160,
|
|
"at": "2026-06-22T12:06:52.578Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/walcompare.h",
|
|
"action": "create",
|
|
"tokens": 898,
|
|
"at": "2026-06-22T12:07:19.836Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/walcompare.c",
|
|
"action": "create",
|
|
"tokens": 2662,
|
|
"at": "2026-06-22T12:08:06.271Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test.c",
|
|
"action": "edit",
|
|
"tokens": 45,
|
|
"at": "2026-06-22T12:08:51.523Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test.c",
|
|
"action": "edit",
|
|
"tokens": 34,
|
|
"at": "2026-06-22T12:08:57.913Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test.c",
|
|
"action": "edit",
|
|
"tokens": 76,
|
|
"at": "2026-06-22T12:09:04.472Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test.c",
|
|
"action": "edit",
|
|
"tokens": 84,
|
|
"at": "2026-06-22T12:09:12.355Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test.c",
|
|
"action": "edit",
|
|
"tokens": 716,
|
|
"at": "2026-06-22T12:09:28.301Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test.c",
|
|
"action": "edit",
|
|
"tokens": 23,
|
|
"at": "2026-06-22T12:09:45.845Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/meson.build",
|
|
"action": "edit",
|
|
"tokens": 25,
|
|
"at": "2026-06-22T12:09:51.693Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/meson.build",
|
|
"action": "edit",
|
|
"tokens": 45,
|
|
"at": "2026-06-22T12:09:58.946Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/controller_test.c",
|
|
"action": "edit",
|
|
"tokens": 40,
|
|
"at": "2026-06-22T12:10:25.375Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/controller_test.c",
|
|
"action": "edit",
|
|
"tokens": 32,
|
|
"at": "2026-06-22T12:10:35.306Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_walcompare.c",
|
|
"action": "create",
|
|
"tokens": 4066,
|
|
"at": "2026-06-22T12:11:41.292Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 15,
|
|
"at": "2026-06-22T13:04:49.630Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 486,
|
|
"at": "2026-06-22T13:05:15.058Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/clean_failover_preservation.sh",
|
|
"action": "create",
|
|
"tokens": 4052,
|
|
"at": "2026-06-22T13:14:43.393Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/clean_failover_preservation.sh",
|
|
"action": "edit",
|
|
"tokens": 300,
|
|
"at": "2026-06-22T13:19:16.409Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 340,
|
|
"at": "2026-06-22T13:26:52.217Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 96,
|
|
"at": "2026-06-22T13:27:00.491Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 129,
|
|
"at": "2026-06-22T13:27:11.410Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 509,
|
|
"at": "2026-06-22T15:02:10.248Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/include/repl.h",
|
|
"action": "edit",
|
|
"tokens": 245,
|
|
"at": "2026-06-22T15:09:54.482Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/repl.c",
|
|
"action": "edit",
|
|
"tokens": 49,
|
|
"at": "2026-06-22T15:10:02.974Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/repl.c",
|
|
"action": "edit",
|
|
"tokens": 327,
|
|
"at": "2026-06-22T15:10:13.531Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 257,
|
|
"at": "2026-06-22T15:10:39.712Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 122,
|
|
"at": "2026-06-22T15:10:51.145Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 160,
|
|
"at": "2026-06-22T15:10:58.213Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 239,
|
|
"at": "2026-06-22T15:11:20.033Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 530,
|
|
"at": "2026-06-22T15:11:40.862Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 188,
|
|
"at": "2026-06-22T15:11:49.969Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 742,
|
|
"at": "2026-06-22T15:12:19.831Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 68,
|
|
"at": "2026-06-22T15:12:30.044Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/lib/request.c",
|
|
"action": "edit",
|
|
"tokens": 238,
|
|
"at": "2026-06-22T15:13:02.627Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 366,
|
|
"at": "2026-06-22T15:13:33.705Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_repl_unit.c",
|
|
"action": "edit",
|
|
"tokens": 302,
|
|
"at": "2026-06-22T15:14:29.182Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_repl_unit.c",
|
|
"action": "edit",
|
|
"tokens": 59,
|
|
"at": "2026-06-22T15:14:35.738Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_repl_unit.c",
|
|
"action": "edit",
|
|
"tokens": 562,
|
|
"at": "2026-06-22T15:14:50.119Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_repl_unit.c",
|
|
"action": "edit",
|
|
"tokens": 65,
|
|
"at": "2026-06-22T15:15:14.159Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 1124,
|
|
"at": "2026-06-22T15:26:52.509Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 56,
|
|
"at": "2026-06-22T15:27:10.698Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 40,
|
|
"at": "2026-06-22T15:44:07.427Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 836,
|
|
"at": "2026-06-22T15:44:38.461Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 202,
|
|
"at": "2026-06-22T15:44:54.106Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 108,
|
|
"at": "2026-06-22T15:45:02.955Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 217,
|
|
"at": "2026-06-22T15:48:39.771Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/clean_failover_preservation.sh",
|
|
"action": "edit",
|
|
"tokens": 128,
|
|
"at": "2026-06-22T20:56:04.530Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/clean_failover_preservation.sh",
|
|
"action": "edit",
|
|
"tokens": 171,
|
|
"at": "2026-06-22T20:56:19.821Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/clean_failover_preservation.sh",
|
|
"action": "edit",
|
|
"tokens": 564,
|
|
"at": "2026-06-22T21:03:38.953Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 556,
|
|
"at": "2026-06-22T21:10:31.340Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 303,
|
|
"at": "2026-06-22T22:09:14.392Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/lib/raft/raft.c",
|
|
"action": "edit",
|
|
"tokens": 236,
|
|
"at": "2026-06-22T22:09:23.060Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/lib/raft/raft.c",
|
|
"action": "edit",
|
|
"tokens": 29,
|
|
"at": "2026-06-22T22:09:40.197Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 85,
|
|
"at": "2026-06-22T22:09:50.156Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 330,
|
|
"at": "2026-06-22T22:21:16.218Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/repl.c",
|
|
"action": "edit",
|
|
"tokens": 137,
|
|
"at": "2026-06-22T22:21:41.857Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 1608,
|
|
"at": "2026-06-22T22:31:03.309Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 54,
|
|
"at": "2026-06-22T22:31:08.787Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 262,
|
|
"at": "2026-06-22T22:32:53.718Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 120,
|
|
"at": "2026-06-22T22:33:00.058Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 154,
|
|
"at": "2026-06-22T22:33:09.225Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 428,
|
|
"at": "2026-06-22T22:33:23.724Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 202,
|
|
"at": "2026-06-22T22:34:27.469Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 61,
|
|
"at": "2026-06-22T22:34:33.349Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 69,
|
|
"at": "2026-06-22T22:34:39.302Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 123,
|
|
"at": "2026-06-22T22:34:47.029Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 91,
|
|
"at": "2026-06-22T22:34:54.725Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 66,
|
|
"at": "2026-06-22T22:35:00.547Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 125,
|
|
"at": "2026-06-22T22:35:08.305Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 196,
|
|
"at": "2026-06-22T22:35:17.219Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 189,
|
|
"at": "2026-06-22T22:44:50.360Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_config_repl.c",
|
|
"action": "edit",
|
|
"tokens": 50,
|
|
"at": "2026-06-22T22:47:11.319Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/commit.c",
|
|
"action": "edit",
|
|
"tokens": 461,
|
|
"at": "2026-06-22T23:44:22.855Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/commit.c",
|
|
"action": "edit",
|
|
"tokens": 533,
|
|
"at": "2026-06-22T23:44:40.974Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/include/commit.h",
|
|
"action": "edit",
|
|
"tokens": 191,
|
|
"at": "2026-06-22T23:44:51.407Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/include/commit.h",
|
|
"action": "edit",
|
|
"tokens": 163,
|
|
"at": "2026-06-22T23:45:00.774Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/commit.c",
|
|
"action": "edit",
|
|
"tokens": 25,
|
|
"at": "2026-06-22T23:45:11.004Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 2130,
|
|
"at": "2026-06-22T23:46:05.729Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 401,
|
|
"at": "2026-06-22T23:46:23.092Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 983,
|
|
"at": "2026-06-22T23:46:56.222Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 110,
|
|
"at": "2026-06-22T23:47:26.669Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 202,
|
|
"at": "2026-06-22T23:47:54.153Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 197,
|
|
"at": "2026-06-22T23:48:03.243Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 130,
|
|
"at": "2026-06-22T23:48:10.083Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_term_safety_adapter.c",
|
|
"action": "edit",
|
|
"tokens": 506,
|
|
"at": "2026-06-22T23:48:39.337Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/commit.c",
|
|
"action": "edit",
|
|
"tokens": 150,
|
|
"at": "2026-06-23T00:22:04.704Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/clean_failover_preservation.sh",
|
|
"action": "edit",
|
|
"tokens": 348,
|
|
"at": "2026-06-23T00:22:40.539Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 711,
|
|
"at": "2026-06-23T00:28:58.105Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_ha_election.c",
|
|
"action": "edit",
|
|
"tokens": 276,
|
|
"at": "2026-06-23T01:29:57.640Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_ha_election.c",
|
|
"action": "edit",
|
|
"tokens": 857,
|
|
"at": "2026-06-23T01:30:18.892Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_ha_election.c",
|
|
"action": "edit",
|
|
"tokens": 97,
|
|
"at": "2026-06-23T01:30:25.438Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 457,
|
|
"at": "2026-06-23T01:30:51.362Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_repl_apply.c",
|
|
"action": "edit",
|
|
"tokens": 200,
|
|
"at": "2026-06-23T01:31:21.869Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 1441,
|
|
"at": "2026-06-23T01:31:58.765Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.h",
|
|
"action": "edit",
|
|
"tokens": 461,
|
|
"at": "2026-06-23T01:32:19.532Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 378,
|
|
"at": "2026-06-23T01:32:36.420Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_ha_vote_gate.c",
|
|
"action": "edit",
|
|
"tokens": 1415,
|
|
"at": "2026-06-23T02:58:38.178Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_ha_vote_gate.c",
|
|
"action": "edit",
|
|
"tokens": 21,
|
|
"at": "2026-06-23T02:58:57.170Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_ha_vote_gate.c",
|
|
"action": "edit",
|
|
"tokens": 105,
|
|
"at": "2026-06-23T02:59:03.798Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 752,
|
|
"at": "2026-06-23T03:14:34.321Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 172,
|
|
"at": "2026-06-23T03:21:40.978Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 91,
|
|
"at": "2026-06-23T03:21:54.525Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/test_repl_apply.c",
|
|
"action": "edit",
|
|
"tokens": 1326,
|
|
"at": "2026-06-23T03:27:59.026Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 510,
|
|
"at": "2026-06-23T03:28:20.594Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/persist.c",
|
|
"action": "edit",
|
|
"tokens": 53,
|
|
"at": "2026-06-23T03:28:31.146Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/ha.c",
|
|
"action": "edit",
|
|
"tokens": 40,
|
|
"at": "2026-06-23T03:28:37.100Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/specs/ha-term-safety/tasks.md",
|
|
"action": "edit",
|
|
"tokens": 789,
|
|
"at": "2026-06-23T04:07:37.415Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/clean_failover_preservation.sh",
|
|
"action": "edit",
|
|
"tokens": 274,
|
|
"at": "2026-06-23T04:09:17.200Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/clean_failover_preservation.sh",
|
|
"action": "edit",
|
|
"tokens": 44,
|
|
"at": "2026-06-23T04:09:25.642Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/src/controller/testsuite/clean_failover_preservation.sh",
|
|
"action": "edit",
|
|
"tokens": 30,
|
|
"at": "2026-06-23T04:09:32.735Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/steering/ha-async-io.md",
|
|
"action": "edit",
|
|
"tokens": 660,
|
|
"at": "2026-06-23T04:47:06.134Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/steering/ha-async-io.md",
|
|
"action": "edit",
|
|
"tokens": 834,
|
|
"at": "2026-06-23T04:47:28.664Z"
|
|
},
|
|
{
|
|
"file": "/home/rshen/projects/xce/worktrees/raft_tla/.kiro/steering/persistence.md",
|
|
"action": "edit",
|
|
"tokens": 134,
|
|
"at": "2026-06-23T04:47:56.811Z"
|
|
}
|
|
],
|
|
"edit_counts": {
|
|
"src/controller/testsuite/test_term_safety_adapter.c": 48,
|
|
"src/controller/include/commit.h": 4,
|
|
"src/controller/commit.c": 8,
|
|
"src/controller/ha.c": 47,
|
|
"src/controller/ha.h": 10,
|
|
".kiro/specs/ha-term-safety/tasks.md": 33,
|
|
"src/controller/persist.c": 15,
|
|
"src/schema/controller.capnp": 1,
|
|
"src/include/typemap.h": 1,
|
|
"src/lib/request.c": 5,
|
|
"src/controller/repl.c": 4,
|
|
"src/controller/ha_convergence.c": 2,
|
|
"src/controller/testsuite/test_demotion_convergence.c": 4,
|
|
"src/controller/testsuite/test_config_repl.c": 34,
|
|
"src/include/wal_types.h": 1,
|
|
"src/controller/config_repl.h": 6,
|
|
"src/controller/config_repl.c": 17,
|
|
"src/controller/testsuite/test_commit_barrier_rollout.c": 5,
|
|
"src/include/persist.h": 2,
|
|
"src/controller/myapp.c": 2,
|
|
"src/controller/testsuite/waldump.h": 1,
|
|
"src/controller/testsuite/waldump.c": 4,
|
|
"src/controller/testsuite/walcompare.h": 1,
|
|
"src/controller/testsuite/walcompare.c": 1,
|
|
"src/controller/testsuite/test.c": 6,
|
|
"src/controller/meson.build": 2,
|
|
"src/controller/testsuite/controller_test.c": 2,
|
|
"src/controller/testsuite/test_walcompare.c": 1,
|
|
"src/controller/testsuite/clean_failover_preservation.sh": 9,
|
|
"src/include/repl.h": 1,
|
|
"src/controller/testsuite/test_repl_unit.c": 4,
|
|
"src/lib/raft/raft.c": 2,
|
|
"src/controller/testsuite/test_ha_election.c": 3,
|
|
"src/controller/testsuite/test_repl_apply.c": 2,
|
|
"src/controller/testsuite/test_ha_vote_gate.c": 3,
|
|
".kiro/steering/ha-async-io.md": 2,
|
|
".kiro/steering/persistence.md": 1
|
|
},
|
|
"anatomy_hits": 30,
|
|
"anatomy_misses": 36,
|
|
"repeated_reads_warned": 518,
|
|
"cerebrum_warnings": 0,
|
|
"stop_count": 6
|
|
} |