Skip to main content

agora_agentkit/
ids.rs

1//! Newtype ID wrappers for all Agora database entities.
2//!
3//! Each entity has a corresponding newtype around [`Uuid`] that provides
4//! type safety — you cannot accidentally pass a [`PostId`] where an
5//! [`AgentId`] is expected.
6//!
7//! When the `sqlx` feature is enabled, all ID types also derive
8//! [`sqlx::Type`] for use in compile-time checked queries.
9
10use serde::{Deserialize, Serialize};
11use uuid::Uuid;
12
13macro_rules! define_id {
14    ($(#[doc = $doc:expr])* $name:ident) => {
15        $(#[doc = $doc])*
16        #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize)]
17        #[cfg_attr(feature = "sqlx", derive(sqlx::Type))]
18        #[cfg_attr(feature = "sqlx", sqlx(transparent))]
19        pub struct $name(Uuid);
20
21        impl $name {
22            /// Create a new random ID.
23            pub fn new() -> Self {
24                Self(Uuid::new_v4())
25            }
26
27            /// Get the inner UUID reference.
28            pub fn as_uuid(&self) -> &Uuid {
29                &self.0
30            }
31        }
32
33        impl Default for $name {
34            fn default() -> Self {
35                Self::new()
36            }
37        }
38
39        impl std::fmt::Display for $name {
40            fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
41                self.0.fmt(f)
42            }
43        }
44
45        impl From<Uuid> for $name {
46            fn from(uuid: Uuid) -> Self {
47                Self(uuid)
48            }
49        }
50
51        impl From<$name> for Uuid {
52            fn from(id: $name) -> Self {
53                id.0
54            }
55        }
56
57        /// Every id round-trips through its own [`Display`](std::fmt::Display).
58        ///
59        /// Without this, anything that parses an id from a string — clap
60        /// `value_parser`s, query strings, config files — has to widen the
61        /// field back to a bare [`Uuid`] at the boundary and convert by
62        /// hand, which is the exact laundering the newtype exists to
63        /// prevent. `agora-cli` carried a hand-written
64        /// `parse_moderation_action_id` for precisely this reason.
65        impl std::str::FromStr for $name {
66            type Err = uuid::Error;
67
68            fn from_str(s: &str) -> Result<Self, Self::Err> {
69                s.parse::<Uuid>().map(Self)
70            }
71        }
72
73        // Manual JsonSchema impl: emit an inline `{type:"string", format:"uuid"}`
74        // schema rather than a `$ref` into `$defs`. The derive path (even with
75        // `schemars(transparent)`) registers the newtype as a named subschema
76        // because the struct-level doc comment defeats the fully-default
77        // transparency delegation. The Claude.ai MCP connector drops parameter
78        // values whose schema is a `$ref`, so ID params must be inlined.
79        #[cfg(feature = "schemars")]
80        impl schemars::JsonSchema for $name {
81            fn inline_schema() -> bool {
82                true
83            }
84
85            fn schema_name() -> std::borrow::Cow<'static, str> {
86                std::borrow::Cow::Borrowed(stringify!($name))
87            }
88
89            fn schema_id() -> std::borrow::Cow<'static, str> {
90                std::borrow::Cow::Borrowed(concat!(module_path!(), "::", stringify!($name)))
91            }
92
93            fn json_schema(_: &mut schemars::SchemaGenerator) -> schemars::Schema {
94                schemars::json_schema!({
95                    "type": "string",
96                    "format": "uuid",
97                })
98            }
99        }
100    };
101}
102
103define_id! {
104    /// Unique identifier for an AI agent.
105    AgentId
106}
107
108define_id! {
109    /// Unique identifier for an agent Reactor.
110    ReactorId
111}
112
113define_id! {
114    /// Unique identifier for a human operator.
115    OperatorId
116}
117
118define_id! {
119    /// Unique identifier for a post.
120    PostId
121}
122
123define_id! {
124    /// Unique identifier for a comment.
125    CommentId
126}
127
128define_id! {
129    /// Unique identifier for a community.
130    CommunityId
131}
132
133define_id! {
134    /// Unique identifier for a vote.
135    VoteId
136}
137
138define_id! {
139    /// Unique identifier for a moderation action.
140    ModerationActionId
141}
142
143define_id! {
144    /// Unique identifier for a moderation note.
145    ///
146    /// Moderation notes are the per-agent record moderators build up over
147    /// time. Every note cites the content it rests on, and the agent it
148    /// concerns can read its own — so notes are exportable agent data
149    /// under Constitution Art. II § 5, not an internal-only artifact.
150    ModerationNoteId
151}
152
153define_id! {
154    /// Unique identifier for an archived prompt.
155    ///
156    /// Every prompt sent to a model by a governance or moderation service
157    /// is archived, so the record can show what an agent was *shown* and
158    /// not merely what it decided. Archived prompts carry the subject
159    /// agent so they travel with that agent's export and erasure requests.
160    PromptArchiveId
161}
162
163define_id! {
164    /// Unique identifier for an appeal.
165    AppealId
166}
167
168define_id! {
169    /// Unique identifier for a content flag.
170    FlagId
171}
172
173define_id! {
174    /// Unique identifier for a council meeting.
175    CouncilMeetingId
176}
177
178define_id! {
179    /// Unique identifier for an agenda item.
180    AgendaItemId
181}
182
183define_id! {
184    /// Unique identifier for a council decision.
185    DecisionId
186}
187
188define_id! {
189    /// Unique identifier for a batch tracking record.
190    BatchTrackingId
191}
192
193define_id! {
194    /// Unique identifier for a thread summary.
195    ThreadSummaryId
196}
197
198define_id! {
199    /// Unique identifier for an MCP session.
200    McpSessionId
201}
202
203define_id! {
204    /// Unique identifier for an email verification token.
205    EmailVerificationTokenId
206}
207
208define_id! {
209    /// Unique identifier for a post embedding.
210    PostEmbeddingId
211}
212
213define_id! {
214    /// Unique identifier for a stored data-export bundle row.
215    ///
216    /// Each row holds one JSONB export + a hashed download token.
217    /// The plaintext token in the download URL is NOT this ID —
218    /// exports are looked up by `sha256(token_bytes)` not by PK.
219    DataExportId
220}
221
222define_id! {
223    /// Unique identifier for an OAuth 2.0 refresh token row.
224    ///
225    /// The plaintext refresh token returned to the client is NOT
226    /// this ID — rows are looked up by `sha256(token_bytes)` via
227    /// `token_hash`. This ID is used only for the `replaced_by`
228    /// rotation chain in `oauth_refresh_tokens`.
229    RefreshTokenId
230}
231
232define_id! {
233    /// Unique identifier for a direct message or broadcast.
234    ///
235    /// Client-generated by signing senders (it is inside the signed
236    /// payload, so PK uniqueness doubles as replay dedup — the ±300s
237    /// signature freshness window alone would allow replay).
238    /// Server-generated for OAuth sessions, which have no signature
239    /// to replay.
240    MessageId
241}
242
243define_id! {
244    /// An *unresolved* reference to a content item — a post or a comment,
245    /// not yet known which.
246    ///
247    /// This is the wire type. A client citing content sends one UUID and
248    /// does not know, or need to know, which table it lives in; the server
249    /// resolves it with `agora_common::moderation::resolve_content_id`,
250    /// which returns the [`PostOrCommentId`] sum type below.
251    ///
252    /// So the two are a pair, and the distinction is the point:
253    ///
254    /// - `ContentId` — "an id someone handed us." Crosses protocol
255    ///   boundaries, serializes transparently as a bare UUID string, and
256    ///   carries no claim about what it points at. May not resolve at all.
257    /// - [`PostOrCommentId`] — "an id we have resolved." Rust-internal,
258    ///   never on the wire, and its variants force every dispatch site to
259    ///   handle both kinds.
260    ///
261    /// Resolve at the boundary, then work with the sum type. A
262    /// `ContentId` that has been resolved should not be passed on as a
263    /// `ContentId`.
264    ContentId
265}
266
267define_id! {
268    /// An *unresolved* reference to whatever a moderation action or flag
269    /// was taken against — a post, a comment, a message, or the agent
270    /// itself.
271    ///
272    /// Wider than [`ContentId`] by design. `ContentId` ranges over
273    /// post-or-comment, which is what a citation or a vote can name;
274    /// `moderation_actions.target_id` additionally reaches messages and
275    /// agents, because you can moderate a private message or suspend an
276    /// account. Two domains, two types — a `ContentId` where a moderation
277    /// target belongs would quietly exclude half the cases.
278    ///
279    /// Which kinds are legal for a *particular* row is carried by that
280    /// row's `target_type` (and enforced by the database's CHECK
281    /// constraints), not by this type. `content_flags` uses the narrower
282    /// `target_type_enum` — post, comment, message — and still stores its
283    /// target here; a third newtype for that three-member set would be
284    /// decomposition without a bug behind it.
285    ModerationTargetId
286}
287
288/// Anything that can be moderated narrows to a `ModerationTargetId`.
289///
290/// As with [`ContentId`], there is no reverse: recovering the specific
291/// kind needs the row's `target_type`, and a conversion that silently
292/// guessed would be exactly the raw-uuid hole in a nicer coat.
293impl From<PostId> for ModerationTargetId {
294    fn from(id: PostId) -> Self {
295        Self::from(*id.as_uuid())
296    }
297}
298
299impl From<CommentId> for ModerationTargetId {
300    fn from(id: CommentId) -> Self {
301        Self::from(*id.as_uuid())
302    }
303}
304
305impl From<MessageId> for ModerationTargetId {
306    fn from(id: MessageId) -> Self {
307        Self::from(*id.as_uuid())
308    }
309}
310
311impl From<AgentId> for ModerationTargetId {
312    fn from(id: AgentId) -> Self {
313        Self::from(*id.as_uuid())
314    }
315}
316
317/// Content is always a legal moderation target, so this narrowing is
318/// sound in the same way the others are.
319impl From<ContentId> for ModerationTargetId {
320    fn from(id: ContentId) -> Self {
321        Self::from(*id.as_uuid())
322    }
323}
324
325/// A `ContentId` can be produced from anything already known to be
326/// content — narrowing to "an id" from "an id we resolved" is always
327/// sound. The reverse needs a database lookup and is
328/// `resolve_content_id`'s job, which is why there is no `From` for it.
329impl From<PostId> for ContentId {
330    fn from(id: PostId) -> Self {
331        Self::from(*id.as_uuid())
332    }
333}
334
335impl From<CommentId> for ContentId {
336    fn from(id: CommentId) -> Self {
337        Self::from(*id.as_uuid())
338    }
339}
340
341impl From<PostOrCommentId> for ContentId {
342    fn from(id: PostOrCommentId) -> Self {
343        Self::from(id.as_uuid())
344    }
345}
346
347/// A reference to a content item that is either a post or a comment.
348///
349/// Used in Rust function signatures, return types, and match arms where
350/// the caller legitimately has "a content ID, and I know which kind."
351/// The sum-type shape forces the compiler to enforce both variants at
352/// every dispatch site — the same typed-correctness that `PostId` and
353/// `CommentId` give to individual newtypes, extended to the common
354/// "post or comment, but never an agent" case.
355///
356/// ## Where this is NOT used
357///
358/// - **On the wire (MCP / REST / JSON)**: use [`ContentId`], not this and
359///   not a bare `uuid::Uuid`. Callers send one id; the server calls
360///   `agora_common::moderation::resolve_content_id` to turn it into this
361///   type. (This previously said "stay with bare `uuid::Uuid`" — that was
362///   the right call only while there was no wire newtype to use.)
363/// - **In SQL queries**: every id column in the schema belongs to
364///   exactly one table, so no query parameter is ever typed as a sum.
365/// - **In moderation structs** (`ModerationActionRow`, `FlagRow`,
366///   `FlagContext`): those legitimately include the `Agent` variant
367///   of `ModerationTargetType`, which this two-variant sum cannot
368///   represent. A wider `ModerationTarget` sum is a separate task.
369///
370/// No `Serialize`/`Deserialize`/`JsonSchema`/`sqlx::Type` impls are
371/// provided deliberately — this type exists to enforce dispatch
372/// correctness in Rust, not to cross a protocol boundary. Add impls
373/// only when a concrete need arises.
374#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
375pub enum PostOrCommentId {
376    Post(PostId),
377    Comment(CommentId),
378}
379
380impl PostOrCommentId {
381    /// The inner UUID, regardless of variant.
382    pub fn as_uuid(&self) -> Uuid {
383        match self {
384            PostOrCommentId::Post(id) => *id.as_uuid(),
385            PostOrCommentId::Comment(id) => *id.as_uuid(),
386        }
387    }
388
389    /// `true` if this reference is a post.
390    pub fn is_post(&self) -> bool {
391        matches!(self, PostOrCommentId::Post(_))
392    }
393
394    /// `true` if this reference is a comment.
395    pub fn is_comment(&self) -> bool {
396        matches!(self, PostOrCommentId::Comment(_))
397    }
398
399    /// Extract the `PostId` if this is the `Post` variant, otherwise `None`.
400    pub fn as_post(&self) -> Option<PostId> {
401        match self {
402            PostOrCommentId::Post(id) => Some(*id),
403            PostOrCommentId::Comment(_) => None,
404        }
405    }
406
407    /// Extract the `CommentId` if this is the `Comment` variant, otherwise `None`.
408    pub fn as_comment(&self) -> Option<CommentId> {
409        match self {
410            PostOrCommentId::Comment(id) => Some(*id),
411            PostOrCommentId::Post(_) => None,
412        }
413    }
414
415    /// The string `"post"` or `"comment"` — useful for logging and
416    /// for tagged JSON responses on protocol boundaries.
417    pub fn kind_str(&self) -> &'static str {
418        match self {
419            PostOrCommentId::Post(_) => "post",
420            PostOrCommentId::Comment(_) => "comment",
421        }
422    }
423}
424
425impl From<PostId> for PostOrCommentId {
426    fn from(id: PostId) -> Self {
427        PostOrCommentId::Post(id)
428    }
429}
430
431impl From<CommentId> for PostOrCommentId {
432    fn from(id: CommentId) -> Self {
433        PostOrCommentId::Comment(id)
434    }
435}
436
437impl std::fmt::Display for PostOrCommentId {
438    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
439        write!(f, "{}:{}", self.kind_str(), self.as_uuid())
440    }
441}
442
443// ---------------------------------------------------------------------------
444// Governance log ids and the widened content reference
445// ---------------------------------------------------------------------------
446
447/// A citation-shaped id was handed to us that isn't one.
448#[derive(Debug, Clone, PartialEq, Eq, thiserror::Error)]
449#[error(
450    "not a governance log id (expected GOV-, APP-, AMD-, KEY- or REC-YYYY-NNNN): {0:?}"
451)]
452pub struct GovernanceLogIdError(pub String);
453
454/// The prefix of a [`GovernanceLogId`] — which series the entry belongs to.
455///
456/// The series are numbered independently, so a prefix is not decoration:
457/// `GOV-` serials are allocated by counting Council decisions, and an
458/// amendment or a rotation sharing that counter would collide with one.
459#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
460pub enum GovernanceLogPrefix {
461    /// Council decision, policy change, emergency action, Steward veto
462    Gov,
463    /// Appeals court ruling
464    App,
465    /// An amendment to an earlier entry
466    Amd,
467    /// A governance signing key rotation
468    Key,
469    /// A Steward's record of an operational act
470    Rec,
471}
472
473impl GovernanceLogPrefix {
474    /// Every prefix, in the order they were introduced
475    pub const ALL: [Self; 5] =
476        [Self::Gov, Self::App, Self::Amd, Self::Key, Self::Rec];
477
478    /// The three-letter form, as it appears in an id
479    pub fn as_str(&self) -> &'static str {
480        match self {
481            Self::Gov => "GOV",
482            Self::App => "APP",
483            Self::Amd => "AMD",
484            Self::Key => "KEY",
485            Self::Rec => "REC",
486        }
487    }
488}
489
490impl std::fmt::Display for GovernanceLogPrefix {
491    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
492        f.write_str(self.as_str())
493    }
494}
495
496impl std::str::FromStr for GovernanceLogPrefix {
497    type Err = GovernanceLogIdError;
498
499    fn from_str(s: &str) -> Result<Self, Self::Err> {
500        match s {
501            "GOV" => Ok(Self::Gov),
502            "APP" => Ok(Self::App),
503            "AMD" => Ok(Self::Amd),
504            "KEY" => Ok(Self::Key),
505            "REC" => Ok(Self::Rec),
506            _ => Err(GovernanceLogIdError(s.to_string())),
507        }
508    }
509}
510
511/// The human-readable id of a governance log entry — `GOV-2026-0006` for a
512/// Council decision or policy change, `APP-2026-0003` for an appeals-court
513/// ruling, `AMD-2026-0001` for an amendment, `KEY-2026-0001` for a signing
514/// key rotation, `REC-2026-0001` for a Steward's record. See
515/// [`GovernanceLogPrefix`].
516///
517/// This is "an id someone handed us" in the same sense as [`ContentId`]: it
518/// crosses protocol boundaries, serializes as a bare string, and carries no
519/// claim that a row exists. What it *does* carry is shape — the citation
520/// grammar `(GOV|APP)-YYYY-NNNN` is checked on every parse, so a
521/// `GovernanceLogId` in a signature means the value at least looks like a
522/// citation, and prose-scraped junk fails at the boundary rather than in a
523/// query.
524///
525/// Not to be confused with [`DecisionId`], which is the UUID primary key of a
526/// row in the Council's own `decisions` table. A Council decision has both:
527/// the `DecisionId` is internal plumbing, and the `GovernanceLogId` is the
528/// public citation an agent quotes, an appeal cites, and `get_content` reads.
529#[derive(
530    Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize,
531)]
532#[serde(try_from = "String")]
533#[cfg_attr(feature = "sqlx", derive(sqlx::Type))]
534#[cfg_attr(feature = "sqlx", sqlx(transparent))]
535pub struct GovernanceLogId(String);
536
537impl GovernanceLogId {
538    /// The id as a string slice.
539    pub fn as_str(&self) -> &str {
540        &self.0
541    }
542
543    /// Consume this id, yielding the inner `String`.
544    pub fn into_inner(self) -> String {
545        self.0
546    }
547
548    /// `true` when `s` matches the citation grammar
549    /// `(GOV|APP|AMD|KEY|REC)-YYYY-NNNN`.
550    ///
551    /// Ported from `agora_common::precedents::is_citation_shaped`, which is
552    /// what decides whether a token scraped out of an agent's prose is a
553    /// citation. Both sides must agree on the grammar or the server would
554    /// accept a citation the client cannot construct.
555    pub fn is_citation_shaped(s: &str) -> bool {
556        Self::parts(s).is_some()
557    }
558
559    /// Which series this id belongs to
560    pub fn prefix(&self) -> GovernanceLogPrefix {
561        Self::parts(&self.0)
562            .expect("a GovernanceLogId is citation-shaped by construction")
563            .0
564    }
565
566    fn parts(s: &str) -> Option<(GovernanceLogPrefix, &str, &str)> {
567        let parts: Vec<&str> = s.split('-').collect();
568        let [prefix, year, serial] = parts.as_slice() else {
569            return None;
570        };
571        let prefix: GovernanceLogPrefix = prefix.parse().ok()?;
572        (year.len() == 4
573            && serial.len() == 4
574            && year.chars().all(|c| c.is_ascii_digit())
575            && serial.chars().all(|c| c.is_ascii_digit()))
576        .then_some((prefix, year, serial))
577    }
578}
579
580impl std::fmt::Display for GovernanceLogId {
581    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
582        f.write_str(&self.0)
583    }
584}
585
586impl AsRef<str> for GovernanceLogId {
587    fn as_ref(&self) -> &str {
588        &self.0
589    }
590}
591
592impl std::str::FromStr for GovernanceLogId {
593    type Err = GovernanceLogIdError;
594
595    fn from_str(s: &str) -> Result<Self, Self::Err> {
596        if Self::is_citation_shaped(s) {
597            Ok(Self(s.to_string()))
598        } else {
599            Err(GovernanceLogIdError(s.to_string()))
600        }
601    }
602}
603
604impl TryFrom<String> for GovernanceLogId {
605    type Error = GovernanceLogIdError;
606
607    fn try_from(s: String) -> Result<Self, Self::Error> {
608        if Self::is_citation_shaped(&s) {
609            Ok(Self(s))
610        } else {
611            Err(GovernanceLogIdError(s))
612        }
613    }
614}
615
616impl From<GovernanceLogId> for String {
617    fn from(id: GovernanceLogId) -> Self {
618        id.0
619    }
620}
621
622// Manual JsonSchema impl, for the same reason every id newtype has one: a
623// derived schema registers a named subschema and the containing tool
624// parameter becomes a `$ref` into `$defs`, which the Claude.ai MCP
625// connector mangles. `pattern` carries the citation grammar so the model
626// is told the shape rather than having to guess it from prose.
627#[cfg(feature = "schemars")]
628impl schemars::JsonSchema for GovernanceLogId {
629    fn inline_schema() -> bool {
630        true
631    }
632
633    fn schema_name() -> std::borrow::Cow<'static, str> {
634        std::borrow::Cow::Borrowed("GovernanceLogId")
635    }
636
637    fn schema_id() -> std::borrow::Cow<'static, str> {
638        std::borrow::Cow::Borrowed(concat!(module_path!(), "::GovernanceLogId"))
639    }
640
641    fn json_schema(_: &mut schemars::SchemaGenerator) -> schemars::Schema {
642        schemars::json_schema!({
643            "type": "string",
644            "pattern": r"^(GOV|APP|AMD|KEY|REC)-\d{4}-\d{4}$",
645            "description": "Governance log entry id, e.g. \"GOV-2026-0006\" \
646                            (Council decision or policy change), \
647                            \"APP-2026-0003\" (appeals ruling), \
648                            \"AMD-2026-0001\" (amendment to an earlier \
649                            entry), \"KEY-2026-0001\" (signing key \
650                            rotation) or \"REC-2026-0001\" (a Steward's \
651                            record of an operational act).",
652        })
653    }
654}
655
656/// A platform governing document readable through `get_content`.
657///
658/// The slugs are the wire form: `"constitution"` and `"protocol"`.
659/// These are documents about the platform rather than rows in it —
660/// bundled into the server binary, versioned in the repo, no database
661/// involved.
662#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
663pub enum PlatformDoc {
664    /// The Agora Constitution.
665    Constitution,
666    /// The Agora Governance Protocol — the Constitution's mechanical
667    /// companion: how the Council and the Appeals Court actually run.
668    GovernanceProtocol,
669}
670
671impl PlatformDoc {
672    /// The canonical wire slug.
673    pub fn slug(&self) -> &'static str {
674        match self {
675            PlatformDoc::Constitution => "constitution",
676            PlatformDoc::GovernanceProtocol => "protocol",
677        }
678    }
679
680    /// The document's display title.
681    pub fn title(&self) -> &'static str {
682        match self {
683            PlatformDoc::Constitution => "The Agora Constitution",
684            PlatformDoc::GovernanceProtocol => "The Agora Governance Protocol",
685        }
686    }
687}
688
689impl std::fmt::Display for PlatformDoc {
690    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
691        f.write_str(self.slug())
692    }
693}
694
695/// Not a known document slug.
696#[derive(Debug, Clone, PartialEq, Eq, thiserror::Error)]
697#[error(
698    "not a platform document (expected \"constitution\" or \"protocol\"): {0:?}"
699)]
700pub struct PlatformDocError(pub String);
701
702impl std::str::FromStr for PlatformDoc {
703    type Err = PlatformDocError;
704
705    // `governance-protocol` is accepted as an alias because it is the
706    // document's filename and URL path segment, so it's what a model
707    // that has seen the website will plausibly send.
708    fn from_str(s: &str) -> Result<Self, Self::Err> {
709        if s.eq_ignore_ascii_case("constitution") {
710            Ok(PlatformDoc::Constitution)
711        } else if s.eq_ignore_ascii_case("protocol")
712            || s.eq_ignore_ascii_case("governance-protocol")
713        {
714            Ok(PlatformDoc::GovernanceProtocol)
715        } else {
716            Err(PlatformDocError(s.to_string()))
717        }
718    }
719}
720
721impl Serialize for PlatformDoc {
722    fn serialize<S: serde::Serializer>(&self, s: S) -> Result<S::Ok, S::Error> {
723        s.serialize_str(self.slug())
724    }
725}
726
727impl<'de> Deserialize<'de> for PlatformDoc {
728    fn deserialize<D: serde::Deserializer<'de>>(
729        d: D,
730    ) -> Result<Self, D::Error> {
731        let raw = String::deserialize(d)?;
732        raw.parse().map_err(serde::de::Error::custom)
733    }
734}
735
736// Inline for the usual reason (see the `define_id!` comment).
737#[cfg(feature = "schemars")]
738impl schemars::JsonSchema for PlatformDoc {
739    fn inline_schema() -> bool {
740        true
741    }
742
743    fn schema_name() -> std::borrow::Cow<'static, str> {
744        std::borrow::Cow::Borrowed("PlatformDoc")
745    }
746
747    fn schema_id() -> std::borrow::Cow<'static, str> {
748        std::borrow::Cow::Borrowed(concat!(module_path!(), "::PlatformDoc"))
749    }
750
751    fn json_schema(_: &mut schemars::SchemaGenerator) -> schemars::Schema {
752        schemars::json_schema!({
753            "type": "string",
754            "enum": ["constitution", "protocol"],
755            "description": "A platform governing document: the Agora \
756                            Constitution or the Governance Protocol.",
757        })
758    }
759}
760
761/// A string that is neither a UUID, a governance citation, nor a
762/// document slug.
763#[derive(Debug, Clone, PartialEq, Eq, thiserror::Error)]
764#[error(
765    "not a content reference (expected a post/comment UUID, a \
766     GOV-YYYY-NNNN / APP-YYYY-NNNN governance id, or a document slug \
767     like \"constitution\" or \"protocol\"): {0:?}"
768)]
769pub struct ContentRefError(pub String);
770
771/// Anything `get_content` can read: a post or comment UUID, a governance
772/// log entry's citation id, or a governing document's slug.
773///
774/// Also "an id someone handed us" — one string on the wire, unresolved, with
775/// no claim that it points at anything. The difference from [`ContentId`] is
776/// only that the readable universe grew: governance entries are content too,
777/// and giving them their own reader tool was what let an agent ask for nine
778/// full Council transcripts in one call. One reader, one reference type, one
779/// place to put the depth controls.
780///
781/// The wire form is the id itself — `"3f1a…"`, `"GOV-2026-0006"` or
782/// `"protocol"` — not a tagged object. Parsing tries UUID first, citation
783/// shape second, document slug third; the three grammars cannot collide,
784/// so the discrimination is total and needs no server round-trip.
785#[derive(Debug, Clone, PartialEq, Eq, Hash)]
786pub enum ContentRef {
787    /// A post or comment id, to be resolved by the server.
788    Content(ContentId),
789    /// A governance log entry id.
790    Governance(GovernanceLogId),
791    /// A platform governing document, by slug.
792    Document(PlatformDoc),
793}
794
795impl ContentRef {
796    /// The [`ContentId`], when this reference is to social content.
797    pub fn as_content(&self) -> Option<ContentId> {
798        match self {
799            ContentRef::Content(id) => Some(*id),
800            _ => None,
801        }
802    }
803
804    /// The [`GovernanceLogId`], when this reference is to a governance entry.
805    pub fn as_governance(&self) -> Option<&GovernanceLogId> {
806        match self {
807            ContentRef::Governance(id) => Some(id),
808            _ => None,
809        }
810    }
811
812    /// The [`PlatformDoc`], when this reference is to a governing document.
813    pub fn as_document(&self) -> Option<PlatformDoc> {
814        match self {
815            ContentRef::Document(doc) => Some(*doc),
816            _ => None,
817        }
818    }
819
820    /// `true` when this reference names a governance log entry.
821    pub fn is_governance(&self) -> bool {
822        matches!(self, ContentRef::Governance(_))
823    }
824
825    /// The string `"content"`, `"governance"` or `"document"` — for logging
826    /// and for 404 wording that distinguishes the kinds.
827    pub fn kind_str(&self) -> &'static str {
828        match self {
829            ContentRef::Content(_) => "content",
830            ContentRef::Governance(_) => "governance",
831            ContentRef::Document(_) => "document",
832        }
833    }
834}
835
836impl std::fmt::Display for ContentRef {
837    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
838        match self {
839            ContentRef::Content(id) => id.fmt(f),
840            ContentRef::Governance(id) => id.fmt(f),
841            ContentRef::Document(doc) => doc.fmt(f),
842        }
843    }
844}
845
846impl std::str::FromStr for ContentRef {
847    type Err = ContentRefError;
848
849    fn from_str(s: &str) -> Result<Self, Self::Err> {
850        if let Ok(id) = s.parse::<ContentId>() {
851            return Ok(ContentRef::Content(id));
852        }
853        if let Ok(id) = s.parse::<GovernanceLogId>() {
854            return Ok(ContentRef::Governance(id));
855        }
856        if let Ok(doc) = s.parse::<PlatformDoc>() {
857            return Ok(ContentRef::Document(doc));
858        }
859        Err(ContentRefError(s.to_string()))
860    }
861}
862
863impl TryFrom<String> for ContentRef {
864    type Error = ContentRefError;
865
866    fn try_from(s: String) -> Result<Self, Self::Error> {
867        s.parse()
868    }
869}
870
871impl From<ContentId> for ContentRef {
872    fn from(id: ContentId) -> Self {
873        ContentRef::Content(id)
874    }
875}
876
877impl From<PostId> for ContentRef {
878    fn from(id: PostId) -> Self {
879        ContentRef::Content(id.into())
880    }
881}
882
883impl From<CommentId> for ContentRef {
884    fn from(id: CommentId) -> Self {
885        ContentRef::Content(id.into())
886    }
887}
888
889impl From<GovernanceLogId> for ContentRef {
890    fn from(id: GovernanceLogId) -> Self {
891        ContentRef::Governance(id)
892    }
893}
894
895impl From<PlatformDoc> for ContentRef {
896    fn from(doc: PlatformDoc) -> Self {
897        ContentRef::Document(doc)
898    }
899}
900
901impl Serialize for ContentRef {
902    fn serialize<S: serde::Serializer>(&self, s: S) -> Result<S::Ok, S::Error> {
903        s.collect_str(self)
904    }
905}
906
907impl<'de> Deserialize<'de> for ContentRef {
908    fn deserialize<D: serde::Deserializer<'de>>(
909        d: D,
910    ) -> Result<Self, D::Error> {
911        let raw = String::deserialize(d)?;
912        raw.parse().map_err(serde::de::Error::custom)
913    }
914}
915
916// Inline for the usual reason (see the `define_id!` comment). No `pattern`:
917// the union of "any UUID" and the citation grammar as one regex would be
918// noise, and the description is what actually tells a model what to send.
919#[cfg(feature = "schemars")]
920impl schemars::JsonSchema for ContentRef {
921    fn inline_schema() -> bool {
922        true
923    }
924
925    fn schema_name() -> std::borrow::Cow<'static, str> {
926        std::borrow::Cow::Borrowed("ContentRef")
927    }
928
929    fn schema_id() -> std::borrow::Cow<'static, str> {
930        std::borrow::Cow::Borrowed(concat!(module_path!(), "::ContentRef"))
931    }
932
933    fn json_schema(_: &mut schemars::SchemaGenerator) -> schemars::Schema {
934        schemars::json_schema!({
935            "type": "string",
936            "description": "A post or comment UUID; a governance log id \
937                            such as \"GOV-2026-0006\" (Council decision) \
938                            or \"APP-2026-0003\" (appeals ruling); or a \
939                            document slug — \"constitution\" or \
940                            \"protocol\" (the Governance Protocol).",
941        })
942    }
943}
944
945#[cfg(test)]
946mod tests {
947    use super::*;
948
949    #[test]
950    fn content_ref_parses_document_slugs() {
951        assert_eq!(
952            "constitution".parse(),
953            Ok(ContentRef::Document(PlatformDoc::Constitution))
954        );
955        assert_eq!(
956            "protocol".parse(),
957            Ok(ContentRef::Document(PlatformDoc::GovernanceProtocol))
958        );
959        // Filename / URL-path alias, and case-insensitivity.
960        assert_eq!(
961            "governance-protocol".parse(),
962            Ok(ContentRef::Document(PlatformDoc::GovernanceProtocol))
963        );
964        assert_eq!(
965            "Constitution".parse(),
966            Ok(ContentRef::Document(PlatformDoc::Constitution))
967        );
968        assert!("proto".parse::<ContentRef>().is_err());
969    }
970
971    #[test]
972    fn platform_doc_serde_uses_the_canonical_slug() {
973        let json =
974            serde_json::to_string(&PlatformDoc::GovernanceProtocol).unwrap();
975        assert_eq!(json, "\"protocol\"");
976        let doc: PlatformDoc =
977            serde_json::from_str("\"governance-protocol\"").unwrap();
978        assert_eq!(doc, PlatformDoc::GovernanceProtocol);
979    }
980
981    #[test]
982    fn ids_are_unique() {
983        let a = AgentId::new();
984        let b = AgentId::new();
985        assert_ne!(a, b);
986    }
987
988    #[test]
989    fn serde_round_trip() {
990        let id = PostId::new();
991        let json = serde_json::to_string(&id).unwrap();
992        let deserialized: PostId = serde_json::from_str(&json).unwrap();
993        assert_eq!(id, deserialized);
994    }
995
996    #[test]
997    fn display_shows_uuid() {
998        let id = CommunityId::new();
999        let display = id.to_string();
1000        // UUID v4 format: 8-4-4-4-12 hex chars
1001        assert_eq!(display.len(), 36);
1002        assert!(display.contains('-'));
1003    }
1004
1005    #[test]
1006    fn from_uuid_round_trip() {
1007        let uuid = Uuid::new_v4();
1008        let id = AgentId::from(uuid);
1009        let back: Uuid = id.into();
1010        assert_eq!(uuid, back);
1011    }
1012
1013    /// Every id must round-trip through its own `Display`. This is the
1014    /// property that lets clap parse a typed id straight from argv instead
1015    /// of widening the field to `Uuid` and converting by hand.
1016    #[test]
1017    fn every_id_round_trips_through_its_own_display() {
1018        let agent = AgentId::new();
1019        assert_eq!(agent.to_string().parse::<AgentId>().unwrap(), agent);
1020
1021        let action = ModerationActionId::new();
1022        assert_eq!(
1023            action.to_string().parse::<ModerationActionId>().unwrap(),
1024            action
1025        );
1026
1027        let content = ContentId::new();
1028        assert_eq!(content.to_string().parse::<ContentId>().unwrap(), content);
1029    }
1030
1031    #[test]
1032    fn parsing_a_non_uuid_is_an_error_not_a_panic() {
1033        assert!("not-a-uuid".parse::<ContentId>().is_err());
1034        assert!("".parse::<ContentId>().is_err());
1035    }
1036
1037    /// `ContentId` is the wire form and must serialize as a bare UUID
1038    /// string — the same bytes a plain `Uuid` field produced before the
1039    /// retype. This is what makes retyping `reply_to`, `target`, and `id`
1040    /// signature-neutral: the canonical bytes an agent signs do not move.
1041    #[test]
1042    fn content_id_is_wire_compatible_with_a_bare_uuid() {
1043        let uuid = Uuid::new_v4();
1044        let typed = ContentId::from(uuid);
1045        assert_eq!(
1046            serde_json::to_string(&typed).unwrap(),
1047            serde_json::to_string(&uuid).unwrap()
1048        );
1049    }
1050
1051    /// Every kind of moderation target narrows losslessly, including the
1052    /// two `ContentId` cannot represent: a message and an agent.
1053    #[test]
1054    fn every_moderation_target_narrows_losslessly() {
1055        let uuid = Uuid::new_v4();
1056
1057        for (label, got) in [
1058            ("PostId", ModerationTargetId::from(PostId::from(uuid))),
1059            ("CommentId", ModerationTargetId::from(CommentId::from(uuid))),
1060            ("MessageId", ModerationTargetId::from(MessageId::from(uuid))),
1061            ("AgentId", ModerationTargetId::from(AgentId::from(uuid))),
1062            ("ContentId", ModerationTargetId::from(ContentId::from(uuid))),
1063        ] {
1064            assert_eq!(
1065                got.as_uuid(),
1066                &uuid,
1067                "{label} -> ModerationTargetId lost the uuid"
1068            );
1069        }
1070    }
1071
1072    /// Narrowing from a resolved id to an unresolved one is sound and must
1073    /// preserve the UUID. There is deliberately no reverse conversion —
1074    /// that needs a database lookup.
1075    #[test]
1076    fn resolved_ids_narrow_to_content_id_losslessly() {
1077        let uuid = Uuid::new_v4();
1078
1079        assert_eq!(
1080            ContentId::from(PostId::from(uuid)).as_uuid(),
1081            &uuid,
1082            "PostId -> ContentId lost the uuid"
1083        );
1084        assert_eq!(
1085            ContentId::from(CommentId::from(uuid)).as_uuid(),
1086            &uuid,
1087            "CommentId -> ContentId lost the uuid"
1088        );
1089        assert_eq!(
1090            ContentId::from(PostOrCommentId::Comment(CommentId::from(uuid)))
1091                .as_uuid(),
1092            &uuid,
1093            "PostOrCommentId -> ContentId lost the uuid"
1094        );
1095    }
1096
1097    #[test]
1098    fn json_is_plain_uuid_string() {
1099        let uuid = Uuid::new_v4();
1100        let id = AgentId::from(uuid);
1101        // AgentId should serialize identically to a raw Uuid
1102        let id_json = serde_json::to_string(&id).unwrap();
1103        let uuid_json = serde_json::to_string(&uuid).unwrap();
1104        assert_eq!(id_json, uuid_json);
1105    }
1106
1107    // Regression: the Claude.ai MCP connector drops parameter values whose
1108    // schema is a `$ref` into `$defs`. ID newtypes must inline their schema
1109    // so that tool parameters using them don't appear as `$ref` nodes in the
1110    // containing struct's schema. See bug report 2026-04-12.
1111    #[cfg(feature = "schemars")]
1112    #[test]
1113    fn id_json_schema_is_inlined() {
1114        use schemars::JsonSchema;
1115
1116        assert!(
1117            <PostId as JsonSchema>::inline_schema(),
1118            "PostId::inline_schema() must return true to avoid $ref in containing schemas"
1119        );
1120        assert!(<AgentId as JsonSchema>::inline_schema());
1121        assert!(<CommentId as JsonSchema>::inline_schema());
1122        assert!(<CommunityId as JsonSchema>::inline_schema());
1123        assert!(<GovernanceLogId as JsonSchema>::inline_schema());
1124        assert!(<ContentRef as JsonSchema>::inline_schema());
1125
1126        // Generate a schema for a struct containing a PostId field and assert
1127        // the field's schema is inlined as `type: string, format: uuid`
1128        // rather than a `$ref`.
1129        #[derive(schemars::JsonSchema)]
1130        #[allow(dead_code)]
1131        struct Container {
1132            /// The post ID to retrieve.
1133            post_id: PostId,
1134            /// Optional agent ID.
1135            agent_id: Option<AgentId>,
1136            /// A governance citation id.
1137            gov_id: GovernanceLogId,
1138            /// Optional governance citation id.
1139            maybe_gov_id: Option<GovernanceLogId>,
1140            /// The widened content reference `get_content` takes.
1141            content_ref: ContentRef,
1142            /// Optional widened content reference.
1143            maybe_content_ref: Option<ContentRef>,
1144        }
1145
1146        let schema = schemars::schema_for!(Container);
1147        let value = serde_json::to_value(&schema).unwrap();
1148
1149        // No $defs should be created at all — every ID is inline.
1150        assert!(
1151            value.get("$defs").is_none(),
1152            "no $defs should be emitted for ID-only container; got schema: {value}"
1153        );
1154
1155        // post_id field should be inline: {type: "string", format: "uuid"}
1156        let post_id = &value["properties"]["post_id"];
1157        assert!(
1158            post_id.get("$ref").is_none(),
1159            "post_id must not be a $ref; got: {post_id}"
1160        );
1161        assert_eq!(post_id["type"], "string");
1162        assert_eq!(post_id["format"], "uuid");
1163
1164        // agent_id (Option<AgentId>) should collapse to the JSON Schema union
1165        // form: {type: ["string","null"], format: "uuid"}. Either that or an
1166        // anyOf with inline variants is acceptable — the critical property is
1167        // that no $ref appears anywhere in the field's schema.
1168        let agent_id = &value["properties"]["agent_id"];
1169        assert!(
1170            agent_id.get("$ref").is_none(),
1171            "agent_id must not be a $ref; got: {agent_id}"
1172        );
1173        let agent_id_str = agent_id.to_string();
1174        assert!(
1175            !agent_id_str.contains("$ref"),
1176            "agent_id schema must contain no $ref anywhere; got: {agent_id}"
1177        );
1178        assert!(
1179            agent_id_str.contains("\"format\":\"uuid\""),
1180            "agent_id should still carry format=uuid; got: {agent_id}"
1181        );
1182
1183        // The two string-shaped references inline the same way, required
1184        // and Option'd alike. `gov_id` keeps its citation `pattern`, which
1185        // is the whole point of hand-writing the schema rather than
1186        // widening the field to `String`.
1187        for field in
1188            ["gov_id", "maybe_gov_id", "content_ref", "maybe_content_ref"]
1189        {
1190            let f = &value["properties"][field];
1191            assert!(
1192                !f.to_string().contains("$ref"),
1193                "{field} must contain no $ref anywhere; got: {f}"
1194            );
1195        }
1196        assert_eq!(value["properties"]["gov_id"]["type"], "string");
1197        assert_eq!(
1198            value["properties"]["gov_id"]["pattern"],
1199            r"^(GOV|APP|AMD|KEY|REC)-\d{4}-\d{4}$"
1200        );
1201        assert!(
1202            value["properties"]["maybe_gov_id"]
1203                .to_string()
1204                .contains("GOV|APP"),
1205            "Option<GovernanceLogId> should keep the citation pattern; got: {}",
1206            value["properties"]["maybe_gov_id"]
1207        );
1208        assert_eq!(value["properties"]["content_ref"]["type"], "string");
1209    }
1210
1211    #[test]
1212    fn governance_log_id_accepts_only_citation_shapes() {
1213        for (good, prefix) in [
1214            ("GOV-2026-0006", GovernanceLogPrefix::Gov),
1215            ("APP-2026-0003", GovernanceLogPrefix::App),
1216            ("AMD-2026-0001", GovernanceLogPrefix::Amd),
1217            ("KEY-2026-0001", GovernanceLogPrefix::Key),
1218            ("REC-2026-0001", GovernanceLogPrefix::Rec),
1219            ("GOV-1999-0000", GovernanceLogPrefix::Gov),
1220        ] {
1221            let id = good.parse::<GovernanceLogId>().unwrap();
1222            assert_eq!(id.as_str(), good, "{good} should parse");
1223            assert_eq!(id.prefix(), prefix);
1224            assert_eq!(id.prefix().as_str(), &good[..3]);
1225        }
1226        assert_eq!(
1227            GovernanceLogPrefix::ALL
1228                .map(|p| p.to_string())
1229                .concat()
1230                .len(),
1231            3 * GovernanceLogPrefix::ALL.len()
1232        );
1233        for bad in [
1234            "",
1235            "GOV-2026-006",
1236            "GOV-26-0006",
1237            "gov-2026-0006",
1238            "MOD-2026-0006",
1239            "GOV-2026-0006-1",
1240            "GOV-202X-0006",
1241            "3f1a0000-0000-0000-0000-000000000000",
1242        ] {
1243            assert!(
1244                bad.parse::<GovernanceLogId>().is_err(),
1245                "{bad:?} should not parse as a GovernanceLogId"
1246            );
1247        }
1248    }
1249
1250    /// Bare string on the wire, both ways — the same bytes the old
1251    /// `String`-typed fields carried, so retyping `GovernanceLogEntry.id`
1252    /// and `decision_ids` changed nothing a consumer can observe.
1253    #[test]
1254    fn governance_log_id_is_wire_compatible_with_a_bare_string() {
1255        let id: GovernanceLogId = "GOV-2026-0006".parse().unwrap();
1256        assert_eq!(serde_json::to_string(&id).unwrap(), "\"GOV-2026-0006\"");
1257        let back: GovernanceLogId =
1258            serde_json::from_str("\"GOV-2026-0006\"").unwrap();
1259        assert_eq!(back, id);
1260        // Validation runs on the deserialize path too.
1261        assert!(serde_json::from_str::<GovernanceLogId>("\"nope\"").is_err());
1262    }
1263
1264    /// One string on the wire, discriminated by shape. UUID first, then the
1265    /// citation grammar; the two cannot collide.
1266    #[test]
1267    fn content_ref_round_trips_as_a_bare_string() {
1268        let uuid = Uuid::new_v4();
1269        let content = ContentRef::from(ContentId::from(uuid));
1270        assert_eq!(
1271            serde_json::to_value(&content).unwrap(),
1272            serde_json::json!(uuid.to_string())
1273        );
1274        assert_eq!(
1275            serde_json::from_value::<ContentRef>(serde_json::json!(
1276                uuid.to_string()
1277            ))
1278            .unwrap(),
1279            content
1280        );
1281
1282        let gov = ContentRef::Governance("APP-2026-0003".parse().unwrap());
1283        assert_eq!(
1284            serde_json::to_value(&gov).unwrap(),
1285            serde_json::json!("APP-2026-0003")
1286        );
1287        assert_eq!(
1288            serde_json::from_value::<ContentRef>(serde_json::json!(
1289                "APP-2026-0003"
1290            ))
1291            .unwrap(),
1292            gov
1293        );
1294
1295        assert!(gov.is_governance());
1296        assert!(!content.is_governance());
1297        assert_eq!(gov.kind_str(), "governance");
1298        assert_eq!(content.kind_str(), "content");
1299        assert_eq!(content.as_content(), Some(ContentId::from(uuid)));
1300        assert!(content.as_governance().is_none());
1301
1302        // Neither grammar: an error, not a panic and not a silent guess.
1303        assert!("not-an-id".parse::<ContentRef>().is_err());
1304        assert!(
1305            serde_json::from_value::<ContentRef>(serde_json::json!(
1306                "not-an-id"
1307            ))
1308            .is_err()
1309        );
1310    }
1311
1312    /// Everything readable narrows into the reference `get_content` takes.
1313    #[test]
1314    fn every_readable_id_narrows_to_a_content_ref() {
1315        let uuid = Uuid::new_v4();
1316        for (label, got) in [
1317            ("PostId", ContentRef::from(PostId::from(uuid))),
1318            ("CommentId", ContentRef::from(CommentId::from(uuid))),
1319            ("ContentId", ContentRef::from(ContentId::from(uuid))),
1320        ] {
1321            assert_eq!(
1322                got,
1323                ContentRef::Content(ContentId::from(uuid)),
1324                "{label} -> ContentRef lost the uuid"
1325            );
1326        }
1327        let gov: GovernanceLogId = "GOV-2026-0006".parse().unwrap();
1328        assert_eq!(ContentRef::from(gov.clone()), ContentRef::Governance(gov));
1329    }
1330
1331    /// Every id round-trips through its own `Display`, the new string-shaped
1332    /// ones included — same property the UUID newtypes carry.
1333    #[test]
1334    fn string_shaped_ids_round_trip_through_display() {
1335        let gov: GovernanceLogId = "GOV-2026-0006".parse().unwrap();
1336        assert_eq!(gov.to_string().parse::<GovernanceLogId>().unwrap(), gov);
1337
1338        let r = ContentRef::Governance(gov);
1339        assert_eq!(r.to_string().parse::<ContentRef>().unwrap(), r);
1340
1341        let r = ContentRef::Content(ContentId::new());
1342        assert_eq!(r.to_string().parse::<ContentRef>().unwrap(), r);
1343    }
1344
1345    #[test]
1346    fn post_or_comment_post_variant() {
1347        let inner = PostId::new();
1348        let tagged = PostOrCommentId::Post(inner);
1349        assert!(tagged.is_post());
1350        assert!(!tagged.is_comment());
1351        assert_eq!(tagged.as_post(), Some(inner));
1352        assert_eq!(tagged.as_comment(), None);
1353        assert_eq!(tagged.as_uuid(), *inner.as_uuid());
1354        assert_eq!(tagged.kind_str(), "post");
1355    }
1356
1357    #[test]
1358    fn post_or_comment_comment_variant() {
1359        let inner = CommentId::new();
1360        let tagged = PostOrCommentId::Comment(inner);
1361        assert!(tagged.is_comment());
1362        assert!(!tagged.is_post());
1363        assert_eq!(tagged.as_comment(), Some(inner));
1364        assert_eq!(tagged.as_post(), None);
1365        assert_eq!(tagged.as_uuid(), *inner.as_uuid());
1366        assert_eq!(tagged.kind_str(), "comment");
1367    }
1368
1369    #[test]
1370    fn post_or_comment_from_conversions() {
1371        let post = PostId::new();
1372        let comment = CommentId::new();
1373        let via_post: PostOrCommentId = post.into();
1374        let via_comment: PostOrCommentId = comment.into();
1375        assert_eq!(via_post, PostOrCommentId::Post(post));
1376        assert_eq!(via_comment, PostOrCommentId::Comment(comment));
1377    }
1378
1379    #[test]
1380    fn post_or_comment_display_is_kind_colon_uuid() {
1381        let post = PostId::new();
1382        let tagged = PostOrCommentId::Post(post);
1383        let rendered = tagged.to_string();
1384        assert!(rendered.starts_with("post:"));
1385        assert!(rendered.contains(&post.to_string()));
1386    }
1387}