Git-style visual diffs for SQLite databases. Inspect, compare, snapshot, and generate SQL migrations.
Structured case graph CLI for HigherGraphen.
Conservative abstract interpretation summaries for HigherGraphen.
Cautious causal graph reasoning records for HigherGraphen.
Completion candidates, rules, engine, and review workflow for HigherGraphen.
Bayesian-inspired confidence update records for HigherGraphen.
Context, section, restriction, cover, and gluing checks for HigherGraphen.
Shared primitive types and contracts for HigherGraphen.
Evidence, confidence, causal, and prover bridge records for HigherGraphen.
Domain interpretation packages, templates, mappings, projections, and lift adapters for HigherGraphen.
Invariants, constraints, invariant checks, and constraint check results for HigherGraphen.
Bounded finite-state model checking substrate for HigherGraphen.
No description provided.
No description provided.