IntersectMBO / IntersectMBO/cardano-ledger

conformance divergence: SUBUTXOW

Open
#6,066 1 comment 0 reactions 1 assignee Claimed by @carlostome View on GitHub
conformance DijkstraEra
Dominant language
Haskell
Stars
295
Forks
179
Avg merge
4d 7h
Merged PRs (30d)
29

Description

These are observations found while working on #6034 .

One can find instances of `disableConformanceIt` in `Test.Cardano.Ledger.Dijkstra.Imp.SubUtxowSpec`.

`spec accepts, ledger rejects`:
* `SubMalformedReferenceScripts`
* `SubInvalidMetadata`
* `SubMissingVKeyWitnessesUTXOW / registering a stake pool with an owner`

`both reject, but different rule`:
* `SubScriptWitnessNotValidatingUTXOW / minting` - ledger `SUBUTXOW`, spec `UTXOW`

These are just observations extracted by temporarily making `(Left _, Left _)` fail. The conformance hook passes when both sides fail, without comparing failures, and the Agda payload is just the name of the rule.

There might be others that surface after replacing the `disableConformanceIt` with `it`.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.