量身打造的应用究竟是什么

不是一个套上您配色的模板。而是依其真正所为的工作而塑形的软件。

以度量为凭，而非空口承诺

来自一个为经久耐用而造的应用的四个数字。

构建 — 内核、离线、目标平台

严肃应用的手艺，在于一个由编译器守护的内核，它在没有信号时仍能运转， 并以唯一的事实来源在每一处现场运行。
代码保持英文 — 技术的通用语言。

// the core of the app · typed, so a wrong state cannot be reached
#[derive(Clone, Deserialize)]
struct Job {
    id: Uuid,
    site: SiteId,
    state: State,            // Scheduled → OnSite → Done — nothing else is legal
    readings: Vec<Reading>,
    synced: bool,            // the device knows what the edge has not yet seen
}

impl Job {
    /// A job closes only once every required reading is in.
    fn can_close(&self) -> bool {
        matches!(self.state, State::OnSite)
            && self.readings.iter().all(Reading::valid)
    }
}

// works at zero bars · the floor does not wait for a signal
fn record(&mut self, r: Reading) {
    self.readings.push(r.clone());
    self.queue.push(Op::Add(r));     // kept on the device, durable
    self.synced = false;
}

/// When the signal returns, the device reconciles — in order, idempotent.
async fn reconcile(&mut self, edge: &Edge) -> Result<()> {
    for op in self.queue.drain(..) {
        edge.apply(op).await?;        // the edge is the record; the device, the witness
    }
    self.synced = true;
    Ok(())
}

# one core, every floor it must run on
[targets]
ios      = "aarch64-apple-ios"        # a thin Swift shell over the Rust core
android  = "aarch64-linux-android"    # a thin Kotlin shell over the same core
desktop  = "x86_64 · aarch64"          # Windows · macOS · Linux

# the logic is written once, in Rust. only the shell changes per floor.
# Swift and Kotlin carry the screen; Rust carries the truth.

无法被复制的东西

为何一个为您的现场而造的应用，胜过一个改头换面来迁就它的产品。

一个改头换面的产品无法为您的现场而造 — 它成形于您的现场尚不为人所知之时。 一个仅限在线的应用，在信号断绝之处无法被信赖 — 等待早已内嵌其中。这正是我们为何 只写一个 Rust 内核、以编译器守护它、并亲自为它署名的原因 — 也是我们为何按度量所得报价、而非照搬货架价的原因。

严守机密

在落笔写下第一行之前，先讲明如何守护您的成果。这一部分没有商量余地。