Skip to content

Accepts the term-order member amendment - #205

Merged
johnnyt merged 1 commit into
mainfrom
pts-lspz-flip-value-domain-amendment
Oct 4, 2026
Merged

johnnyt merged 1 commit into
mainfrom
pts-lspz-flip-value-domain-amendment

Conversation

@johnnyt

@johnnyt johnnyt commented Oct 4, 2026

Copy link
Copy Markdown
Member

Flips the value-domain record's amendment of 2026-10-04 to accepted now that @riddler/predicator 0.6.0 is on npm (dist-tags.latest reads 0.6.0).

The record

docs/adr/0002-the-value-domain-and-the-host-boundary.md, "Amendment: more members compare as the reference's term order compares them (2026-10-04)", with its appended section "A leading member that is the null value itself (added 2026-10-04)". Its code landed in requests 186 and 187 and is in the commit tagged v0.6.0 (7c93e9c), which is the head of main at the flip.

  • Version: 0.6.0, published.
  • Verified at: 7c93e9c. No commit after the change touches src/evaluator.ts, the reference transcript or the three tests the amendment names.
  • Claims checked: every named function, re-located by anchor (membersEqual, isDateAgainstDateTime, looseEqual and its byInstant flag, valuesEqual, compareOrder, heldMember, nullMemberOrder, the evaluation's halt, and PDateTime's fields). Every row of every table in the amendment was run, not read: this package's columns against the published 0.5.0 (Before) and 0.6.0 (Now, This package) builds, and the Reference column in a detached export of predicator-ex v9.4.2 under Elixir 1.18.3 and OTP 27; every cell matched. The inequalities beside the equality rows, strict equality of the member pairs, the "What this does not decide" ordering, the top-level null value, and the "What this does not change" paragraph were run the same way and hold. The reference's cited clauses (compare_values/3 and values_equal?/2, the types_match clause, and the date-against-datetime clauses) and its docs/isa.md section 5 list-ordering sentence were read at the tag. The transcript rows date-member/001-054 and null-order/001-044 are present with the source pinned at v9.4.2, the declared rows are declared with both answers, and test/date-member.test.ts, test/null-order.test.ts and test/reference-transcript.test.ts pass at the head.

The amendment's body does not name its own status, so no sentence of it has to be met in the Note.

The change

  • The amendment's Status line reads accepted (2026-10-04; proposed 2026-10-04), in place, in the form the record's earlier flips use.
  • A dated foot Note at the end of the file records the flip, the version, the verified-at commit, what was checked, and who decided what: matching the reference for nested date and datetime members and for list ordering over a null member was ruled by the operator, 2026-10-03; the placement of a null member against a member of another type, beyond the rows where both members hold the null value, follows the match-the-reference rule and was decided by the conductor under a standing consent, 2026-10-03.
  • git diff origin/main -- docs/adr/ removes one line, the old Status line; nothing else is removed.

Docs only: no TypeScript and no gated path is touched, so the repository's docs-only rule applies and no changelog fragment is written. CI runs the full gate.

The value-domain record's amendment on more members compared as the
reference's term order compares them, with its section on a leading
member that is the null value itself, shipped in @riddler/predicator
0.6.0. Its status flips to accepted in place, and a dated foot Note
records the flip, the commit every claim was verified at (7c93e9c, the
v0.6.0 tag), what was checked, and who decided each part. No other
line changes.

Refs: pts-lspz
@johnnyt
johnnyt merged commit 410879d into main Oct 4, 2026
1 check passed
@johnnyt
johnnyt deleted the pts-lspz-flip-value-domain-amendment branch October 4, 2026 22:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant