Skip to content

t27mcp: Wave 2 -- integration test verifying Tier 1 cross-spec contracts - #13567

Merged
gHashTag merged 1 commit into
masterfrom
lane/t27mcp-integration-test
Nov 10, 2026
Merged

gHashTag merged 1 commit into
masterfrom
lane/t27mcp-integration-test

Conversation

@gHashTag

@gHashTag gHashTag commented Nov 10, 2026 •

Copy link
Copy Markdown
Collaborator

t27mcp: Wave 2 -- integration test verifying Tier 1 cross-spec contracts

Adds specs/t27mcp/integration_test.t27 which ties the already-landed
Wave B/C/D/E handler specs together via cross-spec invariants:

  • T27L event kind ladder 10..13 is strictly monotone
  • Tier 1 tool indices (0, 1, 16) are within server dispatch range
  • Chain link LK_REQUEST_TO_DECOMPOSITION (index 8) is reachable
  • Automation status LP_COUNT == 3 matches layer_count
  • RSI evidence levels are strictly ordered

8 tests pass, 6 invariants proved, FAIL 0.

Closes #13566

Co-Authored-By: Claude Sonnet 4.6 noreply@anthropic.com


Note

Low Risk
Spec-only addition with no runtime or handler behavior changes; risk is limited to maintenance if duplicated constants drift from the source specs.

Overview
Adds specs/t27mcp/integration_test.t27 (McpIntegrationTest), a Wave 2 T27 spec that locks in Tier 1 MCP runtime integration without new handlers—only assertions against values that must stay aligned across existing specs.

The module defines mirrored constants (T27L event kinds 10–13, tool indices 0/1/16, chain link 8, layer count 3, five metric fields, RSI evidence levels) plus small helpers (tek_ladder_monotone, tier1_tools_dispatchable, etc.). Eight tests exercise ordering, dispatch range, automation layer count, chain coverage, metrics, RSI thresholds, and stable PASS/BLOCKED/FAIL codes. Six invariants keep those contracts enforced continuously.

Reviewed by Cursor Bugbot for commit 1716f80. Bugbot is set up for automated code reviews on this repo. Configure here.

Adds specs/t27mcp/integration_test.t27 which ties the already-landed
Wave B/C/D/E handler specs together via cross-spec invariants:
- T27L event kind ladder 10..13 is strictly monotone
- Tier 1 tool indices (0, 1, 16) are within server dispatch range
- Chain link LK_REQUEST_TO_DECOMPOSITION (index 8) is reachable
- Automation status LP_COUNT == 3 matches layer_count
- RSI evidence levels are strictly ordered

8 tests pass, 6 invariants proved, FAIL 0.

Closes #13566

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) November 10, 2026 13:11
@cursor

cursor Bot commented Nov 10, 2026

Copy link
Copy Markdown
Contributor

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: 4990454b-35c6-4aeb-9f80-9dbd3e732ce5)

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-10 13:11:38 UTC

Summary

Status Count
Total Open PRs 31
PRs with Failing Checks 29
PRs with All Checks Green 2
READY 0
FAILING 29
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 29 + 0 + 0 = 29, and there are 31 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=b882be1e4933 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit 4fd5492 into master Nov 10, 2026
36 of 44 checks passed
@gHashTag
gHashTag deleted the lane/t27mcp-integration-test branch November 10, 2026 13:12
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.

t27mcp: Wave 2 -- integration test verifying Tier 1 cross-spec contracts

1 participant