Skip to main content

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    /// Start recording every request this source sends, for [`end_journal`](Self::end_journal).
371    ///
372    /// The engine opens one journal around one write at a time. Defaulted to recording
373    /// nothing.
374    fn begin_journal(&self) {}
375
376    /// Stop recording, answering with every request sent since
377    /// [`begin_journal`](Self::begin_journal) — or `None` for a source that records none.
378    fn end_journal(&self) -> Option<WriteJournal> {
379        None
380    }
381
382    /// Whether the source is answering right now.
383    ///
384    /// # Errors
385    ///
386    /// Returns a [`SourceError`] when the check itself could not be made.
387    async fn health(&self) -> Result<Health, SourceError>;
388
389    /// The [`Designator`](crate::Designator) naming the tracker this source reads, built by
390    /// [`Designator::of_backend`](crate::Designator::of_backend) over the backend's own opaque
391    /// identifier of itself — or `None` for a backend with none, whose configuration may
392    /// declare a `public_alias` instead.
393    ///
394    /// At most one request. The engine keeps the answer per host, so a source is asked once.
395    /// The default is `None`.
396    ///
397    /// # Errors
398    ///
399    /// Returns a [`SourceError`] when the backend could not be asked.
400    async fn designator(&self) -> Result<Option<crate::Designator>, SourceError> {
401        Ok(None)
402    }
403
404    /// Fetch one task by its native id, or `None` when there is no such task.
405    ///
406    /// # Errors
407    ///
408    /// Returns a [`SourceError`] when the source could not answer.
409    async fn get_task(&self, id: &NativeId) -> Result<Option<Task>, SourceError>;
410
411    /// Fetch several tasks by their native ids, each with the first page of its comments
412    /// when `comments` names the page to read — one answer per id, in the order they were
413    /// given.
414    ///
415    /// Each answer is what [`get_task`](Self::get_task) answers for that id, so a task that
416    /// is not there is `Ok(None)` and a read that failed fails that id alone. Its
417    /// [`TaskDetailRead::comments`] is what [`task_comments`](Self::task_comments) answers
418    /// for `comments`. The engine passes `comments` only to a source declaring
419    /// [`Capabilities::comments`](crate::Capabilities::comments) native.
420    ///
421    /// Defaulted to exactly those calls, item by item, so a source that implements nothing
422    /// here answers as it always did. A source that can read many items — or an item and its
423    /// comments — in fewer requests than that overrides it, which is the whole reason it
424    /// exists: a caller holding twenty ids pays for one batch rather than forty reads.
425    async fn get_task_details(
426        &self,
427        ids: &[NativeId],
428        comments: Option<&PageRequest>,
429    ) -> Vec<Result<Option<TaskDetailRead>, SourceError>> {
430        let mut read = Vec::with_capacity(ids.len());
431        for id in ids {
432            read.push(match self.get_task(id).await {
433                Ok(Some(task)) => {
434                    let comments = match comments {
435                        Some(page) => Some(self.task_comments(id, page).await),
436                        None => None,
437                    };
438                    Ok(Some(TaskDetailRead { task, comments }))
439                }
440                Ok(None) => Ok(None),
441                Err(error) => Err(error),
442            });
443        }
444        read
445    }
446
447    /// Fetch one project by its native id, or `None` when there is no such project.
448    ///
449    /// # Errors
450    ///
451    /// Returns a [`SourceError`] when the source could not answer.
452    async fn get_project(&self, id: &NativeId) -> Result<Option<Project>, SourceError>;
453
454    /// One page of the tasks matching `query`.
455    ///
456    /// # Errors
457    ///
458    /// Returns a [`SourceError`] when the source could not answer.
459    async fn query_tasks(
460        &self,
461        query: &TaskQuery,
462        page: &PageRequest,
463    ) -> Result<Page<Task>, SourceError>;
464
465    /// One page of the projects matching `query`.
466    ///
467    /// # Errors
468    ///
469    /// Returns a [`SourceError`] when the source could not answer.
470    async fn query_projects(
471        &self,
472        query: &ProjectQuery,
473        page: &PageRequest,
474    ) -> Result<Page<Project>, SourceError>;
475
476    /// One page of the projects whose [`TaskQuery::ORIGIN_KEY`] entry is a string equal to
477    /// `origin`, exactly — the projects copied from that qualified id, and none other.
478    ///
479    /// `origin` is compared byte for byte, on the terms [`TaskQuery::origin`] states, and is
480    /// never constructed or interpreted here. Zero, one or several projects may match; which
481    /// of several a caller wants is the caller's question.
482    ///
483    /// Defaulted to [`query_projects`](Self::query_projects) unfiltered, walked to its end on
484    /// every call and narrowed here, so a source that implements nothing answers exactly what
485    /// its own listing holds; the default's cursor is a position among the matches. A source
486    /// that can ask its store for one origin overrides it, which is the whole reason it
487    /// exists: a caller looking for the copies of one plan pays for those copies rather than
488    /// for every project the store holds.
489    ///
490    /// # Errors
491    ///
492    /// Returns a [`SourceError`] when the source could not answer, and
493    /// [`SourceError::Refused`] for a cursor the default did not hand out.
494    async fn query_projects_by_origin(
495        &self,
496        origin: &str,
497        page: &PageRequest,
498    ) -> Result<Page<Project>, SourceError> {
499        let wanted = origin_query(origin);
500        let mut matched = Vec::new();
501        let mut cursor: Option<crate::Cursor> = None;
502        // Every cursor the listing handed out, so one cycling through several is caught as
503        // one repeating the last is.
504        let mut visited: Vec<String> = Vec::new();
505        loop {
506            let listed = self
507                .query_projects(
508                    &ProjectQuery::default(),
509                    &PageRequest {
510                        cursor: cursor.clone(),
511                        limit: page.limit,
512                    },
513                )
514                .await?;
515            overran(listed.items.len(), page.limit)?;
516            matched.extend(
517                listed
518                    .items
519                    .into_iter()
520                    .filter(|project| wanted.origin_matches(&project.metadata)),
521            );
522            cursor = match listed.next {
523                None => break,
524                Some(next) if visited.contains(&next.0) => return Err(repeated_cursor()),
525                Some(next) => {
526                    visited.push(next.0.clone());
527                    Some(next)
528                }
529            };
530        }
531        page_of_matches(matched, page)
532    }
533
534    /// One page of every label this source knows.
535    ///
536    /// # Errors
537    ///
538    /// Returns a [`SourceError`] when the source could not answer.
539    async fn labels(&self, page: &PageRequest) -> Result<Page<Label>, SourceError>;
540
541    /// One page of the task dependency edges at `id`, in `direction`.
542    ///
543    /// # Errors
544    ///
545    /// Returns a [`SourceError`] when the source could not answer.
546    async fn task_dependencies(
547        &self,
548        id: &NativeId,
549        direction: Direction,
550        page: &PageRequest,
551    ) -> Result<Page<DependencyEdge>, SourceError>;
552
553    /// One page of the project dependency edges at `id`, in `direction`.
554    ///
555    /// # Errors
556    ///
557    /// Returns a [`SourceError`] when the source could not answer.
558    async fn project_dependencies(
559        &self,
560        id: &NativeId,
561        direction: Direction,
562        page: &PageRequest,
563    ) -> Result<Page<DependencyEdge>, SourceError>;
564
565    /// Whether this source can be written through at all.
566    ///
567    /// Defaulted to [`WriteSupport::Unsupported`], which is what keeps this a read
568    /// interface for every source that has nothing to write into: one that cannot be
569    /// written needs no edit and keeps working. Read before a write is attempted, so a
570    /// copy naming such a source as its destination is refused before anything is read.
571    fn writes(&self) -> WriteSupport {
572        WriteSupport::Unsupported
573    }
574
575    /// The status this source's backend holds once an item of `kind` is written at `status`:
576    /// the name it records for the category, where it names a category itself rather than
577    /// keeping the name it was given.
578    ///
579    /// What a copy compares a destination item's status with, so an item whose category it
580    /// already holds reads as unchanged rather than as differing by a name no write could
581    /// change. Defaulted to `status` as given: a backend that keeps the name it is written
582    /// declares nothing.
583    ///
584    /// Asynchronous and fallible because a source hosted over the stdio plugin protocol asks
585    /// the plugin that declares it; an in-process source answers at once and never fails.
586    ///
587    /// # Errors
588    ///
589    /// A [`SourceError`] when the source could not say what its backend holds — never the
590    /// status as given in its place.
591    async fn stored_status(&self, kind: ItemKind, status: &Status) -> Result<Status, SourceError> {
592        let _ = kind;
593        Ok(status.clone())
594    }
595
596    /// The content the backend answered it now holds for the `record` `id`, as the response
597    /// to this instance's latest write of that item's content reported it — taken, so a second
598    /// call answers `None` until the next such write.
599    ///
600    /// The content is as a read reports content — the metadata slot, and whatever separates
601    /// it from the content, removed — and it is read off the write's own response, never by a
602    /// request of its own. It is what the engine takes as the record of what the item holds: a
603    /// backend may rewrite the Markdown it is written, keeping its rendered meaning, and where
604    /// this differs from what was sent the engine records each fingerprint it keeps over this
605    /// content instead — a rendering's `body_digest`, a copy's
606    /// [`MetadataKey::COPIED_DESTINATION_VERSION_KEY`] — and writes it back once, beside them,
607    /// as its own request. That follow-up write's own answer is then compared with this
608    /// content byte for byte, and a backend that does not hold its own stored content stable
609    /// is refused as `stored-content-diverged`. Defaulted to `None`: a backend that stores what
610    /// it is given says nothing, and nothing is compared or written again.
611    fn stored_content(&self, record: MetadataRecord, id: &NativeId) -> Option<String> {
612        let _ = (record, id);
613        None
614    }
615
616    /// Create or update one task, answering with the native id the destination holds it
617    /// under.
618    ///
619    /// A source declaring [`WriteSupport::Supported`] owes three things here. It refuses,
620    /// naming the field, anything it cannot represent rather than dropping it — including
621    /// a metadata key it cannot carry, which it names. It writes every other field it was
622    /// given. And it never creates when [`ItemWrite::target`] names an item it does not
623    /// hold.
624    ///
625    /// # Errors
626    ///
627    /// Returns [`SourceError::Refused`] when this source has no write side, when a field
628    /// or a metadata key cannot be represented, or when `target` names nothing here; and
629    /// whatever else the source could not do the write for.
630    async fn write_task(&self, write: &ItemWrite<Task>) -> Result<NativeId, SourceError> {
631        let _ = write;
632        Err(unwritable(self.kind()))
633    }
634
635    /// Create or update one project, on exactly the terms of
636    /// [`write_task`](Self::write_task).
637    ///
638    /// # Errors
639    ///
640    /// As [`write_task`](Self::write_task).
641    async fn write_project(&self, write: &ItemWrite<Project>) -> Result<NativeId, SourceError> {
642        let _ = write;
643        Err(unwritable(self.kind()))
644    }
645
646    /// Whether this source can represent every field of `write` — its status, its content, the
647    /// tasks it delivers and every other field a [`write_task`](Self::write_task) of it would
648    /// refuse as "cannot represent the field …" — asked before anything is written and changing
649    /// nothing.
650    ///
651    /// A task copy asks it of every task it plans before its first write, and leaves out each
652    /// task this refuses — answered `failed`, with this refusal as its reason — writing the rest
653    /// as one copy. It answers what the write itself would refuse in the same words; and it is a
654    /// promise only about representability, so a write may still fail for any other reason.
655    ///
656    /// Defaulted to `Ok(())`: a source that does not answer it in advance still refuses such a
657    /// write in its write, which a copy then takes back whole, exactly as before.
658    ///
659    /// # Errors
660    ///
661    /// Returns [`SourceError::Refused`] naming the field this source cannot represent; and
662    /// whatever else kept it from finding out.
663    async fn check_task_write(&self, write: &ItemWrite<Task>) -> Result<(), SourceError> {
664        let _ = write;
665        Ok(())
666    }
667
668    /// Whether a write of an item of `kind` at `category` — over the item `target` names, or
669    /// creating one when it is `None` — would have a status to write, asked before the write
670    /// and changing nothing.
671    ///
672    /// A caller that has to put an item back when a later write of it fails — a copy, whose
673    /// journal records what an item held before overwriting it — asks this first, so a status
674    /// this source has no name for is refused while nothing has been recorded or written, and
675    /// nothing has to be put back. It answers what the write itself would refuse a status
676    /// with, in the same words, and sends no request a write of that status would not have
677    /// sent anyway: what it reads to answer, it holds for the write that follows.
678    ///
679    /// Defaulted to `Ok(())`: a source that does not answer it in advance still refuses the
680    /// status in its write, exactly as before.
681    ///
682    /// # Errors
683    ///
684    /// Returns [`SourceError::Refused`] naming the kind, the category and what is missing
685    /// when this source has no name for that status; and whatever else kept it from finding
686    /// out.
687    async fn check_status_write(
688        &self,
689        kind: ItemKind,
690        category: StatusCategory,
691        target: Option<&NativeId>,
692    ) -> Result<(), SourceError> {
693        let _ = (kind, category, target);
694        Ok(())
695    }
696
697    /// The status an item of `kind` reads back as once this source has written `status` for
698    /// it, asked without writing or reading anything.
699    ///
700    /// A source that keeps a status's name as it was given answers `status` itself. One that
701    /// writes a category to a name of its own — a board's `Status` option the category maps
702    /// to — answers that name, so a caller comparing what it would write with what the source
703    /// holds does not read a difference of spelling alone as a change: a copy then leaves an
704    /// item that already reads as the source does unwritten.
705    ///
706    /// Defaulted to `status` itself, which is what every source keeping names verbatim reads
707    /// back, and what a caller compared against before this was asked.
708    fn status_as_written(&self, kind: ItemKind, status: &Status) -> Status {
709        let _ = kind;
710        status.clone()
711    }
712
713    /// Set the status of one task this source holds, and change nothing else about it,
714    /// answering with the status as this source now reads it — or `None` when this source
715    /// holds no such task.
716    ///
717    /// The category lands where this source's own mapping sends it, exactly as a
718    /// [`write_task`](Self::write_task) of a task in that category would: a category this
719    /// source has disabled is refused in the words a write of it is refused with. Title,
720    /// content, labels, metadata, dependencies, [`Task::delivers`], [`Task::delivered_by`],
721    /// project and comments are left exactly as they are.
722    ///
723    /// Defaulted to [`unwritable_field`], which is what keeps this an addition rather than a
724    /// break: a source that cannot write a status on its own needs no edit and refuses by
725    /// saying so. A source declaring [`WriteSupport::Unsupported`] is never asked.
726    ///
727    /// [`Task::delivers`]: crate::Task::delivers
728    /// [`Task::delivered_by`]: crate::Task::delivered_by
729    ///
730    /// # Errors
731    ///
732    /// Returns [`SourceError::Refused`] when this source cannot write a status, or cannot
733    /// write this one; and whatever else the source could not do the write for.
734    async fn set_task_status(
735        &self,
736        id: &NativeId,
737        category: StatusCategory,
738    ) -> Result<Option<Status>, SourceError> {
739        let _ = (id, category);
740        Err(unwritable_field(self.kind(), "status"))
741    }
742
743    /// Set the status of one project this source holds, and change nothing else about it,
744    /// answering with the status as this source now reads it — or `None` when this source
745    /// holds no such project.
746    ///
747    /// The category lands where this source's own mapping sends it for a project, exactly as a
748    /// [`write_project`](Self::write_project) of a project in that category would: a category
749    /// this source has disabled is refused in the words a write of it is refused with. Title,
750    /// content, labels, metadata, repositories, dependencies and the project's tasks are left
751    /// exactly as they are. A project delivers no task, so nothing is kept in step after it.
752    ///
753    /// Defaulted to the refusal [`set_task_status`](Self::set_task_status) defaults to,
754    /// [`unwritable_field`] naming `status`, which is what keeps this an addition rather than a
755    /// break: a source that does not implement it needs no edit. A source declaring
756    /// [`WriteSupport::Unsupported`] is never asked.
757    ///
758    /// # Errors
759    ///
760    /// Returns [`SourceError::Refused`] when this source cannot write a project's status, or
761    /// cannot write this one; and whatever else the source could not do the write for.
762    async fn set_project_status(
763        &self,
764        id: &NativeId,
765        category: StatusCategory,
766    ) -> Result<Option<Status>, SourceError> {
767        let _ = (id, category);
768        Err(unwritable_field(self.kind(), "status"))
769    }
770
771    /// Set the status of one task this source holds, as [`set_task_status`](Self::set_task_status)
772    /// does, and answer with the whole task as this source now reads it — its
773    /// [`Task::delivers`] among what a caller keeping delivered tasks in step needs — or `None`
774    /// when this source holds no such task.
775    ///
776    /// Defaulted to exactly the two calls a caller would otherwise make: [`get_task`] first,
777    /// answering `None` with nothing written when it does, then `set_task_status`, the status
778    /// it answers put on the task read. A source whose status write answers the whole task in
779    /// the same round trip overrides it to save the read.
780    ///
781    /// [`Task::delivers`]: crate::Task::delivers
782    /// [`get_task`]: Self::get_task
783    ///
784    /// # Errors
785    ///
786    /// As [`get_task`](Self::get_task) and [`set_task_status`](Self::set_task_status).
787    async fn set_task_status_reading(
788        &self,
789        id: &NativeId,
790        category: StatusCategory,
791    ) -> Result<Option<Task>, SourceError> {
792        let Some(mut task) = self.get_task(id).await? else {
793            return Ok(None);
794        };
795        let Some(status) = self.set_task_status(id, category).await? else {
796            return Ok(None);
797        };
798        task.status = status;
799        Ok(Some(task))
800    }
801
802    /// Every task this source holds whose card contradicts its issue's closure, each with the
803    /// status that brings it in line — what `task status reconcile` writes, through
804    /// [`set_task_status`](Self::set_task_status), one task at a time.
805    ///
806    /// A task needs it when its issue is closed with a reason that reads `done` or
807    /// `cancelled` and its card does not sit at the option this source's mapping gives that
808    /// category. An open task, a closure that reads `unknown` and a card already in line are
809    /// never answered. Changes nothing.
810    ///
811    /// Asked only of a source declaring
812    /// [`Capabilities::reconcile_status`](crate::Capabilities::reconcile_status); defaulted to a
813    /// refusal saying so, which no caller holding to that declaration ever receives.
814    ///
815    /// # Errors
816    ///
817    /// Returns [`SourceError::Refused`] when this source answers no such question; and whatever
818    /// kept it from reading its items.
819    async fn status_contradictions(&self) -> Result<Vec<StatusContradiction>, SourceError> {
820        Err(SourceError::Refused {
821            message: format!(
822                "a {} source's status is its closure, so nothing needs reconciling",
823                self.kind()
824            ),
825        })
826    }
827
828    /// For each issue in `issues`, in order and once each, the task this source holds for it
829    /// and what moving it to `done` comes to — what `task status complete` writes, through
830    /// [`set_task_status`](Self::set_task_status), for each one answered
831    /// [`Completion::Due`](crate::Completion::Due).
832    ///
833    /// The read is proportional to `issues` and never to the size of what this source holds,
834    /// and an empty `issues` reads nothing. Changes nothing.
835    ///
836    /// Asked only of a source declaring
837    /// [`Capabilities::complete_by_issue`](crate::Capabilities::complete_by_issue); defaulted
838    /// to a refusal saying so, which no caller holding to that declaration ever receives.
839    ///
840    /// # Errors
841    ///
842    /// Returns [`SourceError::Refused`] when this source answers no such question; and whatever
843    /// kept it from reading the issues.
844    async fn issue_holdings(&self, issues: &[IssueRef]) -> Result<Vec<IssueHolding>, SourceError> {
845        let _ = issues;
846        Err(SourceError::Refused {
847            message: format!("a {} source holds no items by issue reference", self.kind()),
848        })
849    }
850
851    /// Set the priority of one task this source holds, and change nothing else about it,
852    /// answering with the priority as this source now reads it — or `None` when this source
853    /// holds no such task.
854    ///
855    /// [`Priority::None`] clears the priority. Title, content, status, labels, metadata,
856    /// repositories, dependencies and comments are left exactly as they are. Nothing about
857    /// the task's status moves, so the engine re-evaluates no delivered task after it.
858    ///
859    /// Defaulted to [`unwritable_field`], which is what keeps this an addition rather than a
860    /// break. A source declaring [`WriteSupport::Unsupported`], or declaring
861    /// [`Capabilities::priority`] unsupported, is never asked.
862    ///
863    /// # Errors
864    ///
865    /// Returns [`SourceError::Refused`] when this source cannot write a priority, or cannot
866    /// write this one — a board with no option for it, naming the option; and whatever else
867    /// the source could not do the write for.
868    async fn set_task_priority(
869        &self,
870        id: &NativeId,
871        priority: Priority,
872    ) -> Result<Option<Priority>, SourceError> {
873        let _ = (id, priority);
874        Err(unwritable_field(self.kind(), "priority"))
875    }
876
877    /// Replace the content of one task this source holds with `content`, byte for byte, and
878    /// change nothing else about it — or answer `None` when this source holds no such task.
879    ///
880    /// The content is [`Task::content`] exactly as this source reports it: what a later read
881    /// answers there is `content`. Where the source keeps something else inside the same
882    /// backend field — a metadata block in an issue body — that is kept as it was, and so is
883    /// every other member: title, status, priority, labels, metadata, repositories,
884    /// dependencies, project and comments. Nothing about the task's status moves, so the
885    /// engine re-evaluates no delivered task after it.
886    ///
887    /// Defaulted to [`unwritable_field`] on exactly the terms of
888    /// [`set_task_status`](Self::set_task_status). A source declaring
889    /// [`WriteSupport::Unsupported`] is never asked.
890    ///
891    /// # Errors
892    ///
893    /// Returns [`SourceError::Refused`] when this source cannot write a task's content on its
894    /// own, or cannot represent this one; and whatever else the source could not do the write
895    /// for.
896    async fn set_task_content(
897        &self,
898        id: &NativeId,
899        content: &str,
900    ) -> Result<Option<()>, SourceError> {
901        let _ = (id, content);
902        Err(unwritable_field(self.kind(), "content"))
903    }
904
905    /// Replace the [`Task::delivered_by`] of one task this source holds, and change nothing
906    /// else about it — or answer `None` when this source holds no such task.
907    ///
908    /// Every entry is a qualified id, and the list is the whole of it: what the task held
909    /// there before is replaced, not merged. It is the store's to keep in step — the engine
910    /// calls this whenever it writes a task's [`Task::delivers`] — and nothing a person types
911    /// reaches it directly.
912    ///
913    /// Defaulted to [`unwritable_field`] on exactly the terms of
914    /// [`set_task_status`](Self::set_task_status).
915    ///
916    /// [`Task::delivers`]: crate::Task::delivers
917    /// [`Task::delivered_by`]: crate::Task::delivered_by
918    ///
919    /// # Errors
920    ///
921    /// Returns [`SourceError::Refused`] when this source cannot hold the list, and whatever
922    /// else it could not do the write for.
923    async fn set_delivered_by(
924        &self,
925        id: &NativeId,
926        delivered_by: &[TaskRef],
927    ) -> Result<Option<()>, SourceError> {
928        let _ = (id, delivered_by);
929        Err(unwritable_field(self.kind(), "delivered_by"))
930    }
931
932    /// Set one key of the metadata of one task this source holds, and change nothing else
933    /// about it, answering with the task as this source reads it back after the write — or
934    /// `None` when this source holds no such task.
935    ///
936    /// The key is added when the task does not hold it and replaced when it does; every other
937    /// metadata key, and every other field of the task, is left exactly as it was. A `value`
938    /// the task already holds under `key` is a write that changes nothing, and a source owes
939    /// it no write at all. The answer is a read, not an echo: what the engine reports as the
940    /// value is what the returned task holds under `key`.
941    ///
942    /// Nothing about the task's status or its [`Task::delivers`] moves, so the engine
943    /// re-evaluates no delivered task after this write.
944    ///
945    /// Defaulted to [`unwritable_metadata`] on exactly the terms of
946    /// [`set_task_status`](Self::set_task_status): a source that cannot write one key on its
947    /// own needs no edit and refuses by saying so. A source declaring
948    /// [`WriteSupport::Unsupported`] is never asked.
949    ///
950    /// [`Task::delivers`]: crate::Task::delivers
951    ///
952    /// # Errors
953    ///
954    /// Returns [`SourceError::Refused`] when this source cannot write one key of a task's
955    /// metadata on its own, or cannot write this one without changing something else; and
956    /// whatever else the source could not do the write for.
957    async fn set_task_metadata(
958        &self,
959        id: &NativeId,
960        key: &MetadataKey,
961        value: &Value,
962    ) -> Result<Option<Task>, SourceError> {
963        let _ = (id, key, value);
964        Err(unwritable_metadata(self.kind(), MetadataRecord::Task))
965    }
966
967    /// Apply a targeted update to one task this source holds — every field `update` names, and
968    /// nothing else — answering with a [`TaskUpdateOutcome`], or `None` when this source holds
969    /// no such task.
970    ///
971    /// The outcome is everything the engine reports about the call, so it reads nothing of its
972    /// own: the task as this source reads it once the update landed — from the one read it made
973    /// and what it then wrote, where its backend answers a write with what it holds — the
974    /// fields it actually wrote, and the `delivers` the task held before.
975    ///
976    /// A field already holding the requested value is sent no write, and an update in which
977    /// nothing differs sends no write at all. Every field `update` leaves unnamed — labels,
978    /// repositories, project, [`Task::delivered_by`] and comments always among them — is left
979    /// exactly as it is. An update naming one metadata key both to set and to remove is refused
980    /// before anything is written, in the words of [`TaskUpdate::consistent`].
981    ///
982    /// Defaulted to [`TaskUpdate::rewrite`]: read the task, apply the update, and — only when
983    /// anything differs — [`write_task`](Self::write_task) it with its `target` set. That keeps
984    /// this an addition rather than a break, and a source that predates it behaves correctly and
985    /// is merely not minimal; one whose backend can take a field on its own owes an override
986    /// that sends only what differs. A source declaring [`WriteSupport::Unsupported`] is never
987    /// asked.
988    ///
989    /// [`Task::delivered_by`]: crate::Task::delivered_by
990    ///
991    /// # Errors
992    ///
993    /// Returns [`SourceError::Refused`] when the update contradicts itself, when a field it
994    /// names cannot be represented here — a category this source has disabled included — and
995    /// whatever else the source could not do the write for.
996    async fn update_task(
997        &self,
998        id: &NativeId,
999        update: &TaskUpdate,
1000    ) -> Result<Option<TaskUpdateOutcome>, SourceError> {
1001        update.rewrite(self, id).await
1002    }
1003
1004    /// Set one key of the metadata of one project this source holds, on exactly the terms of
1005    /// [`set_task_metadata`](Self::set_task_metadata).
1006    ///
1007    /// # Errors
1008    ///
1009    /// As [`set_task_metadata`](Self::set_task_metadata).
1010    async fn set_project_metadata(
1011        &self,
1012        id: &NativeId,
1013        key: &MetadataKey,
1014        value: &Value,
1015    ) -> Result<Option<Project>, SourceError> {
1016        let _ = (id, key, value);
1017        Err(unwritable_metadata(self.kind(), MetadataRecord::Project))
1018    }
1019
1020    /// Set one key of the metadata of one document this source holds, on exactly the terms of
1021    /// [`set_task_metadata`](Self::set_task_metadata).
1022    ///
1023    /// A source declaring [`Capabilities::documents`] unsupported is never asked, exactly as
1024    /// it is never asked for a document read.
1025    ///
1026    /// # Errors
1027    ///
1028    /// As [`set_task_metadata`](Self::set_task_metadata).
1029    async fn set_document_metadata(
1030        &self,
1031        id: &NativeId,
1032        key: &MetadataKey,
1033        value: &Value,
1034    ) -> Result<Option<Document>, SourceError> {
1035        let _ = (id, key, value);
1036        Err(unwritable_metadata(self.kind(), MetadataRecord::Document))
1037    }
1038
1039    /// Remove one task this destination holds, so a copy that could not finish can put
1040    /// the destination back the way it found it.
1041    ///
1042    /// This is not a verb of the product: nothing a user types deletes anything, and a
1043    /// copy never deletes an item it did not itself create in the run that is failing.
1044    /// It exists because a copy is either complete or it never happened — a half-written
1045    /// project has to be run again, and the re-run is the mutation burst that trips a
1046    /// hosted destination's rate limiter. Undoing this run's own creates is what removes
1047    /// that retry at source.
1048    ///
1049    /// A source declaring [`WriteSupport::Supported`] owes a real implementation, for the
1050    /// reason it owes [`write_task`](Self::write_task) one: the engine will create items
1051    /// there, so it has to be able to remove the ones it created. An `id` naming nothing
1052    /// is **not** an error — the item is already gone, which is the state this asks for.
1053    ///
1054    /// # Errors
1055    ///
1056    /// Returns [`SourceError::Refused`] when this source has no write side, and whatever
1057    /// else the source could not remove the item for.
1058    async fn delete_task(&self, id: &NativeId) -> Result<(), SourceError> {
1059        let _ = id;
1060        Err(unwritable(self.kind()))
1061    }
1062
1063    /// Remove one project this destination holds, on exactly the terms of
1064    /// [`delete_task`](Self::delete_task).
1065    ///
1066    /// # Errors
1067    ///
1068    /// As [`delete_task`](Self::delete_task).
1069    async fn delete_project(&self, id: &NativeId) -> Result<(), SourceError> {
1070        let _ = id;
1071        Err(unwritable(self.kind()))
1072    }
1073
1074    /// Fetch one document by its native id, or `None` when there is no such document.
1075    ///
1076    /// Defaulted to [`documentless`], which is what keeps documents an addition rather
1077    /// than a break: a source with none needs no edit, keeps working, and says so in the
1078    /// same words every other document-free source does. A source that has documents
1079    /// declares [`Support::Native`](crate::Support::Native) for
1080    /// [`Capabilities::documents`] and owes a real implementation here, because that
1081    /// declaration is what makes the engine ask.
1082    ///
1083    /// # Errors
1084    ///
1085    /// Returns [`SourceError::Refused`] when this source has no documents, and whatever
1086    /// else the source could not answer for.
1087    async fn get_document(&self, id: &NativeId) -> Result<Option<Document>, SourceError> {
1088        let _ = id;
1089        Err(documentless(self.kind()))
1090    }
1091
1092    /// One page of the documents matching `query`.
1093    ///
1094    /// Defaulted on exactly the terms of [`get_document`](Self::get_document). A source
1095    /// with no documents refuses rather than answering an empty page: an empty page reads
1096    /// as a source that has documents and holds none matching, which is the one wrong
1097    /// answer this method can give.
1098    ///
1099    /// # Errors
1100    ///
1101    /// As [`get_document`](Self::get_document).
1102    async fn query_documents(
1103        &self,
1104        query: &DocumentQuery,
1105        page: &PageRequest,
1106    ) -> Result<Page<Document>, SourceError> {
1107        let _ = (query, page);
1108        Err(documentless(self.kind()))
1109    }
1110
1111    /// One page of the documents whose [`TaskQuery::ORIGIN_KEY`] entry is a string equal to
1112    /// `origin`, exactly, on the terms of
1113    /// [`query_projects_by_origin`](Self::query_projects_by_origin).
1114    ///
1115    /// Defaulted to [`query_documents`](Self::query_documents) unfiltered, walked and narrowed
1116    /// as that default is — so a source with no documents refuses exactly as its
1117    /// `query_documents` does.
1118    ///
1119    /// # Errors
1120    ///
1121    /// As [`query_documents`](Self::query_documents), and [`SourceError::Refused`] for a
1122    /// cursor the default did not hand out.
1123    async fn query_documents_by_origin(
1124        &self,
1125        origin: &str,
1126        page: &PageRequest,
1127    ) -> Result<Page<Document>, SourceError> {
1128        let wanted = origin_query(origin);
1129        let mut matched = Vec::new();
1130        let mut cursor: Option<crate::Cursor> = None;
1131        // Every cursor the listing handed out, so one cycling through several is caught as
1132        // one repeating the last is.
1133        let mut visited: Vec<String> = Vec::new();
1134        loop {
1135            let listed = self
1136                .query_documents(
1137                    &DocumentQuery::default(),
1138                    &PageRequest {
1139                        cursor: cursor.clone(),
1140                        limit: page.limit,
1141                    },
1142                )
1143                .await?;
1144            overran(listed.items.len(), page.limit)?;
1145            matched.extend(
1146                listed
1147                    .items
1148                    .into_iter()
1149                    .filter(|document| wanted.origin_matches(&document.metadata)),
1150            );
1151            cursor = match listed.next {
1152                None => break,
1153                Some(next) if visited.contains(&next.0) => return Err(repeated_cursor()),
1154                Some(next) => {
1155                    visited.push(next.0.clone());
1156                    Some(next)
1157                }
1158            };
1159        }
1160        page_of_matches(matched, page)
1161    }
1162
1163    /// Create or update one document, on exactly the terms of
1164    /// [`write_task`](Self::write_task).
1165    ///
1166    /// # Errors
1167    ///
1168    /// As [`write_task`](Self::write_task).
1169    async fn write_document(&self, write: &ItemWrite<Document>) -> Result<NativeId, SourceError> {
1170        let _ = write;
1171        Err(unwritable(self.kind()))
1172    }
1173
1174    /// Remove one document this destination holds, on exactly the terms of
1175    /// [`delete_task`](Self::delete_task).
1176    ///
1177    /// # Errors
1178    ///
1179    /// As [`delete_task`](Self::delete_task).
1180    async fn delete_document(&self, id: &NativeId) -> Result<(), SourceError> {
1181        let _ = id;
1182        Err(unwritable(self.kind()))
1183    }
1184
1185    /// One page of the comments on `task`, oldest first, or `None` when this source holds
1186    /// no such task.
1187    ///
1188    /// Defaulted to [`commentless`], which is what keeps comments an addition rather than a
1189    /// break: a source with none needs no edit and keeps working. A source whose tasks have
1190    /// comments declares [`Support::Native`](crate::Support::Native) for
1191    /// [`Capabilities::comments`] and owes a real implementation of all four comment methods,
1192    /// because that declaration is what makes the engine ask.
1193    ///
1194    /// "No such task" is `None` rather than an error, exactly as it is for
1195    /// [`get_task`](Self::get_task); a task that exists and has no comments is an empty page.
1196    ///
1197    /// # Errors
1198    ///
1199    /// Returns [`SourceError::Refused`] when this source has no comments, and whatever else
1200    /// the source could not answer for.
1201    async fn task_comments(
1202        &self,
1203        task: &NativeId,
1204        page: &PageRequest,
1205    ) -> Result<Option<Page<Comment>>, SourceError> {
1206        let _ = (task, page);
1207        Err(commentless(self.kind()))
1208    }
1209
1210    /// [`get_task_details`](Self::get_task_details) as a copy reads the tasks it carries: each
1211    /// with the first page of its comments `comments` names — and, where the same request can
1212    /// carry them, what this source needs to answer [`task_dependencies`](Self::task_dependencies)
1213    /// for it without another, since a copy reads every task's edges next.
1214    ///
1215    /// Defaulted to `get_task_details(ids, Some(comments))`, which is exactly what it answers.
1216    /// A source whose detail read is priced by what it selects overrides it with a read that
1217    /// also carries the edges, so a copy of a changed task costs its detail read and nothing
1218    /// more; one whose reads are free has no reason to.
1219    async fn get_task_details_for_copy(
1220        &self,
1221        ids: &[NativeId],
1222        comments: &PageRequest,
1223    ) -> Vec<Result<Option<TaskDetailRead>, SourceError>> {
1224        self.get_task_details(ids, Some(comments)).await
1225    }
1226
1227    /// Read the items `ids` names — tasks, projects and documents alike, whatever kind each
1228    /// is — together, as a copy reads the counterparts it is about to write, and hold each for
1229    /// this command so that the next [`get_task`](Self::get_task),
1230    /// [`get_project`](Self::get_project) or [`get_document`](Self::get_document) of it is
1231    /// answered from that read, once, instead of being sent on its own.
1232    ///
1233    /// What is held is exactly what that read by id would have answered — the item's fields,
1234    /// its edges, its asset manifest and its change token — and only until the next read of
1235    /// it, a write naming it, or [`end_command`](Self::end_command), whichever comes first, so
1236    /// a read answered from it is never staler than the read-before-write it stands in for.
1237    ///
1238    /// Defaulted to doing nothing, so every read is sent as it always was: a source whose
1239    /// reads are free has no reason to override it, and one priced per request overrides it
1240    /// with a batched read. An id the batched read finds nothing at is either held as absent —
1241    /// its next read answers `None`, exactly as that read would have — or not held, and its own
1242    /// read answers as it always does.
1243    ///
1244    /// # Errors
1245    ///
1246    /// Returns a [`SourceError`] when the batched read could not be made. Nothing is then
1247    /// held, and each item's own read answers as it would have.
1248    async fn read_ahead_for_copy(&self, ids: &[NativeId]) -> Result<(), SourceError> {
1249        let _ = ids;
1250        Ok(())
1251    }
1252
1253    /// Ask, together, which items were copied from each of `origins` — the qualified ids a copy
1254    /// is about to look for at this destination by the `onetaskgraph.origin` each item records
1255    /// — and hold each answer
1256    /// for this command, so that the next query for the items copied from one of them (a
1257    /// [`TaskQuery::origin`] task query, [`query_projects_by_origin`](Self::query_projects_by_origin)
1258    /// or [`query_documents_by_origin`](Self::query_documents_by_origin)) is answered from it,
1259    /// once, instead of being sent on its own. A source may carry in the same read whatever its
1260    /// creating an item would read first, since a copy finding nothing creates — and its
1261    /// [`designator`](Self::designator), which a copy writing edges asks next: a designator
1262    /// carried in that read answers the next [`designator`](Self::designator) of the command
1263    /// without a request of its own.
1264    ///
1265    /// What is held is exactly what those queries would have answered, and only until the next
1266    /// write or [`end_command`](Self::end_command); a designator, which no write moves, until
1267    /// [`end_command`](Self::end_command). An origin is held as having no counterpart only when
1268    /// the read answered it whole: one whose answer the read could not see the end of is left
1269    /// to its own query. Defaulted to doing nothing, so each query is sent as it always was.
1270    ///
1271    /// # Errors
1272    ///
1273    /// Returns a [`SourceError`] when the read could not be made. Nothing is then held, and each
1274    /// query answers as it would have.
1275    async fn read_ahead_origins_for_copy(&self, origins: &[String]) -> Result<(), SourceError> {
1276        let _ = origins;
1277        Ok(())
1278    }
1279
1280    /// Who may read each member of the project `project` — every task and document filed under
1281    /// it — as the classification and repositories each one's record holds, read by whatever
1282    /// this source holds for this command rather than by its whole records: what a write the
1283    /// public boundary screens reads of a project before it is held to it.
1284    ///
1285    /// `None` is no such read, and is the default: the engine then reads the members as it
1286    /// always has, through [`query_tasks`](Self::query_tasks) narrowed to the project and
1287    /// [`query_documents`](Self::query_documents), so every source answers exactly as before. A
1288    /// source answers `Some` only with every member — a page that says there is more is no
1289    /// answer, and is left to that path — and never with fewer members than those queries
1290    /// would have listed. A source may hold such a page from a read it made beside another,
1291    /// such as the one [`read_ahead_for_copy`](Self::read_ahead_for_copy) names the project to.
1292    ///
1293    /// # Errors
1294    ///
1295    /// Returns a [`SourceError`] when the read could not be made.
1296    async fn member_classifications(
1297        &self,
1298        project: &NativeId,
1299    ) -> Result<Option<Vec<(Classification, Vec<Repository>)>>, SourceError> {
1300        let _ = project;
1301        Ok(None)
1302    }
1303
1304    /// How many tasks this source creates in one [`write_tasks`](Self::write_tasks): more than
1305    /// one only for a source that creates several in one request.
1306    ///
1307    /// A copy hands such a source the tasks it creates together, and names each one's edges to
1308    /// the others in a write after they all exist. Defaulted to one, which has a copy write every
1309    /// task on its own, exactly as before.
1310    fn create_batch_limit(&self) -> usize {
1311        1
1312    }
1313
1314    /// Create every task of `writes` — each [`ItemWrite::target`] `None` — answering with the
1315    /// native ids they were created under, in order.
1316    ///
1317    /// All of them or none: a source that cannot create every one takes back each it did create
1318    /// before refusing, on the terms §4.9 of the protocol puts on [`write_task`](Self::write_task).
1319    /// Defaulted to creating them one at a time through [`write_task`](Self::write_task), taking
1320    /// back those created when a later one is refused.
1321    ///
1322    /// # Errors
1323    ///
1324    /// Refused, before anything is written, when a write names an existing target; otherwise
1325    /// whatever [`write_task`](Self::write_task) of one of them refuses with.
1326    // 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.
1327    async fn write_tasks(&self, writes: &[ItemWrite<Task>]) -> Result<Vec<NativeId>, SourceError> {
1328        if let Some(write) = writes.iter().find(|write| write.target.is_some()) {
1329            return Err(SourceError::Refused {
1330                message: format!(
1331                    "write_tasks creates tasks, and the write of {} names an existing target; \
1332                     next: update it with write_task",
1333                    write.item.id
1334                ),
1335            });
1336        }
1337        let mut created = Vec::with_capacity(writes.len());
1338        for write in writes {
1339            match self.write_task(write).await {
1340                Ok(id) => created.push(id),
1341                Err(error) => {
1342                    // The caller is never handed these ids, so one this source will not take
1343                    // back is named here or by nobody.
1344                    let mut left: Vec<&str> = Vec::new();
1345                    for id in &created {
1346                        if self.delete_task(id).await.is_err() {
1347                            left.push(id.0.as_str());
1348                        }
1349                    }
1350                    if left.is_empty() {
1351                        return Err(error);
1352                    }
1353                    return Err(SourceError::Refused {
1354                        message: format!(
1355                            "{error}; this source then refused to take back {}, which this \
1356                             write created and which it still holds; next: delete {} before \
1357                             writing again",
1358                            left.join(", "),
1359                            if left.len() == 1 { "it" } else { "them" }
1360                        ),
1361                    });
1362                }
1363            }
1364        }
1365        Ok(created)
1366    }
1367
1368    /// From here until [`finish_writes`](Self::finish_writes), a source may hold back the part of
1369    /// each write that can land later — a created item's fields and edges — and send it together
1370    /// with the others' when that is called.
1371    ///
1372    /// A caller asks for this only when it will call `finish_writes` before it reads what it
1373    /// wrote from anywhere but this source, or reports it written. Defaulted to holding nothing
1374    /// back, so every write lands whole as it is made.
1375    fn begin_deferred_writes(&self) {}
1376
1377    /// Send whatever this source has held back since [`begin_deferred_writes`](Self::begin_deferred_writes),
1378    /// and hold nothing back after it.
1379    ///
1380    /// All or nothing for the items it created: a source that cannot finish them takes them back
1381    /// before refusing, so a caller undoing its writes finds them gone. Defaulted to doing
1382    /// nothing, since nothing was held.
1383    ///
1384    /// # Errors
1385    ///
1386    /// Whatever sending what was held back was refused with.
1387    async fn finish_writes(&self) -> Result<(), SourceError> {
1388        Ok(())
1389    }
1390
1391    /// Where an item this source wrote in the current command is, when the write's own answer
1392    /// said so: `record` names which kind of item `id` is.
1393    ///
1394    /// Answered only from what a write already returned — never by a request — so a caller may
1395    /// ask it after every write for free. A caller treats `None` as not knowing, and reads the
1396    /// item when it needs its location. Defaulted to `None`.
1397    fn written_location(&self, record: MetadataRecord, id: &NativeId) -> Option<Location> {
1398        let _ = (record, id);
1399        None
1400    }
1401
1402    /// The task `id` as this source holds it after its latest write of it in the current
1403    /// command, when what that write sent and was answered with says so — its status, its
1404    /// priority and its change token among the rest.
1405    ///
1406    /// Answered without a request to a remote party: a hosted source answers from the
1407    /// responses its own write already received, and a source on this machine from what it
1408    /// wrote. Its `version` is `None` where those responses cannot vouch for a token the next
1409    /// read would give. A caller treats `None` as not knowing. Defaulted to `None`.
1410    async fn written_task(&self, id: &NativeId) -> Option<Task> {
1411        let _ = id;
1412        None
1413    }
1414
1415    /// The change token the `record` `id` holds after this source's latest write of it in the
1416    /// current command, on the terms [`Self::written_task`] answers a task's — `None` where the
1417    /// write's own responses cannot vouch for one. Defaulted to `None`.
1418    async fn written_version(&self, record: MetadataRecord, id: &NativeId) -> Option<String> {
1419        let _ = (record, id);
1420        None
1421    }
1422
1423    /// Add one comment to `task`, answering with the comment as the source now holds it, or
1424    /// `None` when this source holds no such task.
1425    ///
1426    /// The body is stored byte for byte. A source that records the author itself refuses a
1427    /// [`NewComment::author`] rather than dropping it, naming why; a source that cannot
1428    /// represent the body refuses it, naming why, rather than escaping it into something
1429    /// else.
1430    ///
1431    /// # Errors
1432    ///
1433    /// Returns [`SourceError::Refused`] when this source has no comments or cannot be
1434    /// written, when it cannot record what it was given, and whatever else it could not do
1435    /// the write for.
1436    async fn add_comment(
1437        &self,
1438        task: &NativeId,
1439        comment: &NewComment,
1440    ) -> Result<Option<Comment>, SourceError> {
1441        let _ = (task, comment);
1442        Err(commentless(self.kind()))
1443    }
1444
1445    /// Replace the body of the comment `comment` on `task`, answering with the comment as the
1446    /// source now holds it, or `None` when this source holds no such task or that task has no
1447    /// such comment.
1448    ///
1449    /// Only the body and the time it last changed move: the id, the author and the time it
1450    /// was written are the comment's own.
1451    ///
1452    /// # Errors
1453    ///
1454    /// As [`add_comment`](Self::add_comment).
1455    async fn edit_comment(
1456        &self,
1457        task: &NativeId,
1458        comment: &NativeId,
1459        body: &CommentBody,
1460    ) -> Result<Option<Comment>, SourceError> {
1461        let _ = (task, comment, body);
1462        Err(commentless(self.kind()))
1463    }
1464
1465    /// Remove the comment `comment` from `task`, answering with the id it removed, or `None`
1466    /// when this source holds no such task or that task has no such comment.
1467    ///
1468    /// Unlike [`delete_task`](Self::delete_task), this *is* a verb of the product — a person
1469    /// removes a comment they posted — so a comment that is not there is reported as `None`
1470    /// for the engine to refuse by name, rather than treated as already gone.
1471    ///
1472    /// # Errors
1473    ///
1474    /// As [`add_comment`](Self::add_comment).
1475    async fn delete_comment(
1476        &self,
1477        task: &NativeId,
1478        comment: &NativeId,
1479    ) -> Result<Option<NativeId>, SourceError> {
1480        let _ = (task, comment);
1481        Err(commentless(self.kind()))
1482    }
1483
1484    /// Write one comment a copy carries onto `task`: a new one when `existing` is `None`, and
1485    /// otherwise the comment `existing`, which a copy wrote before, made to say `copy` — or
1486    /// `None` when this source holds no such task or no such comment.
1487    ///
1488    /// The answer reports [`Comment::origin`] as `copy.origin`, however the source keeps it.
1489    ///
1490    /// **Defaulted to the hidden marker**, which is right for every source that records a
1491    /// comment's author and times itself: the body is written through
1492    /// [`add_comment`](Self::add_comment) or [`edit_comment`](Self::edit_comment) with
1493    /// [`CommentOrigin::mark`](crate::CommentOrigin::mark) appended, and read back
1494    /// [`unmarked`](Comment::unmarked). A source that can store the origin natively — and so
1495    /// takes the origin's own id, author and times for the copy — overrides this.
1496    ///
1497    /// # Errors
1498    ///
1499    /// As [`add_comment`](Self::add_comment).
1500    async fn write_comment_copy(
1501        &self,
1502        task: &NativeId,
1503        existing: Option<&NativeId>,
1504        copy: &CommentCopy,
1505    ) -> Result<Option<Comment>, SourceError> {
1506        let body = CommentBody::new(copy.origin.qualified()?.mark(copy.body.as_str()))?;
1507        let written = match existing {
1508            Some(comment) => self.edit_comment(task, comment, &body).await?,
1509            None => {
1510                self.add_comment(task, &NewComment { body, author: None })
1511                    .await?
1512            }
1513        };
1514        Ok(written.map(Comment::unmarked))
1515    }
1516
1517    /// Whether this source keeps template answers beside its items at all.
1518    ///
1519    /// What lets a regenerate tell an item whose answers went missing — a block deleted by
1520    /// hand, which the regenerate writes back — from an item of a source that never keeps any,
1521    /// where a missing answer is no difference. Defaulted to `false`, as
1522    /// [`task_template_answers`](Self::task_template_answers) is defaulted to `None`; a source
1523    /// that keeps answers answers `true` here.
1524    fn keeps_template_answers(&self) -> bool {
1525        false
1526    }
1527
1528    /// The template answers the task `id` was last rendered from, as this source keeps them
1529    /// beside the task — or `None` when it keeps none for it, or holds no such task.
1530    ///
1531    /// Keeping answers is a source's own choice, never an obligation: a source whose items
1532    /// are one record in a hosted system has no room beside the item that is not the item, and
1533    /// answers written into its content or its metadata would duplicate what the content
1534    /// already says. Defaulted to `None`, which is what keeps this an addition rather than a
1535    /// break. A source that keeps them owes three things: they are in neither
1536    /// [`Task::content`] nor [`Task::metadata`], they are written only by
1537    /// [`write_task_rendered`](Self::write_task_rendered) and
1538    /// [`set_task_rendering`](Self::set_task_rendering), and they come back here exactly as
1539    /// they were written, JSON types intact.
1540    ///
1541    /// # Errors
1542    ///
1543    /// Returns a [`SourceError`] when the source could not answer, a record whose answers it
1544    /// cannot read included.
1545    async fn task_template_answers(
1546        &self,
1547        id: &NativeId,
1548    ) -> Result<Option<BTreeMap<String, Value>>, SourceError> {
1549        let _ = id;
1550        Ok(None)
1551    }
1552
1553    /// The template answers the document `id` was last rendered from, on exactly the terms of
1554    /// [`task_template_answers`](Self::task_template_answers).
1555    ///
1556    /// # Errors
1557    ///
1558    /// As [`task_template_answers`](Self::task_template_answers).
1559    async fn document_template_answers(
1560        &self,
1561        id: &NativeId,
1562    ) -> Result<Option<BTreeMap<String, Value>>, SourceError> {
1563        let _ = id;
1564        Ok(None)
1565    }
1566
1567    /// The template answers the project `id` was last rendered from, on exactly the terms of
1568    /// [`task_template_answers`](Self::task_template_answers).
1569    ///
1570    /// # Errors
1571    ///
1572    /// As [`task_template_answers`](Self::task_template_answers).
1573    async fn project_template_answers(
1574        &self,
1575        id: &NativeId,
1576    ) -> Result<Option<BTreeMap<String, Value>>, SourceError> {
1577        let _ = id;
1578        Ok(None)
1579    }
1580
1581    /// Create or update one task exactly as [`write_task`](Self::write_task) does, keeping
1582    /// `answers` — the answers its content was rendered from — beside it in the same write
1583    /// where this source keeps answers at all.
1584    ///
1585    /// The task arrives carrying its provenance under [`MetadataKey::TEMPLATE_KEY`] like any
1586    /// other metadata entry. Defaulted to [`write_task`](Self::write_task) alone: a source that
1587    /// keeps no answers writes the task and nothing beside it, which is the whole of what it
1588    /// owes. A source that keeps them writes the task and the answers together, so a reader
1589    /// never finds one without the other.
1590    ///
1591    /// # Errors
1592    ///
1593    /// As [`write_task`](Self::write_task).
1594    async fn write_task_rendered(
1595        &self,
1596        write: &ItemWrite<Task>,
1597        answers: &BTreeMap<String, Value>,
1598    ) -> Result<NativeId, SourceError> {
1599        let _ = answers;
1600        self.write_task(write).await
1601    }
1602
1603    /// Create or update one document, on exactly the terms of
1604    /// [`write_task_rendered`](Self::write_task_rendered).
1605    ///
1606    /// # Errors
1607    ///
1608    /// As [`write_document`](Self::write_document).
1609    async fn write_document_rendered(
1610        &self,
1611        write: &ItemWrite<Document>,
1612        answers: &BTreeMap<String, Value>,
1613    ) -> Result<NativeId, SourceError> {
1614        let _ = answers;
1615        self.write_document(write).await
1616    }
1617
1618    /// Create or update one project, on exactly the terms of
1619    /// [`write_task_rendered`](Self::write_task_rendered).
1620    ///
1621    /// # Errors
1622    ///
1623    /// As [`write_project`](Self::write_project).
1624    async fn write_project_rendered(
1625        &self,
1626        write: &ItemWrite<Project>,
1627        answers: &BTreeMap<String, Value>,
1628    ) -> Result<NativeId, SourceError> {
1629        let _ = answers;
1630        self.write_project(write).await
1631    }
1632
1633    /// Replace one task's rendering — its content, byte for byte, its
1634    /// [`MetadataKey::TEMPLATE_KEY`] entry, set to `provenance`, and the answers it keeps
1635    /// beside the task where it keeps any — in one write, and change nothing else about it;
1636    /// or answer `None` when this source holds no such task.
1637    ///
1638    /// The content is [`Task::content`] exactly as a later read reports it, on the terms of
1639    /// [`set_task_content`](Self::set_task_content). Title, status, priority, labels, every
1640    /// other metadata entry, repositories, dependencies, [`Task::delivers`],
1641    /// [`Task::delivered_by`], project and comments are left exactly as they are. The write is
1642    /// one write: a reader sees the task as it was or as it is now, never a new content beside
1643    /// the old provenance or the old answers.
1644    ///
1645    /// Defaulted to [`unwritable_field`] on exactly the terms of
1646    /// [`set_task_status`](Self::set_task_status). A source declaring
1647    /// [`WriteSupport::Unsupported`] is never asked.
1648    ///
1649    /// [`Task::delivers`]: crate::Task::delivers
1650    /// [`Task::delivered_by`]: crate::Task::delivered_by
1651    ///
1652    /// # Errors
1653    ///
1654    /// Returns [`SourceError::Refused`] when this source cannot replace a task's rendering on
1655    /// its own, or cannot represent this one; and whatever else the source could not do the
1656    /// write for.
1657    async fn set_task_rendering(
1658        &self,
1659        id: &NativeId,
1660        content: &str,
1661        provenance: &Value,
1662        answers: &BTreeMap<String, Value>,
1663    ) -> Result<Option<()>, SourceError> {
1664        let _ = (id, content, provenance, answers);
1665        Err(unwritable_field(self.kind(), "rendering"))
1666    }
1667
1668    /// Replace one document's rendering, on exactly the terms of
1669    /// [`set_task_rendering`](Self::set_task_rendering). A source declaring
1670    /// [`Capabilities::documents`] unsupported is never asked.
1671    ///
1672    /// # Errors
1673    ///
1674    /// As [`set_task_rendering`](Self::set_task_rendering).
1675    async fn set_document_rendering(
1676        &self,
1677        id: &NativeId,
1678        content: &str,
1679        provenance: &Value,
1680        answers: &BTreeMap<String, Value>,
1681    ) -> Result<Option<()>, SourceError> {
1682        let _ = (id, content, provenance, answers);
1683        Err(SourceError::Refused {
1684            message: format!(
1685                "the {} plugin cannot write a document's rendering on its own",
1686                self.kind()
1687            ),
1688        })
1689    }
1690
1691    /// Replace one project's rendering, on exactly the terms of
1692    /// [`set_task_rendering`](Self::set_task_rendering): its content, its
1693    /// [`MetadataKey::TEMPLATE_KEY`] entry and the answers kept beside it change, and its
1694    /// title, status, labels, every other metadata entry, repositories and dependencies are
1695    /// left exactly as they are.
1696    ///
1697    /// # Errors
1698    ///
1699    /// As [`set_task_rendering`](Self::set_task_rendering).
1700    async fn set_project_rendering(
1701        &self,
1702        id: &NativeId,
1703        content: &str,
1704        provenance: &Value,
1705        answers: &BTreeMap<String, Value>,
1706    ) -> Result<Option<()>, SourceError> {
1707        let _ = (id, content, provenance, answers);
1708        Err(SourceError::Refused {
1709            message: format!(
1710                "the {} plugin cannot write a project's rendering on its own",
1711                self.kind()
1712            ),
1713        })
1714    }
1715
1716    /// The image assets the task `id` holds, or none when it holds none or this source holds
1717    /// no such task.
1718    ///
1719    /// Defaulted to none, which is what keeps assets an addition rather than a break: a source
1720    /// that keeps no assets needs no edit and reports every record as holding none. A source
1721    /// declaring [`Capabilities::assets`] native answers what it holds for the record, in any
1722    /// order — the engine orders them by the content's first reference.
1723    ///
1724    /// # Errors
1725    ///
1726    /// Returns a [`SourceError`] when the source could not answer.
1727    async fn task_assets(&self, id: &NativeId) -> Result<Vec<Asset>, SourceError> {
1728        let _ = id;
1729        Ok(Vec::new())
1730    }
1731
1732    /// The image assets the document `id` holds, on exactly the terms of
1733    /// [`task_assets`](Self::task_assets).
1734    ///
1735    /// # Errors
1736    ///
1737    /// As [`task_assets`](Self::task_assets).
1738    async fn document_assets(&self, id: &NativeId) -> Result<Vec<Asset>, SourceError> {
1739        let _ = id;
1740        Ok(Vec::new())
1741    }
1742
1743    /// The bytes of the asset `name` the task `id` holds, or `None` when it holds no such asset
1744    /// or this source holds no such task.
1745    ///
1746    /// Defaulted to `None`, on the terms of [`task_assets`](Self::task_assets).
1747    ///
1748    /// # Errors
1749    ///
1750    /// Returns a [`SourceError`] when the source could not answer.
1751    async fn task_asset(
1752        &self,
1753        id: &NativeId,
1754        name: &AssetName,
1755    ) -> Result<Option<Vec<u8>>, SourceError> {
1756        let _ = (id, name);
1757        Ok(None)
1758    }
1759
1760    /// The bytes of the asset `name` the document `id` holds, on exactly the terms of
1761    /// [`task_asset`](Self::task_asset).
1762    ///
1763    /// # Errors
1764    ///
1765    /// As [`task_asset`](Self::task_asset).
1766    async fn document_asset(
1767        &self,
1768        id: &NativeId,
1769        name: &AssetName,
1770    ) -> Result<Option<Vec<u8>>, SourceError> {
1771        let _ = (id, name);
1772        Ok(None)
1773    }
1774
1775    /// Create or update one task carrying image assets, in one write: the task as
1776    /// [`write_task`](Self::write_task) writes it — or, with `answers`, as
1777    /// [`write_task_rendered`](Self::write_task_rendered) does — and `assets` as the record's
1778    /// whole asset set, answering with where it landed and the content as stored.
1779    ///
1780    /// Only a source declaring [`Capabilities::assets`] native is asked, and the engine has
1781    /// already checked that every reference in the content names one of `assets` and every one
1782    /// of `assets` is referenced. A source that keeps the bytes beside the record stores each
1783    /// payload under its name, removes every asset the record held that `assets` does not
1784    /// name, and answers the content unchanged. A source that serves them at a URL uploads each
1785    /// payload that carries bytes, reuses the URL [`AssetWrite::recorded_assets`] records for
1786    /// each that does not, and writes the record through
1787    /// [`serve_asset_references`](crate::serve_asset_references) — so its references point at
1788    /// those URLs, its [`MetadataKey::ASSETS_KEY`] records each `{sha256, url}`, and a
1789    /// rendering's `body_digest` stays true of what landed — answering the content it wrote.
1790    ///
1791    /// Defaulted to [`assetless`], which is what a source with no assets answers.
1792    ///
1793    /// # Errors
1794    ///
1795    /// As [`write_task`](Self::write_task), and [`SourceError::Refused`] from a source that
1796    /// keeps no assets.
1797    async fn write_task_with_assets(
1798        &self,
1799        write: &ItemWrite<Task>,
1800        answers: Option<&BTreeMap<String, Value>>,
1801        assets: &AssetWrite,
1802    ) -> Result<AssetsWritten, SourceError> {
1803        let _ = (write, answers, assets);
1804        Err(assetless(self.kind()))
1805    }
1806
1807    /// Create or update one document carrying image assets, on exactly the terms of
1808    /// [`write_task_with_assets`](Self::write_task_with_assets).
1809    ///
1810    /// # Errors
1811    ///
1812    /// As [`write_task_with_assets`](Self::write_task_with_assets).
1813    async fn write_document_with_assets(
1814        &self,
1815        write: &ItemWrite<Document>,
1816        answers: Option<&BTreeMap<String, Value>>,
1817        assets: &AssetWrite,
1818    ) -> Result<AssetsWritten, SourceError> {
1819        let _ = (write, answers, assets);
1820        Err(assetless(self.kind()))
1821    }
1822
1823    /// Replace one task's rendering as [`set_task_rendering`](Self::set_task_rendering) does,
1824    /// and its asset set as [`write_task_with_assets`](Self::write_task_with_assets) does, in
1825    /// one write; or answer `None` when this source holds no such task.
1826    ///
1827    /// Defaulted to [`assetless`].
1828    ///
1829    /// # Errors
1830    ///
1831    /// As [`set_task_rendering`](Self::set_task_rendering), and [`SourceError::Refused`] from a
1832    /// source that keeps no assets.
1833    async fn set_task_rendering_with_assets(
1834        &self,
1835        id: &NativeId,
1836        content: &str,
1837        provenance: &Value,
1838        answers: &BTreeMap<String, Value>,
1839        assets: &AssetWrite,
1840    ) -> Result<Option<AssetsWritten>, SourceError> {
1841        let _ = (id, content, provenance, answers, assets);
1842        Err(assetless(self.kind()))
1843    }
1844
1845    /// Replace one document's rendering and its asset set, on exactly the terms of
1846    /// [`set_task_rendering_with_assets`](Self::set_task_rendering_with_assets).
1847    ///
1848    /// # Errors
1849    ///
1850    /// As [`set_task_rendering_with_assets`](Self::set_task_rendering_with_assets).
1851    async fn set_document_rendering_with_assets(
1852        &self,
1853        id: &NativeId,
1854        content: &str,
1855        provenance: &Value,
1856        answers: &BTreeMap<String, Value>,
1857        assets: &AssetWrite,
1858    ) -> Result<Option<AssetsWritten>, SourceError> {
1859        let _ = (id, content, provenance, answers, assets);
1860        Err(assetless(self.kind()))
1861    }
1862
1863    /// What this source has sent to its backend since it was built and what that spent, or
1864    /// `None` when it does not meter its own requests.
1865    ///
1866    /// Defaulted to `None`, which is what keeps metering an addition rather than a break: a
1867    /// source that does not count its requests needs no edit, and is reported as not
1868    /// metering rather than as having spent nothing. A source that answers owes a running
1869    /// total — see [`Metering`] — because what one command spent is read as the difference
1870    /// between two readings.
1871    ///
1872    /// # Errors
1873    ///
1874    /// Returns a [`SourceError`] when the reading itself could not be taken. A caller
1875    /// reports such a source as not metering; what a command cost is never a reason for the
1876    /// command to fail.
1877    async fn metering(&self) -> Result<Option<Metering>, SourceError> {
1878        Ok(None)
1879    }
1880
1881    /// End one command: drop everything held that a person can change.
1882    ///
1883    /// A command is one unit of work — one invocation of the binary, or whatever a caller
1884    /// holding one engine for many units of work calls between them. Within a command a
1885    /// source may hold what it read and reuse it; across this call it may not. After it
1886    /// returns, a source answers no read and bases no write on item content, statuses, board
1887    /// contents or search results it held before the call. It may keep only identifiers and
1888    /// vocabulary that stay valid in normal use — a repository's node id, a team's workflow
1889    /// states — and only where a lookup that misses one re-reads rather than refusing.
1890    ///
1891    /// Defaulted to doing nothing, which is right for a source that holds nothing between
1892    /// calls or holds only what the rule above lets it keep. A source that holds more owes
1893    /// an override. Never called by the engine on its own: the binary's one command is its
1894    /// whole process, so only a caller that outlives a command calls it.
1895    ///
1896    /// # Errors
1897    ///
1898    /// Returns a [`SourceError`] when the source could not be sure it dropped what it held —
1899    /// ordinarily a hosted plugin that did not answer. A caller should not go on to the next
1900    /// command on that source's earlier reads.
1901    async fn end_command(&self) -> Result<(), SourceError> {
1902        Ok(())
1903    }
1904
1905    /// Who can read where `target` lands, read live from the backend.
1906    ///
1907    /// This is the destination's reality, which the engine holds a declaration against
1908    /// before it lets a write through: a source a configuration declares private receives an
1909    /// item that may only be written somewhere private only while this answers
1910    /// [`Visibility::Private`]. The engine asks before the write it is about. A source must
1911    /// not answer from anything it read for an earlier write unless its backend's visibility
1912    /// cannot change in between — or the read was taken while the engine held this source's
1913    /// reads for one operation ([`hold_visibility`](Self::hold_visibility)), which a copy
1914    /// does so each destination is read once for the whole copy rather than once per write.
1915    ///
1916    /// Defaulted to [`Visibility::Unknown`], which is the answer of a source that cannot say
1917    /// and is never treated as private. A source on this machine answers `Private` — what it
1918    /// writes stays on the host — and a hosted source reads its backend.
1919    ///
1920    /// # Errors
1921    ///
1922    /// Returns a [`SourceError`] when the backend could not be asked or would not answer —
1923    /// a credential lacking the scope the read needs among them. An unreadable visibility is
1924    /// never guessed: the engine refuses the write.
1925    async fn visibility(&self, target: &WriteTarget<'_>) -> Result<Visibility, SourceError> {
1926        let _ = target;
1927        Ok(Visibility::Unknown)
1928    }
1929
1930    /// The repository a create of `target` would file its issue in, as a normalized origin,
1931    /// by the same rule the create itself applies — or `None` for a source that files no
1932    /// issue in a repository.
1933    ///
1934    /// Read-only: it writes nothing, and reads only what that rule reads — for a source whose
1935    /// rule looks at the project a new item is filed under, that project, and only when
1936    /// `target` names one. It answers where a *create* would file, so an
1937    /// [`WriteTarget::Existing`] target, which no create makes, answers `None`.
1938    ///
1939    /// Defaulted to `None`, the answer of every source that files no issue in a repository.
1940    ///
1941    /// # Errors
1942    ///
1943    /// Returns a [`SourceError`] when the create would be refused — refused as the create
1944    /// would refuse it — or the read the rule needs failed.
1945    async fn creation_repository(
1946        &self,
1947        target: &WriteTarget<'_>,
1948    ) -> Result<Option<Repository>, SourceError> {
1949        let _ = target;
1950        Ok(None)
1951    }
1952
1953    /// Take this source's exclusive, cross-process hold on the `record` `id`, waiting for a
1954    /// holder that is still at work and taking over one a dead process left — `true` once it is
1955    /// held, `false` for a source that offers no such hold. A caller releases it with
1956    /// [`Self::release_item`], always.
1957    ///
1958    /// What a copy decides its intent to create under: on a source that answers `true`, exactly
1959    /// one attempt on one host owns a create of the item. A hosted source has no lock to offer,
1960    /// and its intents are advisory. Defaulted to `false`.
1961    ///
1962    /// # Errors
1963    ///
1964    /// Returns a [`SourceError`] when the hold could not be taken.
1965    fn hold_item(&self, record: MetadataRecord, id: &NativeId) -> Result<bool, SourceError> {
1966        let _ = (record, id);
1967        Ok(false)
1968    }
1969
1970    /// Release the hold [`Self::hold_item`] took on the `record` `id`. Defaulted to nothing.
1971    fn release_item(&self, record: MetadataRecord, id: &NativeId) {
1972        let _ = (record, id);
1973    }
1974
1975    /// The `record` `id` exactly as this source stores it, byte for byte, when it can give that
1976    /// back with [`Self::restore_item`] — `None` otherwise. Read off this machine, never a
1977    /// request. Defaulted to `None`.
1978    fn item_snapshot(&self, record: MetadataRecord, id: &NativeId) -> Option<Vec<u8>> {
1979        let _ = (record, id);
1980        None
1981    }
1982
1983    /// Put the `record` `id` back to `snapshot`, byte for byte, under its hold: what a copy that
1984    /// took every write back leaves of an item it recorded an intent on. Defaulted to doing
1985    /// nothing, since a source answering no snapshot is never asked.
1986    ///
1987    /// # Errors
1988    ///
1989    /// Returns a [`SourceError`] when the item could not be put back.
1990    fn restore_item(
1991        &self,
1992        record: MetadataRecord,
1993        id: &NativeId,
1994        snapshot: &[u8],
1995    ) -> Result<(), SourceError> {
1996        let _ = (record, id, snapshot);
1997        Ok(())
1998    }
1999
2000    /// Remove one key of the metadata of the `record` `id` and change nothing else, answering
2001    /// the record's version token once it is gone — `Some(None)` when this source spells none —
2002    /// or `None` when this source holds no such record. Removing a key the record does not hold
2003    /// writes nothing.
2004    ///
2005    /// What a copy asks to take its intent to create — [`MetadataKey::CREATING_KEY`] — off a
2006    /// project or a document once the counterpart is linked. Defaulted for a task to
2007    /// [`Self::update_task`] removing the key, and for a project or a document to the refusal
2008    /// a source writing no metadata answers, which the engine meets by writing the record
2009    /// back whole without the key. A source that can take one key off narrowly owes an
2010    /// override.
2011    ///
2012    /// # Errors
2013    ///
2014    /// Returns [`SourceError::Refused`] when this source cannot remove the key on its own, and
2015    /// whatever else the source could not do the write for.
2016    async fn remove_record_metadata(
2017        &self,
2018        record: MetadataRecord,
2019        id: &NativeId,
2020        key: &MetadataKey,
2021    ) -> Result<Option<Option<String>>, SourceError> {
2022        if record != MetadataRecord::Task {
2023            return Err(crate::metadata::unwritable_metadata(self.kind(), record));
2024        }
2025        let mut update = TaskUpdate::default();
2026        update.metadata_remove.insert(key.clone());
2027        Ok(self
2028            .update_task(id, &update)
2029            .await?
2030            .map(|outcome| outcome.task.version))
2031    }
2032
2033    /// Every `record` this source holds whose create carried the create key `key` — see
2034    /// [`MetadataKey::CREATE_KEY`] — created at or after `since` when that is given: what a
2035    /// retried copy asks to find the item its earlier attempt created. `target` is the create
2036    /// the key was taken for, so a source filing creates in more than one place looks where
2037    /// that one would have landed.
2038    ///
2039    /// Read-only, and never through a search index: a source answers from where its creates
2040    /// land, by the key, so the answer is as fresh as [`Self::create_key_lags`] says. Defaulted
2041    /// to none, the answer of a source that keeps no such key — a retried copy then creates
2042    /// again, as it always did.
2043    ///
2044    /// # Errors
2045    ///
2046    /// Returns a [`SourceError`] when the lookup could not be made.
2047    async fn created_with_key(
2048        &self,
2049        record: MetadataRecord,
2050        key: &str,
2051        since: Option<chrono::DateTime<chrono::Utc>>,
2052        target: &WriteTarget<'_>,
2053    ) -> Result<Vec<NativeId>, SourceError> {
2054        let _ = (record, key, since, target);
2055        Ok(Vec::new())
2056    }
2057
2058    /// Whether [`Self::created_with_key`] can miss an item created moments ago — a hosted
2059    /// backend that lists a new item only after a delay — so a retry waits out the source's
2060    /// quiescence window before believing it absent. Defaulted to `false`.
2061    fn create_key_lags(&self) -> bool {
2062        false
2063    }
2064
2065    /// Why this source's own policy on where it creates would refuse a create of `target`,
2066    /// or `None` when it would not — asked before anything of the create is written, and by a
2067    /// read-only answer of where a copy would land.
2068    ///
2069    /// A refusal here is the source's configured restriction on the place a create would file
2070    /// in — a GitHub Projects source's `creation_owners` — and never a refusal of the item
2071    /// itself, which [`Self::check_task_write`] answers. It is answered rather than returned
2072    /// as an error so a caller that only reports where a create would go can say so without
2073    /// failing. Read-only, as [`Self::creation_repository`] is, and reading only what that
2074    /// rule reads; a source with no such restriction reads nothing at all.
2075    ///
2076    /// Defaulted to `None`, the answer of every source with no such policy.
2077    ///
2078    /// # Errors
2079    ///
2080    /// Returns a [`SourceError`] when the rule deciding where the create would file could not
2081    /// be applied — refused as the create would refuse it, or a read it needs failed.
2082    async fn creation_refusal(
2083        &self,
2084        target: &WriteTarget<'_>,
2085    ) -> Result<Option<String>, SourceError> {
2086        let _ = target;
2087        Ok(None)
2088    }
2089
2090    /// Read a create's visibility under a project this copy will create or update.
2091    ///
2092    /// `project` names the destination project, including a create whose id does not exist
2093    /// yet. Backends whose placement depends on its repository predict that repository
2094    /// with the same rule as the actual create. Other backends use `visibility` unchanged.
2095    ///
2096    /// # Errors
2097    /// Returns the same failures as [`visibility`](Self::visibility).
2098    async fn visibility_with_project(
2099        &self,
2100        target: &WriteTarget<'_>,
2101        project: &WriteTarget<'_>,
2102    ) -> Result<Visibility, SourceError> {
2103        let _ = project;
2104        self.visibility(target).await
2105    }
2106
2107    /// Told, once the configuration is read, who the configuration declares can read this
2108    /// source: [`Visibility::Private`] for a source declared `visibility: private`,
2109    /// [`Visibility::Public`] for one declared public, and [`Visibility::Unknown`] for one
2110    /// that declares nothing.
2111    ///
2112    /// A declaration, never the backend's reality, which [`visibility`](Self::visibility)
2113    /// reads. A source whose backend places a new item somewhere decided per item may place
2114    /// it differently on a source declared private — a GitHub board files an issue whose one
2115    /// named repository reads public in a private repository instead — and must place it
2116    /// exactly as before on every other. Defaulted to ignoring it, which is what every source
2117    /// that places an item the same way whoever may read it does.
2118    fn declare_visibility(&self, declared: Visibility) {
2119        let _ = declared;
2120    }
2121
2122    /// Run an operation with isolated visibility reads, including when operations overlap.
2123    ///
2124    /// The default executes the future unchanged. Backends that hold visibility reads may
2125    /// scope them to this future rather than sharing them with another operation.
2126    fn scope_visibility<'a>(
2127        &'a self,
2128        operation: std::pin::Pin<Box<dyn std::future::Future<Output = ()> + Send + 'a>>,
2129    ) -> std::pin::Pin<Box<dyn std::future::Future<Output = ()> + Send + 'a>> {
2130        operation
2131    }
2132
2133    /// Begin one engine operation's hold on what [`visibility`](Self::visibility) reads: from
2134    /// now until the matching [`release_visibility`](Self::release_visibility), a source may
2135    /// answer each destination from its first read in that hold rather than reading it again.
2136    ///
2137    /// Holds nest: only the release matching the outermost hold ends it, and that release
2138    /// drops everything read. A copy holds every source for the length of the copy, so a
2139    /// destination whose visibility changes during one copy is seen by the next. Defaulted to
2140    /// doing nothing, which is right for a source that reads nothing to answer.
2141    fn hold_visibility(&self) {}
2142
2143    /// End the hold [`hold_visibility`](Self::hold_visibility) began, dropping every
2144    /// visibility read in it once the outermost hold ends. Defaulted to doing nothing.
2145    fn release_visibility(&self) {}
2146}
2147
2148/// The factory that turns one configuration block into a live [`TaskSource`].
2149///
2150/// Having the compile-time registry and the subprocess seam be the same shape is
2151/// the whole reason this is a trait rather than a free function.
2152pub trait SourcePlugin: Send + Sync + 'static {
2153    /// The name a configuration document's `plugin:` field names.
2154    fn kind(&self) -> &'static str;
2155
2156    /// The JSON Schema for this plugin's own `config:` block.
2157    fn config_schema(&self) -> Schema;
2158
2159    /// Build a live source from one configuration block.
2160    ///
2161    /// `name` is the configured source's name, for error messages only — a
2162    /// plugin never learns it for any other purpose.
2163    ///
2164    /// # Errors
2165    ///
2166    /// Returns [`SourceError::Config`] when `config` is not valid for this
2167    /// plugin, or [`SourceError::Auth`] when a named credential is absent.
2168    fn build(
2169        &self,
2170        name: &SourceName,
2171        config: &serde_json::Value,
2172        secrets: &dyn SecretResolver,
2173    ) -> Result<Box<dyn TaskSource>, SourceError>;
2174
2175    /// Build a live source from one configuration block, handing it the clock it paces and
2176    /// backs off on.
2177    ///
2178    /// The binary builds every in-process source through this, with the process's one
2179    /// [`SharedClock`] — [`system_clock`](crate::system_clock) unless a test asked for
2180    /// simulated time. Defaulted to [`build`](Self::build), which ignores the clock: a plugin
2181    /// that never waits needs no edit, and one that does overrides this and routes its waits
2182    /// through `clock`.
2183    ///
2184    /// # Errors
2185    ///
2186    /// As [`build`](Self::build).
2187    fn build_with_clock(
2188        &self,
2189        name: &SourceName,
2190        config: &serde_json::Value,
2191        secrets: &dyn SecretResolver,
2192        clock: SharedClock,
2193    ) -> Result<Box<dyn TaskSource>, SourceError> {
2194        let _ = clock;
2195        self.build(name, config, secrets)
2196    }
2197
2198    /// The fields of this plugin's `config:` block that name a filesystem path, as dotted
2199    /// paths into that block.
2200    ///
2201    /// A relative value at one of these, **supplied by a configuration document**, is
2202    /// resolved against the directory holding that document before [`Self::build`] sees it;
2203    /// supplied through the environment or a flag it keeps resolving against the process
2204    /// working directory, because there is no document to rebase it on. A plugin is handed
2205    /// values and no origins, so this declaration is the only way it can say which of its
2206    /// own fields that rule reaches.
2207    ///
2208    /// Defaulted to none, which is what keeps this an addition rather than a break: a
2209    /// plugin whose block holds no path needs no edit, and a caller asks every plugin
2210    /// rather than keeping a table of which ones answer.
2211    // llmlint: ignore[invalid_states_unrepresentable] The identity of a configuration field
2212    // is a name, and no type can make a wrong one unrepresentable here: every string is a
2213    // syntactically valid dotted path, so a newtype would validate nothing and would only
2214    // move where a name that is not a field of *this* plugin is accepted. What decides that
2215    // is whether the name is a property of the schema `config_schema` publishes — a
2216    // per-plugin fact no shared type can hold — so the gate is per plugin and executable:
2217    // `document_relative_fields_are_fields_this_plugin_declares` in
2218    // `onetaskgraph-local-md/tests/plugin.rs`, which a plugin adding a declaration owes its
2219    // own copy of.
2220    fn document_relative_paths(&self) -> &'static [&'static str] {
2221        &[]
2222    }
2223
2224    /// What names the remote store a source built from `config` reads — a board's owner and
2225    /// number, a Linear endpoint and team — or `None` for a source with no remote.
2226    ///
2227    /// The store's local cache of a remote source lives under a digest of this, so every
2228    /// process configuring the same remote shares one cache and no two remotes share one.
2229    /// Defaulted to `None`, which is what a source keeping its work on this machine — a
2230    /// folder of Markdown — answers: it has nothing to cache, and its cache setting is
2231    /// ignored. A `config` this plugin would refuse answers `None` too.
2232    fn remote_identity(&self, config: &serde_json::Value) -> Option<String> {
2233        let _ = config;
2234        None
2235    }
2236}
2237
2238/// How a plugin reads the credential its configuration names.
2239///
2240/// A configuration document never carries a credential value, only the name of
2241/// the environment variable holding it.
2242pub trait SecretResolver: Send + Sync {
2243    /// The value of `var`, or `None` when nothing defines it.
2244    ///
2245    /// The returned value is never logged and never appears in `Debug` output.
2246    fn get(&self, var: &str) -> Option<SecretString>;
2247}