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#[cfg(test)]
444mod tests {
445 use super::*;
446
447 #[test]
448 fn ids_are_unique() {
449 let a = AgentId::new();
450 let b = AgentId::new();
451 assert_ne!(a, b);
452 }
453
454 #[test]
455 fn serde_round_trip() {
456 let id = PostId::new();
457 let json = serde_json::to_string(&id).unwrap();
458 let deserialized: PostId = serde_json::from_str(&json).unwrap();
459 assert_eq!(id, deserialized);
460 }
461
462 #[test]
463 fn display_shows_uuid() {
464 let id = CommunityId::new();
465 let display = id.to_string();
466 // UUID v4 format: 8-4-4-4-12 hex chars
467 assert_eq!(display.len(), 36);
468 assert!(display.contains('-'));
469 }
470
471 #[test]
472 fn from_uuid_round_trip() {
473 let uuid = Uuid::new_v4();
474 let id = AgentId::from(uuid);
475 let back: Uuid = id.into();
476 assert_eq!(uuid, back);
477 }
478
479 /// Every id must round-trip through its own `Display`. This is the
480 /// property that lets clap parse a typed id straight from argv instead
481 /// of widening the field to `Uuid` and converting by hand.
482 #[test]
483 fn every_id_round_trips_through_its_own_display() {
484 let agent = AgentId::new();
485 assert_eq!(agent.to_string().parse::<AgentId>().unwrap(), agent);
486
487 let action = ModerationActionId::new();
488 assert_eq!(
489 action.to_string().parse::<ModerationActionId>().unwrap(),
490 action
491 );
492
493 let content = ContentId::new();
494 assert_eq!(content.to_string().parse::<ContentId>().unwrap(), content);
495 }
496
497 #[test]
498 fn parsing_a_non_uuid_is_an_error_not_a_panic() {
499 assert!("not-a-uuid".parse::<ContentId>().is_err());
500 assert!("".parse::<ContentId>().is_err());
501 }
502
503 /// `ContentId` is the wire form and must serialize as a bare UUID
504 /// string — the same bytes a plain `Uuid` field produced before the
505 /// retype. This is what makes retyping `reply_to`, `target`, and `id`
506 /// signature-neutral: the canonical bytes an agent signs do not move.
507 #[test]
508 fn content_id_is_wire_compatible_with_a_bare_uuid() {
509 let uuid = Uuid::new_v4();
510 let typed = ContentId::from(uuid);
511 assert_eq!(
512 serde_json::to_string(&typed).unwrap(),
513 serde_json::to_string(&uuid).unwrap()
514 );
515 }
516
517 /// Every kind of moderation target narrows losslessly, including the
518 /// two `ContentId` cannot represent: a message and an agent.
519 #[test]
520 fn every_moderation_target_narrows_losslessly() {
521 let uuid = Uuid::new_v4();
522
523 for (label, got) in [
524 ("PostId", ModerationTargetId::from(PostId::from(uuid))),
525 ("CommentId", ModerationTargetId::from(CommentId::from(uuid))),
526 ("MessageId", ModerationTargetId::from(MessageId::from(uuid))),
527 ("AgentId", ModerationTargetId::from(AgentId::from(uuid))),
528 ("ContentId", ModerationTargetId::from(ContentId::from(uuid))),
529 ] {
530 assert_eq!(
531 got.as_uuid(),
532 &uuid,
533 "{label} -> ModerationTargetId lost the uuid"
534 );
535 }
536 }
537
538 /// Narrowing from a resolved id to an unresolved one is sound and must
539 /// preserve the UUID. There is deliberately no reverse conversion —
540 /// that needs a database lookup.
541 #[test]
542 fn resolved_ids_narrow_to_content_id_losslessly() {
543 let uuid = Uuid::new_v4();
544
545 assert_eq!(
546 ContentId::from(PostId::from(uuid)).as_uuid(),
547 &uuid,
548 "PostId -> ContentId lost the uuid"
549 );
550 assert_eq!(
551 ContentId::from(CommentId::from(uuid)).as_uuid(),
552 &uuid,
553 "CommentId -> ContentId lost the uuid"
554 );
555 assert_eq!(
556 ContentId::from(PostOrCommentId::Comment(CommentId::from(uuid)))
557 .as_uuid(),
558 &uuid,
559 "PostOrCommentId -> ContentId lost the uuid"
560 );
561 }
562
563 #[test]
564 fn json_is_plain_uuid_string() {
565 let uuid = Uuid::new_v4();
566 let id = AgentId::from(uuid);
567 // AgentId should serialize identically to a raw Uuid
568 let id_json = serde_json::to_string(&id).unwrap();
569 let uuid_json = serde_json::to_string(&uuid).unwrap();
570 assert_eq!(id_json, uuid_json);
571 }
572
573 // Regression: the Claude.ai MCP connector drops parameter values whose
574 // schema is a `$ref` into `$defs`. ID newtypes must inline their schema
575 // so that tool parameters using them don't appear as `$ref` nodes in the
576 // containing struct's schema. See bug report 2026-04-12.
577 #[cfg(feature = "schemars")]
578 #[test]
579 fn id_json_schema_is_inlined() {
580 use schemars::JsonSchema;
581
582 assert!(
583 <PostId as JsonSchema>::inline_schema(),
584 "PostId::inline_schema() must return true to avoid $ref in containing schemas"
585 );
586 assert!(<AgentId as JsonSchema>::inline_schema());
587 assert!(<CommentId as JsonSchema>::inline_schema());
588 assert!(<CommunityId as JsonSchema>::inline_schema());
589
590 // Generate a schema for a struct containing a PostId field and assert
591 // the field's schema is inlined as `type: string, format: uuid`
592 // rather than a `$ref`.
593 #[derive(schemars::JsonSchema)]
594 #[allow(dead_code)]
595 struct Container {
596 /// The post ID to retrieve.
597 post_id: PostId,
598 /// Optional agent ID.
599 agent_id: Option<AgentId>,
600 }
601
602 let schema = schemars::schema_for!(Container);
603 let value = serde_json::to_value(&schema).unwrap();
604
605 // No $defs should be created at all — every ID is inline.
606 assert!(
607 value.get("$defs").is_none(),
608 "no $defs should be emitted for ID-only container; got schema: {value}"
609 );
610
611 // post_id field should be inline: {type: "string", format: "uuid"}
612 let post_id = &value["properties"]["post_id"];
613 assert!(
614 post_id.get("$ref").is_none(),
615 "post_id must not be a $ref; got: {post_id}"
616 );
617 assert_eq!(post_id["type"], "string");
618 assert_eq!(post_id["format"], "uuid");
619
620 // agent_id (Option<AgentId>) should collapse to the JSON Schema union
621 // form: {type: ["string","null"], format: "uuid"}. Either that or an
622 // anyOf with inline variants is acceptable — the critical property is
623 // that no $ref appears anywhere in the field's schema.
624 let agent_id = &value["properties"]["agent_id"];
625 assert!(
626 agent_id.get("$ref").is_none(),
627 "agent_id must not be a $ref; got: {agent_id}"
628 );
629 let agent_id_str = agent_id.to_string();
630 assert!(
631 !agent_id_str.contains("$ref"),
632 "agent_id schema must contain no $ref anywhere; got: {agent_id}"
633 );
634 assert!(
635 agent_id_str.contains("\"format\":\"uuid\""),
636 "agent_id should still carry format=uuid; got: {agent_id}"
637 );
638 }
639
640 #[test]
641 fn post_or_comment_post_variant() {
642 let inner = PostId::new();
643 let tagged = PostOrCommentId::Post(inner);
644 assert!(tagged.is_post());
645 assert!(!tagged.is_comment());
646 assert_eq!(tagged.as_post(), Some(inner));
647 assert_eq!(tagged.as_comment(), None);
648 assert_eq!(tagged.as_uuid(), *inner.as_uuid());
649 assert_eq!(tagged.kind_str(), "post");
650 }
651
652 #[test]
653 fn post_or_comment_comment_variant() {
654 let inner = CommentId::new();
655 let tagged = PostOrCommentId::Comment(inner);
656 assert!(tagged.is_comment());
657 assert!(!tagged.is_post());
658 assert_eq!(tagged.as_comment(), Some(inner));
659 assert_eq!(tagged.as_post(), None);
660 assert_eq!(tagged.as_uuid(), *inner.as_uuid());
661 assert_eq!(tagged.kind_str(), "comment");
662 }
663
664 #[test]
665 fn post_or_comment_from_conversions() {
666 let post = PostId::new();
667 let comment = CommentId::new();
668 let via_post: PostOrCommentId = post.into();
669 let via_comment: PostOrCommentId = comment.into();
670 assert_eq!(via_post, PostOrCommentId::Post(post));
671 assert_eq!(via_comment, PostOrCommentId::Comment(comment));
672 }
673
674 #[test]
675 fn post_or_comment_display_is_kind_colon_uuid() {
676 let post = PostId::new();
677 let tagged = PostOrCommentId::Post(post);
678 let rendered = tagged.to_string();
679 assert!(rendered.starts_with("post:"));
680 assert!(rendered.contains(&post.to_string()));
681 }
682}