feat: add STATE.scm project checkpoint file

STATE.scm

@@ -0,0 +1,310 @@
+;; -*- mode: scheme -*-
+;; SPDX-License-Identifier: MIT AND Palimpsest-0.8
+;; STATE.scm - Project state checkpoint for polysafe-gitfixer
+;; Download at session end, upload at session start to resume context
+
+(define state
+  '((metadata
+     . ((format-version . "0.2.0")
+        (project . "polysafe-gitfixer")
+        (updated . "2025-12-08T00:00:00Z")
+        (generator . "Claude/STATE-system")))
+
+    (user-context
+     . ((name . "Jonathan D.A. Jewell")
+        (handle . "@Hyperpolymath")
+        (roles . ("architect" "rust-developer" "security-engineer"))
+        (languages . ("Rust" "Elixir" "Haskell" "Idris"))
+        (tools . ("GitLab" "GitHub" "Podman" "Guix"))
+        (values . ("FOSS" "formal-verification" "capability-security" "polyglot"))))
+
+    (session-context
+     . ((conversation-id . "01RrCvazrZbt5T3GxdtZfUrq")
+        (branch . "claude/create-state-scm-01RrCvazrZbt5T3GxdtZfUrq")))
+
+    ;; =========================================================================
+    ;; CURRENT POSITION
+    ;; =========================================================================
+    (current-position
+     . ((summary . "Rust foundation crates implemented with core security primitives")
+        (phase . "foundation")
+        (completion-percent . 25)
+
+        (implemented
+         . (("capability" . "DirCapability with path traversal prevention, Permissions model")
+            ("capability" . "AuditLog with hash-chained tamper-evident logging")
+            ("fs_ops" . "FsTransaction with atomic ops, journaling, RAII rollback")
+            ("git_ops" . "Safe git2 wrappers: status, staging, repo discovery, remotes")
+            ("polysafe_nifs" . "Placeholder module structure for Rustler NIFs")))
+
+        (not-implemented
+         . (("polysafe_nifs" . "Actual NIF function implementations (commented out)")
+            ("orchestrator" . "Elixir supervision tree and workflow engine")
+            ("diff-engine" . "Haskell semantic diff for polyglot merge")
+            ("tui" . "Haskell brick/vty terminal UI")
+            ("workflow" . "Idris verified merge strategies")
+            ("cli" . "User-facing command-line interface")
+            ("backup-detection" . "Auto-detect backup files and match to repos")))))
+
+    ;; =========================================================================
+    ;; ROUTE TO MVP v1
+    ;; =========================================================================
+    (mvp-v1-roadmap
+     . ((goal . "CLI tool that safely merges git backup files into working repos")
+        (target-features
+         . ("Detect backup .git directories"
+            "Match backups to source repositories"
+            "Interactive diff review"
+            "Safe merge with rollback"
+            "Audit trail of all operations"))
+
+        (phases
+         . (((phase . 1)
+             (name . "Complete Rust Foundation")
+             (status . "in-progress")
+             (completion . 85)
+             (tasks
+              . (("Implement actual NIF bindings" . "pending")
+                 ("Add chrono to workspace deps" . "pending")
+                 ("Add uuid to workspace deps" . "pending")
+                 ("Add hex crate or keep inline" . "pending")
+                 ("Integration tests across crates" . "pending"))))
+
+            ((phase . 2)
+             (name . "Elixir Orchestrator")
+             (status . "pending")
+             (completion . 0)
+             (tasks
+              . (("Initialize mix project" . "pending")
+                 ("Design supervision tree" . "pending")
+                 ("Integrate Rustler NIFs" . "pending")
+                 ("Implement GenServer workers" . "pending")
+                 ("Add telemetry/logging" . "pending"))))
+
+            ((phase . 3)
+             (name . "Backup Detection Engine")
+             (status . "pending")
+             (completion . 0)
+             (tasks
+              . (("Scan filesystem for .git dirs" . "pending")
+                 ("Fingerprint repos by remote URLs" . "pending")
+                 ("Match backups to working copies" . "pending")
+                 ("Handle orphaned backups" . "pending"))))
+
+            ((phase . 4)
+             (name . "Diff & Merge Core")
+             (status . "pending")
+             (completion . 0)
+             (tasks
+              . (("Compare commit histories" . "pending")
+                 ("Identify divergent branches" . "pending")
+                 ("Generate merge candidates" . "pending")
+                 ("3-way merge implementation" . "pending"))))
+
+            ((phase . 5)
+             (name . "CLI Interface")
+             (status . "pending")
+             (completion . 0)
+             (tasks
+              . (("Argument parsing (clap)" . "pending")
+                 ("Interactive prompts" . "pending")
+                 ("Progress reporting" . "pending")
+                 ("JSON output mode" . "pending"))))))))
+
+    ;; =========================================================================
+    ;; KNOWN ISSUES & BLOCKERS
+    ;; =========================================================================
+    (issues
+     . (((id . "ISS-001")
+         (severity . "low")
+         (title . "Missing workspace dependencies")
+         (description . "chrono, uuid, hex used in crates but not declared in workspace Cargo.toml")
+         (affected . ("capability/audit_log" "fs_ops/transaction")))
+
+        ((id . "ISS-002")
+         (severity . "medium")
+         (title . "NIF bindings are placeholder only")
+         (description . "polysafe_nifs has all NIF code commented out, awaiting Elixir side")
+         (blocked-by . "Elixir orchestrator project must be created first"))
+
+        ((id . "ISS-003")
+         (severity . "low")
+         (title . "SECURITY.md is GitHub template")
+         (description . "Security policy file contains placeholder text, not actual policy"))
+
+        ((id . "ISS-004")
+         (severity . "low")
+         (title . "No integration tests")
+         (description . "Each crate has unit tests but no cross-crate integration tests"))
+
+        ((id . "ISS-005")
+         (severity . "info")
+         (title . "Repository URL mismatch")
+         (description . "Cargo.toml points to GitLab but code is also on GitHub"))))
+
+    ;; =========================================================================
+    ;; QUESTIONS FOR MAINTAINER
+    ;; =========================================================================
+    (questions
+     . (((id . "Q-001")
+         (topic . "Architecture")
+         (question . "Should MVP be pure Rust CLI, or commit to Elixir orchestration?")
+         (context . "Elixir adds complexity but enables better supervision/fault-tolerance")
+         (options . ("Pure Rust with tokio" "Elixir + Rust NIFs" "Hybrid: Rust CLI + optional Elixir")))
+
+        ((id . "Q-002")
+         (topic . "Platform Priority")
+         (question . "Which platforms should MVP target?")
+         (options . ("Linux-only" "Linux + macOS" "Linux + macOS + Windows"))
+         (notes . "Windows git paths and symlinks differ significantly"))
+
+        ((id . "Q-003")
+         (topic . "Backup Format Support")
+         (question . "What backup formats should MVP support?")
+         (context . "Different backup tools create different structures")
+         (options . ("Raw .git directories only"
+                     "Bare repos"
+                     "Git bundles"
+                     "tar/zip archives"
+                     "All of the above")))
+
+        ((id . "Q-004")
+         (topic . "UI Priority")
+         (question . "MVP interface priority?")
+         (options . ("CLI-only" "CLI + TUI" "CLI + Web UI")))
+
+        ((id . "Q-005")
+         (topic . "Diff Engine")
+         (question . "Start Haskell diff-engine now or defer?")
+         (context . "Could use basic byte-diff for MVP, semantic diff for v2")
+         (tradeoff . "Faster MVP vs better merge quality"))))
+
+    ;; =========================================================================
+    ;; LONG-TERM ROADMAP
+    ;; =========================================================================
+    (roadmap
+     . ((v1-0
+         . ((codename . "Archivist")
+            (goal . "Basic backup merger CLI")
+            (features . ("Backup detection"
+                         "Repo matching"
+                         "Interactive merge"
+                         "Audit logging"
+                         "Transactional safety"))))
+
+        (v1-5
+         . ((codename . "Curator")
+            (goal . "Enhanced intelligence")
+            (features . ("Semantic diff (Haskell)")
+                        "Auto-resolve simple conflicts"
+                        "Branch topology visualization"
+                        "Backup scheduling recommendations"))))
+
+        (v2-0
+         . ((codename . "Librarian")
+            (goal . "Full polyglot stack")
+            (features . ("TUI with brick/vty"
+                         "Verified merge strategies (Idris)"
+                         "Plugin system for custom resolvers"
+                         "Distributed backup coordination"))))
+
+        (future
+         . ((ideas . ("Cloud backup integration"
+                      "Git LFS handling"
+                      "Submodule-aware merging"
+                      "Time-travel debugging for merges"
+                      "AI-assisted conflict resolution"))))))
+
+    ;; =========================================================================
+    ;; PROJECT CATALOG (for STATE.scm standard compatibility)
+    ;; =========================================================================
+    (projects
+     . (((name . "capability-crate")
+         (status . "complete")
+         (completion . 100)
+         (category . "foundation")
+         (next-steps . ()))
+
+        ((name . "fs_ops-crate")
+         (status . "complete")
+         (completion . 100)
+         (category . "foundation")
+         (next-steps . ()))
+
+        ((name . "git_ops-crate")
+         (status . "complete")
+         (completion . 100)
+         (category . "foundation")
+         (next-steps . ()))
+
+        ((name . "polysafe_nifs-crate")
+         (status . "blocked")
+         (completion . 10)
+         (category . "integration")
+         (blockers . ("Elixir orchestrator not started"))
+         (next-steps . ("Create Elixir mix project" "Implement NIF functions")))
+
+        ((name . "elixir-orchestrator")
+         (status . "pending")
+         (completion . 0)
+         (category . "orchestration")
+         (next-steps . ("Initialize mix project" "Design supervision tree")))
+
+        ((name . "haskell-diff-engine")
+         (status . "pending")
+         (completion . 0)
+         (category . "algorithms")
+         (next-steps . ("Evaluate: needed for MVP or v2?")))
+
+        ((name . "cli-interface")
+         (status . "pending")
+         (completion . 0)
+         (category . "user-interface")
+         (next-steps . ("Decide: Rust clap or Elixir escript")))))
+
+    ;; =========================================================================
+    ;; VELOCITY HISTORY (for burndown tracking)
+    ;; =========================================================================
+    (history
+     . (((date . "2024-12-01")
+         (snapshot . (("capability-crate" . 100)
+                      ("fs_ops-crate" . 100)
+                      ("git_ops-crate" . 100)
+                      ("polysafe_nifs-crate" . 10)
+                      ("elixir-orchestrator" . 0))))
+
+        ((date . "2025-12-08")
+         (snapshot . (("capability-crate" . 100)
+                      ("fs_ops-crate" . 100)
+                      ("git_ops-crate" . 100)
+                      ("polysafe_nifs-crate" . 10)
+                      ("elixir-orchestrator" . 0)))
+         (notes . "Initial STATE.scm creation"))))
+
+    ;; =========================================================================
+    ;; CRITICAL NEXT ACTIONS
+    ;; =========================================================================
+    (next-actions
+     . (((priority . 1)
+         (action . "Decide: Pure Rust vs Elixir orchestration for MVP")
+         (owner . "@Hyperpolymath")
+         (context . "Blocks all further architecture decisions"))
+
+        ((priority . 2)
+         (action . "Fix workspace Cargo.toml dependencies")
+         (owner . "any")
+         (context . "Add chrono, uuid, hex to workspace.dependencies"))
+
+        ((priority . 3)
+         (action . "Write integration tests for Rust crates")
+         (owner . "any")
+         (context . "Verify capability + fs_ops + git_ops work together"))
+
+        ((priority . 4)
+         (action . "Update SECURITY.md with real policy")
+         (owner . "@Hyperpolymath")
+         (context . "Replace GitHub template with actual security contact info"))))))
+
+;; Query helpers (for minikanren-style queries if using Guile)
+;; (define (project-status name state)
+;;   (assoc-ref (assoc-ref state 'projects) name))