sealed-ten-chi.vercel.app

{
  "name": "get_application_context",
  "kind": "answer",
  "impl": "imperative",
  "description": "Read-only. Returns current rental application public fields, fixed requirements, open question IDs, review state, and redacted private statuses through guarded egress. Raw private values remain withheld.",
  "inputSchema": {
    "type": "object",
    "properties": {},
    "additionalProperties": false
  }
}

{
  "name": "set_public_fields",
  "kind": "act",
  "impl": "imperative",
  "description": "Mutation. Update only allowlisted public fields for the active rental application. Dependencies used by a private predicate become immutable for that demo session.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "fields": {
        "type": "object",
        "properties": {
          "full_name": {
            "type": "string",
            "description": "Applicant's public full name."
          },
          "email": {
            "type": "string",
            "description": "Applicant's public contact email."
          },
          "property_address": {
            "type": "string",
            "description": "Public rental property address."
          },
          "monthly_rent": {
            "type": "number",
            "minimum": 1,
            "description": "Public monthly rent amount."
          },
          "move_in_date": {
            "type": "string",
            "description": "Public move-in date in YYYY-MM-DD form."
          }
        },
        "minProperties": 1,
        "additionalProperties": false
      }
    },
    "required": [
      "fields"
    ],
    "additionalProperties": false
  }
}

{
  "name": "flag_uncertain",
  "kind": "act",
  "impl": "imperative",
  "description": "Mutation. Record one fixed active-scenario topic for human attention without changing private data.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "topic": {
        "type": "string",
        "enum": [
          "income_eligibility",
          "passport_number",
          "property_details"
        ],
        "description": "Fixed topic for human review."
      }
    },
    "required": [
      "topic"
    ],
    "additionalProperties": false
  }
}

{
  "name": "request_private_binding",
  "kind": "act",
  "impl": "imperative",
  "description": "Request the active fixed private binding. The page verifies credential availability locally, then human approval creates a random opaque session-bound artifact. The artifact does not encode the raw credential; guarded egress returns only its non-secret reference.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "field": {
        "type": "string",
        "enum": [
          "passport_number"
        ],
        "description": "Bind the approved passport number locally without revealing it."
      }
    },
    "required": [
      "field"
    ],
    "additionalProperties": false
  }
}

{
  "name": "evaluate_private_requirement",
  "kind": "act",
  "impl": "imperative",
  "description": "Evaluate only the active fixed predicate once per demo session. Public dependencies are snapshotted and locked; duplicate evaluation is rejected to prevent probing. Guarded egress returns only satisfied or not_satisfied with value withheld.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "requirement": {
        "type": "string",
        "enum": [
          "income_3x_rent"
        ],
        "description": "Check whether private income is at least three times public rent without revealing income."
      }
    },
    "required": [
      "requirement"
    ],
    "additionalProperties": false
  }
}