@satorio/machinery 0.2.1

package/dictionary/testing.toon

@@ -0,0 +1,87 @@
+package: @satorio/machinery
+version: 0.2.1
+mechanism:
+  mechanism: testing
+  import: @satorio/machinery/testing
+  kind: test kit
+  page: mechanisms/testing
+  what: "Public entry to the testing mechanism: a stand-in for every port, a clock a test drives, and the scenario player."
+  whatUk: "Публічний вхід до механізму testing: замінник кожного порту, годинник, яким керує тест (test), і програвач сценаріїв (playScenario)."
+  rows[77]{name,kind,signature,fallback,caption,captionUk,anchor}:
+    AnswersByPath,value,"Readonly<Record<string, unknown>>","","What an in-memory client answers with: one already-decoded body per path.","Чим відповідає клієнт у пам'яті: одне вже декодоване тіло на кожен шлях.",testing-AnswersByPath-value
+    BlobsByKey,value,"ReadonlyMap<string, StoredBlob>","","What an in-memory blob store holds: every blob it was given, by key.","Що тримає сховище об'єктів у пам'яті: кожен об'єкт, який йому дали, за ключем.",testing-BlobsByKey-value
+    DispatchedMessageIds,value,ReadonlySet<string>,"","What an in-memory outbox holds on the read side: the ids a relay has already marked as sent.","Що тримає буфер трансмітера в пам'яті з боку читання: ідентифікатори, які трансмітер уже позначив надісланими.",testing-DispatchedMessageIds-value
+    DocumentCountsByClientAndMonth,value,"ReadonlyMap<string, number>","","What an in-memory counter holds: how many documents each client has been sent in each reporting month, keyed by the two together.","Що тримає лічильник у пам'яті: скільки документів дістав кожен клієнт у кожен звітний місяць, за ключем із них двох.",testing-DocumentCountsByClientAndMonth-value
+    InMemoryBlobStoreLive,value,const,"","The in-memory blob store, mounted.",Змонтоване сховище об'єктів у пам'яті.,testing-InMemoryBlobStoreLive-value
+    InMemoryDocumentNumberCounterLive,value,const,"","The in-memory counter, mounted.",Змонтований лічильник у пам'яті.,testing-InMemoryDocumentNumberCounterLive-value
+    InMemoryEventPublisherLive,value,const,"","The in-memory publisher, mounted.",Змонтований публікатор у пам'яті.,testing-InMemoryEventPublisherLive-value
+    InMemoryIntegrationEventOutboxLive,value,const,"","The in-memory outbox, mounted.",Змонтований буфер трансмітера в пам'яті.,testing-InMemoryIntegrationEventOutboxLive-value
+    InMemoryProcessedEventRegistryLive,value,const,"","The in-memory registry, mounted.",Змонтований реєстр у пам'яті.,testing-InMemoryProcessedEventRegistryLive-value
+    InMemoryQueueMessageProducerLive,value,const,"","The in-memory producer, mounted.",Змонтований відправник у пам'яті.,testing-InMemoryQueueMessageProducerLive-value
+    InMemoryQueueMessageSourceLive,value,const,"","The in-memory message source, mounted.",Змонтоване джерело повідомлень у пам'яті.,testing-InMemoryQueueMessageSourceLive-value
+    makeInMemoryBlobStore,value,const,"","An in-memory blob store over a `Ref` of its own, empty at the start.","Сховище об'єктів у пам'яті над власним `Ref`, порожнє на початку.",testing-makeInMemoryBlobStore-value
+    makeInMemoryDocumentNumberCounter,value,const,"","An in-memory counter over a `Ref` of its own, with every month at zero.","Лічильник у пам'яті над власним `Ref`, де кожен місяць стоїть на нулі.",testing-makeInMemoryDocumentNumberCounter-value
+    makeInMemoryEventPublisher,value,const,"","An in-memory publisher over a `Ref` of its own, empty at the start.","Публікатор у пам'яті над власним `Ref`, порожній на початку.",testing-makeInMemoryEventPublisher-value
+    makeInMemoryIntegrationEventOutbox,value,const,"","An in-memory outbox over `Ref`s of its own, empty at the start.","Буфер трансмітера в пам'яті над власними `Ref`, порожній на початку.",testing-makeInMemoryIntegrationEventOutbox-value
+    makeInMemoryProcessedEventRegistry,value,const,"","An in-memory registry over a `Ref` of its own, empty at the start.","Реєстр у пам'яті над власним `Ref`, порожній на початку.",testing-makeInMemoryProcessedEventRegistry-value
+    makeInMemoryQueueMessageProducer,value,const,"","An in-memory producer over a `Ref` of its own, whose messages nobody receives.","Відправник у пам'яті над власним `Ref`, чиїх повідомлень ніхто не отримує.",testing-makeInMemoryQueueMessageProducer-value
+    makeInMemoryQueueMessageSource,value,const,"","An in-memory message source over a `Ref` of its own, empty at the start.","Джерело повідомлень у пам'яті над власним `Ref`, порожнє на початку.",testing-makeInMemoryQueueMessageSource-value
+    nowAsDateTime,value,Effect.Effect<DateTime.Utc>,"","The moment the clock reads now, as a moment on the world's clock.","Мить, яку годинник читає зараз, як мить на світовому годиннику.",testing-nowAsDateTime-value
+    nowAsIsoString,value,Effect.Effect<string>,"","The moment the clock reads now, written the way it travels the wire.","Мить, яку годинник читає зараз, написана так, як вона мандрує дротом.",testing-nowAsIsoString-value
+    PendingQueueMessages,value,"readonly RawQueueMessage[]","","What an in-memory queue holds: the messages waiting to be received, in the order they were put there.","Що тримає черга в пам'яті: повідомлення, які чекають на отримання, у тому порядку, в якому їх туди поклали.",testing-PendingQueueMessages-value
+    ProcessedEventsById,value,"ReadonlyMap<string, DateTime.Utc>","","What an in-memory registry holds: the moment each event id was first claimed.","Що тримає реєстр у пам'яті: мить, коли кожен ідентифікатор події зарезервували вперше.",testing-ProcessedEventsById-value
+    PublishedMessages,value,"readonly OutboxMessage[]","","What an in-memory publisher holds: every message it was handed, in the order the batches arrived.","Що тримає публікатор у пам'яті: кожне повідомлення, яке йому подали, у порядку, в якому приходили пачки.",testing-PublishedMessages-value
+    QueuedOutboxMessages,value,"readonly OutboxMessage[]","","What an in-memory outbox holds on the write side: every message enqueued, in the order it arrived.","Що тримає буфер трансмітера в пам'яті з боку запису: кожне поставлене в чергу повідомлення, у порядку, в якому воно прийшло.",testing-QueuedOutboxMessages-value
+    QuietReporter,value,class,"","A test-runner reporter that prints one summary line for a whole run: how many files, how many tests, how long it took.","Репортер виконавця тестів (test runner), який друкує один підсумковий рядок на цілий прогін: скільки файлів, скільки тестів, скільки це тривало.",testing-QuietReporter-value
+    Scenario,value,interface,"","A story told as data: the steps a world walks through, and the numbers that world ends on.","Історія, розказана даними: кроки, якими проходить світ, і числа, на яких той світ спиняється.",testing-Scenario-value
+    ScenarioPlayback,value,interface,"","What one run of a scenario leaves behind: the label of every step, and the snapshot the run ended on.","Що лишає по собі один прогін сценарію (scenario): мітка кожного кроку і знімок, на якому прогін скінчився.",testing-ScenarioPlayback-value
+    ScenarioService,value,interface,"","What a service gives the scenario player: how to run a step, and how to snapshot what followed.","Що сервіс дає програвачеві сценаріїв: як виконати крок і як зняти знімок того, що з нього вийшло.",testing-ScenarioService-value
+    ScenarioStep,value,interface,"",One step in a scenario.,Один крок у сценарії.,testing-ScenarioStep-value
+    SUITES_THAT_START_A_STAND,value,"readonly string[]","","The suites that start a live stand, by the file name A11 gives them.","Сьюти, які піднімають живий стенд (live stand), за іменем файлу, яке дає їм `A11`.",testing-SUITES-THAT-START-A-STAND-value
+    TransactionalState,value,interface,"","One participant in an in-memory transaction: it can capture its own state now and hand back the effect that puts it back.","Один учасник транзакції в пам'яті: він уміє захопити власний стан зараз і подати назад ефект, який його повертає.",testing-TransactionalState-value
+    advanceBy,procedure,"(duration: Duration.DurationInput) => Effect.Effect<void>","","Moves the controlled test clock on by the span handed in, so a test reaches a later moment without waiting for it.","Рухає керований тестовий годинник на подану тривалість, тож тест доходить до пізнішої миті, не чекаючи на неї.",testing-advanceBy-procedure
+    atTheMoment,procedure,"(isoTimestamp: string)","","Runs the given work \"at\" the given moment: every clock read inside it sees `isoTimestamp`.","Виконує подану роботу «в» подану мить: кожне читання годинника всередині бачить `isoTimestamp`.",testing-atTheMoment-procedure
+    clockPinnedAt,procedure,"(at: DateTime.Utc) => Clock.Clock","","Builds a Clock pinned to one moment: every time read inside returns that moment, while `sleep` still waits on the real clock.","Будує `Clock`, пришпилений до однієї миті: кожне читання часу всередині повертає ту мить, а `sleep` і далі чекає за справжнім годинником.",testing-clockPinnedAt-procedure
+    contextOf,procedure,"<Command, Snapshot, Context>(scenario: Scenario<Command, Snapshot, Context>) => Context","",Reads the cross-cutting data of a scenario that declares some.,"Читає наскрізні дані сценарію, який їх оголошує.",testing-contextOf-procedure
+    distinctMomentsIn,procedure,"(table: string, column: string) => Effect.Effect<readonly string[], never, SqlClient.SqlClient>","","Reads the distinct moments in one timestamp column, as sorted ISO strings in the same format `momentsOfSteps` returns for a scenario.","Читає різні миті з однієї колонки часових позначок як відсортовані рядки ISO в тому самому вигляді, який `momentsOfSteps` повертає для сценарію.",testing-distinctMomentsIn-procedure
+    emptiedTables,procedure,"(tables: readonly string[]) => Effect.Effect<void, never, SqlClient.SqlClient>","","Empties the given tables on the live stand so a scenario starts from zero, the way a freshly reset database does for the seeder.","Спорожнює подані таблиці на живому стенді, щоб сценарій починався з нуля так само, як щойно скинута база починається для сіяча (seeder).",testing-emptiedTables-procedure
+    ensureStepsAreInOrder,procedure,"<C, S, X>(scenario: Scenario<C, S, X>) => Effect.Effect<void>","","Fails loudly when a scenario's steps are not in strictly increasing time order — that is a broken scenario, not a run outcome.","Гучно валить, коли кроки сценарію стоять не в строго зростальному порядку часу: це зламаний сценарій, а не результат прогону.",testing-ensureStepsAreInOrder-procedure
+    firstPassLabelsOf,procedure,"<C, S, X>(scenario: Scenario<C, S, X>) => readonly string[]","","The labels a scenario expects the first time it runs, in order.","Мітки, яких сценарій чекає першого разу, по порядку.",testing-firstPassLabelsOf-procedure
+    labelOf,procedure,"<R>(program: Effect.Effect<string, unknown, R>) => Effect.Effect<string, never, R>","","Runs one step and labels it: what it returned, or the name of the failure it met.","Виконує один крок і ставить йому мітку: що він повернув або як зветься відмова, яку він зустрів.",testing-labelOf-procedure
+    labelOfFailure,procedure,"(cause: Cause.Cause<unknown>) => string","","Labels a failure, so a scenario reads the same on every run.","Ставить мітку відмові, тож сценарій читається однаково на кожному прогоні.",testing-labelOfFailure-procedure
+    makeInMemoryBlobStoreWith,procedure,"(blobs: Ref.Ref<BlobsByKey>) => BlobStoreShape","","An in-memory blob store over a `Ref` you keep, so a test can seed it before the run and read it after.","Сховище об'єктів у пам'яті над `Ref`, який ви тримаєте, тож тест засіває його перед прогоном і читає після.",testing-makeInMemoryBlobStoreWith-procedure
+    makeInMemoryDocumentNumberCounterWith,procedure,"(counts: Ref.Ref<DocumentCountsByClientAndMonth>) => DocumentNumberCounterShape","","An in-memory counter over a reference you keep, so a test can seed it and read it back.","Лічильник у пам'яті над посиланням, яке ви тримаєте, тож тест засіває його і читає назад.",testing-makeInMemoryDocumentNumberCounterWith-procedure
+    makeInMemoryEventPublisherWith,procedure,"(published: Ref.Ref<PublishedMessages>) => EventPublisherShape","","An in-memory publisher over a `Ref` you keep, so a test reads what was published after the run.","Публікатор у пам'яті над `Ref`, який ви тримаєте, тож тест читає опубліковане після прогону.",testing-makeInMemoryEventPublisherWith-procedure
+    makeInMemoryExternalHttpClient,procedure,"(answers: AnswersByPath) => Effect.Effect<ExternalHttpClientShape>","","An in-memory client over a `Ref` of its own, seeded with the answers you hand it.","Клієнт у пам'яті над власним `Ref`, засіяний відповідями, які ви йому подали.",testing-makeInMemoryExternalHttpClient-procedure
+    makeInMemoryExternalHttpClientWith,procedure,"(answers: Ref.Ref<AnswersByPath>) => ExternalHttpClientShape","","An in-memory client over a `Ref` you keep, so a test rewrites what the service answers between two calls of the same scenario.","Клієнт у пам'яті над `Ref`, який ви тримаєте, тож тест переписує відповідь сервісу між двома викликами одного сценарію.",testing-makeInMemoryExternalHttpClientWith-procedure
+    makeInMemoryIntegrationEventOutboxWith,procedure,"(queued: Ref.Ref<QueuedOutboxMessages>, dispatched: Ref.Ref<DispatchedMessageIds>) => IntegrationEventOutboxShape","","An in-memory outbox over two `Ref`s you keep, so a test can seed what is waiting and read back what the relay dispatched.","Буфер трансмітера в пам'яті над двома `Ref`, які ви тримаєте, тож тест засіває те, що чекає, і читає назад те, що трансмітер відправив.",testing-makeInMemoryIntegrationEventOutboxWith-procedure
+    makeInMemoryProcessedEventRegistryWith,procedure,"(processed: Ref.Ref<ProcessedEventsById>) => ProcessedEventRegistryShape","","An in-memory registry over a `Ref` you keep, so a test can seed what was already claimed and read back what the run added.","Реєстр у пам'яті над `Ref`, який ви тримаєте, тож тест засіває вже зарезервоване і читає назад додане прогоном.",testing-makeInMemoryProcessedEventRegistryWith-procedure
+    makeInMemoryQueueMessageProducerWith,procedure,"(pending: Ref.Ref<PendingQueueMessages>) => QueueMessageProducerShape","",An in-memory producer over the same reference an in-memory source reads.,"Відправник у пам'яті над тим самим посиланням, яке читає джерело в пам'яті.",testing-makeInMemoryQueueMessageProducerWith-procedure
+    makeInMemoryQueueMessageSourceWith,procedure,"(pending: Ref.Ref<PendingQueueMessages>) => QueueMessageSourceShape","","An in-memory message source over a `Ref` you keep, so a test seeds the queue before the run and reads what is left after it.","Джерело повідомлень у пам'яті над `Ref`, який ви тримаєте, тож тест засіває чергу перед прогоном і читає, що лишилось після.",testing-makeInMemoryQueueMessageSourceWith-procedure
+    makeInMemoryTransactionBoundary,procedure,"(participants: readonly TransactionalState[]) => TransactionBoundaryShape","","Builds an in-memory transaction boundary: it captures each participant's state on entry and restores it if the work fails.","Будує межу транзакції в пам'яті: вона захоплює стан кожного учасника на вході і повертає його, коли робота падає.",testing-makeInMemoryTransactionBoundary-procedure
+    makeScriptedMessageSource,procedure,"(script: readonly (readonly RawQueueMessage[])[]) => Effect.Effect<ScriptedQueue>","",Builds the scripted source and the reader for what it acknowledged.,"Будує джерело за сценарієм і читача того, що воно підтвердило.",testing-makeScriptedMessageSource-procedure
+    messageOf,procedure,"(messageId: string, body: string) => RawQueueMessage","","One raw message, built the way a queue hands it over: an id, the receipt an acknowledgement quotes, and the body.","Одне сире повідомлення, збудоване так, як його віддає черга: ідентифікатор, квитанція, яку цитує підтвердження, і тіло.",testing-messageOf-procedure
+    momentsOfSteps,procedure,"<C, S, X>(scenario: Scenario<C, S, X>, chosen: (step: ScenarioStep<C>) => boolean) => readonly string[]","","Returns the moments of the chosen steps as ISO strings, in the format a database round-trip returns them.","Повертає миті обраних кроків рядками ISO, у тому вигляді, в якому їх повертає похід у базу і назад.",testing-momentsOfSteps-procedure
+    mutationSettings,procedure,"(options: MutationSettingsOptions) => MutationSettings","","Everything a mutation run needs, with the waits bounded and the live stands kept out.","Усе, що потрібно мутаційному прогону, з обмеженим очікуванням і без живих стендів.",testing-mutationSettings-procedure
+    playScenario,procedure,"<C, S, R, X>(scenario: Scenario<C, S, X>, service: ScenarioService<C, S, R, X>) => Effect.Effect<ScenarioPlayback<S>, never, R>","","Plays a scenario: each step runs at its own moment, and the snapshot is taken at the last step's moment.","Програє сценарій: кожен крок біжить у власну мить, а знімок беруть у мить останнього кроку.",testing-playScenario-procedure
+    quietReporters,procedure,"(options: QuietReporterOptions & { readonly verbose?: boolean } = {}) => ('default' | QuietReporter)[]","",The `reporters` a test-runner configuration takes.,"Значення `reporters`, яке бере конфігурація виконавця тестів.",testing-quietReporters-procedure
+    replayLabelsOf,procedure,"<C, S, X>(scenario: Scenario<C, S, X>) => readonly string[]","","The labels a scenario expects when the same steps run a second time, in order.","Мітки, яких сценарій чекає, коли ті самі кроки біжать удруге, по порядку.",testing-replayLabelsOf-procedure
+    setNowTo,procedure,"(isoTimestamp: string) => Effect.Effect<void>","",Sets the controlled test clock to the given ISO moment.,Ставить керований тестовий годинник на подану мить ISO.,testing-setNowTo-procedure
+    stateOfRef,procedure,"<A>(ref: Ref.Ref<A>) => TransactionalState","","Makes a `Ref` a participant, so an in-memory boundary can put it back where it was when the work fails.","Робить `Ref` учасником, тож межа в пам'яті вміє повернути його туди, де він був, коли робота падає.",testing-stateOfRef-procedure
+    typedFailureOf,procedure,"<A, E>(effect: Effect.Effect<A, E>) => Effect.Effect<E>","","Extracts a use case's typed failure (Fail) through `Effect.exit` and `Cause`, rather than by matching an error message string.","Дістає типізовану відмову (Data.TaggedError) процедури через `Effect.exit` і `Cause`, а не звіркою тексту повідомлення про помилку.",testing-typedFailureOf-procedure
+    verboseOutputWanted,procedure,"(environment: Readonly<Record<string, string | undefined>> = process.env) => boolean","",Whether the runner should print everything.,Чи має виконавець друкувати все.,testing-verboseOutputWanted-procedure
+    BlobStoreUnavailableLive,adapter,Layer.Layer<BlobStore>,"","A blob store that answers nothing: every operation fails with `BlobStoreUnavailableError`.","Сховище об'єктів, яке ні на що не відповідає: кожна операція падає з `BlobStoreUnavailableError`.",testing-BlobStoreUnavailableLive-adapter
+    DocumentNumberCounterUnavailableLive,adapter,Layer.Layer<DocumentNumberCounter>,"","A counter that counts nothing: every request comes back as a refusal.","Лічильник, який нічого не рахує: кожен запит повертається відмовою.",testing-DocumentNumberCounterUnavailableLive-adapter
+    EventPublisherUnavailableLive,adapter,Layer.Layer<EventPublisher>,"","A publisher that takes nothing: every publish fails with `EventPublisherUnavailableError`.","Публікатор, який нічого не бере: кожна публікація падає з `EventPublisherUnavailableError`.",testing-EventPublisherUnavailableLive-adapter
+    ExternalHttpClientUnavailableLive,adapter,Layer.Layer<ExternalHttpClient>,"","A client that reaches nothing: every call fails with `ExternalServiceUnavailableError`.","Клієнт, який нікуди не дістає: кожен виклик падає з `ExternalServiceUnavailableError`.",testing-ExternalHttpClientUnavailableLive-adapter
+    inMemoryExternalHttpClientLive,adapter,"(answers: AnswersByPath) => Layer.Layer<ExternalHttpClient>","","The in-memory client, mounted, answering the paths you seeded it with.","Змонтований клієнт у пам'яті, який відповідає на шляхи, якими ви його засіяли.",testing-inMemoryExternalHttpClientLive-adapter
+    InMemoryReadinessProbeLive,adapter,Layer.Layer<ReadinessProbe>,"","The in-memory probe, mounted.",Змонтована проба готовності в пам'яті.,testing-InMemoryReadinessProbeLive-adapter
+    inMemoryTransactionBoundaryLive,adapter,"(participants: readonly TransactionalState[]) => Layer.Layer<TransactionBoundary>","","The in-memory transaction boundary, mounted over the participants you name.","Змонтована межа транзакції в пам'яті, над названими вами учасниками.",testing-inMemoryTransactionBoundaryLive-adapter
+    IntegrationEventOutboxUnavailableLive,adapter,Layer.Layer<IntegrationEventOutbox>,"","An outbox that accepts nothing: `enqueue` refuses, so a use case's write and its message go down together.","Буфер трансмітера, який нічого не приймає: `enqueue` відмовляє, тож запис процедури і її повідомлення падають разом.",testing-IntegrationEventOutboxUnavailableLive-adapter
+    IntegrationEventOutboxUnreadableLive,adapter,Layer.Layer<IntegrationEventOutbox>,"","An outbox that takes messages and then refuses to hand them back: `pending` fails while `enqueue` succeeds.","Буфер трансмітера, який бере повідомлення і потім відмовляється їх віддати: `pending` падає, а `enqueue` вдається.",testing-IntegrationEventOutboxUnreadableLive-adapter
+    ProcessedEventRegistryUnavailableLive,adapter,Layer.Layer<ProcessedEventRegistry>,"","A registry that claims nothing: every claim comes back as a refusal.","Реєстр, який нічого не резервує: кожна резервація повертається відмовою.",testing-ProcessedEventRegistryUnavailableLive-adapter
+    QueueMessageProducerUnavailableLive,adapter,Layer.Layer<QueueMessageProducer>,"","A producer that answers nothing: every send fails with `QueueMessageProducerUnavailableError`.","Відправник, який ні на що не відповідає: кожне надсилання падає з `QueueMessageProducerUnavailableError`.",testing-QueueMessageProducerUnavailableLive-adapter
+    QueueMessageSourceUnavailableLive,adapter,Layer.Layer<QueueMessageSource>,"","A message source that answers nothing: every operation fails with `QueueMessageSourceUnavailableError`.","Джерело повідомлень, яке ні на що не відповідає: кожна операція падає з `QueueMessageSourceUnavailableError`.",testing-QueueMessageSourceUnavailableLive-adapter
+    ReadinessProbeUnavailableLive,adapter,Layer.Layer<ReadinessProbe>,"",A probe whose database never answers.,"Проба, чия база ніколи не відповідає.",testing-ReadinessProbeUnavailableLive-adapter
+    scriptedQueueMessageSourceLive,adapter,"(script: readonly (readonly RawQueueMessage[])[]) => Layer.Layer<QueueMessageSource>","","The scripted source, mounted: each `receive` answers with the next batch of the script.","Змонтоване джерело за сценарієм: кожен `receive` відповідає наступною пачкою сценарію.",testing-scriptedQueueMessageSourceLive-adapter
+    TransactionBoundaryUnavailableLive,adapter,Layer.Layer<TransactionBoundary>,"","A transaction boundary that opens nothing: the work never runs and the caller reads the refusal.","Межа транзакції, яка нічого не відкриває: робота ніколи не біжить, і викликач читає відмову.",testing-TransactionBoundaryUnavailableLive-adapter

package/dictionary/time.json

@@ -0,0 +1,311 @@
+{
+  "package": "@satorio/machinery",
+  "version": "0.2.1",
+  "mechanism": {
+    "mechanism": "time",
+    "import": "@satorio/machinery/time",
+    "kind": "foundation",
+    "page": "mechanisms/time",
+    "what": "Public entry to the time mechanism: a day a person reads and writes, a period of days, and a moment on the clock.",
+    "whatUk": "Публічний вхід до механізму time: день, який людина читає і пише, період (period) днів і мить на годиннику.",
+    "rows": [
+      {
+        "name": "CalendarDay",
+        "kind": "value",
+        "signature": "type",
+        "fallback": "",
+        "caption": "One day of the calendar, with no time and no zone in it.",
+        "captionUk": "Один день календаря, без часу і без зони всередині.",
+        "anchor": "time-CalendarDay-value"
+      },
+      {
+        "name": "CalendarDayFromHumanString",
+        "kind": "value",
+        "signature": "Schema.Schema<CalendarDay, string>",
+        "fallback": "",
+        "caption": "Reads a day off the wire from the form a person writes, and writes it back in that same form.",
+        "captionUk": "Читає день із дроту у формі, якою пише людина, і пише його назад тією самою формою.",
+        "anchor": "time-CalendarDayFromHumanString-value"
+      },
+      {
+        "name": "CalendarDayOrder",
+        "kind": "value",
+        "signature": "Order.Order<CalendarDay>",
+        "fallback": "",
+        "caption": "Puts two days in calendar order, earliest first.",
+        "captionUk": "Ставить два дні в календарному порядку, раніший першим.",
+        "anchor": "time-CalendarDayOrder-value"
+      },
+      {
+        "name": "CalendarDayRefusalReason",
+        "kind": "value",
+        "signature": "type",
+        "fallback": "",
+        "caption": "Why a written day is not a calendar day.",
+        "captionUk": "Чому написаний день не є календарним днем (calendar day).",
+        "anchor": "time-CalendarDayRefusalReason-value"
+      },
+      {
+        "name": "Instant",
+        "kind": "value",
+        "signature": "interface",
+        "fallback": "",
+        "caption": "One moment on the world's clock, held as whole milliseconds since the start of 1970.",
+        "captionUk": "Одна мить на світовому годиннику, яку тримають цілими мілісекундами від початку 1970 року.",
+        "anchor": "time-Instant-value"
+      },
+      {
+        "name": "Period",
+        "kind": "value",
+        "signature": "interface",
+        "fallback": "",
+        "caption": "A run of calendar days.",
+        "captionUk": "Пробіг календарних днів.",
+        "anchor": "time-Period-value"
+      },
+      {
+        "name": "TimeZone",
+        "kind": "value",
+        "signature": "type",
+        "fallback": "",
+        "caption": "One named time zone, as the runtime's own zone table knows it.",
+        "captionUk": "Одна названа часова зона (time zone), така, якою її знає власна таблиця зон рантайму.",
+        "anchor": "time-TimeZone-value"
+      },
+      {
+        "name": "addDays",
+        "kind": "procedure",
+        "signature": "(day: CalendarDay, days: number) => CalendarDay",
+        "fallback": "",
+        "caption": "Moves a day by whole days.",
+        "captionUk": "Рухає день на цілі дні.",
+        "anchor": "time-addDays-procedure"
+      },
+      {
+        "name": "addMonths",
+        "kind": "procedure",
+        "signature": "(day: CalendarDay, months: number) => CalendarDay",
+        "fallback": "",
+        "caption": "Moves a day by whole months, landing on the last day of a month too short to hold it.",
+        "captionUk": "Рухає день на цілі місяці і сідає на останній день місяця, надто короткого, щоб його вмістити.",
+        "anchor": "time-addMonths-procedure"
+      },
+      {
+        "name": "calendarDayFromHumanForm",
+        "kind": "procedure",
+        "signature": "(text: string) => Either.Either<CalendarDay, NotACalendarDayError>",
+        "fallback": "",
+        "caption": "Reads the form a person writes a day in: `19.03.2026`.",
+        "captionUk": "Читає форму, якою день пише людина: `19.03.2026`.",
+        "anchor": "time-calendarDayFromHumanForm-procedure"
+      },
+      {
+        "name": "calendarDayFromIsoForm",
+        "kind": "procedure",
+        "signature": "(text: string) => Either.Either<CalendarDay, NotACalendarDayError>",
+        "fallback": "",
+        "caption": "Reads the form a machine writes a day in: `2026-03-19`.",
+        "captionUk": "Читає форму, якою день пише машина: `2026-03-19`.",
+        "anchor": "time-calendarDayFromIsoForm-procedure"
+      },
+      {
+        "name": "dateTimeOfInstant",
+        "kind": "procedure",
+        "signature": "(instant: Instant) => DateTime.Utc",
+        "fallback": "",
+        "caption": "Hands a moment back as Effect's own UTC value, for a row, an envelope, or any code that already speaks that type.",
+        "captionUk": "Подає мить назад власним значенням UTC від Effect — для рядка бази, конверта чи будь-якого коду, який уже говорить тим типом.",
+        "anchor": "time-dateTimeOfInstant-procedure"
+      },
+      {
+        "name": "dayInHumanForm",
+        "kind": "procedure",
+        "signature": "(day: CalendarDay) => string",
+        "fallback": "",
+        "caption": "Writes a day the way a person reads it: `19.03.2026`.",
+        "captionUk": "Пише день так, як його читає людина: `19.03.2026`.",
+        "anchor": "time-dayInHumanForm-procedure"
+      },
+      {
+        "name": "dayInIsoForm",
+        "kind": "procedure",
+        "signature": "(day: CalendarDay) => string",
+        "fallback": "",
+        "caption": "Writes a day the way a machine reads it: `2026-03-19`.",
+        "captionUk": "Пише день так, як його читає машина: `2026-03-19`.",
+        "anchor": "time-dayInIsoForm-procedure"
+      },
+      {
+        "name": "dayOfInstant",
+        "kind": "procedure",
+        "signature": "(instant: Instant, zone: TimeZone) => CalendarDay",
+        "fallback": "",
+        "caption": "The calendar day a moment falls on for a person standing in that zone.",
+        "captionUk": "Календарний день, на який припадає мить для людини, що стоїть у тій зоні.",
+        "anchor": "time-dayOfInstant-procedure"
+      },
+      {
+        "name": "daysBetween",
+        "kind": "procedure",
+        "signature": "(earlier: CalendarDay, later: CalendarDay) => number",
+        "fallback": "",
+        "caption": "Counts whole days from the first day to the second.",
+        "captionUk": "Рахує цілі дні від першого дня до другого.",
+        "anchor": "time-daysBetween-procedure"
+      },
+      {
+        "name": "instantInHumanForm",
+        "kind": "procedure",
+        "signature": "(instant: Instant, zone: TimeZone) => string",
+        "fallback": "",
+        "caption": "Writes a moment the way a person in that zone reads it: `19.03.2026 14:05 +02:00`.",
+        "captionUk": "Пише мить так, як її читає людина в тій зоні: `19.03.2026 14:05 +02:00`.",
+        "anchor": "time-instantInHumanForm-procedure"
+      },
+      {
+        "name": "instantOfDateTime",
+        "kind": "procedure",
+        "signature": "(moment: DateTime.Utc) => Instant",
+        "fallback": "",
+        "caption": "Takes a moment the machinery already holds as Effect's own UTC value.",
+        "captionUk": "Бере мить, яку машинерія вже тримає власним значенням UTC від Effect.",
+        "anchor": "time-instantOfDateTime-procedure"
+      },
+      {
+        "name": "lastDayOfTheMonthOf",
+        "kind": "procedure",
+        "signature": "(day: CalendarDay) => CalendarDay",
+        "fallback": "",
+        "caption": "The last day of the month the given day falls in.",
+        "captionUk": "Останній день місяця, на який припадає поданий день.",
+        "anchor": "time-lastDayOfTheMonthOf-procedure"
+      },
+      {
+        "name": "lengthInDays",
+        "kind": "procedure",
+        "signature": "(period: Period) => number",
+        "fallback": "",
+        "caption": "Counts the days a period holds, both bounds included.",
+        "captionUk": "Рахує дні, які тримає період, разом з обома краями.",
+        "anchor": "time-lengthInDays-procedure"
+      },
+      {
+        "name": "monthOf",
+        "kind": "procedure",
+        "signature": "(day: CalendarDay) => Period",
+        "fallback": "",
+        "caption": "The whole calendar month the given day falls in, as a period.",
+        "captionUk": "Цілий календарний місяць, на який припадає поданий день, як період.",
+        "anchor": "time-monthOf-procedure"
+      },
+      {
+        "name": "monthsOf",
+        "kind": "procedure",
+        "signature": "(period: Period) => readonly Period[]",
+        "fallback": "",
+        "caption": "Cuts a period into one part per calendar month it runs over, in order.",
+        "captionUk": "Ріже період на одну частину для кожного календарного місяця, через який він біжить, по порядку.",
+        "anchor": "time-monthsOf-procedure"
+      },
+      {
+        "name": "periodContains",
+        "kind": "procedure",
+        "signature": "(period: Period, day: CalendarDay) => boolean",
+        "fallback": "",
+        "caption": "Answers whether the day belongs to the period.",
+        "captionUk": "Відповідає, чи день належить періоду.",
+        "anchor": "time-periodContains-procedure"
+      },
+      {
+        "name": "periodOf",
+        "kind": "procedure",
+        "signature": "(from: CalendarDay, to: CalendarDay) => Either.Either<Period, PeriodEndsBeforeItStartsError>",
+        "fallback": "",
+        "caption": "Takes two days as a period, earliest first.",
+        "captionUk": "Бере два дні як період, раніший першим.",
+        "anchor": "time-periodOf-procedure"
+      },
+      {
+        "name": "periodsOverlap",
+        "kind": "procedure",
+        "signature": "(left: Period, right: Period) => boolean",
+        "fallback": "",
+        "caption": "Answers whether two periods share at least one day.",
+        "captionUk": "Відповідає, чи два періоди ділять хоч один день.",
+        "anchor": "time-periodsOverlap-procedure"
+      },
+      {
+        "name": "startOfDay",
+        "kind": "procedure",
+        "signature": "(day: CalendarDay, zone: TimeZone) => Instant",
+        "fallback": "",
+        "caption": "The moment a calendar day begins in that zone.",
+        "captionUk": "Мить, якою календарний день починається в тій зоні.",
+        "anchor": "time-startOfDay-procedure"
+      },
+      {
+        "name": "todayIn",
+        "kind": "procedure",
+        "signature": "(zone: TimeZone) => Effect.Effect<CalendarDay>",
+        "fallback": "",
+        "caption": "Today, as the calendar of that zone counts it, read from the clock the service already shares.",
+        "captionUk": "Сьогодні, як його рахує календар тієї зони, прочитане з годинника, який сервіс уже поділяє.",
+        "anchor": "time-todayIn-procedure"
+      },
+      {
+        "name": "zoneIdOf",
+        "kind": "procedure",
+        "signature": "(zone: TimeZone) => string",
+        "fallback": "",
+        "caption": "Reads the IANA name back out of a zone, for a log line or a row.",
+        "captionUk": "Читає назву IANA назад із зони — для рядка лога чи для рядка бази.",
+        "anchor": "time-zoneIdOf-procedure"
+      },
+      {
+        "name": "zoneNamed",
+        "kind": "procedure",
+        "signature": "(zoneId: string) => Either.Either<TimeZone, UnknownTimeZoneError>",
+        "fallback": "",
+        "caption": "Takes an IANA zone name, and refuses a name the runtime does not know.",
+        "captionUk": "Бере назву зони IANA і відмовляє назві, якої рантайм не знає.",
+        "anchor": "time-zoneNamed-procedure"
+      },
+      {
+        "name": "NotACalendarDayError",
+        "kind": "failure",
+        "signature": "Data.TaggedError<{ readonly text: string; readonly reason: CalendarDayRefusalReason }>",
+        "fallback": "",
+        "caption": "The text a reader was handed does not name a day any calendar holds.",
+        "captionUk": "Текст, поданий читачеві, не називає дня, який тримає бодай один календар.",
+        "anchor": "time-NotACalendarDayError-failure"
+      },
+      {
+        "name": "PeriodEndsBeforeItStartsError",
+        "kind": "failure",
+        "signature": "Data.TaggedError<{ readonly from: string; readonly to: string }>",
+        "fallback": "",
+        "caption": "The two days handed in run backwards.",
+        "captionUk": "Два подані дні біжать назад.",
+        "anchor": "time-PeriodEndsBeforeItStartsError-failure"
+      },
+      {
+        "name": "TimeFailure",
+        "kind": "failure",
+        "signature": "type",
+        "fallback": "",
+        "caption": "Every way this mechanism refuses a value.",
+        "captionUk": "Кожен спосіб, яким цей механізм відмовляє значенню.",
+        "anchor": "time-TimeFailure-failure"
+      },
+      {
+        "name": "UnknownTimeZoneError",
+        "kind": "failure",
+        "signature": "Data.TaggedError<{ readonly zoneId: string }>",
+        "fallback": "",
+        "caption": "The runtime has no zone under that name.",
+        "captionUk": "Рантайм не має зони під такою назвою.",
+        "anchor": "time-UnknownTimeZoneError-failure"
+      }
+    ]
+  }
+}

package/dictionary/time.toon

@@ -0,0 +1,43 @@
+package: @satorio/machinery
+version: 0.2.1
+mechanism:
+  mechanism: time
+  import: @satorio/machinery/time
+  kind: foundation
+  page: mechanisms/time
+  what: "Public entry to the time mechanism: a day a person reads and writes, a period of days, and a moment on the clock."
+  whatUk: "Публічний вхід до механізму time: день, який людина читає і пише, період (period) днів і мить на годиннику."
+  rows[33]{name,kind,signature,fallback,caption,captionUk,anchor}:
+    CalendarDay,value,type,"","One day of the calendar, with no time and no zone in it.","Один день календаря, без часу і без зони всередині.",time-CalendarDay-value
+    CalendarDayFromHumanString,value,"Schema.Schema<CalendarDay, string>","","Reads a day off the wire from the form a person writes, and writes it back in that same form.","Читає день із дроту у формі, якою пише людина, і пише його назад тією самою формою.",time-CalendarDayFromHumanString-value
+    CalendarDayOrder,value,Order.Order<CalendarDay>,"","Puts two days in calendar order, earliest first.","Ставить два дні в календарному порядку, раніший першим.",time-CalendarDayOrder-value
+    CalendarDayRefusalReason,value,type,"",Why a written day is not a calendar day.,Чому написаний день не є календарним днем (calendar day).,time-CalendarDayRefusalReason-value
+    Instant,value,interface,"","One moment on the world's clock, held as whole milliseconds since the start of 1970.","Одна мить на світовому годиннику, яку тримають цілими мілісекундами від початку 1970 року.",time-Instant-value
+    Period,value,interface,"",A run of calendar days.,Пробіг календарних днів.,time-Period-value
+    TimeZone,value,type,"","One named time zone, as the runtime's own zone table knows it.","Одна названа часова зона (time zone), така, якою її знає власна таблиця зон рантайму.",time-TimeZone-value
+    addDays,procedure,"(day: CalendarDay, days: number) => CalendarDay","",Moves a day by whole days.,Рухає день на цілі дні.,time-addDays-procedure
+    addMonths,procedure,"(day: CalendarDay, months: number) => CalendarDay","","Moves a day by whole months, landing on the last day of a month too short to hold it.","Рухає день на цілі місяці і сідає на останній день місяця, надто короткого, щоб його вмістити.",time-addMonths-procedure
+    calendarDayFromHumanForm,procedure,"(text: string) => Either.Either<CalendarDay, NotACalendarDayError>","","Reads the form a person writes a day in: `19.03.2026`.","Читає форму, якою день пише людина: `19.03.2026`.",time-calendarDayFromHumanForm-procedure
+    calendarDayFromIsoForm,procedure,"(text: string) => Either.Either<CalendarDay, NotACalendarDayError>","","Reads the form a machine writes a day in: `2026-03-19`.","Читає форму, якою день пише машина: `2026-03-19`.",time-calendarDayFromIsoForm-procedure
+    dateTimeOfInstant,procedure,"(instant: Instant) => DateTime.Utc","","Hands a moment back as Effect's own UTC value, for a row, an envelope, or any code that already speaks that type.","Подає мить назад власним значенням UTC від Effect — для рядка бази, конверта чи будь-якого коду, який уже говорить тим типом.",time-dateTimeOfInstant-procedure
+    dayInHumanForm,procedure,"(day: CalendarDay) => string","","Writes a day the way a person reads it: `19.03.2026`.","Пише день так, як його читає людина: `19.03.2026`.",time-dayInHumanForm-procedure
+    dayInIsoForm,procedure,"(day: CalendarDay) => string","","Writes a day the way a machine reads it: `2026-03-19`.","Пише день так, як його читає машина: `2026-03-19`.",time-dayInIsoForm-procedure
+    dayOfInstant,procedure,"(instant: Instant, zone: TimeZone) => CalendarDay","",The calendar day a moment falls on for a person standing in that zone.,"Календарний день, на який припадає мить для людини, що стоїть у тій зоні.",time-dayOfInstant-procedure
+    daysBetween,procedure,"(earlier: CalendarDay, later: CalendarDay) => number","",Counts whole days from the first day to the second.,Рахує цілі дні від першого дня до другого.,time-daysBetween-procedure
+    instantInHumanForm,procedure,"(instant: Instant, zone: TimeZone) => string","","Writes a moment the way a person in that zone reads it: `19.03.2026 14:05 +02:00`.","Пише мить так, як її читає людина в тій зоні: `19.03.2026 14:05 +02:00`.",time-instantInHumanForm-procedure
+    instantOfDateTime,procedure,"(moment: DateTime.Utc) => Instant","",Takes a moment the machinery already holds as Effect's own UTC value.,"Бере мить, яку машинерія вже тримає власним значенням UTC від Effect.",time-instantOfDateTime-procedure
+    lastDayOfTheMonthOf,procedure,"(day: CalendarDay) => CalendarDay","",The last day of the month the given day falls in.,"Останній день місяця, на який припадає поданий день.",time-lastDayOfTheMonthOf-procedure
+    lengthInDays,procedure,"(period: Period) => number","","Counts the days a period holds, both bounds included.","Рахує дні, які тримає період, разом з обома краями.",time-lengthInDays-procedure
+    monthOf,procedure,"(day: CalendarDay) => Period","","The whole calendar month the given day falls in, as a period.","Цілий календарний місяць, на який припадає поданий день, як період.",time-monthOf-procedure
+    monthsOf,procedure,"(period: Period) => readonly Period[]","","Cuts a period into one part per calendar month it runs over, in order.","Ріже період на одну частину для кожного календарного місяця, через який він біжить, по порядку.",time-monthsOf-procedure
+    periodContains,procedure,"(period: Period, day: CalendarDay) => boolean","",Answers whether the day belongs to the period.,"Відповідає, чи день належить періоду.",time-periodContains-procedure
+    periodOf,procedure,"(from: CalendarDay, to: CalendarDay) => Either.Either<Period, PeriodEndsBeforeItStartsError>","","Takes two days as a period, earliest first.","Бере два дні як період, раніший першим.",time-periodOf-procedure
+    periodsOverlap,procedure,"(left: Period, right: Period) => boolean","",Answers whether two periods share at least one day.,"Відповідає, чи два періоди ділять хоч один день.",time-periodsOverlap-procedure
+    startOfDay,procedure,"(day: CalendarDay, zone: TimeZone) => Instant","",The moment a calendar day begins in that zone.,"Мить, якою календарний день починається в тій зоні.",time-startOfDay-procedure
+    todayIn,procedure,"(zone: TimeZone) => Effect.Effect<CalendarDay>","","Today, as the calendar of that zone counts it, read from the clock the service already shares.","Сьогодні, як його рахує календар тієї зони, прочитане з годинника, який сервіс уже поділяє.",time-todayIn-procedure
+    zoneIdOf,procedure,"(zone: TimeZone) => string","","Reads the IANA name back out of a zone, for a log line or a row.",Читає назву IANA назад із зони — для рядка лога чи для рядка бази.,time-zoneIdOf-procedure
+    zoneNamed,procedure,"(zoneId: string) => Either.Either<TimeZone, UnknownTimeZoneError>","","Takes an IANA zone name, and refuses a name the runtime does not know.","Бере назву зони IANA і відмовляє назві, якої рантайм не знає.",time-zoneNamed-procedure
+    NotACalendarDayError,failure,"Data.TaggedError<{ readonly text: string; readonly reason: CalendarDayRefusalReason }>","",The text a reader was handed does not name a day any calendar holds.,"Текст, поданий читачеві, не називає дня, який тримає бодай один календар.",time-NotACalendarDayError-failure
+    PeriodEndsBeforeItStartsError,failure,"Data.TaggedError<{ readonly from: string; readonly to: string }>","",The two days handed in run backwards.,Два подані дні біжать назад.,time-PeriodEndsBeforeItStartsError-failure
+    TimeFailure,failure,type,"",Every way this mechanism refuses a value.,"Кожен спосіб, яким цей механізм відмовляє значенню.",time-TimeFailure-failure
+    UnknownTimeZoneError,failure,"Data.TaggedError<{ readonly zoneId: string }>","",The runtime has no zone under that name.,Рантайм не має зони під такою назвою.,time-UnknownTimeZoneError-failure