PatchDIFF documentation¶

PatchDIFF turns proposed text edits into guarded PostgreSQL transactions over MCP. Start with the workflow that fits your host.

Edit a workspace file with the installed package and publish the edited bytes on SAVE.
Connect Claude Desktop to the stdio server.
Integrate a host to read targets, submit guarded edits, and handle rejections.
Delegate structural editing while retaining lifecycle tools on a trusted connection.
Troubleshoot environment setup for port conflicts, WSL2 memory tuning, and Docker Desktop configurations.

Shared specifications¶

Core runtime covers exact matching, sequential simulation, validation and deterministic replay.
MCP tools defines shared requests, receipts and errors.
Data model explains PostgreSQL storage, row locks and migrations.
Transaction formats covers typed replacements, guarded match and span operations, and whole-target replacement.
Structural batch editing explains scope observation and atomic multi-scope edits.
Waymark worker describes resident discovery, IPC and cleanup.

PatchDIFF exposes focused tool profiles aligned with its editing workflows:

Profile Catalog: Summary of all 10 operational profiles and startup configuration.
Profile Compatibility Matrix: OS support (Bare Windows, WSL2, Linux, macOS) and Docker deployment recipes.
Observed Workspace (Default): 7-tool structural AST editing enabling autonomous agents to own the complete lifecycle from file import to SAVE publication.
Workspace: 5-tool exact text editing from file import to SAVE publication.
Observed Editor v2: 5-tool structural editing for host-managed lifecycle environments.

Architecture diagrams trace an edit through validation, commit and replay.
Modernization architecture records design decisions A1 to A8, contracts C1 to C6 and evidence E1 to E8.
Product change record tracks product behavior and verification scope.
Concept paper v6 explains the transaction model, tradeoffs and research hypotheses.
Formal transaction model provides the formal mathematical specification, state space, and invariant proofs.
Workspace benchmark compares Native, host-orchestrated structural editing and agent-owned Workspace editing through publication and independent verification.
Test matrix maps unit, PostgreSQL, migration and stdio tests to their contracts.
Roadmap outlines multi-agent concurrency, workspace publication, and forward-looking research.

PR review standard defines category coverage, finding severity and evidence requirements.
Release readiness covers versioning, verification and dependency audits.