Repository navigation
Conversation
ligurio
force-pushed
the
ligurio/gh-103-check-model
branch
from
September 9, 2026 14:11
535a9bc to
63747c5
Compare
Report a clear error when the selected model cannot check a history, instead of failing with an obscure exception from deep inside a checker (e.g. "No matching clause: :append" when running rw-register on a list-append history). Each model now declares the shape of operation rows it supports (model-specs): transactional histories (:f :txn with micro-operations [f k v]) for rw-register/list-append, micro-operation-valued operations for long-fork, and flat scalar operations for the remaining models. Client operations in a history are validated against the requested model before a checker runs; on a mismatch elle-cli prints a clear message to stderr, hints at the correct model, and exits with status 1. Add regression tests covering cross-model mismatches, including rw-register on an append-register history. Fixes #103
ligurio
force-pushed
the
ligurio/gh-103-check-model
branch
from
September 9, 2026 15:10
63747c5 to
040d9dc
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
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.
Fixes #103