Plan the critical missing features as tracked sub-issues; refresh vision and roadmap - #652
Plan the critical missing features as tracked sub-issues; refresh vision and roadmap#652konard wants to merge 7 commits into
Conversation
Adding .gitkeep for PR creation (default mode). This file will be removed when the task is complete. Issue: #651
Working session summaryWaiting on the compile — the monitor will wake me when test results land. This summary was automatically extracted from the AI working session output. |
🤖 Solution Draft LogThis log file contains the complete execution trace of the AI solution draft process. 💰 Cost: $33.488057📊 Context and tokens usage:Claude Fable 5: (4 sub-sessions)
Total: (10.4K new + 650.4K cache writes + 12.6M cache reads) input tokens, 193.8K output tokens, $33.386647 cost Claude Haiku 4.5:
Total: 52.0K input tokens, 1.9K output tokens, $0.101410 cost 🤖 Models used:
📎 Log file uploaded as Gist (7257KB)Now working session is ended, feel free to review and add any feedback on the solution draft. |
🔄 Auto-restart 1/5Detected uncommitted changes from previous run. Starting new session to review and commit or discard them. Uncommitted files: Auto-restart will stop after changes are committed or discarded, or after 4 more iterations. Please wait until working session will end and give your feedback. |
Working session summaryCI is still in progress on commit 19d09cd. The uncommitted changes have been committed and pushed — they were legitimate parts of the solution (aligning test traceability pins with the restructured ROADMAP.md, plus the matching changelog note), and I verified all 48 docs-requirements unit tests pass locally before pushing. I'll report back once the CI watcher completes. This summary was automatically extracted from the AI working session output. |
🔄 Auto-restart 1/5 LogThis log file contains the complete execution trace of the AI solution draft process. 💰 Cost estimation:
📊 Context and tokens usage:
Total: (21 new + 21.3K cache writes + 314.3K cache reads) input tokens, 3.2K output tokens, $0.902298 cost 🤖 Models used:
📎 Log file uploaded as Gist (7770KB)Now working session is ended, feel free to review and add any feedback on the solution draft. |
✅ Ready to mergeThis pull request is now ready to be merged:
Monitored by hive-mind with --auto-restart-until-mergeable flag |
This reverts commit 3e21a0b.
Solves #651.
What This PR Does
A planning pass, not a code change: it audits everything that keeps the project from fully fulfilling its vision, files the gaps as 21 maximum-detail sub-issues of #651, and rewrites the planning docs so status is honest and every partial requirement is tracked.
docs/case-studies/issue-651/: deferred-work audit across all closed-issue conversations, repository-state audit against the vision docs, online research on Agent CLI / Hive Mind self-coding feasibility, and the full bodies of all filed issues (proposed-issues.md).VISION.md: three new sections — "Associative Technologies Only" (links networks, Links Notation, the meta language; never graphs or tables), "Self-Coding: The Project Builds Itself" (four-rung ladder ending in a measured per-release self-hosting percentage), and "Reaching A Wide Audience".ROADMAP.md: restructured from an issue-batch chronicle into a general-requirement status tracker — eight requirement groups, each requirement marked done / partially done / not done, with the invariant that no non-done requirement may exist without a linked open issue.blocked_byrelations encoding execution order: E36: Hive-Mind-dispatched end-to-end issue solve by Formal AI #655←E35: Generalize the agentic planner beyond pinned task recipes #654, E38: Self-hosting metric: measure the share of each release authored by Formal AI #657←E36: Hive-Mind-dispatched end-to-end issue solve by Formal AI #655+E37: Benchmark-gated promotion protocol for self-improvement proposals #656, E46: Installable offline PWA and npm package for the WASM engine #665←E39: Absorb the remaining JS worker logic into the Rust→WASM worker (R380) #658, E48: Interactive step-by-step debugging view (R383) #667←E47: Publish the VS Code extension to the Marketplace and Open VSX #666.Issue Requirements → How Addressed
raw-data/incomplete-work-audit.md: ~19 deferred items (R378–R385, #625/#628 CI matrix, #541 F1–F5, journeys F2–F6, …) and five deferral anti-patternsVISION.md+ROADMAP.mdrewrites in this PRROADMAP.mdstructure and its no-untracked-partials invariantghghVISION.md; naming-debt cleanup + lint in #664online-research.mdPOST .../issues/651/sub_issues; blocked-by edges viaPOST .../issues/{n}/dependencies/blocked_by; both verified by reading the endpoints backdocs/case-studies/issue-651/directoryFiled Issues (E35–E55)
How To Verify
gh api repos/link-assistant/formal-ai/issues/651/sub_issues --paginate --jq '.[].number'returns exactly E35: Generalize the agentic planner beyond pinned task recipes #654–E55: Compile arbitrary natural-language programs beyond the supported skill subset #674.gh api repos/link-assistant/formal-ai/issues/657/dependencies/blocked_by --jq '.[].number'returns 655 and 656 (the other three edges verified the same way).ROADMAP.mdlinks an open issue; all referenced pre-existing issues (Issue with dialog: интерфейс ужасен. #447, Moonshot tasks #453, Find a way to use https://research.nvidia.com/labs/nemotron/Nemotron-3-Ultra training data, to add tests for our AI system #482, We can add experimental fallback for formalization using small models #483, Principle of least action #491, Patterns inference (1D - sequences, text, 2D images and so on) #531, Our repository is taking up lots of space during development #534, On desktop/tablet size of screen we should use buttons embedded into the text field #557, Predicting consequences of actions using world models/formal systems/contexts #649, formal-ai with: fix codex 'hi' misroute (/responses merges instructions), uniform interactive/non-interactive mode for all tools, summarization handling, --globally alias #650) were confirmed open with matching topics on 2026-07-12.bump: minor), matching the issue-244 planning-pass precedent.Fixes #651