{"row":{"id":"ADR-130","title":"One vocabulary, one owner: the task-record twin dies, the resident's status projects the settlement, copied spellings are pinned","file":"adr-130-one-vocabulary-one-owner.md","status":"accepted","date":"2026-09-04","cites":5,"supersedes":[],"superseded_by":[],"layers":["L2","L3","L4"],"tags":["architecture","events","one-door","vocabulary"],"room":true},"pin":{"release_tag":"v0.118.7","commit":"f3a31a6ee00766e4b010379c535bca994631d637"}}

[{"k":"h","depth":1,"text":"ADR-130: One vocabulary, one owner","id":"adr-130-one-vocabulary-one-owner"},{"k":"h","depth":2,"text":"Context","id":"context"},{"k":"p","inline":[{"k":"text","text":"Three copies of one vocabulary survived ADR-128. "},{"k":"code","text":"nika-runtime-laws::compat_record"},{"k":"text","text":"\ntwinned "},{"k":"code","text":"nika-dataflow"},{"k":"text","text":"'s "},{"k":"code","text":"TaskStatus"},{"k":"text","text":" · "},{"k":"code","text":"TerminalCause"},{"k":"text","text":" · "},{"k":"code","text":"TaskErrorRecord"},{"k":"text","text":" ·\n"},{"k":"code","text":"TaskRecord"},{"k":"text","text":" with "},{"k":"code","text":"From"},{"k":"text","text":" conversions \"to preserve the historical source API\"\n— two enums with the same variants, a struct copied field by field, and a\nconversion at every "},{"k":"code","text":"RunOutcome"},{"k":"text","text":". The resident's "},{"k":"code","text":"JobStatus"},{"k":"text","text":" mapped the\nexecution disposition to its own words by hand. "},{"k":"code","text":"nika-tui-core"},{"k":"text","text":" folds the\njournal with string literals for the frame kinds and depends on nothing\nthat owns them — a rename on either side would fail nowhere."}]},{"k":"h","depth":2,"text":"Decision","id":"decision"},{"k":"list","ordered":true,"items":[[{"k":"strong","text":"The twin dies."},{"k":"text","text":" "},{"k":"code","text":"compat_record"},{"k":"text","text":" is deleted; "},{"k":"code","text":"nika_runtime::{TaskStatus, TerminalCause, TaskErrorRecord, TaskRecord, legal}"},{"k":"text","text":" are re-exports of\n"},{"k":"code","text":"nika-dataflow"},{"k":"text","text":", the owner. "},{"k":"code","text":"RunOutcome::records"},{"k":"text","text":" holds the owner's\nrecords; the conversion is gone."}],[{"k":"strong","text":"One mapping."},{"k":"text","text":" "},{"k":"code","text":"JobStatus: From<RunState>"},{"k":"text","text":" is the resident's only\nprojection of a run state; "},{"k":"code","text":"ExecutionDisposition: Into<RunState>"},{"k":"text","text":" names\nthe four states it can carry; "},{"k":"code","text":"JobStatus::run_state"},{"k":"text","text":" says which statuses\nare run states at all ("},{"k":"code","text":"queued"},{"k":"text","text":" · "},{"k":"code","text":"running"},{"k":"text","text":" · "},{"k":"code","text":"interrupted"},{"k":"text","text":" are the\njob's own — ownership and evidence, never a run state). The words are\nequal by construction and proven by a test."}],[{"k":"strong","text":"Copied spellings are pinned."},{"k":"text","text":" A crate that must not depend on the\nowner (the wasm-light "},{"k":"code","text":"nika-tui-core"},{"k":"text","text":") may copy a spelling only under a\ntest that compares the copy to the owner ("},{"k":"code","text":"tests/wire_pins.rs"},{"k":"text","text":" · a\ndev-dependency edge). The rule generalises to every repository: a\ncontract is AUTHORITATIVE, GENERATED, or PINNED by a gate — never a\nhand-written duplicate nothing checks."}]]},{"k":"h","depth":2,"text":"Consequences","id":"consequences"},{"k":"list","ordered":false,"items":[[{"k":"text","text":"Positive: one task vocabulary, one status projection, one pin per copy;\n"},{"k":"code","text":"nika-runtime-laws"},{"k":"text","text":" sheds a third of its lines."}],[{"k":"text","text":"Negative: "},{"k":"code","text":"nika_runtime::TaskStatus"},{"k":"text","text":" and "},{"k":"code","text":"TerminalCause"},{"k":"text","text":" are now\n"},{"k":"code","text":"#[non_exhaustive]"},{"k":"text","text":" (the owner's contract): an exhaustive match outside\nthe crate needs a wildcard arm."}],[{"k":"text","text":"Follow-ups: the SDK's types (generated · ADR follows F9); the teardown's\noutcome word."}]]},{"k":"h","depth":2,"text":"Alternatives considered","id":"alternatives-considered"},{"k":"list","ordered":false,"items":[[{"k":"text","text":"Keeping the twin for source compatibility: rejected — no external\nconsumer exists (the runtime crates are "},{"k":"code","text":"publish = false"},{"k":"text","text":"), and a twin\nnothing needs is the drift the program exists to remove."}],[{"k":"text","text":"A "},{"k":"code","text":"nika-wire"},{"k":"text","text":" crate: rejected as in ADR-128."}]]}]

ADR-130

One vocabulary, one owner: the task-record twin dies, the resident's status projects the settlement, copied spellings are pinned

accepted · 2026-09-04 · L2 L3 L4 · cites 5

ADR-130: One vocabulary, one owner #

Context #

Three copies of one vocabulary survived ADR-128. nika-runtime-laws::compat_record twinned nika-dataflow's TaskStatus · TerminalCause · TaskErrorRecord · TaskRecord with From conversions "to preserve the historical source API" — two enums with the same variants, a struct copied field by field, and a conversion at every RunOutcome. The resident's JobStatus mapped the execution disposition to its own words by hand. nika-tui-core folds the journal with string literals for the frame kinds and depends on nothing that owns them — a rename on either side would fail nowhere.

Decision #

The twin dies. compat_record is deleted; nika_runtime::{TaskStatus, TerminalCause, TaskErrorRecord, TaskRecord, legal} are re-exports of nika-dataflow, the owner. RunOutcome::records holds the owner's records; the conversion is gone.
One mapping. JobStatus: From<RunState> is the resident's only projection of a run state; ExecutionDisposition: Into<RunState> names the four states it can carry; JobStatus::run_state says which statuses are run states at all (queued · running · interrupted are the job's own — ownership and evidence, never a run state). The words are equal by construction and proven by a test.
Copied spellings are pinned. A crate that must not depend on the owner (the wasm-light nika-tui-core) may copy a spelling only under a test that compares the copy to the owner (tests/wire_pins.rs · a dev-dependency edge). The rule generalises to every repository: a contract is AUTHORITATIVE, GENERATED, or PINNED by a gate — never a hand-written duplicate nothing checks.

Consequences #

Positive: one task vocabulary, one status projection, one pin per copy; nika-runtime-laws sheds a third of its lines.
Negative: nika_runtime::TaskStatus and TerminalCause are now #[non_exhaustive] (the owner's contract): an exhaustive match outside the crate needs a wildcard arm.
Follow-ups: the SDK's types (generated · ADR follows F9); the teardown's outcome word.

Alternatives considered #

Keeping the twin for source compatibility: rejected — no external consumer exists (the runtime crates are publish = false), and a twin nothing needs is the drift the program exists to remove.
A nika-wire crate: rejected as in ADR-128.

read at v0.118.7 · the decision record ships with the engine

Every decision, with its status This one in the repo