Repository navigation
v0.3.0 - Initial Public Release
Initial Public Release (v0.3.0)
Added
- 18 MCP tools:
generate_learning_path,get_workspace_infoadded (was 17) - 3 MCP prompts as slash commands:
/hypotree-init,/hypotree-next,/hypotree-status - 2 MCP resources:
hypotree://guide,hypotree://state - Server-level
instructionsdelivered at MCP handshake AGENT_GUIDE.mdshipped inside the package, not as a repo-root file- CLI:
hypotree --version,--help,--info - Cross-platform CI: matrix over ubuntu/windows/macOS × py3.10-3.13
- Cross-platform identity resolution: uses
%LOCALAPPDATA%on Windows,$XDG_DATA_HOMEon Linux/macOS eval/runner/config.py: same XDG_DATA_HOME pattern fixed for cross-platform- PyPI metadata: authors, license, classifiers, project.urls, py.typed
hypotree.yaml.templateupdated with cross-platform storage paths
Gate results (Run D, qwen3.6:27b-q8_0, 30 seeds)
- C1b (B vs F): 7.5 steps median reduction (28.9%), δ=0.89, 30/0/0 wins — PASS
- C1a (B vs A): 25.0 steps (57.5%), δ=1.0, 30/0/0 — PASS
- C2 (navigator): worst case 55% below greedy, 0/30 lock-ins — PASS
- C3 (revision): 0 pruned re-executions, 104 revision events, 14/15 conflicts resolved — PASS
- C4 (status utility): χ²=45.2, V=0.185, decision=KEEP — PASS
Engine changes
- Differential ablation:
_eliminate_substitutenow mirrors_confirm_substitute - Fabricated claim_id handling: dropped silently, result kept
- Double-counting fix:
node_createdevents no longer added tobulk_createcounts - Group adoption denominator: compositions without exclusion_group correctly counted
- Record→dispatch fusion:
count_next_targetsparameter onrecord_evidence
Full Changelog: https://github.com/tygryso/hypotree/blob/master/CHANGELOG.md#030---2026-07-31
Full Commit: https://github.com/tygryso/hypotree/commits/v0.3.0