Skip to content
BranchesTags

Latest commit

 

History

151 Commits

Folders and files

NameName
Last commit message
Last commit date
reports
reports
 
 
src
src
 
 
tests
tests
 
 
viz
viz
 
 
.gitignore
.gitignore
 
 
CONSEQA_AGENT_CONFLUENCE_HARNESS_IMPLEMENTATION_SPEC.md
CONSEQA_AGENT_CONFLUENCE_HARNESS_IMPLEMENTATION_SPEC.md
 
 
CONSEQA_DSL_SEMANTICS.md
CONSEQA_DSL_SEMANTICS.md
 
 
CONSEQA_INLINE_EXECUTION_AND_TYPED_BINDINGS_REVISION.md
CONSEQA_INLINE_EXECUTION_AND_TYPED_BINDINGS_REVISION.md
 
 
CONSEQA_VIZ.md
CONSEQA_VIZ.md
 
 
Cargo.lock
Cargo.lock
 
 
Cargo.toml
Cargo.toml
 
 
Concise_Conseqa_Outbox_Semantics_Revision.md
Concise_Conseqa_Outbox_Semantics_Revision.md
 
 
Conseqa_Asynchronous_Effect_Execution_Revision_Specification.md
Conseqa_Asynchronous_Effect_Execution_Revision_Specification.md
 
 
Conseqa_External_Boundary_Guarantees_and_Decision_Vocabulary_Revision_Specification.md
Conseqa_External_Boundary_Guarantees_and_Decision_Vocabulary_Revision_Specification.md
 
 
Conseqa_Hierarchical_Semantics_Refactor_Specification.md
Conseqa_Hierarchical_Semantics_Refactor_Specification.md
 
 
Conseqa_Outbox_Semantics_Revision_Specification.md
Conseqa_Outbox_Semantics_Revision_Specification.md
 
 
Conseqa_Serialization_Semantics_Revision.md
Conseqa_Serialization_Semantics_Revision.md
 
 
Conseqa_Transaction_Consistency_and_Ordering_Revision__DSL_v4.md
Conseqa_Transaction_Consistency_and_Ordering_Revision__DSL_v4.md
 
 
Patch_Specification_Topic_Subscription_Runtime_Grouping_and_Ordering_Scope.md
Patch_Specification_Topic_Subscription_Runtime_Grouping_and_Ordering_Scope.md
 
 

About

A semantic architecture model and model checker for LLM coding agents that verifies cross-component correctness (ordering, serialization, concurrency, transaction safety, idempotency, and distributed consistency) and checks whether concrete implementations satisfy application-level guarantees.

Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages