Daily Housekeeping Report — 2026-04-12

[dowdiness]

Daily Housekeeping Report

Area	Status	Summary
git	WARN	Detached HEAD; 18 commits ahead of origin/main (unpushed)
lint	PASS	moon check: 125 tasks, no errors
fmt	PASS	moon fmt --check: no formatting drift
build	PASS	JS target: 83 tasks, no errors
test	WARN	2,006 tests passed across 8 submodules; loom subpackages untested; alga has 3 compiler warnings
submodules	PASS	All 8 submodules initialized at recorded commits, no dirty state

Details

git — WARN

• Repository is in detached HEAD state (git worktree list shows (detached HEAD))
• 18 commits ahead of origin/main — these have not been pushed:

  e1436c0 docs(TODO): update drag-drop section with follow-ups from PR #174
  b49f37b feat(editor): wire drag-and-drop foundation for ideal editor (#174)
  4597e70 test(core): add 5 more @qc property tests for reconcile (#173)
  ec02a48 feat(skills): add delegation skill and model routing rules
  6904084 test(core): add @qc property tests for projection idempotence (#172)
  201032c docs(CLAUDE): add formal verification to workflow (#162)
  9219d90 feat(proof): formal verification of Confidence lattice laws (#161)
  5ab2424 refactor(eval): use Memo::new with automatic backdating (#160)
  9c63579 refactor(arch): companion packages + re-export cleanup (Stages 2-3) (#159)
  5da9019 chore: update order-tree submodule (fix unused @debug import)
  652e176 fix(ideal): use @canopy_core alias instead of @core for GenericTreeOp
  a442c04 fix: update loom submodule to include egraph lambda-opt package
  8c222d3 chore(deps-dev): bump @playwright/test in /examples/demo-react (#120)
  73034c0 chore(deps-dev): bump @types/node in /examples/demo-react (#119)
  419a392 chore: archive Tier 3 egraph optimizer plan (complete)
  8bbac3c feat(eval): wire Tier 3 egraph optimizer into canopy (#158)
  ec373dc chore(deps-dev): bump the playwright group (#118)
  

  (Note: detached HEAD in CI/agent environments is normal if checked out at a specific commit hash.)

test — WARN

• alga submodule (alga/src/reversed.mbt:20) emits 3 compiler warnings:

  Warning [0053]: unused_trait_bound — DirectedGraph and Predecessors bounds unused in `reversed()` and `Predecessors for Reversed[G]`
  

• valtio submodule: Warning: no test entry found — 0 tests run
• loom subpackages not tested: CLAUDE.md specifies cd loom/loom && moon test, cd loom/seam && moon test, and cd loom/examples/lambda && moon test. The health-check loop only finds submodule roots; loom's root has no moon.mod.json. These packages should be tested separately.

Stale Branch Candidates

None. Only one local branch (main, last commit 2026-04-11). No branches merged into main beyond main itself.

Open PRs

8 open Dependabot PRs (all dependency bumps, no manual PRs):

#	Title
#171	bump vite 8.0.3→8.0.8 in /examples/demo-react
#170	bump react-dom 19.2.4→19.2.5 in /examples/demo-react
#169	bump jsdom 29.0.1→29.0.2 in /examples/demo-react
#168	bump vitest 4.1.2→4.1.4 in /examples/demo-react
#167	bump vite 8.0.3→8.0.8 in /examples/web
#166	bump @types/node 25.5.2→25.6.0 in /examples/demo-react
#165	bump actions/github-script 7→9
#164	bump actions/cache 4→5

CI status not available for individual PRs from this report.

---

Generated by daily housekeeping agent on 2026-04-12. moon 0.1.20260409, gh 2.89.0.