Process-local knowledge graph
Memory MCP Server
create_entities returns the fixed entity
demonstratedOne claim. One declared envelope.
01 / Claim
What was tested
create_entities 返回的实体数组等于预注册值。
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 的实体数组与预注册值一致。这是这条主张被 demonstrated 的条件。
Admission: admitted
Identity
What was fixed
mcp.server-memory · version 0.6.3
Commit: f46d9578190b476b3501923ea8977d899e8db2cb
Run: run-21d1582275e347ee9389bc241b6756dd
03 / Method
What decided it
VE-METHOD-MCP-005 0.1.0
Decision rule: P5-M7
04 / Evidence
What was observed
Observation: match
Outcome: confirmed
05 / Envelope
Where the conclusion stops
Tested conditions
- image_id=sha256:b2e2badf1a34d9f92e2a69a2707b11901eb3d1f3580e018624f644152f7f6c5d
- transport stdio
- client capabilities {}
- protocolVersion 2025-03-26
- sandbox ADR-008-amendment-3
- memory file /tmp/ve-pilot-5.jsonl
- tool create_entities
- one entity ve-pilot-5
- parsed entity list
Untested areas
- read_graph 未测
- 关系、删除和搜索未测
- 默认 memory.jsonl 路径未测
- serverInfo 名称未作为主张
Known limits in this run
None empirically established for this run.
Revalidation triggers
- commit 变化
- local image 变化
- sandbox policy 变化
- 图文件路径变化
- 预注册实体变化
History
The record is append-only
- 2026-09-27T05:39:15Z — confirmed: rule P5-M7: R1 的实体数组与预注册值一致。这是这条主张被 demonstrated 的条件。
Historical evidence is retained. A later result does not erase an earlier run.