R82.F — deploy.md + boot.md verification evidence

0. Scope

Verifies the behavioral contract defined in docs/contracts/r82-f-deploy-boot-contract.md for implementation commit d15644ec on feature/r82-f-deploy-boot.

1. Negative sweep — “19 tools” / “all 19”

Contract invariant §2.1: zero occurrences in each file.

$ cd E:/AMS/.worktrees/claude/r82-f-deploy-boot
$ grep -cE "19 tools|all 19" docs/guides/deploy.md docs/2-plugin/boot.md
docs/guides/deploy.md:0
docs/2-plugin/boot.md:0

PASS. Both zero.

Note: the token 19-tool (hyphen) appears once in deploy.md:53 inside the explicit heritage reference “the original 19-tool plan is retained in that doc for heritage reference”. This is deliberate per contract §2.1 note — heritage framing is admitted; only live, unqualified “19 tools” (space) / “all 19” claims are forbidden. The regex 19 tools|all 19 does not match 19-tool.

2. Negative sweep — phantom tools

Contract invariant §2.1: zero occurrences of server_shutdown, server_status, task_transition, audit_session_end, task_delete, task_depends_on, server_info.

$ grep -cE "server_shutdown|server_status|task_transition|audit_session_end|task_delete|task_depends_on|server_info" docs/guides/deploy.md docs/2-plugin/boot.md
docs/guides/deploy.md:0
docs/2-plugin/boot.md:0

PASS. Both zero.

3. Positive sweep — “14 tools” / “14 shipped”

Contract invariant §2.2: at least one occurrence in each file.

$ grep -cE "14 tools|14 shipped" docs/guides/deploy.md docs/2-plugin/boot.md
docs/guides/deploy.md:7
docs/2-plugin/boot.md:2

PASS. deploy.md:7 and boot.md:2, both ≥ 1.

Breakdown of hits:

• deploy.md: L48 FULL row, L50 TEST row, L53 paragraph, L63 boot step, L104 laptop profile, L141 deferred table, L179 footer.
• boot.md: L30 handler-count sentence (“The server registers the 14 shipped tool handlers”), L116 FULL bullet.

4. Collective tool coverage

Contract invariant §2.3: all 14 live tool names appear collectively.

Live tools and their appearances (line references captured via grep -nE "server_ping|server_health|thought_record|…" docs/guides/deploy.md docs/2-plugin/boot.md):

Tool	Appears in
server_ping	deploy.md:51, boot.md:36, boot.md:119
server_health	deploy.md:51, deploy.md:143, deploy.md:175, boot.md:36, boot.md:119
thought_record	deploy.md:153, deploy.md:154, boot.md:33
thought_record_list	boot.md:33
audit_verify_chain	deploy.md:159, boot.md:33
skill_list	boot.md:35
task_create	boot.md:32
task_list	boot.md:32
task_get	boot.md:32
task_update	boot.md:32
task_next_actions	boot.md:32
audit_session_start	boot.md:33
merkle_finalize	deploy.md:154, boot.md:34
merkle_root	boot.md:34

PASS. All 14 names appear collectively.

5. Jekyll frontmatter intact

Contract invariant §2.4: frontmatter block on both files preserved.

$ head -10 docs/guides/deploy.md
---
title: Deploy
description: "Phase 0 deployment — single-node stdio MCP server, COLIBRI_* env, boot sequence, runtime modes."
tags: [operations, deploy, colibri]
type: operations
updated: 2026-04-16
parent: Guides
nav_order: 40
---

$ head -10 docs/2-plugin/boot.md
---
title: Boot Sequence
description: The 6-step Colibri server boot, why transport connects first, the Promise gate, domain loading order, and exit codes.
tags: [architecture, boot, lifecycle, phase-0]
round: R74.5
updated: 2026-04-10
parent: "2 — Plugin: The Colibri Server"
nav_order: 10
---

PASS. Both frontmatter blocks intact — keys, values, and delimiters unchanged.

6. capabilitiesFor() advisory callout

Contract invariant §2.7: advisory callout lands in deploy.md boot-sequence step 5.

$ grep -n "currently advisory" docs/guides/deploy.md
63:5. **Tools list.** Register the 14 shipped Phase 0 tools. Advertise them in the MCP `tools/list` response. Note: `capabilitiesFor(mode)` is read at construction time but is currently advisory in Phase 0 — every registered tool is exposed in every mode regardless of the active capability record. Enforcement at registration time is a Phase 1 follow-up.

PASS. Callout lands on L63 in the step-5 prose position. Language aligned with src/server.ts:226-229 reality.

7. Shutdown wording reality

Contract invariant §2.8: exit-code-0 row in boot.md uses SIGINT/SIGTERM, not server_shutdown.

$ grep -n "SIGINT/SIGTERM" docs/2-plugin/boot.md
171:| 0 | Success | Clean shutdown via SIGINT/SIGTERM |

PASS. Replacement landed exactly where the phantom was.

8. Cross-links preserved

Manually inspected — no cross-link (e.g. [text](../path/file.md) anchor) renamed, added, or removed. Only prose inside link captions changed (e.g. L179 footer caption “the 19 tools per ADR-004” → “the 14 shipped tools per ADR-004 (R75 Wave H amendment)”). The link target ../reference/mcp-tools-phase-0.md is unchanged.

PASS.

9. Markdown table structure preserved

Both mode tables (deploy.md:L46–L51, boot.md header sections) retain column count and column names. Only cell contents changed in the three target rows (FULL, TEST, MINIMAL) and one cell in boot.md L159 + L171.

PASS.

10. Test runner gate

Docs-only task. No npm run build && npm run lint && npm test gate applies. No test regressions possible.

N/A.

11. Git state

$ cd E:/AMS/.worktrees/claude/r82-f-deploy-boot && git log --oneline -6
d15644ec fix(r82-f-deploy-boot): 19→14 tool-count + phantom tool strike
d5ecc7ee packet(r82-f-deploy-boot): execution plan
17cca7fc contract(r82-f-deploy-boot): behavioral contract
88f58182 audit(r82-f-deploy-boot): inventory 19-tool + phantom drift
b88d7ca0 R81 Wave 1: kappa-phase-1-wave-1 — sealed (partial: 2 of 3) (#174)
35488156 R81.A: P1.1.1 — κ Basis Point Arithmetic (bigint bps helpers) (#173)

Branch is 4 commits ahead of origin/main (b88d7ca0). No stray commits from other R82 branches.

12. Summary

All 11 contract invariants (§2.1 through §2.8 plus §2.4 sub-bullets) verified PASS. No test runner gate applies. Implementation reconciles both target files to the 14-tool Phase 0 surface and adds the advisory callout for capabilitiesFor(). Zero regressions, zero new drift, zero scope creep beyond the two files + four chain artefacts.

---

Part of R82 Phase 0-1 stabilization, Wave 2 (task F). Governed by docs/agents/executor-contract.md.