From ef4326258d1a2fbb6133f5288a6d48c17a2dd872 Mon Sep 17 00:00:00 2001 From: Meta Vens Date: Wed, 14 Oct 2026 20:33:01 +0200 Subject: [PATCH] Union parity vectors: unit-arm-denied, -floor and -ceiling, written by the C# reference Co-Authored-By: Claude Sonnet 5.5 --- tests/vectors/union-parity/README.md | 7 +++++-- tests/vectors/union-parity/unit-arm-ceiling.msgpack | 1 + tests/vectors/union-parity/unit-arm-denied.msgpack | 1 + tests/vectors/union-parity/unit-arm-floor.msgpack | Bin 0 -> 7 bytes 4 files changed, 7 insertions(+), 2 deletions(-) create mode 100644 tests/vectors/union-parity/unit-arm-ceiling.msgpack create mode 100644 tests/vectors/union-parity/unit-arm-denied.msgpack create mode 100644 tests/vectors/union-parity/unit-arm-floor.msgpack diff --git a/tests/vectors/union-parity/README.md b/tests/vectors/union-parity/README.md index 29101484..c6516fbb 100644 --- a/tests/vectors/union-parity/README.md +++ b/tests/vectors/union-parity/README.md @@ -10,7 +10,7 @@ Document `tests.union_surface` (schema `tests.union_surface.v1`), a positional a | Union | Arm keys | Arm slots | |---|---|---| | Node | 0 Box, 1 Text, 2 Use, 5 Image, 6 Wrap (3 and 4 retired) | Box `[Id, Children: Node list]`; Text `[Id, Content]`; Use `[Id, Composition, Slots: Node list]`; Image `[Id, Uri, nil (retired 2), Alt]`; Wrap `[Inner: Node]` | -| Outcome | 0 Pending, 1 Completed, 2 Denied, -2147483648 Floor, 2147483647 Ceiling | Pending `[Message]`; Completed `[SourceVersion]`; Denied, Floor and Ceiling are unit arms, `[2, []]` | +| Outcome | 0 Pending, 1 Completed, 2 Denied, -2147483648 Floor, 2147483647 Ceiling | Pending `[Message, Id]`; Completed `[SourceVersion, Id]`; Denied, Floor and Ceiling `[Id]`: the arms of a list carry an element id | | Item | 0 Gem, 1 Tool, 2 Part | Gem `[Name]`; Tool `[Name, Uses]`; Part `[Name, Count]` | | CraftedItem | 0 Tool, 1 Part | the same arms as Item under its own keys; a key only Item declares is unknown to it | @@ -21,11 +21,14 @@ Composition is a record, not an arm: `[Name, Body: Node]`. - `union-surface.msgpack`: the payload. Value: Id `surface`, Version 3; Root is a Box `root` holding Text `t1`, a Use `u1` and Image `i2`; the Use's Composition `comp` holds Box `inner` (Text `deep`, Image `img`), and its Slots are Text `s1`, nil, Box `b2` (empty); Outcomes are Pending, Completed, Denied; Part is Tool `hammer`; Crafted (a - CraftedItem field) is Part `gear`; Missing is nil. A union inside a record inside a union, a unit arm, a list of + CraftedItem field) is Part `gear`; Missing is nil. A union inside a record inside a union, an id-only arm, a list of unions with a nil element, an inner union keyed apart from its outer. Written by C#. - `union-surface.cc`: a single-file store written by the C# store holding that one record under key `surface`. Its payload equals `union-surface.msgpack`; rewriting the loaded store is byte-identical. The writer pins the store's clock, so the record's stored-at is `2026-01-01T00:00:00.0000000+00:00` and the whole file reproduces byte for byte. +- `unit-arm-denied.msgpack`, `unit-arm-floor.msgpack`, `unit-arm-ceiling.msgpack`: a member-less arm of a union no list reaches + (so its arms carry no element id), alone, written by C#: `[2, []]`, `[-2147483648, []]`, `[2147483647, []]`. These pin the + unit-arm encoding; the id-only arms above are not unit arms. - `outcomes.msgpack`: the expected outcome of every file below, as data. An array of entries `[file, outcome, union, key, detail]`: `outcome` is `refused` or `read-only`; `union` is the union (or record) named; `key` is the arm key or nil; `detail` is as in the tables below. diff --git a/tests/vectors/union-parity/unit-arm-ceiling.msgpack b/tests/vectors/union-parity/unit-arm-ceiling.msgpack new file mode 100644 index 00000000..479395d9 --- /dev/null +++ b/tests/vectors/union-parity/unit-arm-ceiling.msgpack @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/tests/vectors/union-parity/unit-arm-denied.msgpack b/tests/vectors/union-parity/unit-arm-denied.msgpack new file mode 100644 index 00000000..0af7d167 --- /dev/null +++ b/tests/vectors/union-parity/unit-arm-denied.msgpack @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/tests/vectors/union-parity/unit-arm-floor.msgpack b/tests/vectors/union-parity/unit-arm-floor.msgpack new file mode 100644 index 0000000000000000000000000000000000000000..474ca21704529965170ced14d4827195dec75910 GIT binary patch literal 7 OcmbPqseyrkVFCaQ0RnXZ literal 0 HcmV?d00001