Implementation
gradeNot graded
gradeNot graded
inspect_workshopAction
Read the current mission, missing proof gates, active work, and human approval boundary. Use before proposing or continuing work.
View tool JSON
{
"name": "inspect_workshop",
"kind": "act",
"impl": "imperative",
"description": "Read the current mission, missing proof gates, active work, and human approval boundary. Use before proposing or continuing work.",
"inputSchema": {
"type": "object",
"properties": {
"view": {
"type": "string",
"enum": [
"summary",
"manca",
"active_work"
],
"description": "The workshop slice to inspect."
}
},
"additionalProperties": false
}
}call_fermoAction
Stop execution when scope, evidence, safety, or intent is uncertain. Only the human can resume the workshop in the page.
View tool JSON
{
"name": "call_fermo",
"kind": "act",
"impl": "imperative",
"description": "Stop execution when scope, evidence, safety, or intent is uncertain. Only the human can resume the workshop in the page.",
"inputSchema": {
"type": "object",
"properties": {
"reason": {
"type": "string",
"minLength": 1,
"maxLength": 200,
"description": "Why execution must pause for human review."
},
"expectedStateVersion": {
"type": "integer",
"minimum": 0,
"description": "State version returned by the latest inspection."
},
"idempotencyKey": {
"type": "string",
"minLength": 1,
"maxLength": 64,
"description": "Stable key for retrying this exact hold request."
}
},
"required": [
"reason",
"expectedStateVersion",
"idempotencyKey"
],
"additionalProperties": false
}
}propose_workshop_draftAction
Use this after inspect_workshop to submit the smallest structured Japanese plan that can close the mission's evidence gates. The plan stays unsigned; only the human can give FIRMA in the page.
View tool JSON
{
"name": "propose_workshop_draft",
"kind": "act",
"impl": "imperative",
"description": "Use this after inspect_workshop to submit the smallest structured Japanese plan that can close the mission's evidence gates. The plan stays unsigned; only the human can give FIRMA in the page.",
"inputSchema": {
"type": "object",
"properties": {
"expectedStateVersion": {
"type": "integer",
"minimum": 0,
"description": "State version returned by the latest inspect_workshop call."
},
"idempotencyKey": {
"type": "string",
"minLength": 1,
"maxLength": 64,
"description": "Stable key for retrying this exact plan proposal."
},
"plan": {
"type": "object",
"properties": {
"contract": {
"type": "object",
"properties": {
"objective": {
"type": "string",
"minLength": 1,
"maxLength": 1000,
"description": "Japanese mission objective preserved from the workshop."
},
"track": {
"type": "string",
"minLength": 1,
"maxLength": 160,
"description": "Hackathon track or category."
},
"deadline": {
"type": "string",
"minLength": 1,
"maxLength": 120,
"description": "ISO-8601 mission deadline."
},
"humanRule": {
"type": "string",
"minLength": 1,
"maxLength": 1000,
"description": "Decisions that remain human-only."
},
"irreversibleRule": {
"type": "string",
"minLength": 1,
"maxLength": 1000,
"description": "Actions requiring FIRMA."
}
},
"required": [
"objective",
"track",
"deadline",
"humanRule",
"irreversibleRule"
],
"additionalProperties": false
},
"gates": {
"type": "array",
"minItems": 4,
"maxItems": 10,
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"minLength": 1,
"maxLength": 80,
"description": "Stable lowercase kebab-case gate identifier."
},
"title": {
"type": "string",
"minLength": 1,
"maxLength": 80,
"description": "Short Japanese evidence-gate title."
},
"detail": {
"type": "string",
"minLength": 1,
"maxLength": 500,
"description": "What must become true."
},
"proofRequired": {
"type": "string",
"minLength": 1,
"maxLength": 500,
"description": "Judge-readable or operator-verifiable proof."
}
},
"required": [
"id",
"title",
"detail",
"proofRequired"
],
"additionalProperties": false
}
},
"strokes": {
"type": "array",
"minItems": 3,
"maxItems": 12,
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"minLength": 1,
"maxLength": 80,
"description": "Stable lowercase kebab-case stroke identifier."
},
"title": {
"type": "string",
"minLength": 1,
"maxLength": 80,
"description": "Short Japanese work title."
},
"outcome": {
"type": "string",
"minLength": 1,
"maxLength": 500,
"description": "Observable result of this bounded stroke."
},
"gateId": {
"type": "string",
"minLength": 1,
"maxLength": 80,
"description": "Identifier of exactly one gate advanced by this stroke."
},
"role": {
"type": "string",
"enum": [
"prima-mano",
"vasari",
"colorista",
"human"
]
},
"classification": {
"type": "string",
"enum": [
"AFFRESCO",
"SECCO",
"GESSO"
]
},
"evidenceExpected": {
"type": "string",
"minLength": 1,
"maxLength": 500,
"description": "Evidence the worker must return."
}
},
"required": [
"id",
"title",
"outcome",
"gateId",
"role",
"classification",
"evidenceExpected"
],
"additionalProperties": false
}
},
"schedule": {
"type": "array",
"minItems": 3,
"maxItems": 10,
"items": {
"type": "object",
"properties": {
"label": {
"type": "string",
"minLength": 1,
"maxLength": 160,
"description": "Short Japanese checkpoint label."
},
"dueAt": {
"type": "string",
"minLength": 1,
"maxLength": 120,
"description": "ISO-8601 timestamp no later than the contract deadline."
},
"deliverable": {
"type": "string",
"minLength": 1,
"maxLength": 500,
"description": "Concrete checkpoint deliverable."
}
},
"required": [
"label",
"dueAt",
"deliverable"
],
"additionalProperties": false
}
},
"risks": {
"type": "array",
"minItems": 3,
"maxItems": 6,
"items": {
"type": "string",
"minLength": 1,
"maxLength": 500,
"description": "Material risk in Japanese."
}
},
"rationale": {
"type": "string",
"minLength": 1,
"maxLength": 1500,
"description": "Why this is the smallest responsible plan, in Japanese."
},
"scopeEffect": {
"type": "string",
"enum": [
"SHRINKS",
"PRESERVES",
"EXPANDS"
]
},
"humanAction": {
"type": "string",
"enum": [
"FIRMA_REQUIRED"
]
}
},
"required": [
"contract",
"gates",
"strokes",
"schedule",
"risks",
"rationale",
"scopeEffect",
"humanAction"
],
"additionalProperties": false
}
},
"required": [
"expectedStateVersion",
"idempotencyKey",
"plan"
],
"additionalProperties": false
}
}return_work_resultAction
Return the active stroke's result, verification performed, evidence reference, and remaining risk. Creates an unverified claim and never closes a gate.
View tool JSON
{
"name": "return_work_result",
"kind": "act",
"impl": "imperative",
"description": "Return the active stroke's result, verification performed, evidence reference, and remaining risk. Creates an unverified claim and never closes a gate.",
"inputSchema": {
"type": "object",
"properties": {
"strokeId": {
"type": "string",
"description": "Active stroke identifier."
},
"summary": {
"type": "string",
"maxLength": 800,
"description": "What changed."
},
"verification": {
"type": "string",
"maxLength": 500,
"description": "Check that was performed."
},
"evidenceRef": {
"type": "string",
"maxLength": 500,
"description": "Evidence path or URL."
},
"remainingRisk": {
"type": "string",
"maxLength": 500,
"description": "Known remaining risk."
},
"expectedStateVersion": {
"type": "integer",
"minimum": 0,
"description": "State version returned by the latest inspection."
},
"idempotencyKey": {
"type": "string",
"minLength": 1,
"maxLength": 64,
"description": "Stable key for retrying this exact result claim."
}
},
"required": [
"summary",
"verification",
"evidenceRef",
"remainingRisk",
"expectedStateVersion",
"idempotencyKey"
],
"additionalProperties": false
}
}