guarantees-tanstack-start / steme.guarantees.jsonthe whole guarantee

{

"seats": {

"tanstack-start.serverFn": {

"is": "boundary",

"holder": "library",

"library": "@tanstack/react-start",

"versions": "^1",

"language": "typescript",

"grammar": "tree-sitter-typescript@0.23",

"query": "((call_expression function: (identifier) @ …",

"bind": {

"callee": {

"import": "createServerFn",

"from": "@tanstack/react-start"

}

}

}

},

"guarantees": [

{

"id": "serverFn.input",

"title": "a server function parses its input against a strict contract",

"each": {

"site": { "seat": "tanstack-start.serverFn" }

},

"obligations": [

{

"id": "attached",

"title": "a contract is attached to the input",

"principle": "contracts",

"relates": "guarded by",

"check": {

"present": "((call_expression function: (member_expres …"

},

"captures": "contract",

"repair": {

"blueprint": "./blueprints/server-fn-input/BLUEPRINT.md"

}

},

{

"id": "applied",

"title": "the handler consumes the parsed value",

"principle": "validation",

"marks": "validation",

"relates": "enforced by",

"needs": "attached",

"check": {

"present": "((call_expression function: (member_expres …"

},

"repair": {

"blueprint": "./blueprints/server-fn-input/BLUEPRINT.md"

}

}

],

"prohibitions": [

{

"id": "strict",

"title": "the contract rejects what it does not decl …",

"principle": "contracts",

"needs": "attached",

"on": "$contract",

"check": {

"absent": [

"((call_expression function: (member_expres …",

"((call_expression function: (member_expres …"

]

},

"repair": { "skill": "./skills/strict-contract/SKILL.md" }

},

{

"id": "no-raw-read",

"title": "nothing reads the raw request around the p …",

"principle": "validation",

"check": {

"absent": ["((member_expression property: (property_id …"]

},

"repair": { "skill": "./skills/parse-dont-validate/SKILL.md" }

}

],

"admits": {

"what": "whether the contract is the right one for the operation",

"owner": "the domain owner"

}

}

]

}