Skip to main content

subc_protocol/
scope.rs

1//! Scope records: owned identity records the daemon holds for sessions.
2//!
3//! A scope is identified by `(owner, ref)`. The owner is the module whose own
4//! registered connection synced it, never a value in the request, and the
5//! `ref` is an opaque string unique within that owner only. The design is
6//! `docs/designs/daemon-scopes.md`; the wire shapes here are the owner-facing
7//! half of it (`scope.sync`, `scope.apply`, `scope.describe`).
8//!
9//! Every record type refuses unknown fields. A field this daemon does not know
10//! may be one that narrows authority in a later version (a carrier's target
11//! list, say), and silently dropping it would widen what the scope grants, so
12//! an owner sending one is told its body is malformed instead.
13
14use serde::{Deserialize, Serialize};
15
16use crate::Principal;
17
18// Scope principals are authority-bearing input: an unrecognized constraint must
19// not silently widen a grant. Principal elsewhere is a forward-compatible caller
20// fact, so keep its general decoder lenient and enforce this only on scope input.
21#[derive(Deserialize)]
22#[serde(tag = "kind", rename_all = "snake_case", deny_unknown_fields)]
23enum ScopePrincipal {
24    Reserved { module_id: String },
25    Direct {},
26    Unverified {},
27}
28
29impl From<ScopePrincipal> for Principal {
30    fn from(value: ScopePrincipal) -> Self {
31        match value {
32            ScopePrincipal::Reserved { module_id } => Self::Reserved { module_id },
33            ScopePrincipal::Direct {} => Self::Direct,
34            ScopePrincipal::Unverified {} => Self::Unverified,
35        }
36    }
37}
38
39fn deserialize_scope_principal<'de, D: serde::Deserializer<'de>>(
40    deserializer: D,
41) -> Result<Principal, D::Error> {
42    ScopePrincipal::deserialize(deserializer).map(Into::into)
43}
44
45fn deserialize_scope_principals<'de, D: serde::Deserializer<'de>>(
46    deserializer: D,
47) -> Result<Vec<Principal>, D::Error> {
48    Vec::<ScopePrincipal>::deserialize(deserializer)
49        .map(|principals| principals.into_iter().map(Into::into).collect())
50}
51
52/// A scope bind-proof hash is the lowercase hexadecimal SHA-256 digest.
53pub fn validate_bind_proof_sha256(hash: &str) -> Result<(), &'static str> {
54    if hash.len() == 64
55        && hash
56            .bytes()
57            .all(|b| b.is_ascii_digit() || (b'a'..=b'f').contains(&b))
58    {
59        Ok(())
60    } else {
61        Err("bind_proof_sha256 must be exactly 64 lowercase hexadecimal characters")
62    }
63}
64
65fn deserialize_bind_proof_sha256<'de, D: serde::Deserializer<'de>>(
66    deserializer: D,
67) -> Result<Option<String>, D::Error> {
68    let hash = Option::<String>::deserialize(deserializer)?;
69    if let Some(hash) = &hash {
70        validate_bind_proof_sha256(hash).map_err(serde::de::Error::custom)?;
71    }
72    Ok(hash)
73}
74
75/// The `server.describe` capability a daemon advertises when it admits routes
76/// under scopes. A carrier that needs a scoped route and does not see it fails
77/// the call (`scope_unsupported`) instead of opening an unscoped route.
78pub const CAP_SCOPES_V1: &str = "scopes/v1";
79
80/// The `server.describe` capability a daemon advertises when it checks a
81/// `route.open`'s `role_versions` and forwards them on the module's bind. A
82/// daemon without it drops the field silently, so a consumer that relies on
83/// the provider seeing its role versions checks for this first.
84pub const CAP_ROUTE_ROLE_VERSIONS_V1: &str = "route-role-versions/v1";
85
86/// Module-to-subc op that registers an owner's full scope set.
87pub const SCOPE_SYNC_OP: &str = "scope.sync";
88/// Module-to-subc op that upserts or ends scopes without replacing the owner's
89/// full scope set.
90pub const SCOPE_APPLY_OP: &str = "scope.apply";
91/// Module-to-subc op that reads one scope's current state.
92pub const SCOPE_DESCRIBE_OP: &str = "scope.describe";
93
94/// Most live scopes one owner may hold. A sync naming more is refused whole.
95pub const MAX_LIVE_SCOPES_PER_OWNER: usize = 10_000;
96/// Most bytes one scope's `attributes` may take, measured as compact JSON. A
97/// sync carrying a larger record is refused whole.
98pub const MAX_SCOPE_ATTRIBUTE_BYTES: usize = 4 * 1024;
99/// Most ended scopes the daemon remembers per owner. The oldest is forgotten
100/// first, and reaching the bound never refuses a sync.
101pub const MAX_SCOPE_TOMBSTONES_PER_OWNER: usize = 1_000;
102/// Most modules one targeted carrier entry may list.
103pub const MAX_CARRIER_TARGETS: usize = 16;
104/// Most milliseconds a new scope epoch's deadline may be ahead of the daemon's
105/// current Unix wall clock: 24 hours.
106pub const MAX_SCOPE_EXPIRY_AHEAD_MS: u64 = 86_400_000;
107
108/// What a scope stands for. Closed, and fixed for the life of one
109/// `scope_epoch`: a different kind needs a new epoch, which ends the old scope.
110#[derive(Debug, Clone, Copy, Serialize, Deserialize, PartialEq, Eq, Hash)]
111#[serde(rename_all = "snake_case")]
112pub enum ScopeKind {
113    Head,
114    Worker,
115    Ephemeral,
116}
117
118/// A link from a scope to another scope, pinned to that scope's session by its
119/// epoch.
120#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
121#[serde(deny_unknown_fields)]
122#[non_exhaustive]
123pub struct ScopeParent {
124    #[serde(deserialize_with = "deserialize_scope_principal")]
125    pub owner: Principal,
126    #[serde(rename = "ref")]
127    pub scope_ref: String,
128    pub scope_epoch: u64,
129}
130
131impl ScopeParent {
132    pub fn new(owner: Principal, scope_ref: impl Into<String>, scope_epoch: u64) -> Self {
133        Self {
134            owner,
135            scope_ref: scope_ref.into(),
136            scope_epoch,
137        }
138    }
139}
140
141/// Who, besides the owner, may open routes under a scope.
142///
143/// `targets` absent means the carrier may open to any module. Present, it
144/// names the only module ids the carrier may open to, and must hold between 1
145/// and [`MAX_CARRIER_TARGETS`] entries: an empty list is refused rather than
146/// read as either "none" or "all".
147#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
148#[serde(deny_unknown_fields)]
149#[non_exhaustive]
150pub struct ScopeCarrier {
151    #[serde(deserialize_with = "deserialize_scope_principal")]
152    pub principal: Principal,
153    #[serde(default, skip_serializing_if = "Option::is_none")]
154    pub targets: Option<Vec<String>>,
155}
156
157impl ScopeCarrier {
158    pub fn new(principal: Principal) -> Self {
159        Self {
160            principal,
161            targets: None,
162        }
163    }
164
165    #[must_use]
166    pub fn with_targets(mut self, targets: Option<Vec<String>>) -> Self {
167        self.targets = targets;
168        self
169    }
170}
171
172/// Declaring this in a manifest's `capabilities.provides` promises that the
173/// module recognises a scope carrying `flow_id` and applies flow behaviour:
174/// it never treats the flow as its owner agent.
175/// During migration, either this capability or
176/// [`crate::call_mode::CALL_MODES_CAPABILITY`] admits flow scopes.
177pub const FLOW_SCOPES_CAPABILITY: &str = "flow-scopes/v1";
178
179/// Declaring this in a manifest's `capabilities.provides` promises that the
180/// module recognises `run_id` as one agent run and does not exercise the agent's
181/// delegated authority under that scope.
182/// During migration it admits non-delegating run scopes; delegating runs require
183/// [`crate::call_mode::CALL_MODES_CAPABILITY`] instead.
184pub const AGENT_RUN_SCOPES_CAPABILITY: &str = "agent-run-scopes/v1";
185
186/// The authority attributes the daemon copies into scope stamps unchanged.
187/// Only an owner module named in the daemon config's `scope_authority_owners`
188/// list (by default the module that owns agent sessions) may set them; a scope
189/// owned by any other module must leave them empty.
190#[derive(Debug, Clone, Default, Serialize, Deserialize, PartialEq, Eq)]
191#[serde(deny_unknown_fields)]
192#[non_exhaustive]
193pub struct ScopeAttributes {
194    /// The agent the scope's session belongs to. Identity, never permission.
195    #[serde(default, skip_serializing_if = "Option::is_none")]
196    pub agent_id: Option<String>,
197    /// Whether a provider may act as `agent_id`. Refused without `agent_id`.
198    #[serde(default, skip_serializing_if = "std::ops::Not::not")]
199    pub delegates: bool,
200    /// This scope belongs to the named flow, an automated workflow run on an
201    /// agent's behalf. Set only by an authority owner (see above), validated
202    /// with [`validate_flow_id`], and stamped verbatim. It needs neither
203    /// `agent_id` nor `delegates`. Providers treat a module other than the
204    /// owner that opens a route under a flow scope as the flow's carrier.
205    ///
206    /// Like an `agent_id` change, changing this within the same scope epoch is
207    /// accepted: the scope's content version increases (the number providers
208    /// compare to notice a change), and every route under the scope is closed
209    /// with the reason `scope_delegation_changed`, so no live route keeps the
210    /// old identity.
211    /// A target must provide [`FLOW_SCOPES_CAPABILITY`] or
212    /// [`crate::call_mode::CALL_MODES_CAPABILITY`] before the daemon may send a
213    /// bind stamped with this field. Decoding it alone is not enough:
214    /// the target must also apply flow behaviour instead of agent behaviour.
215    #[serde(default, skip_serializing_if = "Option::is_none")]
216    pub flow_id: Option<String>,
217    /// Identifies one run carried out on behalf of `agent_id`. Requires
218    /// `agent_id`, forbids `flow_id`, and uses
219    /// [`validate_run_id`]'s token rule.
220    /// Adding, changing or removing it within an epoch increments the scope's
221    /// content version and closes routes under the scope with
222    /// `scope_delegation_changed`. The daemon sends this field in a bind only to
223    /// a target module providing [`AGENT_RUN_SCOPES_CAPABILITY`] or
224    /// [`crate::call_mode::CALL_MODES_CAPABILITY`]. A delegating run scope is
225    /// accepted as a record, but binds only to a target providing the latter.
226    #[serde(default, skip_serializing_if = "Option::is_none")]
227    pub run_id: Option<String>,
228}
229
230impl ScopeAttributes {
231    pub fn new() -> Self {
232        Self::default()
233    }
234
235    #[must_use]
236    pub fn with_agent_id(mut self, agent_id: Option<String>) -> Self {
237        self.agent_id = agent_id;
238        self
239    }
240
241    #[must_use]
242    pub fn with_delegates(mut self, delegates: bool) -> Self {
243        self.delegates = delegates;
244        self
245    }
246
247    #[must_use]
248    pub fn with_flow_id(mut self, flow_id: Option<String>) -> Self {
249        self.flow_id = flow_id;
250        self
251    }
252
253    #[must_use]
254    pub fn with_run_id(mut self, run_id: Option<String>) -> Self {
255        self.run_id = run_id;
256        self
257    }
258
259    pub fn is_empty(&self) -> bool {
260        self.agent_id.is_none()
261            && !self.delegates
262            && self.flow_id.is_none()
263            && self.run_id.is_none()
264    }
265}
266
267/// Check a flow id using the shared opaque-token rule: 1–256 printable,
268/// non-space ASCII bytes. Errors name `flow_id`. Scope refs remain opaque and
269/// are not subject to this token rule.
270pub fn validate_flow_id(flow_id: &str) -> Result<(), crate::tool_call::OpaqueFieldError> {
271    crate::tool_call::validate_opaque_field("flow_id", flow_id)
272}
273
274/// Check a run id using the shared opaque-token rule: 1–256 ASCII bytes in
275/// `0x21`–`0x7E`. Errors name `run_id`.
276pub fn validate_run_id(run_id: &str) -> Result<(), crate::tool_call::OpaqueFieldError> {
277    crate::tool_call::validate_opaque_field("run_id", run_id)
278}
279
280/// One scope as its owner registers it in `scope.sync` or `scope.apply`.
281#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
282#[serde(deny_unknown_fields)]
283#[non_exhaustive]
284pub struct ScopeRecord {
285    #[serde(rename = "ref")]
286    pub scope_ref: String,
287    /// Owner-supplied session number. The owner keeps it with its own record of
288    /// the session, re-sends the same value for the same session after any
289    /// restart, and uses a higher one when it reuses the ref for a new session.
290    pub scope_epoch: u64,
291    pub kind: ScopeKind,
292    /// Only the holder of the scope's bind proof can bind it when this hash is
293    /// present. Without a hash, admission is unchanged and proofs are ignored.
294    #[serde(
295        default,
296        skip_serializing_if = "Option::is_none",
297        deserialize_with = "deserialize_bind_proof_sha256"
298    )]
299    pub bind_proof_sha256: Option<String>,
300    /// Absolute Unix wall-clock deadline in milliseconds. It cannot be added,
301    /// changed or removed within this scope epoch; absent means no deadline.
302    /// This is not an authority attribute.
303    #[serde(default, skip_serializing_if = "Option::is_none")]
304    pub expires_at_ms: Option<u64>,
305    #[serde(default, skip_serializing_if = "Option::is_none")]
306    pub parent: Option<ScopeParent>,
307    /// Principals, other than the owner, allowed to register child scopes under
308    /// this one. Listing a principal here grants it nothing else.
309    #[serde(
310        default,
311        skip_serializing_if = "Vec::is_empty",
312        deserialize_with = "deserialize_scope_principals"
313    )]
314    pub child_owners: Vec<Principal>,
315    #[serde(default, skip_serializing_if = "Vec::is_empty")]
316    pub carriers: Vec<ScopeCarrier>,
317    #[serde(default, skip_serializing_if = "ScopeAttributes::is_empty")]
318    pub attributes: ScopeAttributes,
319}
320
321impl ScopeRecord {
322    pub fn new(scope_ref: impl Into<String>, scope_epoch: u64, kind: ScopeKind) -> Self {
323        Self {
324            scope_ref: scope_ref.into(),
325            scope_epoch,
326            kind,
327            bind_proof_sha256: None,
328            expires_at_ms: None,
329            parent: None,
330            child_owners: Vec::new(),
331            carriers: Vec::new(),
332            attributes: ScopeAttributes::default(),
333        }
334    }
335
336    #[must_use]
337    pub fn with_bind_proof_sha256(mut self, hash: Option<String>) -> Self {
338        self.bind_proof_sha256 = hash;
339        self
340    }
341
342    #[must_use]
343    pub fn with_expires_at_ms(mut self, expires_at_ms: Option<u64>) -> Self {
344        self.expires_at_ms = expires_at_ms;
345        self
346    }
347
348    #[must_use]
349    pub fn with_parent(mut self, parent: Option<ScopeParent>) -> Self {
350        self.parent = parent;
351        self
352    }
353
354    #[must_use]
355    pub fn with_child_owners(mut self, child_owners: Vec<Principal>) -> Self {
356        self.child_owners = child_owners;
357        self
358    }
359
360    #[must_use]
361    pub fn with_carriers(mut self, carriers: Vec<ScopeCarrier>) -> Self {
362        self.carriers = carriers;
363        self
364    }
365
366    #[must_use]
367    pub fn with_attributes(mut self, attributes: ScopeAttributes) -> Self {
368        self.attributes = attributes;
369        self
370    }
371}
372
373/// A request to end one scope session in `scope.apply`.
374#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
375#[serde(deny_unknown_fields)]
376#[non_exhaustive]
377pub struct ScopeEnd {
378    #[serde(rename = "ref")]
379    pub scope_ref: String,
380    pub scope_epoch: u64,
381}
382
383impl ScopeEnd {
384    pub fn new(scope_ref: impl Into<String>, scope_epoch: u64) -> Self {
385        Self {
386            scope_ref: scope_ref.into(),
387            scope_epoch,
388        }
389    }
390}
391
392/// What `scope.apply` did with one requested end.
393#[derive(Debug, Clone, Copy, Serialize, Deserialize, PartialEq, Eq)]
394#[serde(rename_all = "snake_case")]
395pub enum ScopeEndOutcome {
396    /// The named scope ref was live at this epoch and was ended.
397    Ended,
398    /// The named scope ref was not live at this epoch; this end request changed
399    /// nothing.
400    NotLive,
401}
402
403/// The per-end result in a `scope.apply` reply, in request order.
404#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
405#[serde(deny_unknown_fields)]
406#[non_exhaustive]
407pub struct ScopeEndResult {
408    #[serde(rename = "ref")]
409    pub scope_ref: String,
410    pub scope_epoch: u64,
411    pub outcome: ScopeEndOutcome,
412}
413
414impl ScopeEndResult {
415    pub fn new(scope_ref: impl Into<String>, scope_epoch: u64, outcome: ScopeEndOutcome) -> Self {
416        Self {
417            scope_ref: scope_ref.into(),
418            scope_epoch,
419            outcome,
420        }
421    }
422}
423
424/// The scope a `route.open` asks to be admitted under.
425///
426/// `scope_epoch` is optional on the wire only so that leaving it out is
427/// refused by name (`scope_epoch_required`) rather than as a malformed body:
428/// every opener must name it, the owner included.
429#[derive(Clone, Serialize, Deserialize, PartialEq, Eq)]
430#[serde(deny_unknown_fields)]
431#[non_exhaustive]
432pub struct ScopeSelector {
433    #[serde(deserialize_with = "deserialize_scope_principal")]
434    pub owner: Principal,
435    #[serde(rename = "ref")]
436    pub scope_ref: String,
437    #[serde(default, skip_serializing_if = "Option::is_none")]
438    pub scope_epoch: Option<u64>,
439    /// Base64url-encoded 32-byte secret, without padding. Ignored for records
440    /// without a bind-proof hash, so holders may always send their proof.
441    #[serde(default, skip_serializing_if = "Option::is_none")]
442    pub bind_proof: Option<String>,
443}
444
445impl ScopeSelector {
446    pub fn new(owner: Principal, scope_ref: impl Into<String>, scope_epoch: Option<u64>) -> Self {
447        Self {
448            owner,
449            scope_ref: scope_ref.into(),
450            scope_epoch,
451            bind_proof: None,
452        }
453    }
454
455    #[must_use]
456    pub fn with_bind_proof(mut self, proof: Option<String>) -> Self {
457        self.bind_proof = proof;
458        self
459    }
460}
461
462impl std::fmt::Debug for ScopeSelector {
463    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
464        f.debug_struct("ScopeSelector")
465            .field("owner", &self.owner)
466            .field("scope_ref", &self.scope_ref)
467            .field("scope_epoch", &self.scope_epoch)
468            .field(
469                "bind_proof",
470                &self.bind_proof.as_ref().map(|_| "<redacted>"),
471            )
472            .finish()
473    }
474}
475
476impl std::fmt::Display for ScopeSelector {
477    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
478        std::fmt::Debug::fmt(self, f)
479    }
480}
481
482/// The state of a scope's parent link.
483#[derive(Debug, Clone, Copy, Serialize, Deserialize, PartialEq, Eq, Hash)]
484#[serde(rename_all = "snake_case")]
485pub enum ParentState {
486    /// The parent is live at the named epoch and the link was permitted.
487    Linked,
488    /// The parent's owner has not synced in this daemon incarnation, so the
489    /// link is unverified and grants nothing yet.
490    Pending,
491    /// The parent is gone or live at another epoch, or the link was refused
492    /// when the parent's owner synced. Final for this link.
493    Ended,
494}
495
496/// What a `scope.sync` or `scope.apply` did with one record.
497#[derive(Debug, Clone, Copy, Serialize, Deserialize, PartialEq, Eq)]
498#[serde(rename_all = "snake_case")]
499pub enum ScopeRecordOutcome {
500    /// The ref was not live before; the scope was created.
501    Created,
502    /// The ref was live at a lower epoch; that scope ended and this one began.
503    Replaced,
504    /// The ref was live at this epoch and its content changed.
505    Updated,
506    /// The ref was live at this epoch with identical content; its `version`
507    /// did not move.
508    Unchanged,
509    /// The record was refused on its own merits (`code` says why). The refusal
510    /// itself does not change the ref or undo any expiry processing.
511    Refused,
512}
513
514/// The per-record result in a `scope.sync` or `scope.apply` reply, in request order.
515#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
516pub struct ScopeRecordResult {
517    #[serde(rename = "ref")]
518    pub scope_ref: String,
519    /// The epoch the record named, which for a refusal may differ from the
520    /// epoch still held.
521    pub scope_epoch: u64,
522    pub outcome: ScopeRecordOutcome,
523    /// The refusal code when `outcome` is `refused`.
524    #[serde(default, skip_serializing_if = "Option::is_none")]
525    pub code: Option<String>,
526    #[serde(default, skip_serializing_if = "Option::is_none")]
527    pub message: Option<String>,
528    /// The daemon's content counter for the scope held under this ref after
529    /// the sync; absent when no scope is live under it.
530    #[serde(default, skip_serializing_if = "Option::is_none")]
531    pub version: Option<u64>,
532    /// The parent link's state after the sync, for a scope with a parent.
533    #[serde(default, skip_serializing_if = "Option::is_none")]
534    pub parent_state: Option<ParentState>,
535}
536
537/// A scope session of the calling owner that ended through omission from
538/// `scope.sync`, an explicit `scope.apply` end, replacement by a higher epoch
539/// for the same ref or expiry.
540#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
541pub struct ScopeEnded {
542    #[serde(rename = "ref")]
543    pub scope_ref: String,
544    pub scope_epoch: u64,
545}
546
547/// `scope.describe`'s answer about one `(owner, ref)`.
548#[derive(Debug, Clone, Copy, Serialize, Deserialize, PartialEq, Eq)]
549#[serde(rename_all = "snake_case")]
550pub enum ScopeStatus {
551    Live,
552    /// Ended in this daemon incarnation, and still remembered.
553    Ended,
554    /// Neither live nor remembered as ended. With `owner_synced` true the scope
555    /// is gone: an owner's first sync of an incarnation is its full set. With
556    /// `owner_synced` false and `owner_configured` true the owner has not
557    /// re-synced since a daemon restart, so a reader waits. With
558    /// `owner_configured` false the owner will never sync.
559    NotLive,
560}
561
562/// The fields the daemon stamps for a live scope.
563/// Build with [`ScopeStamp::new`] and the setters so future fields are additive.
564#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
565#[non_exhaustive]
566pub struct ScopeStamp {
567    pub owner: Principal,
568    #[serde(rename = "ref")]
569    pub scope_ref: String,
570    pub scope_epoch: u64,
571    pub kind: ScopeKind,
572    #[serde(default, skip_serializing_if = "Option::is_none")]
573    pub parent: Option<ScopeParent>,
574    #[serde(default, skip_serializing_if = "Option::is_none")]
575    pub parent_state: Option<ParentState>,
576    #[serde(default, skip_serializing_if = "ScopeAttributes::is_empty")]
577    pub attributes: ScopeAttributes,
578    /// Whether the owner is listed in the daemon's `scope_authority_owners`.
579    /// Providers decide on this flag and keep no copy of the list.
580    pub owner_authorized: bool,
581    /// Absolute Unix wall-clock deadline in milliseconds, fixed for this epoch.
582    /// On route binds the daemon sends this deadline only to targets declaring
583    /// [`crate::call_mode::CALL_MODES_CAPABILITY`], because older providers may
584    /// reject unfamiliar scope-stamp fields.
585    #[serde(default, skip_serializing_if = "Option::is_none")]
586    pub expires_at_ms: Option<u64>,
587}
588
589impl ScopeStamp {
590    /// A stamp with no parent, attributes or deadline, and no owner authority.
591    pub fn new(
592        owner: Principal,
593        scope_ref: impl Into<String>,
594        scope_epoch: u64,
595        kind: ScopeKind,
596    ) -> Self {
597        Self {
598            owner,
599            scope_ref: scope_ref.into(),
600            scope_epoch,
601            kind,
602            parent: None,
603            parent_state: None,
604            attributes: ScopeAttributes::new(),
605            owner_authorized: false,
606            expires_at_ms: None,
607        }
608    }
609
610    #[must_use]
611    pub fn with_parent(mut self, parent: Option<ScopeParent>) -> Self {
612        self.parent = parent;
613        self
614    }
615
616    #[must_use]
617    pub fn with_parent_state(mut self, parent_state: Option<ParentState>) -> Self {
618        self.parent_state = parent_state;
619        self
620    }
621
622    #[must_use]
623    pub fn with_attributes(mut self, attributes: ScopeAttributes) -> Self {
624        self.attributes = attributes;
625        self
626    }
627
628    #[must_use]
629    pub fn with_owner_authorized(mut self, owner_authorized: bool) -> Self {
630        self.owner_authorized = owner_authorized;
631        self
632    }
633
634    #[must_use]
635    pub fn with_expires_at_ms(mut self, expires_at_ms: Option<u64>) -> Self {
636        self.expires_at_ms = expires_at_ms;
637        self
638    }
639}
640
641#[cfg(test)]
642mod tests {
643    use super::*;
644    use crate::tool_call::OpaqueFieldError;
645
646    #[test]
647    fn flow_id_uses_the_shared_opaque_token_bounds_and_names_its_field() {
648        let field = "flow_id";
649        assert_eq!(validate_flow_id(""), Err(OpaqueFieldError::Empty { field }));
650        assert_eq!(validate_flow_id("f"), Ok(()));
651        assert_eq!(validate_flow_id(&"f".repeat(256)), Ok(()));
652        assert_eq!(
653            validate_flow_id(&"f".repeat(257)),
654            Err(OpaqueFieldError::TooLong { field, length: 257 })
655        );
656        assert_eq!(validate_flow_id("!~Flow:7/step"), Ok(()));
657        for bad in ["f é", "f\t", "fé", "f\u{7f}"] {
658            let error = validate_flow_id(bad).unwrap_err();
659            assert_eq!(
660                error,
661                OpaqueFieldError::InvalidCharacter { field, index: 1 }
662            );
663            assert_eq!(error.field(), "flow_id");
664        }
665    }
666
667    #[test]
668    fn flow_only_attributes_round_trip_and_absence_keeps_the_bytes() {
669        let attributes = ScopeAttributes::default();
670        assert!(attributes.is_empty());
671        assert_eq!(serde_json::to_string(&attributes).unwrap(), "{}");
672        assert_eq!(
673            serde_json::from_str::<ScopeAttributes>("{}").unwrap(),
674            attributes
675        );
676        let attributes = ScopeAttributes {
677            flow_id: Some("flow:7".to_string()),
678            ..ScopeAttributes::default()
679        };
680        assert!(!attributes.is_empty());
681        let encoded = serde_json::to_string(&attributes).unwrap();
682        assert_eq!(encoded, r#"{"flow_id":"flow:7"}"#);
683        assert_eq!(
684            serde_json::from_str::<ScopeAttributes>(&encoded).unwrap(),
685            attributes
686        );
687        assert!(
688            serde_json::from_str::<ScopeAttributes>(r#"{"flow_id":"flow:7","unknown":true}"#)
689                .is_err()
690        );
691    }
692}