delvewright-dsl 0.36.0

//! **What a block state does to a body that walks into it** (spec-0056) — the
//! one authority, for every crate in this workspace.
//!
//! One question: *given a vanilla block state, may a body occupy its cell, may a
//! body stand on it, and if so at what height?* Every walk in this repository
//! asks it — `delvec`'s route proofs, the grammar back end's contract gates, the
//! admission pipeline's light probe — and until spec-0056 each of them answered
//! it privately. Three copies, measured disagreeing in both directions: the
//! grammar walk read *air or a skull* and called a torch a wall; the light probe
//! kept a nine-id list that called open water walkable; `delvec` alone had a real
//! collision table and could not lend it to either.
//!
//! # Why this module is in `delvewright-dsl`
//!
//! The same argument that placed [`crate::metrics::step_allowed`], and it has two
//! halves.
//!
//! *Reachability.* Two readers ask this table the same question and share no
//! dependency edge with each other: the engine (`delvec::schem`'s walk,
//! `delvec::grammar`'s contract checker, the compiler's navigation model) and
//! the prefab generators, which are a workspace of their own that may not depend
//! on `delvec`. `delvewright-dsl` is the one crate both can depend on, and both
//! do — the generators through `prefab-invariants`, which re-exports this
//! module under the name their invariants already spell.
//!
//! *Object class.* A collision box is a fact about **a vanilla block state under
//! the pinned game version** (ADR-0009, Minecraft Java 1.21.11) — the same kind of
//! pinned-physics fact, in the same sixteenths, as the auto-step and jump-apex
//! budgets already in [`crate::metrics`]. [`collision_top_16`] is what a correct
//! rise measurement is made *of*: `metrics` says how far a body may climb, this
//! module says from what height to what height.
//!
//! # The rule, in one table
//!
//! [`Collision`] is the classification and [`collision_class`] computes it. Its
//! three answers are what a walk needs and all a walk gets:
//!
//! | class | [`Collision::passes_body`] | [`Collision::supports_body`] | [`Collision::floor_top_16`] |
//! |---|---|---|---|
//! | [`Collision::Air`] | yes | no | — |
//! | [`Collision::Thin`] (top < 8/16) | yes | no | — (the body rests on the block below) |
//! | [`Collision::PartialFloor`] (8..16) | no | yes | the measured top |
//! | [`Collision::FullCube`] | no | yes | 16 |
//! | [`Collision::TallBarrier`] (fence, wall) | no | **no** | — |
//! | [`Collision::FenceGate`] | **yes** | no | — |
//! | [`Collision::Fluid`] | no | no | — |
//!
//! Two rows are not the naive complement of each other, and that is the whole
//! reason there are two columns. A **fluid** cell is a cell whose water or lava
//! the *block* brings — a free `water`/`lava` block, and equally a `seagrass`
//! tuft or a `kelp` stem, whose vanilla block carries a water source in its own
//! cell ([`is_submerged_by_nature`]). A **tall barrier** is 1.5 blocks on a 1-block
//! cell: a body neither passes through it nor reaches its top face by jumping. A
//! **fence gate** is the mirror: adventure mode permits the right-click that
//! opens it, so a body gets through — and for a *closure* claim a gate was never
//! a seal anyway, so reading it as a hole is the sound direction. A **fluid** is
//! neither, from the other side: spec-0038 forbids a route crediting water, and
//! nothing stands on a surface.
//!
//! Sub-8/16 is [`THIN_HEIGHT_16`], and it is not a rounding: vanilla's auto-step
//! is 0.6 blocks ([`crate::metrics::MAX_AUTO_STEP_16`] = 9/16), so a carpet, a
//! shallow snow drift, a candle or a pressure plate is stepped **over** rather
//! than onto and never constitutes a floor level of its own.
//!
//! # What one boolean cannot carry, said out loud
//!
//! A walk's `passable` answers for a body *and* for a sightline, and for the
//! class this module changed most — empty collision — the two agree: glow lichen
//! neither collides nor occludes. They part for partial-height blocks, where a
//! slab stops a body and not an eye. This module answers the **body** question;
//! a caller asking about a sightline gets the full-cube reading, which refuses
//! claims it should sometimes grant. That is the refusing direction, and it is
//! recorded here rather than hidden (spec-0056 §3.3). Splitting the two needs a
//! second per-cell answer with its own conservative direction per claim sign, and
//! that surface is not proposed.
//!
//! # The direction of every error here is stated per entry
//!
//! Anything no rule here names is read from the pinned jar's own collision
//! boxes ([`measured_collision`], `crates/dsl/data/collision-tops-1.21.11.tsv`):
//! a box that rests on the cell floor and tops out at 8..15 sixteenths is a
//! [`Collision::PartialFloor`] at that height — an upward dripstone tip at 11, a
//! chest at 14. Everything else is a [`Collision::FullCube`], which
//! **over-blocks**: it can only make a walk refuse a step vanilla admits, never
//! admit one vanilla refuses. So a box this module does not route through is
//! left a wall on purpose rather than guessed at, and the places that happens
//! say so ([`is_no_collision_fixture`]).

/// A full block's collision height in sixteenths — the unit [`collision_top_16`]
/// reports in. Vanilla builds every partial collision box out of sixteenths, so
/// integer sixteenths represent every case exactly (no float ordering, ADR-0006).
pub const FULL_HEIGHT_16: u8 = 16;

/// Below this collision height a block is **stepped over, not onto**: the walker's
/// feet stay on whatever supports it. 8/16 = half a block, the slab step. Anything
/// thinner (carpet 1/16, a candle 6/16, a 1–4-layer snow drift ≤ 6/16) is under the
/// vanilla 0.6-block auto-step, so modelling it as a floor *level* of its own would
/// be noise; modelling it as a full cube is a lie.
pub const THIN_HEIGHT_16: u8 = 8;

/// The bare block id of a (possibly blockstate-carrying) block name: strips a
/// trailing `[state]` / `{nbt}` suffix, keeping the namespace
/// (`minecraft:oak_slab[type=top]` → `minecraft:oak_slab`).
///
/// Every classifier below matches on this, and the state-sensitive ones read the
/// property they need with [`state_value`]. Waterlogging, slab halves and
/// snow-layer counts are block *state*, and a model that throws the state away
/// cannot tell a half-step from a full cube.
pub fn base_id(name: &str) -> &str {
    match name.find(['[', '{']) {
        Some(i) => &name[..i],
        None => name,
    }
}

/// The value of blockstate property `key` in an `id[k=v,…]` block name, or
/// `None` when the name carries no state or lacks that property.
pub fn state_value<'a>(name: &'a str, key: &str) -> Option<&'a str> {
    let open = name.find('[')?;
    let close = name[open..].find(']')? + open;
    name[open + 1..close].split(',').find_map(|kv| {
        let (k, v) = kv.split_once('=')?;
        (k.trim() == key).then_some(v.trim())
    })
}

/// The namespace-free bare id (`minecraft:oak_slab[type=top]` → `oak_slab`).
///
/// Public because the namespace is optional everywhere a human writes a block:
/// a prefab palette always carries `minecraft:`, an author's `fill-region` block
/// is a hand-written string, and both are legal. Every classifier here goes
/// through this so the two spellings cannot get different answers.
pub fn bare_id(name: &str) -> &str {
    let id = base_id(name);
    id.strip_prefix("minecraft:").unwrap_or(id)
}

/// The air block variants that count as "no block" — passable, transparent, and
/// never a floor.
///
/// Namespace-insensitive, unlike the predicate this replaced: a bare `air` in a
/// hand-written `fill-region` is the same block as `minecraft:air`, and a
/// namespace-sensitive reading classified it by the full-cube default, i.e. as
/// floor a route proof would walk on.
pub fn is_air(name: &str) -> bool {
    matches!(bare_id(name), "air" | "cave_air" | "void_air")
}

/// **The blocks whose use vanilla reports** (spec-0093 §6.5): the lever, every
/// button and the bell of the pinned registry. A right-click on one is the
/// block's own default interaction — the lever's `powered` toggles, the
/// button's pulses, the bell rings — and the pinned game's
/// `minecraft:default_block_use` advancement criterion fires for the player who
/// did it, at the block's cell [cited — the pinned registries dump,
/// `tools/spike-area-effect-arrow/registries-1.21.11.json`, lists the criterion;
/// the *Lever*, *Button* and *Bell* wiki pages: use flips, presses, rings]. A
/// pressure plate is stepped on, not used, and belongs to the step machinery; a
/// lamp, a sign, a lectern's shelf are objects vanilla reports no use of, so an
/// act on one keeps its hit area fitted over the visible block.
///
/// Read by suffix rather than listed where the registry has a family, so a pin
/// that adds a button adds it here: `#buttons` is every id ending in `_button`.
pub fn is_hand_pressed(name: &str) -> bool {
    let id = bare_id(name);
    id == "lever" || id == "bell" || id.ends_with("_button")
}

/// Whether a cell's block is a **free fluid** — water or lava occupying the whole
/// cell with no host block. **The one answer to "is this block id a fluid"** in
/// this workspace.
///
/// What it covers, and why each case is the way it is:
/// - **Block state is irrelevant.** A flowing `minecraft:water[level=3]` answers
///   the same as a source. Both leave a body swimming rather than standing, which
///   is the only question a collision model asks; the *reach* of a flow is a
///   world question, not this predicate's.
/// - **So is the namespace**, and that is not cosmetic: a bare `water` passes DSL
///   block validation and is emitted verbatim, and a namespace-sensitive
///   comparison would read it as an ordinary solid and prove a floor made of it.
/// - **`minecraft:lava` counts.** Nothing stands on lava either, and a model that
///   answered only for water would prove a lava surface walkable.
/// - **A waterlogged block does NOT count.** `oak_stairs[waterlogged=true]` is a
///   cell occupied by its *host* block — solid, standable, and simultaneously a
///   flood source for its neighbours. Folding it in here would delete a floor the
///   game plainly has.
pub fn is_fluid(name: &str) -> bool {
    matches!(bare_id(name), "water" | "lava")
}

/// Whether a block **fills its own cell with water by nature** — a plant or a
/// column whose block has no `waterlogged` property to set because its cell is
/// unconditionally a water source.
///
/// This is not [`is_fluid`]'s question and it is not the waterlogging one
/// either, which is why it is a third predicate rather than an arm of one of
/// them. [`is_fluid`] asks whether the cell holds a *free* fluid with no host
/// block; waterlogging is a block *state* an author sets on an ordinary solid.
/// These ids are neither: each has a host block, the host has an empty collision
/// shape, and vanilla gives the cell a water source regardless of state
/// (`SeagrassBlock`, `TallSeagrassBlock`, `KelpBlock`, `KelpPlantBlock` and
/// `BubbleColumnBlock` all answer `Fluids.WATER` from `getFluidState`, Minecraft
/// Java 1.21.11). A body put into one of these cells is in water: it swims, and
/// it stands on nothing.
///
/// # The measurement that made this a predicate rather than a footnote
///
/// The shipped island and cave tilesets both scatter seagrass across the top
/// water block of a shore — `cave-generator` says so in its own words, *seagrass
/// is a water-filled block in vanilla, so it stands IN the sea's own cell rather
/// than above it* — and the collision table disagreed with the generator that
/// wrote the bytes. Three cells in the whole content library, and they were
/// enough to make two pieces' walk planes measure one course below their floors,
/// which put a pool's members into disagreement and refused it at build after
/// the seating command had called it seatable. A tuft of grass standing in the
/// sea is not a floor, and until this predicate existed nothing said so.
///
/// **Excluded, and not because they are dry.** `sea_pickle` and the coral fans
/// carry a `waterlogged` property, so their cell's fluid is a state an author
/// wrote and reads correctly through it; folding them in here would call a dry
/// coral fan on a museum shelf a body of water. Anything whose fluid state was
/// not read out of the pin is left in the collision default, which over-blocks
/// (module header) rather than admitting a step the game refuses.
///
/// Takes a full block name (state suffix allowed), like every predicate here.
pub fn is_submerged_by_nature(name: &str) -> bool {
    matches!(
        bare_id(name),
        "seagrass" | "tall_seagrass" | "kelp" | "kelp_plant" | "bubble_column"
    )
}

/// Whether a block is a **1.5-block-tall barrier**: fences (`*_fence`, incl.
/// `nether_brick_fence`) and walls (`*_wall`). Vanilla gives these a collision box
/// 1.5 blocks tall on a 1-block cell, which breaks the full-cube assumption in
/// BOTH directions:
///
/// - **Not standable on top by a walking player**: a normal jump rises ~1.25
///   blocks ([`crate::metrics::MAX_JUMP_RISE_16`]), so a 1.5-tall top face is
///   unreachable by walking or jumping — a "legal +1 step onto a fence top" is a
///   proof of a route no player and no bot can walk.
/// - **Not passable through**: the barrier fills its cell for a walker, and its
///   top half also blocks the cell above.
///
/// Fence **gates** are excluded — they are the openable case, see
/// [`is_fence_gate`].
pub fn is_tall_barrier(name: &str) -> bool {
    let id = bare_id(name);
    id.ends_with("_fence") || id.ends_with("_wall")
}

/// Whether a block is a fence gate (`*_fence_gate` — every vanilla fence gate is
/// a wooden, right-click-openable one).
///
/// Closed, it is a 1.5-tall barrier like a fence but **passable-with-use**:
/// opening it is a right-click USE interaction vanilla permits in adventure mode,
/// the same action a human player performs. So a body gets through, and a caller
/// that needs to know whether a *non-player* walker does asks this predicate by
/// name rather than reading it out of the passability answer.
pub fn is_fence_gate(name: &str) -> bool {
    bare_id(name).ends_with("_fence_gate")
}

/// Whether a player can open this block by hand, in adventure mode — every
/// fence gate, door and trapdoor except the two iron ones, which open only to
/// redstone. A player who opens one can leave it open, so a proof about where a
/// mob can walk once the party has been through asks this (`DW0923`).
pub fn is_player_openable(name: &str) -> bool {
    let id = bare_id(name);
    if id == "iron_door" || id == "iron_trapdoor" {
        return false;
    }
    is_fence_gate(name) || id.ends_with("_door") || id.ends_with("_trapdoor")
}

/// Thin, walkable trap-trigger blocks (spec-0011) a player steps *onto* rather
/// than being blocked by: pressure plates and tripwire.
///
/// Named separately from the rest of the empty-collision class because a caller
/// needs the *trap* fact as well as the collision fact — nav must route a player
/// ONTO a critical-path trap trigger (the hazard `DW0342` reasons about) instead
/// of routing around a "solid" plate and calling every trap avoidable. Their
/// collision shape is empty, so [`collision_top_16`] answers 0 for them too and
/// the two facts cannot disagree.
pub fn is_passable_trap_trigger(name: &str) -> bool {
    let id = bare_id(name);
    id.ends_with("_pressure_plate") || matches!(id, "tripwire" | "tripwire_hook")
}

/// Vanilla's **no-collision vegetation class**: blocks whose collision shape is
/// EMPTY — a walker passes straight through and stands on whatever is below
/// (they are visual/light-model content only).
///
/// Modelling one as a full cube is wrong in both directions. A `short_grass` tuft
/// on a valley terrace splits a deliberate 2-block riser into two climbable
/// 1-block steps, so `DW0854` refuses a landform vanilla cannot climb
/// (rejects-valid); and, worse, any walkability proof that stands a body ON a
/// tuft or flower cell is unsound (accepts-invalid).
///
/// The list is the **class**, not the three ids one generator happens to scatter.
/// Sources: Minecraft Java 1.21.11 block shapes — every id here has an empty
/// collision shape. Deliberately excluded because they DO collide (or attach in
/// ways this model does not represent): `azalea`/`flowering_azalea`,
/// `big_dripleaf`, `bamboo`, `cactus`, `chorus_*`, `pointed_dripstone`,
/// `scaffolding`, `sea_pickle`, `cocoa`, lily `pad` (a platform), all leaves, and
/// anything not certainly collision-free — the conservative full-cube default
/// keeps those sound.
///
/// **Five members of this list never reach [`Collision::Thin`]**, and the reason
/// is not their collision box: `seagrass`, `tall_seagrass`, `kelp`, `kelp_plant`
/// and `bubble_column` bring a water source with them, so
/// [`collision_class`] answers [`Collision::Fluid`] for them one arm earlier
/// ([`is_submerged_by_nature`]). They stay in this list because the statement it
/// makes about them — an empty collision shape — is true and is what a caller
/// asking about collision alone should get.
///
/// Takes a **bare** id ([`bare_id`]), not a full block name.
pub fn is_no_collision_plant(id: &str) -> bool {
    id.ends_with("_sapling")
        || matches!(
            id,
            // grasses + ground cover
            "short_grass"
                | "tall_grass"
                | "fern"
                | "large_fern"
                | "dead_bush"
                | "bush"
                | "firefly_bush"
                | "short_dry_grass"
                | "tall_dry_grass"
                | "seagrass"
                | "tall_seagrass"
                | "pink_petals"
                | "wildflowers"
                | "leaf_litter"
                | "hanging_roots"
                | "mangrove_propagule"
                // small + tall flowers
                | "dandelion"
                | "poppy"
                | "blue_orchid"
                | "allium"
                | "azure_bluet"
                | "red_tulip"
                | "orange_tulip"
                | "white_tulip"
                | "pink_tulip"
                | "oxeye_daisy"
                | "cornflower"
                | "lily_of_the_valley"
                | "wither_rose"
                | "torchflower"
                | "sunflower"
                | "lilac"
                | "rose_bush"
                | "peony"
                | "pitcher_plant"
                // mushrooms + nether flora
                | "brown_mushroom"
                | "red_mushroom"
                | "crimson_fungus"
                | "warped_fungus"
                | "crimson_roots"
                | "warped_roots"
                | "nether_sprouts"
                | "nether_wart"
                // crops
                | "wheat"
                | "carrots"
                | "potatoes"
                | "beetroots"
                | "melon_stem"
                | "pumpkin_stem"
                | "attached_melon_stem"
                | "attached_pumpkin_stem"
                | "torchflower_crop"
                | "sweet_berry_bush"
                | "sugar_cane"
                | "bamboo_sapling"
                // climbing / hanging plants
                | "vine"
                | "glow_lichen"
                | "spore_blossom"
                | "small_dripleaf"
                | "kelp"
                | "kelp_plant"
                | "cave_vines"
                | "cave_vines_plant"
                | "twisting_vines"
                | "twisting_vines_plant"
                | "weeping_vines"
                | "weeping_vines_plant"
        )
}

/// Vanilla's **no-collision fixture class**: the things a builder hangs on a wall
/// or lays on a floor, whose collision shape is EMPTY.
///
/// This is the class the owner's report named — *a torch counting as a solid
/// block is obviously an engine bug*. A wall torch occupies the air cell beside
/// the wall it is fixed to; a body walks through that cell in the game, and a
/// model that calls it a full cube severs a corridor for every proof downstream.
/// The same is true of a sign, a banner, a lever, a button, a rail and a
/// pressure plate.
///
/// Sources: Minecraft Java 1.21.11 block shapes — every id here is declared
/// `noCollission()`.
///
/// **Deliberately excluded, and the reason is not that they collide.** `fire`,
/// `soul_fire`, `cobweb`, `nether_portal` and `end_portal` have empty collision
/// boxes too, and are left in the full-cube default on purpose: a body passing
/// through one is not a body that may be *routed* through one, and this module's
/// answer is consumed by proofs that would credit the step. Reading them as walls
/// over-blocks, which is the direction this module's errors are allowed to run.
///
/// Also excluded because their shapes were not read out of the pin: lanterns,
/// chains, end rods, ladders. The full-cube default keeps them sound.
///
/// Takes a **bare** id ([`bare_id`]), not a full block name.
pub fn is_no_collision_fixture(id: &str) -> bool {
    id.ends_with("_torch")
        || id.ends_with("_sign")
        || id.ends_with("_banner")
        || id.ends_with("_button")
        || id.ends_with("_rail")
        || matches!(
            id,
            "torch"
                | "lever"
                | "rail"
                | "redstone_wire"
                // A cell a data pack lights or leaves undecided: neither is a
                // block a body meets.
                | "light"
                | "structure_void"
        )
}

/// The height of a block's **collision box top face**, in sixteenths of a block
/// (0 = no collision at all, 16 = a full cube). Anything not listed is the
/// pinned jar's measured floor height where its box is one
/// ([`measured_collision`]: from the cell floor to 8..15), else a full cube —
/// the conservative default.
///
/// Modelling a slab or a snow layer as a full 1×1×1 cube misplaces the surface a
/// walker stands on by up to a whole block, which makes the step rule prove
/// step-ups vanilla refuses (from a bottom slab up onto a full block is a
/// **1.5-block** rise, above the ~1.25-block jump apex) and refuse step-ups
/// vanilla allows (onto a bottom slab is a 0.5-block auto-step needing no jump
/// headroom at all).
///
/// Sources (Minecraft Java 1.21.11 block shapes):
/// - **Slabs**: `type=bottom` occupies the lower half → 8; `type=top` and
///   `type=double` reach the cell top → 16. `type` **defaults to `bottom`**, so a
///   bare `minecraft:oak_slab` is a half-step.
/// - **Snow layers** (`minecraft:snow`): collision height is `(layers - 1) * 2`
///   sixteenths (`SnowLayerBlock` indexes its shape table at `layers - 1`), so
///   `layers=1` has **no** collision box (you walk through it) and `layers=8` is
///   14/16. The *outline* shape is `layers * 2`, which is what the block looks
///   like — the collision box is what a walker stands on. `layers` defaults to 1.
/// - **Carpets**: 1/16 (`pale_moss_carpet` only when `bottom=true`; its default
///   wall-vine form has no collision box at all).
/// - **Candles**: 6/16 for every count (`CandleBlock`'s four shapes are all
///   `…,0,…→…,6,…`), so a candle on a floor is stepped over, never onto.
/// - **Flower pots** (`flower_pot`, `potted_*`): 6/16.
/// - **`dirt_path` / `farmland`**: 15/16 (the one-pixel dip you step down into).
/// - **Empty**: [`is_no_collision_plant`] and [`is_no_collision_fixture`] → 0.
pub fn collision_top_16(name: &str) -> u8 {
    let id = bare_id(name);
    if id.ends_with("_slab") {
        return match state_value(name, "type") {
            Some("top") | Some("double") => FULL_HEIGHT_16,
            // `bottom` — and the default state, which omits the property.
            _ => 8,
        };
    }
    if id == "snow" {
        let layers: u8 = state_value(name, "layers")
            .and_then(|v| v.parse().ok())
            .unwrap_or(1);
        return layers.clamp(1, 8).saturating_sub(1) * 2;
    }
    if id == "pale_moss_carpet" {
        // The odd one out: a floor carpet only when `bottom=true` (1/16); its
        // wall-vine form (`bottom=false`, the default) has NO collision box.
        return u8::from(state_value(name, "bottom") == Some("true"));
    }
    if id.ends_with("_carpet") || id == "moss_carpet" {
        return 1;
    }
    if id == "candle" || id.ends_with("_candle") {
        return 6;
    }
    if id == "flower_pot" || id.starts_with("potted_") {
        return 6;
    }
    if matches!(id, "dirt_path" | "farmland") {
        return 15;
    }
    // A lantern's collision is two stacked boxes, the cap's top at 9/16 standing
    // and 10/16 hanging (one sixteenth lower and higher). Measured standing on
    // the pinned server: a mob on a floor lantern stood at its cell floor plus
    // 0.5625. A full cube here made the step onto one a 1.5-block rise from a
    // bottom slab, where in game it is a jump a mob takes.
    if matches!(id, "lantern" | "soul_lantern") || id.ends_with("copper_lantern") {
        return if state_value(name, "hanging") == Some("true") {
            10
        } else {
            9
        };
    }
    if is_air(name)
        || is_passable_trap_trigger(name)
        || is_no_collision_plant(id)
        || is_no_collision_fixture(id)
    {
        return 0;
    }
    // Every block no rule above names: the pinned jar's own collision box, where
    // it rests on the cell floor and tops out at a floor height (an upward
    // dripstone tip at 11, a chest at 14, a bed at 9, soul sand at 14). A box
    // under the thin line, one that does not start at the floor, or one the
    // table does not hold stays the full-cube default, which over-blocks.
    measured_partial_floor_16(name).unwrap_or(FULL_HEIGHT_16)
}

/// The pinned jar's collision-box extent per blockstate, in sixteenths:
/// `crates/dsl/data/collision-tops-1.21.11.tsv`, written by
/// `tools/maintenance/dump-collision-tops.py` from
/// `BlockState.getCollisionShape` inside the pinned server jar (provenance in
/// `crates/delvec/data/PROVENANCE.md`).
const COLLISION_TSV: &str = include_str!("../data/collision-tops-1.21.11.tsv");

/// A collision-box bound in sixteenths of a block above the cell floor,
/// exactly: every vanilla box is built in sixteenths, and the few that are not
/// (a chain's 6.5) are kept as the fraction the table spells rather than
/// rounded. Negative for a box that reaches into the cell below (a piston
/// head's arm, a pitcher crop's root).
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct Sixteenths {
    /// Numerator.
    pub num: i32,
    /// Denominator (1 for a whole sixteenth).
    pub den: u32,
}

impl Sixteenths {
    /// The bound as a whole number of sixteenths, or `None` for a fraction.
    pub fn whole(self) -> Option<i32> {
        (self.den == 1).then_some(self.num)
    }

    fn parse(s: &str) -> Option<Sixteenths> {
        match s.split_once('/') {
            Some((n, d)) => Some(Sixteenths {
                num: n.parse().ok()?,
                den: d.parse().ok()?,
            }),
            None => Some(Sixteenths {
                num: s.parse().ok()?,
                den: 1,
            }),
        }
    }
}

/// One blockstate's collision box, vertically: `None` for an empty shape.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct MeasuredExtent {
    /// The bottom and top of the box above the cell floor, or `None` when the
    /// game gives the state no collision at all.
    pub span: Option<(Sixteenths, Sixteenths)>,
}

/// The measured table, keyed by namespaced block id: each row's distinguishing
/// properties and the extent they select.
type MeasuredRows =
    std::collections::BTreeMap<String, Vec<(Vec<(String, String)>, MeasuredExtent)>>;

fn measured_rows() -> &'static MeasuredRows {
    static ROWS: std::sync::OnceLock<MeasuredRows> = std::sync::OnceLock::new();
    ROWS.get_or_init(|| {
        let mut out = MeasuredRows::new();
        for line in COLLISION_TSV.lines().filter(|l| !l.starts_with('#')) {
            let cols: Vec<&str> = line.split('\t').collect();
            let [state, lo, hi, _count] = cols[..] else {
                panic!("collision table row is not four columns: {line:?}");
            };
            let id = base_id(state).to_string();
            let props: Vec<(String, String)> = state
                .find('[')
                .map(|open| {
                    state[open + 1..state.len() - 1]
                        .split(',')
                        .filter_map(|kv| kv.split_once('='))
                        .map(|(k, v)| (k.to_string(), v.to_string()))
                        .collect()
                })
                .unwrap_or_default();
            let span = if lo == "-" {
                None
            } else {
                Some((
                    Sixteenths::parse(lo).expect("collision table bottom parses"),
                    Sixteenths::parse(hi).expect("collision table top parses"),
                ))
            };
            out.entry(id)
                .or_default()
                .push((props, MeasuredExtent { span }));
        }
        out
    })
}

/// **The pinned jar's collision box for this block state**, or `None` when the
/// table does not hold the block (a non-`minecraft:` id, or one the pin lacks).
///
/// A property the name leaves out is read at the block's pinned default
/// ([`crate::blocks::BlockRegistry::default_state`]) — what the game resolves it
/// to — so a bare `minecraft:pointed_dripstone` is the upward tip it places.
pub fn measured_collision(name: &str) -> Option<MeasuredExtent> {
    let id = base_id(name);
    let id = if id.contains(':') {
        std::borrow::Cow::Borrowed(id)
    } else {
        std::borrow::Cow::Owned(format!("minecraft:{id}"))
    };
    let rows = measured_rows().get(id.as_ref())?;
    let defaults = crate::blocks::BlockRegistry::v1_21_11().default_state(&id);
    rows.iter()
        .find(|(props, _)| {
            props.iter().all(|(k, v)| {
                state_value(name, k).or_else(|| defaults.and_then(|d| d.get(k)).map(String::as_str))
                    == Some(v.as_str())
            })
        })
        .map(|(_, e)| *e)
}

/// The measured floor height of a block whose collision box rests on its cell
/// floor and tops out in [`THIN_HEIGHT_16`]..[`FULL_HEIGHT_16`] — a body stands
/// on it lower than on a full cube and cannot walk through it. `None` for any
/// other box.
fn measured_partial_floor_16(name: &str) -> Option<u8> {
    let (lo, hi) = measured_collision(name)?.span?;
    let top = hi.whole()?;
    if lo.whole() != Some(0)
        || !(i32::from(THIN_HEIGHT_16)..i32::from(FULL_HEIGHT_16)).contains(&top)
    {
        return None;
    }
    u8::try_from(top).ok()
}

/// Whether a block is thin enough to be **walked over rather than onto**
/// ([`THIN_HEIGHT_16`]): its cell is passable and never a floor level of its own,
/// so a walker standing there rests on the block below it. Vanilla agrees — none
/// of these blocks obstructs a 1.8-block-tall walker, and every one of them is
/// under the 0.6-block auto-step.
pub fn is_thin_decoration(name: &str) -> bool {
    collision_top_16(name) < THIN_HEIGHT_16
}

/// Whether a block is a **partial-height floor**: it fills its cell for passage
/// purposes but its walkable top face sits below the cell top (a bottom slab, a
/// deep snow drift). Its height is [`collision_top_16`].
pub fn is_partial_floor(name: &str) -> bool {
    let h = collision_top_16(name);
    (THIN_HEIGHT_16..FULL_HEIGHT_16).contains(&h)
}

/// **What a block state does to a body.** The classification every walk in this
/// workspace reads; see the module header for the table it stands for.
///
/// Deliberately an enum rather than a pair of booleans: the six classes are not
/// the four corners of two independent questions, and naming them is what lets a
/// caller that needs more than passability — a gate is openable, a fluid drowns —
/// ask for the distinction instead of re-deriving it from a block name.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum Collision {
    /// One of the three air blocks: nothing here at all.
    Air,
    /// An empty or sub-auto-step collision box — a torch, a carpet, a candle, a
    /// pressure plate, a tuft of grass. Carries the measured top face, which is
    /// under [`THIN_HEIGHT_16`] by construction and is **not** a floor level.
    Thin(u8),
    /// A floor whose walkable top face is below the cell top: a bottom slab, a
    /// deep snow drift, a `dirt_path`. Carries that height in sixteenths.
    PartialFloor(u8),
    /// A full 1×1×1 cube — the conservative default for everything unrecognised.
    FullCube,
    /// A fence or a wall: 1.5 blocks tall on a 1-block cell, so a body neither
    /// passes through it nor reaches its top.
    TallBarrier,
    /// A fence gate: a body opens it with the adventure-legal right-click and
    /// walks through. Never a floor.
    FenceGate,
    /// Water or lava filling the cell: a body swims, and stands on nothing.
    Fluid,
}

impl Collision {
    /// **Can a body's own volume occupy this cell?**
    pub fn passes_body(self) -> bool {
        matches!(
            self,
            Collision::Air | Collision::Thin(_) | Collision::FenceGate
        )
    }

    /// **Can a body stand on this cell?** Not the complement of
    /// [`Collision::passes_body`], and that is the whole reason it is a separate
    /// question — a torch is neither, and lava is neither from the other side.
    pub fn supports_body(self) -> bool {
        matches!(self, Collision::PartialFloor(_) | Collision::FullCube)
    }

    /// The walkable top face of this block, in sixteenths above its own cell
    /// floor, for a class that supports a body. `None` for every class that does
    /// not, so a caller cannot silently read a height off a torch.
    pub fn floor_top_16(self) -> Option<u8> {
        match self {
            Collision::PartialFloor(h) => Some(h),
            Collision::FullCube => Some(FULL_HEIGHT_16),
            _ => None,
        }
    }
}

/// Classify a vanilla block state — **the one rule**.
///
/// The order of the arms is the rule: a fluid is a fluid whatever else it looks
/// like; a thin decoration is stepped over before anything asks whether it is a
/// gate; and only then do the two 1.5-tall classes separate from the ordinary
/// floor.
///
/// **A cell whose water the block brings with it is a fluid cell** — the
/// [`is_submerged_by_nature`] arm sits beside [`is_fluid`] and above the
/// thin-decoration arm, because a seagrass tuft is both a no-collision plant and
/// a body of water, and the collision model's answer is the water's. Reading it
/// as a thin decoration made the sea's own cell report as a place a body's feet
/// go.
pub fn collision_class(name: &str) -> Collision {
    if is_air(name) {
        return Collision::Air;
    }
    if is_fluid(name) || is_submerged_by_nature(name) {
        return Collision::Fluid;
    }
    let top = collision_top_16(name);
    if top < THIN_HEIGHT_16 {
        return Collision::Thin(top);
    }
    if is_fence_gate(name) {
        return Collision::FenceGate;
    }
    if is_tall_barrier(name) {
        return Collision::TallBarrier;
    }
    if top < FULL_HEIGHT_16 {
        return Collision::PartialFloor(top);
    }
    Collision::FullCube
}

/// **Can a body's own volume occupy a cell holding this block?** —
/// [`collision_class`] then [`Collision::passes_body`].
pub fn passes_body(name: &str) -> bool {
    collision_class(name).passes_body()
}

/// **Can a body stand on a cell holding this block?** —
/// [`collision_class`] then [`Collision::supports_body`].
pub fn supports_body(name: &str) -> bool {
    collision_class(name).supports_body()
}

/// The walkable top face of this block in sixteenths, or `None` when a body
/// cannot stand on it at all — [`collision_class`] then
/// [`Collision::floor_top_16`].
pub fn floor_top_16(name: &str) -> Option<u8> {
    collision_class(name).floor_top_16()
}

// ---------------------------------------------------------------------------
// What a block does to a body that touches it (spec-0062 §3)
// ---------------------------------------------------------------------------

/// **The blocks vanilla hurts a body with**, in pinned Minecraft Java 1.21.11 —
/// bare ids, sorted, one authority.
///
/// Provenance is [`crate::metrics::Provenance::VanillaRule`] and the qualifier
/// matters: this repository has **not** measured a running server for every row.
/// The rule each row states is that standing in, on or against the block deals
/// damage to a player with no armour enchantment and no status effect, per the
/// Minecraft Wiki's own per-block pages for the pinned version (`Lava`, `Fire`,
/// `Soul Fire`, `Magma Block`, `Cactus`, `Sweet Berry Bush`, `Wither Rose`,
/// `Pointed Dripstone`, `Campfire`, `Soul Campfire`, `Powder Snow`).
///
/// It is a table of **signals**, not of hazards the engine models. Nothing here
/// kills anybody in a delve — the killing is a declared `lethal_volumes[]` box
/// and a `/damage` on the death edge. What this list answers is the one question
/// spec-0062 §3 asks: *would a player looking at this floor read it as dangerous
/// before they stood on it?* A block that hurts is a block that reads that way;
/// `minecraft:stone` is not, whatever a declaration claims.
///
/// Two rows never meet a cell a body can stand in, and they are in the list
/// deliberately rather than by oversight: `lava` and `powder_snow` are a fluid
/// and a body-swallowing block, so no walked cell holds either — but a killing
/// volume drawn one course under a lava surface is the ordinary lava lake, and
/// its declaration may say so.
pub const HURTING_BLOCKS_1_21_11: &[&str] = &[
    "minecraft:cactus",
    "minecraft:campfire",
    "minecraft:fire",
    "minecraft:lava",
    "minecraft:magma_block",
    "minecraft:pointed_dripstone",
    "minecraft:powder_snow",
    "minecraft:soul_campfire",
    "minecraft:soul_fire",
    "minecraft:sweet_berry_bush",
    "minecraft:wither_rose",
];

/// **Does this block state damage a body that meets it?** —
/// [`HURTING_BLOCKS_1_21_11`], asked of the bare id.
///
/// State-insensitive by construction, and the direction is the sound one for
/// what asks: a `campfire[lit=false]` is a cold campfire, but a rule that reads
/// a *signal* off the bytes wants the block a player recognises, and a player
/// reads a fire pit as a fire pit. The reverse error — accepting `stone` because
/// somebody wrote it in a `shown_by` — is the one this predicate exists to make
/// impossible.
/// The list is written the way a creator writes a block — namespaced, because
/// that is what a `shown_by` entry and a diagnostic's own printed set both are —
/// and matched the way every other classifier here matches, on the bare id. One
/// list, both readings.
#[must_use]
pub fn hurts_body(name: &str) -> bool {
    let bare = bare_id(name);
    HURTING_BLOCKS_1_21_11.iter().any(|id| bare_id(id) == bare)
}

#[cfg(test)]
mod tests {
    use super::*;

    /// The table in the module header, asserted row by row. Every other test here
    /// is a measurement of one block; this one is the RULE, and it is what reds if
    /// somebody decides a fence gate should seal or a fluid should hold a body up.
    #[test]
    fn the_rule_is_the_table() {
        let rows: &[(Collision, bool, bool, Option<u8>)] = &[
            (Collision::Air, true, false, None),
            (Collision::Thin(0), true, false, None),
            (Collision::Thin(6), true, false, None),
            (Collision::PartialFloor(8), false, true, Some(8)),
            (Collision::PartialFloor(15), false, true, Some(15)),
            (Collision::FullCube, false, true, Some(16)),
            (Collision::TallBarrier, false, false, None),
            (Collision::FenceGate, true, false, None),
            (Collision::Fluid, false, false, None),
        ];
        assert_eq!(rows.len(), 9, "the table lost a row");
        for &(class, passes, supports, top) in rows {
            assert_eq!(class.passes_body(), passes, "{class:?}: passes_body");
            assert_eq!(class.supports_body(), supports, "{class:?}: supports_body");
            assert_eq!(class.floor_top_16(), top, "{class:?}: floor_top_16");
        }
    }

    /// **A tuft of grass standing in the sea is not a floor.** Every id whose
    /// vanilla block brings its own water source answers [`Collision::Fluid`],
    /// so nothing stands on one and nothing walks through one — the same answer
    /// the water it replaced gave.
    ///
    /// Stated with its denominator, and with the neighbours that must NOT move:
    /// a dry tuft of the same shape is still a thin decoration a body steps
    /// over, and a coral fan carries its water as a `waterlogged` state that is
    /// read where states are read.
    #[test]
    fn a_block_that_brings_its_own_water_is_a_fluid_cell() {
        let submerged = [
            "minecraft:seagrass",
            "minecraft:tall_seagrass",
            "minecraft:kelp",
            "minecraft:kelp_plant",
            "minecraft:bubble_column",
        ];
        assert_eq!(submerged.len(), 5, "the class lost a member");
        for id in submerged {
            assert!(is_submerged_by_nature(id), "{id}");
            assert_eq!(collision_class(id), Collision::Fluid, "{id}");
            assert!(!passes_body(id), "{id}: a body does not walk through water");
            assert!(!supports_body(id), "{id}: a body does not stand on water");
        }
        // The dry members of the same no-collision plant class are unmoved.
        for id in [
            "minecraft:short_grass",
            "minecraft:fern",
            "minecraft:dead_bush",
        ] {
            assert!(!is_submerged_by_nature(id), "{id}");
            assert_eq!(collision_class(id), Collision::Thin(0), "{id}");
        }
        // And a waterlogged host block is still its host: a floor, not a sea.
        assert!(!is_submerged_by_nature(
            "minecraft:oak_stairs[waterlogged=true]"
        ));
        assert!(supports_body("minecraft:oak_stairs[waterlogged=true]"));
    }

    /// **The owner's case.** A torch, a candle, a carpet and a pressure plate are
    /// things a builder puts in a room she expects to walk across. Every one of
    /// them answered "full cube" before spec-0056 — the wall a body could not get
    /// past.
    #[test]
    fn a_torch_is_not_a_wall() {
        for id in [
            "minecraft:torch",
            "minecraft:wall_torch",
            "minecraft:soul_torch",
            "minecraft:soul_wall_torch",
            "minecraft:redstone_torch",
            "minecraft:redstone_wall_torch",
            "minecraft:white_candle",
            "minecraft:candle[candles=4,lit=true]",
            "minecraft:red_carpet",
            "minecraft:stone_pressure_plate",
            "minecraft:oak_pressure_plate",
            "minecraft:lever",
            "minecraft:stone_button",
            "minecraft:oak_sign",
            "minecraft:oak_wall_sign",
            "minecraft:white_wall_banner",
            "minecraft:rail",
            "minecraft:powered_rail",
            "minecraft:redstone_wire",
            "minecraft:flower_pot",
            "minecraft:potted_cactus",
            "minecraft:glow_lichen",
            "minecraft:snow[layers=1]",
            // Namespaceless spellings reach the same answer.
            "torch",
            "red_carpet",
        ] {
            assert!(passes_body(id), "a body must get past {id}");
            assert!(!supports_body(id), "and must not stand on {id}");
            assert!(collision_top_16(id) < THIN_HEIGHT_16, "{id} is not thin");
        }
    }

    /// The other direction: the conservative default is still a wall, and the
    /// no-collision blocks this module deliberately declines to admit are still
    /// walls. A green here that came from admitting everything would be no gate
    /// at all.
    #[test]
    fn the_conservative_default_still_refuses() {
        for id in [
            "minecraft:stone",
            "minecraft:oak_stairs[facing=north]",
            "minecraft:oak_door[half=lower]",
            "minecraft:ladder",
            "minecraft:chain",
            "minecraft:end_rod",
            "minecraft:iron_bars",
            // Empty collision in vanilla, refused here on purpose: a body that
            // passes through is not a body that may be routed through.
            "minecraft:fire",
            "minecraft:cobweb",
            "minecraft:nether_portal",
        ] {
            assert!(!passes_body(id), "{id} must still stop a body");
            assert_eq!(collision_class(id), Collision::FullCube, "{id}");
        }
    }

    /// Two classes that are neither passable nor floor, and one that is passable
    /// and not floor — the three rows the naive complement gets wrong.
    #[test]
    fn tall_barriers_gates_and_fluids_are_not_the_complement_of_each_other() {
        for fence in ["minecraft:oak_fence", "minecraft:cobblestone_wall"] {
            assert_eq!(collision_class(fence), Collision::TallBarrier, "{fence}");
            assert!(!passes_body(fence) && !supports_body(fence), "{fence}");
        }
        for gate in [
            "minecraft:oak_fence_gate",
            "minecraft:oak_fence_gate[open=false]",
        ] {
            assert_eq!(collision_class(gate), Collision::FenceGate, "{gate}");
            assert!(passes_body(gate) && !supports_body(gate), "{gate}");
        }
        for fluid in [
            "minecraft:water",
            "water[level=3]",
            "minecraft:lava",
            "lava",
        ] {
            assert_eq!(collision_class(fluid), Collision::Fluid, "{fluid}");
            assert!(!passes_body(fluid) && !supports_body(fluid), "{fluid}");
        }
        // A waterlogged block is its host block, and a body stands on it.
        let stair = "minecraft:oak_stairs[facing=north,waterlogged=true]";
        assert_eq!(collision_class(stair), Collision::FullCube);
        assert!(supports_body(stair));
    }

    /// State sensitivity: the same block id, two collision boxes. A model that
    /// dropped the state would answer one of each pair wrong.
    #[test]
    fn the_state_decides_the_height() {
        let cases: &[(&str, u8)] = &[
            ("minecraft:oak_slab", 8),
            ("minecraft:oak_slab[type=bottom]", 8),
            ("minecraft:oak_slab[type=top]", 16),
            ("minecraft:oak_slab[type=double]", 16),
            ("minecraft:snow", 0),
            ("minecraft:snow[layers=1]", 0),
            ("minecraft:snow[layers=5]", 8),
            ("minecraft:snow[layers=8]", 14),
            ("minecraft:red_carpet", 1),
            ("minecraft:moss_carpet", 1),
            ("minecraft:pale_moss_carpet", 0),
            ("minecraft:pale_moss_carpet[bottom=true]", 1),
            ("minecraft:dirt_path", 15),
            ("minecraft:farmland", 15),
            ("minecraft:stone", 16),
        ];
        for &(name, want) in cases {
            assert_eq!(collision_top_16(name), want, "{name}");
        }
        assert_eq!(
            floor_top_16("minecraft:oak_slab[type=bottom]"),
            Some(8),
            "a bottom slab is a floor at half height, not a full cube"
        );
        assert_eq!(
            floor_top_16("minecraft:snow[layers=5]"),
            Some(8),
            "a five-layer drift is a floor at half height"
        );
        assert_eq!(
            floor_top_16("minecraft:torch"),
            None,
            "nothing stands on a torch, so it has no floor height to read"
        );
    }

    /// A block whose name merely contains a class's name is not in that class.
    #[test]
    fn a_name_that_contains_a_class_is_not_in_it() {
        for id in [
            "minecraft:water_cauldron",
            "minecraft:lava_cauldron",
            "minecraft:torchflower",
            "minecraft:white_candle_cake",
        ] {
            assert!(!is_fluid(id), "{id}");
        }
        // `torchflower` is a plant with an empty collision box; it reaches that
        // answer through the plant class, not through the `_torch` suffix.
        assert!(is_no_collision_plant("torchflower"));
        assert!(!is_no_collision_fixture("torchflower"));
        // A candle CAKE is a cake: the jar's 14/16 cake box, not a 6/16 candle.
        assert_eq!(
            collision_class("minecraft:white_candle_cake"),
            Collision::PartialFloor(14)
        );
    }

    /// **The hurting-block set is the set spec-0062 §3 names, and it is spelled
    /// in ids the pinned game has** (spec-0062 criterion 2).
    ///
    /// Three assertions, and the third is the one that pins the table rather
    /// than restating it: every row resolves in the 1.21.11 block registry, so a
    /// typo or a renamed id is a red here instead of a `shown_by` nobody can
    /// satisfy. The denominator is stated because a list that silently lost a
    /// row would otherwise pass every membership assertion it still had.
    #[test]
    fn the_hurting_block_set_is_the_blocks_vanilla_hurts_with() {
        let named = [
            "minecraft:lava",
            "minecraft:fire",
            "minecraft:soul_fire",
            "minecraft:magma_block",
            "minecraft:cactus",
            "minecraft:sweet_berry_bush",
            "minecraft:wither_rose",
            "minecraft:pointed_dripstone",
            "minecraft:campfire",
            "minecraft:soul_campfire",
            "minecraft:powder_snow",
        ];
        assert_eq!(
            HURTING_BLOCKS_1_21_11.len(),
            named.len(),
            "the hurting-block table and spec-0062 §3 disagree about how many blocks vanilla \
             hurts a body with"
        );
        for id in named {
            assert!(hurts_body(id), "{id} is a block vanilla hurts a body with");
            // The bare spelling and a state suffix are the same block.
            assert!(hurts_body(bare_id(id)), "{id}, bare");
        }
        assert!(hurts_body("minecraft:campfire[lit=true]"));
        // The floor a player reads as safe, whatever a declaration claims.
        for id in [
            "minecraft:stone",
            "minecraft:air",
            "minecraft:oak_planks",
            "minecraft:water",
        ] {
            assert!(!hurts_body(id), "{id} shows a player nothing");
        }
        let registry = crate::blocks::BlockRegistry::v1_21_11();
        for id in HURTING_BLOCKS_1_21_11 {
            assert!(
                registry.properties(id).is_some(),
                "{id} is not a block of the pinned 1.21.11 registry"
            );
        }
        assert!(
            HURTING_BLOCKS_1_21_11.windows(2).all(|w| w[0] < w[1]),
            "the hurting-block table is not sorted, so its printed set is not deterministic"
        );
    }

    /// A lantern is two stacked boxes, not a cube: its cap tops out at 9/16
    /// standing and 10/16 hanging, for every lantern the pinned version has, and
    /// the full-cube lanterns that only share the name stay full cubes.
    #[test]
    fn a_lantern_is_a_partial_floor() {
        for id in [
            "minecraft:lantern",
            "minecraft:soul_lantern",
            "minecraft:copper_lantern",
            "minecraft:waxed_oxidized_copper_lantern",
        ] {
            assert!(!passes_body(id), "{id} still stops a body");
            assert_eq!(collision_top_16(id), 9, "{id}");
            assert_eq!(collision_class(id), Collision::PartialFloor(9), "{id}");
            assert_eq!(
                collision_top_16(&format!("{id}[hanging=true,waterlogged=false]")),
                10,
                "{id}"
            );
        }
        for id in ["minecraft:sea_lantern", "minecraft:jack_o_lantern"] {
            assert_eq!(collision_top_16(id), FULL_HEIGHT_16, "{id}");
        }
    }

    /// **A body stands on an upward dripstone tip 11/16 into its cell**, where
    /// the pinned jar's collision box tops out
    /// (`collision-tops-1.21.11.tsv`: `thickness=tip,vertical_direction=up`
    /// is `0..11`). The default state is that tip. Every other thickness, and a
    /// tip hanging down, reaches the cell top and stays a full height.
    #[test]
    fn a_dripstone_tip_is_a_partial_floor() {
        for id in [
            "minecraft:pointed_dripstone",
            "minecraft:pointed_dripstone[thickness=tip,vertical_direction=up]",
            "pointed_dripstone[thickness=tip,vertical_direction=up,waterlogged=true]",
        ] {
            assert_eq!(collision_top_16(id), 11, "{id}");
            assert_eq!(collision_class(id), Collision::PartialFloor(11), "{id}");
            assert!(!passes_body(id), "{id} still stops a body");
        }
        for id in [
            "minecraft:pointed_dripstone[thickness=tip,vertical_direction=down]",
            "minecraft:pointed_dripstone[thickness=base,vertical_direction=up]",
            "minecraft:pointed_dripstone[thickness=frustum,vertical_direction=up]",
            "minecraft:pointed_dripstone[thickness=middle,vertical_direction=up]",
            "minecraft:pointed_dripstone[thickness=tip_merge,vertical_direction=up]",
        ] {
            assert_eq!(collision_top_16(id), FULL_HEIGHT_16, "{id}");
        }
    }

    /// **Every height this module answers is the pinned jar's, or the full-cube
    /// default — and no block the jar gives a floor height is left a full cube.**
    ///
    /// Over every row of the measured table (each a blockstate class the jar's
    /// `getCollisionShape` answers one way), [`collision_top_16`] must either
    /// equal the measured top (0 for an empty box), or be 16. Where it is 16, the
    /// measured box must not be one a body stands on at a floor height — a box
    /// from the cell floor to a whole sixteenth in 8..15. That class is the
    /// defect this table closed: a dripstone tip modelled as a full block puts a
    /// body's feet a course above where vanilla puts them. Anything else the
    /// default keeps (an empty box this module refuses to route through, a
    /// sub-thin box, a box off the floor, a fence's 24) over-blocks, the
    /// direction this module's errors may run.
    #[test]
    fn every_height_is_the_jars_or_the_full_cube_default() {
        let mut judged = 0usize;
        let mut exact = 0usize;
        let mut bad: Vec<String> = Vec::new();
        let mut open_defect: Vec<String> = Vec::new();
        for (id, rows) in measured_rows() {
            for (props, extent) in rows {
                let state = if props.is_empty() {
                    id.clone()
                } else {
                    let kv: Vec<String> = props.iter().map(|(k, v)| format!("{k}={v}")).collect();
                    format!("{id}[{}]", kv.join(","))
                };
                judged += 1;
                let e = i32::from(collision_top_16(&state));
                let top = match extent.span {
                    None => Some(0),
                    Some((_, hi)) => hi.whole(),
                };
                if Some(e) == top {
                    exact += 1;
                    continue;
                }
                let floor_height = matches!(extent.span,
                    Some((lo, hi)) if lo.whole() == Some(0)
                        && hi.whole().is_some_and(|t| (8..16).contains(&t)));
                // An open defect, recorded rather than closed here: a wall
                // hanging sign's bracket is a 14..16 box at the cell top, and
                // the `_sign` fixture rule reads it as empty — the direction
                // that admits a step the game refuses. Named and counted, never
                // widened.
                if e == 0 && id.ends_with("_wall_hanging_sign") {
                    open_defect.push(state);
                    continue;
                }
                if e != i32::from(FULL_HEIGHT_16) || floor_height {
                    bad.push(format!("{state}: module {e}, jar {:?}", extent.span));
                }
            }
        }
        assert!(judged > 5000, "the table bound {judged} row(s)");
        assert!(
            bad.is_empty(),
            "{} of {judged} row(s) disagree: {bad:#?}",
            bad.len()
        );
        assert_eq!(
            open_defect.len(),
            12,
            "the wall-hanging-sign exception moved: {open_defect:#?}"
        );
        eprintln!(
            "collision heights: {judged} measured row(s), {exact} answered exactly, {} wall \
             hanging sign row(s) read as empty against a 14..16 bracket (open defect)",
            open_defect.len()
        );
    }

    /// The barriers a hand opens: every fence gate, door and trapdoor except the
    /// two iron ones.
    #[test]
    fn the_player_opens_wood_and_copper_and_not_iron() {
        for id in [
            "minecraft:oak_fence_gate[open=false]",
            "minecraft:spruce_door[half=lower]",
            "minecraft:copper_door",
            "minecraft:dark_oak_trapdoor",
            "minecraft:waxed_copper_trapdoor",
        ] {
            assert!(is_player_openable(id), "{id}");
        }
        for id in [
            "minecraft:iron_door",
            "minecraft:iron_trapdoor",
            "minecraft:oak_fence",
            "minecraft:iron_bars",
            "minecraft:stone",
        ] {
            assert!(!is_player_openable(id), "{id}");
        }
    }
}