@arxo/canon-ogpo-vts 0.1.0 → 0.1.4

package/NOTICE

@@ -1,6 +1,6 @@
-Law DSL — reference implementation of Law DSL Core 0.1
+Arxo Law — reference implementation of Arxo Law Core 0.1
 Copyright 2026 Arxo (https://arxo.io)
 
 Code is licensed under the Apache License, Version 2.0 (see LICENSE).
-The specification text under spec/ is licensed under the Creative Commons
-Attribution 4.0 International License (see spec/LICENSE).
+Bundled specification text is licensed under the Creative Commons
+Attribution 4.0 International License.

package/README.md

@@ -1,10 +1,115 @@
 # @arxo/canon-ogpo-vts
 
-Pinned evaluation world for `kz.corpus.ogpovts@0.1.0` (Kazakhstan, compulsory
-motor third-party liability insurance): CLIR, its eight imports
-(`kz.corpus.bonus_malus`, `kz.corpus.budget`, `kz.corpus.budget_code`,
-`kz.corpus.vred_ts`, `kz.corpus.clir.official_calendar`, `vocab.geo`,
-`vocab.vehicle`, `vocab.maintenance`), the official 2026 calendar, and
-generated `.d.ts` declarations.
-
-Install next to `@arxo/law`.
+**Kazakhstan's compulsory motor third-party liability insurance (Law
+No. 446-II) as a pinned canon:** premiums, limits, payouts and their terms.
+`kz.corpus.ogpovts@0.1.0` is shipped exactly as released in
+[OGPO canon 0.1.3](https://github.com/arxohq/arxo-ogpo-public/releases/tag/canon-v0.1.4);
+The public canon 0.1.2 sources were recompiled for semantic release 0.2.7.
+Package loading and query smoke were checked; full scenario acceptance is deferred.
+Open it with [`@arxo/law`](https://www.npmjs.com/package/@arxo/law).
+
+[![npm](https://img.shields.io/npm/v/@arxo/canon-ogpo-vts?color=0b6e4f)](https://www.npmjs.com/package/@arxo/canon-ogpo-vts)
+![jurisdiction](https://img.shields.io/badge/jurisdiction-Kazakhstan-3f3d9e)
+![license](https://img.shields.io/npm/l/@arxo/canon-ogpo-vts)
+
+## Quickstart
+
+```sh
+npm i @arxo/law @arxo/canon-ogpo-vts
+```
+
+The insurer has received the documents of a claim. Which rules fix the day
+the payout is due, and which facts do they need? (articles 26 and 26-1)
+
+<!-- readme:hero -->
+```js
+import { open } from '@arxo/law';
+
+const ogpo = await open('kz.corpus.ogpovts@0.1.0');
+const { tree } = ogpo.unfold('payment_due_day', { depth: 2 });
+tree.producers.map((rule) => [rule.name, rule.strength, rule.anchors[0].locator]);
+```
+<!-- /readme:hero -->
+
+Output — produced by this exact call; the README is regenerated from the
+engine's answer:
+
+<!-- readme:output -->
+```js
+// [
+//   ['PaymentDueDayIsDirectSettlementTerm',  'strict',      'article/26-1'],
+//   ['PaymentDueDayIsGeneralTerm',           'defeasible',  'article/26'],
+// ]
+```
+<!-- /readme:output -->
+
+`unfold` reads the canon without a case: no rule is executed, and every node
+points at the article it comes from.
+
+## What this canon knows
+
+<p align="center">
+  <img src="https://cdn.jsdelivr.net/npm/@arxo/canon-ogpo-vts@0.1.3/assets/knows.svg" width="880" alt="Rule tree of payment_due_day: the seven-business-day term of direct settlement (article 26-1), the fifteen-business-day general term (article 26) and the rule that displaces it, their facts, and the formalization measure of the canon">
+</p>
+
+The tree goes two levels down from `payment_due_day`: every rule, its
+strength, the article it is anchored to and the facts it needs. The counts
+are the canon's own measure, `ogpo.passport()`: source-only provisions are
+pinned text the canon does not execute.
+
+Some of the questions the canon answers (`ogpo.questions()` lists all of them):
+
+<!-- readme:table -->
+| Question | Rules | Text |
+|---|---|---|
+| `payment_due_day` | `PaymentDueDayIsDirectSettlementTerm`, `PaymentDueDayIsGeneralTerm` | `article/26-1`, `article/26` |
+| `general_payment_due_day` | `GeneralPaymentDueDay` | `article/26` |
+| `direct_settlement_due_day` | `DirectSettlementDueDay` | `article/26-1` |
+| `refusal_decision_due_day` | `RefusalDecisionDueDay` | `article/29` |
+| `premium_payable` | `PremiumPayableFull`, `PremiumPayableReduced` | `article/19`, `article/20` |
+| `koeffitsient_bonus_malus` | `KoeffitsientBezPovysheniya`, `KoeffitsientPoPrilozheniyu2022`, +2 | `annex/table`, `article/16` |
+| `insurance_payment_amount` | `DeathOrDisabilityPaymentEqualsLimit`, `InjuryPaymentIsActualTreatmentCostCapped`, +2 | `article/24` |
+| `insurer_liability_limit` | `LifeOrHealthLiabilityLimit`, `PropertyLiabilityLimit` | `article/24` |
+| `contract_term_end_day` | `ContractTermIsStipulated`, `ContractTermIsTwelveMonths` | `article/13` |
+<!-- /readme:table -->
+
+The labels and rule texts inside the canon are in Russian, the language of
+the act; relation and rule names are English.
+
+## How to ask
+
+A term in this act is counted in business days: a case names the canon's
+deadline policy `urn:kz:corpus:clir:ogpo-vts#KZ_OGPO_BUSINESS_DAY_DEADLINES`
+and the calendar snapshot it reads, for example
+`options: { calendarSnapshot: 'urn:kz:corpus:clir:official-calendar#snapshot-2026' }`.
+`truth`, `collect`, `deadline`, `calc`, `positions`, `whyNot` and `unfold`
+are documented in the [`@arxo/law` README](https://www.npmjs.com/package/@arxo/law).
+
+<p align="center">
+  <img src="https://cdn.jsdelivr.net/npm/@arxo/law@0/assets/layers.svg" width="880" alt="Which Arxo Law package to install: @arxo/law for apps, @arxo/mcp-* for agents, @arxo/cli for the terminal">
+</p>
+
+<details>
+<summary>What is in the package</summary>
+
+| File | |
+|---|---|
+| `world.lawir.json` | the linked world: the package and its imports (`kz.corpus.bonus_malus`, `kz.corpus.budget`, `kz.corpus.budget_code`, `kz.corpus.vred_ts`, `kz.corpus.clir.official_calendar`, `vocab.geo`, `vocab.vehicle`, `vocab.maintenance`); `@arxo/law` checks it against `contentHash` in `package-meta.json` |
+| `package.lawir.json` | the package's own compiled model (`packageContentHash`, the hash a `law.lock` pins) |
+| `resources/kz-official-2026.calendar.json` | the official 2026 calendar |
+| `canon-release.json` | the SHA-256 of each file, pinned to the canon release |
+| `index.d.ts` | relation names for the `CanonRegistry` type: a misspelled predicate is an editor error |
+
+The questions the package answers, with their parameters and tests, are
+listed in `QUESTIONS.md` of the canon release.
+
+A release that pins `task-guides.json` in `canon-release.json` also ships the
+canon's task guide — the author's order of questions for a typical task, such
+as a payout on a claim. `canonTaskGuides('kz.corpus.ogpovts', '0.1.0')` from
+`@arxo/law/task-guides` lists it under the `taskGuideCatalogHash` of
+`package-meta.json`; the passage journal is kept by the `law` binary
+(`law guide journal`).
+
+</details>
+
+Apache-2.0 · [arxo.io](https://www.arxo.io)

package/assets/knows.svg

@@ -0,0 +1,80 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="960" height="666" viewBox="0 0 960 666" role="img" aria-labelledby="t">
+<title id="t">kz.corpus.ogpovts@0.1.0: the rules behind payment_due_day</title>
+<style>
+  .sans { font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Helvetica, Arial, sans-serif; }
+  .mono { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, 'Liberation Mono', monospace; }
+</style>
+<rect width="960" height="666" rx="14" fill="#ffffff"/>
+<text x="20" y="30" class="sans" font-size="11" font-weight="700" fill="#59636e" text-anchor="start">WHAT THIS CANON KNOWS</text>
+<text x="186" y="30" class="mono" font-size="12" font-weight="400" fill="#59636e" text-anchor="start">kz.corpus.ogpovts@0.1.0 · unfold('payment_due_day', { depth: 2 })</text>
+<rect x="20" y="47" width="200.39999999999998" height="22" rx="11" fill="#e6f4ee"/><text x="120.19999999999999" y="62" class="mono" font-size="12" font-weight="600" fill="#0b6e4f" text-anchor="middle">30 executable provisions</text>
+<rect x="232.39999999999998" y="47" width="124.39999999999999" height="22" rx="11" fill="#f6f8fa"/><text x="294.59999999999997" y="62" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">16 source-only</text>
+<rect x="368.79999999999995" y="47" width="116.8" height="22" rx="11" fill="#eeedfb"/><text x="427.19999999999993" y="62" class="mono" font-size="12" font-weight="600" fill="#3f3d9e" text-anchor="middle">299 questions</text>
+<rect x="16" y="74" width="928" height="30" rx="8" fill="#e6f4ee" stroke="#9fd3bd" stroke-width="1.2"/>
+<rect x="28" y="79" width="78.8" height="22" rx="11" fill="#ffffff"/><text x="67.4" y="94" class="mono" font-size="12" font-weight="600" fill="#0b6e4f" text-anchor="middle">question</text>
+<text x="118.8" y="95" class="mono" font-size="14" font-weight="700" fill="#0b6e4f" text-anchor="start">payment_due_day</text>
+<text x="46" y="128" class="sans" font-size="14" font-weight="400" fill="#3f3d9e" text-anchor="start">⇐</text>
+<text x="64" y="128" class="mono" font-size="13" font-weight="700" fill="#3f3d9e" text-anchor="start">PaymentDueDayIsDirectSettlementTerm</text>
+<rect x="351" y="113" width="63.599999999999994" height="22" rx="11" fill="#ffffff"/><text x="382.8" y="128" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">strict</text>
+<text x="932" y="128" class="mono" font-size="12" font-weight="400" fill="#8a5a00" text-anchor="end">article/26-1</text>
+<path d="M62 138 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="76" y="139" width="71.19999999999999" height="22" rx="11" fill="#eeedfb"/><text x="111.6" y="154" class="mono" font-size="12" font-weight="600" fill="#3f3d9e" text-anchor="middle">derived</text>
+<text x="157.2" y="154" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">direct_settlement_due_day</text>
+<text x="98" y="180" class="sans" font-size="14" font-weight="400" fill="#3f3d9e" text-anchor="start">⇐</text>
+<text x="116" y="180" class="mono" font-size="13" font-weight="700" fill="#3f3d9e" text-anchor="start">DirectSettlementDueDay</text>
+<rect x="301.6" y="165" width="63.599999999999994" height="22" rx="11" fill="#ffffff"/><text x="333.40000000000003" y="180" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">strict</text>
+<text x="932" y="180" class="mono" font-size="12" font-weight="400" fill="#8a5a00" text-anchor="end">article/26-1</text>
+<path d="M114 190 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="128" y="191" width="48.4" height="22" rx="11" fill="#ffffff"/><text x="152.2" y="206" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">fact</text>
+<text x="186.4" y="206" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">tortfeasor_has_compulsory_policy</text>
+<path d="M114 216 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="128" y="217" width="48.4" height="22" rx="11" fill="#ffffff"/><text x="152.2" y="232" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">fact</text>
+<text x="186.4" y="232" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">documents_received_on</text>
+<path d="M114 242 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="128" y="243" width="48.4" height="22" rx="11" fill="#ffffff"/><text x="152.2" y="258" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">fact</text>
+<text x="186.4" y="258" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">payment_claim_of</text>
+<path d="M114 268 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="128" y="269" width="48.4" height="22" rx="11" fill="#ffffff"/><text x="152.2" y="284" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">fact</text>
+<text x="186.4" y="284" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">direct_settlement_requested</text>
+<path d="M114 294 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="128" y="295" width="71.19999999999999" height="22" rx="11" fill="#eeedfb"/><text x="163.6" y="310" class="mono" font-size="12" font-weight="600" fill="#3f3d9e" text-anchor="middle">derived</text>
+<text x="209.2" y="310" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">direct_settlement_term</text>
+<text x="392.79999999999995" y="310" class="sans" font-size="12" font-weight="400" fill="#59636e" text-anchor="start">(no producers in the world)</text>
+<text x="46" y="336" class="sans" font-size="14" font-weight="400" fill="#3f3d9e" text-anchor="start">⇐</text>
+<text x="64" y="336" class="mono" font-size="13" font-weight="700" fill="#3f3d9e" text-anchor="start">PaymentDueDayIsGeneralTerm</text>
+<rect x="280.79999999999995" y="321" width="94" height="22" rx="11" fill="#ffffff"/><text x="327.79999999999995" y="336" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">defeasible</text>
+<text x="932" y="336" class="mono" font-size="12" font-weight="400" fill="#8a5a00" text-anchor="end">article/26</text>
+<path d="M62 346 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="76" y="347" width="71.19999999999999" height="22" rx="11" fill="#eeedfb"/><text x="111.6" y="362" class="mono" font-size="12" font-weight="600" fill="#3f3d9e" text-anchor="middle">derived</text>
+<text x="157.2" y="362" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">general_payment_due_day</text>
+<text x="98" y="388" class="sans" font-size="14" font-weight="400" fill="#3f3d9e" text-anchor="start">⇐</text>
+<text x="116" y="388" class="mono" font-size="13" font-weight="700" fill="#3f3d9e" text-anchor="start">GeneralPaymentDueDay</text>
+<rect x="286" y="373" width="63.599999999999994" height="22" rx="11" fill="#ffffff"/><text x="317.8" y="388" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">strict</text>
+<text x="932" y="388" class="mono" font-size="12" font-weight="400" fill="#8a5a00" text-anchor="end">article/26</text>
+<path d="M114 398 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="128" y="399" width="48.4" height="22" rx="11" fill="#ffffff"/><text x="152.2" y="414" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">fact</text>
+<text x="186.4" y="414" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">documents_received_on</text>
+<path d="M114 424 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="128" y="425" width="71.19999999999999" height="22" rx="11" fill="#eeedfb"/><text x="163.6" y="440" class="mono" font-size="12" font-weight="600" fill="#3f3d9e" text-anchor="middle">derived</text>
+<text x="209.2" y="440" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">general_payment_term</text>
+<text x="377.2" y="440" class="sans" font-size="12" font-weight="400" fill="#59636e" text-anchor="start">(no producers in the world)</text>
+<path d="M62 450 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="76" y="451" width="71.19999999999999" height="22" rx="11" fill="#eeedfb"/><text x="111.6" y="466" class="mono" font-size="12" font-weight="600" fill="#3f3d9e" text-anchor="middle">derived</text>
+<text x="157.2" y="466" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">general_term_applies</text>
+<text x="98" y="492" class="sans" font-size="14" font-weight="400" fill="#3f3d9e" text-anchor="start">⇐</text>
+<text x="116" y="492" class="mono" font-size="13" font-weight="700" fill="#3f3d9e" text-anchor="start">DirectSettlementDefeatsGeneralTerm</text>
+<rect x="395.2" y="477" width="78.8" height="22" rx="11" fill="#ffffff"/><text x="434.59999999999997" y="492" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">defeater</text>
+<text x="932" y="492" class="mono" font-size="12" font-weight="400" fill="#8a5a00" text-anchor="end">article/26-1</text>
+<path d="M114 502 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="128" y="503" width="48.4" height="22" rx="11" fill="#ffffff"/><text x="152.2" y="518" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">fact</text>
+<text x="186.4" y="518" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">direct_settlement_requested</text>
+<text x="98" y="544" class="sans" font-size="14" font-weight="400" fill="#3f3d9e" text-anchor="start">⇐</text>
+<text x="116" y="544" class="mono" font-size="13" font-weight="700" fill="#3f3d9e" text-anchor="start">GeneralTermApplies</text>
+<rect x="270.4" y="529" width="94" height="22" rx="11" fill="#ffffff"/><text x="317.4" y="544" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">defeasible</text>
+<text x="932" y="544" class="mono" font-size="12" font-weight="400" fill="#8a5a00" text-anchor="end">article/26</text>
+<path d="M114 554 v12 h8" stroke="#d1d9e0" stroke-width="1.2" fill="none"/>
+<rect x="128" y="555" width="48.4" height="22" rx="11" fill="#ffffff"/><text x="152.2" y="570" class="mono" font-size="12" font-weight="600" fill="#59636e" text-anchor="middle">fact</text>
+<text x="186.4" y="570" class="mono" font-size="13" font-weight="400" fill="#1f2328" text-anchor="start">documents_received_on</text>
+<path d="M20 620 H940" stroke="#d1d9e0" stroke-width="1"/>
+<text x="20" y="644" class="sans" font-size="12" font-weight="400" fill="#59636e" text-anchor="start">fact — you provide it   ·   derived — the canon proves it   ·   judgment — a person decides   ·   no case: unfold reads the canon only</text>
+</svg>

package/canon-release.json

@@ -0,0 +1,22 @@
+{
+  "$comment": "Same public canon sources compiled under law.core/0.2.7; full acceptance deferred.",
+  "canon": "https://github.com/arxohq/arxo-ogpo-public",
+  "tag": "canon-v0.1.4",
+  "package": "kz.corpus.ogpovts",
+  "version": "0.1.0",
+  "files": {
+    "package.lawir.json": {
+      "from": "package.lawir.json",
+      "sha256": "sha256:e1b7bf16b78e8c75127e59aad1ba7aba3a93d5405d50279a5e21922b30f4bf14"
+    },
+    "world.lawir.json": {
+      "from": "replay/world.lawir.json",
+      "sha256": "sha256:ed419cddf7caeb22c1a635ae287949019cbb97ced01d3ba57bccc943438b835e"
+    },
+    "resources/kz-official-2026.calendar.json": {
+      "from": "src/resources/d04f48761d98cdcf-kz-official-2026.calendar.json",
+      "sha256": "sha256:d04f48761d98cdcf2a094cc728fd160fbc3b73e2eb5ebbed6743d17e976fe9c6"
+    }
+  },
+  "releaseVerified": false
+}