Skip to content

refactor: rename .kip/ runtime dir to .dashboard/ + .orchestrator/ (AUT-52) - #23

Merged
surenny merged 1 commit into
mainfrom
refactor/rename-kip-runtime-aut-52
May 7, 2026
Merged

refactor: rename .kip/ runtime dir to .dashboard/ + .orchestrator/ (AUT-52)#23
surenny merged 1 commit into
mainfrom
refactor/rename-kip-runtime-aut-52

Conversation

@surenny

@surenny surenny commented May 7, 2026

Copy link
Copy Markdown
Owner

Summary

.kip/ confused the project namespace (Kervaire Invariant Problem) with a tool-layer runtime directory. This PR splits the runtime artifacts into two semantic dirs:

  • .dashboard/state.db — UI state index (consumer: ui/server, tools/kip-state)
  • .orchestrator/ — orchestrator runtime artifacts (cycles/, audit/, incoming with the upcoming plan-prover-review loop, see ORCHESTRATOR_DESIGN_HANDOFF.md)

Why two dirs instead of one: dashboard and orchestrator are independent consumers and should evolve independently.

Files changed (4):

  • .gitignore — replace /.kip/ with /.dashboard/ + /.orchestrator/; legacy /.kip/ retained as transition aid
  • tools/kip-state/index.py — default output path + docstring
  • ui/server/src/routes/nodes.ts — read paths + error message + comment
  • ui/client/src/views/Overview.tsx — error toast text

Dockerfiles + compose: no .kip/ hardcoding found, untouched.

Linear: AUT-52

Migration

After pulling this PR, rebuild the dashboard index:

```bash
python tools/kip-state/index.py # writes to .dashboard/state.db
rm -rf .kip/ # safe: state.db is derived
```

The legacy `/.kip/` ignore rule keeps your local `.kip/` from showing in `git status`; remove it in a follow-up cleanup PR after the team has migrated.

Test plan

  • `python tools/kip-state/index.py` writes to `.dashboard/state.db` (verified: 239 nodes / 321 edges / 299 lean decls / 7 agent runs)
  • `npx tsc --noEmit` in `ui/server` passes
  • Dashboard reads `.dashboard/state.db` end-to-end (reviewer to verify in their dev setup)

🤖 Generated with Claude Code

…UT-52)

`.kip/` confused the project namespace (Kervaire Invariant Problem) with
a tool-layer runtime directory. Split into two semantic dirs:

- .dashboard/state.db — UI state index (consumer: ui/server, tools/kip-state)
- .orchestrator/      — orchestrator runtime artifacts (cycles/, audit/, incoming)

The legacy `/.kip/` ignore rule is retained as a transition aid; safe to
`rm -rf .kip/` locally after rebuilding state.db.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Copilot AI review requested due to automatic review settings May 7, 2026 03:16

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR refactors the runtime directory naming to avoid conflating the project namespace (“KIP”) with tool/UI runtime artifacts by moving the state DB from .kip/ to .dashboard/ and introducing a separate .orchestrator/ runtime dir for orchestrator artifacts.

Changes:

  • Update dashboard DB readers/writers to use <project>/.dashboard/state.db instead of <project>/.kip/state.db.
  • Update tools/kip-state default output path + help text/docstring to write to .dashboard/state.db.
  • Update .gitignore to ignore /.dashboard/ and /.orchestrator/ while retaining /.kip/ as a legacy transition ignore.

Reviewed changes

Copilot reviewed 3 out of 4 changed files in this pull request and generated no comments.

File Description
ui/server/src/routes/nodes.ts Switches server-side DB open paths and related messaging/comments to .dashboard/state.db.
ui/client/src/views/Overview.tsx Updates the user-facing fallback text to reference .dashboard/state.db.
tools/kip-state/index.py Changes the default DB output location and related help/docstring text to .dashboard/state.db.
.gitignore Ignores the new runtime directories and keeps legacy /.kip/ ignored for transition.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@surenny
surenny merged commit 6865eae into main May 7, 2026
5 checks passed
@surenny
surenny deleted the refactor/rename-kip-runtime-aut-52 branch May 7, 2026 03:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants