Repository navigation

feat!: assertions — synalog 2.0 - #13

Merged

YoanSallami merged 44 commits into

mainfrom

feat/v2-assertions

Oct 7, 2026

Merged

feat!: assertions — synalog 2.0#13
YoanSallami merged 44 commits into
mainfrom
feat/v2-assertions

Commits on Oct 3, 2026
- feat!: assertions — synalog 2.0
  
  authored and
  synalinks-saas
  committed
  21c00bc
- docs: an Assertions page; assertions are new in Synalog
  
  synalinks-saas
  and
  claude
  committed
  6b986f8
- test: 110 self-checking .l programs, and the bugs they found
  
  synalinks-saas
  and
  claude
  committed
  58531dd
- fix: bugs found by the self-checking programs
  
  synalinks-saas
  and
  claude
  committed
  d107c04
- test: the self-checking programs as fixtures, on every engine
  
  synalinks-saas
  and
  claude
  committed
  1c77a05
- fix(cli): PostgreSQL works out of the box on macOS and Linux
  
  synalinks-saas
  and
  claude
  committed
  c00382e
- ci: smoke test for check() returning (errors, warnings); psycopg is a dependency
  
  synalinks-saas
  and
  claude
  committed
  3bb1a8c
- docs: the semantic-layer layout is how a Synalog program is written
  
  synalinks-saas
  and
  claude
  committed
  187d7a7
- test(e2e): each fixture runs once per engine, the engines in parallel
  
  synalinks-saas
  and
  claude
  committed
  dc55951
- feat: synalog runs deep recursion until it converges, on every engine
  
  synalinks-saas
  and
  claude
  committed
  1294ab6
- feat: semi-naive evaluation of linear recursion
  
  synalinks-saas
  and
  claude
  committed
  bc05777
- fix(assertions): a report quotes the statement as it was written
  
  authored and
  Yoan
  committed
  a48c9ac
- ci(e2e): bound the step and each test; report why tests fail
  
  synalinks-saas
  and
  claude
  committed
  68eb6a1
Commits on Oct 4, 2026
- ci(e2e): print failures as they happen; time out a test, not its worker
  
  synalinks-saas
  and
  claude
  committed
  9c54d53
- fix: what the live engines showed — e2e grouping, INSERT types, decimals
  
  synalinks-saas
  and
  claude
  committed
  dc685f2
- Merge pull request #14 from SynaLinks/fix/assertion-report-names
  YoanSallami
  authored
  79b5f9e
- fix: Count= exact on every engine; PostgreSQL's ArgMax keeps the value's type
  
  authored and
  Yoan
  committed
  e185864
- test(assertions): fixtures for statements that name imported predicates
  
  authored and
  Yoan
  committed
  d1cfcfe
- fix: an imported predicate goes by the name it was written with
  
  authored and
  Yoan
  committed
  92c5eab
- Merge pull request #15 from SynaLinks/fix/imported-predicate-names
  YoanSallami
  authored
  e5e3747
- fix: recursion on Presto and exact depths; bugs found by 100 new programs
  
  synalinks-saas
  and
  claude
  committed
  03f39a3
- Merge pull request #16 from SynaLinks/test/more-programs
  YoanSallami
  authored
  61d5ad6
Commits on Oct 5, 2026
- fix: bugs found by batch 2 of the test programs, on every engine
  
  authored and
  Yoan
  committed
  f1dbb95
- fix: bugs found by batch 3 of the test programs
  
  synalinks-saas
  and
  claude
  committed
  66043d1
- fix: bugs found by batches 4 to 6 of the test programs
  
  synalinks-saas
  and
  claude
  committed
  34e64c4
- fix: bugs found by batches 6 and 7, knowledge-graph programs and assertions
  
  synalinks-saas
  and
  claude
  committed
  388ab50
- feat: warn on contradictory rules; ground reused predicates on Presto/Trino; batch 8
  
  synalinks-saas
  and
  claude
  committed
  65693f1
- fix: bugs found by program batches 9-19; assertion language tests
  
  synalinks-saas
  and
  claude
  committed
  da6fe46
- fix: Today and Now in UTC everywhere; a combine as an argument; batches 18-19
  
  synalinks-saas
  and
  claude
  committed
  fee04c6
- test: modules and pipelines programs (batches 20-21)
  
  synalinks-saas
  and
  claude
  committed
  d3d2c48
- fix: SQL injection hardening, one number text everywhere, safe assertion reports
  
  synalinks-saas
  and
  claude
  committed
  fe43793
Commits on Oct 6, 2026
- fix: fourteen more batches of programs, and what they found
  
  synalinks-saas
  and
  claude
  committed
  61928b7
Commits on Oct 7, 2026
- fix: thirteen more batches of programs, what they found, and the docs they missed
  
  synalinks-saas
  and
  claude
  committed
  001412c
- ci: run the end-to-end tests in one job per engine
  
  synalinks-saas
  and
  claude
  committed
  89c6c31
- fix(types): type inference converges when a null meets a typed value
  
  synalinks-saas
  and
  claude
  committed
  9a43692
- perf: compile five times faster
  
  synalinks-saas
  and
  claude
  committed
  c27d737
- perf: fewer copies in functors, the type graph and variable elimination
  
  synalinks-saas
  and
  claude
  committed
  890cf60
- fix(sqlite): a number's text nests less, for SQLite before 3.46
  
  synalinks-saas
  and
  claude
  committed
  eb42b11
- fix: a number's text rounded exactly, the same on every engine
  
  synalinks-saas
  and
  claude
  committed
  f14b8b8
- fix(sqlite): float literals every SQLite reads as the same double
  
  synalinks-saas
  and
  claude
  committed
  9d28022
- perf: a recursion step alternates two tables instead of copying one
  
  synalinks-saas
  and
  claude
  committed
  291a973
- Merge pull request #17 from SynaLinks/test/more-programs-2
  YoanSallami
  authored
  45be0a3
- ci: split the Trino, Presto and Spark end-to-end tests in three jobs each
  
  synalinks-saas
  and
  claude
  committed
  7dcd58f
- Merge pull request #18 from SynaLinks/ci/shard-e2e
  YoanSallami
  authored
  f7f6e2e

Commits

Commits on Oct 3, 2026

Commits on Oct 4, 2026

Commits on Oct 5, 2026

Commits on Oct 6, 2026

Commits on Oct 7, 2026