Repository navigation

feat(oracles): require every oracle test to reach a declared part - #2278

Merged

KyleAMathews merged 273 commits into

mainfrom

feat/oracle-declared-check

Oct 28, 2026

Merged

feat(oracles): require every oracle test to reach a declared part#2278
KyleAMathews merged 273 commits into
mainfrom
feat/oracle-declared-check

This pull request is big! We're only showing the most recent 250 commits

Commits on Oct 26, 2026
- docs(oracles): say that a generated property can state its law inline
  
  Test
  and
  Isaac
  committed
  55a3c53
- test(oracles): move unit tests out of collection-state-retention oracle
  
  Test
  and
  Isaac
  committed
  003a8b6
- test(oracles): declare the btree map refinement check and model
  
  Test
  and
  Isaac
  committed
  557b048
- test(oracles): move unit tests out of SortedMap oracle
  
  Test
  and
  Isaac
  committed
  fcac7be
- test(oracles): move unit tests out of change-event history oracle
  
  Test
  and
  Isaac
  committed
  967d202
- test(oracles): move unit tests out of collection-index-value oracle
  
  Test
  and
  Isaac
  committed
  077896f
- test(oracles): declare effect disposal caller and report checks
  
  Test
  and
  Isaac
  committed
  28da04c
- test(oracles): declare truncate readiness status model and checks
  
  Test
  and
  Isaac
  committed
  98faa80
- test(oracles): declare duration equality model and key-set check
  
  Test
  and
  Isaac
  committed
  7aa6596
- test(oracles): move unit tests out of index suggestion oracle
  
  Test
  and
  Isaac
  committed
  71b56f1
- test(oracles): declare hydration authority model and checks
  
  Test
  and
  Isaac
  committed
  748a209
- test(oracles): rename preload identity file as an ordinary test
  
  Test
  and
  Isaac
  committed
  eb213c7
- test(oracles): move unit tests out of local-only direct-write oracle
  
  Test
  and
  Isaac
  committed
  3d7b265
- test(oracles): move unit tests out of reverse-index oracle
  
  Test
  and
  Isaac
  committed
  9d1443d
- test(oracles): declare live-query observer snapshot checks and model
  
  Test
  and
  Isaac
  committed
  230d770
- test(oracles): declare cleanup queue state check and model
  
  Test
  and
  Isaac
  committed
  4341b6c
- test(oracles): declare outcome checker and move cleanup self-test
  
  Test
  and
  Isaac
  committed
  63b93de
- test(oracles): declare production error message checks
  
  Test
  and
  Isaac
  committed
  9698366
- test(oracles): declare optimistic ownership model and move scenario tests
  
  Test
  and
  Isaac
  committed
  229fc48
- test(oracles): move unit tests out of proxy native-methods oracle
  
  Test
  and
  Isaac
  committed
  9e5400e
- test(oracles): declare only the proxy native-methods checks
  
  Test
  and
  Isaac
  committed
  9b7b2a5
- test(oracles): move unit tests out of cursor oracle
  
  Test
  and
  Isaac
  committed
  cec51f4
- test(oracles): rename temporal index order file as an ordinary test
  
  Test
  and
  Isaac
  committed
  59a35a9
- test(oracles): rename mutation handler type file as an ordinary test
  
  Test
  and
  Isaac
  committed
  bb53bb8
- test(oracles): move unit tests out of proxy iteration oracle
  
  Test
  and
  Isaac
  committed
  f38503a
- test(oracles): move unit tests out of proxy detachment oracle
  
  Test
  and
  Isaac
  committed
  238c4c9
- test(oracles): move unit tests out of flat change tracking oracle
  
  Test
  and
  Isaac
  committed
  bc78d85
- test(oracles): move unit tests out of subscription reentrancy oracle
  
  Test
  and
  Isaac
  committed
  be96847
- test(oracles): declare row metadata composition model, check, and grammar
  
  Test
  and
  Isaac
  committed
  2caec30
- test(oracles): declare native write model and move member-literal tests
  
  Test
  and
  Isaac
  committed
  ebf008a
- test(oracles): share cursor orderBy helper with the moved buildCursor test
  
  Test
  and
  Isaac
  committed
  577319d
- test(oracles): declare transaction ownership driver and model
  
  Test
  and
  Isaac
  committed
  4611b1e
- test(oracles): declare proxy revert checks, model, and grammar; move unit tests
  
  Test
  and
  Isaac
  committed
  5ed3f0e
- test(oracles): declare proxy callback, native-row checks; move unit tests
  
  Test
  and
  Isaac
  committed
  75386c7
- test(oracles): declare observer history checks and model; move stale-ready test
  
  Test
  and
  Isaac
  committed
  41aa4ef
- test(oracles): rename mutation startup file as an ordinary test
  
  Test
  and
  Isaac
  committed
  d9f3053
- test(oracles): move metadata world alias test to an ordinary test file
  
  Test
  and
  Isaac
  committed
  62ef282
- test(oracles): declare metadata publication driver and cancellation checks
  
  Test
  and
  Isaac
  committed
  fcf6241
- test(oracles): declare comparison law checks; move literal comparison tests
  
  Test
  and
  Isaac
  committed
  fff38c3
- test(oracles): declare cleanup boundary model and check; move unit tests out of cleanup-restart oracle
  
  Test
  and
  Isaac
  committed
  7a8f78e
- test(oracles): declare replay drivers and publication model; move unit tests out of replay oracle
  
  Test
  and
  Isaac
  committed
  d594651
- test(oracles): declare D2 reconciliation checks, model, and grammar; move unit tests out of D2 oracle
  
  Test
  and
  Isaac
  committed
  c2228cf
- test(oracles): declare listener history driver, overlay model, and grammars; move unit tests out of sync reentrancy oracle
  
  Test
  and
  Isaac
  committed
  755ba4b
- test(oracles): declare deferred acquisition drivers and model; move pinned tests out of deferred acquisition oracle
  
  Test
  and
  Isaac
  committed
  2fe95f3
- test(oracles): restore cleanup admission tests to their model comparisons
  
  Test
  and
  Isaac
  committed
  1986aad
- test(oracles): declare paced timeline, held-pacing, and settlement parts; move unit tests out of paced mutations oracle
  
  Test
  and
  Isaac
  committed
  0918cbc
- test(oracles): declare publication check, model, and grammar; move unit tests out of publication oracle
  
  Test
  and
  Isaac
  committed
  d225039
- test(oracles): move literal deepEquals cases out of utils oracle
  
  Test
  and
  Isaac
  committed
  ecb51f0
- test(oracles): declare index update parts; move unit tests out of index update oracle
  
  Test
  and
  Isaac
  committed
  ed46af2
- test(oracles): declare subscription lifecycle parts; move unit tests and cell witnesses out of the oracle file
  
  Test
  and
  Isaac
  committed
  a6f2ae4
- test(oracles): move unit tests out of live-updates oracle suite
  
  Test
  and
  Isaac
  committed
  fe8f6f5
- test(oracles): move unit tests out of electric descriptor oracle
  
  Test
  and
  Isaac
  committed
  14acb44
- test(oracles): rename electric lifecycle calibration as not an oracle
  
  Test
  and
  Isaac
  committed
  49938e9
- test(oracles): declare the Vue publication check
  
  Test
  and
  Isaac
  committed
  3499a02
- test(oracles): rename svelte descriptor release file as not an oracle
  
  Test
  and
  Isaac
  committed
  780e8aa
- test(oracles): declare the paced mutation driver and its model
  
  Test
  and
  Isaac
  committed
  f211ff3
Commits on Oct 27, 2026
- test(oracles): declare the connectivity replay model
  
  Test
  and
  Isaac
  committed
  58dd1d5
- test(oracles): declare the optimistic refetch window model
  
  Test
  and
  Isaac
  committed
  0a1f14a
- test(oracles): declare the SSR hydrated-row check
  
  Test
  and
  Isaac
  committed
  112d1d1
- test(oracles): move cursor boundary unit tests out of the oracle file
  
  Test
  and
  Isaac
  committed
  2ab3ece
- test(oracles): declare the interruption settlement check
  
  Test
  and
  Isaac
  committed
  0cfae76
- test(oracles): move large-page and repeated-cursor tests out of the cursor oracle
  
  Test
  and
  Isaac
  committed
  158527b
- test(oracles): move the shallow-peer delivery test out of the integration oracle
  
  Test
  and
  Isaac
  committed
  0108817
- test(oracles): declare the predicate evaluator; move two pinned PostgreSQL checks
  
  Test
  and
  Isaac
  committed
  4228180
- test(oracles): declare the PostgreSQL array check; move pinned serializer tests
  
  Test
  and
  Isaac
  committed
  2f3405e
- test(oracles): declare render-cut checks and models; move GC and startup-error pins
  
  Test
  and
  Isaac
  committed
  5ae75d9
- test(oracles): declare the source reuse check; move pinned source-ID tests
  
  Test
  and
  Isaac
  committed
  3436e50
- test(oracles): rename the PowerSync correctness file as not an oracle
  
  Test
  and
  Isaac
  committed
  9470b64
- test(oracles): declare the descriptor model; move pinned descriptor tests
  
  Test
  and
  Isaac
  committed
  2d67810
- test(oracles): drop a duplicate row type from the source ID test file
  
  Test
  and
  Isaac
  committed
  4220790
- test(oracles): move the restarted-source pin out of the render-cut oracle
  
  Test
  and
  Isaac
  committed
  aa685c9
- fix(lint): count a .prop registration with a named predicate
  
  Test
  and
  Isaac
  committed
  604b76a
- test(oracles): declare the refetch prefix check and models; move two unit tests
  
  Test
  and
  Isaac
  committed
  a1cd894
- test(oracles): declare the direct-write matrix checks; move precedence and harness tests
  
  Test
  and
  Isaac
  committed
  2b4e138
- test(oracles): declare the KeyScheduler run check and model; move the selective-removal unit test
  
  Test
  and
  Isaac
  committed
  e09f624
- test(oracles): declare the persisted restart and publication checks; move four hand-written recovery tests
  
  Test
  and
  Isaac
  committed
  ab58f22
- test(oracles): declare the TrailBase lifecycle checks; move the startup cancellation control
  
  Test
  and
  Isaac
  committed
  9c6ff2c
- test(oracles): declare the installed-SDK checks; move six hand-written delivery cases
  
  Test
  and
  Isaac
  committed
  11fd3a1
- test(oracles): keep two moved SDK cases byte-identical under prettier-ignore
  
  Test
  and
  Isaac
  committed
  4aa4556
- test(oracles): declare the ledger fold model; move fifteen hand-written leadership cases
  
  Test
  and
  Isaac
  committed
  de30035
- test(oracles): format the moved SDK delivery cases normally
  
  Test
  and
  Isaac
  committed
  cb8ff1d
- test(oracles): restore the scoped-restart quarantine test as a unit test
  
  Test
  and
  Isaac
  committed
  2a7515c
- test(oracles): declare the settlement checks and models; move twenty hand-written settlement cases
  
  Test
  and
  Isaac
  committed
  eaa2697
- test(oracles): declare the serializer check; move 28 hand-written serializer cases
  
  Test
  and
  Isaac
  committed
  8739a97
- test(oracles): declare the Electric checks and models; move 56 hand-written adapter registrations
  
  Test
  and
  Isaac
  committed
  93e3a89
- test(oracles): stop declaring the Electric trace runners as checks
  
  Test
  and
  Isaac
  committed
  f745bae
- test(oracles): rename load-subset lifecycle file as not an oracle
  
  Test
  and
  Isaac
  committed
  7ce52cd
- test(oracles): declare the ownership checks and models; move 138 hand-written ownership cases
  
  Test
  and
  Isaac
  committed
  b050e2c
- test(oracles): move unit tests out of browser OPFS e2e oracle files
  
  Test
  and
  Isaac
  committed
  7500aa5
- test(oracles): move unit tests out of browser coordinator and OPFS oracle files
  
  Test
  and
  Isaac
  committed
  c5c8076
- test(oracles): move unit tests out of SQLite core oracle files
  
  Test
  and
  Isaac
  committed
  da4cd50
- test(oracles): declare the Electron reload checkpoint as an oracle part
  
  Test
  and
  Isaac
  committed
  49e9544
- test(oracles): stop declaring the typed-value assertion helper as a check
  
  Test
  and
  Isaac
  committed
  7c66889
- test(oracles): stop declaring the settlement-set helper as a check
  
  Test
  and
  Isaac
  committed
  5d04063
- test(oracles): declare the Electron readiness comparisons and models
  
  Test
  and
  Isaac
  committed
  9a8d6d1
- test(oracles): move the boolean-arity scenario tests to an ordinary file
  
  Test
  and
  Isaac
  committed
  2026c01
- test(oracles): declare the fairness grammars; move replay config tests
  
  Test
  and
  Isaac
  committed
  f4618af
- test(oracles): move the hand-written scheduling scenarios to an ordinary file
  
  Test
  and
  Isaac
  committed
  2106687
- test(oracles): declare the ordinary-work companion; move its unit tests
  
  Test
  and
  Isaac
  committed
  bae67e9
- test(oracles): declare the resume-snapshot checks and move unit scenarios
  
  Test
  and
  Isaac
  committed
  b7b7e78
- test(oracles): split the sqlite core adapter contract out of the oracle file
  
  Test
  and
  Isaac
  committed
  f3cc214
- test(oracles): declare the expression-index checks; move unit scenarios
  
  Test
  and
  Isaac
  committed
  e8fb023
- test(oracles): declare the alias reference model; move op-sqlite unit tests
  
  Test
  and
  Isaac
  committed
  f2859ab
- test(oracles): move unit tests out of the browser coordinator oracle
  
  Test
  and
  Isaac
  committed
  294c037
- fix(lint): follow each-table rows when a test reaches an oracle part
  
  Test
  and
  Isaac
  committed
  6b50bf7
- test(oracles): move persisted-oracle unit tests to ordinary files
  
  Test
  and
  Isaac
  committed
  0c0e2f7
- test(oracles): declare the virtual field classification; move the cleanup self-test
  
  Test
  and
  Isaac
  committed
  9870dbf
- test(oracles): declare the pooled release differential; move fixed-scenario gcTime tests
  
  Test
  and
  Isaac
  committed
  90f3cce
- test(oracles): declare the staged window model and grammar; move fixed-scenario loader tests
  
  Test
  and
  Isaac
  committed
  693c614
- test(oracles): declare the rank window model and check
  
  Test
  and
  Isaac
  committed
  f94bcff
- test(oracles): declare the abort receipt model; move the pre-start abort test
  
  Test
  and
  Isaac
  committed
  050759b
- test(oracles): declare the path and selected-order models; move the cleanup self-test
  
  Test
  and
  Isaac
  committed
  0f3a9ef
- test(oracles): declare the join pair driver and model
  
  Test
  and
  Isaac
  committed
  9e485ed
- test(oracles): declare the in-evaluator check and reference model
  
  Test
  and
  Isaac
  committed
  5c13c5e
- test(oracles): declare the pooled publication checks and models
  
  Test
  and
  Isaac
  committed
  21317bc
- test(oracles): declare the mixed-order corpus driver as the check
  
  Test
  and
  Isaac
  committed
  f580f95
- test(oracles): declare the readiness source model; move the join outcome tests
  
  Test
  and
  Isaac
  committed
  cffd792
- test(oracles): declare the Row type in the moved ordinary tests
  
  Test
  and
  Isaac
  committed
  1dbdf1c
- test(oracles): move the fixed root-shape test out of the virtual field oracle
  
  Test
  and
  Isaac
  committed
  380cc10
- test(oracles): declare the shape and compound join models; move the fixed equality pairs
  
  Test
  and
  Isaac
  committed
  92bfa36
- test(oracles): declare the LIKE check, model, and grammar; move the evaluator unit tests
  
  Test
  and
  Isaac
  committed
  8c4e8e5
- test(oracles): declare the aggregate, pushdown, and join models; move the fixed witnesses
  
  Test
  and
  Isaac
  committed
  d8ab747
- test(oracles): declare the functional projection model; move the unit tests
  
  Test
  and
  Isaac
  committed
  a59199c
- fix(lint): count only functions in an each table as reaching a part
  
  Test
  and
  Isaac
  committed
  20999ee
- test(oracles): declare the route-context grammar and models; move the unit tests
  
  Test
  and
  Isaac
  committed
  08d34a0
- test(oracles): declare the temporal readiness and lagging-source models; move the unit tests
  
  Test
  and
  Isaac
  committed
  91f5cc3
- test(oracles): declare the derived-delete check and model; move the unit tests
  
  Test
  and
  Isaac
  committed
  b96bfb0
- test(oracles): declare the aggregate select check and models; move the unit test
  
  Test
  and
  Isaac
  committed
  c869d1c
- test(oracles): declare the alias grid check and model; move the unit tests
  
  Test
  and
  Isaac
  committed
  72fa174
- test(oracles): declare the optimistic relationship check and model; move the harness test
  
  Test
  and
  Isaac
  committed
  2505704
- test(oracles): declare the WHERE publication check and models; move the witness tests
  
  Test
  and
  Isaac
  committed
  95de6c7
- test(oracles): move the fixed replay refinement tests; declare the ordered check
  
  Test
  and
  Isaac
  committed
  a001439
- test(oracles): declare the pagination window model and driver; move the unit tests
  
  Test
  and
  Isaac
  committed
  c763ada
- test(oracles): declare the query-shape check and models; move the cleanup harness test
  
  Test
  and
  Isaac
  committed
  2961170
- test(oracles): declare the DISTINCT check and model; move the user-row unit tests
  
  Test
  and
  Isaac
  committed
  d642a31
- test(oracles): declare the cold-join and compound checks and models; move the unit tests
  
  Test
  and
  Isaac
  committed
  848ac7f
- fix(lint): ignore parameter reach for helpers imported from another module
  
  Test
  and
  Isaac
  committed
  75d6357
- test(oracles): stop declaring the shared trace runner as a query-shape check
  
  Test
  and
  Isaac
  committed
  ab2a0bf
- test(oracles): declare the LocalStorage order model; move fixed-scenario tests
  
  Test
  and
  Isaac
  committed
  dfd690e
- test(oracles): declare the LocalStorage peer model; move fixed-scenario tests
  
  Test
  and
  Isaac
  committed
  74314d8
- test(oracles): declare the value-fidelity check and model
  
  Test
  and
  Isaac
  committed
  ae5d3e9
- test(oracles): name the held-repair reference as a declared model
  
  Test
  and
  Isaac
  committed
  307138d
- test(oracles): declare the route-work model at top level
  
  Test
  and
  Isaac
  committed
  3edb7ec
- test(oracles): declare the facade-count model; move setup and literal tests
  
  Test
  and
  Isaac
  committed
  41124ef
- test(oracles): name the aggregate and findOne references as models
  
  Test
  and
  Isaac
  committed
  98b0a64
- test(oracles): declare the publication check and model
  
  Test
  and
  Isaac
  committed
  117ddfa
- test(oracles): declare the multi-order check and reference
  
  Test
  and
  Isaac
  committed
  4309596
- test(oracles): rename the LocalStorage peer file as not an oracle
  
  Test
  and
  Isaac
  committed
  393dbff
- test(oracles): declare the work-counter checks, model, and grammar; move unit tests
  
  Test
  and
  Isaac
  committed
  c11ba0b
- test(oracles): declare the cross-formulation checks and models; move unit tests
  
  Test
  and
  Isaac
  committed
  084b981
- test(oracles): declare the facade rollback check and model; move unit tests
  
  Test
  and
  Isaac
  committed
  e4efbd6
- fix(lint): check that a named property predicate reads its input
  
  Test
  and
  Isaac
  committed
  155922c
- test(oracles): declare the ordered work checks and models; move unit tests
  
  Test
  and
  Isaac
  committed
  c2fb295
- test(oracles): declare the lifecycle checks and models; move unit tests
  
  Test
  and
  Isaac
  committed
  64659bd
- test(oracles): declare the transaction drivers and typed-key model; move unit tests
  
  Test
  and
  Isaac
  committed
  869c004
- test(oracles): declare the exact demand checks; move unit tests
  
  Test
  and
  Isaac
  committed
  a67f314
- test(oracles): declare the request-authority check; move unit tests
  
  Test
  and
  Isaac
  committed
  c3dfaeb
- test(oracles): declare the facade model; move unit tests
  
  Test
  and
  Isaac
  committed
  70bcc81
- test(oracles): move unit tests out of ordered-source-loader-state-oracle
  
  Test
  and
  Isaac
  committed
  31e53a8
- test(oracles): move facade row-cloning unit test to includes-collection
  
  Test
  and
  Isaac
  committed
  802a13d
- test(oracles): declare includes recompute model and sibling grammar; move unit tests
  
  Test
  and
  Isaac
  committed
  b6f935a
- test(oracles): move trace-driver unit tests out of includes oracle
  
  Test
  and
  Isaac
  committed
  269961a
- test(oracles): declare alias-scope models; move unit tests out of alias shadowing oracle
  
  Test
  and
  Isaac
  committed
  9eec5e7
- Revert "test(oracles): move trace-driver unit tests out of includes oracle"
  
  Test
  and
  Isaac
  committed
  056b21b
- test(oracles): declare the output-denotation check and model; move unit tests
  
  Test
  and
  Isaac
  committed
  57747a6
- test(oracles): stop declaring the IR output comparison as a check
  
  Test
  and
  Isaac
  committed
  cb2f1a1
- test(oracles): rename D2 work test as not an oracle
  
  Test
  and
  Isaac
  committed
  8172a54
- test(oracles): declare the ordered history grammar for incrementalization laws
  
  Test
  and
  Isaac
  committed
  7c958d6
- test(oracles): declare the murmur stream digest check
  
  Test
  and
  Isaac
  committed
  0814f89
- test(oracles): declare the top-K relation checker for support windows
  
  Test
  and
  Isaac
  committed
  7695bf6
- test(oracles): declare the temporal group model; move serialization unit test
  
  Test
  and
  Isaac
  committed
  79b17f2
- test(oracles): declare the index refinement check, model, and grammar
  
  Test
  and
  Isaac
  committed
  0fa8959
- test(oracles): declare the top-K relation checker for its calibrations
  
  Test
  and
  Isaac
  committed
  0edc725
- test(oracles): declare the key-order check; move helper-only hash tests
  
  Test
  and
  Isaac
  committed
  2534212
- fix(lint): match an exported class to its declaration
  
  Test
  and
  Isaac
  committed
  9bfc377
- test(oracles): declare the retry check and model; move the shrink self-test
  
  Test
  and
  Isaac
  committed
  7beb15c
- test(oracles): declare the mixed-graph check and its topology and unfolding models
  
  Test
  and
  Isaac
  committed
  f74b35b
- test(oracles): declare the identity check and normal-form model; move hand-written identity tests
  
  Test
  and
  Isaac
  committed
  0dcbd63
- test(oracles): declare the graph check and models; move unit tests to hash-graph.test.ts
  
  Test
  and
  Isaac
  committed
  78d3717
- test(oracles): declare the consolidation check, model, and grammar; move the snapshot self-test
  
  Test
  and
  Isaac
  committed
  9eba5ec
- test(oracles): move six fixed top-K batch tests to topk-batch.test.ts
  
  Test
  and
  Isaac
  committed
  b4b67a2
- test(oracles): declare the identity checks, model, and grammar; move five unit tests
  
  Test
  and
  Isaac
  committed
  3853470
- test(oracles): move sixteen fixed top-K window tests to topKWithFractionalIndex.test.ts
  
  Test
  and
  Isaac
  committed
  0ac06e8
- test(oracles): declare the settled-history driver and manual model; move three legacy and one assertion test
  
  Test
  and
  Isaac
  committed
  7f66886
- test(oracles): rename compatibility file as not an oracle
  
  Test
  and
  Isaac
  committed
  431bbaf
- test(oracles): rename deletion-queue file as not an oracle
  
  Test
  and
  Isaac
  committed
  8131cfc
- test(oracles): declare the local write fold model; move three scenario tests
  
  Test
  and
  Isaac
  committed
  708afed
- test(oracles): declare the native outcome fold; move eight scenario groups
  
  Test
  and
  Isaac
  committed
  87429ef
- test(oracles): rename settlement file as not an oracle
  
  Test
  and
  Isaac
  committed
  3c87c56
- test(oracles): declare the wrapper settlement conjunction as the model
  
  Test
  and
  Isaac
  committed
  3ae787d
- test(oracles): declare two peer-edit folds as models; move 29 scenario tests
  
  Test
  and
  Isaac
  committed
  fecbc34
- test(oracles): move two unit tests out of the cross-tab native spec
  
  Test
  and
  Isaac
  committed
  62f71c0
- test(oracles): declare the first-open model; move the foreign-alias witness
  
  Test
  and
  Isaac
  committed
  e8d3cd6
- test(oracles): rename host spec as not an oracle
  
  Test
  and
  Isaac
  committed
  bc072b7
- test(oracles): point the value spec comment at the renamed compatibility file
  
  Test
  and
  Isaac
  committed
  832e89c
- test(oracles): declare the infinite-query oracle parts; move eight unit scenarios
  
  Test
  and
  Isaac
  committed
  00df818
- feat(lint): let a type-level oracle declare its model types
  
  Test
  and
  Isaac
  committed
  23f5f5d
- test(oracles): declare the virtual row field type models
  
  Test
  and
  Isaac
  committed
  d78a303
- chore(tests): point oracle scripts and runners at the moved tests
  
  Test
  and
  Isaac
  committed
  1091151
- docs(oracles): mark renamed owners as fixed tests and point moved laws at their files
  
  Test
  and
  Isaac
  committed
  3aac9f1
- docs(oracles): stop claiming a PowerSync oracle campaign
  
  Test
  and
  Isaac
  committed
  f75802e
- fix(tests): keep declareOracle out of the Node-only oracle config
  
  Test
  and
  Isaac
  committed
  e08019a
- test(oracles): point moved replay properties at their new files
  
  Test
  and
  Isaac
  committed
  9054349
- Merge branch 'main' into feat/oracle-replay-selection
  
  Test
  and
  Isaac
  committed
  e74f95e
- test(oracles): type the extracted Electric move-out rows
  
  Test
  and
  Isaac
  committed
  9cdb3b9
- Merge branch 'feat/oracle-replay-selection' into feat/oracle-type-model
  
  Test
  and
  Isaac
  committed
  ac5a423
- Merge commit '7e46f81ad' (squashed #2237) into feat/oracle-type-model
  
  Test
  and
  Isaac
  committed
  6f2e056
- Merge remote-tracking branch 'origin/main' into feat/oracle-type-model
  
  Test
  and
  Isaac
  committed
  61584ad
- test(oracles): follow the live-updates registration order in the conformance manifest
  
  Test
  and
  Isaac
  committed
  f808a2b
- docs(oracles): drop stale oracle claims for demoted Svelte and PowerSync files
  
  Test
  and
  Isaac
  committed
  66794a9
- test(oracles): run lint-rule suites under vitest and rename them by law
  
  Test
  and
  Isaac
  committed
  d968b2d
- test(oracles): restore the lint-rule test filenames
  
  Test
  and
  Isaac
  committed
  d6bbdc9
- test(oracles): generate declared-reach histories for oracle files (RED)
  
  Test
  and
  Isaac
  committed
  4d2f746
- fix(oracles): resolve declared reach across cycles and per lint, and check every registration
  
  Test
  and
  Isaac
  committed
  997ec2c
- refactor(oracles): register SQLite and infinite-suite unit tests from ordinary runners
  
  Test
  and
  Isaac
  committed
  20c1ee3
- test(oracles): generate caller-passed registration bodies (RED)
  
  Test
  and
  Isaac
  committed
  cf02949
- fix(oracles): judge a caller-passed body at the call, not the helper import
  
  Test
  and
  Isaac
  committed
  ef70def
- refactor(oracles): register the op-sqlite columnar contract suite from the ordinary test
  
  Test
  and
  Isaac
  committed
  e86ecba
- refactor(oracles): register the live-updates unit tests from each consumer
  
  Test
  and
  Isaac
  committed
  9c6713f
- fix(oracles): track run budgets defined in modules the oracle imports
  
  Test
  and
  Isaac
  committed
  ee4525c
- style(oracles): format the run-budget replay owner
  
  Test
  and
  Isaac
  committed
  305a918
- test(oracles): move the literal-table tests out of local-storage-order-oracle
  
  Test
  and
  Isaac
  committed
  e39e0bf
- test(oracles): move the hydration-commit literal table to its ordinary spec
  
  Test
  and
  Isaac
  committed
  c63eace
- test(oracles): move the source-reconciliation table test out of persisted-oracle
  
  Test
  and
  Isaac
  committed
  6bfeefd
- test(oracles): move the leadership-need table and compareNeedPosts to the ordinary coordinator test
  
  Test
  and
  Isaac
  committed
  74ccd30
- test(oracles): undeclare the nullable palette table in ordered-lifecycle-oracle
  
  Test
  and
  Isaac
  committed
  3250f56
- test(oracles): undeclare the constant handler-identity prediction in ownership-lifecycle
  
  Test
  and
  Isaac
  committed
  7f69237
- docs(oracles): state that a literal table is not a model
  
  Test
  and
  Isaac
  committed
  5e75761
- fix(oracles): lint the oracle files that depend on an edited test module
  
  Test
  and
  Isaac
  committed
  9864d52
Commits on Oct 28, 2026
- test(oracles): register the lint-scope oracle property
  
  Test
  and
  Isaac
  committed
  e825f7f
- test(oracles): declare the nullable-order comparator as the palette model
  
  Test
  and
  Isaac
  committed
  3e8a99c
- docs(oracles): point the hydration-commit coverage entry at its fixed tests
  
  Test
  and
  Isaac
  committed
  6d472ac
- docs(oracles): credit the moved table tests to their fixed-test files
  
  Test
  and
  Isaac
  committed
  6f55107
- fix(oracles): track run budgets through support modules and report removals
  
  Test
  and
  Isaac
  committed
  55247a9
- fix(oracles): lint new, untracked, and JavaScript oracle files after an edit
  
  Test
  and
  Isaac
  committed
  add02ab
- fix(oracles): replay script oracles from their own directory
  
  Test
  and
  Isaac
  committed
  6a5cec9
- fix(oracles): judge every import form, driver binding, and helper layout in no-unit-test
  
  Test
  and
  Isaac
  committed
  807ac65
- Merge origin/main (#2168) into feat/oracle-declared-check
  
  Test
  and
  Isaac
  committed
  883597e
- Merge branch 'wip/oracle-scripts-r2' into feat/oracle-declared-check
  Test
  committed
  b4bb296
- Merge branch 'wip/oracle-rule-r2' into feat/oracle-declared-check
  Test
  committed
  4603112
- test(oracles): lint JavaScript oracle files and rename the fixed action-enforcement tests
  
  Test
  and
  Isaac
  committed
  4bb1c04
- test(oracles): return the generation-notice campaigns to persisted-oracle
  
  Test
  and
  Isaac
  committed
  4f47f1f
- test(oracles): return the generated descriptor-write property to the detachment oracle
  
  Test
  and
  Isaac
  committed
  05e4dcd
- docs(oracles): record helper-computed run budgets as a run-budget tracking limit
  
  Test
  and
  Isaac
  committed
  15a725e
- test(oracles): name persisted-oracle as the generation-notice replay owner
  
  Test
  and
  Isaac
  committed
  6681945
- refactor(oracles): apply the review's simplifications
  
  Test
  and
  Isaac
  committed
  8821300
- docs(oracles): record the aggregate select oracle's rare reach miss
  
  Test
  and
  Isaac
  committed
  2d448f7
- Merge origin/main (#2230) into feat/oracle-declared-check
  
  Test
  and
  Isaac
  committed
  2092422
- ci: apply automated fixes
  autofix-ci[bot]
  authored
  640368a
- test(trailbase): import ListResponse in the ordinary lifecycle tests
  
  Test
  and
  Isaac
  committed
  93a698a

Commits

Commits on Oct 26, 2026

Commits on Oct 27, 2026