Tool tree
gradeNot graded
list_claim_ceilingAnswer
Return the WebMCP actions declared and refused on this page. Read-only and non-authorizing.
View tool JSON
{
"name": "list_claim_ceiling",
"kind": "answer",
"impl": "imperative",
"description": "Return the WebMCP actions declared and refused on this page. Read-only and non-authorizing.",
"inputSchema": {
"type": "object",
"additionalProperties": false,
"properties": {}
},
"page": "/ceiling/"
}list_public_workAnswer
Return a fixed list of public project links stated by this site. Read-only; does not navigate.
View tool JSON
{
"name": "list_public_work",
"kind": "answer",
"impl": "imperative",
"description": "Return a fixed list of public project links stated by this site. Read-only; does not navigate.",
"inputSchema": {
"type": "object",
"additionalProperties": false,
"properties": {}
},
"page": "/ceiling/"
}list_papersAnswer
Return a fixed list of working-paper paths published by this site. Read-only; does not navigate.
View tool JSON
{
"name": "list_papers",
"kind": "answer",
"impl": "imperative",
"description": "Return a fixed list of working-paper paths published by this site. Read-only; does not navigate.",
"inputSchema": {
"type": "object",
"additionalProperties": false,
"properties": {}
},
"page": "/ceiling/"
}get_capability_statementAnswer
Return the public capability-statement URL. Read-only; does not open the URL or contact anyone.
View tool JSON
{
"name": "get_capability_statement",
"kind": "answer",
"impl": "imperative",
"description": "Return the public capability-statement URL. Read-only; does not open the URL or contact anyone.",
"inputSchema": {
"type": "object",
"additionalProperties": false,
"properties": {}
},
"page": "/ceiling/"
}get_workspaceAnswer
Return a compact synthetic release-policy summary, field names, up to two pending diffs, current page-activation arm, last decision, and receipt checkpoint. Exact field constraints are in this tool contract; rationale is untrusted.
View tool JSON
{
"name": "get_workspace",
"kind": "answer",
"impl": "imperative",
"description": "Return a compact synthetic release-policy summary, field names, up to two pending diffs, current page-activation arm, last decision, and receipt checkpoint. Exact field constraints are in this tool contract; rationale is untrusted.",
"inputSchema": {
"type": "object",
"additionalProperties": false,
"properties": {}
},
"page": "/ceiling/"
}get_receiptsAnswer
Return compact verification metadata and digest fields from the latest two in-memory receipts. Read-only and session-local.
View tool JSON
{
"name": "get_receipts",
"kind": "answer",
"impl": "imperative",
"description": "Return compact verification metadata and digest fields from the latest two in-memory receipts. Read-only and session-local.",
"inputSchema": {
"type": "object",
"additionalProperties": false,
"properties": {}
},
"page": "/ceiling/"
}list_boundary_probesAnswer
Return the seven isolated synthetic probes available for the implemented authority and receipt core. Read-only and session-independent.
View tool JSON
{
"name": "list_boundary_probes",
"kind": "answer",
"impl": "imperative",
"description": "Return the seven isolated synthetic probes available for the implemented authority and receipt core. Read-only and session-independent.",
"inputSchema": {
"type": "object",
"additionalProperties": false,
"properties": {}
},
"page": "/ceiling/"
}run_boundary_probeAction
Run one declared synthetic probe in isolated in-memory state and return its expected and observed result. Does not change the shared task or its receipts.
View tool JSON
{
"name": "run_boundary_probe",
"kind": "act",
"impl": "imperative",
"description": "Run one declared synthetic probe in isolated in-memory state and return its expected and observed result. Does not change the shared task or its receipts.",
"inputSchema": {
"type": "object",
"additionalProperties": false,
"required": [
"scenario"
],
"properties": {
"scenario": {
"type": "string",
"enum": [
"unarmed_apply",
"wrong_operation",
"one_use_replay",
"monotonic_expiry",
"parallel_apply",
"receipt_tamper",
"reserve_starvation"
],
"description": "Exact isolated synthetic boundary probe to run."
}
}
},
"page": "/ceiling/"
}propose_changeAction
Validate and queue one typed in-memory release-policy diff with rationale. Hard policy invariants refuse unsafe values; this tool cannot apply an admitted change.
View tool JSON
{
"name": "propose_change",
"kind": "act",
"impl": "imperative",
"description": "Validate and queue one typed in-memory release-policy diff with rationale. Hard policy invariants refuse unsafe values; this tool cannot apply an admitted change.",
"inputSchema": {
"additionalProperties": false,
"oneOf": [
{
"properties": {
"field": {
"enum": [
"deployment_target"
],
"type": "string"
},
"value": {
"description": "Where the synthetic release would be admitted.",
"enum": [
"staging",
"production"
],
"type": "string"
}
},
"required": [
"field",
"value"
]
},
{
"properties": {
"field": {
"enum": [
"max_parallel_releases"
],
"type": "string"
},
"value": {
"description": "Input range 1-5; release policy denies values above four.",
"maximum": 5,
"minimum": 1,
"type": "integer"
}
},
"required": [
"field",
"value"
]
},
{
"properties": {
"field": {
"enum": [
"require_signed_artifacts"
],
"type": "string"
},
"value": {
"description": "Hard invariant: unsigned artifacts remain forbidden.",
"type": "boolean"
}
},
"required": [
"field",
"value"
]
},
{
"properties": {
"field": {
"enum": [
"required_reviewers"
],
"type": "string"
},
"value": {
"description": "Human approvals required before a synthetic release.",
"maximum": 4,
"minimum": 1,
"type": "integer"
}
},
"required": [
"field",
"value"
]
},
{
"properties": {
"field": {
"enum": [
"rollback_window_minutes"
],
"type": "string"
},
"value": {
"description": "Minutes the synthetic rollback window remains open.",
"maximum": 120,
"minimum": 15,
"type": "integer"
}
},
"required": [
"field",
"value"
]
}
],
"properties": {
"field": {
"description": "Declared scalar policy field to change.",
"enum": [
"deployment_target",
"max_parallel_releases",
"require_signed_artifacts",
"required_reviewers",
"rollback_window_minutes"
],
"type": "string"
},
"rationale": {
"description": "Brief reason for proposing this exact change.",
"maxLength": 600,
"minLength": 1,
"pattern": "\\S",
"type": "string"
},
"request_id": {
"description": "Idempotency key bound to this exact proposal payload.",
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9._:-]+$",
"type": "string"
},
"scenario": {
"description": "Exact adapter scenario identifier.",
"enum": [
"release_policy"
],
"type": "string"
},
"value": {
"description": "Replacement value; its type and bounds depend on field."
}
},
"required": [
"request_id",
"scenario",
"field",
"value",
"rationale"
],
"type": "object"
},
"page": "/ceiling/"
}apply_changeAction
Apply one pending synthetic release-policy diff only when its exact id, baseline, content, and operation have a live one-use trusted page-activation arm.
View tool JSON
{
"name": "apply_change",
"kind": "act",
"impl": "imperative",
"description": "Apply one pending synthetic release-policy diff only when its exact id, baseline, content, and operation have a live one-use trusted page-activation arm.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"id": {
"description": "Exact change identifier for the requested decision or recovery operation.",
"maxLength": 80,
"minLength": 1,
"type": "string"
}
},
"required": [
"id"
],
"type": "object"
},
"page": "/ceiling/"
}reject_changeAction
Reject one pending synthetic release-policy diff only when its exact id, content, and operation have a live one-use trusted page-activation arm.
View tool JSON
{
"name": "reject_change",
"kind": "act",
"impl": "imperative",
"description": "Reject one pending synthetic release-policy diff only when its exact id, content, and operation have a live one-use trusted page-activation arm.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"id": {
"description": "Exact change identifier for the requested decision or recovery operation.",
"maxLength": 80,
"minLength": 1,
"type": "string"
}
},
"required": [
"id"
],
"type": "object"
},
"page": "/ceiling/"
}