Skip to content

docs(conformance): the expected-red manifest of the ERA cut, from its board - #1019

Merged
cryptskii merged 1 commit into
mainfrom
docs/era-expected-red-manifest
Sep 26, 2026
Merged

cryptskii merged 1 commit into
mainfrom
docs/era-expected-red-manifest

Conversation

@cryptskii

Copy link
Copy Markdown
Collaborator

What

The expected-red manifest of the ERA cut (#1016), recorded from its board into CONFORMANCE_GAPS.md §6.32 — the plan's rule for the last commit of the sweep: every test the ERA hole turns red is listed by name, so from here a board is judged against the list (a red outside it is a regression; a listed test that goes green without ERA's policy is a finding). #1016 merged before this could ride on it, so it lands on its own.

The list

The Rust tests (dsm_sdk) job of 97d6d5561 (run 36226702605): 1020 tests, 46 failed. 45 fail on the ERA refusal — "Token policy violation for NW9MKEFNZ6GTD8209QN3DQ6996DWP9E9NQ0H5DYCKA9WNS0Z69H0: no policy is committed at the commitment the operation names" — at an ERA transfer or burn (each failing test's panic was read from the job log; the four whose message was the wallet.send wrapper of that refusal and the one whose assertion follows a refused ERA send were checked against their bodies). Every other job of the board was green. The 46th, sdk::sofi_reads::tests::an_unestablished_genesis_candidate_is_not_read_as_unpublished, was main's pre-existing red (#1013), fixed by #1017, and is named as not in the manifest.

Docs only; no code. ci/conformance_evidence.py → clean (the list names tests that exist).

… board

The Rust tests (dsm_sdk) job of 97d6d55 (run 36226702605): 46 failed of
1020; 45 on the ERA refusal at an ERA transfer or burn, listed by name in
§6.32; the one other, sofi_reads' unestablished-genesis-candidate test, is
main's pre-existing red (#1013) fixed by #1017 and is named as such.
@cryptskii
cryptskii merged commit 6ed70e2 into main Sep 26, 2026
2 checks passed
@cryptskii
cryptskii deleted the docs/era-expected-red-manifest branch September 26, 2026 14:35
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