---
schema: "interfacedelta-service-md/1"
target_key: "sha256:3964bb160d79831ce62c0411889dae46c712f1401f5b11fc59b3b09caa1f5aba"
origin: "https://mart402.com"
protocols: ["mcp"]
observed_at: "2026-11-12T15:14:09.536Z"
generated_at: "2026-11-13T00:40:59.714Z"
record_url: "https://interfacedelta.com/atlas/sha256:3964bb160d79831ce62c0411889dae46c712f1401f5b11fc59b3b09caa1f5aba"
record_api: "https://interfacedelta.com/api/v1/record/services/sha256:3964bb160d79831ce62c0411889dae46c712f1401f5b11fc59b3b09caa1f5aba"
source: "InterfaceDelta atlas"
license_note: "Use of this record is governed by https://interfacedelta.com/terms."
---

# Service record: https://mart402.com

## Identity
- Origin: https://mart402.com
- Endpoints: https://mart402.com/mcp/jp
- Protocols: mcp
- Registry names: com.mart402/jp-statutory
- First retained observation: 2026-11-12T15:14:09.536Z
- Latest observation: 2026-11-12T15:14:09.536Z

## Tools
- Tool 1: get\_catalog (mcp); inputs: none shown; inputs omitted: 0; annotations: {"readOnlyHint":true,"destructiveHint":false,"idempotentHint":true,"openWorldHint":false}
- Tool 2: get\_receipt (mcp); inputs: receipt\_id; inputs omitted: 0; annotations: {"readOnlyHint":true,"destructiveHint":false,"idempotentHint":true,"openWorldHint":false}
- Tool 3: get\_sample (mcp); inputs: product; inputs omitted: 0; annotations: {"readOnlyHint":true,"destructiveHint":false,"idempotentHint":true,"openWorldHint":false}
- Tool 4: jp\_bonus\_net (mcp); inputs: age, as\_of, bonus\_yen, dependents, prefecture, previous\_month\_after\_si\_yen, x\_payment, ytd\_bonus\_yen; inputs omitted: 0; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 5: jp\_business\_days (mcp); inputs: base\_date, date, days, from, kind, mode, saturday\_off, to; inputs omitted: 2; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 6: jp\_company\_profile (mcp); inputs: url, x\_payment; inputs omitted: 0; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 7: jp\_consumption\_tax (mcp); inputs: as\_of, category, document, lines, mode, taxable\_period\_end, taxable\_period\_start, taxable\_sales\_excl\_yen; inputs omitted: 1; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 8: jp\_crypto\_tax (mcp); inputs: as\_of, method, opening, other\_taxable\_income\_yen, transactions, x\_payment, year; inputs omitted: 0; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 9: jp\_dependent\_threshold (mcp); inputs: annual\_income\_yen, as\_of, x\_payment, year; inputs omitted: 0; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 10: jp\_mortgage (mcp); inputs: annual\_rate, method, months, prepayment, principal\_yen, x\_payment; inputs omitted: 0; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 11: jp\_overtime\_wage (mcp); inputs: hours, mode, monthly\_overtime\_hours, monthly\_salary\_yen, monthly\_scheduled\_hours, x\_payment; inputs omitted: 0; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 12: jp\_payroll\_net (mcp); inputs: age, annual\_bonus\_yen, annual\_gross\_yen, as\_of, dependents, prefecture, x\_payment, year; inputs omitted: 0; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 13: jp\_payroll\_suite (mcp); inputs: age, annual\_bonus\_yen, annual\_gross\_yen, dependents, prefecture, previous\_month\_after\_si\_yen, x\_payment; inputs omitted: 0; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 14: jp\_payslip\_audit (mcp); inputs: age, as\_of, payslip, prefecture, standard\_monthly\_yen, x\_payment; inputs omitted: 0; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 15: jp\_retirement\_tax (mcp); inputs: disability, is\_officer, payout\_yen, x\_payment, years\_of\_service; inputs omitted: 0; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
- Tool 16: jp\_social\_insurance (mcp); inputs: age, as\_of, monthly\_remuneration\_yen, prefecture, x\_payment; inputs omitted: 0; annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true,"openWorldHint":true}
Tools omitted: 0.

## Effect readings (AI)
- Tool 1 (get\_catalog): ◇ AI reading; state: counted; reads (confidence 0.9); lens: side-effects@1; model: claude-haiku-5.5.
- Tool 2 (get\_receipt): ◇ AI reading; state: counted; reads (confidence 0.85); lens: side-effects@1; model: claude-haiku-5.5.
- Tool 4 (jp\_bonus\_net): ◇ AI reading; state: counted; none (confidence 0.85); lens: side-effects@1; model: claude-haiku-5.5.
- Tool 7 (jp\_consumption\_tax): ◇ AI reading; state: counted; none (confidence 0.8); lens: side-effects@1; model: claude-haiku-5.5.
- Tool 15 (jp\_retirement\_tax): ◇ AI reading; state: counted; none (confidence 0.82); lens: side-effects@1; model: claude-haiku-5.5.

## Change history
No changes recorded in the retained history.

## Payment rails
- Protocols observed: none.
- HTTP 402 seen in retained observations: false.

## Not covered
- We don't call tools.
- We don't rate or certify.
- We don't publish prices.
- We cover only what was observed.

## Evidence
- Identity: observed / declared; observation time: 2026-11-12T15:14:09.536Z.
- Tools: declared; observation time: 2026-11-12T15:14:09.536Z.
- Effect readings (AI): AI reading; observation time: 2026-11-12T15:14:09.536Z.
- Change history: observed; observation time: 2026-11-12T15:14:09.536Z; change observation times: none.
- Payment rails: observed; observation time: 2026-11-12T15:14:09.536Z.

```json
{
  "schema": "interfacedelta-service-md/1",
  "target_key": "sha256:3964bb160d79831ce62c0411889dae46c712f1401f5b11fc59b3b09caa1f5aba",
  "origin": "https://mart402.com",
  "protocols": [
    "mcp"
  ],
  "observed_at": "2026-11-12T15:14:09.536Z",
  "generated_at": "2026-11-13T00:40:59.714Z",
  "record_url": "https://interfacedelta.com/atlas/sha256:3964bb160d79831ce62c0411889dae46c712f1401f5b11fc59b3b09caa1f5aba",
  "record_api": "https://interfacedelta.com/api/v1/record/services/sha256:3964bb160d79831ce62c0411889dae46c712f1401f5b11fc59b3b09caa1f5aba",
  "source": "InterfaceDelta atlas",
  "license_note": "Use of this record is governed by https://interfacedelta.com/terms.",
  "identity": {
    "origin": "https://mart402.com",
    "endpoints": [
      "https://mart402.com/mcp/jp"
    ],
    "protocols": [
      "mcp"
    ],
    "registry_names": [
      "com.mart402/jp-statutory"
    ],
    "first_retained_observation": "2026-11-12T15:14:09.536Z",
    "latest_observation": "2026-11-12T15:14:09.536Z"
  },
  "tools": [
    {
      "name": "get_catalog",
      "protocol": "mcp",
      "inputs": [],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": true,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": false
      },
      "effects": {
        "marker": "◇ AI reading",
        "state": "counted",
        "classes": [
          {
            "class": "reads",
            "confidence": 0.9
          }
        ],
        "lens": "side-effects@1",
        "model": "claude-haiku-5.5"
      }
    },
    {
      "name": "get_receipt",
      "protocol": "mcp",
      "inputs": [
        "receipt_id"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": true,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": false
      },
      "effects": {
        "marker": "◇ AI reading",
        "state": "counted",
        "classes": [
          {
            "class": "reads",
            "confidence": 0.85
          }
        ],
        "lens": "side-effects@1",
        "model": "claude-haiku-5.5"
      }
    },
    {
      "name": "get_sample",
      "protocol": "mcp",
      "inputs": [
        "product"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": true,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": false
      },
      "effects": null
    },
    {
      "name": "jp_bonus_net",
      "protocol": "mcp",
      "inputs": [
        "age",
        "as_of",
        "bonus_yen",
        "dependents",
        "prefecture",
        "previous_month_after_si_yen",
        "x_payment",
        "ytd_bonus_yen"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": {
        "marker": "◇ AI reading",
        "state": "counted",
        "classes": [
          {
            "class": "none",
            "confidence": 0.85
          }
        ],
        "lens": "side-effects@1",
        "model": "claude-haiku-5.5"
      }
    },
    {
      "name": "jp_business_days",
      "protocol": "mcp",
      "inputs": [
        "base_date",
        "date",
        "days",
        "from",
        "kind",
        "mode",
        "saturday_off",
        "to"
      ],
      "inputs_omitted": 2,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": null
    },
    {
      "name": "jp_company_profile",
      "protocol": "mcp",
      "inputs": [
        "url",
        "x_payment"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": null
    },
    {
      "name": "jp_consumption_tax",
      "protocol": "mcp",
      "inputs": [
        "as_of",
        "category",
        "document",
        "lines",
        "mode",
        "taxable_period_end",
        "taxable_period_start",
        "taxable_sales_excl_yen"
      ],
      "inputs_omitted": 1,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": {
        "marker": "◇ AI reading",
        "state": "counted",
        "classes": [
          {
            "class": "none",
            "confidence": 0.8
          }
        ],
        "lens": "side-effects@1",
        "model": "claude-haiku-5.5"
      }
    },
    {
      "name": "jp_crypto_tax",
      "protocol": "mcp",
      "inputs": [
        "as_of",
        "method",
        "opening",
        "other_taxable_income_yen",
        "transactions",
        "x_payment",
        "year"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": null
    },
    {
      "name": "jp_dependent_threshold",
      "protocol": "mcp",
      "inputs": [
        "annual_income_yen",
        "as_of",
        "x_payment",
        "year"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": null
    },
    {
      "name": "jp_mortgage",
      "protocol": "mcp",
      "inputs": [
        "annual_rate",
        "method",
        "months",
        "prepayment",
        "principal_yen",
        "x_payment"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": null
    },
    {
      "name": "jp_overtime_wage",
      "protocol": "mcp",
      "inputs": [
        "hours",
        "mode",
        "monthly_overtime_hours",
        "monthly_salary_yen",
        "monthly_scheduled_hours",
        "x_payment"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": null
    },
    {
      "name": "jp_payroll_net",
      "protocol": "mcp",
      "inputs": [
        "age",
        "annual_bonus_yen",
        "annual_gross_yen",
        "as_of",
        "dependents",
        "prefecture",
        "x_payment",
        "year"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": null
    },
    {
      "name": "jp_payroll_suite",
      "protocol": "mcp",
      "inputs": [
        "age",
        "annual_bonus_yen",
        "annual_gross_yen",
        "dependents",
        "prefecture",
        "previous_month_after_si_yen",
        "x_payment"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": null
    },
    {
      "name": "jp_payslip_audit",
      "protocol": "mcp",
      "inputs": [
        "age",
        "as_of",
        "payslip",
        "prefecture",
        "standard_monthly_yen",
        "x_payment"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": null
    },
    {
      "name": "jp_retirement_tax",
      "protocol": "mcp",
      "inputs": [
        "disability",
        "is_officer",
        "payout_yen",
        "x_payment",
        "years_of_service"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": {
        "marker": "◇ AI reading",
        "state": "counted",
        "classes": [
          {
            "class": "none",
            "confidence": 0.82
          }
        ],
        "lens": "side-effects@1",
        "model": "claude-haiku-5.5"
      }
    },
    {
      "name": "jp_social_insurance",
      "protocol": "mcp",
      "inputs": [
        "age",
        "as_of",
        "monthly_remuneration_yen",
        "prefecture",
        "x_payment"
      ],
      "inputs_omitted": 0,
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": false,
        "idempotentHint": true,
        "openWorldHint": true
      },
      "effects": null
    }
  ],
  "tools_omitted": 0,
  "tools_state": "recorded",
  "changes": [],
  "payment_rails": {
    "protocols": [],
    "http_402_seen": false
  },
  "not_covered": [
    "We don't call tools.",
    "We don't rate or certify.",
    "We don't publish prices.",
    "We cover only what was observed."
  ],
  "evidence": [
    {
      "section": "Identity",
      "classes": [
        "observed",
        "declared"
      ],
      "observed_at": "2026-11-12T15:14:09.536Z"
    },
    {
      "section": "Tools",
      "classes": [
        "declared"
      ],
      "observed_at": "2026-11-12T15:14:09.536Z"
    },
    {
      "section": "Effect readings (AI)",
      "classes": [
        "AI reading"
      ],
      "observed_at": "2026-11-12T15:14:09.536Z"
    },
    {
      "section": "Change history",
      "classes": [
        "observed"
      ],
      "observed_at": "2026-11-12T15:14:09.536Z",
      "observation_times": []
    },
    {
      "section": "Payment rails",
      "classes": [
        "observed"
      ],
      "observed_at": "2026-11-12T15:14:09.536Z"
    }
  ]
}
```