Timezone conversion

Time MCP Server

convert_time reports the fixed UTC to Tokyo offset

demonstratedOne claim. One declared envelope.

01 / Claim

What was tested

convert_time 的文本包含预注册的 time_difference。

This is a claim about one fixed component version under declared conditions—not the product as a whole.

02 / Result

What the record says

demonstrated

R1 的文本包含预注册的 time_difference。这是这条主张被 demonstrated 的条件。

Admission: admitted

Identity

What was fixed

mcp.server-time · version 0.6.2

Commit: f46d9578190b476b3501923ea8977d899e8db2cb

Run: run-f4ba0e8b9d3243f7b42f103a9624fb19

03 / Method

What decided it

VE-METHOD-MCP-004 0.1.0

Decision rule: P4-M7

Open frozen Method

04 / Evidence

What was observed

Observation: match

Outcome: confirmed

Open sealed result

05 / Envelope

Where the conclusion stops

Tested conditions

  • image_id=sha256:f4cd3016ba9ee1e1fc2c94a75694e7a67a23d9882514372129c49ed04f0ef3b4
  • transport stdio
  • client capabilities {}
  • protocolVersion 2025-03-26
  • sandbox ADR-008-amendment-3
  • local timezone UTC
  • tzdata 2024.2
  • tool convert_time
  • UTC 12:00 to Asia/Tokyo
  • time_difference substring

Untested areas

  • get_current_time 未测
  • 日期、星期和 is_dst 未测
  • 其他时区对未测
  • 夏令时切换日未测

Known limits in this run

None empirically established for this run.

Revalidation triggers

  • commit 变化
  • local image 变化
  • sandbox policy 变化
  • tzdata 版本变化
  • 预注册子串变化

History

The record is append-only

  • 2026-09-27T05:34:14Z — confirmed: rule P4-M7: R1 的文本包含预注册的 time_difference。这是这条主张被 demonstrated 的条件。

Historical evidence is retained. A later result does not erase an earlier run.