myxce/.wolf/anatomy.md

anatomy.md

Auto-maintained by OpenWolf. Last scanned: 2026-08-19T09:46:55.696Z Files: 586 tracked | Anatomy hits: 0 | Misses: 0

../../../../../../tmp/

• apiserver (~27 tok)

../../../../../../tmp/claude-1000/-home-rshen-projects-xce-worktrees-scheduler-framework/01599b27-8a93-432e-a4a8-263066731f52/scratchpad/

• add_bug1573.py — Declares core_apply_worker_resvals (~901 tok)
• check_leftover.sh — Standalone leftover-process checker -- avoids the bug-1576 self-match (~180 tok)
• crash_handler.c — define _GNU_SOURCE (~485 tok)
• exe-watch.sh — Watches for a REAL worker daemon process by checking each PID's /proc/exe (~193 tok)
• fake-apiserver.sh — Deliberately-crashing fake apiserver binary for independent mid-abort (~96 tok)
• fix_bug_1574.py (~799 tok)
• fix_bug1572.py (~1026 tok)
• gdbcmds.txt (~63 tok)
• proc_worker_scan.sh — Scan /proc//exe for any process whose REAL BINARY (not argv/cmdline (~300 tok)
• procscan.sh — Scan /proc for real processes whose cmdline references the given (~261 tok)
• reviewer_synth_test.sh — Independent reviewer synthetic test -- sources the REAL script (production (~1538 tok)
• stress_driver.sh — Independent stress-test driver for run-resource-verify.sh's trap-based (~758 tok)
• synth_aggregate_test_round2.sh — Round-2 synthetic regression suite for run-resource-verify.sh's task 7.1 (~2469 tok)
• synth_aggregate_test.sh — Synthetic sanity-check for run-resource-verify.sh's aggregate_verdict() (~1559 tok)
• test_aggregate.sh — Independent synthetic test of aggregate_verdict() / build_verdict_record() (~2105 tok)
• test-sched-check.sh — Synthetic (no live deployment) test of query_scheduler_resvals() / poll_scheduler_log() (~783 tok)
• trap_repro.sh (~301 tok)
• xtest_script.txt (~52 tok)

../../../../../../tmp/claude-1000/-home-rshen-projects-xce-worktrees-scheduler-framework/fe2ba1fe-c8fb-4d72-986e-1c8e2406aa3a/scratchpad/

• strstr_probe.c — define _GNU_SOURCE (~236 tok)

./

• .clang-format (~226 tok)
• .gitignore — Git ignore rules (~217 tok)
• .mcp.json (~7 tok)
• .opencode.json (~7 tok)
• CLAUDE.md — OpenWolf (~1484 tok)
• README.md — Project documentation (~612 tok)

.agent-shell/transcripts/

• 2026-08-11-11-39-59.md — Agent Shell Transcript (~104 tok)
• 2026-08-11-14-49-05.md — Agent Shell Transcript (~188 tok)
• 2026-08-11-22-00-54.md — Agent Shell Transcript (~9623 tok)
• 2026-08-15-22-30-02.md — Agent Shell Transcript (~438 tok)
• 2026-08-16-06-11-30.md — Agent Shell Transcript (~60273 tok)

.claude/

• settings.json (~706 tok)

.claude/rules/

• openwolf.md (~313 tok)

.claude/skills/gitea-sync/

• SKILL.md — Gitea Sync Skill (~1875 tok)

.claude/skills/kiro-debug/

• SKILL.md — kiro-debug (~1322 tok)

.claude/skills/kiro-discovery/

• SKILL.md — kiro-discovery Skill (~3387 tok)

.claude/skills/kiro-impl/

• SKILL.md — kiro-impl Skill (~4048 tok)

.claude/skills/kiro-impl/templates/

• debugger-prompt.md — Debug Investigator (~812 tok)
• implementer-prompt.md — TDD Task Implementer (~1659 tok)
• reviewer-prompt.md — Task Implementation Reviewer (~1352 tok)

.claude/skills/kiro-review/

• SKILL.md — kiro-review (~1756 tok)

.claude/skills/kiro-spec-batch/

• SKILL.md — kiro-spec-batch Skill (~2293 tok)

.claude/skills/kiro-spec-design/

• SKILL.md — kiro-spec-design Skill (~2869 tok)

.claude/skills/kiro-spec-design/rules/

• design-discovery-full.md — Full Discovery Process for Technical Design (~949 tok)
• design-discovery-light.md — Light Discovery Process for Extensions (~389 tok)
• design-principles.md — Technical Design Rules and Principles (~2982 tok)
• design-review-gate.md — Design Review Gate (~1016 tok)
• design-synthesis.md — Design Synthesis (~464 tok)

.claude/skills/kiro-spec-design/templates/specs/

• design.md — Design Document Template (~3303 tok)
• research.md — Research & Design Decisions Template (~586 tok)

.claude/skills/kiro-spec-init/

• SKILL.md — Spec Initialization (~783 tok)

.claude/skills/kiro-spec-init/templates/specs/

• init.json (~125 tok)
• requirements-init.md — Requirements Document (~40 tok)

.claude/skills/kiro-spec-quick/

• SKILL.md — Quick Spec Generator (~1993 tok)

.claude/skills/kiro-spec-quick/templates/specs/

• init.json (~125 tok)
• requirements-init.md — Requirements Document (~40 tok)

.claude/skills/kiro-spec-requirements/

• SKILL.md — kiro-spec-requirements Skill (~2122 tok)

.claude/skills/kiro-spec-requirements/rules/

• ears-format.md — EARS Format Guidelines (~739 tok)
• requirements-review-gate.md — Requirements Review Gate (~924 tok)

.claude/skills/kiro-spec-requirements/templates/specs/

• requirements.md — Requirements Document (~325 tok)

.claude/skills/kiro-spec-status/

• SKILL.md — kiro-spec-status Skill (~746 tok)

.claude/skills/kiro-spec-tasks/

• SKILL.md — kiro-spec-tasks Skill (~2460 tok)

.claude/skills/kiro-spec-tasks/rules/

• tasks-generation.md — Task Generation Rules (~2773 tok)
• tasks-parallel-analysis.md — Parallel Task Analysis Rules (~633 tok)

.claude/skills/kiro-spec-tasks/templates/specs/

• tasks.md — Implementation Plan (~318 tok)

.claude/skills/kiro-steering-custom/

• SKILL.md — kiro-steering-custom Skill (~1222 tok)

.claude/skills/kiro-steering-custom/rules/

• steering-principles.md — Steering Principles (~593 tok)

.claude/skills/kiro-steering-custom/templates/steering-custom/

• api-standards.md — API Standards (~415 tok)
• authentication.md — Authentication & Authorization Standards (~523 tok)
• database.md — Database Standards (~377 tok)
• deployment.md — Deployment Standards (~441 tok)
• error-handling.md — Error Handling Standards (~549 tok)
• security.md — Security Standards (~523 tok)
• testing.md — Testing Standards (~325 tok)

.claude/skills/kiro-steering/

• SKILL.md — kiro-steering Skill (~1185 tok)

.claude/skills/kiro-steering/rules/

• steering-principles.md — Steering Principles (~593 tok)

.claude/skills/kiro-steering/templates/steering/

• product.md — Product Overview (~89 tok)
• structure.md — Project Structure (~218 tok)
• tech.md — Technology Stack (~198 tok)

.claude/skills/kiro-validate-design/

• SKILL.md — kiro-validate-design Skill (~1296 tok)

.claude/skills/kiro-validate-design/rules/

• design-review.md — Design Review Process (~1090 tok)

.claude/skills/kiro-validate-gap/

• SKILL.md — kiro-validate-gap Skill (~1385 tok)

.claude/skills/kiro-validate-gap/rules/

• gap-analysis.md — Gap Analysis Process (~1266 tok)

.claude/skills/kiro-validate-impl/

• SKILL.md — kiro-validate-impl Skill (~2826 tok)

.claude/skills/kiro-verify-completion/

• SKILL.md — kiro-verify-completion (~972 tok)

.claude/skills/xce-audit-invariants/

• SKILL.md — XCE Design-Invariant Audit & Fix — audit documented invariants, fix confirmed violations, prove with build+unit+live HA soak (~2311 tok)

.claude/skills/xce-build/

• SKILL.md — build xce source code (~2597 tok)

.claude/skills/xce-deploy-ha/

• SKILL.md — XCE HA Cluster Deployment; now auto-picks real xcecd (sudo, root) vs xcecd_virtual per host via /run/systemd/system (~8200 tok)

.claude/skills/xce-test-ha/

• run-ha-soak.sh — run-ha-soak.sh — driver for /xce-test-ha: deploy a 3-node XCE HA cluster, then (~44744 tok)
• SKILL.md — XCE HA Failover Soak Test (~9766 tok)
• soak-verdict-selftest.sh — soak-verdict-selftest.sh — deterministic unit test for the verdict parser in (~2825 tok)
• soak-verdict.sh — soak-verdict.sh — pure (side-effect-free) verdict helpers for run-ha-soak.sh. (~2980 tok)

.claude/skills/xce-test-resources/

• run-resource-verify.sh — run-resource-verify.sh -- driver for /xce-test-resources: end-to-end (~21445 tok)
• SKILL.md — XCE Resource-Value Verification skill contract, FULLY UPDATED for task 7.1 completion: "Status: complete and functional", real VERDICT line format (resources=N layers_checked=3 mismatches=M unreachable=U rejected=R result=PASS|FAIL), real flag names (--keep-running, --dir DIR, $XCE_RESVERIFY_* env vars, all cross-checked against the actual script), FAILURE-line format, self-contained/sourceable aggregate_verdict() note for task 8.2, known-bugs section (1572/1574 open, 1579 fixed). No longer says "not yet implemented" anywhere. (~3400 tok)
• verdict-logic-selftest.sh — verdict-logic-selftest.sh -- deterministic, no-deployment unit test for (~3135 tok)

.codegraph/

• .gitignore — Git ignore rules (~61 tok)
• daemon.log (~6538 tok)

.kiro/settings/rules/

• design-discovery-full.md — Full Discovery Process for Technical Design (~949 tok)
• design-discovery-light.md — Light Discovery Process for Extensions (~389 tok)
• design-principles.md — Technical Design Rules and Principles (~2982 tok)
• design-review-gate.md — Design Review Gate (~1016 tok)
• design-review.md — Design Review Process (~1090 tok)
• design-synthesis.md — Design Synthesis (~464 tok)
• ears-format.md — EARS Format Guidelines (~739 tok)
• gap-analysis.md — Gap Analysis Process (~1266 tok)
• requirements-review-gate.md — Requirements Review Gate (~924 tok)
• steering-principles.md — Steering Principles (~593 tok)
• tasks-generation.md — Task Generation Rules (~2773 tok)
• tasks-parallel-analysis.md — Parallel Task Analysis Rules (~633 tok)

.kiro/settings/templates/specs/

• design.md — Design Document Template (~3303 tok)
• init.json (~125 tok)
• requirements-init.md — Requirements Document (~40 tok)
• requirements.md — Requirements Document (~325 tok)
• research.md — Research & Design Decisions Template (~586 tok)
• tasks.md — Implementation Plan (~318 tok)

.kiro/settings/templates/steering-custom/

• api-standards.md — API Standards (~415 tok)
• authentication.md — Authentication & Authorization Standards (~523 tok)
• database.md — Database Standards (~377 tok)
• deployment.md — Deployment Standards (~441 tok)
• error-handling.md — Error Handling Standards (~549 tok)
• security.md — Security Standards (~523 tok)
• testing.md — Testing Standards (~325 tok)

.kiro/settings/templates/steering/

• product.md — Product Overview (~89 tok)
• structure.md — Project Structure (~218 tok)
• tech.md — Technology Stack (~198 tok)

.kiro/specs/

• .gitignore — Git ignore rules (~3 tok)

.kiro/specs/admin-config-tool/

• brief.md — Brief: admin-config-tool (~10613 tok)
• design.md — Technical Design: admin-config-tool (~13515 tok)
• requirements.md — Requirements Document (~5992 tok)
• research.md — Research & Design Decisions: admin-config-tool (~8886 tok)
• spec.json (~1040 tok)
• tasks.md — Implementation Plan (~9416 tok)

.kiro/specs/clusterconfig-schema-split/

• design.md — Overview (~7542 tok)
• requirements.md — Requirements Document (~4621 tok)
• research.md — Research & Design Decisions (~7013 tok)
• spec.json (~133 tok)
• tasks.md — Implementation Plan (~2668 tok)

.kiro/specs/component-failover-adoption/

• design.md — Design Document: component-failover-adoption (~17338 tok)
• requirements.md — Requirements Document (~4175 tok)
• research.md — Research & Design Decisions (~6985 tok)
• spec.json (~638 tok)
• tasks.md — Implementation Plan (~14898 tok)

.kiro/specs/component-rejoin-resync/

• brief.md — Brief: component-rejoin-resync (~1187 tok)
• spec.json (~214 tok)

.kiro/specs/config-upgrade-snapshot/

• brief.md — Brief: config-upgrade-snapshot (~1108 tok)
• design.md — Design Document: config-upgrade-snapshot (~13143 tok)
• requirements.md — Requirements Document (~7093 tok)
• research.md — Gap Analysis — config-upgrade-snapshot (2026-06-24) (~11380 tok)
• spec.json (~387 tok)
• tasks.md — Implementation Plan (~12616 tok)

.kiro/specs/controller-status/

• design.md — Design Document — controller-status (ctrlstatus) (~8356 tok)
• requirements.md — Requirements Document (~3158 tok)
• research.md — Gap Analysis — controller-status (ctrlstatus) (~4457 tok)
• spec.json (~1011 tok)
• tasks.md — Implementation Plan (~5073 tok)

.kiro/specs/election-iomgr-refactor/

• design.md — Design Document: election-iomgr-refactor (~8505 tok)
• requirements.md — Requirements Document (~2695 tok)
• research.md — Research & Design Decisions (~11773 tok)
• spec.json (~129 tok)
• tasks.md — Implementation Plan (~3693 tok)

.kiro/specs/ha-commit-barrier-rollout/

• brief.md — Brief: ha-commit-barrier-rollout (~626 tok)
• design.md — Design: ha-commit-barrier-rollout (~12605 tok)
• requirements.md — Requirements Document (~3181 tok)
• research.md — Research & Design Decisions: ha-commit-barrier-rollout (~6381 tok)
• spec.json (~341 tok)
• tasks.md — Implementation Plan: ha-commit-barrier-rollout (~5658 tok)

.kiro/specs/ha-commit-durability/

• brief.md — Brief: ha-commit-durability (~2855 tok)
• design.md — Design Document — ha-commit-durability (~16535 tok)
• INVESTIGATION-failover-job-loss.md — Investigation: committed jobs lost across controller failover (bug-795 family) (~6171 tok)
• requirements.md — Requirements Document (~2587 tok)
• research.md — Gap Analysis — ha-commit-durability (~7773 tok)
• spec.json — phase implementation-complete, validate_impl GO (2026-07-18) (~2378 tok)
• tasks.md — Implementation Plan (~11353 tok)

.kiro/specs/ha-commit-durability/repro-851/

• ctrl-1.log (~6116 tok)
• ctrl-2.log (~3742 tok)
• ctrl-3.log (~8148 tok)
• waldump-ctrl-1.txt (~1383 tok)
• waldump-ctrl-2.txt (~1383 tok)
• waldump-ctrl-3.txt (~1395 tok)

.kiro/specs/ha-commit-engine/

• brief.md — Brief: ha-commit-engine (~588 tok)
• design.md — Design: ha-commit-engine (~8326 tok)
• requirements.md — Requirements Document (~2715 tok)
• research.md — Research Log: ha-commit-engine (~3398 tok)
• spec.json (~255 tok)
• tasks.md — Implementation Plan: ha-commit-engine (~4593 tok)

.kiro/specs/ha-config-bootstrap/

• brief.md — Brief: ha-election-raft-config (~16310 tok)
• design.md — Design: HA Config Bootstrap & Raft-Style Quorum Election (~12557 tok)
• election-trace.md — Election Trace: 3-Node Cold Start (2026-06-04 00:15:58) (~2907 tok)
• manual-tests.md — Manual Integration Tests: ha-config-bootstrap (~3748 tok)
• requirements.md — Requirements: HA Config Bootstrap & Raft-Style Quorum Election (~3890 tok)
• research.md — Cross-Spec Gap Audit (2026-06-03) (~16849 tok)
• spec.json (~545 tok)
• tasks.md — Implementation Plan: HA Config Bootstrap & Raft-Style Quorum Election (~5780 tok)

.kiro/specs/ha-consistency-invariants/

• brief.md — Brief: ha-consistency-invariants (~2916 tok)
• design.md — Design: ha-consistency-invariants (~9196 tok)
• requirements.md — Requirements Document (~3772 tok)
• research.md — Gap Analysis: ha-consistency-invariants (~10252 tok)
• spec.json (~560 tok)

.kiro/specs/ha-convergence-recovery/

• brief.md — Brief: ha-convergence-recovery (~746 tok)
• design.md — Design: ha-convergence-recovery (~11283 tok)
• requirements.md — Requirements Document (~3867 tok)
• research.md — Research & Design Decisions: ha-convergence-recovery (~8994 tok)
• spec.json (~190 tok)
• tasks.md — Implementation Plan: ha-convergence-recovery (~5999 tok)

.kiro/specs/ha-elect-ctx-lifecycle/

• brief.md — Discovery Brief: ha-elect-ctx-lifecycle (~774 tok)
• design.md — Design Document: ha-elect-ctx-lifecycle (~5237 tok)
• requirements.md — Requirements Document (~1634 tok)
• research.md — Research / Gap Analysis — ha-elect-ctx-lifecycle (~2095 tok)
• spec.json (~2554 tok)
• tasks.md — Implementation Plan: ha-elect-ctx-lifecycle (~1696 tok)

.kiro/specs/ha-entity-snapshots/

• design.md — Design Document: ha-entity-snapshots (~8948 tok)
• requirements.md — Requirements Document (~2216 tok)
• research.md — Gap Analysis: ha-entity-snapshots (~4497 tok)
• spec.json (~1450 tok)
• tasks.md — Implementation Plan (~3997 tok)

.kiro/specs/ha-heartbeat-committed-propagation/

• brief.md — Brief: ha-heartbeat-committed-propagation (~1403 tok)
• design.md — Design Document — ha-heartbeat-committed-propagation (~4865 tok)
• requirements.md — Requirements Document (~1763 tok)
• research.md — Research / Gap Analysis — ha-heartbeat-committed-propagation (~2474 tok)
• spec.json (~2799 tok)
• tasks.md — Implementation Plan (~2873 tok)

.kiro/specs/ha-heartbeat-liveness/

• design.md — Design Document: ha-heartbeat-liveness (~5926 tok)
• manual-tests.md — Manual Integration Tests: ha-heartbeat-liveness — Task 4.5 (~1726 tok)
• requirements.md — Requirements Document (~2054 tok)
• research.md — Gap Analysis: ha-heartbeat-liveness (~7901 tok)
• spec.json (~171 tok)
• tasks.md — Implementation Plan (~2227 tok)

.kiro/specs/ha-peer-connection-reuse/

• design.md — Design Document: ha-peer-connection-reuse (~6506 tok)
• requirements.md — Requirements Document (~1605 tok)
• research.md — Research & Design Decisions: ha-peer-connection-reuse (~8740 tok)
• spec.json (~169 tok)
• tasks.md — Implementation Plan: ha-peer-connection-reuse (~2022 tok)

.kiro/specs/ha-prevote/

• design.md — Design Document (~7342 tok)
• requirements.md — Requirements Document (~3604 tok)
• research.md — Gap Analysis: ha-prevote (~8259 tok)
• spec.json (~3803 tok)
• tasks.md — Implementation Plan (~3197 tok)

.kiro/specs/ha-repl-hardening/

• design.md — Design: HA Replication Hardening (~6606 tok)
• raft-tla-audit.md — Raft TLA+ Specification Audit (~1591 tok)
• requirements.md — Requirements Document (~2850 tok)
• research.md — Gap Analysis: HA Replication Hardening (~11568 tok)
• spec.json (~198 tok)
• tasks.md — Implementation Plan: HA Replication Hardening (~4501 tok)

.kiro/specs/ha-single-leader-role/

• brief.md — Brief: ha-single-leader-role (~624 tok)
• design.md — Design: ha-single-leader-role (~8611 tok)
• requirements.md — Requirements Document (~2177 tok)
• research.md — Research & Discovery Log: ha-single-leader-role (~5686 tok)
• spec.json (~177 tok)
• tasks.md — Implementation Plan: ha-single-leader-role (~5040 tok)

.kiro/specs/ha-term-safety/

• design.md — Design Document (~11209 tok)
• requirements.md — Requirements Document (~4240 tok)
• research.md — Research & Design Decisions (~5375 tok)
• spec.json (~785 tok)
• tasks.md — Implementation Plan (~14377 tok)
• TLA-gap-analysis.md — Gap Analysis: XCE HA implementation vs raft/raft.tla (~2070 tok)

.kiro/specs/ha-wal-replication/

• brief.md — Brief: ha-wal-replication (~829 tok)
• design.md — Design: HA WAL Replication (~1456 tok)
• requirements.md — Requirements Document (~1087 tok)
• research.md — Research: HA WAL Replication (~2542 tok)
• spec.json (~2214 tok)
• tasks.md — Implementation Plan: HA WAL Replication (~1913 tok)

.kiro/specs/job-array-single-wal-record/

• brief.md — Brief: job-array-single-wal-record (~1277 tok)
• design.md — Design Document: job-array-single-wal-record (~14117 tok)
• requirements.md — Requirements Document (~5216 tok)
• research.md — Research & Design Decisions: job-array-single-wal-record (~7857 tok)
• spec.json (~444 tok)
• tasks.md — Implementation Plan: job-array-single-wal-record (~15580 tok)

.kiro/specs/libxce-failover/

• brief.md — Brief: libxce-failover (~2238 tok)
• design.md — Design Document — libxce-failover (~8279 tok)
• requirements.md — Requirements Document (~2933 tok)
• research.md — Research Log — libxce-failover (~4638 tok)
• spec.json (~787 tok)
• tasks.md — Implementation Plan (~4086 tok)

.kiro/specs/raft-adapter-conformance/

• design.md — Design Document: raft-adapter-conformance (~9311 tok)
• requirements.md — Requirements Document (~4577 tok)
• research.md — Gap Analysis: raft-adapter-conformance (~8747 tok)
• spec.json (~578 tok)
• tasks.md — Implementation Plan (~4416 tok)

.kiro/specs/raft-apply-decoupling/

• brief.md — Brief: raft-apply-decoupling (~2239 tok)
• design.md — Design Document: raft-apply-decoupling (~9566 tok)
• facts-in-raft.md — Design Note: Routing Facts Through Raft (apply-after-commit for RETAIN events) (~5569 tok)
• requirements.md — Requirements Document (~4752 tok)
• research.md — Research & Design Decisions (~4600 tok)
• spec.json (~128 tok)
• tasks.md — Implementation Plan (~23836 tok)

.kiro/specs/raft-commit-safety/

• brief.md — Brief: raft-commit-safety (~967 tok)
• design.md — Design Document (~8677 tok)
• requirements.md — Requirements Document (~4523 tok)
• research.md — Gap Analysis — raft-commit-safety (2026-06-24) (~1679 tok)
• spec.json (~515 tok)
• tasks.md — Implementation Plan (~3186 tok)

.kiro/specs/raft-drive-async/

• brief.md — Brief: raft-drive-async (~2465 tok)
• design.md — Design Document — raft-drive-async (~9226 tok)
• requirements.md — Requirements Document (~3369 tok)
• research.md — Gap Analysis — raft-drive-async (2026-06-25) (~3578 tok)
• spec.json (~1659 tok)
• tasks.md — Implementation Plan (~10270 tok)

.kiro/specs/raft-ha-core-safety/

• design.md — Design Document — raft-ha-core-safety (~10893 tok)
• requirements.md — Requirements Document (~2601 tok)
• research.md — Gap Analysis — raft-ha-core-safety (~20590 tok)
• spec.json (~128 tok)
• tasks.md — Implementation Plan: raft-ha-core-safety (~11904 tok)

.kiro/specs/raft-library/

• design.md — Design Document: raft-library (~7756 tok)
• requirements.md — Requirements Document (~2115 tok)
• research.md — Research & Design Decisions: raft-library (~6052 tok)
• spec.json (~215 tok)
• tasks.md — Implementation Plan (~4312 tok)

.kiro/specs/raft-log-replication/

• brief.md — Brief: raft-log-replication (~1297 tok)
• design.md — Design Document (~7912 tok)
• requirements.md — Requirements Document (~4710 tok)
• research.md — Research Log: raft-log-replication (~1206 tok)
• spec.json (~368 tok)
• tasks.md — Implementation Plan (~3864 tok)

.kiro/specs/raft-sim-conformance/

• brief.md — Brief: raft-sim-conformance (~697 tok)
• design.md — Design Document (~8280 tok)
• requirements.md — Requirements Document (~3776 tok)
• research.md — Gap Analysis — raft-sim-conformance (2026-06-24) (~3557 tok)
• spec.json — Declares divergence (~1650 tok)
• tasks.md — Implementation Plan (~4680 tok)

.kiro/specs/resource-distribution-mapping/

• requirements.md — Requirements Document (~508 tok)
• research.md — Research: resourcemap / distributions / hostBased (~1548 tok)
• spec.json (~132 tok)

.kiro/specs/resource-value-verification/

• design.md — Design Document (~11019 tok)
• requirements.md — Requirements Document (~2797 tok)
• research.md — Research & Design Decisions (~5967 tok)
• spec.json (~133 tok)
• tasks.md — Implementation Plan (~8164 tok)

.kiro/specs/resval-id-decoupling/

• design.md — Design: resval-id-decoupling (~3914 tok)
• requirements.md — Requirements: resval-id-decoupling (~2360 tok)
• research.md — Gap Analysis: resval-id-decoupling (~7389 tok)
• spec.json (~471 tok)
• tasks.md — Implementation Tasks: resval-id-decoupling (~2424 tok)

.kiro/specs/scheduler-allocation/

• brief.md — Brief: scheduler-allocation (~3375 tok)
• requirements.md — Requirements Document (~9034 tok)
• spec.json (~210 tok)

.kiro/specs/scheduler-controller-msg-gap/

• design.md — Design: scheduler-controller-msg-gap (~5006 tok)
• requirements.md — Requirements: scheduler-controller-msg-gap (~2712 tok)
• research.md — Research Log: scheduler-controller-msg-gap (~8281 tok)
• spec.json (~388 tok)
• tasks.md — Tasks: scheduler-controller-msg-gap (~4650 tok)

.kiro/specs/scheduler-core/

• brief.md — Brief: scheduler-core (~2035 tok)
• design.md — Technical Design: scheduler-core (~17063 tok)
• requirements.md — Requirements Document (~26234 tok)
• research.md — Research & Design Decisions: scheduler-core (~4398 tok)
• spec.json (~200 tok)
• tasks.md — Implementation Plan (~32131 tok)

.kiro/specs/scheduler-core/.solomd/

• session.94ffc737-bfba-49ef-8dcb-f6e6a1bf0915.json (~327 tok)

.kiro/specs/scheduler-framework/

• brief.md — Brief: scheduler-framework (~6115 tok)
• requirements.md — Requirements Document (~17160 tok)
• spec.json (~211 tok)

.kiro/specs/scheduler-preemption/

• brief.md — Brief: scheduler-preemption (~2910 tok)
• requirements.md — Requirements Document (~2285 tok)
• spec.json (~213 tok)

.kiro/specs/scheduler-sim-diagnostics/

• brief.md — Brief: scheduler-sim-diagnostics (~1333 tok)

.kiro/specs/worker-join-refactor/

• design.md — Design Document: worker-join-refactor (~4709 tok)
• requirements.md — Requirements Document (~1401 tok)
• research.md — Research Log: worker-join-refactor (~7581 tok)
• spec.json (~128 tok)
• tasks.md — Implementation Plan (~1638 tok)

.kiro/specs/worker-rejoin-resync/

• brief.md — Brief: worker-rejoin-resync (~1394 tok)
• spec.json (~200 tok)

.kiro/specs/xce-test-e2e-primitives/

• design.md — Design Document — xce-test-e2e-primitives (~2913 tok)
• requirements.md — Requirements Document (~2163 tok)
• research.md — Research / Discovery — xce-test-e2e-primitives (~499 tok)
• spec.json (~271 tok)
• tasks.md — Implementation Plan (~4188 tok)

.kiro/steering/

• api-standards.md — API Standards (~1447 tok)
• build-deployment.md — Build & Deployment (~2917 tok)
• config-design.md — Configuration Design: What Belongs in Shared Config (~2053 tok)
• error-handling.md — Error Handling Standards (~1367 tok)
• ha-async-io.md — HA Protocol & Async I/O (~4721 tok)
• persistence.md — WAL & Persistence Durability (~3007 tok)
• product.md — Product Overview (~1509 tok)
• roadmap.md — Roadmap (~13890 tok)
• security.md — Security Standards (~1636 tok)
• structure.md — Project Structure (~1348 tok)
• tech.md — Technology Stack (~1500 tok)
• testing.md — Testing Standards (~976 tok)

docs/superpowers/plans/

• 2026-05-07-p0-single-controller-persistence.md — P0: Single-Controller Persistence — Implementation Plan (~13549 tok)
• 2026-05-07-p1-ha-foundation.md — P1: HA Foundation — Implementation Plan (~13680 tok)
• 2026-05-07-p2-replication.md — P2: Replication (Fan-Out TCP) — TDD Implementation Plan (~12942 tok)
• 2026-05-07-p25-discovery.md — P2.5: libxce Smart Discovery — TDD Implementation Plan (~10344 tok)
• 2026-05-07-p3-hardening.md — P3: Integration & Hardening — TDD Implementation Plan (~9841 tok)
• 2026-05-07-persistence-ha-overview.md — XCE Persistence & HA — Implementation Overview (~732 tok)
• 2026-05-13-config-replication.md — Config Replication Implementation Plan (~21833 tok)
• 2026-05-20-config-repl-wire-protocol.md — Config Replication — Wire Protocol Completion + Bug Fixes (~5322 tok)

raft/

• raft.tla — ------------------------------- MODULE raft --------------------------------- (~5350 tok)

reports/

• aug03-aug09-2026.md — XCE Project Status — Aug 03 – Aug 07, 2026 (~1626 tok)
• aug08-aug15-2026.md — XCE Project Status — Aug 08 – Aug 15, 2026 (~3603 tok)
• jul06-jul11-2026.md — Jul 6 → Jul 11 Progress Report (~2311 tok)
• jul13-jul18-2026.md — Jul 13 → Jul 18 Progress Report (~3919 tok)
• jul19-jul26-2026.md — Work Summary: Jul 19 – Jul 26, 2026 (~3482 tok)
• jul27-aug02-2026.md — XCE Project Status — Jul 27 – Aug 01, 2026 (~2003 tok)
• jun29-jul04-2026.md — Work Summary: June 30 – July 4, 2026 (~857 tok)

scripts/

• gitea-sync.py — GiteaAPI: die, warn, api_url, request + 12 more (~8407 tok)

src/

• flake.nix (~571 tok)
• meson.build (~628 tok)
• meson.options (~90 tok)

src/.claude/

• ucai-formatter-cache.local.json (~17 tok)

src/autoscaler/

• meson.build (~163 tok)

src/autoscaler/providers/

• meson.build (~342 tok)

src/autoscaler/providers/baidu/

• BccTool.env (~64 tok)

src/autoscaler/providers/baidu/lsf/conf/

• baiduprov_config.json (~44 tok)
• baiduprov_templates.json (~431 tok)
• logger.yaml (~196 tok)

src/autoscaler/providers/baidu/postprovision/lsf/

• example_user_data.sh (~486 tok)

src/autoscaler/providers/baidu/scripts/

• getAvailableMachines.sh — This script: (~112 tok)
• getAvailableTemplates.sh — This script: (~110 tok)
• getRequestStatus.sh — This script: (~110 tok)
• getReturnRequests.sh — This script: (~110 tok)
• requestMachines.sh — This script: (~110 tok)
• requestReturnMachines.sh — This script: (~110 tok)

src/autoscaler/providers/baidu/src/bcctool/

• BccTool.env (~64 tok)
• go.mod — Go module definition (~136 tok)
• go.sum — Go dependency checksums (~566 tok)
• main.go (~355 tok)

src/autoscaler/providers/baidu/src/bcctool/client/

• bccClient.go — ProvCloudClient (63 fields); methods: CreateInstances, ReleaseInstances, ListInstancesByTag, ListAllInstances (~3781 tok)

src/autoscaler/providers/baidu/src/bcctool/enums/

• provCode.go — All error codes used in the Baidu Cloud provider plugin (~1198 tok)

src/autoscaler/providers/baidu/src/bcctool/model/

• types.go — ClientCredential (149 fields); methods: IsBidTemplate, GetNcpus, GetMemory, String (~4213 tok)

src/autoscaler/providers/baidu/src/bcctool/provconst/

• bdConst.go — Declares var (~311 tok)

src/autoscaler/providers/baidu/src/bcctool/provservices/

• provService.go — GetAvailableTemplates, CreateInstancesFromFile, DeleteInstancesFromFile, SyncInstancesStatusFromFile, GetRequestStatusFromFile (~3661 tok)

src/autoscaler/providers/baidu/src/bcctool/utils/

• envvars.go — InitEnvVars (~696 tok)
• jsonUtils.go — LoadProvTemplates, LoadProvConfig, LoadNodeCreationInputFile, LoadGetReturnRequestInputFile + 6 more (~2660 tok)
• logger.go — Config (50 fields) (~1649 tok)
• provUtils.go — InitProv, ExitWithError, Result, CreationTimeout, TerminationTimeout (~718 tok)

src/autoscaler/scaler/

• obj_mgr.c — include <errno.h> (~3260 tok)
• plug_mgr.c — Main functions: (~4412 tok)
• prov_conf.c — include "prov_conf.h" (~2721 tok)
• scaler_ctx.c — include <string.h> (~547 tok)
• scaler_json.c — include <stdio.h> (~3716 tok)
• scaler_misc.c — include <math.h> (~1482 tok)
• scaler_obj.c — include "scaler_obj.h" (~2462 tok)
• scaler.c — include <errno.h> (~5076 tok)

src/autoscaler/scaler/conf/

• hostProviders.json (~60 tok)
• hostProviders.yaml (~35 tok)

src/autoscaler/scaler/include/

• obj_mgr.h — ifndef OBJ_MGR_H (~492 tok)
• plug_mgr.h — ifndef PLUG_MGR_H (~119 tok)
• prov_conf.h — ifndef SCALER_CONF_H (~132 tok)
• scaler_ctx.h — ifndef SCALER_CTX_H (~73 tok)
• scaler_json.h — ifndef JSON_UTILS_H (~267 tok)
• scaler_misc.h — ifndef SCALER_MISC_H (~203 tok)
• scaler_obj.h — ifndef SCALER_OBJ_H (~273 tok)
• scaler.h — ifndef SCALER_H (~384 tok)

src/autoscaler/scaler/include/scaler/

• types.h — ifndef SCALER_TYPES_H (~1091 tok)

src/autoscaler/scaler/testsuite/

• test_plug_mgr.c — include <stdlib.h> (~1794 tok)
• test_scale_misc.c — include <stdio.h> (~1258 tok)
• test.c — include <stdio.h> (~97 tok)

src/autoscaler/scaler/testsuite/scripts/

• getAvailableTemplates.sh (~242 tok)
• getRequestStatus.sh — Parse command line arguments (~644 tok)
• getReturnRequests.sh (~44 tok)
• requestMachines.sh (~20 tok)
• requestReturnMachines.sh (~38 tok)

src/configs/

• .resources.yaml.~undo-tree~ (~2957 tok)
• hosts.yaml (~248 tok)
• limits.yaml (~475 tok)
• queues.yaml (~504 tok)
• resources.yaml — Declares type (~1687 tok)
• scaler.yaml (~102 tok)
• users.yaml — define usergroup share (~47 tok)
• xce.yaml (~33 tok)

src/configs/schema/

• hosts.schema.json (~1016 tok)
• limits.schema.json (~454 tok)
• queues.schema.json (~1154 tok)
• resources.schema.json (~342 tok)
• scaler.schema.json (~232 tok)
• users.schema.json (~284 tok)
• xce.schema.json (~312 tok)

src/controller/

• apiserver.c — include <errno.h> (~6392 tok)
• CLAUDE.md — XCE Controller (~4776 tok)
• cluster.c — include "config.h"; task 10.2 adds XCE_TESTING-only schedadmin_set_timeout_ms_for_test seam (shrinks OPCode_schedAdmin's 5s forward-wait deadline for tests) (~26217 tok)
• commit.c — Declares is (~13741 tok)
• config_repl.c — define _GNU_SOURCE (~36913 tok)
• config_repl.h — pragma once (~6952 tok)
• ctrl_metrics.c — include "ctrl_metrics.h" (~767 tok)
• ctrlstatus.c — include "config.h" (~3234 tok)
• dataex.c — include <errno.h> (~2531 tok)
• egress.c (~1130 tok)
• ha_convergence.c — Declares char (~8389 tok)
• ha.c — define _GNU_SOURCE (~125491 tok)
• ha.h — ifndef HA_H (~36503 tok)
• job.c — include <errno.h> (~26846 tok)
• join.c — include "config.h" (~2994 tok)
• main.c — include <argp.h> (~5107 tok)
• meson.build (~3386 tok)
• misc.c — include <errno.h> (~1359 tok)
• myapp.c — define _GNU_SOURCE (~6287 tok)
• myconf.c — define _GNU_SOURCE (~1180 tok)
• opget.c — include "config.h" (~1730 tok)
• opupd.c — include "config.h" (~714 tok)
• persist.c — define _GNU_SOURCE (~88956 tok)
• queue.c — include <errno.h> (~1554 tok)
• repl.c — include <assert.h> (~9240 tok)
• reply.c — include "config.h" (~590 tok)
• resources.c — include <errno.h> (~50 tok)
• sched.c — include <errno.h> (~6080 tok)
• slowlane.c — define _GNU_SOURCE (~2392 tok)
• startup_validation.c — define _GNU_SOURCE (~1524 tok)
• task.c — include <errno.h> (~1376 tok)
• worker.c — include <errno.h> (~8004 tok)

src/controller/include/

• cluster.h — if !defined(CLUSTER_H) (~3474 tok)
• commit.h — pragma once (~3894 tok)
• slowlane.h — pragma once (~1149 tok)
• worker.h — if !defined(WORKER_H) (~213 tok)

src/controller/testsuite/

• clean_failover_preservation.sh — clean_failover_preservation.sh — ha-term-safety task 5.2 live integration test. (~5327 tok)
• configcompare.c — define _GNU_SOURCE (~2273 tok)
• configcompare.h — pragma once (~1186 tok)
• controller_test.c — include <argp.h> (~2357 tok)
• ctrlstatus_fmt.h — ifndef CTRLSTATUS_FMT_H (~631 tok)
• resval_typeresolve.c — resval_resolve_type(): resource-name -> Value_u_which table lookup (14 known names unchanged) + task 2.1's numeric-default fallback / -t type_override for unrecognized names (~499 tok)
• resval_typeresolve.h — declares resval_resolve_type()/RESVAL_TYPE_UNKNOWN; task 2.1 fallback now implemented (~676 tok)
• snapdiff.c — define _GNU_SOURCE (~893 tok)
• snapdiff.h — pragma once (~610 tok)
• snapverify.c — define _GNU_SOURCE (~4322 tok)
• snapverify.h — pragma once (~1339 tok)
• test_apply_committed_entry.c — Declares directly (~11854 tok)
• test_apply_correctness_verification.c — Declares driving (~19199 tok)
• test_apply_pump_integration.c — Declares hook (~18120 tok)
• test_apply_pump.c (~22429 tok)
• test_apply_reapply_idempotency.c — Declares xce_job_t (~4312 tok)
• test_apply_seam.c — raft-apply-decoupling task 2.1: calls apply_job_start/finish/fail/update_transition() directly on a bare jobmgr+job_t (no cluster_t), bypassing on_job_start/finish/fail, to prove the extracted guard cores work outside the receipt path (~3144 tok)
• test_bug857_regression.c — Declares void (~6525 tok)
• test_cluster_persist.c — define _GNU_SOURCE (~1755 tok)
• test_coldstart_lsn0.c — Declares char (~4729 tok)
• test_commit_admission_pool.c — Declares int (~2315 tok)
• test_commit_barrier_reply.c — Declares uint8_t (~46770 tok)
• test_commit_barrier_rollout.c — Declares explicitly (~29654 tok)
• test_commit_durability.c — define _GNU_SOURCE (~33748 tok)
• test_commit_engine.c (~19059 tok)
• test_commit_resolve.c (~15028 tok)
• test_config_repl.c — define _GNU_SOURCE (~93438 tok)
• test_configcompare.c — define _GNU_SOURCE (~2224 tok)
• test_convergence_verification.c — define _GNU_SOURCE (~20242 tok)
• test_ctrl_metrics.c — define _GNU_SOURCE (~949 tok)
• test_ctrlstatus.c — include <stdatomic.h> (~6287 tok)
• test_ha_rdhup_integration.c — Declares char (~8362 tok)
• test_resval_typeresolve.c — Declares override (~1118 tok)
• test_sched_worker_change.c — Declares bug (~3893 tok)
• test_term_safety_adapter.c — define _GNU_SOURCE (~29920 tok)
• test.c — include <argp.h> (~39556 tok)

src/frontend/apiserver/backend/

• handler.go — Struct: DefaultHandler; NotificationHandler impl (OnJobCreated/Updated/Deleted, OnHostUpdated, OnClusterUpdated, OnResourceUpdated, OnResourceLocationUpdated). Task 4.2 (resource-value-verification): OnResourceLocationUpdated now emits logger.Debug("resource-location stored", zap.String("resource",...), zap.String("host",...), <typed value field>) right after store.ResourceLocations.Put (~1780 tok)

src/include/

• persist.h — pragma once (~24461 tok)

src/scheduler/

• meson.build (~1183 tok)

src/scheduler/include/

• core.h — if !defined(CORE_H) (~7848 tok)
• repl.h — if !defined(REPL_H); task 12.5 added xce_repl_on_replay_complete()/xce_repl_check_replay_complete() (bug-1594) (~2258 tok)

src/scheduler/src/

• core_clock.c — include <stdarg.h> (~3441 tok)
• core_events.c — include <errno.h> (~10786 tok)
• core.c — include <errno.h> (~4310 tok)
• driver.c — include <errno.h> (~9230 tok)
• main.c — CLI entry (argp table); bug-1585 added --record-snapshot-interval, wired to sched.record_snapshot_interval (~4650 tok)
• recording_session.c — include <stdint.h> (~2706 tok)
• repl_break.c — include <stdio.h>; task 12.5 added unconditional repl_print_event_summary() in xce_repl_on_event() (bug-1595), 790/800 lines (~8861 tok)
• repl_info.c — include <stdio.h>; task 12.5 rewrote info-resource for metadata + GLOBAL/SHARED-only (bug-1593), repl_job_state_name() now non-static; 856 lines, STILL OVER 800-line cap (pre-existing debt, was 883) (~8462 tok)
• repl_internal.h — if !defined(REPL_INTERNAL_H); task 12.5 added replay_complete field + repl_job_state_name extern (~3602 tok)
• repl_params.c — include <errno.h> (~4299 tok)
• repl.c — include <ctype.h>; task 12.5 added xce_repl_on_replay_complete(), replay_complete guard on step/continue, quote-stripping in repl_split_tokens() (bug-1594/1596) (~6611 tok)
• resource.c — include <errno.h> (~4526 tok)
• scheduler.c — include <errno.h> (~15773 tok)
• sim_loop.c — include <errno.h>; task 12.5 added xce_repl_check_replay_complete() call after replay loop ends (bug-1594), 770/800 lines (~9386 tok)
• sim_picker.c — include <errno.h> (~1374 tok)
• sim_verify.c — include <stdio.h> (~4694 tok)
• snapshot_load.c — include <errno.h> (~4005 tok)
• snapshot_wire.c — include <errno.h> (~2611 tok)

src/scheduler/src/plugins/

• builtin_fcfs.c — Declares signature (~10701 tok)

src/scheduler/testsuite/

• meson.build — Declares vtask_entry; registers sched_resval_ownership_test (bug-1585) (~15150 tok)
• test_clock.c — Declares uint64_t (~5450 tok)
• test_core_events.c — Declares and; real dup_val() reimpl added for link (bug-1585) (~7880 tok)
• test_driver_translate.c — Declares field; full_val/delta_val fixtures now set ->which=XCE_VAL_NUMERIC (bug-1585 dup_val fix exposed the gap) (~9580 tok)
• test_repl_breakpoints_inspection.c — Declares and (~16735 tok)
• test_repl_equivalence.c — Declares char (~7554 tok)
• test_repl_execution_control.c — Declares directly (~8798 tok)
• test_resval_ownership.c — bug-1585 regression: RESVALS_FULL/RESVALS_DELTA heap-use-after-free, with a REAL (non-stubbed) kill_sched_resval to actually catch it (~5471 tok)
• test_sim_alt_events.c — Declares char (~4863 tok)
• test_sim_event_loop.c — Declares char (~8156 tok)
• test_sim_isolation.c — Declares names (~8174 tok)
• test_sim_verify.c — Declares mismatch (~9312 tok)

src/tools/

• deploy-ha.sh — auto-detects real xcecd vs xcecd_virtual (XCE_REAL_WORKER / /run/systemd/system), generates sudo-wrapped start-worker.sh for real (~8000 tok)
• xce-build.sh — Declares of (~2508 tok)

src/worker/src/

• resource_sync.c — include "resource_sync.h" (~3926 tok)
• xcecd_dbus_manager.c — include "xcecd_dbus_manager.h"; dbus_workers_update() (bug-1589 FIX): worker-list while loop now captures next = worker->next up front and every early continue/return advances to it, instead of re-testing the same worker forever or return true-aborting the whole scan on the first WORKER_DONE/EXITED node (~3755 tok)

src/worker/testsuite/

• meson.build — Worker unit test suite (component-failover-adoption, task 2.1). White-box (~1147 tok)
• test_dbus_workers_update.c — Declares started (~3398 tok)
• test_resource_sync.c (~1374 tok)

src/xceadmin/

• meson-build.sh — Meson-driven xceadmin build: install + test out-of-tree, in the meson (~1044 tok)
• pyproject.toml — XCE cluster configuration admin CLI (config build / config push) (~662 tok)

src/xceadmin/src/xceadmin/

• cli.py — xceadmin command-line entry point (design.md, xceadmin.cli; (~3290 tok)

src/xceadmin/tests/

• test_cli.py — Tests for the xceadmin CLI (design.md, xceadmin.cli; task 1.1's (~6916 tok)