onetaskgraph_plugin_api/source.rs
1//! The two traits a plugin implements, and the secret lookup it is handed.
2
3use std::cmp::Ordering;
4use std::collections::BTreeMap;
5
6use schemars::{JsonSchema, Schema};
7use secrecy::SecretString;
8use serde::{Deserialize, Serialize};
9use serde_json::Value;
10
11use crate::{
12 Asset, AssetName, AssetWrite, AssetsWritten, Capabilities, Classification, Comment,
13 CommentBody, CommentCopy, DependencyEdge, Direction, Document, DocumentQuery,
14 DocumentVersionCoverage, IssueHolding, IssueRef, ItemKind, ItemWrite, Label, Location,
15 MetadataKey, MetadataRecord, Metering, NativeId, NewComment, Page, PageRequest, Priority,
16 Project, ProjectQuery, ProjectVersionCoverage, Repository, SharedClock, SourceError,
17 SourceName, Status, StatusCategory, StatusContradiction, Task, TaskDetailRead, TaskQuery,
18 TaskRef, TaskUpdate, TaskUpdateOutcome, VersionCoverage, Visibility, WriteJournal,
19 WriteSupport, WriteTarget, assetless, commentless, documentless, unwritable, unwritable_field,
20 unwritable_metadata,
21};
22
23/// Whether a source is answering right now.
24///
25/// # Placement is an open contract question
26///
27/// This type lives here because [`TaskSource::health`] returns it and the trait
28/// lives here: placing it in `onetaskgraph-core` would make this crate depend on
29/// the engine and invert the one direction the crate split exists to establish.
30/// The approved contract enumerates this crate's contents exhaustively and does
31/// not name `Health`, so the enumeration and the trait as written cannot both
32/// stand. Compiling forces the placement below; the resolution — add it to the
33/// enumeration, or redesign `health` so no such type crosses the boundary —
34/// belongs to the contract's owner, not to this crate. See `AGENTS.md`.
35#[derive(Debug, Clone, PartialEq, Serialize, Deserialize, JsonSchema)]
36// llmlint: ignore[invalid_states_unrepresentable] SECOND PERMITTED REASON — this restates at a new site the justification already recorded at `Capabilities.max_page_size` (capability.rs) and `PageRequest.limit` (query.rs), and a third time in this type's own doc comment above and in AGENTS.md's "Open contract question — `Health`": `Health`'s shape is approved contract text that `TaskSource::health` returns, so an enum here would change the serialized form and the trait six undispatched nodes implement. That is the contract owner's call, not this crate's.
37pub struct Health {
38 /// Whether the source answered.
39 ///
40 /// A bare `bool` beside an untyped `detail` cannot say that an unreachable source
41 /// must explain itself, or keep "reachable with a warning" apart from "reachable";
42 /// an enum carrying the detail in its unreachable variant would.
43 // llmlint: ignore[invalid_states_unrepresentable] SECOND PERMITTED REASON — this
44 // restates at this field the justification already recorded at
45 // `Capabilities.max_page_size` (capability.rs), `PageRequest.limit` (query.rs), this
46 // type's own doc comment above, and AGENTS.md's "Open contract question — `Health`":
47 // `Health`'s shape is approved contract text that `TaskSource::health` returns, so an
48 // enum here would change the serialized form and the trait six undispatched nodes
49 // implement. That is the contract owner's call, not this crate's.
50 // llmlint: ignore[boundary_inputs_validated] making "unreachable with no reason given" unrepresentable means an enum here, which changes the serialized form and the trait six undispatched nodes implement. Deferred to the contract's owner — AGENTS.md, "Open contract question — `Health`".
51 pub reachable: bool,
52 /// What the source said, when it said anything useful.
53 pub detail: Option<String>,
54}
55
56/// The task query whose [`TaskQuery::origin_matches`] is the one statement of what "copied
57/// from `origin`" means, so the by-origin defaults read a project's and a document's entry
58/// exactly as a task's is read.
59fn origin_query(origin: &str) -> TaskQuery {
60 TaskQuery {
61 origin: Some(origin.to_owned()),
62 ..TaskQuery::default()
63 }
64}
65
66/// Refuse a page of the listing a by-origin default walks that holds more rows than it was
67/// asked for, in the words the engine refuses one in: a source may return fewer and never
68/// more, and a default that narrowed such a page would hide the defect behind it.
69fn overran(returned: usize, asked_for: u32) -> Result<(), SourceError> {
70 if returned as u64 <= u64::from(asked_for) {
71 return Ok(());
72 }
73 Err(SourceError::Malformed {
74 message: format!(
75 "the source returned {returned} rows for a page of at most {asked_for}; a source \
76 may return fewer than it was asked for and never more"
77 ),
78 })
79}
80
81/// What a by-origin default answers when the listing it walks hands back a cursor it has
82/// already handed out, which would walk forever.
83fn repeated_cursor() -> SourceError {
84 SourceError::Malformed {
85 message: "the source returned a cursor it had already handed out while its listing \
86 was walked for one origin, so the walk would never end"
87 .to_owned(),
88 }
89}
90
91/// The page `page` asks for of `matched`, every item a by-origin default kept: the cursor
92/// it hands out is the position of the next match, so a walk of its pages neither repeats
93/// nor drops one while the listing under it holds still.
94fn page_of_matches<T>(matched: Vec<T>, page: &PageRequest) -> Result<Page<T>, SourceError> {
95 let start = match &page.cursor {
96 None => 0,
97 Some(cursor) => cursor
98 .0
99 .strip_prefix(MATCHED_PAGE_CURSOR)
100 .and_then(|position| position.parse::<usize>().ok())
101 .filter(|position| *position <= matched.len())
102 .ok_or_else(|| SourceError::Refused {
103 message: format!(
104 "cursor {:?} was not handed out by this by-origin listing; start the walk \
105 again without one",
106 cursor.0
107 ),
108 })?,
109 };
110 let end = start.saturating_add(page.limit as usize).min(matched.len());
111 let next = (end < matched.len()).then(|| crate::Cursor(format!("{MATCHED_PAGE_CURSOR}{end}")));
112 Ok(Page {
113 items: matched.into_iter().skip(start).take(end - start).collect(),
114 next,
115 })
116}
117
118const MATCHED_PAGE_CURSOR: &str = "origin:";
119
120/// One configured source, as the engine drives it.
121///
122/// Dyn-compatible through `async_trait` because the engine holds
123/// `Vec<Box<dyn TaskSource>>` over heterogeneous plugins.
124///
125/// Three rules bind every implementation, and the engine's compensation is only
126/// correct while all three hold:
127///
128/// 1. **Apply** every predicate you declare [`Support::Native`](crate::Support::Native).
129/// 2. **Ignore** every [`Support`](crate::Support)-typed predicate you declare
130/// `Unsupported` — return the *wider* result set, never a narrower one.
131/// Silently dropping rows for a predicate you did not declare is the one
132/// failure no test above the plugin can catch.
133/// 3. Never return a silently empty dependency read. Rule 2 reaches the
134/// `Support`-typed *predicates* alone; a dependency read is always real, and so is a
135/// document read — [`Capabilities::documents`] says whether this source has documents
136/// at all, and a source that says it has none is never asked for one rather than
137/// answering an empty page.
138#[async_trait::async_trait]
139pub trait TaskSource: Send + Sync {
140 /// The plugin kind that built this source, for display and for plan output.
141 fn kind(&self) -> &'static str;
142
143 /// What this source applies itself. Read once per query by the engine.
144 fn capabilities(&self) -> Capabilities;
145
146 /// How `a`, a [`Task::version`] this source gave one of its tasks, stands to `b`, another
147 /// it gave the same task: `Greater` when `a` is the later, `Less` when it is the earlier,
148 /// `Equal` when nothing the token covers changed between them, and `None` when the two
149 /// cannot be put in order — a value this source cannot read, or two versions its token
150 /// says differ without saying which came first.
151 ///
152 /// A token's format and its order are the one source's that spells it, so the engine asks
153 /// the source that gave both rather than reading inside either.
154 ///
155 /// Defaulted to equality alone: two identical tokens are one version, and any two others
156 /// are unordered, which a reader takes as *changed, read it again* and never as
157 /// unchanged. A source whose token says which of two versions is the later overrides it.
158 fn order_versions(&self, a: &str, b: &str) -> Option<Ordering> {
159 (a == b).then_some(Ordering::Equal)
160 }
161
162 /// Which parts of a task this source's [`Task::version`] vouches for, which is what the
163 /// store's local cache may serve a task's parts from.
164 ///
165 /// Defaulted to no part, which keeps the cache from ever serving what a token was never
166 /// promised to cover: a source overrides it only for the parts its token covers, as
167 /// `docs/plugin-protocol.md` §4.13d states them.
168 fn version_coverage(&self) -> VersionCoverage {
169 VersionCoverage::none(format!(
170 "the {} plugin does not declare that its change token covers a task",
171 self.kind()
172 ))
173 }
174
175 /// Which parts of a task a copy may take this source's unchanged [`Task::version`] as
176 /// vouching for, when it decides to skip a task its destination already holds as written:
177 /// the task's fields, its comments when the copy carries them, and its forward edges. A copy
178 /// skips only a task whose source covers every one of those it writes.
179 ///
180 /// Defaulted to [`version_coverage`](Self::version_coverage). A source overrides it only to
181 /// state, with its measured bound, a claim about a copy's skip that is not one the cache may
182 /// serve from — as `docs/plugin-protocol.md` §4.13d does for the one plugin that does.
183 fn copy_version_coverage(&self) -> VersionCoverage {
184 self.version_coverage()
185 }
186
187 /// Which parts of a project this source's [`Project::version`] vouches for, on the terms
188 /// of [`version_coverage`](Self::version_coverage).
189 ///
190 /// Defaulted to no part, for the same reason.
191 fn project_version_coverage(&self) -> ProjectVersionCoverage {
192 ProjectVersionCoverage::none(format!(
193 "the {} plugin does not declare that its change token covers a project",
194 self.kind()
195 ))
196 }
197
198 /// Which parts of a document this source's [`Document::version`] vouches for, on the terms
199 /// of [`version_coverage`](Self::version_coverage).
200 ///
201 /// Defaulted to no part, for the same reason.
202 fn document_version_coverage(&self) -> DocumentVersionCoverage {
203 DocumentVersionCoverage::none(format!(
204 "the {} plugin does not declare that its change token covers a document",
205 self.kind()
206 ))
207 }
208
209 /// Tell this source the store's local cache now stands in front of it.
210 ///
211 /// Called exactly once, by the cache as it wraps the source, before any read and before
212 /// any coverage is read — so a source whose token needs a part only a wider selection
213 /// carries can widen its reads here, and declare the coverage that widening buys. Never
214 /// carried over the plugin protocol, as [`version_coverage`](Self::version_coverage) is
215 /// not.
216 ///
217 /// Defaulted to doing nothing: a source not overriding it reads exactly as it did.
218 fn attach_cache(&self) {}
219
220 /// The change token the response that answered this source's last
221 /// [`Direction::DependsOn`] read of task `id` in this process spelled, or `None` when it
222 /// spelled none.
223 ///
224 /// What lets the store's cache keep a task's forward edges by the version they were read
225 /// at when nothing else in the command read the task: those edges are served only to a pin
226 /// that version is at or after, and never vouch for the task's own fields. Synchronous, and
227 /// never carried over the plugin protocol, as [`version_coverage`](Self::version_coverage)
228 /// is not.
229 ///
230 /// Defaulted to `None`: a source whose dependency read spells no token keeps its edges
231 /// remote unless a read of the task itself vouched for them.
232 fn forward_edges_version(&self, id: &NativeId) -> Option<String> {
233 let _ = id;
234 None
235 }
236
237 /// The change token the response that answered this source's last dependency read of the
238 /// `kind` item `id` in `direction`, from its first page, spelled — or `None` when it spelled
239 /// none — on the terms of [`forward_edges_version`](Self::forward_edges_version), which is
240 /// what it answers for a task's [`Direction::DependsOn`].
241 ///
242 /// What lets the store's cache keep a project's forward edges, and either kind's reverse
243 /// ones, by the version they were read at: a project's forward edges are served only where
244 /// [`project_version_coverage`](Self::project_version_coverage) covers them, reverse ones only
245 /// where [`reverse_edges_coverage`](Self::reverse_edges_coverage) covers that kind's, and each
246 /// only to a pin that version is at or after. Synchronous, and never
247 /// carried over the plugin protocol.
248 ///
249 /// Defaulted to [`forward_edges_version`](Self::forward_edges_version) for a task's forward
250 /// edges and to `None` for every other read, which keeps those remote.
251 fn edges_version(&self, kind: ItemKind, id: &NativeId, direction: Direction) -> Option<String> {
252 match (kind, direction) {
253 (ItemKind::Task, Direction::DependsOn) => self.forward_edges_version(id),
254 _ => None,
255 }
256 }
257
258 /// Whether this source's token for a `kind` item — [`Task::version`] or
259 /// [`Project::version`] — vouches for its reverse edges, what a [`Direction::DependedOnBy`]
260 /// read answers, so the store's cache may serve them.
261 ///
262 /// A reverse edge is recorded on another item, so a token vouches for one only where it
263 /// carries a part that moves whenever one is added to or removed from that other item —
264 /// which no part of an item's own fields does. Never carried over the plugin protocol.
265 ///
266 /// Defaulted to not covering them, with that reason.
267 fn reverse_edges_coverage(&self, kind: ItemKind) -> crate::Coverage {
268 crate::Coverage::Uncovered {
269 reason: format!(
270 "the {} plugin does not declare that its change token covers a {}'s reverse \
271 edges, which are recorded on the items that depend on it",
272 self.kind(),
273 match kind {
274 ItemKind::Task => "task",
275 ItemKind::Project => "project",
276 }
277 ),
278 }
279 }
280
281 /// What this source holds about task `id` — the item it read last in this process — that
282 /// a later write expecting that version of it could take instead of reading it again, or
283 /// `None` when it holds nothing of the kind.
284 ///
285 /// Opaque to the engine, which keeps it beside the cached task and hands it back through
286 /// [`prime_write`](Self::prime_write). Defaulted to `None`: a source whose writes read
287 /// nothing first has nothing to keep.
288 fn write_context(&self, id: &NativeId) -> Option<serde_json::Value> {
289 let _ = id;
290 None
291 }
292
293 /// What this source holds about the container every task of it shares — a board's field
294 /// and option ids — that a write could take instead of reading it, or `None`.
295 ///
296 /// Defaulted to `None`, on the terms of [`write_context`](Self::write_context).
297 fn board_context(&self) -> Option<serde_json::Value> {
298 None
299 }
300
301 /// Hold `context`, which [`write_context`](Self::write_context) gave for task `id` at a
302 /// version the caller expects it still at, and `board`, which
303 /// [`board_context`](Self::board_context) gave, so the next write of `id` takes them
304 /// instead of reading — answering whether it took them.
305 ///
306 /// A context this source cannot read is not taken, and the write then reads as it always
307 /// does. Defaulted to taking nothing.
308 fn prime_write(
309 &self,
310 id: &NativeId,
311 context: &serde_json::Value,
312 board: Option<&serde_json::Value>,
313 ) -> bool {
314 let _ = (id, context, board);
315 false
316 }
317
318 /// What this source read in this process about where it creates — the node ids of the
319 /// repository it filed in — under a setup-context token, or `None`.
320 ///
321 /// The token is the source's own digest of every input the context depends on: the
322 /// container's field definitions and options, the repository it creates in, the project it
323 /// files under and the visibility it was declared. Immutable placement knowledge only: it
324 /// holds no item's title, content or membership, and nothing that authorizes a versioned
325 /// write. Defaulted to `None`.
326 fn placement_context(&self) -> Option<serde_json::Value> {
327 None
328 }
329
330 /// Hold `context`, which [`placement_context`](Self::placement_context) gave in an earlier
331 /// process, for the next create to take only if its token still holds — computed from a
332 /// read that create makes anyway, so taking it adds no request and a changed input is read
333 /// afresh rather than reused. Answers whether it held it; a context this source cannot read
334 /// is not held. Defaulted to holding nothing.
335 fn prime_placement(&self, context: &serde_json::Value) -> bool {
336 let _ = context;
337 false
338 }
339
340 /// The ids — never the title or the content — a later process needs to write task `id`,
341 /// which this process wrote, without reading it first, or `None`. Defaulted to `None`.
342 fn written_context(&self, id: &NativeId) -> Option<serde_json::Value> {
343 let _ = id;
344 None
345 }
346
347 /// Take `context`, which [`written_context`](Self::written_context) gave, with `task`'s
348 /// fields, as the record of `id` — so the next [`update_task`](Self::update_task) of it
349 /// sends only its mutations. What the caller holds of the body is never written: an update
350 /// that changes the body reads it first — in the answer to one of its own mutations where it
351 /// can — and composes it against what the backend holds now. Answers whether it took them;
352 /// a context it cannot read is not taken, and the update then reads as it always does.
353 /// Defaulted to taking nothing.
354 fn prime_written(
355 &self,
356 id: &NativeId,
357 context: &serde_json::Value,
358 task: &crate::Task,
359 ) -> bool {
360 let _ = (id, context, task);
361 false
362 }
363
364 /// Drop whatever [`prime_write`](Self::prime_write) took for `id`, and the board context
365 /// with it, so the next write of it reads afresh.
366 fn unprime(&self, id: &NativeId) {
367 let _ = id;
368 }
369
370 /// Who wrote `comment`, a comment this source answered: a person, a bot or unknown.
371 ///
372 /// Defaulted to [`AuthorKind::of_name`](crate::AuthorKind::of_name) over its author. A
373 /// source whose backend says more — a GitHub board, which reads each author's kind — answers
374 /// from what it read.
375 fn comment_author_kind(&self, comment: &crate::Comment) -> crate::AuthorKind {
376 crate::AuthorKind::of_name(comment.author.as_deref())
377 }
378
379 /// How long after a comment is made or edited a read of this source may still not see it —
380 /// a search index's lag behind the writes it indexes.
381 ///
382 /// A read of the comments made since an instant answers a watermark set back by this, so a
383 /// caller resuming from it reads again whatever this source had not yet shown. Defaulted to
384 /// none: a source whose reads see every write at once.
385 fn comment_consistency_window(&self) -> std::time::Duration {
386 std::time::Duration::ZERO
387 }
388
389 /// The time this source's backend last stated on an answer — a hosted service's `Date` —
390 /// or `None` for a source that states none, whose time is the engine's own clock's.
391 ///
392 /// The instant a watermark is set back from is the earlier of this and the engine's clock
393 /// at the read's start, so a backend whose clock is behind this host's loses no comment.
394 fn served_at(&self) -> Option<chrono::DateTime<chrono::Utc>> {
395 None
396 }
397
398 /// Whether this source enforces a [`HeldVersion`](crate::HeldVersion) itself, as one step
399 /// with the write it holds: `true` for a source that serializes its own writes and, inside
400 /// every task write, refuses with [`HeldVersion::moved`](crate::HeldVersion::moved) a task
401 /// not at the version [`HeldVersion::expected`](crate::HeldVersion::expected) names.
402 ///
403 /// Defaulted to `false`: the engine then reads the task through this source immediately
404 /// before a held write and refuses it there, and the time between that read and the
405 /// mutation is the backend's residual race.
406 fn holds_versions(&self) -> bool {
407 false
408 }
409
410 /// Start recording every request this source sends, for [`end_journal`](Self::end_journal).
411 ///
412 /// The engine opens one journal around one write at a time. Defaulted to recording
413 /// nothing.
414 fn begin_journal(&self) {}
415
416 /// Stop recording, answering with every request sent since
417 /// [`begin_journal`](Self::begin_journal) — or `None` for a source that records none.
418 fn end_journal(&self) -> Option<WriteJournal> {
419 None
420 }
421
422 /// Whether the source is answering right now.
423 ///
424 /// # Errors
425 ///
426 /// Returns a [`SourceError`] when the check itself could not be made.
427 async fn health(&self) -> Result<Health, SourceError>;
428
429 /// The [`Designator`](crate::Designator) naming the tracker this source reads, built by
430 /// [`Designator::of_backend`](crate::Designator::of_backend) over the backend's own opaque
431 /// identifier of itself — or `None` for a backend with none, whose configuration may
432 /// declare a `public_alias` instead.
433 ///
434 /// At most one request. The engine keeps the answer per host, so a source is asked once.
435 /// The default is `None`.
436 ///
437 /// # Errors
438 ///
439 /// Returns a [`SourceError`] when the backend could not be asked.
440 async fn designator(&self) -> Result<Option<crate::Designator>, SourceError> {
441 Ok(None)
442 }
443
444 /// Fetch one task by its native id, or `None` when there is no such task.
445 ///
446 /// # Errors
447 ///
448 /// Returns a [`SourceError`] when the source could not answer.
449 async fn get_task(&self, id: &NativeId) -> Result<Option<Task>, SourceError>;
450
451 /// Fetch several tasks by their native ids, each with the first page of its comments
452 /// when `comments` names the page to read — one answer per id, in the order they were
453 /// given.
454 ///
455 /// Each answer is what [`get_task`](Self::get_task) answers for that id, so a task that
456 /// is not there is `Ok(None)` and a read that failed fails that id alone. Its
457 /// [`TaskDetailRead::comments`] is what [`task_comments`](Self::task_comments) answers
458 /// for `comments`. The engine passes `comments` only to a source declaring
459 /// [`Capabilities::comments`](crate::Capabilities::comments) native.
460 ///
461 /// Defaulted to exactly those calls, item by item, so a source that implements nothing
462 /// here answers as it always did. A source that can read many items — or an item and its
463 /// comments — in fewer requests than that overrides it, which is the whole reason it
464 /// exists: a caller holding twenty ids pays for one batch rather than forty reads.
465 async fn get_task_details(
466 &self,
467 ids: &[NativeId],
468 comments: Option<&PageRequest>,
469 ) -> Vec<Result<Option<TaskDetailRead>, SourceError>> {
470 let mut read = Vec::with_capacity(ids.len());
471 for id in ids {
472 read.push(match self.get_task(id).await {
473 Ok(Some(task)) => {
474 let comments = match comments {
475 Some(page) => Some(self.task_comments(id, page).await),
476 None => None,
477 };
478 Ok(Some(TaskDetailRead { task, comments }))
479 }
480 Ok(None) => Ok(None),
481 Err(error) => Err(error),
482 });
483 }
484 read
485 }
486
487 /// Fetch one project by its native id, or `None` when there is no such project.
488 ///
489 /// # Errors
490 ///
491 /// Returns a [`SourceError`] when the source could not answer.
492 async fn get_project(&self, id: &NativeId) -> Result<Option<Project>, SourceError>;
493
494 /// One page of the tasks matching `query`.
495 ///
496 /// # Errors
497 ///
498 /// Returns a [`SourceError`] when the source could not answer.
499 async fn query_tasks(
500 &self,
501 query: &TaskQuery,
502 page: &PageRequest,
503 ) -> Result<Page<Task>, SourceError>;
504
505 /// One page of each of many task queries, answered in the order asked, each exactly as
506 /// [`query_tasks`](Self::query_tasks) would answer it alone — the three capability rules
507 /// included, query by query.
508 ///
509 /// One query's page failing is that query's answer alone: the others are answered as
510 /// though it had not been asked. Defaulted to one [`query_tasks`](Self::query_tasks) per
511 /// query; a source whose backend answers several searches in one request overrides it.
512 async fn query_tasks_batch(
513 &self,
514 asks: &[(TaskQuery, PageRequest)],
515 ) -> Vec<Result<Page<Task>, SourceError>> {
516 let mut answers = Vec::with_capacity(asks.len());
517 for (query, page) in asks {
518 answers.push(self.query_tasks(query, page).await);
519 }
520 answers
521 }
522
523 /// One page of tasks, optionally carrying each task's first comment page.
524 ///
525 /// With `comments` absent this answers exactly [`Self::query_tasks`], with no
526 /// comments requested. With it present, every returned item must carry
527 /// [`TaskDetailRead::comments`], including a per-item refusal for a task that
528 /// cannot have comments. The comment request must have no cursor: subsequent
529 /// pages belong to individual tasks and are read through [`Self::task_comments`].
530 ///
531 /// Sources may return fewer tasks than the limit, including an empty page with a
532 /// continuation cursor when the underlying page contains only non-task items. Cursors
533 /// belong to this method and must not be exchanged with ordinary listing cursors.
534 /// A source may document the backend enumeration's consistency separately from its
535 /// ordinary listing, but must apply every predicate it declares native or refuse it.
536 ///
537 /// # Errors
538 ///
539 /// A source that cannot include comments refuses the listing rather than silently
540 /// omitting them. The default refuses before reading any tasks when asked for comments.
541 async fn query_task_details(
542 &self,
543 query: &TaskQuery,
544 page: &PageRequest,
545 comments: Option<&PageRequest>,
546 ) -> Result<Page<TaskDetailRead>, SourceError> {
547 if comments.is_some() {
548 return Err(SourceError::Refused {
549 message: format!("the {} plugin cannot list tasks with comments", self.kind()),
550 });
551 }
552 let tasks = self.query_tasks(query, page).await?;
553 Ok(Page {
554 items: tasks
555 .items
556 .into_iter()
557 .map(|task| TaskDetailRead {
558 task,
559 comments: None,
560 })
561 .collect(),
562 next: tasks.next,
563 })
564 }
565
566 /// One page of the projects matching `query`.
567 ///
568 /// # Errors
569 ///
570 /// Returns a [`SourceError`] when the source could not answer.
571 async fn query_projects(
572 &self,
573 query: &ProjectQuery,
574 page: &PageRequest,
575 ) -> Result<Page<Project>, SourceError>;
576
577 /// One page of the projects whose [`TaskQuery::ORIGIN_KEY`] entry is a string equal to
578 /// `origin`, exactly — the projects copied from that qualified id, and none other.
579 ///
580 /// `origin` is compared byte for byte, on the terms [`TaskQuery::origin`] states, and is
581 /// never constructed or interpreted here. Zero, one or several projects may match; which
582 /// of several a caller wants is the caller's question.
583 ///
584 /// Defaulted to [`query_projects`](Self::query_projects) unfiltered, walked to its end on
585 /// every call and narrowed here, so a source that implements nothing answers exactly what
586 /// its own listing holds; the default's cursor is a position among the matches. A source
587 /// that can ask its store for one origin overrides it, which is the whole reason it
588 /// exists: a caller looking for the copies of one plan pays for those copies rather than
589 /// for every project the store holds.
590 ///
591 /// # Errors
592 ///
593 /// Returns a [`SourceError`] when the source could not answer, and
594 /// [`SourceError::Refused`] for a cursor the default did not hand out.
595 async fn query_projects_by_origin(
596 &self,
597 origin: &str,
598 page: &PageRequest,
599 ) -> Result<Page<Project>, SourceError> {
600 let wanted = origin_query(origin);
601 let mut matched = Vec::new();
602 let mut cursor: Option<crate::Cursor> = None;
603 // Every cursor the listing handed out, so one cycling through several is caught as
604 // one repeating the last is.
605 let mut visited: Vec<String> = Vec::new();
606 loop {
607 let listed = self
608 .query_projects(
609 &ProjectQuery::default(),
610 &PageRequest {
611 cursor: cursor.clone(),
612 limit: page.limit,
613 },
614 )
615 .await?;
616 overran(listed.items.len(), page.limit)?;
617 matched.extend(
618 listed
619 .items
620 .into_iter()
621 .filter(|project| wanted.origin_matches(&project.metadata)),
622 );
623 cursor = match listed.next {
624 None => break,
625 Some(next) if visited.contains(&next.0) => return Err(repeated_cursor()),
626 Some(next) => {
627 visited.push(next.0.clone());
628 Some(next)
629 }
630 };
631 }
632 page_of_matches(matched, page)
633 }
634
635 /// One page of every label this source knows.
636 ///
637 /// # Errors
638 ///
639 /// Returns a [`SourceError`] when the source could not answer.
640 async fn labels(&self, page: &PageRequest) -> Result<Page<Label>, SourceError>;
641
642 /// One page of the task dependency edges at `id`, in `direction`.
643 ///
644 /// # Errors
645 ///
646 /// Returns a [`SourceError`] when the source could not answer.
647 async fn task_dependencies(
648 &self,
649 id: &NativeId,
650 direction: Direction,
651 page: &PageRequest,
652 ) -> Result<Page<DependencyEdge>, SourceError>;
653
654 /// One page of the project dependency edges at `id`, in `direction`.
655 ///
656 /// # Errors
657 ///
658 /// Returns a [`SourceError`] when the source could not answer.
659 async fn project_dependencies(
660 &self,
661 id: &NativeId,
662 direction: Direction,
663 page: &PageRequest,
664 ) -> Result<Page<DependencyEdge>, SourceError>;
665
666 /// Whether this source can be written through at all.
667 ///
668 /// Defaulted to [`WriteSupport::Unsupported`], which is what keeps this a read
669 /// interface for every source that has nothing to write into: one that cannot be
670 /// written needs no edit and keeps working. Read before a write is attempted, so a
671 /// copy naming such a source as its destination is refused before anything is read.
672 fn writes(&self) -> WriteSupport {
673 WriteSupport::Unsupported
674 }
675
676 /// The status this source's backend holds once an item of `kind` is written at `status`:
677 /// the name it records for the category, where it names a category itself rather than
678 /// keeping the name it was given.
679 ///
680 /// What a copy compares a destination item's status with, so an item whose category it
681 /// already holds reads as unchanged rather than as differing by a name no write could
682 /// change. Defaulted to `status` as given: a backend that keeps the name it is written
683 /// declares nothing.
684 ///
685 /// Asynchronous and fallible because a source hosted over the stdio plugin protocol asks
686 /// the plugin that declares it; an in-process source answers at once and never fails.
687 ///
688 /// # Errors
689 ///
690 /// A [`SourceError`] when the source could not say what its backend holds — never the
691 /// status as given in its place.
692 async fn stored_status(&self, kind: ItemKind, status: &Status) -> Result<Status, SourceError> {
693 let _ = kind;
694 Ok(status.clone())
695 }
696
697 /// The content the backend answered it now holds for the `record` `id`, as the response
698 /// to this instance's latest write of that item's content reported it — taken, so a second
699 /// call answers `None` until the next such write.
700 ///
701 /// The content is as a read reports content — the metadata slot, and whatever separates
702 /// it from the content, removed — and it is read off the write's own response, never by a
703 /// request of its own. It is what the engine takes as the record of what the item holds: a
704 /// backend may rewrite the Markdown it is written, keeping its rendered meaning, and where
705 /// this differs from what was sent the engine records each fingerprint it keeps over this
706 /// content instead — a rendering's `body_digest`, a copy's
707 /// [`MetadataKey::COPIED_DESTINATION_VERSION_KEY`] — and writes it back once, beside them,
708 /// as its own request. That follow-up write's own answer is then compared with this
709 /// content, and a backend that does not hold its own stored content stable is refused as
710 /// `stored-content-diverged`; only a `linear` source's answer that autolinked or escaped a copy's
711 /// own text is written back once more instead, and that write's answer is compared byte for
712 /// byte. Defaulted to `None`: a backend that stores what
713 /// it is given says nothing, and nothing is compared or written again.
714 fn stored_content(&self, record: MetadataRecord, id: &NativeId) -> Option<String> {
715 let _ = (record, id);
716 None
717 }
718
719 /// The headings of the `record` `id` as this source's backend stores them — each one's
720 /// text and the id the backend gave it, in order — from the latest answer this source
721 /// read or wrote it with in the current command.
722 ///
723 /// Answered without a request: a backend that assigns its headings ids reports them out
724 /// of the responses its reads and writes already received, so a caller may ask after
725 /// every read and every write for free. `None` is not knowing — the record was not read
726 /// or written here, or its answer carried no headings — and a caller that needs them
727 /// reads the record. Defaulted to `None`: a backend whose headings have no ids of their
728 /// own has nothing to say.
729 fn stored_headings(
730 &self,
731 record: MetadataRecord,
732 id: &NativeId,
733 ) -> Option<Vec<crate::StoredHeading>> {
734 let _ = (record, id);
735 None
736 }
737
738 /// Hand this source the markup its bodies carry — for a reader to address their headings,
739 /// or for a block to be expandable there: see [`crate::BodyMarkup`]. Called once, by the engine, as it builds the source.
740 /// Defaulted to ignoring it, which a source whose backend needs no such markup does.
741 fn attach_body_markup(&self, markup: crate::SharedBodyMarkup) {
742 let _ = markup;
743 }
744
745 /// Create or update one task, answering with the native id the destination holds it
746 /// under.
747 ///
748 /// A source declaring [`WriteSupport::Supported`] owes three things here. It refuses,
749 /// naming the field, anything it cannot represent rather than dropping it — including
750 /// a metadata key it cannot carry, which it names. It writes every other field it was
751 /// given. And it never creates when [`ItemWrite::target`] names an item it does not
752 /// hold.
753 ///
754 /// # Errors
755 ///
756 /// Returns [`SourceError::Refused`] when this source has no write side, when a field
757 /// or a metadata key cannot be represented, or when `target` names nothing here; and
758 /// whatever else the source could not do the write for.
759 async fn write_task(&self, write: &ItemWrite<Task>) -> Result<NativeId, SourceError> {
760 let _ = write;
761 Err(unwritable(self.kind()))
762 }
763
764 /// Create or update one project, on exactly the terms of
765 /// [`write_task`](Self::write_task).
766 ///
767 /// # Errors
768 ///
769 /// As [`write_task`](Self::write_task).
770 async fn write_project(&self, write: &ItemWrite<Project>) -> Result<NativeId, SourceError> {
771 let _ = write;
772 Err(unwritable(self.kind()))
773 }
774
775 /// Whether this source can represent every field of `write` — its status, its content, the
776 /// tasks it delivers and every other field a [`write_task`](Self::write_task) of it would
777 /// refuse as "cannot represent the field …" — asked before anything is written and changing
778 /// nothing.
779 ///
780 /// A task copy asks it of every task it plans before its first write, and leaves out each
781 /// task this refuses — answered `failed`, with this refusal as its reason — writing the rest
782 /// as one copy. It answers what the write itself would refuse in the same words; and it is a
783 /// promise only about representability, so a write may still fail for any other reason.
784 ///
785 /// Defaulted to `Ok(())`: a source that does not answer it in advance still refuses such a
786 /// write in its write, which a copy then takes back whole, exactly as before.
787 ///
788 /// # Errors
789 ///
790 /// Returns [`SourceError::Refused`] naming the field this source cannot represent; and
791 /// whatever else kept it from finding out.
792 async fn check_task_write(&self, write: &ItemWrite<Task>) -> Result<(), SourceError> {
793 let _ = write;
794 Ok(())
795 }
796
797 /// How large the body a [`write_task`](Self::write_task) of `write` would store is — or a
798 /// [`write_task_with_assets`](Self::write_task_with_assets) of it, when `assets` is given —
799 /// and the most one body here holds, answered without a request and changing nothing.
800 ///
801 /// The body is composed as the write would compose it: the content, this source's metadata
802 /// slot and every asset reference rewritten to where this source serves the asset, an asset
803 /// not uploaded yet at the length its address will have. A copy asks it of every item it
804 /// plans before its first write, refuses the whole copy when any item's body is larger than
805 /// the limit, and reports each size from a dry run. What the write itself decides from a
806 /// read — the repository an issue lands in, an edge no relationship here can name — is
807 /// taken as this source would most likely decide it, so the answer may differ from what
808 /// lands by those few characters; the write still refuses a body its backend will not take.
809 ///
810 /// Defaulted to `None`: a source that cannot say, and one whose bodies have no size worth
811 /// stating, answers nothing, and its items are copied exactly as before.
812 fn task_body_size(
813 &self,
814 write: &ItemWrite<Task>,
815 assets: Option<&crate::AssetWrite>,
816 ) -> Option<crate::BodySize> {
817 let _ = (write, assets);
818 None
819 }
820
821 /// [`task_body_size`](Self::task_body_size), for a [`write_project`](Self::write_project).
822 fn project_body_size(&self, write: &ItemWrite<Project>) -> Option<crate::BodySize> {
823 let _ = write;
824 None
825 }
826
827 /// [`task_body_size`](Self::task_body_size), for a [`write_document`](Self::write_document) —
828 /// or a [`write_document_with_assets`](Self::write_document_with_assets), when `assets` is
829 /// given.
830 fn document_body_size(
831 &self,
832 write: &ItemWrite<Document>,
833 assets: Option<&crate::AssetWrite>,
834 ) -> Option<crate::BodySize> {
835 let _ = (write, assets);
836 None
837 }
838
839 /// Whether a write of an item of `kind` at `category` — over the item `target` names, or
840 /// creating one when it is `None` — would have a status to write, asked before the write
841 /// and changing nothing.
842 ///
843 /// A caller that has to put an item back when a later write of it fails — a copy, whose
844 /// journal records what an item held before overwriting it — asks this first, so a status
845 /// this source has no name for is refused while nothing has been recorded or written, and
846 /// nothing has to be put back. It answers what the write itself would refuse a status
847 /// with, in the same words, and sends no request a write of that status would not have
848 /// sent anyway: what it reads to answer, it holds for the write that follows.
849 ///
850 /// Defaulted to `Ok(())`: a source that does not answer it in advance still refuses the
851 /// status in its write, exactly as before.
852 ///
853 /// # Errors
854 ///
855 /// Returns [`SourceError::Refused`] naming the kind, the category and what is missing
856 /// when this source has no name for that status; and whatever else kept it from finding
857 /// out.
858 async fn check_status_write(
859 &self,
860 kind: ItemKind,
861 category: StatusCategory,
862 target: Option<&NativeId>,
863 ) -> Result<(), SourceError> {
864 let _ = (kind, category, target);
865 Ok(())
866 }
867
868 /// The status an item of `kind` reads back as once this source has written `status` for
869 /// it, asked without writing or reading anything.
870 ///
871 /// A source that keeps a status's name as it was given answers `status` itself. One that
872 /// writes a category to a name of its own — a board's `Status` option the category maps
873 /// to — answers that name, so a caller comparing what it would write with what the source
874 /// holds does not read a difference of spelling alone as a change: a copy then leaves an
875 /// item that already reads as the source does unwritten.
876 ///
877 /// Defaulted to `status` itself, which is what every source keeping names verbatim reads
878 /// back, and what a caller compared against before this was asked.
879 fn status_as_written(&self, kind: ItemKind, status: &Status) -> Status {
880 let _ = kind;
881 status.clone()
882 }
883
884 /// Set the status of one task this source holds, and change nothing else about it,
885 /// answering with the status as this source now reads it — or `None` when this source
886 /// holds no such task.
887 ///
888 /// The category lands where this source's own mapping sends it, exactly as a
889 /// [`write_task`](Self::write_task) of a task in that category would: a category this
890 /// source has disabled is refused in the words a write of it is refused with. Title,
891 /// content, labels, metadata, dependencies, [`Task::delivers`], [`Task::delivered_by`],
892 /// project and comments are left exactly as they are.
893 ///
894 /// Defaulted to [`unwritable_field`], which is what keeps this an addition rather than a
895 /// break: a source that cannot write a status on its own needs no edit and refuses by
896 /// saying so. A source declaring [`WriteSupport::Unsupported`] is never asked.
897 ///
898 /// [`Task::delivers`]: crate::Task::delivers
899 /// [`Task::delivered_by`]: crate::Task::delivered_by
900 ///
901 /// # Errors
902 ///
903 /// Returns [`SourceError::Refused`] when this source cannot write a status, or cannot
904 /// write this one; and whatever else the source could not do the write for.
905 async fn set_task_status(
906 &self,
907 id: &NativeId,
908 category: StatusCategory,
909 ) -> Result<Option<Status>, SourceError> {
910 let _ = (id, category);
911 Err(unwritable_field(self.kind(), "status"))
912 }
913
914 /// Set the status of one project this source holds, and change nothing else about it,
915 /// answering with the status as this source now reads it — or `None` when this source
916 /// holds no such project.
917 ///
918 /// The category lands where this source's own mapping sends it for a project, exactly as a
919 /// [`write_project`](Self::write_project) of a project in that category would: a category
920 /// this source has disabled is refused in the words a write of it is refused with. Title,
921 /// content, labels, metadata, repositories, dependencies and the project's tasks are left
922 /// exactly as they are. A project delivers no task, so nothing is kept in step after it.
923 ///
924 /// Defaulted to the refusal [`set_task_status`](Self::set_task_status) defaults to,
925 /// [`unwritable_field`] naming `status`, which is what keeps this an addition rather than a
926 /// break: a source that does not implement it needs no edit. A source declaring
927 /// [`WriteSupport::Unsupported`] is never asked.
928 ///
929 /// # Errors
930 ///
931 /// Returns [`SourceError::Refused`] when this source cannot write a project's status, or
932 /// cannot write this one; and whatever else the source could not do the write for.
933 async fn set_project_status(
934 &self,
935 id: &NativeId,
936 category: StatusCategory,
937 ) -> Result<Option<Status>, SourceError> {
938 let _ = (id, category);
939 Err(unwritable_field(self.kind(), "status"))
940 }
941
942 /// Set the status of one task this source holds, as [`set_task_status`](Self::set_task_status)
943 /// does, and answer with the whole task as this source now reads it — its
944 /// [`Task::delivers`] among what a caller keeping delivered tasks in step needs — or `None`
945 /// when this source holds no such task.
946 ///
947 /// Defaulted to exactly the two calls a caller would otherwise make: [`get_task`] first,
948 /// answering `None` with nothing written when it does, then `set_task_status`, the status
949 /// it answers put on the task read. A source whose status write answers the whole task in
950 /// the same round trip overrides it to save the read.
951 ///
952 /// [`Task::delivers`]: crate::Task::delivers
953 /// [`get_task`]: Self::get_task
954 ///
955 /// # Errors
956 ///
957 /// As [`get_task`](Self::get_task) and [`set_task_status`](Self::set_task_status).
958 async fn set_task_status_reading(
959 &self,
960 id: &NativeId,
961 category: StatusCategory,
962 ) -> Result<Option<Task>, SourceError> {
963 let Some(mut task) = self.get_task(id).await? else {
964 return Ok(None);
965 };
966 let Some(status) = self.set_task_status(id, category).await? else {
967 return Ok(None);
968 };
969 task.status = status;
970 Ok(Some(task))
971 }
972
973 /// Every task this source holds whose card contradicts its issue's closure, each with the
974 /// status that brings it in line — what `task status reconcile` writes, through
975 /// [`set_task_status`](Self::set_task_status), one task at a time.
976 ///
977 /// A task needs it when its issue is closed with a reason that reads `done` or
978 /// `cancelled` and its card does not sit at the option this source's mapping gives that
979 /// category. An open task, a closure that reads `unknown` and a card already in line are
980 /// never answered. Changes nothing.
981 ///
982 /// Asked only of a source declaring
983 /// [`Capabilities::reconcile_status`](crate::Capabilities::reconcile_status); defaulted to a
984 /// refusal saying so, which no caller holding to that declaration ever receives.
985 ///
986 /// # Errors
987 ///
988 /// Returns [`SourceError::Refused`] when this source answers no such question; and whatever
989 /// kept it from reading its items.
990 async fn status_contradictions(&self) -> Result<Vec<StatusContradiction>, SourceError> {
991 Err(SourceError::Refused {
992 message: format!(
993 "a {} source's status is its closure, so nothing needs reconciling",
994 self.kind()
995 ),
996 })
997 }
998
999 /// For each issue in `issues`, in order and once each, the task this source holds for it
1000 /// and what moving it to `done` comes to — what `task status complete` writes, through
1001 /// [`set_task_status`](Self::set_task_status), for each one answered
1002 /// [`Completion::Due`](crate::Completion::Due).
1003 ///
1004 /// The read is proportional to `issues` and never to the size of what this source holds,
1005 /// and an empty `issues` reads nothing. Changes nothing.
1006 ///
1007 /// Asked only of a source declaring
1008 /// [`Capabilities::complete_by_issue`](crate::Capabilities::complete_by_issue); defaulted
1009 /// to a refusal saying so, which no caller holding to that declaration ever receives.
1010 ///
1011 /// # Errors
1012 ///
1013 /// Returns [`SourceError::Refused`] when this source answers no such question; and whatever
1014 /// kept it from reading the issues.
1015 async fn issue_holdings(&self, issues: &[IssueRef]) -> Result<Vec<IssueHolding>, SourceError> {
1016 let _ = issues;
1017 Err(SourceError::Refused {
1018 message: format!("a {} source holds no items by issue reference", self.kind()),
1019 })
1020 }
1021
1022 /// Set the priority of one task this source holds, and change nothing else about it,
1023 /// answering with the priority as this source now reads it — or `None` when this source
1024 /// holds no such task.
1025 ///
1026 /// [`Priority::None`] clears the priority. Title, content, status, labels, metadata,
1027 /// repositories, dependencies and comments are left exactly as they are. Nothing about
1028 /// the task's status moves, so the engine re-evaluates no delivered task after it.
1029 ///
1030 /// Defaulted to [`unwritable_field`], which is what keeps this an addition rather than a
1031 /// break. A source declaring [`WriteSupport::Unsupported`], or declaring
1032 /// [`Capabilities::priority`] unsupported, is never asked.
1033 ///
1034 /// # Errors
1035 ///
1036 /// Returns [`SourceError::Refused`] when this source cannot write a priority, or cannot
1037 /// write this one — a board with no option for it, naming the option; and whatever else
1038 /// the source could not do the write for.
1039 async fn set_task_priority(
1040 &self,
1041 id: &NativeId,
1042 priority: Priority,
1043 ) -> Result<Option<Priority>, SourceError> {
1044 let _ = (id, priority);
1045 Err(unwritable_field(self.kind(), "priority"))
1046 }
1047
1048 /// Replace the content of one task this source holds with `content`, byte for byte, and
1049 /// change nothing else about it — or answer `None` when this source holds no such task.
1050 ///
1051 /// The content is [`Task::content`] exactly as this source reports it: what a later read
1052 /// answers there is `content`. Where the source keeps something else inside the same
1053 /// backend field — a metadata block in an issue body — that is kept as it was, and so is
1054 /// every other member: title, status, priority, labels, metadata, repositories,
1055 /// dependencies, project and comments. Nothing about the task's status moves, so the
1056 /// engine re-evaluates no delivered task after it.
1057 ///
1058 /// Defaulted to [`unwritable_field`] on exactly the terms of
1059 /// [`set_task_status`](Self::set_task_status). A source declaring
1060 /// [`WriteSupport::Unsupported`] is never asked.
1061 ///
1062 /// # Errors
1063 ///
1064 /// Returns [`SourceError::Refused`] when this source cannot write a task's content on its
1065 /// own, or cannot represent this one; and whatever else the source could not do the write
1066 /// for.
1067 async fn set_task_content(
1068 &self,
1069 id: &NativeId,
1070 content: &str,
1071 ) -> Result<Option<()>, SourceError> {
1072 let _ = (id, content);
1073 Err(unwritable_field(self.kind(), "content"))
1074 }
1075
1076 /// Replace the [`Task::delivered_by`] of one task this source holds, and change nothing
1077 /// else about it — or answer `None` when this source holds no such task.
1078 ///
1079 /// Every entry is a qualified id, and the list is the whole of it: what the task held
1080 /// there before is replaced, not merged. It is the store's to keep in step — the engine
1081 /// calls this whenever it writes a task's [`Task::delivers`] — and nothing a person types
1082 /// reaches it directly.
1083 ///
1084 /// Defaulted to [`unwritable_field`] on exactly the terms of
1085 /// [`set_task_status`](Self::set_task_status).
1086 ///
1087 /// [`Task::delivers`]: crate::Task::delivers
1088 /// [`Task::delivered_by`]: crate::Task::delivered_by
1089 ///
1090 /// # Errors
1091 ///
1092 /// Returns [`SourceError::Refused`] when this source cannot hold the list, and whatever
1093 /// else it could not do the write for.
1094 async fn set_delivered_by(
1095 &self,
1096 id: &NativeId,
1097 delivered_by: &[TaskRef],
1098 ) -> Result<Option<()>, SourceError> {
1099 let _ = (id, delivered_by);
1100 Err(unwritable_field(self.kind(), "delivered_by"))
1101 }
1102
1103 /// Set one key of the metadata of one task this source holds, and change nothing else
1104 /// about it, answering with the task as this source reads it back after the write — or
1105 /// `None` when this source holds no such task.
1106 ///
1107 /// The key is added when the task does not hold it and replaced when it does; every other
1108 /// metadata key, and every other field of the task, is left exactly as it was. A `value`
1109 /// the task already holds under `key` is a write that changes nothing, and a source owes
1110 /// it no write at all. The answer is a read, not an echo: what the engine reports as the
1111 /// value is what the returned task holds under `key`.
1112 ///
1113 /// Nothing about the task's status or its [`Task::delivers`] moves, so the engine
1114 /// re-evaluates no delivered task after this write.
1115 ///
1116 /// Defaulted to [`unwritable_metadata`] on exactly the terms of
1117 /// [`set_task_status`](Self::set_task_status): a source that cannot write one key on its
1118 /// own needs no edit and refuses by saying so. A source declaring
1119 /// [`WriteSupport::Unsupported`] is never asked.
1120 ///
1121 /// [`Task::delivers`]: crate::Task::delivers
1122 ///
1123 /// # Errors
1124 ///
1125 /// Returns [`SourceError::Refused`] when this source cannot write one key of a task's
1126 /// metadata on its own, or cannot write this one without changing something else; and
1127 /// whatever else the source could not do the write for.
1128 async fn set_task_metadata(
1129 &self,
1130 id: &NativeId,
1131 key: &MetadataKey,
1132 value: &Value,
1133 ) -> Result<Option<Task>, SourceError> {
1134 let _ = (id, key, value);
1135 Err(unwritable_metadata(self.kind(), MetadataRecord::Task))
1136 }
1137
1138 /// Apply a targeted update to one task this source holds — every field `update` names, and
1139 /// nothing else — answering with a [`TaskUpdateOutcome`], or `None` when this source holds
1140 /// no such task.
1141 ///
1142 /// The outcome is everything the engine reports about the call, so it reads nothing of its
1143 /// own: the task as this source reads it once the update landed — from the one read it made
1144 /// and what it then wrote, where its backend answers a write with what it holds — the
1145 /// fields it actually wrote, and the `delivers` the task held before.
1146 ///
1147 /// A field already holding the requested value is sent no write, and an update in which
1148 /// nothing differs sends no write at all. Every field `update` leaves unnamed — labels,
1149 /// repositories, project, [`Task::delivered_by`] and comments always among them — is left
1150 /// exactly as it is. An update naming one metadata key both to set and to remove is refused
1151 /// before anything is written, in the words of [`TaskUpdate::consistent`].
1152 ///
1153 /// Defaulted to [`TaskUpdate::rewrite`]: read the task, apply the update, and — only when
1154 /// anything differs — [`write_task`](Self::write_task) it with its `target` set. That keeps
1155 /// this an addition rather than a break, and a source that predates it behaves correctly and
1156 /// is merely not minimal; one whose backend can take a field on its own owes an override
1157 /// that sends only what differs. A source declaring [`WriteSupport::Unsupported`] is never
1158 /// asked.
1159 ///
1160 /// [`Task::delivered_by`]: crate::Task::delivered_by
1161 ///
1162 /// # Errors
1163 ///
1164 /// Returns [`SourceError::Refused`] when the update contradicts itself, when a field it
1165 /// names cannot be represented here — a category this source has disabled included — and
1166 /// whatever else the source could not do the write for.
1167 async fn update_task(
1168 &self,
1169 id: &NativeId,
1170 update: &TaskUpdate,
1171 ) -> Result<Option<TaskUpdateOutcome>, SourceError> {
1172 update.rewrite(self, id).await
1173 }
1174
1175 /// Apply many targeted updates, each on exactly the terms of
1176 /// [`update_task`](Self::update_task), answering one [`BatchAnswer`] per update in the
1177 /// order given.
1178 ///
1179 /// Each update is its own write, held to its own `if_version` and guarded by its own
1180 /// `when_priority`: one answered [`BatchAnswer::VersionMoved`],
1181 /// [`BatchAnswer::PriorityHeld`], [`BatchAnswer::Missing`] or an error writes nothing of
1182 /// its own and never writes or refuses another. Every field one update names is written
1183 /// together or not at all.
1184 ///
1185 /// Defaulted to one [`update_task`](Self::update_task) per update, preceded by one read of
1186 /// the task where its hold or its guard needs one — exactly the requests a caller making
1187 /// each update on its own would send. A source whose backend carries several updates in one
1188 /// request overrides it, and sends on its own exactly the update its backend would refuse
1189 /// as a whole.
1190 async fn update_tasks(
1191 &self,
1192 updates: &[crate::BatchUpdate],
1193 ) -> Vec<Result<crate::BatchAnswer<TaskUpdateOutcome>, SourceError>> {
1194 crate::batch::update_each(self, updates).await
1195 }
1196
1197 /// Each task's relations — its parent, its children and, in its metadata, its links — one
1198 /// answer per id in the order given, `None` for an id this source holds no task under.
1199 ///
1200 /// Each [`Relations::task`](crate::Relations::task) is the task exactly as
1201 /// [`get_task`](Self::get_task) answers it, its `## Links` section stripped
1202 /// ([`read_content`](crate::read_content)); a source that holds no parent relation — or,
1203 /// like a GitHub board read with sub-issues as projects, gives it another meaning — answers
1204 /// every task with none and no children. A source whose backend reads many items in one
1205 /// request reads them together.
1206 ///
1207 /// Each answer is its own: an id the source cannot read — one its backend refuses, or
1208 /// answers malformed — carries that [`SourceError`] while every other id is answered, so
1209 /// one bad id never costs a relation call the rest of its items. A failure that reaches
1210 /// every id, a request that never answered among them, is every id's answer.
1211 ///
1212 /// Defaulted to a refusal of every id: a source that predates relations, or a peer over
1213 /// the plugin protocol, holds none and strips no section, so a link is never written to
1214 /// it.
1215 async fn read_relations(
1216 &self,
1217 ids: &[NativeId],
1218 ) -> Vec<Result<Option<crate::Relations>, SourceError>> {
1219 let refused = crate::relationless(self.kind());
1220 ids.iter().map(|_| Err(refused.clone())).collect()
1221 }
1222
1223 /// Set or remove each child's parent, answering one [`ParentAnswer`](crate::ParentAnswer)
1224 /// per write in the order given.
1225 ///
1226 /// Each write is its own: one held to a version the child has moved past, one naming a
1227 /// missing task, and one the destination refuses — a cycle, or a limit on children or depth
1228 /// — is that write's answer alone, and every other write goes on. A child already under the
1229 /// parent named is answered `Unchanged` and nothing is sent for it.
1230 ///
1231 /// Defaulted to refusing every write, for a source that holds no parent relation.
1232 async fn set_parents(
1233 &self,
1234 writes: &[crate::ParentWrite],
1235 ) -> Vec<Result<crate::ParentAnswer, SourceError>> {
1236 writes
1237 .iter()
1238 .map(|_| Err(crate::relationless(self.kind())))
1239 .collect()
1240 }
1241
1242 /// The link types this source mirrors as its own relation, each with its native word, as
1243 /// its `link_types` configuration names them. Defaulted to none.
1244 fn link_types(&self) -> crate::LinkTypes {
1245 crate::LinkTypes::default()
1246 }
1247
1248 /// Add each native relation mirroring a link — idempotently, so adding one that is already
1249 /// there is no change — answering one result per relation in the order given.
1250 ///
1251 /// The engine asks this only for a link type [`link_types`](Self::link_types) names, and
1252 /// only between two tasks of this source. Defaulted to refusing each.
1253 async fn add_native_links(&self, links: &[crate::NativeLink]) -> Vec<Result<(), SourceError>> {
1254 links
1255 .iter()
1256 .map(|_| Err(crate::relationless(self.kind())))
1257 .collect()
1258 }
1259
1260 /// Remove each native relation mirroring a link — one that is not there is no change —
1261 /// answering one result per relation in the order given. The engine asks only once no
1262 /// mirrored link between that pair remains. Defaulted to refusing each.
1263 async fn remove_native_links(
1264 &self,
1265 links: &[crate::NativeLink],
1266 ) -> Vec<Result<(), SourceError>> {
1267 links
1268 .iter()
1269 .map(|_| Err(crate::relationless(self.kind())))
1270 .collect()
1271 }
1272
1273 /// Set one key of the metadata of one project this source holds, on exactly the terms of
1274 /// [`set_task_metadata`](Self::set_task_metadata).
1275 ///
1276 /// # Errors
1277 ///
1278 /// As [`set_task_metadata`](Self::set_task_metadata).
1279 async fn set_project_metadata(
1280 &self,
1281 id: &NativeId,
1282 key: &MetadataKey,
1283 value: &Value,
1284 ) -> Result<Option<Project>, SourceError> {
1285 let _ = (id, key, value);
1286 Err(unwritable_metadata(self.kind(), MetadataRecord::Project))
1287 }
1288
1289 /// Set one key of the metadata of one document this source holds, on exactly the terms of
1290 /// [`set_task_metadata`](Self::set_task_metadata).
1291 ///
1292 /// A source declaring [`Capabilities::documents`] unsupported is never asked, exactly as
1293 /// it is never asked for a document read.
1294 ///
1295 /// # Errors
1296 ///
1297 /// As [`set_task_metadata`](Self::set_task_metadata).
1298 async fn set_document_metadata(
1299 &self,
1300 id: &NativeId,
1301 key: &MetadataKey,
1302 value: &Value,
1303 ) -> Result<Option<Document>, SourceError> {
1304 let _ = (id, key, value);
1305 Err(unwritable_metadata(self.kind(), MetadataRecord::Document))
1306 }
1307
1308 /// Remove one task this destination holds, so a copy that could not finish can put
1309 /// the destination back the way it found it.
1310 ///
1311 /// This is not a verb of the product: nothing a user types deletes anything, and a
1312 /// copy never deletes an item it did not itself create in the run that is failing.
1313 /// It exists because a copy is either complete or it never happened — a half-written
1314 /// project has to be run again, and the re-run is the mutation burst that trips a
1315 /// hosted destination's rate limiter. Undoing this run's own creates is what removes
1316 /// that retry at source.
1317 ///
1318 /// A source declaring [`WriteSupport::Supported`] owes a real implementation, for the
1319 /// reason it owes [`write_task`](Self::write_task) one: the engine will create items
1320 /// there, so it has to be able to remove the ones it created. An `id` naming nothing
1321 /// is **not** an error — the item is already gone, which is the state this asks for.
1322 ///
1323 /// # Errors
1324 ///
1325 /// Returns [`SourceError::Refused`] when this source has no write side, and whatever
1326 /// else the source could not remove the item for.
1327 async fn delete_task(&self, id: &NativeId) -> Result<(), SourceError> {
1328 let _ = id;
1329 Err(unwritable(self.kind()))
1330 }
1331
1332 /// Remove one project this destination holds, on exactly the terms of
1333 /// [`delete_task`](Self::delete_task).
1334 ///
1335 /// # Errors
1336 ///
1337 /// As [`delete_task`](Self::delete_task).
1338 async fn delete_project(&self, id: &NativeId) -> Result<(), SourceError> {
1339 let _ = id;
1340 Err(unwritable(self.kind()))
1341 }
1342
1343 /// Fetch one document by its native id, or `None` when there is no such document.
1344 ///
1345 /// Defaulted to [`documentless`], which is what keeps documents an addition rather
1346 /// than a break: a source with none needs no edit, keeps working, and says so in the
1347 /// same words every other document-free source does. A source that has documents
1348 /// declares [`Support::Native`](crate::Support::Native) for
1349 /// [`Capabilities::documents`] and owes a real implementation here, because that
1350 /// declaration is what makes the engine ask.
1351 ///
1352 /// # Errors
1353 ///
1354 /// Returns [`SourceError::Refused`] when this source has no documents, and whatever
1355 /// else the source could not answer for.
1356 async fn get_document(&self, id: &NativeId) -> Result<Option<Document>, SourceError> {
1357 let _ = id;
1358 Err(documentless(self.kind()))
1359 }
1360
1361 /// One page of the documents matching `query`.
1362 ///
1363 /// Defaulted on exactly the terms of [`get_document`](Self::get_document). A source
1364 /// with no documents refuses rather than answering an empty page: an empty page reads
1365 /// as a source that has documents and holds none matching, which is the one wrong
1366 /// answer this method can give.
1367 ///
1368 /// # Errors
1369 ///
1370 /// As [`get_document`](Self::get_document).
1371 async fn query_documents(
1372 &self,
1373 query: &DocumentQuery,
1374 page: &PageRequest,
1375 ) -> Result<Page<Document>, SourceError> {
1376 let _ = (query, page);
1377 Err(documentless(self.kind()))
1378 }
1379
1380 /// One page of the documents whose [`TaskQuery::ORIGIN_KEY`] entry is a string equal to
1381 /// `origin`, exactly, on the terms of
1382 /// [`query_projects_by_origin`](Self::query_projects_by_origin).
1383 ///
1384 /// Defaulted to [`query_documents`](Self::query_documents) unfiltered, walked and narrowed
1385 /// as that default is — so a source with no documents refuses exactly as its
1386 /// `query_documents` does.
1387 ///
1388 /// # Errors
1389 ///
1390 /// As [`query_documents`](Self::query_documents), and [`SourceError::Refused`] for a
1391 /// cursor the default did not hand out.
1392 async fn query_documents_by_origin(
1393 &self,
1394 origin: &str,
1395 page: &PageRequest,
1396 ) -> Result<Page<Document>, SourceError> {
1397 let wanted = origin_query(origin);
1398 let mut matched = Vec::new();
1399 let mut cursor: Option<crate::Cursor> = None;
1400 // Every cursor the listing handed out, so one cycling through several is caught as
1401 // one repeating the last is.
1402 let mut visited: Vec<String> = Vec::new();
1403 loop {
1404 let listed = self
1405 .query_documents(
1406 &DocumentQuery::default(),
1407 &PageRequest {
1408 cursor: cursor.clone(),
1409 limit: page.limit,
1410 },
1411 )
1412 .await?;
1413 overran(listed.items.len(), page.limit)?;
1414 matched.extend(
1415 listed
1416 .items
1417 .into_iter()
1418 .filter(|document| wanted.origin_matches(&document.metadata)),
1419 );
1420 cursor = match listed.next {
1421 None => break,
1422 Some(next) if visited.contains(&next.0) => return Err(repeated_cursor()),
1423 Some(next) => {
1424 visited.push(next.0.clone());
1425 Some(next)
1426 }
1427 };
1428 }
1429 page_of_matches(matched, page)
1430 }
1431
1432 /// Create or update one document, on exactly the terms of
1433 /// [`write_task`](Self::write_task).
1434 ///
1435 /// # Errors
1436 ///
1437 /// As [`write_task`](Self::write_task).
1438 async fn write_document(&self, write: &ItemWrite<Document>) -> Result<NativeId, SourceError> {
1439 let _ = write;
1440 Err(unwritable(self.kind()))
1441 }
1442
1443 /// Remove one document this destination holds, on exactly the terms of
1444 /// [`delete_task`](Self::delete_task).
1445 ///
1446 /// # Errors
1447 ///
1448 /// As [`delete_task`](Self::delete_task).
1449 async fn delete_document(&self, id: &NativeId) -> Result<(), SourceError> {
1450 let _ = id;
1451 Err(unwritable(self.kind()))
1452 }
1453
1454 /// One page of the comments on `task`, oldest first, or `None` when this source holds
1455 /// no such task.
1456 ///
1457 /// Defaulted to [`commentless`], which is what keeps comments an addition rather than a
1458 /// break: a source with none needs no edit and keeps working. A source whose tasks have
1459 /// comments declares [`Support::Native`](crate::Support::Native) for
1460 /// [`Capabilities::comments`] and owes a real implementation of all four comment methods,
1461 /// because that declaration is what makes the engine ask.
1462 ///
1463 /// "No such task" is `None` rather than an error, exactly as it is for
1464 /// [`get_task`](Self::get_task); a task that exists and has no comments is an empty page.
1465 ///
1466 /// # Errors
1467 ///
1468 /// Returns [`SourceError::Refused`] when this source has no comments, and whatever else
1469 /// the source could not answer for.
1470 async fn task_comments(
1471 &self,
1472 task: &NativeId,
1473 page: &PageRequest,
1474 ) -> Result<Option<Page<Comment>>, SourceError> {
1475 let _ = (task, page);
1476 Err(commentless(self.kind()))
1477 }
1478
1479 /// [`get_task_details`](Self::get_task_details) as a copy reads the tasks it carries: each
1480 /// with the first page of its comments `comments` names — and, where the same request can
1481 /// carry them, what this source needs to answer [`task_dependencies`](Self::task_dependencies)
1482 /// for it without another, since a copy reads every task's edges next.
1483 ///
1484 /// Defaulted to `get_task_details(ids, Some(comments))`, which is exactly what it answers.
1485 /// A source whose detail read is priced by what it selects overrides it with a read that
1486 /// also carries the edges, so a copy of a changed task costs its detail read and nothing
1487 /// more; one whose reads are free has no reason to.
1488 async fn get_task_details_for_copy(
1489 &self,
1490 ids: &[NativeId],
1491 comments: &PageRequest,
1492 ) -> Vec<Result<Option<TaskDetailRead>, SourceError>> {
1493 self.get_task_details(ids, Some(comments)).await
1494 }
1495
1496 /// Read the items `ids` names — tasks, projects and documents alike, whatever kind each
1497 /// is — together, as a copy reads the counterparts it is about to write, and hold each for
1498 /// this command so that the next [`get_task`](Self::get_task),
1499 /// [`get_project`](Self::get_project) or [`get_document`](Self::get_document) of it is
1500 /// answered from that read, once, instead of being sent on its own.
1501 ///
1502 /// What is held is exactly what that read by id would have answered — the item's fields,
1503 /// its edges, its asset manifest and its change token — and only until the next read of
1504 /// it, a write naming it, or [`end_command`](Self::end_command), whichever comes first, so
1505 /// a read answered from it is never staler than the read-before-write it stands in for.
1506 ///
1507 /// Defaulted to doing nothing, so every read is sent as it always was: a source whose
1508 /// reads are free has no reason to override it, and one priced per request overrides it
1509 /// with a batched read. An id the batched read finds nothing at is either held as absent —
1510 /// its next read answers `None`, exactly as that read would have — or not held, and its own
1511 /// read answers as it always does.
1512 ///
1513 /// # Errors
1514 ///
1515 /// Returns a [`SourceError`] when the batched read could not be made. Nothing is then
1516 /// held, and each item's own read answers as it would have.
1517 async fn read_ahead_for_copy(&self, ids: &[NativeId]) -> Result<(), SourceError> {
1518 let _ = ids;
1519 Ok(())
1520 }
1521
1522 /// [`read_ahead_for_copy`](Self::read_ahead_for_copy), with what each id is at this source —
1523 /// a task, a project or a document — as the copy knows it: what a source whose reads by id
1524 /// are each of one kind needs to read them together.
1525 ///
1526 /// Defaulted to [`read_ahead_for_copy`](Self::read_ahead_for_copy) of the ids alone, so a
1527 /// source that reads any kind by one id is asked exactly as it was.
1528 ///
1529 /// # Errors
1530 ///
1531 /// As [`read_ahead_for_copy`](Self::read_ahead_for_copy).
1532 async fn read_ahead_records_for_copy(
1533 &self,
1534 records: &[(MetadataRecord, NativeId)],
1535 ) -> Result<(), SourceError> {
1536 let ids: Vec<NativeId> = records.iter().map(|(_, id)| id.clone()).collect();
1537 self.read_ahead_for_copy(&ids).await
1538 }
1539
1540 /// Ask, together, which items were copied from each of `origins` — the qualified ids a copy
1541 /// is about to look for at this destination by the `onetaskgraph.origin` each item records
1542 /// — and hold each answer
1543 /// for this command, so that the next query for the items copied from one of them (a
1544 /// [`TaskQuery::origin`] task query, [`query_projects_by_origin`](Self::query_projects_by_origin)
1545 /// or [`query_documents_by_origin`](Self::query_documents_by_origin)) is answered from it,
1546 /// once, instead of being sent on its own. A source may carry in the same read whatever its
1547 /// creating an item would read first, since a copy finding nothing creates — and its
1548 /// [`designator`](Self::designator), which a copy writing edges asks next: a designator
1549 /// carried in that read answers the next [`designator`](Self::designator) of the command
1550 /// without a request of its own.
1551 ///
1552 /// What is held is exactly what those queries would have answered, and only until the next
1553 /// write or [`end_command`](Self::end_command); a designator, which no write moves, until
1554 /// [`end_command`](Self::end_command). An origin is held as having no counterpart only when
1555 /// the read answered it whole: one whose answer the read could not see the end of is left
1556 /// to its own query. Defaulted to doing nothing, so each query is sent as it always was.
1557 ///
1558 /// # Errors
1559 ///
1560 /// Returns a [`SourceError`] when the read could not be made. Nothing is then held, and each
1561 /// query answers as it would have.
1562 async fn read_ahead_origins_for_copy(&self, origins: &[String]) -> Result<(), SourceError> {
1563 let _ = origins;
1564 Ok(())
1565 }
1566
1567 /// Who may read each member of the project `project` — every task and document filed under
1568 /// it — as the classification and repositories each one's record holds, read by whatever
1569 /// this source holds for this command rather than by its whole records: what a write the
1570 /// public boundary screens reads of a project before it is held to it.
1571 ///
1572 /// `None` is no such read, and is the default: the engine then reads the members as it
1573 /// always has, through [`query_tasks`](Self::query_tasks) narrowed to the project and
1574 /// [`query_documents`](Self::query_documents), so every source answers exactly as before. A
1575 /// source answers `Some` only with every member — a page that says there is more is no
1576 /// answer, and is left to that path — and never with fewer members than those queries
1577 /// would have listed. A source may hold such a page from a read it made beside another,
1578 /// such as the one [`read_ahead_for_copy`](Self::read_ahead_for_copy) names the project to.
1579 ///
1580 /// # Errors
1581 ///
1582 /// Returns a [`SourceError`] when the read could not be made.
1583 async fn member_classifications(
1584 &self,
1585 project: &NativeId,
1586 ) -> Result<Option<Vec<(Classification, Vec<Repository>)>>, SourceError> {
1587 let _ = project;
1588 Ok(None)
1589 }
1590
1591 /// Whether a task this source creates through [`write_tasks`](Self::write_tasks) may carry
1592 /// everything a copy's own write of it would — the copy's record of it among them — so the
1593 /// write a copy then makes of it, naming the same, writes nothing.
1594 ///
1595 /// A copy then creates together only the tasks that depend on no other task of the copy,
1596 /// whose edges are all nameable at their create, and creates each of the others on its own,
1597 /// after what it depends on. Defaulted to `false`: a task created together lands with no
1598 /// record, and the write after it names its edges to the others.
1599 fn records_created_together(&self) -> bool {
1600 false
1601 }
1602
1603 /// How many tasks this source creates in one [`write_tasks`](Self::write_tasks): more than
1604 /// one only for a source that creates several in one request.
1605 ///
1606 /// A copy hands such a source the tasks it creates together, and names each one's edges to
1607 /// the others in a write after they all exist. Defaulted to one, which has a copy write every
1608 /// task on its own, exactly as before.
1609 fn create_batch_limit(&self) -> usize {
1610 1
1611 }
1612
1613 /// Create every task of `writes` — each [`ItemWrite::target`] `None` — answering with the
1614 /// native ids they were created under, in order.
1615 ///
1616 /// All of them or none: a source that cannot create every one takes back each it did create
1617 /// before refusing, on the terms §4.9 of the protocol puts on [`write_task`](Self::write_task).
1618 /// Defaulted to creating them one at a time through [`write_task`](Self::write_task), taking
1619 /// back those created when a later one is refused.
1620 ///
1621 /// # Errors
1622 ///
1623 /// Refused, before anything is written, when a write names an existing target; otherwise
1624 /// whatever [`write_task`](Self::write_task) of one of them refuses with.
1625 // llmlint: ignore[invalid_states_unrepresentable] Approved by the contract's owner as an additive method taking `ItemWrite<Task>` exactly as `write_task` does; a create-only input type would be a new contract type. A write naming an existing target is refused below before anything is written, so rollback only ever takes back what this call created.
1626 async fn write_tasks(&self, writes: &[ItemWrite<Task>]) -> Result<Vec<NativeId>, SourceError> {
1627 if let Some(write) = writes.iter().find(|write| write.target.is_some()) {
1628 return Err(SourceError::Refused {
1629 message: format!(
1630 "write_tasks creates tasks, and the write of {} names an existing target; \
1631 next: update it with write_task",
1632 write.item.id
1633 ),
1634 });
1635 }
1636 let mut created = Vec::with_capacity(writes.len());
1637 for write in writes {
1638 match self.write_task(write).await {
1639 Ok(id) => created.push(id),
1640 Err(error) => {
1641 // The caller is never handed these ids, so one this source will not take
1642 // back is named here or by nobody.
1643 let mut left: Vec<&str> = Vec::new();
1644 for id in &created {
1645 if self.delete_task(id).await.is_err() {
1646 left.push(id.0.as_str());
1647 }
1648 }
1649 if left.is_empty() {
1650 return Err(error);
1651 }
1652 return Err(SourceError::Refused {
1653 message: format!(
1654 "{error}; this source then refused to take back {}, which this \
1655 write created and which it still holds; next: delete {} before \
1656 writing again",
1657 left.join(", "),
1658 if left.len() == 1 { "it" } else { "them" }
1659 ),
1660 });
1661 }
1662 }
1663 }
1664 Ok(created)
1665 }
1666
1667 /// From here until [`finish_writes`](Self::finish_writes), a source may hold back the part of
1668 /// each write that can land later — a created item's fields and edges — and send it together
1669 /// with the others' when that is called.
1670 ///
1671 /// A caller asks for this only when it will call `finish_writes` before it reads what it
1672 /// wrote from anywhere but this source, or reports it written. Defaulted to holding nothing
1673 /// back, so every write lands whole as it is made.
1674 fn begin_deferred_writes(&self) {}
1675
1676 /// Send whatever this source has held back since [`begin_deferred_writes`](Self::begin_deferred_writes),
1677 /// and hold nothing back after it.
1678 ///
1679 /// All or nothing for the items it created: a source that cannot finish them takes them back
1680 /// before refusing, so a caller undoing its writes finds them gone. Defaulted to doing
1681 /// nothing, since nothing was held.
1682 ///
1683 /// # Errors
1684 ///
1685 /// Whatever sending what was held back was refused with.
1686 async fn finish_writes(&self) -> Result<(), SourceError> {
1687 Ok(())
1688 }
1689
1690 /// Where an item this source wrote in the current command is, when the write's own answer
1691 /// said so: `record` names which kind of item `id` is.
1692 ///
1693 /// Answered only from what a write already returned — never by a request — so a caller may
1694 /// ask it after every write for free. A caller treats `None` as not knowing, and reads the
1695 /// item when it needs its location. Defaulted to `None`.
1696 fn written_location(&self, record: MetadataRecord, id: &NativeId) -> Option<Location> {
1697 let _ = (record, id);
1698 None
1699 }
1700
1701 /// The task `id` as this source holds it after its latest write of it in the current
1702 /// command, when what that write sent and was answered with says so — its status, its
1703 /// priority and its change token among the rest.
1704 ///
1705 /// Answered without a request to a remote party: a hosted source answers from the
1706 /// responses its own write already received, and a source on this machine from what it
1707 /// wrote. Its `version` is `None` where those responses cannot vouch for a token the next
1708 /// read would give. A caller treats `None` as not knowing. Defaulted to `None`.
1709 async fn written_task(&self, id: &NativeId) -> Option<Task> {
1710 let _ = id;
1711 None
1712 }
1713
1714 /// The change token the `record` `id` holds after this source's latest write of it in the
1715 /// current command, on the terms [`Self::written_task`] answers a task's — `None` where the
1716 /// write's own responses cannot vouch for one. Defaulted to `None`.
1717 async fn written_version(&self, record: MetadataRecord, id: &NativeId) -> Option<String> {
1718 let _ = (record, id);
1719 None
1720 }
1721
1722 /// Add one comment to `task`, answering with the comment as the source now holds it, or
1723 /// `None` when this source holds no such task.
1724 ///
1725 /// The body is stored byte for byte. A source that records the author itself refuses a
1726 /// [`NewComment::author`] rather than dropping it, naming why; a source that cannot
1727 /// represent the body refuses it, naming why, rather than escaping it into something
1728 /// else.
1729 ///
1730 /// # Errors
1731 ///
1732 /// Returns [`SourceError::Refused`] when this source has no comments or cannot be
1733 /// written, when it cannot record what it was given, and whatever else it could not do
1734 /// the write for.
1735 async fn add_comment(
1736 &self,
1737 task: &NativeId,
1738 comment: &NewComment,
1739 ) -> Result<Option<Comment>, SourceError> {
1740 let _ = (task, comment);
1741 Err(commentless(self.kind()))
1742 }
1743
1744 /// Add many comments, each on exactly the terms of [`add_comment`](Self::add_comment),
1745 /// answering one [`BatchAnswer`] per comment in the order given.
1746 ///
1747 /// Each comment is its own write, held to its own `if_version`: one answered
1748 /// [`BatchAnswer::VersionMoved`], [`BatchAnswer::Missing`] or an error writes nothing of its
1749 /// own and never writes or refuses another.
1750 ///
1751 /// Defaulted to one [`add_comment`](Self::add_comment) per comment, preceded by one read of
1752 /// the task where its hold needs one. A source whose backend carries several comments in one
1753 /// request overrides it.
1754 async fn add_comments(
1755 &self,
1756 comments: &[crate::BatchComment],
1757 ) -> Vec<Result<crate::BatchAnswer<Comment>, SourceError>> {
1758 crate::batch::comment_each(self, comments).await
1759 }
1760
1761 /// Replace the body of the comment `comment` on `task`, answering with the comment as the
1762 /// source now holds it, or `None` when this source holds no such task or that task has no
1763 /// such comment.
1764 ///
1765 /// Only the body and the time it last changed move: the id, the author and the time it
1766 /// was written are the comment's own.
1767 ///
1768 /// # Errors
1769 ///
1770 /// As [`add_comment`](Self::add_comment).
1771 async fn edit_comment(
1772 &self,
1773 task: &NativeId,
1774 comment: &NativeId,
1775 body: &CommentBody,
1776 ) -> Result<Option<Comment>, SourceError> {
1777 let _ = (task, comment, body);
1778 Err(commentless(self.kind()))
1779 }
1780
1781 /// Remove the comment `comment` from `task`, answering with the id it removed, or `None`
1782 /// when this source holds no such task or that task has no such comment.
1783 ///
1784 /// Unlike [`delete_task`](Self::delete_task), this *is* a verb of the product — a person
1785 /// removes a comment they posted — so a comment that is not there is reported as `None`
1786 /// for the engine to refuse by name, rather than treated as already gone.
1787 ///
1788 /// # Errors
1789 ///
1790 /// As [`add_comment`](Self::add_comment).
1791 async fn delete_comment(
1792 &self,
1793 task: &NativeId,
1794 comment: &NativeId,
1795 ) -> Result<Option<NativeId>, SourceError> {
1796 let _ = (task, comment);
1797 Err(commentless(self.kind()))
1798 }
1799
1800 /// Write one comment a copy carries onto `task`: a new one when `existing` is `None`, and
1801 /// otherwise the comment `existing`, which a copy wrote before, made to say `copy` — or
1802 /// `None` when this source holds no such task or no such comment.
1803 ///
1804 /// The answer reports [`Comment::origin`] as `copy.origin`, however the source keeps it.
1805 ///
1806 /// **Defaulted to the hidden marker**, which is right for every source that records a
1807 /// comment's author and times itself: the body is written through
1808 /// [`add_comment`](Self::add_comment) or [`edit_comment`](Self::edit_comment) with
1809 /// [`CommentOrigin::mark`](crate::CommentOrigin::mark) appended, and read back
1810 /// [`unmarked`](Comment::unmarked). A source that can store the origin natively — and so
1811 /// takes the origin's own id, author and times for the copy — overrides this.
1812 ///
1813 /// # Errors
1814 ///
1815 /// As [`add_comment`](Self::add_comment).
1816 async fn write_comment_copy(
1817 &self,
1818 task: &NativeId,
1819 existing: Option<&NativeId>,
1820 copy: &CommentCopy,
1821 ) -> Result<Option<Comment>, SourceError> {
1822 let body = CommentBody::new(copy.origin.qualified()?.mark(copy.body.as_str()))?;
1823 let written = match existing {
1824 Some(comment) => self.edit_comment(task, comment, &body).await?,
1825 None => {
1826 self.add_comment(task, &NewComment { body, author: None })
1827 .await?
1828 }
1829 };
1830 Ok(written.map(Comment::unmarked))
1831 }
1832
1833 /// Whether this source keeps template answers beside its items at all.
1834 ///
1835 /// What lets a regenerate tell an item whose answers went missing — a block deleted by
1836 /// hand, which the regenerate writes back — from an item of a source that never keeps any,
1837 /// where a missing answer is no difference. Defaulted to `false`, as
1838 /// [`task_template_answers`](Self::task_template_answers) is defaulted to `None`; a source
1839 /// that keeps answers answers `true` here.
1840 fn keeps_template_answers(&self) -> bool {
1841 false
1842 }
1843
1844 /// The template answers the task `id` was last rendered from, as this source keeps them
1845 /// beside the task — or `None` when it keeps none for it, or holds no such task.
1846 ///
1847 /// Keeping answers is a source's own choice, never an obligation: a source whose items
1848 /// are one record in a hosted system has no room beside the item that is not the item, and
1849 /// answers written into its content or its metadata would duplicate what the content
1850 /// already says. Defaulted to `None`, which is what keeps this an addition rather than a
1851 /// break. A source that keeps them owes three things: they are in neither
1852 /// [`Task::content`] nor [`Task::metadata`], they are written only by
1853 /// [`write_task_rendered`](Self::write_task_rendered) and
1854 /// [`set_task_rendering`](Self::set_task_rendering), and they come back here exactly as
1855 /// they were written, JSON types intact.
1856 ///
1857 /// # Errors
1858 ///
1859 /// Returns a [`SourceError`] when the source could not answer, a record whose answers it
1860 /// cannot read included.
1861 async fn task_template_answers(
1862 &self,
1863 id: &NativeId,
1864 ) -> Result<Option<BTreeMap<String, Value>>, SourceError> {
1865 let _ = id;
1866 Ok(None)
1867 }
1868
1869 /// The template answers the document `id` was last rendered from, on exactly the terms of
1870 /// [`task_template_answers`](Self::task_template_answers).
1871 ///
1872 /// # Errors
1873 ///
1874 /// As [`task_template_answers`](Self::task_template_answers).
1875 async fn document_template_answers(
1876 &self,
1877 id: &NativeId,
1878 ) -> Result<Option<BTreeMap<String, Value>>, SourceError> {
1879 let _ = id;
1880 Ok(None)
1881 }
1882
1883 /// The template answers the project `id` was last rendered from, on exactly the terms of
1884 /// [`task_template_answers`](Self::task_template_answers).
1885 ///
1886 /// # Errors
1887 ///
1888 /// As [`task_template_answers`](Self::task_template_answers).
1889 async fn project_template_answers(
1890 &self,
1891 id: &NativeId,
1892 ) -> Result<Option<BTreeMap<String, Value>>, SourceError> {
1893 let _ = id;
1894 Ok(None)
1895 }
1896
1897 /// Create or update one task exactly as [`write_task`](Self::write_task) does, keeping
1898 /// `answers` — the answers its content was rendered from — beside it in the same write
1899 /// where this source keeps answers at all.
1900 ///
1901 /// The task arrives carrying its provenance under [`MetadataKey::TEMPLATE_KEY`] like any
1902 /// other metadata entry. Defaulted to [`write_task`](Self::write_task) alone: a source that
1903 /// keeps no answers writes the task and nothing beside it, which is the whole of what it
1904 /// owes. A source that keeps them writes the task and the answers together, so a reader
1905 /// never finds one without the other.
1906 ///
1907 /// # Errors
1908 ///
1909 /// As [`write_task`](Self::write_task).
1910 async fn write_task_rendered(
1911 &self,
1912 write: &ItemWrite<Task>,
1913 answers: &BTreeMap<String, Value>,
1914 ) -> Result<NativeId, SourceError> {
1915 let _ = answers;
1916 self.write_task(write).await
1917 }
1918
1919 /// Create or update one document, on exactly the terms of
1920 /// [`write_task_rendered`](Self::write_task_rendered).
1921 ///
1922 /// # Errors
1923 ///
1924 /// As [`write_document`](Self::write_document).
1925 async fn write_document_rendered(
1926 &self,
1927 write: &ItemWrite<Document>,
1928 answers: &BTreeMap<String, Value>,
1929 ) -> Result<NativeId, SourceError> {
1930 let _ = answers;
1931 self.write_document(write).await
1932 }
1933
1934 /// Create or update one project, on exactly the terms of
1935 /// [`write_task_rendered`](Self::write_task_rendered).
1936 ///
1937 /// # Errors
1938 ///
1939 /// As [`write_project`](Self::write_project).
1940 async fn write_project_rendered(
1941 &self,
1942 write: &ItemWrite<Project>,
1943 answers: &BTreeMap<String, Value>,
1944 ) -> Result<NativeId, SourceError> {
1945 let _ = answers;
1946 self.write_project(write).await
1947 }
1948
1949 /// Replace one task's rendering — its content, byte for byte, its
1950 /// [`MetadataKey::TEMPLATE_KEY`] entry, set to `provenance`, and the answers it keeps
1951 /// beside the task where it keeps any — in one write, and change nothing else about it;
1952 /// or answer `None` when this source holds no such task.
1953 ///
1954 /// The content is [`Task::content`] exactly as a later read reports it, on the terms of
1955 /// [`set_task_content`](Self::set_task_content). Title, status, priority, labels, every
1956 /// other metadata entry, repositories, dependencies, [`Task::delivers`],
1957 /// [`Task::delivered_by`], project and comments are left exactly as they are. The write is
1958 /// one write: a reader sees the task as it was or as it is now, never a new content beside
1959 /// the old provenance or the old answers.
1960 ///
1961 /// Defaulted to [`unwritable_field`] on exactly the terms of
1962 /// [`set_task_status`](Self::set_task_status). A source declaring
1963 /// [`WriteSupport::Unsupported`] is never asked.
1964 ///
1965 /// [`Task::delivers`]: crate::Task::delivers
1966 /// [`Task::delivered_by`]: crate::Task::delivered_by
1967 ///
1968 /// # Errors
1969 ///
1970 /// Returns [`SourceError::Refused`] when this source cannot replace a task's rendering on
1971 /// its own, or cannot represent this one; and whatever else the source could not do the
1972 /// write for.
1973 async fn set_task_rendering(
1974 &self,
1975 id: &NativeId,
1976 content: &str,
1977 provenance: &Value,
1978 answers: &BTreeMap<String, Value>,
1979 ) -> Result<Option<()>, SourceError> {
1980 let _ = (id, content, provenance, answers);
1981 Err(unwritable_field(self.kind(), "rendering"))
1982 }
1983
1984 /// Replace one document's rendering, on exactly the terms of
1985 /// [`set_task_rendering`](Self::set_task_rendering). A source declaring
1986 /// [`Capabilities::documents`] unsupported is never asked.
1987 ///
1988 /// # Errors
1989 ///
1990 /// As [`set_task_rendering`](Self::set_task_rendering).
1991 async fn set_document_rendering(
1992 &self,
1993 id: &NativeId,
1994 content: &str,
1995 provenance: &Value,
1996 answers: &BTreeMap<String, Value>,
1997 ) -> Result<Option<()>, SourceError> {
1998 let _ = (id, content, provenance, answers);
1999 Err(SourceError::Refused {
2000 message: format!(
2001 "the {} plugin cannot write a document's rendering on its own",
2002 self.kind()
2003 ),
2004 })
2005 }
2006
2007 /// Replace one project's rendering, on exactly the terms of
2008 /// [`set_task_rendering`](Self::set_task_rendering): its content, its
2009 /// [`MetadataKey::TEMPLATE_KEY`] entry and the answers kept beside it change, and its
2010 /// title, status, labels, every other metadata entry, repositories and dependencies are
2011 /// left exactly as they are.
2012 ///
2013 /// # Errors
2014 ///
2015 /// As [`set_task_rendering`](Self::set_task_rendering).
2016 async fn set_project_rendering(
2017 &self,
2018 id: &NativeId,
2019 content: &str,
2020 provenance: &Value,
2021 answers: &BTreeMap<String, Value>,
2022 ) -> Result<Option<()>, SourceError> {
2023 let _ = (id, content, provenance, answers);
2024 Err(SourceError::Refused {
2025 message: format!(
2026 "the {} plugin cannot write a project's rendering on its own",
2027 self.kind()
2028 ),
2029 })
2030 }
2031
2032 /// The image assets the task `id` holds, or none when it holds none or this source holds
2033 /// no such task.
2034 ///
2035 /// Defaulted to none, which is what keeps assets an addition rather than a break: a source
2036 /// that keeps no assets needs no edit and reports every record as holding none. A source
2037 /// declaring [`Capabilities::assets`] native answers what it holds for the record, in any
2038 /// order — the engine orders them by the content's first reference.
2039 ///
2040 /// # Errors
2041 ///
2042 /// Returns a [`SourceError`] when the source could not answer.
2043 async fn task_assets(&self, id: &NativeId) -> Result<Vec<Asset>, SourceError> {
2044 let _ = id;
2045 Ok(Vec::new())
2046 }
2047
2048 /// The image assets the document `id` holds, on exactly the terms of
2049 /// [`task_assets`](Self::task_assets).
2050 ///
2051 /// # Errors
2052 ///
2053 /// As [`task_assets`](Self::task_assets).
2054 async fn document_assets(&self, id: &NativeId) -> Result<Vec<Asset>, SourceError> {
2055 let _ = id;
2056 Ok(Vec::new())
2057 }
2058
2059 /// The bytes of the asset `name` the task `id` holds, or `None` when it holds no such asset
2060 /// or this source holds no such task.
2061 ///
2062 /// Defaulted to `None`, on the terms of [`task_assets`](Self::task_assets).
2063 ///
2064 /// # Errors
2065 ///
2066 /// Returns a [`SourceError`] when the source could not answer.
2067 async fn task_asset(
2068 &self,
2069 id: &NativeId,
2070 name: &AssetName,
2071 ) -> Result<Option<Vec<u8>>, SourceError> {
2072 let _ = (id, name);
2073 Ok(None)
2074 }
2075
2076 /// The bytes of the asset `name` the document `id` holds, on exactly the terms of
2077 /// [`task_asset`](Self::task_asset).
2078 ///
2079 /// # Errors
2080 ///
2081 /// As [`task_asset`](Self::task_asset).
2082 async fn document_asset(
2083 &self,
2084 id: &NativeId,
2085 name: &AssetName,
2086 ) -> Result<Option<Vec<u8>>, SourceError> {
2087 let _ = (id, name);
2088 Ok(None)
2089 }
2090
2091 /// Create or update one task carrying image assets, in one write: the task as
2092 /// [`write_task`](Self::write_task) writes it — or, with `answers`, as
2093 /// [`write_task_rendered`](Self::write_task_rendered) does — and `assets` as the record's
2094 /// whole asset set, answering with where it landed and the content as stored.
2095 ///
2096 /// Only a source declaring [`Capabilities::assets`] native is asked, and the engine has
2097 /// already checked that every reference in the content names one of `assets` and every one
2098 /// of `assets` is referenced. A source that keeps the bytes beside the record stores each
2099 /// payload under its name, removes every asset the record held that `assets` does not
2100 /// name, and answers the content unchanged. A source that serves them at a URL uploads each
2101 /// payload that carries bytes, reuses the URL [`AssetWrite::recorded_assets`] records for
2102 /// each that does not, and writes the record through
2103 /// [`serve_asset_references`](crate::serve_asset_references) — so its references point at
2104 /// those URLs, its [`MetadataKey::ASSETS_KEY`] records each `{sha256, url}`, and a
2105 /// rendering's `body_digest` stays true of what landed — answering the content it wrote.
2106 ///
2107 /// Defaulted to [`assetless`], which is what a source with no assets answers.
2108 ///
2109 /// # Errors
2110 ///
2111 /// As [`write_task`](Self::write_task), and [`SourceError::Refused`] from a source that
2112 /// keeps no assets.
2113 async fn write_task_with_assets(
2114 &self,
2115 write: &ItemWrite<Task>,
2116 answers: Option<&BTreeMap<String, Value>>,
2117 assets: &AssetWrite,
2118 ) -> Result<AssetsWritten, SourceError> {
2119 let _ = (write, answers, assets);
2120 Err(assetless(self.kind()))
2121 }
2122
2123 /// Create or update one document carrying image assets, on exactly the terms of
2124 /// [`write_task_with_assets`](Self::write_task_with_assets).
2125 ///
2126 /// # Errors
2127 ///
2128 /// As [`write_task_with_assets`](Self::write_task_with_assets).
2129 async fn write_document_with_assets(
2130 &self,
2131 write: &ItemWrite<Document>,
2132 answers: Option<&BTreeMap<String, Value>>,
2133 assets: &AssetWrite,
2134 ) -> Result<AssetsWritten, SourceError> {
2135 let _ = (write, answers, assets);
2136 Err(assetless(self.kind()))
2137 }
2138
2139 /// Replace one task's rendering as [`set_task_rendering`](Self::set_task_rendering) does,
2140 /// and its asset set as [`write_task_with_assets`](Self::write_task_with_assets) does, in
2141 /// one write; or answer `None` when this source holds no such task.
2142 ///
2143 /// Defaulted to [`assetless`].
2144 ///
2145 /// # Errors
2146 ///
2147 /// As [`set_task_rendering`](Self::set_task_rendering), and [`SourceError::Refused`] from a
2148 /// source that keeps no assets.
2149 async fn set_task_rendering_with_assets(
2150 &self,
2151 id: &NativeId,
2152 content: &str,
2153 provenance: &Value,
2154 answers: &BTreeMap<String, Value>,
2155 assets: &AssetWrite,
2156 ) -> Result<Option<AssetsWritten>, SourceError> {
2157 let _ = (id, content, provenance, answers, assets);
2158 Err(assetless(self.kind()))
2159 }
2160
2161 /// Replace one document's rendering and its asset set, on exactly the terms of
2162 /// [`set_task_rendering_with_assets`](Self::set_task_rendering_with_assets).
2163 ///
2164 /// # Errors
2165 ///
2166 /// As [`set_task_rendering_with_assets`](Self::set_task_rendering_with_assets).
2167 async fn set_document_rendering_with_assets(
2168 &self,
2169 id: &NativeId,
2170 content: &str,
2171 provenance: &Value,
2172 answers: &BTreeMap<String, Value>,
2173 assets: &AssetWrite,
2174 ) -> Result<Option<AssetsWritten>, SourceError> {
2175 let _ = (id, content, provenance, answers, assets);
2176 Err(assetless(self.kind()))
2177 }
2178
2179 /// What this source has sent to its backend since it was built and what that spent, or
2180 /// `None` when it does not meter its own requests.
2181 ///
2182 /// Defaulted to `None`, which is what keeps metering an addition rather than a break: a
2183 /// source that does not count its requests needs no edit, and is reported as not
2184 /// metering rather than as having spent nothing. A source that answers owes a running
2185 /// total — see [`Metering`] — because what one command spent is read as the difference
2186 /// between two readings.
2187 ///
2188 /// # Errors
2189 ///
2190 /// Returns a [`SourceError`] when the reading itself could not be taken. A caller
2191 /// reports such a source as not metering; what a command cost is never a reason for the
2192 /// command to fail.
2193 async fn metering(&self) -> Result<Option<Metering>, SourceError> {
2194 Ok(None)
2195 }
2196
2197 /// End one command: drop everything held that a person can change.
2198 ///
2199 /// A command is one unit of work — one invocation of the binary, or whatever a caller
2200 /// holding one engine for many units of work calls between them. Within a command a
2201 /// source may hold what it read and reuse it; across this call it may not. After it
2202 /// returns, a source answers no read and bases no write on item content, statuses, board
2203 /// contents or search results it held before the call. It may keep only identifiers and
2204 /// vocabulary that stay valid in normal use — a repository's node id, a team's workflow
2205 /// states — and only where a lookup that misses one re-reads rather than refusing.
2206 ///
2207 /// Defaulted to doing nothing, which is right for a source that holds nothing between
2208 /// calls or holds only what the rule above lets it keep. A source that holds more owes
2209 /// an override. Never called by the engine on its own: the binary's one command is its
2210 /// whole process, so only a caller that outlives a command calls it.
2211 ///
2212 /// # Errors
2213 ///
2214 /// Returns a [`SourceError`] when the source could not be sure it dropped what it held —
2215 /// ordinarily a hosted plugin that did not answer. A caller should not go on to the next
2216 /// command on that source's earlier reads.
2217 async fn end_command(&self) -> Result<(), SourceError> {
2218 Ok(())
2219 }
2220
2221 /// Who can read where `target` lands, read live from the backend.
2222 ///
2223 /// This is the destination's reality, which the engine holds a declaration against
2224 /// before it lets a write through: a source a configuration declares private receives an
2225 /// item that may only be written somewhere private only while this answers
2226 /// [`Visibility::Private`]. The engine asks before the write it is about. A source must
2227 /// not answer from anything it read for an earlier write unless its backend's visibility
2228 /// cannot change in between — or the read was taken while the engine held this source's
2229 /// reads for one operation ([`hold_visibility`](Self::hold_visibility)), which a copy
2230 /// does so each destination is read once for the whole copy rather than once per write.
2231 ///
2232 /// Defaulted to [`Visibility::Unknown`], which is the answer of a source that cannot say
2233 /// and is never treated as private. A source on this machine answers `Private` — what it
2234 /// writes stays on the host — and a hosted source reads its backend.
2235 ///
2236 /// # Errors
2237 ///
2238 /// Returns a [`SourceError`] when the backend could not be asked or would not answer —
2239 /// a credential lacking the scope the read needs among them. An unreadable visibility is
2240 /// never guessed: the engine refuses the write.
2241 async fn visibility(&self, target: &WriteTarget<'_>) -> Result<Visibility, SourceError> {
2242 let _ = target;
2243 Ok(Visibility::Unknown)
2244 }
2245
2246 /// The repository a create of `target` would file its issue in, as a normalized origin,
2247 /// by the same rule the create itself applies — or `None` for a source that files no
2248 /// issue in a repository.
2249 ///
2250 /// Read-only: it writes nothing, and reads only what that rule reads — for a source whose
2251 /// rule looks at the project a new item is filed under, that project, and only when
2252 /// `target` names one. It answers where a *create* would file, so an
2253 /// [`WriteTarget::Existing`] target, which no create makes, answers `None`.
2254 ///
2255 /// Defaulted to `None`, the answer of every source that files no issue in a repository.
2256 ///
2257 /// # Errors
2258 ///
2259 /// Returns a [`SourceError`] when the create would be refused — refused as the create
2260 /// would refuse it — or the read the rule needs failed.
2261 async fn creation_repository(
2262 &self,
2263 target: &WriteTarget<'_>,
2264 ) -> Result<Option<Repository>, SourceError> {
2265 let _ = target;
2266 Ok(None)
2267 }
2268
2269 /// Take this source's exclusive, cross-process hold on the `record` `id`, waiting for a
2270 /// holder that is still at work and taking over one a dead process left — `true` once it is
2271 /// held, `false` for a source that offers no such hold. A caller releases it with
2272 /// [`Self::release_item`], always.
2273 ///
2274 /// What a copy decides its intent to create under: on a source that answers `true`, exactly
2275 /// one attempt on one host owns a create of the item. A hosted source has no lock to offer,
2276 /// and its intents are advisory. Defaulted to `false`.
2277 ///
2278 /// # Errors
2279 ///
2280 /// Returns a [`SourceError`] when the hold could not be taken.
2281 fn hold_item(&self, record: MetadataRecord, id: &NativeId) -> Result<bool, SourceError> {
2282 let _ = (record, id);
2283 Ok(false)
2284 }
2285
2286 /// Release the hold [`Self::hold_item`] took on the `record` `id`. Defaulted to nothing.
2287 fn release_item(&self, record: MetadataRecord, id: &NativeId) {
2288 let _ = (record, id);
2289 }
2290
2291 /// The `record` `id` exactly as this source stores it, byte for byte, when it can give that
2292 /// back with [`Self::restore_item`] — `None` otherwise. Read off this machine, never a
2293 /// request. Defaulted to `None`.
2294 fn item_snapshot(&self, record: MetadataRecord, id: &NativeId) -> Option<Vec<u8>> {
2295 let _ = (record, id);
2296 None
2297 }
2298
2299 /// Put the `record` `id` back to `snapshot`, byte for byte, under its hold: what a copy that
2300 /// took every write back leaves of an item it recorded an intent on. Defaulted to doing
2301 /// nothing, since a source answering no snapshot is never asked.
2302 ///
2303 /// # Errors
2304 ///
2305 /// Returns a [`SourceError`] when the item could not be put back.
2306 fn restore_item(
2307 &self,
2308 record: MetadataRecord,
2309 id: &NativeId,
2310 snapshot: &[u8],
2311 ) -> Result<(), SourceError> {
2312 let _ = (record, id, snapshot);
2313 Ok(())
2314 }
2315
2316 /// Remove one key of the metadata of the `record` `id` and change nothing else, answering
2317 /// the record's version token once it is gone — `Some(None)` when this source spells none —
2318 /// or `None` when this source holds no such record. Removing a key the record does not hold
2319 /// writes nothing.
2320 ///
2321 /// What a copy asks to take its intent to create — [`MetadataKey::CREATING_KEY`] — off a
2322 /// project or a document once the counterpart is linked. Defaulted for a task to
2323 /// [`Self::update_task`] removing the key, and for a project or a document to the refusal
2324 /// a source writing no metadata answers, which the engine meets by writing the record
2325 /// back whole without the key. A source that can take one key off narrowly owes an
2326 /// override.
2327 ///
2328 /// # Errors
2329 ///
2330 /// Returns [`SourceError::Refused`] when this source cannot remove the key on its own, and
2331 /// whatever else the source could not do the write for.
2332 async fn remove_record_metadata(
2333 &self,
2334 record: MetadataRecord,
2335 id: &NativeId,
2336 key: &MetadataKey,
2337 ) -> Result<Option<Option<String>>, SourceError> {
2338 if record != MetadataRecord::Task {
2339 return Err(crate::metadata::unwritable_metadata(self.kind(), record));
2340 }
2341 let mut update = TaskUpdate::default();
2342 update.metadata_remove.insert(key.clone());
2343 Ok(self
2344 .update_task(id, &update)
2345 .await?
2346 .map(|outcome| outcome.task.version))
2347 }
2348
2349 /// Every `record` this source holds whose create carried the create key `key` — see
2350 /// [`MetadataKey::CREATE_KEY`] — created at or after `since` when that is given: what a
2351 /// retried copy asks to find the item its earlier attempt created. `target` is the create
2352 /// the key was taken for, so a source filing creates in more than one place looks where
2353 /// that one would have landed.
2354 ///
2355 /// Read-only, and never through a search index: a source answers from where its creates
2356 /// land, by the key, so the answer is as fresh as [`Self::create_key_lags`] says. Defaulted
2357 /// to none, the answer of a source that keeps no such key — a retried copy then creates
2358 /// again, as it always did.
2359 ///
2360 /// # Errors
2361 ///
2362 /// Returns a [`SourceError`] when the lookup could not be made.
2363 async fn created_with_key(
2364 &self,
2365 record: MetadataRecord,
2366 key: &str,
2367 since: Option<chrono::DateTime<chrono::Utc>>,
2368 target: &WriteTarget<'_>,
2369 ) -> Result<Vec<NativeId>, SourceError> {
2370 let _ = (record, key, since, target);
2371 Ok(Vec::new())
2372 }
2373
2374 /// Whether [`Self::created_with_key`] can miss an item created moments ago — a hosted
2375 /// backend that lists a new item only after a delay — so a retry waits out the source's
2376 /// quiescence window before believing it absent. Defaulted to `false`.
2377 fn create_key_lags(&self) -> bool {
2378 false
2379 }
2380
2381 /// Why this source's own policy on where it creates would refuse a create of `target`,
2382 /// or `None` when it would not — asked before anything of the create is written, and by a
2383 /// read-only answer of where a copy would land.
2384 ///
2385 /// A refusal here is the source's configured restriction on the place a create would file
2386 /// in — a GitHub Projects source's `creation_owners` — and never a refusal of the item
2387 /// itself, which [`Self::check_task_write`] answers. It is answered rather than returned
2388 /// as an error so a caller that only reports where a create would go can say so without
2389 /// failing. Read-only, as [`Self::creation_repository`] is, and reading only what that
2390 /// rule reads; a source with no such restriction reads nothing at all.
2391 ///
2392 /// Defaulted to `None`, the answer of every source with no such policy.
2393 ///
2394 /// # Errors
2395 ///
2396 /// Returns a [`SourceError`] when the rule deciding where the create would file could not
2397 /// be applied — refused as the create would refuse it, or a read it needs failed.
2398 async fn creation_refusal(
2399 &self,
2400 target: &WriteTarget<'_>,
2401 ) -> Result<Option<String>, SourceError> {
2402 let _ = target;
2403 Ok(None)
2404 }
2405
2406 /// Read a create's visibility under a project this copy will create or update.
2407 ///
2408 /// `project` names the destination project, including a create whose id does not exist
2409 /// yet. Backends whose placement depends on its repository predict that repository
2410 /// with the same rule as the actual create. Other backends use `visibility` unchanged.
2411 ///
2412 /// # Errors
2413 /// Returns the same failures as [`visibility`](Self::visibility).
2414 async fn visibility_with_project(
2415 &self,
2416 target: &WriteTarget<'_>,
2417 project: &WriteTarget<'_>,
2418 ) -> Result<Visibility, SourceError> {
2419 let _ = project;
2420 self.visibility(target).await
2421 }
2422
2423 /// Told, once the configuration is read, who the configuration declares can read this
2424 /// source: [`Visibility::Private`] for a source declared `visibility: private`,
2425 /// [`Visibility::Public`] for one declared public, and [`Visibility::Unknown`] for one
2426 /// that declares nothing.
2427 ///
2428 /// A declaration, never the backend's reality, which [`visibility`](Self::visibility)
2429 /// reads. A source whose backend places a new item somewhere decided per item may place
2430 /// it differently on a source declared private — a GitHub board files an issue whose one
2431 /// named repository reads public in a private repository instead — and must place it
2432 /// exactly as before on every other. Defaulted to ignoring it, which is what every source
2433 /// that places an item the same way whoever may read it does.
2434 fn declare_visibility(&self, declared: Visibility) {
2435 let _ = declared;
2436 }
2437
2438 /// Run an operation with isolated visibility reads, including when operations overlap.
2439 ///
2440 /// The default executes the future unchanged. Backends that hold visibility reads may
2441 /// scope them to this future rather than sharing them with another operation.
2442 fn scope_visibility<'a>(
2443 &'a self,
2444 operation: std::pin::Pin<Box<dyn std::future::Future<Output = ()> + Send + 'a>>,
2445 ) -> std::pin::Pin<Box<dyn std::future::Future<Output = ()> + Send + 'a>> {
2446 operation
2447 }
2448
2449 /// Begin one engine operation's hold on what [`visibility`](Self::visibility) reads: from
2450 /// now until the matching [`release_visibility`](Self::release_visibility), a source may
2451 /// answer each destination from its first read in that hold rather than reading it again.
2452 ///
2453 /// Holds nest: only the release matching the outermost hold ends it, and that release
2454 /// drops everything read. A copy holds every source for the length of the copy, so a
2455 /// destination whose visibility changes during one copy is seen by the next. Defaulted to
2456 /// doing nothing, which is right for a source that reads nothing to answer.
2457 fn hold_visibility(&self) {}
2458
2459 /// End the hold [`hold_visibility`](Self::hold_visibility) began, dropping every
2460 /// visibility read in it once the outermost hold ends. Defaulted to doing nothing.
2461 fn release_visibility(&self) {}
2462}
2463
2464/// The factory that turns one configuration block into a live [`TaskSource`].
2465///
2466/// Having the compile-time registry and the subprocess seam be the same shape is
2467/// the whole reason this is a trait rather than a free function.
2468pub trait SourcePlugin: Send + Sync + 'static {
2469 /// The name a configuration document's `plugin:` field names.
2470 fn kind(&self) -> &'static str;
2471
2472 /// The JSON Schema for this plugin's own `config:` block.
2473 fn config_schema(&self) -> Schema;
2474
2475 /// Build a live source from one configuration block.
2476 ///
2477 /// `name` is the configured source's name, for error messages only — a
2478 /// plugin never learns it for any other purpose.
2479 ///
2480 /// # Errors
2481 ///
2482 /// Returns [`SourceError::Config`] when `config` is not valid for this
2483 /// plugin, or [`SourceError::Auth`] when a named credential is absent.
2484 fn build(
2485 &self,
2486 name: &SourceName,
2487 config: &serde_json::Value,
2488 secrets: &dyn SecretResolver,
2489 ) -> Result<Box<dyn TaskSource>, SourceError>;
2490
2491 /// Build a live source from one configuration block, handing it the clock it paces and
2492 /// backs off on.
2493 ///
2494 /// The binary builds every in-process source through this, with the process's one
2495 /// [`SharedClock`] — [`system_clock`](crate::system_clock) unless a test asked for
2496 /// simulated time. Defaulted to [`build`](Self::build), which ignores the clock: a plugin
2497 /// that never waits needs no edit, and one that does overrides this and routes its waits
2498 /// through `clock`.
2499 ///
2500 /// # Errors
2501 ///
2502 /// As [`build`](Self::build).
2503 fn build_with_clock(
2504 &self,
2505 name: &SourceName,
2506 config: &serde_json::Value,
2507 secrets: &dyn SecretResolver,
2508 clock: SharedClock,
2509 ) -> Result<Box<dyn TaskSource>, SourceError> {
2510 let _ = clock;
2511 self.build(name, config, secrets)
2512 }
2513
2514 /// The fields of this plugin's `config:` block that name a filesystem path, as dotted
2515 /// paths into that block.
2516 ///
2517 /// A relative value at one of these, **supplied by a configuration document**, is
2518 /// resolved against the directory holding that document before [`Self::build`] sees it;
2519 /// supplied through the environment or a flag it keeps resolving against the process
2520 /// working directory, because there is no document to rebase it on. A plugin is handed
2521 /// values and no origins, so this declaration is the only way it can say which of its
2522 /// own fields that rule reaches.
2523 ///
2524 /// Defaulted to none, which is what keeps this an addition rather than a break: a
2525 /// plugin whose block holds no path needs no edit, and a caller asks every plugin
2526 /// rather than keeping a table of which ones answer.
2527 // llmlint: ignore[invalid_states_unrepresentable] The identity of a configuration field
2528 // is a name, and no type can make a wrong one unrepresentable here: every string is a
2529 // syntactically valid dotted path, so a newtype would validate nothing and would only
2530 // move where a name that is not a field of *this* plugin is accepted. What decides that
2531 // is whether the name is a property of the schema `config_schema` publishes — a
2532 // per-plugin fact no shared type can hold — so the gate is per plugin and executable:
2533 // `document_relative_fields_are_fields_this_plugin_declares` in
2534 // `onetaskgraph-local-md/tests/plugin.rs`, which a plugin adding a declaration owes its
2535 // own copy of.
2536 fn document_relative_paths(&self) -> &'static [&'static str] {
2537 &[]
2538 }
2539
2540 /// What names the remote store a source built from `config` reads — a board's owner and
2541 /// number, a Linear endpoint and team — or `None` for a source with no remote.
2542 ///
2543 /// The store's local cache of a remote source lives under a digest of this, so every
2544 /// process configuring the same remote shares one cache and no two remotes share one.
2545 /// Defaulted to `None`, which is what a source keeping its work on this machine — a
2546 /// folder of Markdown — answers: it has nothing to cache, and its cache setting is
2547 /// ignored. A `config` this plugin would refuse answers `None` too.
2548 fn remote_identity(&self, config: &serde_json::Value) -> Option<String> {
2549 let _ = config;
2550 None
2551 }
2552}
2553
2554/// How a plugin reads the credential its configuration names.
2555///
2556/// A configuration document never carries a credential value, only the name of
2557/// the environment variable holding it.
2558pub trait SecretResolver: Send + Sync {
2559 /// The value of `var`, or `None` when nothing defines it.
2560 ///
2561 /// The returned value is never logged and never appears in `Debug` output.
2562 fn get(&self, var: &str) -> Option<SecretString>;
2563}