{
"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", "from": "DB_PORT: u16 = 5432", "to": "DB_PORT: u16 = 5433" }
]
}