Skip to content

spec(t27mcp): rename Tool to McpTool, one definition per type name (Refs #10416) #10463

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
gHashTag wants to merge 2 commits into from
Closed

spec(t27mcp): rename Tool to McpTool, one definition per type name (Refs #10416) #10463

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
366ffee
spec(t27mcp): rename Tool to McpTool so the type name has one definit…
gHashTag Oct 18, 2026
ea5c621
seals: refresh T27mcpToolSchema after the McpTool rename (Refs #10416)
gHashTag Oct 18, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions .trinity/seals/t27mcp_T27mcpToolSchema.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,17 @@
{
"built_by": "t27c-bootstrap@0.5.2+4ab200073",
"built_by": "t27c-bootstrap@0.5.2+7552b89d0",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:95f30d70ccb105cbb7b7f84c671f5a047212a01f8036713e3ab0e0c02ab89868",
"gen_hash_rust": "sha256:a645820a69eb3ef5227d5ec8b85cdfafec99361074e1176b095fbbc544cedb10",
"gen_hash_verilog": "sha256:954c78ad915486a96422b25476548b2ac9ef3edd5566e26a42701bc92cccf06f",
"gen_hash_zig": "sha256:8cc223ea3646b426792cfe23287b5ea96920c17e553eb9acd02e32aa52985560",
"gen_hash_c": "sha256:0d3aeb24b10258e284fe1a73c897907b32f7458fef65a2311906262f3cd82c8a",
"gen_hash_rust": "sha256:2d92a5ef1a36fe553f88c4e7449aa730575a1daa1dccb98f9e83227071e6bc47",
"gen_hash_verilog": "sha256:9de031fa361eb1b01f814154d23635e18dd47f0426a62ddd78d8f2014c3dc7d5",
"gen_hash_zig": "sha256:e10f26c4d2ac979e7c5a781d7e15ba9e88c3b826996c2ba8849fbafa8ee1fc30",
"module": "T27mcpToolSchema",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T11:43:51Z",
"sealed_at": "2026-10-18T12:48:37Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:6997ad63a28002811cd1d1d2bd0d42c734aebe954fd428d1b580322606cb2f81",
"spec_hash": "sha256:49528bd0537c12a9a7a288735d272ee974cf2d261a8f197eb5b17b78a2f9a89b",
"spec_path": "specs/t27mcp/tool_schema.t27",
"tests": {
"failed": 0,
Expand Down
60 changes: 30 additions & 30 deletions specs/t27mcp/tool_schema.t27
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@ pub const CATALOG_META_KEY : str = "t27/catalog";
pub const SEAL_FILE : str = "tool_schema.seal.json";
pub const SPEC_PATH : str = "specs/t27mcp/tool_schema.t27";

pub struct Tool {
pub struct McpTool {
name: str,
filters: bool,
out: u32,
Expand Down Expand Up @@ -127,34 +127,34 @@ pub const T_TG_PARTICIPANTS : u32 = 25;
pub const T_TG_SCHEDULED : u32 = 26;
pub const TOOL_COUNT : u32 = 27;

pub const TOOLS : [27]Tool = [
Tool { .name = "t27_status", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27_formats", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27_format", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27_specs", .filters = true, .out = OUT_OBJECT },
Tool { .name = "t27_spec", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27_grep", .filters = true, .out = OUT_OBJECT },
Tool { .name = "t27_issues", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27_epics", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27_modules", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27_worlds", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27_raw", .filters = false, .out = OUT_ANY },
Tool { .name = "t27_game", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27_check", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27_examples", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27_find", .filters = false, .out = OUT_OBJECT },
Tool { .name = "t27f_view", .filters = false, .out = OUT_TEXT },
Tool { .name = "t27f_outline", .filters = false, .out = OUT_TEXT },
Tool { .name = "t27f_graph", .filters = false, .out = OUT_TEXT },
Tool { .name = "t27_dashboard", .filters = false, .out = OUT_TEXT },
Tool { .name = "t27_paper_claims", .filters = false, .out = OUT_OBJECT },
Tool { .name = "tg_unanswered", .filters = false, .out = OUT_TEXT },
Tool { .name = "tg_dialogs", .filters = false, .out = OUT_TEXT },
Tool { .name = "tg_history", .filters = false, .out = OUT_TEXT },
Tool { .name = "tg_search", .filters = false, .out = OUT_TEXT },
Tool { .name = "tg_contacts", .filters = false, .out = OUT_TEXT },
Tool { .name = "tg_participants", .filters = false, .out = OUT_TEXT },
Tool { .name = "tg_scheduled", .filters = false, .out = OUT_TEXT }
pub const TOOLS : [27]McpTool = [
McpTool { .name = "t27_status", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27_formats", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27_format", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27_specs", .filters = true, .out = OUT_OBJECT },
McpTool { .name = "t27_spec", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27_grep", .filters = true, .out = OUT_OBJECT },
McpTool { .name = "t27_issues", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27_epics", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27_modules", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27_worlds", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27_raw", .filters = false, .out = OUT_ANY },
McpTool { .name = "t27_game", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27_check", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27_examples", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27_find", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "t27f_view", .filters = false, .out = OUT_TEXT },
McpTool { .name = "t27f_outline", .filters = false, .out = OUT_TEXT },
McpTool { .name = "t27f_graph", .filters = false, .out = OUT_TEXT },
McpTool { .name = "t27_dashboard", .filters = false, .out = OUT_TEXT },
McpTool { .name = "t27_paper_claims", .filters = false, .out = OUT_OBJECT },
McpTool { .name = "tg_unanswered", .filters = false, .out = OUT_TEXT },
McpTool { .name = "tg_dialogs", .filters = false, .out = OUT_TEXT },
McpTool { .name = "tg_history", .filters = false, .out = OUT_TEXT },
McpTool { .name = "tg_search", .filters = false, .out = OUT_TEXT },
McpTool { .name = "tg_contacts", .filters = false, .out = OUT_TEXT },
McpTool { .name = "tg_participants", .filters = false, .out = OUT_TEXT },
McpTool { .name = "tg_scheduled", .filters = false, .out = OUT_TEXT }
];

/// Descriptions more than one row shares.
Expand Down Expand Up @@ -570,7 +570,7 @@ test "the tables are the size they say, with 27 tools and their names" {
test "every tool name is unique and has a known prefix" {
var i : u32 = 0;
while (i < TOOL_COUNT) {
let t : Tool = TOOLS[i];
let t : McpTool = TOOLS[i];
assert t.name.len > 3;
let t27 : bool = t.name[0] == 't' and t.name[1] == '2' and t.name[2] == '7';
let tg : bool = t.name[0] == 't' and t.name[1] == 'g' and t.name[2] == '_';
Expand Down
Loading