yog 0.0.4

//! Tests for the Inbox view-model and its widget: the forgiving envelope
//! parse, the listing's file facts (name + verbatim bytes), and the two render
//! modes — the parsed deposit and the §11 Raw toggle's unaltered bytes.
//! [`tail`] runs the same walk on a viewport too short for the backlog, where
//! the §11 tail anchor decides which deposits are on screen.

use super::render::{HOW_MAIL_ARRIVES, NO_DEPOSITS, render};
use super::*;
use crate::nav::convs::Titles;
use tempfile::tempdir;

mod tail;

/// The widget over a roster with nothing in it: every sender then lands on the
/// §3.3 ladder's floor, which is what these tables are about. The named rung is
/// asserted where a name can exist at all — the §11 window (bl-b6d0,
/// `shell::acceptance::naming`).
fn painted(entries: &[InboxEntry], raw: bool) -> String {
    crate::paint_probe::paint(|ui| render(ui, entries, &Titles::default(), raw))
}

/// One listing entry carrying `body` as its parsed deposit and `raw` as the
/// bytes behind it — the shape the shell hands the widget.
fn entry(name: &str, bytes: &str) -> InboxEntry {
    InboxEntry {
        name: name.to_string(),
        raw: bytes.as_bytes().to_vec(),
        deposit: parse_deposit(bytes.as_bytes()),
    }
}

#[test]
fn parses_ordinary_deposit() {
    let d = parse_deposit(b"---\nfrom: user\ndeposited_at: 2026-07-17T12:00:00Z\n---\nhello there");
    assert_eq!(d.sender.as_deref(), Some("user"));
    assert_eq!(d.deposited_at.as_deref(), Some("2026-07-17T12:00:00Z"));
    assert_eq!(d.epitaph, None);
    assert_eq!(d.terminal_ref, None);
    assert_eq!(d.body, "hello there");
}

#[test]
fn epitaph_values_map_to_typed_variants() {
    let cases = [
        ("final-response", Epitaph::FinalResponse),
        ("stopped", Epitaph::Stopped),
        ("budget-exhausted", Epitaph::BudgetExhausted),
        ("died", Epitaph::Died),
        ("wat", Epitaph::Unknown("wat".to_string())),
    ];
    for (raw, want) in cases {
        let file =
            format!("---\nfrom: c\ndeposited_at: t\nepitaph: {raw}\nterminal_ref: sha\n---\nbody");
        let d = parse_deposit(file.as_bytes());
        assert_eq!(d.epitaph, Some(want));
        assert_eq!(d.terminal_ref.as_deref(), Some("sha"));
    }
}

#[test]
fn result_message_without_body_has_empty_body() {
    let d =
        parse_deposit(b"---\nfrom: c\ndeposited_at: t\nepitaph: died\nterminal_ref: sha\n---\n");
    assert_eq!(d.epitaph, Some(Epitaph::Died));
    assert_eq!(d.body, "");
}

#[test]
fn malformed_file_is_raw_body_with_absent_fields() {
    let d = parse_deposit(b"no frontmatter at all");
    assert_eq!(
        d,
        Deposit {
            body: "no frontmatter at all".to_string(),
            ..Deposit::default()
        }
    );
}

#[test]
fn opener_without_closer_is_raw_body() {
    let d = parse_deposit(b"---\nfrom: x but no closing fence");
    assert_eq!(d.sender, None);
    assert!(d.body.starts_with("---\n"));
}

#[test]
fn frontmatter_line_without_separator_is_skipped() {
    let d = parse_deposit(b"---\nfrom: user\nbare line\n---\nbody");
    assert_eq!(d.sender.as_deref(), Some("user"));
    assert_eq!(d.body, "body");
}

#[test]
fn list_inbox_orders_by_filename_skipping_temp_nonmd_and_unreadable() {
    let dir = tempdir().unwrap();
    let inbox = dir.path().join("inbox").join("a-1");
    std::fs::create_dir_all(&inbox).unwrap();
    std::fs::write(
        inbox.join("user-002.md"),
        b"---\nfrom: user\ndeposited_at: t2\n---\nsecond",
    )
    .unwrap();
    std::fs::write(
        inbox.join("user-001.md"),
        b"---\nfrom: user\ndeposited_at: t1\n---\nfirst",
    )
    .unwrap();
    // Atomic-rename temp dotfile, a non-`.md` file, and a directory
    // named like a deposit (its read fails) are all excluded.
    std::fs::write(inbox.join(".user-003.md.tmp"), b"partial").unwrap();
    std::fs::write(inbox.join("notes.txt"), b"not a deposit").unwrap();
    std::fs::create_dir_all(inbox.join("sub.md")).unwrap();
    let entries = list_inbox(dir.path(), "a-1");
    let bodies: Vec<&str> = entries.iter().map(|e| e.deposit.body.as_str()).collect();
    assert_eq!(bodies, vec!["first", "second"]);
}

#[test]
fn list_inbox_missing_dir_is_empty() {
    let dir = tempdir().unwrap();
    assert!(list_inbox(dir.path(), "nobody").is_empty());
}

/// S7-T1, Inbox half: the listing carries each deposit file's **name** and its
/// **verbatim bytes** beside the parse, so the Raw toggle has something
/// unaltered to show. The envelope the parsed view drops is still in `raw`.
#[test]
fn list_inbox_carries_each_files_name_and_verbatim_bytes() {
    let dir = tempdir().unwrap();
    let inbox = dir.path().join("inbox").join("a-1");
    std::fs::create_dir_all(&inbox).unwrap();
    let bytes = "---\nfrom: user\ndeposited_at: t1\n---\nthe body\n";
    std::fs::write(inbox.join("user-001.md"), bytes).unwrap();
    let entries = list_inbox(dir.path(), "a-1");
    assert_eq!(entries.len(), 1);
    let entry = entries.first().unwrap();
    assert_eq!(entry.name, "user-001.md");
    assert_eq!(entry.raw, bytes.as_bytes(), "bytes must be unaltered");
    assert_eq!(entry.deposit.body, "the body\n");
}

/// A pane tall enough that a bottom anchor is unmistakable — the audit's
/// witness had `(no deposits)` ~450 pt below the tab strip — and wide enough
/// that neither sentence wraps, so each is asserted as one painted run.
const PANE: (f32, f32) = (1400.0, 400.0);

/// **An empty inbox says what it is and how a deposit arrives, at the top of
/// the pane** (bl-71fc, QUALITY H2: "absence is named — an empty region says
/// what it is and names the paved path in full").
///
/// Both halves are asserted, in both render modes. The string alone was the
/// test this replaces, and it was vacuous against the complaint twice over: it
/// passed on a bare `(no deposits)` that named no path, and it said nothing
/// about *where* that run sat, which is the other half of the defect —
/// `tail::scroll`'s anchor pads an underfull body down onto the bottom edge,
/// so the one line an operator had was ~450 pt from the tab that produced it.
#[test]
fn an_empty_inbox_names_itself_and_the_paved_path_at_the_top_of_the_pane() {
    for raw in [false, true] {
        let painted = crate::paint_probe::painted_settled(PANE.0, PANE.1, |ui| {
            render(ui, &[], &Titles::default(), raw);
        });
        let said: Vec<&str> = painted.iter().map(|(text, _)| text.as_str()).collect();
        for want in [NO_DEPOSITS, HOW_MAIL_ARRIVES] {
            assert!(
                said.contains(&want),
                "raw={raw}: the empty inbox must paint `{want}` whole, got {said:?}"
            );
        }
        let (top, bottom) = crate::paint_probe::span(&painted);
        assert!(
            top < 20.0,
            "raw={raw}: the empty state is top-anchored, not pushed down the pane: \
             it starts at y {top} of a {} pt pane",
            PANE.1
        );
        assert!(
            bottom < PANE.1 / 2.0,
            "raw={raw}: and the whole of it sits in the pane's top half: ends at y {bottom}"
        );
    }
}

#[test]
fn ordinary_deposit_renders_header_and_body() {
    let e = entry(
        "user-001.md",
        "---\nfrom: user\ndeposited_at: 2026-07-17T12:00:00Z\n---\nplease continue",
    );
    let text = painted(std::slice::from_ref(&e), false);
    assert!(
        text.contains("✉ user · 2026-07-17T12:00:00Z"),
        "got:\n{text}"
    );
    assert!(text.contains("please continue"));
    // No epitaph line for a plain deposit.
    assert!(!text.contains("epitaph:"));
}

#[test]
fn result_message_renders_every_epitaph_and_terminal_ref() {
    let cases = [
        (Epitaph::FinalResponse, "final-response"),
        (Epitaph::Stopped, "stopped"),
        (Epitaph::BudgetExhausted, "budget-exhausted"),
        (Epitaph::Died, "died"),
        (Epitaph::Unknown("wat".into()), "wat"),
    ];
    for (epitaph, label) in cases {
        let e = InboxEntry {
            name: "c-1-001.md".into(),
            raw: Vec::new(),
            deposit: Deposit {
                sender: Some("c-1".into()),
                deposited_at: Some("t".into()),
                epitaph: Some(epitaph),
                terminal_ref: Some("deadbeef".into()),
                body: String::new(),
            },
        };
        let text = painted(std::slice::from_ref(&e), false);
        assert!(text.contains(&format!("epitaph: {label}")), "got:\n{text}");
        assert!(text.contains("terminal: deadbeef"));
    }
}

#[test]
fn absent_fields_render_as_question_marks() {
    let e = entry("odd.md", "raw");
    let text = painted(std::slice::from_ref(&e), false);
    assert!(text.contains("✉ ? · ?"), "got:\n{text}");
}

/// S7-T1, Inbox half: Raw flips the tab to each deposit file's name and its
/// bytes exactly as they sit on disk — envelope included, nothing summarized
/// away and no parsed header in the way.
#[test]
fn raw_mode_paints_each_files_name_and_unaltered_bytes() {
    let bytes = "---\nfrom: user\ndeposited_at: t1\n---\nthe body\n";
    let e = entry("user-001.md", bytes);
    let text = painted(std::slice::from_ref(&e), true);
    assert!(text.contains("user-001.md"), "no filename header:\n{text}");
    assert!(text.contains(bytes), "bytes not verbatim:\n{text}");
    assert!(!text.contains("✉ user"), "parsed header in raw:\n{text}");
}

/// bl-3aa1 / QUALITY L4: a deposit from a descent child must not lead its row
/// with the child's whole ancestry chain. The witness verbatim — a four-token
/// chain, 52 characters, at the head of a row whose other content is a
/// timestamp and a subject.
///
/// Asserted on the **paint layer**, and in both directions: the terminal
/// generation is on screen, and the chain that used to dominate the row is not.
/// Since bl-bc06 the probe reports the glyphs a galley actually laid, so a
/// needle matching here really is text the operator can read.
#[test]
fn a_deposit_row_floors_a_descent_chain_to_its_terminal_generation() {
    const CHAIN: &str = "20260807T214551Z-2a1181a3-20260727T090100Z-c0ffeeba";
    let e = entry(
        "child-001.md",
        &format!(
            "---\nfrom: {CHAIN}\ndeposited_at: 2026-08-07T22:03:25Z\n---\nmail nobody is driving"
        ),
    );
    assert_eq!(
        e.deposit.sender.as_deref(),
        Some(CHAIN),
        "the fact is kept whole on the deposit"
    );

    let said = painted(std::slice::from_ref(&e), false);
    assert!(
        said.contains("✉ 20260727T090100Z-c0ffeeba · 2026-08-07T22:03:25Z"),
        "the row leads with the child's own generation:\n{said}"
    );
    assert!(
        !said.contains(CHAIN),
        "and the ancestry chain no longer dominates the row:\n{said}"
    );
    assert!(
        said.contains("mail nobody is driving"),
        "the subject — what the row is actually about — is still there:\n{said}"
    );
}

/// The same call must leave a sender that is not an agent id alone: `user` has
/// no stamp grammar, so the floor spells it whole. The general path with input
/// the rule does not recognise, not a special case.
#[test]
fn a_deposit_from_the_operator_is_not_floored() {
    let e = entry(
        "user-001.md",
        "---\nfrom: user\ndeposited_at: 2026-08-07T22:03:25Z\n---\nfollow-up",
    );
    let said = painted(std::slice::from_ref(&e), false);
    assert!(said.contains("✉ user · 2026-08-07T22:03:25Z"), "{said}");
}