{
"version": 1,
"write_policy": { "ensure_final_newline": true },
"operations": [
{ "op": "read", "path": "config.json" },
{ "op": "search", "path": "src", "pattern": "DB_PORT", "regex": false },
{ "op": "doc.set", "path": "config.json", "selector": "database.port", "value": 5433 },
{ "op": "replace", "path": "src/db.rs", "old": "DB_PORT: u16 = 5432", "new": "DB_PORT: u16 = 5433" }
]
}