Skip to main content

octl_core/
schema.rs

1//! On-disk state schema types per `design.md` §1.
2
3use chrono::{DateTime, Utc};
4use serde::{Deserialize, Serialize};
5use serde_json::{Map, Value};
6
7/// The current state-on-disk schema version this crate writes.
8pub const STATE_SCHEMA_VERSION: u32 = 1;
9
10/// All state-schema versions this crate can read.
11pub const SUPPORTED_STATE_SCHEMAS: &[u32] = &[1];
12
13/// Crockford base32 alphabet in lowercase (excludes `i`, `l`, `o`, `u`). The
14/// charset for the bare ULID of a [`RunId`].
15const CROCKFORD_LOWER: &[u8] = b"0123456789abcdefghjkmnpqrstvwxyz";
16
17/// True iff every byte of `s` is a lowercase Crockford base32 character.
18fn all_crockford_lower(s: &str) -> bool {
19    s.bytes().all(|b| CROCKFORD_LOWER.contains(&b))
20}
21
22/// True iff `s` is a syntactically valid (possibly partial) prefix of a
23/// [`RunId`]: non-empty, no longer than a full ULID, every character a lowercase
24/// Crockford base32 digit, and a first character within ULID's `0..=7`
25/// timestamp bound. Used by the CLI to resolve an unambiguous run-id prefix
26/// (like `git`) — a value failing this is a malformed argument (`invalid_run_id`),
27/// not a legitimate-but-unknown prefix. The first-char bound is enforced because
28/// no valid `RunId` can begin outside `0..=7`, so an `8…`/`9…` prefix is
29/// impossible rather than merely absent — reporting it as malformed keeps the
30/// error class honest and consistent with how [`RunId::parse_str`] rejects a
31/// full-length id with the same leading digit.
32pub fn is_run_id_prefix(s: &str) -> bool {
33    !s.is_empty()
34        && s.len() <= RunId::LEN
35        && all_crockford_lower(s)
36        && matches!(s.as_bytes().first(), Some(b'0'..=b'7'))
37}
38
39/// Error returned when a typed identifier fails parse-time validation.
40///
41/// Every [`RunId`] and [`NodeId`] is
42/// constructed only through its `parse_str` constructor (or the equivalent
43/// validating `Deserialize`), so any value that reaches a path helper has
44/// already been checked for prefix, charset, and length. This is the
45/// path-traversal guard: a raw id containing `/`, `..`, or a leading dot can
46/// never be turned into one of these newtypes, so it can never name a file
47/// outside the run directory.
48#[derive(Debug, Clone, PartialEq, Eq, thiserror::Error)]
49pub enum IdValidationError {
50    /// The value carried the right prefix (or needs none) but its body had the
51    /// wrong length or used characters outside the permitted charset.
52    #[error("invalid {kind} id {value:?}: expected {expected}")]
53    InvalidFormat {
54        /// Which id type rejected the value (`run`, `node`).
55        kind: &'static str,
56        /// The offending raw value.
57        value: String,
58        /// Human-readable description of the accepted shape (e.g. `n-NNNN`).
59        expected: &'static str,
60    },
61    /// The value did not start with the id type's required prefix (`n-`).
62    #[error("invalid {kind} id: wrong prefix, expected {expected}")]
63    WrongPrefix {
64        /// Which id type rejected the value.
65        kind: &'static str,
66        /// Human-readable description of the accepted shape.
67        expected: &'static str,
68    },
69}
70
71impl IdValidationError {
72    /// The id type that rejected the value (`run`, `node`).
73    pub fn kind(&self) -> &'static str {
74        match self {
75            Self::InvalidFormat { kind, .. } | Self::WrongPrefix { kind, .. } => kind,
76        }
77    }
78
79    /// The accepted-shape hint, suitable for the `expected` field of a CLI
80    /// error envelope.
81    pub fn expected(&self) -> &'static str {
82        match self {
83            Self::InvalidFormat { expected, .. } | Self::WrongPrefix { expected, .. } => expected,
84        }
85    }
86}
87
88/// Generate the shared trait surface for a validated id newtype: `as_str`,
89/// `FromStr`, `Display`, `Debug`, `Ord` / `PartialOrd` (lexicographic over the
90/// inner string), `Serialize` (as the bare string), and a validating
91/// `Deserialize` (delegates to `parse_str`, so reading an old file with a
92/// malformed id fails loudly rather than silently widening the type). Each
93/// newtype supplies its own `parse_str` in a separate `impl` block.
94///
95/// `Ord` / `PartialOrd` are derived, so they forward to the inner `String`'s
96/// ordering — i.e. plain `&str` byte comparison. For the fixed-width ULID form
97/// ([`RunId`]) this preserves the natural time ordering ULIDs encode in their
98/// lexical sort.
99///
100/// CAVEAT — this ordering is lexical, *not* numeric or semantic: [`NodeId`] is
101/// `n-` + a variable-width number, so once the counter grows a digit the byte
102/// order diverges from the numeric order: `n-10000 < n-9999`. Do not sort
103/// `NodeId`s expecting ascending node number; parse the body if you need that.
104///
105/// The trait is provided for `BTreeMap`/`BTreeSet` keys and stable sorts.
106macro_rules! id_newtype {
107    ($(#[$m:meta])* $name:ident) => {
108        $(#[$m])*
109        #[derive(Clone, PartialEq, Eq, Hash, PartialOrd, Ord)]
110        pub struct $name(String);
111
112        impl $name {
113            /// The validated id as a string slice. There is no mutable or
114            /// owned-`String` accessor by design: the inner value can never be
115            /// mutated into an unvalidated state after construction.
116            pub fn as_str(&self) -> &str {
117                &self.0
118            }
119        }
120
121        impl std::str::FromStr for $name {
122            type Err = IdValidationError;
123
124            /// Parse via the newtype's own `parse_str`; lets callers use the
125            /// `str::parse` / `FromStr` ecosystem (`s.parse::<RunId>()?`).
126            fn from_str(s: &str) -> Result<Self, Self::Err> {
127                Self::parse_str(s)
128            }
129        }
130
131        impl std::fmt::Display for $name {
132            fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
133                f.write_str(&self.0)
134            }
135        }
136
137        impl std::fmt::Debug for $name {
138            fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
139                write!(f, "{}({:?})", stringify!($name), self.0)
140            }
141        }
142
143        impl serde::Serialize for $name {
144            fn serialize<S: serde::Serializer>(&self, s: S) -> Result<S::Ok, S::Error> {
145                s.serialize_str(&self.0)
146            }
147        }
148
149        impl<'de> serde::Deserialize<'de> for $name {
150            fn deserialize<D: serde::Deserializer<'de>>(d: D) -> Result<Self, D::Error> {
151                let s = String::deserialize(d)?;
152                Self::parse_str(&s).map_err(serde::de::Error::custom)
153            }
154        }
155    };
156}
157
158id_newtype! {
159    /// A validated run identifier: a lowercase ULID (26 Crockford base32
160    /// characters whose first character keeps the encoded timestamp within
161    /// ULID's 48-bit range). Mirrors what [`crate::new_run_id`] emits.
162    RunId
163}
164
165impl RunId {
166    /// Accepted-shape hint shared by every rejection.
167    const EXPECTED: &'static str = "26-char lowercase Crockford base32 ULID";
168    /// Canonical length of a ULID in Crockford base32. Public so CLI-side prefix
169    /// resolution can branch on "full id vs. prefix" without mirroring the
170    /// constant (which would silently drift if the id shape ever changed).
171    pub const LEN: usize = 26;
172
173    /// Parse and validate a `run_id`. Accepts only the 26-character lowercase
174    /// ULID shape; rejects wrong length, non-Crockford characters, and a first
175    /// character outside `0..=7` (which would overflow ULID's 48-bit timestamp).
176    pub fn parse_str(s: &str) -> Result<Self, IdValidationError> {
177        let reject = || IdValidationError::InvalidFormat {
178            kind: "run",
179            value: s.to_string(),
180            expected: Self::EXPECTED,
181        };
182        if s.len() != Self::LEN || !all_crockford_lower(s) {
183            return Err(reject());
184        }
185        // The first base32 char carries the top 5 bits of the 128-bit ULID;
186        // the 48-bit timestamp cannot overflow only if it is in `0..=7`.
187        if !(b'0'..=b'7').contains(&s.as_bytes()[0]) {
188            return Err(reject());
189        }
190        Ok(Self(s.to_string()))
191    }
192}
193
194id_newtype! {
195    /// A validated node identifier: `n-` followed by 4 or more ASCII digits
196    /// (e.g. `n-0001`). Mirrors what [`crate::format_node_id`] emits.
197    NodeId
198}
199
200impl NodeId {
201    /// Accepted-shape hint shared by every rejection.
202    const EXPECTED: &'static str = "n-NNNN (n- followed by 4-10 ASCII digits)";
203
204    /// Parse and validate a `node_id`. Requires the `n-` prefix followed by
205    /// 4 to 10 ASCII digits; rejects anything else (wrong prefix, too few or
206    /// too many digits, non-digit body). The 10-digit ceiling covers the full
207    /// `u32` counter range [`crate::format_node_id`] draws from while bounding
208    /// the filename length (a defense against `ENAMETOOLONG` from a forged id).
209    pub fn parse_str(s: &str) -> Result<Self, IdValidationError> {
210        let body = s.strip_prefix("n-").ok_or(IdValidationError::WrongPrefix {
211            kind: "node",
212            expected: Self::EXPECTED,
213        })?;
214        if (4..=10).contains(&body.len()) && body.bytes().all(|b| b.is_ascii_digit()) {
215            Ok(Self(s.to_string()))
216        } else {
217            Err(IdValidationError::InvalidFormat {
218                kind: "node",
219                value: s.to_string(),
220                expected: Self::EXPECTED,
221            })
222        }
223    }
224}
225
226/// The run/node kind enum (design.md §1.2).
227///
228/// The 0.2 subtractive cut removed the `code`, `orchestrate`, `orchestrated`,
229/// `bugfix`, and `make-skill` kinds (the interactive + DAG-driver topologies and
230/// the two phantom variants that were behaviourally `Spinoff`). The surviving
231/// kinds are all autonomous. [`Kind::Unknown`] is a read-only catch-all so a
232/// legacy on-disk run recorded under a since-removed kind still deserializes —
233/// `doctor` / `run list` report it, never delete it (ADR §D7).
234#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)]
235#[serde(rename_all = "kebab-case")]
236pub enum Kind {
237    /// Autonomous fire-and-forget task that merges itself back (`/worktree-spinoff`).
238    Spinoff,
239    /// Autonomous multi-source research worktree (`/worktree-research`).
240    Research,
241    /// Drives one architectural decision to an ADR (`/worktree-technical-decision`).
242    TechnicalDecision,
243    /// Parallel fan-out of many identical units (`/fan-out`).
244    FanOut,
245    /// A kind this build no longer models — a legacy run recorded on disk under a
246    /// kind removed in the 0.2 cut (`code` / `orchestrate` / `orchestrated` /
247    /// `bugfix` / `make-skill`), or any future/unknown wire value. Read-only:
248    /// `#[serde(other)]` maps every unrecognized kind here so `doctor` / `run
249    /// list` can still surface such a run rather than faulting on it (ADR §D7).
250    /// It is NEVER a creatable kind — it is absent from [`Kind::WIRE_NAMES`], so
251    /// no CLI surface or report validator accepts it as input.
252    #[serde(other)]
253    Unknown,
254}
255
256impl Kind {
257    /// The kebab-case wire name for this kind — the same string serde
258    /// (de)serializes via `rename_all = "kebab-case"`.
259    ///
260    /// The exhaustive `match` is deliberate: adding a `Kind` variant fails
261    /// to compile until its wire name is listed here, so [`Kind::WIRE_NAMES`]
262    /// and any caller that advertises the accepted kinds (e.g. the report
263    /// validator's `expected` hint) cannot silently drift from the enum.
264    #[must_use]
265    pub const fn wire_name(self) -> &'static str {
266        match self {
267            Kind::Spinoff => "spinoff",
268            Kind::Research => "research",
269            Kind::TechnicalDecision => "technical-decision",
270            Kind::FanOut => "fan-out",
271            Kind::Unknown => "unknown",
272        }
273    }
274
275    /// Every *creatable* kind's kebab-case wire name, in declaration order.
276    /// Single source of truth for "the set of accepted kinds" — see
277    /// [`Kind::wire_name`]. Excludes [`Kind::Unknown`], which is a read-only
278    /// catch-all, never a valid input.
279    pub const WIRE_NAMES: &'static [&'static str] = &[
280        Kind::Spinoff.wire_name(),
281        Kind::Research.wire_name(),
282        Kind::TechnicalDecision.wire_name(),
283        Kind::FanOut.wire_name(),
284    ];
285
286    /// Default how-run [`Lifecycle`] for a kind — the value a run gets when
287    /// created WITHOUT `--interactive`. Every kind defaults to autonomous; the 0.2
288    /// cut removed the `code` kind that used to imply interactivity, so
289    /// interactivity is no longer kind-derived — it is the explicit `--interactive`
290    /// flag ([`Lifecycle`] docs, design.md §2/§6). This method only seeds the
291    /// default; it must NOT be read as "this kind is (non-)interactive".
292    /// [`Kind::Unknown`] (a legacy on-disk run) reads as autonomous too; it is
293    /// never freshly supervised, so the value only ever feeds read-only display.
294    pub fn lifecycle(self) -> Lifecycle {
295        match self {
296            Kind::Spinoff
297            | Kind::Research
298            | Kind::TechnicalDecision
299            | Kind::FanOut
300            | Kind::Unknown => Lifecycle::Autonomous,
301        }
302    }
303
304    /// Whether this kind is a **top-level, single-node, autonomous worker** —
305    /// one detached agent that materializes its own worktree and self-merges,
306    /// with no children and no parent DAG driving it. These are exactly the
307    /// kinds eligible for the supervisor's bounded auto-retry on an empty-handed
308    /// `agent-died` (issue `autoretry-agent-died-worker`).
309    ///
310    /// Excludes `FanOut` (a multi-unit driver — its driver node has no agent of
311    /// its own) and [`Kind::Unknown`] (a legacy on-disk run, never freshly
312    /// supervised).
313    ///
314    /// The exhaustive `match` fails to compile when a new `Kind` is added, forcing
315    /// a deliberate eligibility decision rather than a silent default.
316    #[must_use]
317    pub fn is_autonomous_single_node_worker(self) -> bool {
318        match self {
319            Kind::Spinoff | Kind::Research | Kind::TechnicalDecision => true,
320            Kind::FanOut | Kind::Unknown => false,
321        }
322    }
323}
324
325/// How a run is driven — its **how-run** state (design.md §2, §6).
326///
327/// This is an **explicit told fact**, set once at `run create` from the
328/// `--interactive` flag and never transitioned. It is deliberately NOT derived
329/// from [`Kind`]: the 0.2 cut removed the `code` kind that used to carry
330/// interactivity accidentally, and interactivity is now orthogonal to topology —
331/// *any* run can be marked interactive (`told, not guessed`, `target-state-0.2.md
332/// §2`/§4). Do not reintroduce a `Kind`-derived inference; `Kind::lifecycle`
333/// exists only to seed the default for a run created without the flag.
334///
335/// `Lifecycle` is a *category*, not a progress signal — an agent tracking
336/// completion polls `manifest.status` (`Pending | Running | Done | Failed |
337/// Cancelled`), NEVER `lifecycle`, whose value never changes (state-integrity
338/// invariant 4).
339#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
340#[serde(rename_all = "kebab-case")]
341pub enum Lifecycle {
342    /// Agent runs to completion unattended; the supervisor adjudicates exit
343    /// (the told `worker.exited` fact, then the residual crash backstop).
344    Autonomous,
345    /// Human-driven: the supervisor **never** auto-terminalizes or auto-tears-down
346    /// from a dead pid or a worker exit — it waits for an explicit `run merge`
347    /// (→ teardown) or `run cancel`. The human owns the whole lifecycle
348    /// (design.md §6).
349    Interactive,
350}
351
352impl Lifecycle {
353    /// True for [`Lifecycle::Interactive`] — the human-driven, supervisor-hands-off
354    /// how-run state. The single predicate the supervisor consults to suppress its
355    /// automatic terminalization/teardown machinery (design.md §6).
356    #[must_use]
357    pub fn is_interactive(self) -> bool {
358        matches!(self, Lifecycle::Interactive)
359    }
360}
361
362/// Run/node status (design.md §1.2).
363///
364/// `Done`, `Failed`, and `Cancelled` are **terminal**: once a run or node
365/// reaches one of them its `status` must never change again. The reducer
366/// enforces this — `apply_run_status`, `apply_node_status`, and
367/// `apply_node_report` are all no-ops once [`Status::is_terminal`] holds — so
368/// a late-arriving event (e.g. an agent success report racing a `run cancel`)
369/// cannot resurrect a settled state. Only the `status` field is frozen;
370/// other projection fields may still be mutated by non-status events.
371#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
372#[serde(rename_all = "kebab-case")]
373pub enum Status {
374    /// Created but not yet started.
375    Pending,
376    /// Actively executing.
377    Running,
378    /// Stalled awaiting input (e.g. an open discussion).
379    Blocked,
380    /// Completed successfully (terminal).
381    Done,
382    /// Completed with failure (terminal).
383    Failed,
384    /// Terminated before completion by an operator or parent (terminal).
385    Cancelled,
386}
387
388impl Status {
389    /// True for the terminal states `Done | Failed | Cancelled`. A run or
390    /// node in a terminal state is settled: the reducer treats any further
391    /// *status* transition as a no-op. "Settled" applies to `status` only —
392    /// non-status projection fields (e.g. `Node::children` via
393    /// `child.spawned`, or manifest counters) can still change.
394    pub fn is_terminal(self) -> bool {
395        matches!(self, Status::Done | Status::Failed | Status::Cancelled)
396    }
397}
398
399/// Aggregate a set of node statuses into the run's rolled-up terminal status,
400/// or `None` when the run is not yet complete.
401///
402/// The single, shared roll-up rule — used both by the supervisor's per-tick
403/// `rollup_status` and by [`cancel_node`](crate::cancel_node)'s in-lock
404/// self-roll-up (so the two can never diverge). A **three-way** classification
405/// (design §2.5, "rollup terminalizes the run cancelled/done/failed once every
406/// node is terminal"):
407///
408/// - `None` if the set is empty (a freshly-created run must not vacuously
409///   complete) or if ANY node is still live (`Pending`/`Running`/`Blocked`);
410/// - `Some(Status::Failed)` if any node genuinely `Failed` (a real failure
411///   dominates the batch outcome);
412/// - `Some(Status::Cancelled)` if no node failed but at least one was
413///   `Cancelled` (a deliberate per-node/whole-run cancel — nothing failed, but
414///   the batch did not fully complete; branch-preserving work is untouched);
415/// - `Some(Status::Done)` when every node is `Done`.
416pub fn aggregate_terminal_status<I>(statuses: I) -> Option<Status>
417where
418    I: IntoIterator<Item = Status>,
419{
420    let mut any = false;
421    let mut any_failed = false;
422    let mut any_cancelled = false;
423    for s in statuses {
424        any = true;
425        match s {
426            Status::Done => {}
427            Status::Failed => any_failed = true,
428            Status::Cancelled => any_cancelled = true,
429            // Any live node means the run is not done yet.
430            Status::Pending | Status::Running | Status::Blocked => return None,
431        }
432    }
433    if !any {
434        return None;
435    }
436    Some(if any_failed {
437        Status::Failed
438    } else if any_cancelled {
439        Status::Cancelled
440    } else {
441        Status::Done
442    })
443}
444
445/// `manifest.json` (design.md §1.2).
446#[derive(Debug, Clone, Serialize, Deserialize)]
447pub struct Manifest {
448    /// State-schema version this file was written with.
449    pub schema_version: u32,
450    /// Watermark: the highest event `seq` whose projection fold is durably
451    /// committed. Events in `events.jsonl` with `seq > applied_seq` are
452    /// *unapplied tail* events — replayed into the projections on the next
453    /// lock acquisition before any new append (see
454    /// [`crate::events::append_and_apply_event`]). This is what makes
455    /// append-then-apply atomic across a reducer crash: the event log can run
456    /// ahead of the projections, but the gap is always healed before the next
457    /// writer observes stale state.
458    ///
459    /// `#[serde(default)]` so a legacy `manifest.json` written before this
460    /// field existed deserializes with `applied_seq = 0`. Such a manifest
461    /// self-migrates on its next write: the catch-up replay re-folds the whole
462    /// log — every event a no-op, because legacy state was already projected
463    /// synchronously under the old append-then-apply path — and advances the
464    /// watermark to `last_seq`. No separate migration pass or schema bump is
465    /// required (the field is purely additive to a derived-cache file).
466    #[serde(default)]
467    pub applied_seq: u64,
468    /// Unique run identifier (ULID). Validated on read.
469    pub run_id: RunId,
470    /// Kind of work this run performs.
471    pub kind: Kind,
472    /// How-run state (autonomous vs interactive), set once at `run create` from
473    /// the explicit `--interactive` flag — never transitioned. See [`Lifecycle`].
474    pub lifecycle: Lifecycle,
475    /// Human-readable run title.
476    pub title: String,
477    /// Current aggregate run status.
478    pub status: Status,
479    /// When the run was created.
480    pub created_at: DateTime<Utc>,
481    /// When the manifest was last modified.
482    pub updated_at: DateTime<Utc>,
483    /// Source repository the run operates on, if any.
484    pub source_repo: Option<String>,
485    /// Branch the run was started from, if any.
486    pub source_branch: Option<String>,
487    /// Root directory under which this run's worktrees live, if any.
488    pub worktree_root: Option<String>,
489    /// tmux session orchestratectl created to host this run's headless windows
490    /// (`--headless` / `--tmux-session <name>`), if any. `None` for a foreground
491    /// run whose window lives in the user's own session — that session is never
492    /// a teardown target. When set, the supervisor kills this session once its
493    /// last orchestratectl-owned window is torn down and only the synthetic
494    /// bootstrap shell window remains, so an empty headless session is not left
495    /// behind (issue `headless-tmux-session-not-torn-down`). `#[serde(default)]`
496    /// keeps a manifest written before this field existed readable.
497    #[serde(default)]
498    pub managed_tmux_session: Option<String>,
499    /// Completion-notification command registered at `run create --notify`,
500    /// if any. When the run reaches a terminal state (`done | failed |
501    /// cancelled`) the supervisor runs this command (at-least-once, deduped on a
502    /// durable `run.notified` marker event — the healthy path fires once, a
503    /// crash between firing and recording may re-fire) with `OCTL_RUN_ID` /
504    /// `OCTL_STATUS` / `OCTL_SUMMARY` (and `OCTL_RUN_KIND` / `OCTL_RUN_TITLE`)
505    /// in its environment, BEFORE teardown removes the worktree/window. This is
506    /// how a spawning session learns of completion without polling (issue
507    /// `no-completion-notification-to-parent`). `None` for a run created without
508    /// `--notify`; `#[serde(default)]` keeps a manifest written before this
509    /// field existed readable.
510    #[serde(default)]
511    pub notify_cmd: Option<String>,
512    /// The agent runtime selected for this run's worker
513    /// (`claude` | `pi`), resolved at `run create`
514    /// via the flag > env > config > default precedence and recorded here as
515    /// provenance. This is the *selected* harness — recorded before the worker is
516    /// spawned, so it reflects intent even if the spawn later fails. `None` for a
517    /// manifest written before this field existed
518    /// (`#[serde(default)]`) — such legacy runs predate harness selection and
519    /// were all `claude`. Surfaced on `run show` / `run list --json`.
520    #[serde(default)]
521    pub harness: Option<String>,
522    /// Number of nodes created in this run (denormalized counter).
523    pub node_count: u32,
524    /// Run that spawned this run, if it is itself a child.
525    pub parent_run_id: Option<RunId>,
526    /// Node in the parent run that spawned this run, if any.
527    pub parent_node_id: Option<NodeId>,
528}
529
530/// `(child_run_id, child_node_id)` pointer recorded in `Node::children`.
531#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
532pub struct ChildRef {
533    /// Run id of the spawned child. Validated on read.
534    pub run_id: RunId,
535    /// Node id within the child run. Validated on read.
536    pub node_id: NodeId,
537}
538
539/// `nodes/<node-id>.json` (design.md §1.3).
540#[derive(Debug, Clone, Serialize, Deserialize)]
541pub struct Node {
542    /// State-schema version this file was written with.
543    pub schema_version: u32,
544    /// Unique node identifier within its run (e.g. `n-0001`). Validated on
545    /// read; this is the projection's filename key, so it can never name a
546    /// path outside `nodes/`.
547    pub node_id: NodeId,
548    /// Run this node belongs to. Validated on read.
549    pub run_id: RunId,
550    /// Parent node within the same run, if this is a sub-node.
551    pub parent_node_id: Option<NodeId>,
552    /// Kind of work this node performs.
553    pub kind: Kind,
554    /// Current node status.
555    pub status: Status,
556    /// Task description / prompt driving the node, if recorded.
557    pub task: Option<String>,
558    /// Filesystem path of the node's git worktree, if created.
559    pub worktree_path: Option<String>,
560    /// Git branch the node works on, if any.
561    pub branch: Option<String>,
562    /// The commit SHA the node's branch/worktree was forked from at spawn
563    /// (the branch tip the moment `create.sh` materialized the worktree). It
564    /// is the fixed reference point that lets the supervisor tell "this branch
565    /// produced work that merged into source" from "this branch never diverged
566    /// from its fork point": a branch still at `base_sha` is trivially an
567    /// ancestor of its source branch but has merged nothing, so it must NOT be
568    /// reconciled to success or torn down (that would drop a live agent's
569    /// uncommitted work). Only a branch whose tip has moved past `base_sha`
570    /// *and* is now an ancestor of the run's `source_branch` is a confirmed
571    /// merge (issues `false-failed-after-merge` /
572    /// `supervisor-stuck-pending-after-self-merge`). `#[serde(default)]` keeps a
573    /// node written before this field existed readable (`None` → the
574    /// git-reconcile fallback simply does not fire for it).
575    #[serde(default)]
576    pub base_sha: Option<String>,
577    /// tmux window hosting the node's agent, if interactive. This is the
578    /// human-readable window *name* — not unique across sessions and blind to
579    /// non-default sockets. Kept for display and as the legacy liveness key;
580    /// prefer [`Node::tmux_identity`] when present.
581    pub tmux_window: Option<String>,
582    /// Fully-qualified tmux identity (`session:window_id` + socket path)
583    /// captured at spawn time. `None` for nodes registered before create.sh
584    /// emitted the qualified fields — those fall back to bare-name matching on
585    /// [`Node::tmux_window`]. New spawns always populate this when create.sh
586    /// returns it.
587    #[serde(default)]
588    pub tmux_identity: Option<TmuxIdentity>,
589    /// PID of the running agent process, if live.
590    pub agent_pid: Option<i32>,
591    /// Start time of the agent process, used to detect PID reuse.
592    pub agent_pid_start_time: Option<DateTime<Utc>>,
593    /// PID of the supervisor watching this node, if live.
594    pub supervisor_pid: Option<i32>,
595    /// Children this node has spawned.
596    #[serde(default)]
597    pub children: Vec<ChildRef>,
598    /// When the node started executing, if it has.
599    pub started_at: Option<DateTime<Utc>>,
600    /// When the node file was last modified.
601    pub updated_at: DateTime<Utc>,
602    /// The `node.report` payload that drove this node to its terminal status.
603    /// Set only by the report that actually transitions the node (Done /
604    /// Failed / Cancelled). Once the node is terminal it is frozen: a late
605    /// report against an already-settled node is dropped without overwriting
606    /// this field (see `reducer::apply_node_report`). So for a node cancelled
607    /// by `run cancel`, this holds the synthesized cancel report, not a
608    /// later-arriving agent report — that payload remains only in
609    /// `events.jsonl`.
610    pub last_report: Option<Value>,
611    /// Highest report `seq` consumed per child run id, for idempotent
612    /// report processing across supervisor restarts.
613    #[serde(default)]
614    pub last_processed_report_seq_by_child: Map<String, Value>,
615    /// Number of times the supervisor has auto-retried this node after an
616    /// empty-handed `agent-died` (issue `autoretry-agent-died-worker`). The
617    /// DURABLE, restart-safe bound on the bounded-retry loop: each `node.retry`
618    /// event increments it, and the watchdog terminalizes the run `failed` once
619    /// it reaches `RETRY_MAX_ATTEMPTS`. `#[serde(default)]` keeps a node written
620    /// before this field existed readable (`0` — never retried).
621    #[serde(default)]
622    pub retry_attempts: u32,
623    /// The **told** exit status of the node's worker process, recorded durably by
624    /// the `run-worker` launcher shim (`crates/octl-cli/src/run_worker.rs`) when
625    /// it `wait()`s on the agent it wrapped. This is a *fact*, not an inference:
626    /// the supervisor consumes it via the typed outcome table instead of guessing
627    /// completion from pid/pane/activity proxies (design.md §2.1, issue
628    /// `thin-exit-status-launcher`). A non-zero code or a terminating signal is a
629    /// `failed` worker; `code == 0` with no `explicit-merge` transition is the
630    /// *finished-but-unmerged* case that must stay non-terminal (attention-
631    /// required), NOT be auto-failed. `None` until the shim records an exit — or
632    /// forever, for a worker never launched through the shim (the crash backstop
633    /// still covers that path). `#[serde(default)]` keeps a node written before
634    /// this field existed readable.
635    #[serde(default)]
636    pub worker_exit: Option<WorkerExit>,
637    /// The in-flight `run merge` transaction for this node, if one has been
638    /// STARTED but not yet completed. `run merge` records a `merge.started`
639    /// event (setting this field) BEFORE it mutates git, because the merge spans
640    /// two durability domains — git refs and the event log — and is not atomic
641    /// across them (design.md §2.1b / A2, issue `merge-transaction-recovery`). A
642    /// crash after the git merge but before the terminal `explicit-merge`
643    /// `node.report` would otherwise strand the work *merged in source* with *no
644    /// merge event* → a false `failed`.
645    ///
646    /// This field is the durable op-log record that lets recovery finish or
647    /// reject that ONE known transaction deterministically, by OID — never a
648    /// general branch-content heuristic. It is set by [`crate::MergeTxn`]-carrying
649    /// `merge.started`, and cleared when the transaction resolves: a terminal
650    /// `node.report` (the merge completed) or a `merge.aborted` (recovery found
651    /// the git mutation never landed). `#[serde(default)]` keeps a node written
652    /// before this field existed readable (`None` — no in-flight merge).
653    ///
654    /// Boxed so the (rare) in-flight transaction does not inflate every `Node` /
655    /// `ProjectionOp` by the full [`MergeTxn`] footprint.
656    #[serde(default)]
657    pub pending_merge: Option<Box<MergeTxn>>,
658    /// The durable, monotonic timestamp of the FIRST tick on which the supervisor
659    /// observed this node's worker process confirmed-dead with no told
660    /// `worker.exited` and no merge — the anchor for the residual crash
661    /// backstop's fixed post-death grace (design.md §2.1a, issue
662    /// `typed-supervisor-outcomes`).
663    ///
664    /// The backstop is the ONLY place pid liveness still governs an outcome
665    /// (pid liveness is a pure crash backstop now, never a primary signal). When
666    /// the launcher shim's exit fact is lost — a hard kill of the shim, host
667    /// death — the supervisor never sees a `worker.exited` event, so it falls
668    /// back to "process confirmed gone → `failed`". The grace exists only to let
669    /// an in-flight `worker.exited` / merge append land before that fires: on the
670    /// first confirmed death the supervisor records this timestamp (via a
671    /// `node.death_observed` event) and DEFERS; it terminalizes `failed` only on a
672    /// later tick once a fixed short window has elapsed AND an exclusive-lock
673    /// re-read confirms no exit/merge landed in the race window.
674    ///
675    /// Persisted (not in-memory) so the grace survives a supervisor restart in the
676    /// window — a restart re-reads it rather than restarting the clock. First-write
677    /// -wins in the reducer, so the anchor is monotonic. `None` until the first
678    /// confirmed-death observation, or forever for a worker that exits cleanly
679    /// (the shim records `worker.exited` and the backstop never engages).
680    /// `#[serde(default)]` keeps a node written before this field existed readable.
681    #[serde(default)]
682    pub first_death_at: Option<DateTime<Utc>>,
683}
684
685/// A durable, in-flight `run merge` transaction recorded by `merge.started`
686/// BEFORE the git mutation, and the sole input to deterministic merge-crash
687/// recovery (design.md §2.1b / A2, issue `merge-transaction-recovery`).
688///
689/// `run merge` spans git refs and the event log and is not atomic across them.
690/// Recording the transaction — the exact source ref it will move, the OID it
691/// expects that ref to be at (`expected_source_oid`, the compare half of the
692/// compare-and-swap), and the worker's tip — lets the supervisor (or a retried
693/// `run merge`) resolve the ONE recorded transaction by OID after a crash:
694///
695/// - source ref still at `expected_source_oid` → the mutation never landed →
696///   REJECT (`merge.aborted`), preserving the worker's branch + work.
697/// - source ref moved off `expected_source_oid` AND the worker's content is
698///   integrated (rebase-robust content verification) → COMPLETE (append the
699///   `explicit-merge` `node.report` the crash prevented).
700/// - source ref moved unexpectedly but the worker's content is not integrated →
701///   fail closed (REJECT), preserving the work.
702#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
703pub struct MergeTxn {
704    /// Opaque unique id for this merge attempt. A fresh id per `run merge`
705    /// invocation (each attempt re-reads `expected_source_oid`), so recovery can
706    /// name exactly which transaction it resolved in the `merge.aborted` audit.
707    pub op_id: String,
708    /// The source/target ref this merge moves — `manifest.source_branch`
709    /// (`main`, or an integration branch). Recovery reads this ref's current OID
710    /// to decide the transaction's fate.
711    pub source_branch: String,
712    /// The worker branch whose commits are being merged (`node.branch`). Its
713    /// content is what recovery verifies is integrated into `source_branch`.
714    pub worker_branch: String,
715    /// The OID `source_branch` was at when the transaction was recorded — the
716    /// compare half of the compare-and-swap. If the ref is still here at recovery
717    /// time, the git mutation never landed.
718    pub expected_source_oid: String,
719    /// The worker branch tip at record time. Retained for the audit trail and as
720    /// a secondary landing signal; the authoritative completion check is
721    /// content-based (rebase-robust) against `source_branch`.
722    pub worker_oid: String,
723    /// The worker branch's fork point (`node.base_sha`), used to bound the
724    /// content check to the worker's own commits. `None` when unrecorded.
725    #[serde(default)]
726    pub base_sha: Option<String>,
727    /// PID of the `run merge` process driving the transaction, so recovery can
728    /// tell a still-in-progress merge (driver alive — leave it) from a crashed
729    /// one (driver gone — resolve it), never racing a live merge. `None` when
730    /// unrecorded.
731    #[serde(default)]
732    pub driver_pid: Option<i32>,
733    /// Start time of `driver_pid` in Unix seconds (the same representation the
734    /// pid-file liveness check records), guarding against PID reuse the way the
735    /// agent/supervisor liveness checks do — a recycled PID must not look alive.
736    /// `None` when the platform could not read it.
737    #[serde(default)]
738    pub driver_pid_start_secs: Option<u64>,
739    /// When the transaction was recorded.
740    pub started_at: DateTime<Utc>,
741}
742
743/// The observed exit status of a node's worker process, recorded by the
744/// `run-worker` launcher shim under the run lock (design.md §2.1 / A1).
745///
746/// Exactly one of `code` / `signal` is meaningful: a worker that returned
747/// normally carries `code = Some(n)` (and `signal = None`); a worker killed by a
748/// signal carries `signal = Some(s)` (and, on Unix, `code = None`). A recorded
749/// exit is a durable *told fact* — the supervisor reads it rather than inferring
750/// completion from liveness proxies.
751#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
752pub struct WorkerExit {
753    /// Normal-exit status code, if the worker was not killed by a signal.
754    #[serde(default)]
755    pub code: Option<i32>,
756    /// Terminating signal number, if the worker was killed by a signal.
757    #[serde(default)]
758    pub signal: Option<i32>,
759    /// When the shim observed the worker's exit.
760    pub at: DateTime<Utc>,
761}
762
763impl WorkerExit {
764    /// A clean exit: not signalled, and a zero return code. This is the *only*
765    /// success-shaped worker exit — but a clean exit alone is NOT a completed
766    /// unit (the worker may have finished-but-skipped `run merge`); merge is the
767    /// only success truth (design.md §2.6). Callers pair this with a merge check.
768    pub fn is_clean(self) -> bool {
769        self.signal.is_none() && self.code == Some(0)
770    }
771
772    /// A failed worker: killed by a signal, or a non-zero return code. Mutually
773    /// exclusive with [`WorkerExit::is_clean`].
774    pub fn is_failure(self) -> bool {
775        !self.is_clean()
776    }
777}
778
779/// A fully-qualified tmux window identity recorded at spawn time.
780///
781/// `tmux_window` (the human name) is not unique across sessions, and a bare
782/// `tmux list-windows -a` cannot see windows on a non-default socket. This
783/// triple pins the exact window the agent runs in — `session:window_id` is
784/// unique per server, `window_id` (the `@NNNN` form) survives renames, and
785/// `socket` disambiguates multiple tmux servers. The watchdog matches on this
786/// when present (design.md §8.1).
787///
788/// `pane_id` (the `%NN` form) pins the agent's *specific* pane within that
789/// window, recorded at spawn. Window-owning operations (`kill-window` teardown —
790/// the supervisor owns the whole window per the cleanup invariants) key off
791/// `window_id`; only per-pane operations that must not follow the window's
792/// *active* pane — chiefly `pipe-pane` agent-log capture — use `pane_id`. It is
793/// `None` for a run spawned before create.sh emitted the field; capture then
794/// falls back to `window_id` (issue `capture-agent-pane-by-pane-id`).
795///
796/// The watchdog's liveness probe still keys off `window_id` (correct for the
797/// single-pane autonomous path). A pane-aware liveness probe — needed so a split
798/// interactive window whose agent pane dies while a user shell pane survives is
799/// still seen as dead — is a follow-up (`watchdog-pane-aware-liveness`), not this
800/// change.
801#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
802pub struct TmuxIdentity {
803    /// Server socket path (`#{socket_path}`). `None` if create.sh could not
804    /// read it; the watchdog then queries tmux on its default socket.
805    #[serde(default)]
806    pub socket: Option<String>,
807    /// Session that owns the window (`#{session_name}`).
808    pub session: String,
809    /// Stable window id in `@NNNN` form (`#{window_id}`). Survives renames and
810    /// is unique within the server.
811    pub window_id: String,
812    /// Stable pane id in `%NN` form (`#{pane_id}`), recorded at spawn — the
813    /// agent's own pane. `None` for a run whose create.sh predates the field
814    /// (back-compat: old state deserializes with `pane_id: None`). Prefer
815    /// [`TmuxIdentity::capture_target`] over reading this directly.
816    #[serde(default)]
817    pub pane_id: Option<String>,
818}
819
820impl TmuxIdentity {
821    /// The tmux target for a per-pane operation that must hit the agent's own
822    /// pane, not the window's *active* pane: the recorded `pane_id` when
823    /// present, else the `window_id` (which resolves to the active pane).
824    ///
825    /// Used by agent-log capture (`pipe-pane`). Window-level operations
826    /// (`kill-window`, liveness) must NOT use this — they key off `window_id`
827    /// directly so they act on the whole window.
828    ///
829    /// A recorded `pane_id` is preferred only when non-empty; an empty string
830    /// (a directly-deserialized/corrupt state that the reducer/spawn normalizers
831    /// never produce) is treated as absent so capture never targets `-t ""`.
832    pub fn capture_target(&self) -> &str {
833        self.pane_id
834            .as_deref()
835            .filter(|id| !id.is_empty())
836            .unwrap_or(&self.window_id)
837    }
838}
839
840/// One event-log line (design.md §1.4).
841///
842/// `run_id` / `node_id` are the typed id newtypes, so deserializing an
843/// `events.jsonl` line validates the whole envelope on read: a malformed
844/// `run_id` or `node_id` fails the `serde` parse at the read boundary (the
845/// id newtypes' validating `Deserialize`) rather than being carried as an
846/// unvalidated `String` until some later path helper. The parse failure
847/// surfaces as whatever error the reader maps a bad line to — e.g. a
848/// newline-terminated bad line is [`Error::CorruptEventLog`] from both
849/// [`read_all_events`] and [`find_prior_with_key`], which share one physical
850/// reader and torn-tail policy. The reducer still performs its own per-event
851/// checks (envelope `run_id` matches the run it is folded into; `data`-borne
852/// ids parse), but the envelope ids can no longer be the unvalidated party.
853///
854/// [`read_all_events`]: crate::events::read_all_events
855/// [`find_prior_with_key`]: crate::events
856/// [`Error::CorruptEventLog`]: crate::Error::CorruptEventLog
857#[derive(Debug, Clone, Serialize, Deserialize)]
858pub struct Event {
859    /// Wall-clock timestamp the event was appended.
860    pub ts: DateTime<Utc>,
861    /// Monotonic per-run sequence number (recovered on append).
862    pub seq: u64,
863    /// Event kind discriminator (e.g. `node.created`, `discussion.opened`).
864    pub kind: String,
865    /// Run the event belongs to. Validated on read.
866    pub run_id: RunId,
867    /// Node the event concerns, when applicable. Validated on read.
868    #[serde(skip_serializing_if = "Option::is_none", default)]
869    pub node_id: Option<NodeId>,
870    /// Caller-supplied key used to dedupe retried appends.
871    #[serde(skip_serializing_if = "Option::is_none", default)]
872    pub idempotency_key: Option<String>,
873    /// Kind-specific payload applied by the reducer.
874    #[serde(default)]
875    pub data: Value,
876}
877
878#[cfg(test)]
879mod tests {
880    use super::*;
881
882    #[test]
883    fn aggregate_terminal_status_is_the_three_way_rule() {
884        use Status::{Blocked, Cancelled, Done, Failed, Pending, Running};
885        // Empty set → not complete.
886        assert_eq!(aggregate_terminal_status([]), None);
887        // Any live node → not complete.
888        for live in [Pending, Running, Blocked] {
889            assert_eq!(aggregate_terminal_status([Done, live]), None);
890        }
891        // All done → Done.
892        assert_eq!(aggregate_terminal_status([Done, Done]), Some(Done));
893        // Any failure dominates.
894        assert_eq!(aggregate_terminal_status([Done, Failed]), Some(Failed));
895        assert_eq!(aggregate_terminal_status([Failed, Cancelled]), Some(Failed));
896        // Cancelled (no failure) — pure or mixed with done.
897        assert_eq!(
898            aggregate_terminal_status([Cancelled, Cancelled]),
899            Some(Cancelled)
900        );
901        assert_eq!(
902            aggregate_terminal_status([Done, Cancelled]),
903            Some(Cancelled)
904        );
905    }
906
907    /// `Kind::wire_name` (and thus `Kind::WIRE_NAMES`) must stay identical
908    /// to what serde actually (de)serializes. If the `rename_all` routing
909    /// or a variant name ever diverges from `wire_name`, this fails — which
910    /// is what keeps the report validator's `expected` hint honest.
911    #[test]
912    fn wire_names_match_serde_round_trip() {
913        for &name in Kind::WIRE_NAMES {
914            let kind: Kind = serde_json::from_value(Value::String(name.to_string()))
915                .unwrap_or_else(|_| panic!("WIRE_NAMES entry {name:?} is not a valid Kind"));
916            assert_eq!(
917                serde_json::to_value(kind).unwrap(),
918                Value::String(name.to_string()),
919                "serde round-trip diverged from wire_name for {name:?}",
920            );
921        }
922    }
923
924    /// The bounded auto-retry eligibility gate (issue `autoretry-agent-died-worker`)
925    /// must include exactly the autonomous single-node worker kinds and exclude
926    /// the fan-out driver (and the read-only `Unknown` catch-all).
927    #[test]
928    fn autonomous_single_node_worker_set_is_exact() {
929        for k in [Kind::Spinoff, Kind::Research, Kind::TechnicalDecision] {
930            assert!(
931                k.is_autonomous_single_node_worker(),
932                "{k:?} should be retry-eligible"
933            );
934            assert_eq!(k.lifecycle(), Lifecycle::Autonomous);
935        }
936        for k in [
937            Kind::FanOut,  // multi-unit driver
938            Kind::Unknown, // legacy on-disk run — never freshly supervised
939        ] {
940            assert!(
941                !k.is_autonomous_single_node_worker(),
942                "{k:?} must NOT be retry-eligible"
943            );
944        }
945    }
946
947    /// A legacy run recorded under a since-removed kind must still deserialize
948    /// to the read-only [`Kind::Unknown`] catch-all rather than faulting the
949    /// read — the ADR §D7 "report, never delete" contract for the on-disk
950    /// evidence corpus. Every creatable kind still round-trips to itself.
951    #[test]
952    fn removed_kinds_deserialize_to_unknown() {
953        for removed in [
954            "code",
955            "orchestrate",
956            "orchestrated",
957            "bugfix",
958            "make-skill",
959        ] {
960            let kind: Kind = serde_json::from_value(Value::String(removed.to_string()))
961                .expect("a removed kind must still deserialize, not fault");
962            assert_eq!(kind, Kind::Unknown, "{removed:?} should map to Unknown");
963        }
964        // A wholly unknown value maps there too (forward-compat).
965        assert_eq!(
966            serde_json::from_value::<Kind>(Value::String("future-kind".into())).unwrap(),
967            Kind::Unknown
968        );
969        // The surviving kinds are unaffected.
970        for &name in Kind::WIRE_NAMES {
971            let kind: Kind = serde_json::from_value(Value::String(name.to_string())).unwrap();
972            assert_ne!(kind, Kind::Unknown, "{name:?} must not fold to Unknown");
973        }
974    }
975
976    /// Back-compat acceptance criterion (issue `capture-agent-pane-by-pane-id`):
977    /// a `TmuxIdentity` persisted before `pane_id` existed — with the field
978    /// entirely absent, or written as an explicit `null` — must still
979    /// deserialize, yielding `pane_id: None` and a `window_id` capture target.
980    #[test]
981    fn tmux_identity_deserializes_legacy_state_without_pane_id() {
982        // Field entirely absent (a state file written by an older binary).
983        let absent: TmuxIdentity = serde_json::from_value(serde_json::json!({
984            "socket": null,
985            "session": "octl",
986            "window_id": "@42",
987        }))
988        .expect("legacy identity without pane_id must deserialize");
989        assert_eq!(absent.pane_id, None);
990        assert_eq!(absent.capture_target(), "@42");
991
992        // Field present but explicitly null.
993        let null: TmuxIdentity = serde_json::from_value(serde_json::json!({
994            "socket": null,
995            "session": "octl",
996            "window_id": "@42",
997            "pane_id": null,
998        }))
999        .expect("identity with explicit null pane_id must deserialize");
1000        assert_eq!(null.pane_id, None);
1001        assert_eq!(null.capture_target(), "@42");
1002    }
1003
1004    /// `capture_target` prefers a recorded `pane_id` (`%NN`) over the window id,
1005    /// but treats an empty `pane_id` as absent (never targets `-t ""`).
1006    #[test]
1007    fn capture_target_prefers_nonempty_pane_id() {
1008        let with_pane = TmuxIdentity {
1009            socket: None,
1010            session: "octl".into(),
1011            window_id: "@42".into(),
1012            pane_id: Some("%7".into()),
1013        };
1014        assert_eq!(with_pane.capture_target(), "%7");
1015
1016        let empty_pane = TmuxIdentity {
1017            pane_id: Some(String::new()),
1018            ..with_pane.clone()
1019        };
1020        assert_eq!(empty_pane.capture_target(), "@42");
1021    }
1022}
1023
1024#[cfg(test)]
1025mod id_tests {
1026    use super::*;
1027
1028    /// Inputs every id type must reject — the path-traversal vectors plus the
1029    /// generic malformed cases called out in the issue's success criteria.
1030    const TRAVERSAL_VECTORS: &[&str] = &[
1031        "..",
1032        "../etc",
1033        "a/b",
1034        "a/../b",
1035        ".hidden",
1036        "./x",
1037        "foo/bar.json",
1038        "n-0001/../../etc",
1039        "",
1040    ];
1041
1042    #[test]
1043    fn run_id_accepts_generator_output_and_rejects_malformed() {
1044        let id = crate::new_run_id();
1045        assert!(
1046            RunId::parse_str(&id).is_ok(),
1047            "generator must validate: {id}"
1048        );
1049        for bad in [
1050            "tooshort",
1051            "01jxsnap0000000000000000000", // 27 chars
1052            "01JXSNAP000000000000000000",  // uppercase
1053            "01jxiiiiiiiiiiiiiiiiiiiiii",  // `i` not in Crockford
1054            "80000000000000000000000000",  // first char exceeds ULID range
1055            "n-0001",                      // wrong shape entirely
1056        ] {
1057            assert!(RunId::parse_str(bad).is_err(), "expected reject: {bad:?}");
1058        }
1059        for bad in TRAVERSAL_VECTORS {
1060            assert!(
1061                RunId::parse_str(bad).is_err(),
1062                "traversal not rejected: {bad:?}"
1063            );
1064        }
1065    }
1066
1067    #[test]
1068    fn node_id_accepts_canonical_and_rejects_malformed() {
1069        for ok in ["n-0001", "n-0010", "n-123456"] {
1070            assert!(NodeId::parse_str(ok).is_ok(), "expected accept: {ok}");
1071        }
1072        // Wrong prefix is its own error variant.
1073        assert!(matches!(
1074            NodeId::parse_str("d-0001"),
1075            Err(IdValidationError::WrongPrefix { .. })
1076        ));
1077        assert!(matches!(
1078            NodeId::parse_str("0001"),
1079            Err(IdValidationError::WrongPrefix { .. })
1080        ));
1081        for bad in [
1082            "n-1",           // too few digits
1083            "n-abcd",        // non-digit body
1084            "n-",            // empty body
1085            "n-00a1",        // mixed
1086            "n-00000000000", // 11 digits — over the 10-digit ceiling
1087        ] {
1088            assert!(
1089                matches!(
1090                    NodeId::parse_str(bad),
1091                    Err(IdValidationError::InvalidFormat { .. })
1092                ),
1093                "expected InvalidFormat: {bad:?}",
1094            );
1095        }
1096        for bad in TRAVERSAL_VECTORS {
1097            assert!(
1098                NodeId::parse_str(bad).is_err(),
1099                "traversal not rejected: {bad:?}"
1100            );
1101        }
1102    }
1103
1104    #[test]
1105    fn deserialize_rejects_malformed_ids() {
1106        // The validating Deserialize impl is the on-read guard: a tampered
1107        // projection file whose key no longer validates must fail to parse.
1108        assert!(serde_json::from_str::<NodeId>("\"n-0001\"").is_ok());
1109        assert!(serde_json::from_str::<NodeId>("\"../../etc\"").is_err());
1110        assert!(serde_json::from_str::<NodeId>("\"n-../escape\"").is_err());
1111    }
1112
1113    #[test]
1114    fn serialize_round_trips_as_bare_string() {
1115        let nid = NodeId::parse_str("n-0042").unwrap();
1116        let json = serde_json::to_string(&nid).unwrap();
1117        assert_eq!(json, "\"n-0042\"");
1118        let back: NodeId = serde_json::from_str(&json).unwrap();
1119        assert_eq!(back, nid);
1120        assert_eq!(nid.as_str(), "n-0042");
1121        assert_eq!(nid.to_string(), "n-0042");
1122    }
1123
1124    #[test]
1125    fn error_exposes_kind_and_expected() {
1126        let err = NodeId::parse_str("n-x").unwrap_err();
1127        assert_eq!(err.kind(), "node");
1128        assert_eq!(err.expected(), "n-NNNN (n- followed by 4-10 ASCII digits)");
1129    }
1130
1131    #[test]
1132    fn event_deserialize_validates_envelope_ids() {
1133        // The whole `events.jsonl` envelope is now validated on read: the
1134        // typed `run_id` / `node_id` fields parse through the id newtypes, so
1135        // a malformed envelope id fails the deserialize rather than being
1136        // carried downstream as an unchecked string.
1137        let ok = r#"{"ts":"2026-06-12T00:00:00Z","seq":1,"kind":"node.created","run_id":"01jxsnap000000000000000000","node_id":"n-0001","data":{}}"#;
1138        assert!(serde_json::from_str::<Event>(ok).is_ok());
1139
1140        // Invalid `run_id` (not a 26-char ULID) fails the parse.
1141        let bad_run = r#"{"ts":"2026-06-12T00:00:00Z","seq":1,"kind":"run.status","run_id":"not-a-ulid","data":{}}"#;
1142        assert!(serde_json::from_str::<Event>(bad_run).is_err());
1143
1144        // Invalid top-level `node_id` (too few digits) also fails the parse.
1145        let bad_node = r#"{"ts":"2026-06-12T00:00:00Z","seq":1,"kind":"node.status","run_id":"01jxsnap000000000000000000","node_id":"n-1","data":{}}"#;
1146        assert!(serde_json::from_str::<Event>(bad_node).is_err());
1147    }
1148
1149    #[test]
1150    fn from_str_and_ord_delegate_to_inner() {
1151        use std::str::FromStr;
1152        // `FromStr` mirrors `parse_str`, so the `str::parse` ecosystem works.
1153        assert!(RunId::from_str("01jxsnap000000000000000000").is_ok());
1154        assert!("n-0001".parse::<NodeId>().is_ok());
1155        assert!("n-x".parse::<NodeId>().is_err());
1156
1157        // `Ord` is lexicographic over the inner string; for ULIDs that is the
1158        // natural time-encoded order.
1159        let a = RunId::parse_str("01jxsnap000000000000000000").unwrap();
1160        let b = RunId::parse_str("02jxsnap000000000000000000").unwrap();
1161        assert!(a < b);
1162        let mut v = vec![b.clone(), a.clone()];
1163        v.sort();
1164        assert_eq!(v, vec![a, b]);
1165    }
1166}