lernie 0.1.6

lernie: the operator seat — the window and wire client for a yog server
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86

//! **The enrollment act, from argv** (yog's `docs/REMOTE.md` §8.4): one
//! gesture, and a symbol printed instead of the answer.
//!
//! # It is the one verb whose reply is not the product
//!
//! Every other typed verb hands its reply stream straight to stdout — that is
//! what a seat is, and [`crate::seat::ask`] is the whole of it. This one must
//! not: the `enrolled` answer carries a **private key for a box that does not
//! exist yet**, and stdout is a terminal's scrollback, a shell's history file
//! and whatever the operator piped it into. So `enroll` has an arm of its own
//! all the way up to [`crate::cli`], and what it prints is the picture.
//!
//! **`lernie ask` is still the escape hatch and still prints the raw frame**,
//! which is correct: an operator who spells the envelope by hand has asked for
//! the stream, and nothing here is a security boundary — the seat holds no
//! secret from its own operator. What this arm buys is that the *ordinary* path
//! does not leave material somewhere nobody chose to put it.
//!
//! # Nothing is written, and that is asserted rather than intended
//!
//! No file, no cache, no log line, no temporary anything. The material lives in
//! this function's locals and dies with them. `enroll::tests` drives the whole
//! act against the stand-in engine over a throwaway root and walks that root
//! afterwards, comparing the tree to what was there before — over the **tree**
//! rather than over the paths this code happens to know about, because a defect
//! here is precisely a path nobody thought of.

use std::path::Path;

use crate::cli::Verdict;
use crate::qr::Symbol;
use crate::reply::{Read, Reply};

/// The line under the symbol. It says the one thing an operator cannot see by
/// looking: that there is no second copy, so this picture is the only one there
/// will be until another `enroll` is spent.
const KEPT: &str = "not written down anywhere — scan it now, or enroll again";

/// **Enroll a new box**, and print the symbol its material rides in.
pub fn enroll(data_root: &Path, workspace: &str, name: &str, grade: &str) -> Verdict {
    let gesture = crate::verbs::enroll(workspace.to_owned(), name.to_owned(), grade.to_owned());
    let stream = match crate::seat::sent(data_root, &gesture) {
        Ok(stream) => stream,
        Err(why) => return Verdict::failed(why),
    };
    let Some(frame) = stream.last() else {
        return Verdict::failed("the engine answered nothing at all".to_owned());
    };
    match crate::reply::read(frame) {
        Read::Answer(Reply::Enrolled(material)) => drawn(&material),
        // A refusal is the engine answering, so it is this run's product and
        // goes to stdout with the exit code saying no — the same rule
        // [`crate::seat::ask`] keeps. It carries no material to withhold.
        Read::Refusal(said) => Verdict::answered(said, false),
        Read::Unreadable(why) => Verdict::failed(why),
        // A well-formed answer of the wrong kind. It is not unreadable — this
        // seat read it — so saying "cannot read" would send an operator to
        // upgrade something that is fine.
        Read::Answer(_) => Verdict::failed(format!(
            "`enroll` was answered with something else entirely; the engine at \
             {workspace:?} did not mint anything"
        )),
    }
}

/// The material as a picture, and the two lines around it.
fn drawn(material: &crate::reply::enrolled::Enrolled) -> Verdict {
    let envelope = material.envelope();
    match Symbol::encode(envelope.as_bytes()) {
        Ok(symbol) => Verdict::ok(format!(
            "{}\n\n{}\n{KEPT}",
            material.caption(),
            symbol.block()
        )),
        // The ceiling is version 40 at correction level M and REMOTE §8.4
        // measures the envelope well inside it, so this arm is a recipe that
        // moved — an RSA key, a longer chain — rather than a symbol that could
        // have been drawn smaller. Saying the size is what makes that legible.
        Err(too_long) => Verdict::failed(format!(
            "the engine's material will not fit one symbol: {too_long}"
        )),
    }
}

#[cfg(test)]
mod tests;