Skip to content

States what the case schema's runner compares - #446

Merged
johnnyt merged 1 commit into
mainfrom
st-1rdw-case-json-descriptions
Oct 11, 2026
Merged

johnnyt merged 1 commit into
mainfrom
st-1rdw-case-json-descriptions

Conversation

@johnnyt

@johnnyt johnnyt commented Oct 11, 2026

Copy link
Copy Markdown
Member

Refs: st-1rdw

What changes

Two description strings in conformance/schema/case.json claimed more
than the runner and the schema do. Description text only: no keyword
changes, so no case validates differently and no case's verdict moves.

  • expect_position said "the runner compares every member exactly, order
    included". PositionExpectation.compare/3 compares each member as a JSON
    value (same?/2): numbers by value, so a float 2.0 agrees with a 2;
    arrays in order; objects member by member; anything else exactly. The
    description now says that, in the words conformance/README.md's "What a
    step's position claims" already uses.
  • active_invocations said its items are "sorted by state and then by
    index". The corpus writes them in that order
    (PositionExpectation.render/1), but the schema has no keyword that
    checks it. The description now says the corpus writes them sorted and the
    schema does not check the order, as history_values' description does.

No changelog fragment (changelog.d/README.md excludes conformance
fixtures).

Gate

No Elixir code changes, so under the repo's commit rule no gate run is
required. The merge profile (mix quality --profile merge), a full run,
is green on this commit, the ADR judge skipped because no file is in a
judged scope.

Review

Tier: gate (schema description text). In-turn review checked both claims
against PositionExpectation and found nothing else to change.
conformance/RATCHET.md's expect_position section makes the same
"exactly" claim; it is outside the two strings this change names and is
reported separately.

Two description strings in conformance/schema/case.json claimed more
than the runner and the schema do.

- expect_position said the runner compares every member exactly. It
  compares each as a JSON value: numbers by value (a float 2.0 agrees
  with a 2), arrays in order, objects member by member, and anything
  else exactly, as the conformance README already says.
- active_invocations said its items are sorted by state and then by
  index. The corpus writes them in that order, but the schema does not
  check it; the description now says so, as history_values' does.

Description text only: no keyword changes, and no case's verdict
moves. No Elixir code changes, so no gate run applies; no changelog
fragment (conformance fixtures).

Refs: st-1rdw
@johnnyt
johnnyt force-pushed the st-1rdw-case-json-descriptions branch from 5c87e83 to 27342f1 Compare October 11, 2026 15:46
@johnnyt
johnnyt merged commit 009019d into main Oct 11, 2026
1 check passed
@johnnyt
johnnyt deleted the st-1rdw-case-json-descriptions branch October 11, 2026 15:48
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