Repository navigation

wpfacts, codegen: an element site consumes its key's interval: an int32 key takes no normalizer, a non-negative one no sign test (key signs) - #14458

Merged

proggeramlug merged 7 commits into

mainfrom

perf/index-sign-proof

Nov 11, 2026

Merged

wpfacts, codegen: an element site consumes its key's interval: an int32 key takes no normalizer, a non-negative one no sign test (key signs)#14458
proggeramlug merged 7 commits into
mainfrom
perf/index-sign-proof

Commits on Nov 11, 2026
- wpfacts, codegen: an element site consumes its key's int32 interval (key signs; WIP, not built)
  Ralph Küpper
  committed
  7176464
- wpfacts: a key sign is the key node's own Number interval (a string that names an index has none)
  Ralph Küpper
  committed
  88a78d4
- rustfmt on the key-sign hunks
  Ralph Küpper
  committed
  7c512bc
- Merge remote-tracking branch 'origin/main' into perf/index-sign-proof
  Ralph Küpper
  committed
  b051c69
- codegen: a PutValue element store keeps its site offset on the index-set fast path, so its key fact applies; wpfacts key-sign tests use two callers
  Ralph Küpper
  committed
  d6b8328
- parity: the key-sign fixture's Ring is an at-rest Array (int consumers), so the at-rest read consumes its key fact
  Ralph Küpper
  committed
  c8adb42
- Merge remote-tracking branch 'origin/main' into perf/index-sign-proof
  Ralph Küpper
  committed
  d8901a5