Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 17 Packages Wiki Activity Actions 239

[superseded] conformance packs — all four closed independently on main #96

Closed
dcharlot wants to merge 1 commit from ci/tier2-packs into main
pull from: ci/tier2-packs
merge into: Transaction-Science:main
Conversation 0 Commits 1 Files changed 1 +116
dcharlot commented 2026-09-18 11:45:30 -04:00
Owner
Copy link

Closing: fully superseded on main.

This PR began as four conformance packs. Every one has now been closed
independently, each by a stronger test than mine:

pack closed by why theirs is better
map a800ebe3 re-derives the sealed receipt; pins a real JSON round-trip defect
proof a4caa2e verifies from RFC 9052 with a hand-built CBOR encoder, not the crate's own COSE code
sense a8fda66 found c1_replay_is_deterministic was assert_eq!(f(), f()) — comparing the published digest to nothing
aac 2409375 drives the engine, plus routing_and_levels_are_mutually_complete

Nothing here is left to merge. The work is done, just not by this branch.

One residual worth carrying forward: aac-core still exports no ordered
level list, so the suite, the generator and the new tests/pack.rs each keep a
private const LEVELS. Three copies can now drift apart instead of two. Fixing
it means adding public API, so it stays a maintainer's call — noting it here so
it is not lost with this branch.

Also worth recording for whoever picks up the queue next: several sessions were
working these packs in parallel, which is why this PR was rebased and narrowed
four times before being overtaken entirely.

**Closing: fully superseded on main.** This PR began as four conformance packs. Every one has now been closed independently, each by a stronger test than mine: | pack | closed by | why theirs is better | |---|---|---| | `map` | `a800ebe3` | re-derives the sealed receipt; pins a real JSON round-trip defect | | `proof` | `a4caa2e` | verifies from RFC 9052 with a hand-built CBOR encoder, not the crate's own COSE code | | `sense` | `a8fda66` | found `c1_replay_is_deterministic` was `assert_eq!(f(), f())` — comparing the published digest to nothing | | `aac` | `2409375` | drives the engine, plus `routing_and_levels_are_mutually_complete` | Nothing here is left to merge. The work is done, just not by this branch. **One residual worth carrying forward:** `aac-core` still exports no ordered level list, so the suite, the generator *and* the new `tests/pack.rs` each keep a private `const LEVELS`. Three copies can now drift apart instead of two. Fixing it means adding public API, so it stays a maintainer's call — noting it here so it is not lost with this branch. Also worth recording for whoever picks up the queue next: several sessions were working these packs in parallel, which is why this PR was rebased and narrowed four times before being overtaken entirely.
conformance: the last four packs are read back, not just written
All checks were successful
standards workspaces build + test / eoc-rs (pull_request) Successful in 1m51s
Details
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m26s
Details
standards workspaces build + test / proof-rs (pull_request) Successful in 1m17s
Details
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m9s
Details
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 2m32s
Details
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 6m19s
Details
standards workspaces build + test / aac-rs (pull_request) Successful in 1m51s
Details
standards workspaces build + test / joule-code-rs (pull_request) Successful in 2m7s
Details
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 1m26s
Details
standards workspaces build + test / map-rs (pull_request) Successful in 1m38s
Details
standards workspaces build + test / mesh-rs (pull_request) Successful in 1m6s
Details
standards workspaces build + test / openpay (pull_request) Successful in 7m47s
Details
standards workspaces build + test / arl-rs (pull_request) Successful in 2m35s
Details
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 2m33s
Details
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 2m36s
Details
standards workspaces build + test / joulehook-rs (pull_request) Successful in 2m30s
Details
standards workspaces build + test / sense-rs (pull_request) Successful in 2m29s
Details
4e2fb41b07 
map, sense, proof and aac each shipped a conformance pack written by
`gen_vectors` and read back by NOTHING. The bytes a third party downloads were
never checked by anything — a pack only its own generator can read is a build
artifact that happens to be committed. This closes the last four tier-2
standards; the survey is now empty.

Each gets a `tests/pack.rs` that reads the published files from disk:

  * proof — 4 receipts. Re-encoding `wire` must reproduce `signed_core_hex`
    (what makes the pack reproducible on another implementation), each COSE
    envelope must verify under the published key with its payload equal to that
    core, and every vector must still carry `closed_by_stub`. That last one
    matters: all four come from the all-stand-in reference ladder, and without
    the marker the pack ships four receipts asserting proofs — including one of
    an open conjecture — with nothing in the bytes to qualify them.
  * map — envelope, core and wire must all describe the same bytes under the
    published publisher key.
  * sense — C1/C2 content addresses reproduced, C3 decisions compared WHOLE and
    in order ("4 decisions" would pass even if every one flipped), C4
    escalation and recall model, C5 chain verdicts including the excision
    breaking at the recorded link.
  * aac — routing, energy and offline driven FROM the pack rather than from an
    in-code table, plus the pack's declared invariants checked against its own
    rows (a pack claiming strict monotonicity while publishing two tiers at one
    cost is internally inconsistent, and checking the implementation would
    never catch it).

Every one falsified, not assumed — corrupted a core hex, dropped
`closed_by_stub`, broke a real routing rule in the implementation, made the
pack internally inconsistent, and flipped one bit of each signature. All packs
restored with `git checkout` and verified pristine.

Two things not to overclaim:

  * Breaking aac's routing rule ALSO fails the in-crate suite (39/40 checks), so
    the pack test is not that rule's only coverage. Its unique contribution is
    binding the published bytes. Only the internally-inconsistent-pack case is
    caught by it alone.
  * `aac-core` exports no ordered level list — the in-crate suite and
    `gen_vectors` each define a private `const LEVELS`. This test drives through
    the routing table so it duplicates no table, but two private copies of a
    canonical order is a latent instance of exactly the drift this audit exists
    to find. Left alone; worth a maintainer's call.

402 tests green across the four workspaces.

Co-Authored-By: Claude Opus 5 <[email protected]>
dcharlot force-pushed ci/tier2-packs from 4e2fb41b07
All checks were successful
standards workspaces build + test / eoc-rs (pull_request) Successful in 1m51s
Details
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m26s
Details
standards workspaces build + test / proof-rs (pull_request) Successful in 1m17s
Details
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m9s
Details
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 2m32s
Details
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 6m19s
Details
standards workspaces build + test / aac-rs (pull_request) Successful in 1m51s
Details
standards workspaces build + test / joule-code-rs (pull_request) Successful in 2m7s
Details
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 1m26s
Details
standards workspaces build + test / map-rs (pull_request) Successful in 1m38s
Details
standards workspaces build + test / mesh-rs (pull_request) Successful in 1m6s
Details
standards workspaces build + test / openpay (pull_request) Successful in 7m47s
Details
standards workspaces build + test / arl-rs (pull_request) Successful in 2m35s
Details
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 2m33s
Details
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 2m36s
Details
standards workspaces build + test / joulehook-rs (pull_request) Successful in 2m30s
Details
standards workspaces build + test / sense-rs (pull_request) Successful in 2m29s
Details
to ab78c6f2dd
All checks were successful
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 1m50s
Details
standards workspaces build + test / eoc-rs (pull_request) Successful in 1m54s
Details
standards workspaces build + test / aac-rs (pull_request) Successful in 34s
Details
standards workspaces build + test / arl-rs (pull_request) Successful in 2m49s
Details
standards workspaces build + test / joule-code-rs (pull_request) Successful in 34s
Details
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m18s
Details
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 32s
Details
standards workspaces build + test / map-rs (pull_request) Successful in 33s
Details
standards workspaces build + test / proof-rs (pull_request) Successful in 1m12s
Details
standards workspaces build + test / mesh-rs (pull_request) Successful in 24s
Details
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 2m20s
Details
standards workspaces build + test / openpay (pull_request) Successful in 1m22s
Details
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m9s
Details
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 2m19s
Details
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 2m33s
Details
standards workspaces build + test / joulehook-rs (pull_request) Successful in 2m11s
Details
standards workspaces build + test / sense-rs (pull_request) Successful in 2m13s
Details
2026-09-19 04:59:28 -04:00 Compare
dcharlot changed title from conformance: the last four packs are read back, not just written to conformance: proof, aac and sense read the packs they publish 2026-09-19 05:02:25 -04:00
dcharlot force-pushed ci/tier2-packs from ab78c6f2dd
All checks were successful
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 1m50s
Details
standards workspaces build + test / eoc-rs (pull_request) Successful in 1m54s
Details
standards workspaces build + test / aac-rs (pull_request) Successful in 34s
Details
standards workspaces build + test / arl-rs (pull_request) Successful in 2m49s
Details
standards workspaces build + test / joule-code-rs (pull_request) Successful in 34s
Details
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m18s
Details
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 32s
Details
standards workspaces build + test / map-rs (pull_request) Successful in 33s
Details
standards workspaces build + test / proof-rs (pull_request) Successful in 1m12s
Details
standards workspaces build + test / mesh-rs (pull_request) Successful in 24s
Details
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 2m20s
Details
standards workspaces build + test / openpay (pull_request) Successful in 1m22s
Details
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m9s
Details
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 2m19s
Details
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 2m33s
Details
standards workspaces build + test / joulehook-rs (pull_request) Successful in 2m11s
Details
standards workspaces build + test / sense-rs (pull_request) Successful in 2m13s
Details
to e8e8431432
Some checks failed
standards workspaces build + test / jouleclaw-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / aac-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / arl-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / eoc-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / jcp-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / joule-code-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / joule-ui-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / joulecontract-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / jouledesk-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / joulehook-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / map-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / mesh-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / openpay (pull_request) Has been cancelled
Details
standards workspaces build + test / proof-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / sandbox-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / sense-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / smart-byte-rs (pull_request) Has been cancelled
Details
2026-09-21 14:04:44 -04:00 Compare
dcharlot changed title from conformance: proof, aac and sense read the packs they publish to conformance: aac and sense read the packs they publish 2026-09-21 14:05:18 -04:00
dcharlot force-pushed ci/tier2-packs from e8e8431432
Some checks failed
standards workspaces build + test / jouleclaw-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / aac-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / arl-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / eoc-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / jcp-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / joule-code-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / joule-ui-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / joulecontract-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / jouledesk-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / joulehook-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / map-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / mesh-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / openpay (pull_request) Has been cancelled
Details
standards workspaces build + test / proof-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / sandbox-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / sense-rs (pull_request) Has been cancelled
Details
standards workspaces build + test / smart-byte-rs (pull_request) Has been cancelled
Details
to edcaa2a081
All checks were successful
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 1m39s
Details
standards workspaces build + test / aac-rs (pull_request) Successful in 33s
Details
standards workspaces build + test / joule-code-rs (pull_request) Successful in 34s
Details
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 34s
Details
standards workspaces build + test / map-rs (pull_request) Successful in 29s
Details
standards workspaces build + test / mesh-rs (pull_request) Successful in 23s
Details
standards workspaces build + test / openpay (pull_request) Successful in 2m48s
Details
standards workspaces build + test / eoc-rs (pull_request) Successful in 1m49s
Details
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m17s
Details
standards workspaces build + test / proof-rs (pull_request) Successful in 1m15s
Details
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m7s
Details
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 2m33s
Details
standards workspaces build + test / arl-rs (pull_request) Successful in 2m10s
Details
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 2m11s
Details
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 2m21s
Details
standards workspaces build + test / joulehook-rs (pull_request) Successful in 2m20s
Details
standards workspaces build + test / sense-rs (pull_request) Successful in 2m16s
Details
2026-09-21 14:06:50 -04:00 Compare
dcharlot changed title from conformance: aac and sense read the packs they publish to aac: read the conformance pack it publishes 2026-09-21 14:07:08 -04:00
dcharlot changed title from aac: read the conformance pack it publishes to [superseded] conformance packs — all four closed independently on main 2026-09-21 15:22:29 -04:00
dcharlot closed this pull request 2026-09-21 15:22:31 -04:00
All checks were successful
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 1m39s
Details
standards workspaces build + test / aac-rs (pull_request) Successful in 33s
Details
standards workspaces build + test / joule-code-rs (pull_request) Successful in 34s
Details
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 34s
Details
standards workspaces build + test / map-rs (pull_request) Successful in 29s
Details
standards workspaces build + test / mesh-rs (pull_request) Successful in 23s
Details
standards workspaces build + test / openpay (pull_request) Successful in 2m48s
Details
standards workspaces build + test / eoc-rs (pull_request) Successful in 1m49s
Details
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m17s
Details
standards workspaces build + test / proof-rs (pull_request) Successful in 1m15s
Details
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m7s
Details
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 2m33s
Details
standards workspaces build + test / arl-rs (pull_request) Successful in 2m10s
Details
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 2m11s
Details
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 2m21s
Details
standards workspaces build + test / joulehook-rs (pull_request) Successful in 2m20s
Details
standards workspaces build + test / sense-rs (pull_request) Successful in 2m16s
Details

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
Transaction-Science/open-standards!96
No description provided.