cardano-recon-framework: Add cardano-recon-grep and ContinuousFormula (v1.2.0)#6560
Open
cardano-recon-framework: Add cardano-recon-grep and ContinuousFormula (v1.2.0)#6560
Conversation
Russoul
force-pushed
the
russoul/recon-grep
branch
from
0e06127 to
6e3a289
Compare
Russoul
commented
May 7, 2026
Russoul
commented
May 7, 2026
mgmeier
requested changes
May 8, 2026
… (v1.2.0) - Add `ContinuousFormula` — temporal-operator-free fragment of `Formula`, with `retract :: Formula event ty -> Maybe (ContinuousFormula ty)` and `eval :: ... -> event -> Reader OnMissingKey Bool` - Add `cardano-recon-grep` executable (Global Realisation Print): prints a JSON array of TraceMessages that realise all given continuous formulas - Simplify `prettyTraceMessage` to use ToJSON directly (no field remapping) - Format negative-outcome relevant events as a JSON array in `prettySatisfactionResult` - Remove dead `Common.hs` (extractJsonProps) - Add `docs/formula-languages.txt` ASCII diagram of the formula language hierarchy - Add note to `docs/ltl-formula-syntax.txt` on the `data` prefix omission convention - Bump version to 1.2.0; update CHANGELOG and README
…e message - --grep now prints directly to stdout, keeping greppable out of TraceMessage - Context printout replaced with a ContextDump TraceMessage at Debug severity
- Use Text.unlines in prettyRelevanceArray and forHuman ContextDump - Rename JSON keys eventsPerSecond and catchUpRatio to camelCase - Simplify printArray to build a single Text value - Use maybe [] Map.toList instead of Map.toList . fromMaybe Map.empty
Russoul
force-pushed
the
russoul/recon-grep
branch
from
cfcfa8d to
be8e51e
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
ContinuousFormula— the temporal-operator-free fragment ofFormula, withretractfor converting aFormulaandevalfor deciding it against a single eventcardano-recon-grepexecutable (Global Realisation Print): given a YAML list of continuous formulas and a JSON array ofTraceMessages, prints only the messages that realise all formulasprettyTraceMessageto serialise via theToJSONinstance directly, enabling round-trip parsingprettySatisfactionResultCommon.hsdocs/formula-languages.txt— ASCII diagram of the full formula language hierarchydocs/ltl-formula-syntax.txtclarifying that thedataprefix is omitted when referencingTraceMessageproperties