Merge pull request #72 from m0n0x41d/dev

Dev

Author: m0n0x41d

.github/workflows/release.yml

@@ -52,7 +52,7 @@ jobs:
           - { runner: ubuntu-latest,    goos: linux,  goarch: amd64 }
           - { runner: ubuntu-24.04-arm, goos: linux,  goarch: arm64 }
           - { runner: macos-latest,     goos: darwin, goarch: arm64 }
-          - { runner: macos-latest,      goos: darwin, goarch: amd64 }
+          - { runner: macos-13,         goos: darwin, goarch: amd64 }
     steps:
       - uses: actions/checkout@v6
         with:
@@ -64,6 +64,10 @@ jobs:
       - uses: actions/setup-node@v6
         with:
           node-version: '24'
+      - uses: erlef/setup-beam@v1
+        with:
+          otp-version: '27'
+          elixir-version: '1.18.3'
 
       - name: Prepare desktop embed
         run: |
@@ -94,12 +98,20 @@ jobs:
               -X github.com/m0n0x41d/haft/internal/cli.BuildDate=$(date -u +%Y-%m-%dT%H:%M:%SZ)" \
             -o haft ./cmd/haft/
 
+      - name: Build Open-Sleigh runtime
+        run: |
+          cd open-sleigh
+          MIX_ENV=prod mix deps.get --only prod
+          MIX_ENV=prod mix release --overwrite
+
       - name: Package
         run: |
           mkdir -p _dist
           cp tui/dist/tui.mjs .
+          mkdir -p runtimes/open-sleigh
+          cp -R open-sleigh/_build/prod/rel/open_sleigh/. runtimes/open-sleigh/
           tar czf _dist/haft-${{ matrix.goos }}-${{ matrix.goarch }}.tar.gz \
-            haft tui.mjs README.md LICENSE CHANGELOG.md
+            haft tui.mjs runtimes README.md LICENSE CHANGELOG.md
 
       - uses: actions/upload-artifact@v4
         with:

.gitignore

@@ -27,6 +27,9 @@ coverage.out
 .crush/
 .cursor/
 .zenflow/
+.agents/
+.opencode/
+opencode.json
 desktop/desktop
 .zenflow/
 .zenflow/**

.golangci.yml

@@ -20,6 +20,11 @@ linters:
   settings:
     misspell:
       locale: US
+      ignore-rules:
+        # "cancelled" is the canonical wire-format spelling for the
+        # WorkCommission state and is persisted in artifacts; switching
+        # to US "canceled" would be a backwards-incompat data break.
+        - cancelled
     gocritic:
       disabled-checks:
         - ifElseChain

CHANGELOG.md

@@ -6,9 +6,13 @@ vars:
   TUI_DIR: tui
   TUI_BUNDLE: tui/dist/tui.mjs
   TUI_INSTALL_DIR: ~/.haft/tui
+  OPEN_SLEIGH_RELEASE_DIR: open-sleigh/_build/prod/rel/open_sleigh
+  OPEN_SLEIGH_INSTALL_DIR: ~/.haft/runtimes/open-sleigh/current
   FPF_SPEC: data/FPF/FPF-Spec.md
   FPF_DB: internal/cli/fpf.db
   DESKTOP_APP_NAME: Haft
+  DESKTOP_DEV_CLI: desktop-tauri/target/debug/haft
+  DESKTOP_RELEASE_CLI: desktop-tauri/target/release/haft
 
 tasks:
   default:
@@ -70,8 +74,8 @@ tasks:
       - '{{.BIN_NAME}}'
 
   install:
-    desc: Build and install haft (CLI + TUI) locally
-    deps: [tui, fpf-refresh]
+    desc: Build and install haft (CLI + TUI + Open-Sleigh runtime) locally
+    deps: [tui, fpf-refresh, open-sleigh:install-runtime]
     cmds:
       # Remove any stale `haft` in GOBIN so PATH picks up BIN_DIR/haft,
       # not a leftover `go install`'d binary from an older build.
@@ -81,6 +85,7 @@ tasks:
       - cp {{.TUI_BUNDLE}} {{.TUI_INSTALL_DIR}}/bundle.mjs
       - echo "Installed {{.BIN_DIR}}/{{.BIN_NAME}}"
       - echo "Installed {{.TUI_INSTALL_DIR}}/bundle.mjs"
+      - echo "Installed {{.OPEN_SLEIGH_INSTALL_DIR}}"
       - echo "Desktop — run task desktop:install separately (requires Rust toolchain)"
 
   dev:
@@ -96,16 +101,46 @@ tasks:
 
   desktop:
     desc: Run Haft desktop app (Tauri dev with hot reload)
+    deps: [desktop:cli]
     dir: desktop-tauri
     cmds:
       - cargo tauri dev
 
+  desktop:cli:
+    desc: Build the local Haft CLI used by Tauri desktop RPC in dev
+    cmds:
+      - mkdir -p desktop-tauri/target/debug
+      - go build -o {{.DESKTOP_DEV_CLI}} -trimpath ./cmd/haft/
+    sources:
+      - cmd/**/*.go
+      - db/**/*.go
+      - internal/**/*.go
+      - go.mod
+      - go.sum
+    generates:
+      - '{{.DESKTOP_DEV_CLI}}'
+
   desktop:build:
     desc: Build Haft desktop app (Tauri production bundle)
+    deps: [desktop:cli:release]
     dir: desktop-tauri
     cmds:
       - cargo tauri build
 
+  desktop:cli:release:
+    desc: Build the Haft CLI next to the release desktop binary
+    cmds:
+      - mkdir -p desktop-tauri/target/release
+      - go build -o {{.DESKTOP_RELEASE_CLI}} -trimpath ./cmd/haft/
+    sources:
+      - cmd/**/*.go
+      - db/**/*.go
+      - internal/**/*.go
+      - go.mod
+      - go.sum
+    generates:
+      - '{{.DESKTOP_RELEASE_CLI}}'
+
   desktop:install:
     desc: Build and install Haft desktop app locally
     deps: [desktop:build]
@@ -164,19 +199,133 @@ tasks:
           Linux) "$HOME/.haft/bin/haft-desktop" & ;;
         esac
 
+  repomix:
+    desc: Pack all code and specs into a timestamped XML review bundle
+    vars:
+      TIMESTAMP:
+        sh: date -u +%Y%m%dT%H%M%SZ
+    cmds:
+      - mkdir -p .context
+      - >-
+        repomix
+        --include "cmd/**,internal/**,logger/**,tui/**,desktop/**,desktop-tauri/**,open-sleigh/**,spec/**,skills/**,scripts/**,assurance/**,db/**,*.md,*.go,go.mod,go.sum,Taskfile.yaml,*.sql,*.yaml,*.yml,*.json,*.toml"
+        --ignore ".git,.context,.haft,.task,.cache,.claude,.codex,.crush,.cursor,.playwright-mcp,.zenflow,.zenflow-attachments,data/FPF,desktop-tauri/target,desktop/frontend/node_modules,tui/node_modules,open-sleigh/_build,open-sleigh/deps,node_modules,dist,build,tmp,coverage.out,internal/cli/fpf.db,*.db,*.sqlite,*.log,haft"
+        --output ".context/{{.TIMESTAMP}}_repomix.xml"
+        --parsable-style
+        --include-diffs
+
+  open-sleigh:doctor:
+    desc: Check the local Open-Sleigh commission harness prerequisites
+    dir: open-sleigh
+    cmds:
+      - REPO_URL="${REPO_URL:-/Users/ivanzakutnii/Repos/projects/haft}" mix open_sleigh.doctor --path sleigh.commission.md.example --mock-haft
+
+  open-sleigh:doctor-haft:
+    desc: Check the Haft commission-source harness prerequisites
+    dir: open-sleigh
+    cmds:
+      - REPO_URL="${REPO_URL:-/Users/ivanzakutnii/Repos/projects/haft}" mix open_sleigh.doctor --path sleigh.haft.md.example --mock-haft
+
+  open-sleigh:smoke:
+    desc: Run one deterministic local Open-Sleigh commission smoke
+    dir: open-sleigh
+    cmds:
+      - REPO_URL="${REPO_URL:-/Users/ivanzakutnii/Repos/projects/haft}" mix open_sleigh.start --path sleigh.commission.md.example --mock --once --once-timeout-ms=5000
+
+  open-sleigh:smoke-haft:
+    desc: Run one deterministic Haft commission-source smoke
+    dir: open-sleigh
+    cmds:
+      - REPO_URL="${REPO_URL:-/Users/ivanzakutnii/Repos/projects/haft}" mix open_sleigh.start --path sleigh.haft.md.example --mock --once --once-timeout-ms=5000
+
+  open-sleigh:smoke-real-haft:
+    desc: Run Open-Sleigh against a real temporary Haft MCP server and WorkCommission
+    cmds:
+      - bash scripts/open_sleigh_real_haft_smoke.sh
+
+  open-sleigh:smoke-real-haft-dynamic:
+    desc: Prove long-running Open-Sleigh picks up new Haft WorkCommissions without restart
+    cmds:
+      - bash scripts/open_sleigh_real_haft_dynamic_smoke.sh
+
+  open-sleigh:smoke-real-haft-from-decision:
+    desc: Prove Haft can create a WorkCommission from a DecisionRecord and Open-Sleigh consumes it
+    cmds:
+      - bash scripts/open_sleigh_real_haft_from_decision_smoke.sh
+
+  open-sleigh:smoke-real-haft-batch:
+    desc: Prove Haft can create a batch of WorkCommissions and Open-Sleigh consumes the queue
+    cmds:
+      - bash scripts/open_sleigh_real_haft_batch_smoke.sh
+
+  open-sleigh:smoke-real-haft-plan:
+    desc: Prove Haft can create WorkCommissions from an ImplementationPlan-lite file
+    cmds:
+      - bash scripts/open_sleigh_real_haft_plan_smoke.sh
+
+  open-sleigh:smoke-harness-command:
+    desc: Prove one haft harness command can create commissions and run Open-Sleigh
+    cmds:
+      - bash scripts/open_sleigh_harness_command_smoke.sh
+
+  open-sleigh:release:
+    desc: Build packaged Open-Sleigh runtime release
+    dir: open-sleigh
+    cmds:
+      - MIX_ENV=prod mix deps.get --only prod
+      - MIX_ENV=prod mix release --overwrite
+
+  open-sleigh:install-runtime:
+    desc: Install packaged Open-Sleigh runtime under ~/.haft
+    deps: [open-sleigh:release]
+    cmds:
+      - rm -rf {{.OPEN_SLEIGH_INSTALL_DIR}}
+      - mkdir -p "$(dirname {{.OPEN_SLEIGH_INSTALL_DIR}})"
+      - cp -R {{.OPEN_SLEIGH_RELEASE_DIR}} {{.OPEN_SLEIGH_INSTALL_DIR}}
+
+  open-sleigh:harness:
+    desc: Run local Open-Sleigh commission harness with real agent and mock Haft/Judge
+    dir: open-sleigh
+    cmds:
+      - REPO_URL="${REPO_URL:-/Users/ivanzakutnii/Repos/projects/haft}" mix open_sleigh.start --path sleigh.commission.md.example --mock-haft --mock-judge
+
+  open-sleigh:harness-haft:
+    desc: Run Haft commission-source harness with real agent and mock Haft/Judge
+    dir: open-sleigh
+    cmds:
+      - REPO_URL="${REPO_URL:-/Users/ivanzakutnii/Repos/projects/haft}" mix open_sleigh.start --path sleigh.haft.md.example --mock-haft --mock-judge
+
+  open-sleigh:harness-from-decision:
+    desc: Create a WorkCommission from DECISION and run the real Haft-backed Open-Sleigh harness
+    cmds:
+      - bash scripts/open_sleigh_harness_from_decision.sh "{{.DECISION}}"
+
+  open-sleigh:harness-from-decisions:
+    desc: Create WorkCommissions from DECISIONS and run the real Haft-backed Open-Sleigh harness
+    cmds:
+      - DECISIONS="{{.DECISIONS}}" bash scripts/open_sleigh_harness_from_decision.sh
+
+  open-sleigh:harness-plan:
+    desc: Create WorkCommissions from PLAN and run the real Haft-backed Open-Sleigh harness
+    cmds:
+      - PLAN="{{.PLAN}}" bash scripts/open_sleigh_harness_from_decision.sh
+
   clean:
     desc: Remove local build artifacts
     cmds:
       - rm -f {{.BIN_NAME}}
       - rm -rf tui/dist
+      - rm -rf open-sleigh/_build
 
   cleanup:
     desc: Remove all built binaries and installed files
     cmds:
       - rm -f {{.BIN_NAME}}
       - rm -rf tui/dist
+      - rm -rf open-sleigh/_build
       - rm -f {{.BIN_DIR}}/{{.BIN_NAME}}
       - rm -rf {{.TUI_INSTALL_DIR}}
+      - rm -rf ~/.haft/runtimes/open-sleigh
       - rm -rf ~/Applications/{{.DESKTOP_APP_NAME}}.app
       - rm -f ~/.haft/bin/haft-desktop
       - rm -f ~/.local/share/applications/haft.desktop

README.md

@@ -406,4 +406,19 @@ var kernelMigrations = []Migration{
 			"UPDATE desktop_tasks SET raw_output = output_tail WHERE TRIM(COALESCE(raw_output, '')) = '' AND TRIM(COALESCE(output_tail, '')) != ''",
 		},
 	},
+	{
+		Version:     28,
+		Description: "Add spec_section_baselines for SpecSection drift detection",
+		Statements: []string{
+			`CREATE TABLE IF NOT EXISTS spec_section_baselines (
+				project_id TEXT NOT NULL,
+				section_id TEXT NOT NULL,
+				hash TEXT NOT NULL,
+				captured_at DATETIME NOT NULL DEFAULT CURRENT_TIMESTAMP,
+				approved_by TEXT NOT NULL DEFAULT '',
+				PRIMARY KEY (project_id, section_id)
+			)`,
+			`CREATE INDEX IF NOT EXISTS idx_spec_section_baselines_project ON spec_section_baselines(project_id)`,
+		},
+	},
 }