Skip to content

docs(agents): developer toolkit map -- TRI CLAW, T27F, hot reload, MCP, gates, traps (Closes #10245) - #10246

Merged
gHashTag merged 1 commit into
masterfrom
docs/agents-dev-toolkit
Oct 18, 2026
Merged

gHashTag merged 1 commit into
masterfrom
docs/agents-dev-toolkit

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #10245

AGENTS.md is the entry point for developers and agents. It gains section 8, "Developer toolkit: what we built and where it lives". It maps each piece to its one home:

  • TRI CLAW: the gate inventory and drift law (specs/claw/gates.t27), the service contract, recipes and fix engine, docs/claw/, and the GitHub App (github.com/apps/tri-claw, today the reviewer-bee identity). The cross-repo claw/t27f check is listed as in flight, not as done.
  • T27F: the specs/t27f/ map (IR, exporter, derive, fold, view, outline), the graph page, and t27f_outline for cheap reading.
  • Hot reload and incremental work:
    • seal v2 and t27c frontier, with its --watch mode;
    • the gen-hash cache, with its measured 67.7 s to 3.0 s;
    • t27c use-edges and specs/ci/affected.t27;
    • specs/t27f/hot.t27;
    • t27-mcp --watch SSE, save-to-event p50 24 ms, dated 2026-10-18.
  • t27 MCP server: the tools that save the most work.
  • PR gates: own language / SHRINK, issue shape, PR budget, compiler preflight, duplicate bodies, gate drift. Each row points to its spec.
  • Traps we paid for:
    • gen-c string lowering;
    • a parse is not a proof;
    • heavy runs go to the Railway lab;
    • a merge is not a deploy.

The section holds pointers only: no rule text is copied out of its spec or skill. Every linked path was checked against origin/master before commit. Prose only, no foreign lines.

🤖 Generated with Claude Code

…P, gates, traps (Closes #10245)

AGENTS.md is the entry point; it now maps the tools built since 2026-10-12
to their one home each (spec, skill or repo) instead of leaving newcomers to
rediscover them as scripts. Pointers only, no rule text copied.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 18, 2026 05:34
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 05:41:49 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 47
PRs with All Checks Green 3
READY 0
FAILING 47
PENDING 0
NO CHECKS YET 0

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=0f8c66b9ed0e != 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).

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.

docs(agents): developer toolkit map in AGENTS.md -- TRI CLAW, T27F, hot reload, MCP, gates, traps

1 participant