IntersectMBO / IntersectMBO/cardano-ledger
conformance divergence: SUBUTXOW
- 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
Assessment
This issue has not been assessed yet.