pub struct ResolutionAxis {
pub condition_section: String,
pub status_field: Option<String>,
pub open_values: Vec<String>,
pub check_kind: Option<String>,
}Expand description
A type’s declared due axis (first-author-path plan 08): which
of its fields carry deadline semantics, so the engine’s due-brief
(memstead due) can render “what is due next” without knowing any
domain vocabulary. Validated at schema load: date_field must be
a date-typed metadata field of the type, status_field an
enum-typed one, every open_values entry a member of that enum,
and lead_section (optional — rendered as “what must happen
first”) a declared section key. The axis is rendering-only: it
never enforces anything (constraints own enforcement) and the
engine never advances a date (the agent loop is the runtime).
A type’s declared resolution condition (backlog-decisions plan
B5, Plenum finding 23): the section in which an open entity states
what would resolve it, and the check kind under which that condition
counts as checked. With it the open_questions health axis answers
two questions without reading prose: which open entities have no
condition written (resolution_missing), and which have one nobody
has checked (resolution_unchecked, from the check ledger). The
declaration is a reading, not a rule: the write path refuses nothing
new, the section’s own required flag stays the author’s choice, and
the engine never judges whether a condition is well-formed. Validated
at schema load: condition_section must name a declared section;
status_field (optional) an enum-typed metadata field with every
open_values entry in its enum, and without it every entity of the
type counts as open; check_kind (optional, default verification)
an engine kind or a well-formed x- kind.
Fields§
§condition_section: StringThe section where an open entity states what would resolve it.
status_field: Option<String>Enum-typed metadata field whose value says whether the entity is still open; absent means every entity of the type is open.
open_values: Vec<String>The status_field values under which the entity is open.
check_kind: Option<String>The check kind that counts as having checked the condition:
verification (default), conformance, or an x-<name> kind.
Trait Implementations§
Source§impl Clone for ResolutionAxis
impl Clone for ResolutionAxis
Source§fn clone(&self) -> ResolutionAxis
fn clone(&self) -> ResolutionAxis
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for ResolutionAxis
impl Debug for ResolutionAxis
Source§impl<'de> Deserialize<'de> for ResolutionAxis
impl<'de> Deserialize<'de> for ResolutionAxis
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Source§impl JsonSchema for ResolutionAxis
impl JsonSchema for ResolutionAxis
Source§fn schema_id() -> Cow<'static, str>
fn schema_id() -> Cow<'static, str>
Source§fn json_schema(generator: &mut SchemaGenerator) -> Schema
fn json_schema(generator: &mut SchemaGenerator) -> Schema
Source§fn inline_schema() -> bool
fn inline_schema() -> bool
$ref keyword. Read more