Struct CategoryResolution 

pub struct CategoryResolution {
    pub unmapped: Vec<String>,
    pub default_applied: bool,
    pub explicit_policy: bool,
    pub board: String,
    /* private fields */
}

The built once-per-load derivation from column name to category (data-model.md §3).

Fields

unmapped: Vec<String>

Configured columns that resolved by the safe default rather than by an explicit mapping, in board order.

Recorded so a surface can report unmapped_column_default “where ambiguity matters”. A column silently defaulting is the thing the contract is most careful about, and it cannot be reported from the map alone.

default_applied: bool

Whether any column relied on the default. Lets a caller skip the diagnostic entirely on a fully-mapped board.

explicit_policy: bool

Whether the board declared a category_map, as opposed to resolving every column through the safe default.

WP03. This is the signal that separates a board whose author described its categories from one that never did, and it is what gates the terminal lock. Without it, WP01’s legacy reconciliation (done_column resolves to completed so completion detection works, FR-003) would silently hand every existing repository a transition policy it never configured: moving an issue back out of done would start failing on every board in the wild, and on the TUI there is no flag or key to override it with for two more work packages.

Deliberately distinct from Self::default_applied: a board may declare a category_map and still leave some columns to the default, so default_applied is “some column is unmapped” while this is “a map was written at all”. The lock is about intent, and intent is expressed by the presence of the section.

Note the consequence, since it is a real one: a legacy board gets the completion definition and the commit-clearing rule, but not the terminal lock. Those are different things — completion answers “is this done?”, the lock answers “may this move?” — and the contract treats them in different sections for that reason.

board: String

The board’s name, for diagnostics.

Implementations

impl CategoryResolution

pub fn resolve(&self, column: &str) -> Option<WorkflowCategory>

The category column resolves to, or None for a column this board does not configure.

A hash lookup. A caller that needs to distinguish “not configured” from “configured but defaulted” uses Self::unmapped.

pub fn columns(&self) -> impl Iterator<Item = &str>

Every column this board configures, in board order.

Reads Self::order, not by_column, so the sequence is the board’s own declaration order and is the same on every run (see the field’s note).

pub fn column_list(&self) -> String

The board’s columns joined for a message, in board order.

WP03. A unknown_column refusal is the one diagnostic a user reads to work out what to type instead, so it must list the valid columns. Rendering that list in one place keeps every unknown_column message agreeing on it.

pub fn has_completion(&self) -> bool

Whether any column resolves to completed.

Trait Implementations

impl Clone for CategoryResolution

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CategoryResolution

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for CategoryResolution

impl PartialEq for CategoryResolution

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for CategoryResolution