Evidence row 993362

What was observed

{
  "count": 7,
  "tools": [
    {
      "description": "South Korea paid annual leave under the Labor Standards Act: days currently available, remaining days, next accrual, and payout value of unused leave.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "basis": {
            "description": "Accrual basis: hire-date anniversary or calendar (fiscal) year; default hire",
            "enum": [
              "hire",
              "fiscal"
            ],
            "type": "string"
          },
          "monthlyOrdinaryWage": {
            "description": "Monthly ordinary wage, for the payout value (KRW)",
            "minimum": 0,
            "type": "number"
          },
          "referenceDate": {
            "description": "Date to evaluate; default today (YYYY-MM-DD)",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "startDate": {
            "description": "Hire date (YYYY-MM-DD)",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "usedDays": {
            "description": "Leave days already used in the current period",
            "minimum": 0,
            "type": "number"
          }
        },
        "required": [
          "startDate"
        ],
        "type": "object"
      },
      "name": "annual_leave"
    },
    {
      "description": "South Korea take-home pay for an employee: monthly net salary after national pension, health and long-term care insurance, employment insurance, and withheld income tax (2026 NTS simplified withholding table) plus local income tax.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "annualSalary": {
            "description": "Gross annual salary (KRW)",
            "minimum": 0,
            "type": "number"
          },
          "children8to20": {
            "description": "Children aged 8-20 among dependents; default 0",
            "maximum": 10,
            "minimum": 0,
            "type": "integer"
          },
          "dependents": {
            "description": "Dependents for withholding, including self; default 1",
            "maximum": 20,
            "minimum": 1,
            "type": "integer"
          },
          "monthlySalary": {
            "description": "Gross monthly salary; overrides annualSalary (KRW)",
            "minimum": 0,
            "type": "number"
          },
          "nonTaxable": {
            "description": "Monthly non-taxable allowances, e.g. meal allowance; default 200000 (KRW)",
            "minimum": 0,
            "type": "number"
          },
          "severanceIncluded": {
            "description": "Annual salary includes severance (divided by 13); default false",
            "type": "boolean"
          }
        },
        "type": "object"
      },
      "name": "net_pay"
    },
    {
      "description": "South Korea parental leave benefit from employment insurance, month by month with caps, including the 6+6 both-parents scheme and single parents.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "mode": {
            "description": "normal, both_parents (6+6 scheme, child under 18 months) or single_parent; default normal",
            "enum": [
              "normal",
              "both_parents",
              "single_parent"
            ],
            "type": "string"
          },
          "monthlyOrdinaryWage": {
            "description": "Monthly ordinary wage (KRW)",
            "minimum": 0,
            "type": "number"
          },
          "months": {
            "description": "Months of leave; default 12",
            "maximum": 18,
            "minimum": 1,
            "type": "integer"
          },
          "spouseMonthlyOrdinaryWage": {
            "description": "Spouse's monthly ordinary wage, both_parents only (KRW)",
            "minimum": 0,
            "type": "number"
          },
          "spouseMonths": {
            "description": "Spouse leave months, both_parents only; default 6",
            "maximum": 18,
            "minimum": 1,
            "type": "integer"
          }
        },
        "required": [
          "monthlyOrdinaryWage"
        ],
        "type": "object"
      },
      "name": "parental_leave_benefit"
    },
    {
      "description": "South Korea retirement income tax on a severance payment: service-year deduction, converted-pay deduction, national and local tax, and the reduced tax if received as an IRP pension.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "lastWorkDate": {
            "description": "Last working day; default today (YYYY-MM-DD)",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "severancePay": {
            "description": "Severance pay before tax (KRW)",
            "minimum": 0,
            "type": "number"
          },
          "startDate": {
            "description": "Hire date (YYYY-MM-DD)",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "required": [
          "severancePay",
          "startDate"
        ],
        "type": "object"
      },
      "name": "retirement_income_tax"
    },
    {
      "description": "South Korea statutory severance pay (toejikgeum): 30 days of average wage per year of service, with retirement income tax, from hire date, last working day and last 3 months of pay.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "annualBonus": {
            "description": "Bonuses paid in the last 12 months (KRW)",
            "minimum": 0,
            "type": "number"
          },
          "annualLeavePay": {
            "description": "Annual-leave allowance paid in the last 12 months (KRW)",
            "minimum": 0,
            "type": "number"
          },
          "lastWorkDate": {
            "description": "Last working day; default today (YYYY-MM-DD)",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "monthlyPay": {
            "description": "Average monthly pay for the last 3 months (KRW)",
            "minimum": 0,
            "type": "number"
          },
          "startDate": {
            "description": "Hire date (YYYY-MM-DD)",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "required": [
          "startDate",
          "monthlyPay"
        ],
        "type": "object"
      },
      "name": "severance_pay"
    },
    {
      "description": "South Korea four major social insurances (national pension, health, long-term care, employment) for a monthly wage: employee deductions and employer contributions at 2026 rates.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "employerSize": {
            "description": "Employer headcount bracket for the employer employment-insurance rate; default under150",
            "enum": [
              "under150",
              "150plus_priority",
              "150to999",
              "1000plus"
            ],
            "type": "string"
          },
          "monthlyPay": {
            "description": "Gross monthly pay (KRW)",
            "minimum": 0,
            "type": "number"
          },
          "nonTaxable": {
            "description": "Monthly non-taxable allowances; default 200000 (KRW)",
            "minimum": 0,
            "type": "number"
          }
        },
        "required": [
          "monthlyPay"
        ],
        "type": "object"
      },
      "name": "social_insurance"
    },
    {
      "description": "South Korea unemployment benefit (job-seeking allowance, silup geupyeo): daily amount with 2026 cap and floor, number of benefit days, and total.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "age": {
            "description": "Age at separation",
            "maximum": 100,
            "minimum": 15,
            "type": "integer"
          },
          "dailyContractHours": {
            "description": "Contracted hours per day, for the floor; default 8",
            "maximum": 8,
            "minimum": 1,
            "type": "integer"
          },
          "disabled": {
            "description": "Registered disability; default false",
            "type": "boolean"
          },
          "insuredYears": {
            "description": "Years insured under employment insurance",
            "minimum": 0,
            "type": "number"
          },
          "lastWorkDate": {
            "description": "Last working day; default today (YYYY-MM-DD)",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "monthlyPay": {
            "description": "Average monthly pay for the last 3 months (KRW)",
            "minimum": 0,
            "type": "number"
          }
        },
        "required": [
          "age",
          "insuredYears",
          "monthlyPay"
        ],
        "type": "object"
      },
      "name": "unemployment_benefit"
    }
  ]
}

What the leaf hashes

{"body":"e2c1adbfa2813df3e92578088d07a9c065abdd8bc72ded2e14322b222b844b8b","id":993362,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793247178595935,"prev":null,"subject":"e9b22af1-47af-4a1e-bd97-3190a4ab24f5","subject_kind":"endpoint"}

Proof

Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of 2026-10-29 (242798 rows).

1. 0xe5fbdcf6d5fc51ce0fc209b8a80ba7c363663e9a099ecb4234443bbf0937d074
2. 0x11e2632390c7f4695d0e33d8540029f89049e824e549461eb89169003c8ff043
3. 0x22143e13e78a41a517c0a08dcc820769cc6026e0acbba95a348cb487e15c1cdf
4. 0xf4023ca72c14e73224551ca18b7cd0f75d00b85089076f2ab84b6b005c025d38
5. 0x139acb3918006d3c6d9bc7097ae44ba37a243ebc4d8a3eaab2e50741c6ddb4e6
6. 0x65ca69e587514efd520f8e8ea2f916d73860b32492bd6ebb1c51b809a013a139
7. 0xb2653bd7ed33845a323d803fa4b84de69f35afa017a42562b7ac0c041bb46ed8
8. 0xfdc1bdd0ad2bacdd0666b9d988f3c87bb13dbf8b001a86d527eb86a1a0082d18
9. 0x43a35775092416107e8623811276b33eb5c134fe3ed0098ee2614e4c2e43c687
10. 0x9c56e9c2e773aaa4a660fb095799987acc2b367ab80e66897e44b93da8cf55a5
11. 0xf68c30ecb87610ef19aa34027c19063368fa0c4636348a8691c1c3838697e6cf
12. 0xb114c96fc8ab6d53f01e4b38e4dd87507c449d8f6213f9a0bf5b8a3a6347bc24
13. 0x5de22c62f0498dae1ca2ce6e9fc1edf95fad1ef39d2b1cf8495d986051499622
14. 0x5eebfacb78943282482b6079e45bf142a28ccb1f65c473e6e0a90d378cca2b03
15. 0x1623e28c5fc42dfa00ec1935da937a96d5bbf27124e83666dc61efe8facbb339
16. 0xa034ebc8d117fbf1ed466b70baa0478bf213b743e1a41cba1d2da7a9f310184d
17. 0x1597ec94933260048e5e583aff1ad0fd44cc49efcd0a994091ed5db4924d7b02
18. 0xe01539ac4c9f9cdf265a9e5c6d99c8da11e70ff0c7175fb23e402d33b9d79785

Day root

0xc050555c6b023f2aefb6536efb9f0760b92c30a0d06c572b7daf63db259ea17c

Chained

0x4cde8bae2042512e1bec11650628f0293556311cc4ea74d99ffddf02b671a7d6

Published

On Arc Testnet, block 69753317: 0x9e85c340732f416e431b111fae72f7624870125f7f379af2732eb6c2ba8cf6a1