Skip to content

phase4-E: smoke + evidence; Phase 4 closed#28

Merged
rafael5 merged 1 commit into
mainfrom
phase4-E
May 11, 2026
Merged

phase4-E: smoke + evidence; Phase 4 closed#28
rafael5 merged 1 commit into
mainfrom
phase4-E

Conversation

@rafael5
Copy link
Copy Markdown
Contributor

@rafael5 rafael5 commented May 11, 2026

Summary

Track E of phase4-plan.md §6. Phase 4 close-out — ships docs/phase4-evidence.md capturing clean runs of every gate plus the parent-plan exit criterion (canonical-query round-trip from a fresh uvx --from git+...@v0.1.0 install).

Evidence captured

  • pytest profile/build/ — 51 / 51
  • make catalog — byte-idempotent regen
  • make validate-catalog — schema-strict OK
  • make handshake — 8 / 8 steps
  • make recipes-check — 4 / 4 clean
  • uvx --from git+https://github.com/m-dev-tools/m-dev-tools-mcp@v0.1.0 m-dev-tools-mcp --tool route_intent --query "parse JSON in M"["module:m-stdlib#STDJSON"]

All nine §11 done-criteria cited green

# Criterion Where
1 m-dev-tools-mcp public + Phase-0 contract PR #1 / 6a92068
2 3 TDD-covered MCP tools PR #2 / 90ca336
3 v0.1.0 GitHub Release with wheel release tag
4 tools.json entry with repo_meta_url + mcp_tools_url + release_wheel_url .github PR #27 / 1a4b15a
5 task_index.json agent_integration intent .github PR #27
6 examples/claude-code/ ships .mcp.json + smoke + transcript PR #3 / 7dc8410
7 docs/phase4-evidence.md this PR
8 uvx@v0.1.0 canonical round-trip green captured in evidence
9 CI green across both repos every Phase 4 PR landed green

Out-of-scope follow-ups (noted in evidence doc)

  • validate-repo-meta.py UTF-8-decode bug on binary exposes.* URLs — workaround ARGS=--no-resolve
  • 3 Phase-3-era orphan schema fixture files (gitignored but on disk)

Test plan

  • All four meta-repo gates green locally
  • Canonical-query round-trip via fresh uvx@v0.1.0 install
  • CI green

Phase 5 (continuous enforcement) unblocked after this merges.

Captures Phase 4 exit per phase4-plan.md §6 + §11. Mirrors
phase3-evidence.md shape: one section per gate, "What this proves"
roll-up, then each §11 done-criterion cited green.

Verified locally (gate outputs in the evidence doc):

* pytest profile/build/ — 51/51 green
* make catalog — byte-idempotent regen
* make validate-catalog — schema-strict OK
* make handshake — 8/8 steps
* make recipes-check — 4/4 clean
* uvx --from git+...@v0.1.0 m-dev-tools-mcp --tool route_intent
  --query "parse JSON in M" → ["module:m-stdlib#STDJSON"]
  (the parent-plan exit criterion, end-to-end from a fresh clone)

All nine §11 done-criteria cited green:

1. m-dev-tools-mcp repo public AGPL-3.0 + full Phase-0 contract (PR
   #1)
2. server.py exposes 3 TDD-covered tools (PR #2 — 30 dedicated
   cases)
3. v0.1.0 GitHub Release with 23-KB pure-Python wheel attached
   (Track D2)
4. tools.json carries the entry with repo_meta_url + mcp_tools_url +
   release_wheel_url (.github PR #27)
5. task_index.json has infra.agent_integration → tool:m-dev-tools-mcp
   (.github PR #27)
6. examples/claude-code/ has .mcp.json + README + smoke.sh +
   session.md template (PR #3)
7. This evidence file (PR — current)
8. uvx canonical round-trip green (run captured above)
9. CI green on every Phase 4 PR

Phase 5 (continuous enforcement) unblocked. PyPI publishing remains
deliberately deferred.

Two out-of-scope follow-ups noted in the evidence doc:

* validate-repo-meta.py UTF-8-decode bug on binary release-wheel
  exposes URLs (use --no-resolve until fixed)
* 3 Phase-3-era orphan schema fixtures gitignored but still on
  disk; auto-classifier blocks rm
@rafael5 rafael5 merged commit ce61346 into main May 11, 2026
2 checks passed
@rafael5 rafael5 deleted the phase4-E branch May 11, 2026 12:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant