Repository navigation

perf: autoresearch optimization pass — transact & query fast paths - #42

Merged

tiensonqin merged 100 commits into

mainfrom

autoresearch/perf

Oct 10, 2026

Merged

perf: autoresearch optimization pass — transact & query fast paths#42
tiensonqin merged 100 commits into
mainfrom
autoresearch/perf

Commits on Oct 10, 2026
- transact: skip unreachable tempid machinery for non-tempid txs
  tiensonqin
  committed
  e020b9d
- transact: early-out per-tx checks that provably cannot fire
  tiensonqin
  committed
  a3e2665
- transact: fast-path new-entity facts in tx_data assembly
  tiensonqin
  committed
  8410145
- perf: bump persistent-sorted-set pin for add fast path
  tiensonqin
  committed
  fd06fba
- transact: fast-path Retract ops via staged effective view
  tiensonqin
  committed
  db51884
- perf: bump persistent-sorted-set pin for remove branch fusion
  tiensonqin
  committed
  df90dff
- auto: experiment ledger (rounds 1-7)
  tiensonqin
  committed
  53ea8f3
- query: adaptive per-entity seeks in same-entity fast path
  tiensonqin
  committed
  d677674
- auto: round 8 ledger (same-entity adaptive seeks kept)
  tiensonqin
  committed
  e909472
- entity: lean eavt slices + materialized-assoc lookup in entity attrs
  tiensonqin
  committed
  c488bb2
- auto: round 9 keep — entity lean materialization (gpd ~-43%)
  tiensonqin
  committed
  3006d0c
- query: real pull hash in row dedup + per-query pull memo
  tiensonqin
  committed
  1101491
- auto: round 10 keep — pull dedup/hash fix (q143 -77%)
  tiensonqin
  committed
  5b7c1d6
- auto: Q6 done; Q7 where-eval next
  tiensonqin
  committed
  0b31bf5
- query: lean eavt slices in clause-evaluation datoms accessor
  tiensonqin
  committed
  9216904
- auto: round 11 keep — lean datoms for clause eval
  tiensonqin
  committed
  c820b19
- query: memoize clause-eval attr probes per db
  tiensonqin
  committed
  4c782d9
- auto: round 12 keep — memoize clause-eval attr probes
  tiensonqin
  committed
  e47bd48
- query: hoist loop-invariant pure clauses onto the seed binding
  tiensonqin
  committed
  c131f04
- auto: round 13 keep — hoist constant pure clauses
  tiensonqin
  committed
  e6ec9d1
- auto: round 14 revert — shadowed-attrs memo no gain
  tiensonqin
  committed
  303ace7
- auto: ideas — mark Q7 progress
  tiensonqin
  committed
  53e9462
- query: lean (e, a) slice for e-bounded attr pattern probes
  tiensonqin
  committed
  4c69db3
- auto: round 15 keep — lean attr probes for same-entity joins
  tiensonqin
  committed
  4cb998b
- auto: ideas — rounds 11-15 status
  tiensonqin
  committed
  17bf6bb
- pull: dedupe pulled attrs by stable sort instead of O(n^2) remove_assoc
  tiensonqin
  committed
  58db01c
- auto: round 16 keep — sort-based pulled-attr dedupe
  tiensonqin
  committed
  87619d5
- query: per-row eval for or/not branches that are a lone e-bound pattern
  tiensonqin
  committed
  5e25ba9
- auto: round 17 keep — per-row or-branch eval
  tiensonqin
  committed
  7b58a4c
- auto: ideas — cljs upstream comparison + q110 arg caveat
  tiensonqin
  committed
  7449977
- query: no full eavt scan for resolved non-attr terms in attr position
  tiensonqin
  committed
  e991138
- auto: round 18 keep — non-attr attr-position terms
  tiensonqin
  committed
  b80369a
- query: widen per-row branch eval to any e-bound first pattern
  tiensonqin
  committed
  af15129
- auto: round 19 keep — generalized per-row branch eval
  tiensonqin
  committed
  eaf2aa4
- auto: ideas — rounds 16-19 status
  tiensonqin
  committed
  0f0b2be
- pull: fuse pulled-attr dedupe and pull-key sort into one pass
  tiensonqin
  committed
  5dfbc28
- auto: round 20 keep — fused pulled-attr sort-dedupe
  tiensonqin
  committed
  e297c69
- auto: round 21 investigated — conn storage tail writes are fsync-bound
  tiensonqin
  committed
  f7c0cc3
- auto: round 22 investigated — batch wildcard pull neutral at 2025 ids
  tiensonqin
  committed
  d750a2a
- query: fast-path entity collection over single-use value vars
  tiensonqin
  committed
  875e185
- auto: round 23 keep — entity collection over free value vars
  tiensonqin
  committed
  0d274b3
- query: extend free-value-var relaxation to pull fast paths
  tiensonqin
  committed
  62143f5
- auto: round 24 keep — free-var pull matcher coverage
  tiensonqin
  committed
  241ea7a
- query: entity collection fast path accepts single-attr not clauses
  tiensonqin
  committed
  0962a33
- auto: round 25 keep — not-clause entity collection
  tiensonqin
  committed
  4d9dd26
- query: pull matchers accept single-attr not clauses
  tiensonqin
  committed
  5328e33
- auto: round 26 keep — not-clause pull matchers
  tiensonqin
  committed
  32d71bb
- query: collection fast paths accept constant not-value clauses
  tiensonqin
  committed
  7831d40
- auto: round 27 keep — not-value clauses
  tiensonqin
  committed
  3220e1c
- query: collection fast paths accept or-clauses as entity-set unions
  tiensonqin
  committed
  43ffacf
- auto: round 28 keep — or-clause unions
  tiensonqin
  committed
  7f09989
- query: single-var relation queries take the entity-ids fast path
  tiensonqin
  committed
  ace0497
- auto: round 29 keep — relation entity-ids path
  tiensonqin
  committed
  29ad422
- query: scalar find takes the entity-ids fast path
  tiensonqin
  committed
  b1cdce1
- auto: round 30 keep — scalar entity-ids path
  tiensonqin
  committed
  26722e6
- query: missing? clauses map to entity-set subtraction
  tiensonqin
  committed
  95e04f9
- auto: round 31 keep — missing? as Neg
  tiensonqin
  committed
  8030af1
- query: ref-target joins and unified collection matcher
  tiensonqin
  committed
  418029a
- auto: round 32 keep — ref-target joins
  tiensonqin
  committed
  0fd8893
- query: comparison-predicate ranges as entity-set scans
  tiensonqin
  committed
  d934738
- auto: round 33 keep — range predicates
  tiensonqin
  committed
  787efd8
- query: cross-ref joins as value-membership filters
  tiensonqin
  committed
  22afe24
- auto: round 34 keep — cross-ref joins
  tiensonqin
  committed
  528e4f7
- query: input-bound value vars as point lookups
  tiensonqin
  committed
  f3720a7
- auto: round 35 keep — bound value vars
  tiensonqin
  committed
  8baa60d
- query: count/min/max aggregates over entity sets
  tiensonqin
  committed
  d04abe6
- auto: round 36 keep — entity aggregates
  tiensonqin
  committed
  7f81439
- query: two-var relation finds over entity sets
  tiensonqin
  committed
  7650abb
- auto: round 37 keep — two-var finds
  tiensonqin
  committed
  d42ef21
- query: n-var relation finds over entity sets
  tiensonqin
  committed
  433b746
- auto: round 38 keep — n-var finds
  tiensonqin
  committed
  e66f3c0
- query: n-var finds may project an external entity var
  tiensonqin
  committed
  eb2884f
- auto: round 39 keep — external entity var
  tiensonqin
  committed
  f1773de
- query: value-var finds project through the entity matcher
  tiensonqin
  committed
  1acd2cf
- auto: round 40 keep — value-var finds
  tiensonqin
  committed
  19a2963
- query: inline non-recursive rules into the entity matcher
  tiensonqin
  committed
  2d3d36d
- auto: round 41 keep — rule inlining
  tiensonqin
  committed
  d7db3fe
- query: input-bound attr vars resolve to literal attrs
  tiensonqin
  committed
  c89f1d4
- auto: round 42 keep — bound attr vars
  tiensonqin
  committed
  8925bd4
- query: get-else-bound find vars project like value vars
  tiensonqin
  committed
  1943c8c
- auto: round 43 keep — get-else finds
  tiensonqin
  committed
  ea354a5
- auto: ideas backlog — find-shape coverage status
  tiensonqin
  committed
  977223b
- query: collection-bound value vars are membership constraints
  tiensonqin
  committed
  df7527e
- auto: round 44 keep — InColl membership
  tiensonqin
  committed
  784b62f
- query: string/equality predicates on value vars as attr scans
  tiensonqin
  committed
  f2c264f
- auto: round 45 keep — string preds
  tiensonqin
  committed
  aeac47f
- query: contains? on value vars as membership/index-range entries
  tiensonqin
  committed
  4d2b962
- auto: round 46 keep — contains? value vars
  tiensonqin
  committed
  13462ee
- query: resolve db/ident-bound vars + or-bound contains? + cross-ref closure
  tiensonqin
  committed
  43973e6
- auto: round 47 keep — ident vars + or contains + cross closure
  tiensonqin
  committed
  1d2aa53
- auto: ideas.md status after r47
  tiensonqin
  committed
  9bbc33f
- query: branch-local ground eval inside or + missing?-in-branch
  tiensonqin
  committed
  592a0bd
- auto: round 48 keep — or-branch ground eval
  tiensonqin
  committed
  993f46e
- query: seed ValueIn/ref-target inner sets with edge targets
  tiensonqin
  committed
  6019608
- auto: round 49 keep — ValueIn/ref-target seed
  tiensonqin
  committed
  25d343e
- query: run the fast-path ladder from q itself
  tiensonqin
  committed
  bd8c632
- auto: round 50 keep — q fast-path ladder
  tiensonqin
  committed
  5aa7652
- auto: ideas status r50
  tiensonqin
  committed
  06858c1
- auto: ideas next-round anchor
  tiensonqin
  committed
  94ca802
- auto: drop experiment log from the branch
  tiensonqin
  committed
  f0d617b

Commits

Commits on Oct 10, 2026