Channel-independent write-deny: MCP-Proxy sieht nur den Kanal, Linux Mount-Namespace nicht — reproduzierbarer Vergleich

Talking Shop
1

Hallo,

ich stelle hier einen engen, reproduzierbaren Proof vor, der eine konkrete Aussage testet:

Ein MCP-Proxy kann einen vermittelten tools/call verhindern und loggen. Er kann aber weder verhindern noch sehen, wenn derselbe Effekt den Kanal umgeht. Eine Linux-Mount-Namespace-Grenze (read-only bwrap) kann denselben Write unabhängig vom verwendeten Kanal blockieren.

Repo: GitHub - Alex-Proof/alex-channel-independent-enforcement-proof: Narrow, sourced proof: an MCP proxy cannot see effects that bypass it; a Linux mount-namespace boundary can, independent of channel. Compares against a pinned Obsigna commit. · GitHub