feat: aztec.nr side of fact store - #24139

Merged

mverzilli merged 144 commits into

merge-train/fairies-v5from

martin/expose-entity-store-oracles

Jun 26, 2026

Commits on Jun 10, 2026

feat: richer EphemeralArray and TransientArray APIs
mverzilli
committed
50d1bf9
refactor: unify EphemeralArray and TransientArray over OracleArray
mverzilli
committed
fe86aae
refactor: share OracleArray test bodies across backends
mverzilli
committed
f751057
feat: empty_at for transient arrays
mverzilli
committed
0b346bf
feat: store/load/delete for ephemeral arrays, symmetric array APIs
mverzilli
committed
0f9f79f
refactor: generate per-backend OracleArray tests with a comptime macro
mverzilli
committed
c4857f9
refactor: single parameterized oracle_array_tests macro
mverzilli
committed
7413220
refactor: should_fail_ prefix for failing oracle array checks
mverzilli
committed
d49fc3f
Merge branch 'merge-train/fairies-v5' into martin/richer-ephemeral-and-transient-array-apis
mverzilli
authored
eb07d6c

Commits on Jun 11, 2026

refactor(aztec-nr): rename oracle::ephemeral module to ephemeral_oracles
mverzilli
committed
7845f7b
refactor(aztec-nr): rename oracle::transient module to transient_oracles
mverzilli
committed
b5948b0
refactor(aztec-nr): rename OracleArray struct to UnconstrainedArray
mverzilli
committed
62ad854
refactor(aztec-nr): rename oracle_array module to unconstrained_array
mverzilli
committed
e8ad51f
docs(aztec-nr): reflow doc comments orphaned by the UnconstrainedArray rename
mverzilli
committed
91772da
refactor(aztec-nr): pluralize ArrayOracles, EphemeralOracles, TransientOracles
mverzilli
committed
15a7e00
docs(aztec-nr): restore ArrayOracles trait doc paragraph
mverzilli
committed
aa90beb
properly document panics
mverzilli
committed
e174bce
empty does not need to clear
mverzilli
committed
950a4a2
make find short-circuit
mverzilli
committed
c85569f
remove read_as for now
mverzilli
committed
0ca93c6
move Serialize/Deserialize traits from UnconstrainedArray
mverzilli
committed
5fac01b
refactor kv functions
mverzilli
committed
f7cbb01
commit missing file
mverzilli
committed
1523392
refactor test helpers
mverzilli
committed
788bd2f
another one
mverzilli
committed
51d06cb
tighten access
mverzilli
committed
261face
remove excess comments
mverzilli
committed
8e9e6ee
Merge branch 'merge-train/fairies-v5' into martin/richer-ephemeral-and-transient-array-apis
mverzilli
committed
6f881e0
fix(aztec-nr): iterate for_each forward in UnconstrainedArray and CapsuleArray
mverzilli
committed
3275759
refactor(aztec-nr): use for_each to build log retrieval requests
mverzilli
committed
981a212
remove unneeded comment
mverzilli
committed
025cdb8
Update migration_notes.md
mverzilli
committed
02a1080
fix(aztec-nr): defer pending partial note removal until iteration is over
mverzilli
committed
b2794c7
refactor(aztec-nr): process partial note completion logs in a backwards loop
mverzilli
committed
61030ca

Commits on Jun 12, 2026

Merge branch 'merge-train/fairies-v5' into martin/f-729-fix-array-for-each
mverzilli
committed
84ea55b
feat(pxe): EntityStore for entity-scoped fact storage
mverzilli
committed
3766597
feat(pxe): prune retractable entity facts on chain prune
mverzilli
committed
1918471
test(pxe): cover retractable entity prune in the synchronizer test
mverzilli
committed
a1752cd
refactor(pxe): rename entity store anchor to origin block
mverzilli
committed
eea00a0
refactor(pxe): split StoredFact and StoredEntity into separate files
mverzilli
committed
753c09f
add type aliases for readability
mverzilli
committed
e43ca83
refactor
mverzilli
committed
b4d85e7
more test coverage
mverzilli
committed
f740bbf
renames
mverzilli
committed
f41a8ab
more refactors
mverzilli
committed
9c546af
make entity and fact creation idempotent instead of overwriting
mverzilli
committed
9fc3d50
refactor
mverzilli
committed
6b638e9
refactor
mverzilli
committed
4a8a441
more refactors
mverzilli
committed
db2fb8b
and more refactors
mverzilli
committed
7b40aa2

Commits on Jun 15, 2026

stronger write checks
mverzilli
committed
19b6079
more refactors
mverzilli
committed
50b2a2f
another refactor
mverzilli
committed
bfbd60e
tweak
mverzilli
committed
1c8cd73
refactor
mverzilli
committed
1d639bf
more refactors
mverzilli
committed
fe78892
rename files
mverzilli
committed
c59658e
move types
mverzilli
committed
aeefa59
clean up stored_entity
mverzilli
committed
58f44d5
simplify stored fact module
mverzilli
committed
5a51955
comment cleanup
mverzilli
committed
e3843bc
use random values instead of hand-picked ones in tests
mverzilli
committed
cd75caa
sanitize tests
mverzilli
committed
476272f
fix ci
mverzilli
committed
9a2db88

Commits on Jun 17, 2026

make entity creation idempotent
mverzilli
committed
e82f03f
make blocksynchronizer ivars readonly
mverzilli
committed
fed3132
simplify test description
mverzilli
committed
1b4b0ab
commitRecord->commitFact
mverzilli
committed
a328b40
rename internal staged ops
mverzilli
committed
63e6561
bifurcate block synchronizer prune test
mverzilli
committed
b560096
add doesEntityExist
mverzilli
committed
fddc199
idb hardening
mverzilli
committed
bf3906b
Merge branch 'martin/entity-store' into martin/f-738-tx-resolution-oracle
mverzilli
committed
0a0101f
tx->tx_resolution
mverzilli
committed
a7d00a0
remove dead code
mverzilli
committed
ed15279
remove resolve message context oracle
mverzilli
committed
1f291da
Merge branch 'martin/f-738-tx-resolution-oracle' into martin/expose-entity-store-oracles
mverzilli
committed
fd00648

Commits on Jun 18, 2026

attempt to fix ci
mverzilli
committed
53394b7
Merge branch 'martin/f-738-tx-resolution-oracle' into martin/expose-entity-store-oracles
mverzilli
committed
2a661a1
remove redundant declaration
mverzilli
committed
72ce06c
address code review feedback
mverzilli
committed
c5d745a
code review
mverzilli
committed
36e27ab
code review
mverzilli
committed
61d806e
code review
mverzilli
committed
f66f58b
fix test
mverzilli
committed
02ffaeb
Merge branch 'martin/f-738-tx-resolution-oracle' into martin/expose-entity-store-oracles
mverzilli
committed
64e547e
update snapshots
mverzilli
committed
c47b473
bump oracles
mverzilli
committed
a32d295

Commits on Jun 19, 2026

enhance block synchronizer tests
mverzilli
committed
f550dce
further explain entity store
mverzilli
committed
7547439
address code review feedback
mverzilli
committed
7568955
more test coverage
mverzilli
committed
13fd6a8
extract deleteFact
mverzilli
committed
b4a1105
change stored entity encoding
mverzilli
committed
1f39d9d
add logs for defensive cases
mverzilli
committed
fe234b3
minor tweak
mverzilli
committed
0d27ad2
linter
mverzilli
committed
b3a2331
Merge branch 'martin/entity-store' into martin/f-738-tx-resolution-oracle
mverzilli
committed
cf5df81
Merge branch 'merge-train/fairies-v5' into martin/entity-store
mverzilli
committed
c34c755
Merge branch 'martin/entity-store' into martin/f-738-tx-resolution-oracle
mverzilli
committed
7277b1c
fix ci
mverzilli
committed
391f21e

Commits on Jun 22, 2026

wip
mverzilli
committed
33b95b5
refactor entity -> fact collection
mverzilli
committed
1600151
more robust for idb
mverzilli
committed
c5563e7
Merge branch 'martin/entity-store' into martin/f-738-tx-resolution-oracle
mverzilli
committed
3af5793
merge and refactor towards facts
mverzilli
committed
712fd2c
tweaks
mverzilli
committed
d99df2b
Merge branch 'martin/entity-store' into martin/f-738-tx-resolution-oracle
mverzilli
committed
e016e1a
use padArrayEnd
mverzilli
committed
0c26d64
make test more resilient
mverzilli
committed
383cc7c
refactor(pxe): encode scope in fact collection keys
mverzilli
committed
231ca47
refactor(pxe): isolate fact collections by scope in the store
mverzilli
committed
17402d4
test(pxe): update block synchronizer fact tests for scope-in-key
mverzilli
committed
712a7d2
test(pxe): regenerate fact store schema snapshots for scope-in-key (PXE_DATA_SCHEMA_VERSION 9)
mverzilli
committed
273344c
docs(pxe): correct stale fact store JSDoc after scope-isolation refactor
mverzilli
committed
b935e93
trim comments
mverzilli
committed
9e7ef97
Merge branch 'martin/entity-store' into martin/f-738-tx-resolution-oracle
mverzilli
committed
0f024b9
Merge branch 'martin/f-738-tx-resolution-oracle' into martin/expose-entity-store-oracles
mverzilli
committed
3942c21

Commits on Jun 23, 2026

update based on upstream changes
mverzilli
committed
bb3fc30
add origin block to facts
mverzilli
committed
a9ea723
add more oracle wrappers
mverzilli
committed
a9f7b26
migrate some things to ephemeralarray
mverzilli
committed
074bc84
refactors
mverzilli
committed
150e822
reuse assertion function
mverzilli
committed
acf2709
add comment about deleting fact collections
mverzilli
committed
970af23
name constants
mverzilli
committed
9b2870e
name constants
mverzilli
committed
f7cc66b
check payloads
mverzilli
committed
159a6be
add some more tests to facts mod
mverzilli
committed
b176c17
fix compilation
mverzilli
committed
6912f82
bump oracle versions
mverzilli
committed
2429b67

Commits on Jun 26, 2026