| License | Apache-2.0 |
|---|---|
| Safe Haskell | None |
| Language | GHC2021 |
Conformance.Extent
Description
The replay index of a run names every refusal its live rows met. A refusal whose step carried an executed model reason is class A by fact: the runner records it, and its reason must agree with the traced replay's or be uncompared with a named cause. Every other refusal must be listed, by its row, in the committed table of the extent document as B, C or D; one that is not is unclassified, and fails. The index must also name each refusal the run's receipts record exactly once, and an accepting control for each script role that refused.
Pure: the index entries, the receipts and the document arrive as data.
Synopsis
- data ExtentClass
- data Listed = Listed {
- listedClass :: ExtentClass
- listedTraces :: [Text]
- committedClasses :: Text -> Either String (Map Text Listed)
- data ExtentCount = ExtentCount {
- countA :: Int
- countTable :: Map ExtentClass Int
- extentProblems :: Map Text Listed -> [Value] -> [Receipt] -> [Text]
- extentCount :: Map Text Listed -> [Value] -> ExtentCount
Documentation
data ExtentClass Source #
A class the committed table gives a refusal no model reason was executed for.
Constructors
| ClassB | Lean returns a reason; no consumer executes the model on the behavior |
| ClassC | Lean cannot express the behavior |
| ClassD | Lean's outcome differs from the chain's or the consumer model's |
Instances
| Show ExtentClass Source # | |
Defined in Conformance.Extent Methods showsPrec :: Int -> ExtentClass -> ShowS Source # show :: ExtentClass -> String Source # showList :: [ExtentClass] -> ShowS Source # | |
| Eq ExtentClass Source # | |
Defined in Conformance.Extent Methods (==) :: ExtentClass -> ExtentClass -> Bool Source # (/=) :: ExtentClass -> ExtentClass -> Bool Source # | |
| Ord ExtentClass Source # | |
Defined in Conformance.Extent Methods compare :: ExtentClass -> ExtentClass -> Ordering Source # (<) :: ExtentClass -> ExtentClass -> Bool Source # (<=) :: ExtentClass -> ExtentClass -> Bool Source # (>) :: ExtentClass -> ExtentClass -> Bool Source # (>=) :: ExtentClass -> ExtentClass -> Bool Source # max :: ExtentClass -> ExtentClass -> ExtentClass Source # min :: ExtentClass -> ExtentClass -> ExtentClass Source # | |
What the committed table says of one row: its class, and the traced reasons and unobserved causes its refusals may carry, the backquoted names of its traced-reason cell. A refusal of a listed row whose replay records any other reason or cause is not the refusal the table classified.
Constructors
| Listed | |
Fields
| |
Instances
| Show Listed Source # | |
Defined in Conformance.Extent | |
| Eq Listed Source # | |
Defined in Conformance.Extent | |
committedClasses :: Text -> Either String (Map Text Listed) Source #
The committed table of the extent document — the section headed
Discovered table — as what it lists of each row. A class cell must start with
B, C or D; a row listed twice must keep its class, and its traces accumulate.
data ExtentCount Source #
How many refusals of a run fall in each class.
Constructors
| ExtentCount | |
Fields
| |
Instances
| Show ExtentCount Source # | |
Defined in Conformance.Extent Methods showsPrec :: Int -> ExtentCount -> ShowS Source # show :: ExtentCount -> String Source # showList :: [ExtentCount] -> ShowS Source # | |
| Eq ExtentCount Source # | |
Defined in Conformance.Extent Methods (==) :: ExtentCount -> ExtentCount -> Bool Source # (/=) :: ExtentCount -> ExtentCount -> Bool Source # | |
extentProblems :: Map Text Listed -> [Value] -> [Receipt] -> [Text] Source #
What a run's replay index and receipts lack for the extent: one line per problem, none when every refusal is accounted for.
extentCount :: Map Text Listed -> [Value] -> ExtentCount Source #
The refusals of a run, by class: A by fact, the others by the table.