Skip to main content

release_kit/landing/
manifest.rs

1//! The landing record: `.release-kit/manifest.json`.
2//!
3//! The record is a manifest, not a stamp: `rk status` and `rk upgrade`
4//! make decisions from it, so it earns a parser that can fail and a
5//! stated schema version — an unknown shape refuses naming the record,
6//! never a best-effort read. It is written last, after every file has
7//! landed, through the temp-plus-rename writer, and it is committed:
8//! every reader it exists for sees only committed files, and it carries
9//! digests of committed files, nothing secret and nothing
10//! machine-specific.
11
12use std::collections::BTreeMap;
13
14use camino::Utf8Path;
15use serde::{Deserialize, Serialize};
16
17use crate::atomic;
18use crate::diagnostic::{Diagnostic, Reason};
19use crate::digest::Digest;
20use crate::error::RkError;
21use crate::landing::Kind;
22pub use crate::profile::{
23    CapabilityRequests, GitWorkflow, ProfileSnapshot, ReleaseIntent, ReleaseMode,
24};
25
26/// Where the record lives, relative to the target root.
27pub const MANIFEST_PATH: &str = ".release-kit/manifest.json";
28
29/// The schema this binary writes.
30///
31/// Schema 10 is the receipt of a direct landing: the producing
32/// `rk_version`, the origin, the resolved target configuration by domain,
33/// and per destination the path, the kind, the placement where the
34/// destination is a marked region, and the digest of the bytes or region
35/// now present. It carries no bundle digest and no baseline digest,
36/// because the landing renders afresh from this binary and compares
37/// against no earlier release.
38///
39/// Schemas 1 through 8 read through one bounded conversion in
40/// [`legacy`]: the retired `payload_sha256`, per-file `baseline_sha256`,
41/// and `parameters.scopes` fields are dropped, the one technology becomes
42/// the sole technology and the automatic release driver, and the flat
43/// parameters move into their domains. The next successful landing
44/// rewrites schema 10. Anything past this schema refuses by name.
45///
46/// Schema 10 adds `git.integration`, the authority that moves an
47/// implementation onto the trunk. A record at schema 9 or below carries
48/// no such key and reads as `forge`, which is the authority it landed.
49///
50/// Schema 11 adds `capabilities.workflow_guards`. A record at schema 10 or
51/// below carries no such key: that is the pending answer, which reads as
52/// kept, because every such landing carries the guards.
53///
54/// Schema 12 adds `git.merge_form`, how the commits of a branch reach the
55/// trunk. A record at schema 11 or below carries no such key and reads as
56/// `squash`, which is the form every such landing took.
57///
58/// SATISFIES landing:a-record-states-its-schema
59/// SATISFIES git:the-merge-form-is-a-landing-parameter
60pub const SCHEMA_VERSION: u64 = 12;
61
62/// The oldest schema this binary still reads.
63const OLDEST_READABLE_SCHEMA: u64 = 1;
64
65/// The first schema that states a destination's placement. A record below
66/// it carried none, and the block destinations were regions by their names
67/// alone.
68const PLACEMENT_SCHEMA: u64 = 7;
69
70/// The checkout mode a landing records: where a topic branch opens.
71///
72/// A Git workflow parameter, rendered into the landed blocks and changed
73/// only through the landing verbs. It selects a working tree and nothing
74/// else: no branching method, no rebase policy, no merge policy.
75///
76/// SATISFIES git:checkout-mode-selects-where-a-topic-branch-opens
77#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize)]
78#[serde(rename_all = "kebab-case")]
79pub enum CheckoutMode {
80    /// Every code-changing branch opens in a linked worktree and the main
81    /// checkout commits nothing.
82    LinkedWorktree,
83    /// A branch opens in the repository's original working tree, which
84    /// switches to it; worktrees stay available beside it and nothing
85    /// refuses either form.
86    MainWorktree,
87}
88
89impl CheckoutMode {
90    /// The flag, wire, and report form.
91    #[must_use]
92    pub const fn as_str(self) -> &'static str {
93        match self {
94            Self::LinkedWorktree => "linked-worktree",
95            Self::MainWorktree => "main-worktree",
96        }
97    }
98
99    /// The label the runbooks select a variant on.
100    #[must_use]
101    pub const fn runbook_label(self) -> &'static str {
102        match self {
103            Self::LinkedWorktree => "worktree",
104            Self::MainWorktree => "branches",
105        }
106    }
107
108    /// Parse a `--checkout-mode` flag value. The two names a record
109    /// carried before the vocabulary moved, `worktree` and `branches`,
110    /// still read, so an older command line and an older configuration
111    /// keep working.
112    ///
113    /// # Errors
114    ///
115    /// Returns [`RkError::Usage`] naming the two values.
116    pub fn parse(raw: &str) -> Result<Self, RkError> {
117        match raw {
118            "linked-worktree" | "worktree" => Ok(Self::LinkedWorktree),
119            "main-worktree" | "branches" => Ok(Self::MainWorktree),
120            other => Err(RkError::Usage(format!(
121                "unknown checkout mode '{other}'; the modes are: linked-worktree, main-worktree"
122            ))),
123        }
124    }
125}
126
127impl<'de> serde::Deserialize<'de> for CheckoutMode {
128    fn deserialize<D: serde::Deserializer<'de>>(reader: D) -> Result<Self, D::Error> {
129        let raw = String::deserialize(reader)?;
130        Self::parse(&raw).map_err(|error| serde::de::Error::custom(error.to_string()))
131    }
132}
133
134/// The integration mode a landing records: which authority moves an
135/// implementation onto the trunk.
136///
137/// A Git workflow parameter, rendered into the landed blocks and changed
138/// only through the landing verbs. It selects an authority and nothing
139/// else: no branching method, no checkout mode, and no release path.
140///
141/// SATISFIES git:integration-mode-selects-the-authority-that-squashes
142#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize)]
143#[serde(rename_all = "lowercase")]
144pub enum Integration {
145    /// The checkout performs and records the integration, through
146    /// `rk integrate`, and the operator pushes the trunk separately.
147    Local,
148    /// The forge performs and records the integration, through a pull
149    /// request or a merge request behind its required check.
150    Forge,
151}
152
153impl Integration {
154    /// The flag, wire, and report form.
155    #[must_use]
156    pub const fn as_str(self) -> &'static str {
157        match self {
158            Self::Local => "local",
159            Self::Forge => "forge",
160        }
161    }
162
163    /// Parse an `--integration` flag value.
164    ///
165    /// # Errors
166    ///
167    /// Returns [`RkError::Usage`] naming the two values.
168    pub fn parse(raw: &str) -> Result<Self, RkError> {
169        match raw {
170            "local" => Ok(Self::Local),
171            "forge" => Ok(Self::Forge),
172            other => Err(RkError::Usage(format!(
173                "unknown integration mode '{other}'; the modes are: local, forge"
174            ))),
175        }
176    }
177}
178
179impl<'de> serde::Deserialize<'de> for Integration {
180    fn deserialize<D: serde::Deserializer<'de>>(reader: D) -> Result<Self, D::Error> {
181        let raw = String::deserialize(reader)?;
182        Self::parse(&raw).map_err(|error| serde::de::Error::custom(error.to_string()))
183    }
184}
185
186/// The compatibility answer for a record written before the integration
187/// axis existed: such a target landed the forge blocks and the forge
188/// protections, so reading it as `local` would tell it that its trunk
189/// takes direct pushes.
190pub(crate) const fn integration_forge() -> Integration {
191    Integration::Forge
192}
193
194/// The merge form a landing records: how the commits of a branch reach
195/// the trunk.
196///
197/// A Git workflow parameter, changed only through the landing verbs. It
198/// selects a form and nothing else: no authority, no checkout mode, and no
199/// release path. Both forms keep the trunk linear and write no merge
200/// commit.
201///
202/// SATISFIES git:the-merge-form-is-a-landing-parameter
203#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize)]
204#[serde(rename_all = "lowercase")]
205pub enum MergeForm {
206    /// The branch arrives as one commit, so one implementation is one
207    /// trunk commit.
208    Squash,
209    /// The branch is rebased on the trunk tip and the trunk fast-forwards
210    /// to it, so every commit arrives with its own message.
211    Rebase,
212}
213
214impl MergeForm {
215    /// The flag, wire, and report form.
216    #[must_use]
217    pub const fn as_str(self) -> &'static str {
218        match self {
219            Self::Squash => "squash",
220            Self::Rebase => "rebase",
221        }
222    }
223
224    /// Parse a `--merge-form` flag value.
225    ///
226    /// # Errors
227    ///
228    /// Returns [`RkError::Usage`] naming the two values.
229    pub fn parse(raw: &str) -> Result<Self, RkError> {
230        match raw {
231            "squash" => Ok(Self::Squash),
232            "rebase" => Ok(Self::Rebase),
233            other => Err(RkError::Usage(format!(
234                "unknown merge form '{other}'; the forms are: squash, rebase"
235            ))),
236        }
237    }
238}
239
240impl<'de> serde::Deserialize<'de> for MergeForm {
241    fn deserialize<D: serde::Deserializer<'de>>(reader: D) -> Result<Self, D::Error> {
242        let raw = String::deserialize(reader)?;
243        Self::parse(&raw).map_err(|error| serde::de::Error::custom(error.to_string()))
244    }
245}
246
247/// The compiled default, and the answer for a record written before the
248/// merge form existed.
249///
250/// Every such landing took the squash form, so reading it as anything
251/// else would change how its branches reach the trunk without a question.
252#[must_use]
253pub const fn merge_form_squash() -> MergeForm {
254    MergeForm::Squash
255}
256
257/// The release style a landing records.
258///
259/// Whether the project releases from the trunk alone or keeps release
260/// lines: a project decision, rendered into the landed release workflow
261/// and changed only through the landing verbs. In neither style does a
262/// release request merge itself.
263#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
264#[serde(rename_all = "lowercase")]
265pub enum Style {
266    /// The trunk style: the release request against the trunk waits for
267    /// the operator's order to merge.
268    Trunk,
269    /// The lines style: every request waits for a human's merge, because
270    /// a line's candidate is validated by hand.
271    Lines,
272}
273
274impl Style {
275    /// The flag, wire, and report form.
276    #[must_use]
277    pub const fn as_str(self) -> &'static str {
278        match self {
279            Self::Trunk => "trunk",
280            Self::Lines => "lines",
281        }
282    }
283
284    /// Parse a `--style` flag value.
285    ///
286    /// # Errors
287    ///
288    /// Returns [`RkError::Usage`] naming the two values.
289    pub fn parse(raw: &str) -> Result<Self, RkError> {
290        match raw {
291            "trunk" => Ok(Self::Trunk),
292            "lines" => Ok(Self::Lines),
293            other => Err(RkError::Usage(format!(
294                "unknown style '{other}'; the styles are: trunk, lines"
295            ))),
296        }
297    }
298}
299
300/// The code scanning provider a landing records.
301///
302/// A project decision: which analyzer the landed workflow runs, and with it
303/// whether the landing carries a licence condition at all.
304#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
305#[serde(rename_all = "lowercase")]
306pub enum Provider {
307    /// GitHub's own analyzer. Free under terms that cover an open-source
308    /// codebase alone, so a landing reads the binding's declared licence
309    /// first and refuses the pair where it states no such codebase.
310    CodeQl,
311    /// Semgrep Community Edition, which carries no licence condition on the
312    /// codebase it scans and runs on either forge.
313    Semgrep,
314}
315
316impl Provider {
317    /// The flag, wire, and report form.
318    #[must_use]
319    pub const fn as_str(self) -> &'static str {
320        match self {
321            Self::CodeQl => "codeql",
322            Self::Semgrep => "semgrep",
323        }
324    }
325
326    /// Parse a `--code-scanning` flag value.
327    ///
328    /// # Errors
329    ///
330    /// Returns [`RkError::Usage`] naming the providers and the word that
331    /// turns the capability off.
332    pub fn parse(raw: &str) -> Result<Option<Self>, RkError> {
333        match raw {
334            "codeql" => Ok(Some(Self::CodeQl)),
335            "semgrep" => Ok(Some(Self::Semgrep)),
336            "off" => Ok(None),
337            other => Err(RkError::Usage(format!(
338                "unknown code scanning provider '{other}'; the providers are: codeql, semgrep, and off turns the capability off"
339            ))),
340        }
341    }
342}
343
344/// The record a landing writes and every target-side verb reads.
345///
346/// Schema 9 records the resolved target configuration by domain: the
347/// source-free profile snapshot, the Git workflow parameters, the
348/// capability requests, and the render parameters no domain owns.
349#[derive(Debug, Serialize, Deserialize)]
350pub struct Manifest {
351    /// An integer this binary either knows or refuses on.
352    pub schema_version: u64,
353    /// The binary that produced the landing.
354    pub rk_version: String,
355    /// `init` or `adopt` — how the record came to exist.
356    pub origin: String,
357    /// When the first landing happened; an upgrade preserves it.
358    pub landed_at: String,
359    /// What the project is: its technologies, its forge where it has one,
360    /// and its release intent. Values alone, no precedence source.
361    pub profile: ProfileSnapshot,
362    /// How topic branches reach the trunk: the trunk's name and the
363    /// checkout mode.
364    pub git: GitWorkflow,
365    /// Which optional products the target requested.
366    pub capabilities: CapabilityRequests,
367    /// Every remaining value substituted into a `rendered` file, so a
368    /// re-render is reproducible without asking again.
369    pub parameters: Parameters,
370    /// Every landed destination with its kind and digests.
371    pub files: Vec<FileRecord>,
372    /// The registry pins the selected capabilities use, copied at landing
373    /// time; `rk status` compares them offline.
374    pub pins: BTreeMap<String, String>,
375}
376
377/// The render parameters no domain table owns, recorded whole.
378#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
379pub struct Parameters {
380    /// The project path on the forge, recorded whole because a GitLab
381    /// project may nest below its group. Empty where the target has no
382    /// forge repository.
383    #[serde(default)]
384    pub repo: String,
385    /// The contact the landed policy names where the forge's own channel
386    /// is unavailable, empty for the forge's authored wording. A record
387    /// predating the field reads as empty, which is what such a landing
388    /// wrote.
389    #[serde(default, deserialize_with = "read_contact")]
390    pub security_contact: String,
391    /// The acknowledgment window the landed policy promises. A record
392    /// predating the field reads as `best-effort`, which is what such a
393    /// landing wrote.
394    #[serde(default = "response_best_effort", deserialize_with = "read_response")]
395    pub security_response: String,
396    /// The paragraph the landed policy states about what the project does
397    /// not own, empty where it states none. A record predating the field
398    /// reads as empty, which is what such a landing wrote, and an empty
399    /// answer omits the key, so the record's bytes do not change.
400    #[serde(
401        default,
402        skip_serializing_if = "String::is_empty",
403        deserialize_with = "read_scope"
404    )]
405    pub security_scope: String,
406    /// The check the trunk ruleset requires. A record predating the field
407    /// reads as empty, which is what such a landing wrote.
408    ///
409    /// A record of 0.9.14 or older also carries `required_workflow`, the
410    /// workflow that woke the retired release gate. It still loads, because
411    /// the reader ignores a key it does not know, so the target migrates
412    /// through `rk upgrade`, which writes the record without it.
413    #[serde(default)]
414    pub required_check: String,
415    /// How a command runs in the project's own development environment,
416    /// absent where the project gives no answer. A record predating the
417    /// field reads as absent, which is what such a landing rendered, and a
418    /// record with no answer omits the key, so its bytes do not change.
419    #[serde(
420        default,
421        skip_serializing_if = "Option::is_none",
422        deserialize_with = "read_dev_environment"
423    )]
424    pub dev_environment: Option<crate::config::dev_environment::DevEnvironment>,
425}
426
427/// A recorded development environment, held to the configuration's own
428/// rules, because the record is the one input a re-render reads.
429fn read_dev_environment<'de, D: serde::Deserializer<'de>>(
430    reader: D,
431) -> Result<Option<crate::config::dev_environment::DevEnvironment>, D::Error> {
432    let answer = crate::config::dev_environment::DevEnvironment::deserialize(reader)?;
433    answer.check().map_err(|reason| {
434        serde::de::Error::custom(format!("parameters.dev_environment: {reason}"))
435    })?;
436    answer.answered().map_or_else(
437        || {
438            Err(serde::de::Error::custom(
439                "parameters.dev_environment: a recorded answer names a run prefix",
440            ))
441        },
442        |answer| Ok(Some(answer)),
443    )
444}
445
446/// The stance a record predating the field carries.
447fn response_best_effort() -> String {
448    crate::config::RESPONSE_DEFAULT.to_owned()
449}
450
451/// A recorded contact, refused where the configuration reader would refuse
452/// it or where it is not already canonical.
453///
454/// The record is the one input a re-render reads, so a hand-edited record
455/// must not reach bytes the configured path could never have produced.
456fn read_contact<'de, D: serde::Deserializer<'de>>(reader: D) -> Result<String, D::Error> {
457    canonical(reader, "security_contact", crate::config::canonical_contact)
458}
459
460/// A recorded response stance, held to the same grammar as the key.
461fn read_response<'de, D: serde::Deserializer<'de>>(reader: D) -> Result<String, D::Error> {
462    canonical(
463        reader,
464        "security_response",
465        crate::config::canonical_response,
466    )
467}
468
469/// A recorded scope paragraph, held to the same grammar as the key.
470fn read_scope<'de, D: serde::Deserializer<'de>>(reader: D) -> Result<String, D::Error> {
471    canonical(reader, "security_scope", crate::config::canonical_scope)
472}
473
474/// One recorded string held to its canonical form.
475fn canonical<'de, D: serde::Deserializer<'de>>(
476    reader: D,
477    field: &str,
478    judge: impl Fn(&str) -> Result<String, String>,
479) -> Result<String, D::Error> {
480    let raw = String::deserialize(reader)?;
481    let canonical = judge(&raw)
482        .map_err(|reason| serde::de::Error::custom(format!("parameters.{field}: {reason}")))?;
483    if canonical == raw {
484        Ok(canonical)
485    } else {
486        Err(serde::de::Error::custom(format!(
487            "parameters.{field} is not canonical: the record carries {raw:?} where a landing writes {canonical:?}"
488        )))
489    }
490}
491
492/// One landed destination.
493#[derive(Debug, Serialize, Deserialize)]
494pub struct FileRecord {
495    /// The destination, relative to the target root.
496    pub destination: String,
497    /// The declared ownership kind.
498    pub kind: Kind,
499    /// The digest of what the destination holds: the bytes now present
500    /// for a whole file, the marked region alone for a region destination.
501    /// One exception: a rendered file preserved under an accepted-drift
502    /// entry records the candidate's digest, not the accepted bytes on
503    /// disk, so the receipt goes on saying what the tool would write.
504    pub sha256: Digest,
505    /// How the landing occupies the destination: the whole file, which
506    /// the record omits, or one marked region inside a document the
507    /// target owns.
508    #[serde(default, skip_serializing_if = "Placement::is_whole")]
509    pub placement: Placement,
510}
511
512/// How a recorded destination is occupied.
513#[derive(Debug, Clone, Copy, PartialEq, Eq, Default, Serialize, Deserialize)]
514#[serde(rename_all = "lowercase")]
515pub enum Placement {
516    /// The landing owns the whole file.
517    #[default]
518    Whole,
519    /// The landing owns the one marked region; every byte outside it is
520    /// the target's.
521    Region,
522}
523
524impl Placement {
525    /// Whether this is the default the record omits.
526    #[must_use]
527    pub const fn is_whole(&self) -> bool {
528        matches!(self, Self::Whole)
529    }
530
531    /// The report form.
532    #[must_use]
533    pub const fn as_str(self) -> &'static str {
534        match self {
535            Self::Whole => "whole",
536            Self::Region => "region",
537        }
538    }
539}
540
541/// The one bounded conversion from a record at schemas 1 through 8 to the
542/// current shape.
543///
544/// It reads no other release and interprets no other release's sources:
545/// it drops the fields the direct landing retired, and it moves the one
546/// technology, the forge, and the flat parameters an older record carried
547/// into the domains schema 9 states. Every older record described an
548/// automatic release driven by its one technology, with the reporting
549/// policy landed, so that is what the conversion says.
550pub mod legacy {
551    use serde_json::{Map, Value, json};
552
553    /// Take a field out of a JSON object, where it is one.
554    fn take(object: &mut Map<String, Value>, key: &str) -> Option<Value> {
555        object.remove(key)
556    }
557
558    /// Rewrite a record value at a schema before this binary's so it
559    /// deserializes as the current shape.
560    ///
561    /// `payload_sha256` named a bundle digest no comparison reads any
562    /// more; per-file `baseline_sha256` fed a three-way comparison that
563    /// no longer exists; `parameters.scopes` was a vocabulary this binary
564    /// renders nowhere. `tech`, `forge`, and the flat `parameters` become
565    /// the `profile`, `git`, and `capabilities` domains, with the old
566    /// `worktree` and `branches` mode names read as `linked-worktree` and
567    /// `main-worktree`.
568    #[must_use]
569    pub fn convert(mut value: Value) -> Value {
570        let Some(record) = value.as_object_mut() else {
571            return value;
572        };
573        record.remove("payload_sha256");
574        if let Some(files) = record.get_mut("files").and_then(Value::as_array_mut) {
575            for file in files.iter_mut().filter_map(Value::as_object_mut) {
576                file.remove("baseline_sha256");
577            }
578        }
579        if record.contains_key("profile") {
580            return value;
581        }
582        let tech = take(record, "tech").and_then(|v| v.as_str().map(str::to_owned));
583        let forge = take(record, "forge").and_then(|v| v.as_str().map(str::to_owned));
584        let mut parameters = take(record, "parameters")
585            .and_then(|v| v.as_object().cloned())
586            .unwrap_or_default();
587        parameters.remove("scopes");
588        let checkout_mode = match parameters
589            .remove("workflow")
590            .and_then(|v| v.as_str().map(str::to_owned))
591            .as_deref()
592        {
593            Some("worktree") => "linked-worktree",
594            // A record predating the mode carried none, and such a
595            // landing wrote the blocks without the guard.
596            _ => "main-worktree",
597        };
598        let style = parameters.remove("style").unwrap_or(Value::Null);
599        let trunk = parameters
600            .remove("trunk")
601            .unwrap_or_else(|| json!(crate::config::TRUNK_DEFAULT));
602        let line_prefix = parameters
603            .remove("line_prefix")
604            .unwrap_or_else(|| json!(crate::config::LINE_PREFIX_DEFAULT));
605        let nix = parameters.remove("nix").unwrap_or(json!(false));
606        let scorecard = parameters.remove("scorecard").unwrap_or(json!(false));
607        let code_scanning = parameters.remove("code_scanning").unwrap_or(Value::Null);
608        let mut release = Map::new();
609        release.insert("mode".into(), json!("automatic"));
610        if let Some(tech) = &tech {
611            release.insert("driver".into(), json!(tech));
612        }
613        if !style.is_null() {
614            release.insert("style".into(), style);
615        }
616        release.insert("line_prefix".into(), line_prefix);
617        let technologies: Vec<Value> = tech.iter().map(|t| json!(t)).collect();
618        record.insert(
619            "profile".into(),
620            json!({
621                "technologies": technologies,
622                "forge": forge,
623                "release": Value::Object(release),
624            }),
625        );
626        record.insert(
627            "git".into(),
628            json!({ "trunk": trunk, "checkout_mode": checkout_mode }),
629        );
630        record.insert(
631            "capabilities".into(),
632            json!({
633                "nix_packaging": nix,
634                "reporting_policy": true,
635                "scorecard": scorecard,
636                "code_scanning": code_scanning,
637            }),
638        );
639        record.insert("parameters".into(), Value::Object(parameters));
640        value
641    }
642}
643
644impl Manifest {
645    /// The recorded entry for one destination, where the record names it.
646    #[must_use]
647    pub fn file(&self, destination: &str) -> Option<&FileRecord> {
648        self.files
649            .iter()
650            .find(|file| file.destination == destination)
651    }
652}
653
654/// Read the record at `target`, or `None` where no landing exists.
655///
656/// # Errors
657///
658/// The record's stated failure taxonomy: an unreadable record is a
659/// refusal naming it, a record at an unknown `schema_version` is a
660/// refusal naming the record, and one that does not parse at a known
661/// schema is a defect-class failure.
662pub fn load(target: &Utf8Path) -> Result<Option<Manifest>, RkError> {
663    let path = target.join(MANIFEST_PATH);
664    let bytes = match std::fs::read(&path) {
665        Ok(bytes) => bytes,
666        Err(e) if e.kind() == std::io::ErrorKind::NotFound => return Ok(None),
667        Err(e) => {
668            return Err(RkError::refusal(
669                Diagnostic::new(Reason::Io, format!("cannot read {path}: {e}"))
670                    .expected("a readable landing record")
671                    .target_state("unchanged"),
672            ));
673        }
674    };
675    let value: serde_json::Value = serde_json::from_slice(&bytes)
676        .map_err(|e| record_invalid(&path, &format!("{path} is not a landing record: {e}")))?;
677    // A record at an earlier schema converts through the one legacy
678    // conversion. Anything past this binary's schema refuses by the
679    // record schema alone: the record decides whether a guard is landed,
680    // and an older binary must never silently ignore that.
681    let schema = value
682        .get("schema_version")
683        .and_then(serde_json::Value::as_u64);
684    if !schema.is_some_and(|version| (OLDEST_READABLE_SCHEMA..=SCHEMA_VERSION).contains(&version)) {
685        let found = schema.map_or_else(|| "none".to_owned(), |version| version.to_string());
686        return Err(RkError::refusal(
687            Diagnostic::new(
688                Reason::UnsupportedSchema,
689                format!(
690                    "{path} declares schema_version {found}, and this binary knows only {OLDEST_READABLE_SCHEMA} through {SCHEMA_VERSION}"
691                ),
692            )
693            .expected("a landing record at a schema this binary knows")
694            .action("install the rk release that wrote this record, or a newer one")
695            .target_state("unchanged"),
696        ));
697    }
698    let declared = schema.unwrap_or(SCHEMA_VERSION);
699    let value = if declared < SCHEMA_VERSION {
700        legacy::convert(value)
701    } else {
702        value
703    };
704    let mut manifest: Manifest = serde_json::from_value(value).map_err(|e| {
705        record_invalid(
706            &path,
707            &format!("{path} does not parse at schema_version {declared}: {e}"),
708        )
709    })?;
710    // A record below the placement schema stated none: the block
711    // destinations were regions by their names alone, and the loaded shape
712    // says so.
713    for file in &mut manifest.files {
714        if declared < PLACEMENT_SCHEMA && crate::landing::block_markers(&file.destination).is_some()
715        {
716            file.placement = Placement::Region;
717        }
718    }
719    Ok(Some(manifest))
720}
721
722/// The refusal a record that exists and does not parse answers with.
723///
724/// It is the target's file that is wrong, not this binary, so it carries
725/// the same parts a `config-invalid` refusal does: what to change, and
726/// that nothing was written. Git usually holds the last good copy, which
727/// is why the action names the restore first.
728fn record_invalid(path: &Utf8Path, message: &str) -> RkError {
729    RkError::refusal(
730        Diagnostic::new(Reason::RecordInvalid, message)
731            .expected("a landing record this binary wrote, or one it can convert")
732            .action(format!(
733                "restore {path} from Git, or repair the file it names, and retry"
734            ))
735            .target_state("nothing was written"),
736    )
737}
738
739/// Write the record, last, through the temp-plus-rename writer.
740///
741/// # Errors
742///
743/// Any write failure; the destination then holds what it held.
744pub fn write(target: &Utf8Path, manifest: &Manifest) -> Result<(), RkError> {
745    let path = target.join(MANIFEST_PATH);
746    atomic::write(path.as_std_path(), &render(manifest)?)?;
747    Ok(())
748}
749
750/// The bytes [`write`] puts on disk for a record.
751///
752/// # Errors
753///
754/// A serialization failure, which is a defect in this binary.
755pub fn render(manifest: &Manifest) -> Result<Vec<u8>, RkError> {
756    let text = serde_json::to_string_pretty(manifest).map_err(anyhow::Error::from)?;
757    Ok(format!("{text}\n").into_bytes())
758}
759
760/// The current instant in the record's RFC 3339 form.
761#[must_use]
762pub fn now() -> String {
763    humantime::format_rfc3339_seconds(std::time::SystemTime::now()).to_string()
764}
765
766/// How a record's `rk_version` stands against this binary's.
767#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize)]
768#[serde(rename_all = "kebab-case")]
769pub enum Alignment {
770    /// The landing came from this binary's version.
771    Aligned,
772    /// The binary is newer; `rk upgrade` takes the target forward.
773    BinaryNewer,
774    /// The landing came from a newer `rk` than this one, which an upgrade
775    /// refuses rather than downgrading.
776    TargetNewer,
777}
778
779impl Alignment {
780    /// The wire form, identical to the serde rendering.
781    #[must_use]
782    pub const fn as_str(self) -> &'static str {
783        match self {
784            Self::Aligned => "aligned",
785            Self::BinaryNewer => "binary-newer",
786            Self::TargetNewer => "target-newer",
787        }
788    }
789}
790
791/// Compare a record's version against this binary's.
792#[must_use]
793pub fn alignment(recorded: &str, binary: &str) -> Alignment {
794    // Build metadata after `+` carries no precedence.
795    let recorded = recorded
796        .split_once('+')
797        .map_or(recorded, |(version, _)| version);
798    let binary = binary
799        .split_once('+')
800        .map_or(binary, |(version, _)| version);
801    let recorded_core = numeric_core(recorded);
802    let binary_core = numeric_core(binary);
803    match binary_core.cmp(&recorded_core) {
804        std::cmp::Ordering::Greater => Alignment::BinaryNewer,
805        std::cmp::Ordering::Less => Alignment::TargetNewer,
806        std::cmp::Ordering::Equal => {
807            // Equal numeric cores: a pre-release is older than the plain
808            // release it precedes, and two pre-releases compare by semver
809            // precedence — dot-separated identifiers, numeric ones
810            // numerically and below alphanumeric ones.
811            let recorded_pre = recorded.split_once('-').map(|(_, pre)| pre);
812            let binary_pre = binary.split_once('-').map(|(_, pre)| pre);
813            match (recorded_pre, binary_pre) {
814                (Some(_), None) => Alignment::BinaryNewer,
815                (None, Some(_)) => Alignment::TargetNewer,
816                (None, None) => Alignment::Aligned,
817                (Some(r), Some(b)) => match prerelease_cmp(b, r) {
818                    std::cmp::Ordering::Greater => Alignment::BinaryNewer,
819                    std::cmp::Ordering::Less => Alignment::TargetNewer,
820                    std::cmp::Ordering::Equal => Alignment::Aligned,
821                },
822            }
823        }
824    }
825}
826
827/// Whether `candidate` is ahead of `pinned`, by the same ordering the
828/// alignment uses.
829#[must_use]
830pub fn version_is_newer(candidate: &str, pinned: &str) -> bool {
831    alignment(pinned, candidate) == Alignment::BinaryNewer
832}
833
834/// Semver pre-release precedence: identifier by identifier, numeric ones
835/// numerically and below any alphanumeric one, and — all preceding
836/// identifiers equal — the longer list wins. An all-digit identifier
837/// compares by digit count and then lexically, which is numeric order at
838/// any length — semver forbids leading zeroes — so no integer parse can
839/// overflow into a wrong answer.
840fn prerelease_cmp(a: &str, b: &str) -> std::cmp::Ordering {
841    let numeric = |identifier: &str| identifier.bytes().all(|byte| byte.is_ascii_digit());
842    let mut left = a.split('.');
843    let mut right = b.split('.');
844    loop {
845        match (left.next(), right.next()) {
846            (None, None) => return std::cmp::Ordering::Equal,
847            (None, Some(_)) => return std::cmp::Ordering::Less,
848            (Some(_), None) => return std::cmp::Ordering::Greater,
849            (Some(x), Some(y)) => {
850                let ordering = match (numeric(x), numeric(y)) {
851                    (true, true) => x.len().cmp(&y.len()).then_with(|| x.cmp(y)),
852                    (true, false) => std::cmp::Ordering::Less,
853                    (false, true) => std::cmp::Ordering::Greater,
854                    (false, false) => x.cmp(y),
855                };
856                if ordering != std::cmp::Ordering::Equal {
857                    return ordering;
858                }
859            }
860        }
861    }
862}
863
864/// The dotted numeric components before any pre-release suffix.
865fn numeric_core(version: &str) -> Vec<u64> {
866    let core = version.split_once('-').map_or(version, |(core, _)| core);
867    core.split('.')
868        .map(|part| part.parse::<u64>().unwrap_or(0))
869        .collect()
870}
871
872#[cfg(test)]
873mod tests {
874    use super::{
875        Alignment, CapabilityRequests, CheckoutMode, FileRecord, GitWorkflow, Manifest, Parameters,
876        Placement, ProfileSnapshot, Provider, ReleaseIntent, ReleaseMode, Style, alignment,
877    };
878    use crate::digest::Digest;
879    use crate::landing::Integration;
880    use crate::landing::Kind;
881
882    /// The complete record shape at schema 9, held by snapshot: a field
883    /// rename or removal fails here and becomes a schema-version bump
884    /// instead of a silent break at every reader.
885    #[test]
886    #[allow(
887        clippy::too_many_lines,
888        reason = "two whole records, built field by field, are what the snapshot holds"
889    )]
890    fn the_manifest_schema_snapshot_holds() {
891        let manifest = Manifest {
892            schema_version: super::SCHEMA_VERSION,
893            rk_version: "0.1.0".into(),
894            origin: "init".into(),
895            landed_at: "2026-08-29T00:00:00Z".into(),
896            profile: ProfileSnapshot {
897                technologies: vec!["rust".into()],
898                forge: Some("github".into()),
899                release: ReleaseIntent {
900                    mode: ReleaseMode::Automatic,
901                    driver: Some("rust".into()),
902                    style: Some(Style::Trunk),
903                    line_prefix: Some(crate::config::LINE_PREFIX_DEFAULT.to_owned()),
904                    registry: None,
905                    build: None,
906                },
907            },
908            git: GitWorkflow {
909                trunk: crate::config::TRUNK_DEFAULT.to_owned(),
910                checkout_mode: CheckoutMode::LinkedWorktree,
911                integration: Integration::Local,
912                merge_form: crate::landing::MergeForm::Squash,
913            },
914            capabilities: CapabilityRequests {
915                nix_packaging: true,
916                reporting_policy: true,
917                scorecard: true,
918                code_scanning: Some(Provider::Semgrep),
919                workflow_guards: Some(false),
920            },
921            parameters: Parameters {
922                repo: "acme/widget".into(),
923                security_contact: String::new(),
924                security_response: crate::config::RESPONSE_DEFAULT.to_owned(),
925                security_scope: String::new(),
926                required_check: String::new(),
927                dev_environment: None,
928            },
929            files: vec![
930                FileRecord {
931                    destination: "release-plz.toml".into(),
932                    kind: Kind::Seeded,
933                    sha256: Digest::of(b""),
934                    placement: Placement::Whole,
935                },
936                FileRecord {
937                    destination: "AGENTS.md".into(),
938                    kind: Kind::Rendered,
939                    sha256: Digest::of(b""),
940                    placement: Placement::Region,
941                },
942            ],
943            pins: std::iter::once(("release-plz".to_owned(), "0.3.160".to_owned())).collect(),
944        };
945        let empty = Digest::of(b"").to_string();
946        let text = serde_json::to_string(&manifest).expect("a manifest serializes");
947        assert_eq!(
948            text,
949            format!(
950                r#"{{"schema_version":12,"rk_version":"0.1.0","origin":"init","landed_at":"2026-08-29T00:00:00Z","profile":{{"technologies":["rust"],"forge":"github","release":{{"mode":"automatic","driver":"rust","style":"trunk","line_prefix":"release/"}}}},"git":{{"trunk":"master","checkout_mode":"linked-worktree","integration":"local","merge_form":"squash"}},"capabilities":{{"nix_packaging":true,"reporting_policy":true,"scorecard":true,"code_scanning":"semgrep","workflow_guards":false}},"parameters":{{"repo":"acme/widget","security_contact":"","security_response":"best-effort","required_check":""}},"files":[{{"destination":"release-plz.toml","kind":"seeded","sha256":"{empty}"}},{{"destination":"AGENTS.md","kind":"rendered","sha256":"{empty}","placement":"region"}}],"pins":{{"release-plz":"0.3.160"}}}}"#
951            ),
952            "a whole file omits its placement, and no retired digest field survives"
953        );
954        assert!(!text.contains("payload_sha256") && !text.contains("baseline_sha256"));
955        // A release-less record omits the automatic-only keys and the forge.
956        let release_less = Manifest {
957            profile: ProfileSnapshot {
958                technologies: vec![],
959                forge: None,
960                release: ReleaseIntent {
961                    mode: ReleaseMode::None,
962                    driver: None,
963                    style: None,
964                    line_prefix: None,
965                    registry: None,
966                    build: None,
967                },
968            },
969            capabilities: CapabilityRequests {
970                nix_packaging: false,
971                reporting_policy: false,
972                scorecard: false,
973                code_scanning: None,
974                workflow_guards: Some(false),
975            },
976            parameters: Parameters {
977                repo: String::new(),
978                security_contact: String::new(),
979                security_response: crate::config::RESPONSE_DEFAULT.to_owned(),
980                security_scope: String::new(),
981                required_check: String::new(),
982                dev_environment: None,
983            },
984            files: vec![],
985            pins: std::collections::BTreeMap::new(),
986            ..manifest
987        };
988        assert_eq!(
989            serde_json::to_string(&release_less).expect("serializes"),
990            r#"{"schema_version":12,"rk_version":"0.1.0","origin":"init","landed_at":"2026-08-29T00:00:00Z","profile":{"technologies":[],"release":{"mode":"none"}},"git":{"trunk":"master","checkout_mode":"linked-worktree","integration":"local","merge_form":"squash"},"capabilities":{"nix_packaging":false,"reporting_policy":false,"scorecard":false,"workflow_guards":false},"parameters":{"repo":"","security_contact":"","security_response":"best-effort","required_check":""},"files":[],"pins":{}}"#
991        );
992    }
993
994    /// A record written before the domains existed reads as an automatic
995    /// release driven by its one technology, in the main-worktree mode,
996    /// with the reporting policy it landed, and its scope vocabulary
997    /// drops, because this binary renders none. Every earlier schema
998    /// converts through the one legacy path with its retired digests
999    /// ignored, and a record past this binary's schema refuses by the
1000    /// record schema alone, naming no other schema.
1001    #[test]
1002    fn a_schema_1_record_reads_as_branches_and_a_newer_schema_refuses() {
1003        let dir = tempfile::tempdir().expect("a scratch target exists");
1004        let target = camino::Utf8Path::from_path(dir.path()).expect("utf-8 path");
1005        std::fs::create_dir_all(target.join(".release-kit")).expect("the record dir writes");
1006        let record = |schema: u64| {
1007            format!(
1008                r#"{{"schema_version":{schema},"rk_version":"0.1.0","payload_sha256":"0000000000000000000000000000000000000000000000000000000000000000","origin":"init","tech":"rust","forge":"github","landed_at":"2026-08-29T00:00:00Z","parameters":{{"repo":"acme/widget","scopes":["api"]}},"files":[],"pins":{{}}}}"#
1009            )
1010        };
1011        std::fs::write(target.join(super::MANIFEST_PATH), record(1)).expect("the record writes");
1012        let manifest = super::load(target)
1013            .expect("a schema-1 record loads")
1014            .expect("the record exists");
1015        assert_eq!(manifest.git.checkout_mode, CheckoutMode::MainWorktree);
1016        assert_eq!(manifest.profile.technologies, vec!["rust".to_owned()]);
1017        assert_eq!(manifest.profile.forge.as_deref(), Some("github"));
1018        assert_eq!(manifest.profile.release.mode, ReleaseMode::Automatic);
1019        assert_eq!(manifest.profile.release.driver.as_deref(), Some("rust"));
1020        assert_eq!(
1021            manifest.profile.release.style, None,
1022            "a pre-style record carries no style; the upgrade demands one"
1023        );
1024        assert_eq!(
1025            manifest.profile.release.line_prefix.as_deref(),
1026            Some(crate::config::LINE_PREFIX_DEFAULT)
1027        );
1028        assert_eq!(manifest.git.trunk, crate::config::TRUNK_DEFAULT);
1029        assert!(
1030            !manifest.capabilities.nix_packaging,
1031            "a pre-nix record reads as opt-out, so an upgrade adds nothing unrequested"
1032        );
1033        assert!(
1034            manifest.capabilities.reporting_policy,
1035            "an older landing carried the policy, so the record says so"
1036        );
1037        assert_eq!(
1038            manifest.parameters.security_contact, "",
1039            "a pre-policy record names no contact, which is what its policy landed"
1040        );
1041        assert_eq!(
1042            manifest.parameters.security_response,
1043            crate::config::RESPONSE_DEFAULT,
1044            "a pre-policy record promises no window, which is what its policy landed"
1045        );
1046
1047        for schema in 2..=8 {
1048            std::fs::write(
1049                target.join(super::MANIFEST_PATH),
1050                format!(
1051                    r#"{{"schema_version":{schema},"rk_version":"0.1.0","payload_sha256":"0000000000000000000000000000000000000000000000000000000000000000","origin":"init","tech":"rust","forge":"github","landed_at":"2026-08-29T00:00:00Z","parameters":{{"repo":"acme/widget","workflow":"worktree","style":"lines","nix":true,"scorecard":true,"code_scanning":"semgrep","trunk":"main","line_prefix":"stable/"}},"files":[{{"destination":"AGENTS.md","kind":"rendered","sha256":"0000000000000000000000000000000000000000000000000000000000000000","baseline_sha256":"0000000000000000000000000000000000000000000000000000000000000000"}}],"pins":{{}}}}"#
1052                ),
1053            )
1054            .expect("the record writes");
1055            let manifest = super::load(target)
1056                .expect("an earlier record loads")
1057                .expect("the record exists");
1058            assert_eq!(manifest.schema_version, schema);
1059            assert_eq!(manifest.git.checkout_mode, CheckoutMode::LinkedWorktree);
1060            // A record below the placement schema stated none, so the
1061            // block destinations are regions by their names alone; from
1062            // that schema on the record says so itself.
1063            assert_eq!(manifest.git.trunk, "main");
1064            assert_eq!(manifest.profile.release.style, Some(Style::Lines));
1065            assert_eq!(
1066                manifest.profile.release.line_prefix.as_deref(),
1067                Some("stable/")
1068            );
1069            assert!(manifest.capabilities.nix_packaging && manifest.capabilities.scorecard);
1070            assert_eq!(manifest.capabilities.code_scanning, Some(Provider::Semgrep));
1071            assert_eq!(
1072                manifest.files[0].placement,
1073                if schema < super::PLACEMENT_SCHEMA {
1074                    Placement::Region
1075                } else {
1076                    Placement::Whole
1077                },
1078                "a block destination below the placement schema reads as a region"
1079            );
1080            let rewritten = super::render(&manifest).expect("renders");
1081            let text = String::from_utf8(rewritten).expect("text");
1082            assert!(!text.contains("baseline_sha256"), "{text}");
1083            assert!(
1084                !text.contains("\"tech\""),
1085                "the flat identity moved: {text}"
1086            );
1087        }
1088
1089        std::fs::write(target.join(super::MANIFEST_PATH), record(999)).expect("the record writes");
1090        let refused = super::load(target).expect_err("a schema-999 record refuses");
1091        assert_eq!(
1092            refused.reason(),
1093            crate::diagnostic::Reason::UnsupportedSchema
1094        );
1095        let message = refused.to_string();
1096        assert!(message.contains("999"), "{message}");
1097        assert!(message.contains(super::MANIFEST_PATH), "{message}");
1098        assert!(
1099            !message.to_lowercase().contains("bundle"),
1100            "the record schema stands alone: {message}"
1101        );
1102    }
1103
1104    /// A record at schema 11 predates the merge form and carries no key,
1105    /// so it reads as `squash`, the form every such landing took, and the
1106    /// next write states the form at the current schema. A record that
1107    /// names `rebase` keeps it, and a form outside the two refuses as an
1108    /// invalid record rather than reading as either.
1109    ///
1110    /// SATISFIES git:the-merge-form-is-a-landing-parameter
1111    #[test]
1112    fn merge_form_of_a_schema_11_record_reads_as_squash() {
1113        let dir = tempfile::tempdir().expect("a scratch target exists");
1114        let target = camino::Utf8Path::from_path(dir.path()).expect("utf-8 path");
1115        std::fs::create_dir_all(target.join(".release-kit")).expect("the record dir writes");
1116        let record = |schema: u64, git: &str| {
1117            format!(
1118                r#"{{"schema_version":{schema},"rk_version":"0.1.0","origin":"init","landed_at":"2026-08-29T00:00:00Z","profile":{{"technologies":[],"release":{{"mode":"none"}}}},"git":{{"trunk":"master","checkout_mode":"linked-worktree","integration":"local"{git}}},"capabilities":{{"nix_packaging":false,"reporting_policy":false,"scorecard":false,"workflow_guards":true}},"parameters":{{"repo":""}},"files":[],"pins":{{}}}}"#
1119            )
1120        };
1121        std::fs::write(target.join(super::MANIFEST_PATH), record(11, "")).expect("writes");
1122        let manifest = super::load(target)
1123            .expect("a schema-11 record loads")
1124            .expect("the record exists");
1125        assert_eq!(manifest.schema_version, 11);
1126        assert_eq!(manifest.git.merge_form, super::MergeForm::Squash);
1127        let text = String::from_utf8(super::render(&manifest).expect("renders")).expect("text");
1128        assert!(text.contains("\"merge_form\": \"squash\""), "{text}");
1129
1130        std::fs::write(
1131            target.join(super::MANIFEST_PATH),
1132            record(super::SCHEMA_VERSION, r#","merge_form":"rebase""#),
1133        )
1134        .expect("writes");
1135        let manifest = super::load(target)
1136            .expect("a current record loads")
1137            .expect("the record exists");
1138        assert_eq!(manifest.git.merge_form, super::MergeForm::Rebase);
1139
1140        std::fs::write(
1141            target.join(super::MANIFEST_PATH),
1142            record(super::SCHEMA_VERSION, r#","merge_form":"merge""#),
1143        )
1144        .expect("writes");
1145        let refused = super::load(target).expect_err("an unknown form refuses");
1146        assert_eq!(refused.reason(), crate::diagnostic::Reason::RecordInvalid);
1147        assert!(refused.to_string().contains("merge form"), "{refused}");
1148    }
1149
1150    /// The record is the one input a re-render reads, so a hand-edited
1151    /// record must not reach bytes the configured path could never write:
1152    /// a value the configuration reader refuses, and a value it would
1153    /// canonicalize, both refuse at deserialization.
1154    #[test]
1155    fn a_record_carrying_an_uncanonical_security_parameter_refuses() {
1156        let dir = tempfile::tempdir().expect("a scratch target exists");
1157        let target = camino::Utf8Path::from_path(dir.path()).expect("utf-8 path");
1158        std::fs::create_dir_all(target.join(".release-kit")).expect("the record dir writes");
1159        for (field, value) in [
1160            // A JSON escape, so the record parses and the value it decodes
1161            // to is the line feed the policy could never carry.
1162            ("security_contact", "team@acme.example\\nsecond line"),
1163            ("security_contact", "  team@acme.example  "),
1164            ("security_response", "90d"),
1165            ("security_response", "0 days"),
1166            ("security_response", "07 days"),
1167            ("security_response", "1 days"),
1168            ("security_response", ""),
1169            ("security_scope", "one\\n\\ntwo"),
1170            ("security_scope", "# Out of scope"),
1171            ("security_scope", "Out of scope\\n---"),
1172            ("security_scope", "see <!-- here"),
1173            ("security_scope", "  padded  "),
1174        ] {
1175            let record = format!(
1176                r#"{{"schema_version":10,"rk_version":"0.1.0","origin":"init","landed_at":"2026-08-29T00:00:00Z","profile":{{"technologies":["rust"],"forge":"github","release":{{"mode":"automatic","driver":"rust","style":"trunk","line_prefix":"release/"}}}},"git":{{"trunk":"master","checkout_mode":"linked-worktree","integration":"local"}},"capabilities":{{"nix_packaging":false,"reporting_policy":true,"scorecard":false}},"parameters":{{"repo":"acme/widget","{field}":"{value}"}},"files":[],"pins":{{}}}}"#
1177            );
1178            std::fs::write(target.join(super::MANIFEST_PATH), record).expect("the record writes");
1179            let refused = super::load(target).expect_err("an uncanonical record refuses");
1180            assert!(refused.to_string().contains(field), "{field}: {refused}");
1181        }
1182    }
1183
1184    #[test]
1185    fn alignment_orders_versions_numerically() {
1186        assert_eq!(alignment("0.1.0", "0.1.0"), Alignment::Aligned);
1187        assert_eq!(alignment("0.1.0", "0.2.0"), Alignment::BinaryNewer);
1188        assert_eq!(alignment("0.10.0", "0.9.9"), Alignment::TargetNewer);
1189        assert_eq!(alignment("0.1.0-rc.1", "0.1.0"), Alignment::BinaryNewer);
1190        assert_eq!(alignment("0.1.0", "0.1.0-rc.1"), Alignment::TargetNewer);
1191    }
1192
1193    /// Pre-release identifiers order by semver precedence, not by text:
1194    /// `rc.10` is newer than `rc.2`, so a binary at `rc.2` must refuse a
1195    /// landing from `rc.10` rather than downgrade it — at any identifier
1196    /// length, so no integer width bounds the protection.
1197    #[test]
1198    fn alignment_orders_numeric_prerelease_identifiers_numerically() {
1199        assert_eq!(
1200            alignment("0.1.0-rc.10", "0.1.0-rc.2"),
1201            Alignment::TargetNewer
1202        );
1203        assert_eq!(
1204            alignment("0.1.0-rc.2", "0.1.0-rc.10"),
1205            Alignment::BinaryNewer
1206        );
1207        assert_eq!(alignment("0.1.0-rc.1", "0.1.0-rc.1"), Alignment::Aligned);
1208        assert_eq!(
1209            alignment("0.1.0-alpha", "0.1.0-alpha.1"),
1210            Alignment::BinaryNewer
1211        );
1212        assert_eq!(alignment("0.1.0-1", "0.1.0-alpha"), Alignment::BinaryNewer);
1213        assert_eq!(
1214            alignment("1.0.0-100000000000000000000", "1.0.0-99999999999999999999"),
1215            Alignment::TargetNewer,
1216            "identifiers past the u64 range still compare numerically"
1217        );
1218        assert_eq!(
1219            alignment("1.0.0-99999999999999999999", "1.0.0-100000000000000000000"),
1220            Alignment::BinaryNewer
1221        );
1222    }
1223
1224    /// Build metadata carries no precedence: it never corrupts a numeric
1225    /// component and never separates two otherwise-equal versions.
1226    #[test]
1227    fn alignment_ignores_build_metadata() {
1228        assert_eq!(alignment("1.2.10+build", "1.2.9"), Alignment::TargetNewer);
1229        assert_eq!(alignment("1.2.9", "1.2.10+build"), Alignment::BinaryNewer);
1230        assert_eq!(alignment("1.0.0+alpha", "1.0.0+beta"), Alignment::Aligned);
1231        assert_eq!(
1232            alignment("1.2.10-rc.1+build", "1.2.10-rc.1"),
1233            Alignment::Aligned
1234        );
1235        assert_eq!(
1236            alignment("1.2.10-rc.1+build", "1.2.10"),
1237            Alignment::BinaryNewer
1238        );
1239    }
1240}