core/core-agent-ide
8
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

nit: add DB version is discrepancy recording (#10762)

Browse source
This commit is contained in:
jif-oai 2026-02-05 16:24:18 +00:00 • committed by GitHub
parent 901215e310
commit 68e82e5dc9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
codex-rs/core/src/state_db.rs
View file

@ -14,6 +14,7 @@ use codex_protocol::protocol::RolloutItem;
use codex_protocol::protocol::SessionSource;
use codex_state::DB_METRIC_COMPARE_ERROR;
pub use codex_state::LogEntry;
use codex_state::STATE_DB_VERSION;
use codex_state::ThreadMetadataBuilder;
use serde_json::Value;
use std::path::Path;
@ -504,7 +505,11 @@ pub fn record_discrepancy(stage: &str, reason: &str) {
let _ = metric.counter(
DB_METRIC_COMPARE_ERROR,
1,
&[("stage", stage), ("reason", reason)],
&[
("stage", stage),
("reason", reason),
("version", &STATE_DB_VERSION.to_string()),
],
);
}
}

2
codex-rs/state/src/runtime.rs
View file

@ -38,7 +38,7 @@ use std::time::Duration;
use tracing::warn;
pub const STATE_DB_FILENAME: &str = "state";
pub const STATE_DB_VERSION: u32 = 2;
pub const STATE_DB_VERSION: u32 = 3;
const METRIC_DB_INIT: &str = "codex.db.init";