{"row":{"id":"ADR-087","title":"nika:sleep + nika:wait_until → nika:wait · temporal-control Rams collapse","file":"adr-087-nika-wait-temporal-collapse.md","status":"accepted","date":"2026-05-27","cites":8,"supersedes":[],"superseded_by":[],"layers":["L0"],"tags":["nika-catalog","nika-schema","stdlib","builtins"],"room":true},"pin":{"release_tag":"v0.107.0","commit":"5d61b7e13f1f6a10c17414f61146648f76bcf2bd"}}

[{"k":"h","depth":1,"text":"ADR-087 · nika:sleep + nika:wait_until → nika:wait","id":"adr-087--nikasleep--nikawait_until--nikawait"},{"k":"h","depth":2,"text":"Context","id":"context"},{"k":"p","inline":[{"k":"text","text":"Operator-led Rams audit 2026-05-27 of the canonical builtin set\nidentified "},{"k":"code","text":"nika:sleep"},{"k":"text","text":" and "},{"k":"code","text":"nika:wait_until"},{"k":"text","text":" as two temporal-control\nprimitives with overlapping semantics ·"}]},{"k":"list","ordered":false,"items":[[{"k":"code","text":"nika:sleep"},{"k":"text","text":" · pause for a "},{"k":"strong","text":"relative"},{"k":"text","text":" duration (Go-duration string ·\n"},{"k":"code","text":"\"5s\""},{"k":"text","text":" · "},{"k":"code","text":"\"30m\""},{"k":"text","text":" · ...). Trust PURE."}],[{"k":"code","text":"nika:wait_until"},{"k":"text","text":" · pause until an "},{"k":"strong","text":"absolute"},{"k":"text","text":" ISO 8601 timestamp.\nTrust PURE."}]]},{"k":"p","inline":[{"k":"text","text":"Operator verbatim · « "},{"k":"code","text":"nika:wait_until"},{"k":"text","text":" ça pourra pas être le sleep\naussi ? ». The answer is structural · BOTH are « temporal pause »\noperations · same trust class · same semantic family · the split was\nhistorical (separate names · separate args) not architectural (the\noperation is the same · just relative vs absolute mode)."}]},{"k":"p","inline":[{"k":"text","text":"Per « less but better » Rams principle + the canonical « one super-\npowerful builtin · multi-mode args » pattern established by ADR-086\n(convert) + fetch+extract + jq subsumption · ADR-087 unifies the two\ntemporal builtins into a single "},{"k":"code","text":"nika:wait"},{"k":"text","text":"."}]},{"k":"h","depth":2,"text":"Decision","id":"decision"},{"k":"p","inline":[{"k":"code","text":"nika:sleep"},{"k":"text","text":" and "},{"k":"code","text":"nika:wait_until"},{"k":"text","text":" removed · "},{"k":"code","text":"nika:wait"},{"k":"text","text":" adopted as\nunified temporal-control builtin."}]},{"k":"h","depth":3,"text":"`nika:wait` surface","id":"nikawait-surface"},{"k":"code","lang":"yaml","text":"invoke:\n  tool: \"nika:wait\"\n  args:\n    duration: \"5s\"                   # RELATIVE · Go-duration string (\"500ms\"/\"30s\"/\"5m\"/\"1h30m\")\n    # OR (mutually exclusive · exactly-one-of) ·\n    until: \"2026-05-23T09:00:00Z\"    # ABSOLUTE · ISO 8601 timestamp · MAY be CEL expression\n    timeout: \"1h\"                    # OPTIONAL · cap for absolute wait (until: only)"},{"k":"h","depth":3,"text":"Mode semantics","id":"mode-semantics"},{"k":"list","ordered":false,"items":[[{"k":"code","text":"duration:"},{"k":"text","text":" mode · relative pause (sleep equivalent). Engine parses\nGo-duration string (\"500ms\" · \"30s\" · \"5m\" · \"1h30m\") · validates non-\nnegative · returns no value (side-effect timer)."}],[{"k":"code","text":"until:"},{"k":"text","text":" mode · absolute pause (wait_until equivalent). Engine parses\nISO 8601 timestamp (with timezone · or assumes UTC if naive) · MAY be a\nCEL "},{"k":"code","text":"\u0024{{ }}"},{"k":"text","text":" expression · "},{"k":"code","text":"timeout:"},{"k":"text","text":" caps the wait duration."}]]},{"k":"h","depth":3,"text":"Exactly-one-of validation","id":"exactly-one-of-validation"},{"k":"p","inline":[{"k":"text","text":"Parse-time check · the builtin args MUST set exactly one of "},{"k":"code","text":"duration:"},{"k":"text","text":"\nor "},{"k":"code","text":"until:"},{"k":"text","text":". Both set OR neither set = "},{"k":"code","text":"NIKA-BUILTIN-WAIT-003"},{"k":"text","text":" error."}]},{"k":"h","depth":3,"text":"Error codes","id":"error-codes"},{"k":"list","ordered":false,"items":[[{"k":"code","text":"NIKA-BUILTIN-WAIT-001"},{"k":"text","text":" · absolute timeout exceeded (only when "},{"k":"code","text":"until:"},{"k":"text","text":")"}],[{"k":"code","text":"NIKA-BUILTIN-WAIT-002"},{"k":"text","text":" · timestamp in past (only when "},{"k":"code","text":"until:"},{"k":"text","text":")"}],[{"k":"code","text":"NIKA-BUILTIN-WAIT-003"},{"k":"text","text":" · NEW · neither "},{"k":"code","text":"duration:"},{"k":"text","text":" nor "},{"k":"code","text":"until:"},{"k":"text","text":" set OR\nboth set (exactly-one-of violation)"}]]},{"k":"h","depth":3,"text":"Engine catalog mutation","id":"engine-catalog-mutation"},{"k":"p","inline":[{"k":"code","text":"nika-catalog::ALL_BUILTINS"},{"k":"text","text":" ·"}]},{"k":"list","ordered":false,"items":[[{"k":"text","text":"DELETE 2 entries · "},{"k":"code","text":"Builtin { name: \"sleep\", category: Core }"},{"k":"text","text":" ·\n"},{"k":"code","text":"Builtin { name: \"wait_until\", category: Core }"}],[{"k":"text","text":"INSERT 1 entry (alphabetical · between "},{"k":"code","text":"validate"},{"k":"text","text":" and "},{"k":"code","text":"write"},{"k":"text","text":") ·\n"},{"k":"code","text":"Builtin { name: \"wait\", category: Core }"}]]},{"k":"p","inline":[{"k":"text","text":"Sort invariant preserved · "},{"k":"code","text":"wait"},{"k":"text","text":" < "},{"k":"code","text":"write"},{"k":"text","text":" ("},{"k":"code","text":"a"},{"k":"text","text":" < "},{"k":"code","text":"r"},{"k":"text","text":") · "},{"k":"code","text":"wait"},{"k":"text","text":" >\n"},{"k":"code","text":"validate"},{"k":"text","text":" ("},{"k":"code","text":"v"},{"k":"text","text":" < "},{"k":"code","text":"w"},{"k":"text","text":"). Total · 26 → "},{"k":"strong","text":"25"},{"k":"text","text":". Core category · 7 → "},{"k":"strong","text":"6"},{"k":"text","text":"."}]},{"k":"h","depth":3,"text":"Engine trust.rs mutation","id":"engine-trustrs-mutation"},{"k":"p","inline":[{"k":"code","text":"TRUST_PURE_BUILTINS"},{"k":"text","text":" list ·"}]},{"k":"list","ordered":false,"items":[[{"k":"text","text":"DELETE "},{"k":"code","text":"\"nika:sleep\""},{"k":"text","text":" + "},{"k":"code","text":"\"nika:wait_until\""}],[{"k":"text","text":"INSERT "},{"k":"code","text":"\"nika:wait\""}]]},{"k":"p","inline":[{"k":"text","text":"Trust class unchanged (both were PURE · wait stays PURE · pure\ncontrol-flow timer · no I/O · no data flow). Total PURE 14 → "},{"k":"strong","text":"13"},{"k":"text","text":"."}]},{"k":"h","depth":3,"text":"Engine codegen.rs mutation (ADR-085 no-drift gate)","id":"engine-codegenrs-mutation-adr-085-no-drift-gate"},{"k":"list","ordered":false,"items":[[{"k":"code","text":"enum_excludes_legacy_post_d_n6"},{"k":"text","text":" · ADD "},{"k":"code","text":"\"nika:sleep\""},{"k":"text","text":" + "},{"k":"code","text":"\"nika:wait_until\""},{"k":"text","text":"\nto legacy exclusion list (6 → 8 legacy names guarded)."}],[{"k":"code","text":"enum_includes_canonical_anchors"},{"k":"text","text":" · "},{"k":"code","text":"\"nika:sleep\""},{"k":"text","text":" → "},{"k":"code","text":"\"nika:wait\""},{"k":"text","text":" (the\ncanonical-anchor sentinel for Core category)."}],[{"k":"code","text":"enum_has_26_entries"},{"k":"text","text":" → "},{"k":"code","text":"enum_has_25_entries"},{"k":"text","text":"."}]]},{"k":"h","depth":3,"text":"Engine catalog test mutations","id":"engine-catalog-test-mutations"},{"k":"list","ordered":false,"items":[[{"k":"code","text":"builtin_count"},{"k":"text","text":" · 26 → 25"}],[{"k":"code","text":"category_counts"},{"k":"text","text":" · Core 7 → 6 · total 25"}],[{"k":"code","text":"find_known_builtins"},{"k":"text","text":" · sleep → wait sentinel"}],[{"k":"code","text":"is_known_builtin_works"},{"k":"text","text":" · sleep is now legacy (not categorized) · wait\nis the canonical · ADD sleep + wait_until to negative-assertion list"}]]},{"k":"h","depth":3,"text":"Spec mutation (companion · nika/spec submodule `8372ca2`)","id":"spec-mutation-companion--nikaspec-submodule-8372ca2"},{"k":"list","ordered":false,"items":[[{"k":"code","text":"nika/spec/stdlib/builtins-v0.1.md"},{"k":"text","text":" · §0 + §1 Core count 26 → 25 · 7 →\n6 · §3 Core section DELETE sleep + wait_until subsections · ADD wait\nsubsection with full duration:/until:/timeout: API · 3 error codes\ndocumented."}],[{"k":"code","text":"nika/spec/schemas/workflow.schema.json"},{"k":"text","text":" · invoke.tool oneOf nika\nbranch enum · DELETE 2 entries · ADD 1 · 26 → 25 · description string\nupdated (Core 7 → 6)."}],[{"k":"code","text":"nika/spec/spec/06-stdlib-contract.md"},{"k":"text","text":" · enumeration line + total\nupdated · sleep + wait_until merge cited."}]]},{"k":"h","depth":2,"text":"Consequences","id":"consequences"},{"k":"h","depth":3,"text":"Positive","id":"positive"},{"k":"list","ordered":false,"items":[[{"k":"strong","text":"Symmetry signal extends"},{"k":"text","text":" · same « one super-powerful builtin · multi-\nmode args » canonical pattern now realized at 4 distinct layers ·\nHTTP (fetch+extract) · data transform (jq subsumption) · format\nconversion (convert) · temporal control (wait). Cookbook authors +\nLSP consumers get consistent cognitive surface."}],[{"k":"strong","text":"Unified parse-time validation"},{"k":"text","text":" · the exactly-one-of check is a\nsingle canonical surface · the prior split required the engine to\nunderstand TWO trust paths + TWO arg shapes for what was always one\nfamily."}],[{"k":"strong","text":"Trust class preserved"},{"k":"text","text":" · both were PURE · wait stays PURE · zero\nsecurity regression."}],[{"k":"strong","text":"No-drift gate auto-validates"},{"k":"text","text":" · ADR-085 codegen.rs test\n"},{"k":"code","text":"enum_matches_catalog_one_to_one"},{"k":"text","text":" AUTO-detects the spec ↔ engine\nparity · the rename propagates automatically through\n"},{"k":"code","text":"nika_builtin_tool_enum_schema()"},{"k":"text","text":" since it reads ALL_BUILTINS at call\ntime."}]]},{"k":"h","depth":3,"text":"Negative","id":"negative"},{"k":"list","ordered":false,"items":[[{"k":"strong","text":"Public API breaking"},{"k":"text","text":" · existing workflows using "},{"k":"code","text":"tool: nika:sleep"},{"k":"text","text":"\nOR "},{"k":"code","text":"tool: nika:wait_until"},{"k":"text","text":" fail against the spec-25 closed enum +\n"},{"k":"code","text":"is_known_builtin"},{"k":"text","text":" returns false for both. Acceptable per ADR-002\n(amended D-2026-06-20-N1 · real semver toward 1.0 · pre-1.0 breakage OK ·\nNUKE-LEGACY · git is the archive · zero deprecation alias)."},{"k":"text","text":"- Mitigation · spec is pre-v1.0 GA · cookbook adoption is early ·\n  breakage cost ≈ 0 today.\n- Mitigation · the trust.rs `legacy_builtins_unknown_post_d_n6` test\n  extends with both legacy names · fail-closed regression guard."}],[{"k":"strong","text":"New error code"},{"k":"text","text":" · NIKA-BUILTIN-WAIT-003 (exactly-one-of) is new ·\ndocumented in the spec error namespace · engine impl gates on the L2\nnika-builtin admission (future)."}]]},{"k":"h","depth":3,"text":"Neutral","id":"neutral"},{"k":"list","ordered":false,"items":[[{"k":"strong","text":"Tests · +2 net new legacy guards"},{"k":"text","text":" in trust.rs +  +2 in codegen.rs ·\nexisting 6 conformance tests + 2 spec-25 gates stay GREEN (renamed ·\ntotal counts asserted)."}],[{"k":"strong","text":"L0 layer constraint preserved"},{"k":"text","text":" · pure data + pure test mutation ·\nzero L0 violation."}],[{"k":"strong","text":"TTL graph projection"},{"k":"text","text":" · monorepo "},{"k":"code","text":"nika-language-v1.ttl"},{"k":"text","text":" updates ·\n4 sleep refs + 4 wait_until refs → 4 wait refs (instance · family\nmember-list · raises arc · invokedBy arc) · count 26 → 25 in family\nlist."}]]},{"k":"h","depth":2,"text":"Alternatives considered","id":"alternatives-considered"},{"k":"h","depth":3,"text":"A · Keep both builtins · accept the duplication","id":"a--keep-both-builtins--accept-the-duplication"},{"k":"p","inline":[{"k":"text","text":"REJECTED · the operator-led directive is explicit (« faut pas hésiter à\naméliorer · réunir · Rams ») · the temporal duplication is the\ncanonical « less but better » anti-pattern · keeping it leaves the\nsymmetry signal incomplete (3-of-4 canonical layers Rams'd · skipping\nthis layer is structural inconsistency)."}]},{"k":"h","depth":3,"text":"B · Two flat builtins with shared trust list","id":"b--two-flat-builtins-with-shared-trust-list"},{"k":"p","inline":[{"k":"text","text":"REJECTED · doesn't address the operator's directive · just shuffles\nthe trust.rs list without consolidating the builtin surface · cookbook\nauthors still need to choose sleep vs wait_until · cognitive load\nunchanged."}]},{"k":"h","depth":3,"text":"C · `nika:wait` with mode discriminator field (mode: \"relative\"|\"absolute\")","id":"c--nikawait-with-mode-discriminator-field-mode-relativeabsolute"},{"k":"p","inline":[{"k":"text","text":"REJECTED · adds redundant ceremony · the discriminator is already\nimplicit in WHICH arg is present ("},{"k":"code","text":"duration:"},{"k":"text","text":" ↔ relative · "},{"k":"code","text":"until:"},{"k":"text","text":" ↔\nabsolute) · the exactly-one-of check is the cleaner self-documenting\nsurface. Operator-facing prose just says « set duration OR until »."}]},{"k":"h","depth":2,"text":"Gate verification","id":"gate-verification"},{"k":"p","inline":[{"k":"text","text":"Per ADR-084/086 precedent (data refactor not crate admission · 12-gate\nreduces to applicable gates) ·"}]},{"k":"list","ordered":false,"items":[[{"k":"text","text":"✅ Gate 2 TDD · trust.rs + codegen.rs tests updated · 226 nika-catalog"},{"k":"text","text":"+ 205 nika-schema lib tests GREEN."}],[{"k":"text","text":"✅ Gate 3 IMPL · "},{"k":"code","text":"cargo check --workspace"},{"k":"text","text":" GREEN."}],[{"k":"text","text":"✅ Gate 4 CLIPPY · "},{"k":"code","text":"cargo clippy --workspace --all-targets -- -D warnings"},{"k":"text","text":" 0 warnings."}],[{"k":"text","text":"✅ Gate 8 DOCS · "},{"k":"code","text":"cargo doc --no-deps -p nika-catalog -p nika-schema"},{"k":"text","text":"\n0 warnings."}],[{"k":"text","text":"✅ Gate 12 ATOMIC · single engine commit + single monorepo bump."}],[{"k":"code","text":"cargo fmt --check"},{"k":"text","text":" GREEN (post auto-fmt)."}],[{"k":"code","text":"cargo deny check"},{"k":"text","text":" advisories+bans+licenses+sources ok (no new deps)."}],[{"k":"text","text":"Gates 1 / 5 / 6 / 7 / 9 / 10 / 11 · N/A for data refactor."}]]},{"k":"h","depth":2,"text":"Future Rams ratchets (trigger-gated)","id":"future-rams-ratchets-trigger-gated"},{"k":"p","inline":[{"k":"text","text":"Remaining from the operator-led 26-set audit ·"}]},{"k":"list","ordered":true,"items":[[{"k":"strong","text":"ADR-088 · `nika:inspect`"},{"k":"text","text":" · collapse 4 introspection builtins\n(cost · records · dag_info · threads) into one with "},{"k":"code","text":"view:"},{"k":"text","text":" enum.\nNet 25 → 22. Trigger · workflow.schema.json oneOf vs untyped design\ndecision (return-shape heterogeneity)."}],[{"k":"strong","text":"ADR-089 · `nika:json_diff` jq-subsume feasibility"},{"k":"text","text":" · jq CAN\nexpress diff (recipe documented internally) but loses RFC-6902\nPatch output format. Trigger · cookbook adoption of jq-diff recipe"},{"k":"text","text":"+ operator preference signal."}]]},{"k":"p","inline":[{"k":"text","text":"When all land · 25 → ~21 collapse. Same "},{"k":"code","text":"nika: v1"},{"k":"text","text":" envelope · forever-\nv0.x discipline."}]},{"k":"h","depth":2,"text":"Companion artefacts","id":"companion-artefacts"},{"k":"list","ordered":false,"items":[[{"k":"code","text":"nika-catalog/src/data/builtins.rs"},{"k":"text","text":" · ALL_BUILTINS · DELETE 2 ·\nINSERT 1 · 26 → 25 · test counts adjusted."}],[{"k":"code","text":"nika-catalog/src/types/builtin.rs"},{"k":"text","text":" · BuiltinCategory Core doc-comment\nrefreshed ("},{"k":"code","text":"log · emit · assert · prompt · done · wait"},{"k":"text","text":" · 7 → 6)."}],[{"k":"code","text":"nika-catalog/src/lib.rs"},{"k":"text","text":" · "},{"k":"code","text":"all_builtins_non_empty"},{"k":"text","text":" test 26 → 25."}],[{"k":"code","text":"nika-schema/src/trust.rs"},{"k":"text","text":" · TRUST_PURE_BUILTINS rename + legacy\nexclusion test extended +sleep +wait_until + "},{"k":"code","text":"category_totals_match_ spec_26"},{"k":"text","text":" → "},{"k":"code","text":"_25"},{"k":"text","text":"."}],[{"k":"code","text":"nika-schema/src/codegen.rs"},{"k":"text","text":" · "},{"k":"code","text":"enum_has_26_entries"},{"k":"text","text":" → "},{"k":"code","text":"_25_entries"},{"k":"text","text":" +\n"},{"k":"code","text":"enum_includes_canonical_anchors"},{"k":"text","text":" sleep → wait + "},{"k":"code","text":"enum_excludes_legacy_ post_d_n6"},{"k":"text","text":" extended."}],[{"k":"code","text":"nika/spec/stdlib/builtins-v0.1.md"},{"k":"text","text":" (submodule "},{"k":"code","text":"8372ca2"},{"k":"text","text":") · sleep +\nwait_until sections deleted · wait section added · counts updated."}],[{"k":"code","text":"nika/spec/schemas/workflow.schema.json"},{"k":"text","text":" (same submodule commit) ·\ninvoke.tool oneOf nika branch enum 26 → 25."}],[{"k":"code","text":"nika/spec/spec/06-stdlib-contract.md"},{"k":"text","text":" (same submodule commit) ·\nenumeration + total updated."}]]},{"k":"h","depth":2,"text":"References","id":"references"},{"k":"list","ordered":false,"items":[[{"k":"text","text":"ADR-086 · csv_to_json → convert (prerequisite · same Rams sweep)"}],[{"k":"text","text":"ADR-085 · spec workflow.schema.json oneOf bridge (no-drift gate)"}],[{"k":"text","text":"ADR-084 · nika-catalog reconciliation to spec 26 (foundation)"}],[{"k":"text","text":"ADR-082 · envelope "},{"k":"code","text":"nika: v1"},{"k":"text","text":" single-version-marker"}],[{"k":"text","text":"Internal · LOCK-031 trigger-gated discipline (no infra behind locked\ngate · ADR-088 + ADR-089 deferred)"}],[{"k":"text","text":"Internal · cross-source-validation §2.6 Signal 7 (verify-the-auditor)"}],[{"k":"text","text":"Internal · no-legacy-no-back-compat Class 2 (git is the archive)"}]]},{"k":"p","inline":[{"k":"text","text":"🦋"}]}]

ADR-087

nika:sleep + nika:wait_until → nika:wait · temporal-control Rams collapse

accepted · 2026-05-27 · L0 · cites 8

ADR-087 · nika:sleep + nika:wait_until → nika:wait #

Context #

Operator-led Rams audit 2026-05-27 of the canonical builtin set identified nika:sleep and nika:wait_until as two temporal-control primitives with overlapping semantics ·

nika:sleep · pause for a relative duration (Go-duration string · "5s" · "30m" · ...). Trust PURE.
nika:wait_until · pause until an absolute ISO 8601 timestamp. Trust PURE.

Operator verbatim · « nika:wait_until ça pourra pas être le sleep aussi ? ». The answer is structural · BOTH are « temporal pause » operations · same trust class · same semantic family · the split was historical (separate names · separate args) not architectural (the operation is the same · just relative vs absolute mode).

Per « less but better » Rams principle + the canonical « one super- powerful builtin · multi-mode args » pattern established by ADR-086 (convert) + fetch+extract + jq subsumption · ADR-087 unifies the two temporal builtins into a single nika:wait.

Decision #

nika:sleep and nika:wait_until removed · nika:wait adopted as unified temporal-control builtin.

`nika:wait` surface #

yaml

1◆invoke:2  tool: "nika:wait"3  args:4    duration: "5s"                   # RELATIVE · Go-duration string ("500ms"/"30s"/"5m"/"1h30m")5    # OR (mutually exclusive · exactly-one-of) ·6    until: "2026-05-23T09:00:00Z"    # ABSOLUTE · ISO 8601 timestamp · MAY be CEL expression7    timeout: "1h"                    # OPTIONAL · cap for absolute wait (until: only)

Mode semantics #

duration: mode · relative pause (sleep equivalent). Engine parses Go-duration string ("500ms" · "30s" · "5m" · "1h30m") · validates non- negative · returns no value (side-effect timer).
until: mode · absolute pause (wait_until equivalent). Engine parses ISO 8601 timestamp (with timezone · or assumes UTC if naive) · MAY be a CEL ${{ }} expression · timeout: caps the wait duration.

Exactly-one-of validation #

Parse-time check · the builtin args MUST set exactly one of duration: or until:. Both set OR neither set = NIKA-BUILTIN-WAIT-003 error.

Error codes #

NIKA-BUILTIN-WAIT-001 · absolute timeout exceeded (only when until:)
NIKA-BUILTIN-WAIT-002 · timestamp in past (only when until:)
NIKA-BUILTIN-WAIT-003 · NEW · neither duration: nor until: set OR both set (exactly-one-of violation)

Engine catalog mutation #

nika-catalog::ALL_BUILTINS ·

DELETE 2 entries · Builtin { name: "sleep", category: Core } · Builtin { name: "wait_until", category: Core }
INSERT 1 entry (alphabetical · between validate and write) · Builtin { name: "wait", category: Core }

Sort invariant preserved · wait < write (a < r) · wait > validate (v < w). Total · 26 → 25. Core category · 7 → 6.

Engine trust.rs mutation #

TRUST_PURE_BUILTINS list ·

DELETE "nika:sleep" + "nika:wait_until"
INSERT "nika:wait"

Trust class unchanged (both were PURE · wait stays PURE · pure control-flow timer · no I/O · no data flow). Total PURE 14 → 13.

Engine codegen.rs mutation (ADR-085 no-drift gate) #

enum_excludes_legacy_post_d_n6 · ADD "nika:sleep" + "nika:wait_until" to legacy exclusion list (6 → 8 legacy names guarded).
enum_includes_canonical_anchors · "nika:sleep" → "nika:wait" (the canonical-anchor sentinel for Core category).
enum_has_26_entries → enum_has_25_entries.

Engine catalog test mutations #

builtin_count · 26 → 25
category_counts · Core 7 → 6 · total 25
find_known_builtins · sleep → wait sentinel
is_known_builtin_works · sleep is now legacy (not categorized) · wait is the canonical · ADD sleep + wait_until to negative-assertion list

Spec mutation (companion · nika/spec submodule `8372ca2`) #

nika/spec/stdlib/builtins-v0.1.md · §0 + §1 Core count 26 → 25 · 7 → 6 · §3 Core section DELETE sleep + wait_until subsections · ADD wait subsection with full duration:/until:/timeout: API · 3 error codes documented.
nika/spec/schemas/workflow.schema.json · invoke.tool oneOf nika branch enum · DELETE 2 entries · ADD 1 · 26 → 25 · description string updated (Core 7 → 6).
nika/spec/spec/06-stdlib-contract.md · enumeration line + total updated · sleep + wait_until merge cited.

Consequences #

Positive #

Symmetry signal extends · same « one super-powerful builtin · multi- mode args » canonical pattern now realized at 4 distinct layers · HTTP (fetch+extract) · data transform (jq subsumption) · format conversion (convert) · temporal control (wait). Cookbook authors + LSP consumers get consistent cognitive surface.
Unified parse-time validation · the exactly-one-of check is a single canonical surface · the prior split required the engine to understand TWO trust paths + TWO arg shapes for what was always one family.
Trust class preserved · both were PURE · wait stays PURE · zero security regression.
No-drift gate auto-validates · ADR-085 codegen.rs test enum_matches_catalog_one_to_one AUTO-detects the spec ↔ engine parity · the rename propagates automatically through nika_builtin_tool_enum_schema() since it reads ALL_BUILTINS at call time.

Negative #

Public API breaking · existing workflows using tool: nika:sleep OR tool: nika:wait_until fail against the spec-25 closed enum + is_known_builtin returns false for both. Acceptable per ADR-002 (amended D-2026-06-20-N1 · real semver toward 1.0 · pre-1.0 breakage OK · NUKE-LEGACY · git is the archive · zero deprecation alias).- Mitigation · spec is pre-v1.0 GA · cookbook adoption is early · breakage cost ≈ 0 today. - Mitigation · the trust.rs `legacy_builtins_unknown_post_d_n6` test extends with both legacy names · fail-closed regression guard.
New error code · NIKA-BUILTIN-WAIT-003 (exactly-one-of) is new · documented in the spec error namespace · engine impl gates on the L2 nika-builtin admission (future).

Neutral #

Tests · +2 net new legacy guards in trust.rs + +2 in codegen.rs · existing 6 conformance tests + 2 spec-25 gates stay GREEN (renamed · total counts asserted).
L0 layer constraint preserved · pure data + pure test mutation · zero L0 violation.
TTL graph projection · monorepo nika-language-v1.ttl updates · 4 sleep refs + 4 wait_until refs → 4 wait refs (instance · family member-list · raises arc · invokedBy arc) · count 26 → 25 in family list.

Alternatives considered #

A · Keep both builtins · accept the duplication #

REJECTED · the operator-led directive is explicit (« faut pas hésiter à améliorer · réunir · Rams ») · the temporal duplication is the canonical « less but better » anti-pattern · keeping it leaves the symmetry signal incomplete (3-of-4 canonical layers Rams'd · skipping this layer is structural inconsistency).

B · Two flat builtins with shared trust list #

REJECTED · doesn't address the operator's directive · just shuffles the trust.rs list without consolidating the builtin surface · cookbook authors still need to choose sleep vs wait_until · cognitive load unchanged.

C · `nika:wait` with mode discriminator field (mode: "relative"|"absolute") #

REJECTED · adds redundant ceremony · the discriminator is already implicit in WHICH arg is present (duration: ↔ relative · until: ↔ absolute) · the exactly-one-of check is the cleaner self-documenting surface. Operator-facing prose just says « set duration OR until ».

Gate verification #

Per ADR-084/086 precedent (data refactor not crate admission · 12-gate reduces to applicable gates) ·

✅ Gate 2 TDD · trust.rs + codegen.rs tests updated · 226 nika-catalog+ 205 nika-schema lib tests GREEN.
✅ Gate 3 IMPL · cargo check --workspace GREEN.
✅ Gate 4 CLIPPY · cargo clippy --workspace --all-targets -- -D warnings 0 warnings.
✅ Gate 8 DOCS · cargo doc --no-deps -p nika-catalog -p nika-schema 0 warnings.
✅ Gate 12 ATOMIC · single engine commit + single monorepo bump.
cargo fmt --check GREEN (post auto-fmt).
cargo deny check advisories+bans+licenses+sources ok (no new deps).
Gates 1 / 5 / 6 / 7 / 9 / 10 / 11 · N/A for data refactor.

Future Rams ratchets (trigger-gated) #

Remaining from the operator-led 26-set audit ·

ADR-088 · `nika:inspect` · collapse 4 introspection builtins (cost · records · dag_info · threads) into one with view: enum. Net 25 → 22. Trigger · workflow.schema.json oneOf vs untyped design decision (return-shape heterogeneity).
ADR-089 · `nika:json_diff` jq-subsume feasibility · jq CAN express diff (recipe documented internally) but loses RFC-6902 Patch output format. Trigger · cookbook adoption of jq-diff recipe+ operator preference signal.

When all land · 25 → ~21 collapse. Same nika: v1 envelope · forever- v0.x discipline.

Companion artefacts #

nika-catalog/src/data/builtins.rs · ALL_BUILTINS · DELETE 2 · INSERT 1 · 26 → 25 · test counts adjusted.
nika-catalog/src/types/builtin.rs · BuiltinCategory Core doc-comment refreshed (log · emit · assert · prompt · done · wait · 7 → 6).
nika-catalog/src/lib.rs · all_builtins_non_empty test 26 → 25.
nika-schema/src/trust.rs · TRUST_PURE_BUILTINS rename + legacy exclusion test extended +sleep +wait_until + category_totals_match_ spec_26 → _25.
nika-schema/src/codegen.rs · enum_has_26_entries → _25_entries + enum_includes_canonical_anchors sleep → wait + enum_excludes_legacy_ post_d_n6 extended.
nika/spec/stdlib/builtins-v0.1.md (submodule 8372ca2) · sleep + wait_until sections deleted · wait section added · counts updated.
nika/spec/schemas/workflow.schema.json (same submodule commit) · invoke.tool oneOf nika branch enum 26 → 25.
nika/spec/spec/06-stdlib-contract.md (same submodule commit) · enumeration + total updated.

References #

ADR-086 · csv_to_json → convert (prerequisite · same Rams sweep)
ADR-085 · spec workflow.schema.json oneOf bridge (no-drift gate)
ADR-084 · nika-catalog reconciliation to spec 26 (foundation)
ADR-082 · envelope nika: v1 single-version-marker
Internal · LOCK-031 trigger-gated discipline (no infra behind locked gate · ADR-088 + ADR-089 deferred)
Internal · cross-source-validation §2.6 Signal 7 (verify-the-auditor)
Internal · no-legacy-no-back-compat Class 2 (git is the archive)

🦋

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

Every decision, with its status This one in the repo