Filesystem / permission

Filesystem MCP Server

read_text_file returns the fixed fixture bytes

demonstratedOne claim. One declared envelope.

01 / Claim

What was tested

read_text_file 返回的文本等于 fixture 字节。

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 的文本与预注册 fixture 字节一致。这是这条主张被 demonstrated 的条件。

Admission: admitted

Identity

What was fixed

mcp.server-filesystem · version 0.6.3

Commit: f46d9578190b476b3501923ea8977d899e8db2cb

Run: run-a030ab0bf2ee40faaf0b22cf003147ce

03 / Method

What decided it

VE-METHOD-MCP-003 0.2.0

Decision rule: P3-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:3e895777b0a562383d0ca49a12d27c385d47a43bfe9ab3d3ba50f678431be5cf
  • transport stdio
  • client capabilities {}
  • protocolVersion 2025-03-26
  • sandbox ADR-008-amendment-3
  • allowed directory /app/fixture
  • fixture sha256 dae4e9d957af7c3ddb7fdb92e84de8ef6fb305648d9dc0f559fd27c6acb0b354
  • tool read_text_file
  • path /app/fixture/ve-pilot-3.txt
  • text equals fixture bytes

Untested areas

  • 允许目录之外的路径未测
  • 写入、删除和移动未测
  • 宿主文件系统未测
  • serverInfo 名称未作为主张

Known limits in this run

None empirically established for this run.

Revalidation triggers

  • commit 变化
  • local image 变化
  • sandbox policy 变化
  • fixture 内容变化
  • 允许目录变化

History

The record is append-only

  • 2026-09-27T04:50:24Z — confirmed: rule P3-M7: R1 的文本与预注册 fixture 字节一致。这是这条主张被 demonstrated 的条件。

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