FRR - #430

Open

andimarek wants to merge 477 commits into

airbnb:mainfrom

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

Commits on Sep 26, 2026

Mark features tests that are not applicable
Raymie Stata
committed
cedb8a9
Feature test cleanup
Raymie Stata
committed
692ad97
For testing ResolverRegistry falls back to null|error instead of just error
Raymie Stata
committed
278fb6e
Model engine errors as reference-equal carriers
Raymie Stata
committed
9592f2f
Propagate errors read from resolver inputs
Raymie Stata
committed
fd6b98a
ACK EOD.get throws
Raymie Stata
committed
fae99c3
Preserve executor failure causes through qplan
Raymie Stata
committed
a72115f
Support arguments in object-path variable providers
Raymie Stata
committed
56b00c5
Enable argument-bearing provider feature tests
Raymie Stata
committed
d1318a5
Add binding prepared latch
Raymie Stata
committed
31e178a
Configurize property testing
Raymie Stata
committed
9b0c0f3
Add regressions for nested argument paths
Raymie Stata
committed
1ff910a
Resolve variables through nested argument paths
Raymie Stata
committed
37690cd
Preserve resolver profiling evidence
Raymie Stata
committed
9d99807
Reuse object result key snapshots
Raymie Stata
committed
5b1893d
Avoid duplicate fixture output validation
Raymie Stata
committed
0f6deea
Cache resolver input error reads
Raymie Stata
committed
545c02c
Revert "Cache resolver input error reads"
Raymie Stata
committed
65e698f
Reuse empty resolved arguments
Raymie Stata
committed
858542b
Create missing-cell errors lazily
Raymie Stata
committed
804962d
Record resolver performance recovery
Raymie Stata
committed
a1eb81c
Synchronize property test generator configs
Raymie Stata
committed
6ef785e
Simple rewrites for readability
Raymie Stata
committed
ae33759
Reconfigure multi-threaded test
Raymie Stata
committed
3a89ca2
Refactor materialization vs orchestration more cleanly
Raymie Stata
committed
0bc0bb6
Migrate (as `@Disabled`) nine more feature-test files
Raymie Stata
committed
3c75218
test(qplan): cover required-selection deadlock topology
Raymie Stata
committed
82c81b2
Remove ability to run resolver functions without selections
Raymie Stata
committed
dc1300c
qplan: adapt to upstream HMap rename
Raymie Stata
committed
11ed4ff
test(qplan): expect TODO for unsupported batching
Raymie Stata
committed
4574c21
Add sometimes-passive resolver plumbing
Raymie Stata
committed
a86a76d
Enable sometimes-passive resolution in resolver01-03/06-08/21-23
Raymie Stata
committed
4f31800
Enable sometimes-passive resolution in resolver26
Raymie Stata
committed
354d11c
Enable sometimes-passive resolution in resolver25
Raymie Stata
committed
087bf93
Fix resolver25 bugs
Raymie Stata
committed
8c2e7ae
qplan: add query fragment plumbing
Raymie Stata
committed
ca14532
qplan: support query fragments in resolver02-03
Raymie Stata
committed
897a2d6
qplan: support query fragments in resolver07-08
Raymie Stata
committed
a7bd95c
qplan: support query fragments in resolver22-23
Raymie Stata
committed
5552996
qplan: support query fragments in resolver26
Raymie Stata
committed
6cf897a
qplan: harden occurrence identity validation
Raymie Stata
committed
7885e70
qplan: specify symbolic argument equality
Raymie Stata
committed
d1e694c
qplan: support symbolic object result keys
Raymie Stata
committed
0961389
qplan: retain symbolic keys in resolver26 results
Raymie Stata
committed
006e6bb
qplan: remove resolver26 key stamping
Raymie Stata
committed
398729c
Documentation cleanup and alignment
Raymie Stata
committed
cab8a75
Add sometimes-passive active field property testing
Raymie Stata
committed
b784d7a
qplan: restore resolver occurrence identities
Raymie Stata
committed
508c997
qplan: cover query fragment occurrence collisions
Raymie Stata
committed
656ac76
qplan: register query fragment property replay
Raymie Stata
committed
956d67f
Add "root" OED to resolver-occurance ids to support query fragments
Raymie Stata
committed
3174956
Fix resolver26 query fragment variable bindings
Raymie Stata
committed
480e1bb
Fix resolver26 query fragment application accounting
Raymie Stata
committed
357a0c8
Strengthen object path binding validation
Raymie Stata
committed
5036a65
Require exact permutation-equivalent resolver results
Raymie Stata
committed
a18e294
Document deferred access-result validation
Raymie Stata
committed
14ced40
Validate FromArgument occurrence bindings
Raymie Stata
committed
7a8dd44
Defer exact resolver error-carrier agreement
Raymie Stata
committed
31b86be
Close resolver26 generator reachability gaps
Raymie Stata
committed
96d5fef
Model FromQueryField dependencies
Raymie Stata
committed
fc6875c
Generate FromQueryField registry variables
Raymie Stata
committed
0d6f331
Resolve FromQueryField variables in Resolver26
Raymie Stata
committed
980daca
Unify from-field variable modeling
Raymie Stata
committed
5c3ef2d
Unify from-field registry generation
Raymie Stata
committed
11d7a98
Unify from-field variable resolution
Raymie Stata
committed
21879f7
Reduce from-field variable duplication
Raymie Stata
committed
8b4652e
Image updates
Raymie Stata
committed
e06843c
More consolidation of object/query fragments in qplan/model
Raymie Stata
committed
5a03dfc
Enable query-fragment feature tests

gokhan-ozgozen
authored and
Raymie Stata
committed
d09becc
Classify checker query fragments as access checks
Raymie Stata
committed
ef35065
Add selective field resolver model support
Raymie Stata
committed
2710fe2
Convert qplan demand to engine selection sets
Raymie Stata
committed
fe14c50
Enable selective field resolver feature tests
Raymie Stata
committed
c273e57
Remove qplan Resolver25
Raymie Stata
committed
992a4b0
Move fragment document parsing to qplan model
Raymie Stata
committed
d2a5f18
Resolver cleanup part I
Raymie Stata
committed
29e5a96
Large movement of lines, no logic changes
Raymie Stata
committed
e29acd0
Resolver cleanup part II
Raymie Stata
committed
51bde6a
Move checking to `init` blocks where possible
Raymie Stata
committed
b2cb4d7
Record resolver checking benchmark
Raymie Stata
committed
bdc59e1
Disable repeated resolver output validation
Raymie Stata
committed
e841af6
Skip trivial resolver argument deduplication
Raymie Stata
committed
b5870b0
Reuse lowered fields in generated resolver outputs
Raymie Stata
committed
180c3b5
Reuse validated EOD value maps
Raymie Stata
committed
2ed4e1a
Preserve disabled resolver output validation test
Raymie Stata
committed
e298340
Record resolver output profiling recovery
Raymie Stata
committed
682705e
test: combine NodeLower and MechAdapt probes

gokhan-ozgozen
authored and
Raymie Stata
committed
75b61a8
test: enable compatible ErrorData coverage

gokhan-ozgozen
authored and
Raymie Stata
committed
abb2edc
test: enable qplan-compatible validation feature tests

gokhan-ozgozen
authored and
Raymie Stata
committed
118d35a
Model @parent as a validated result backedge
Raymie Stata
committed
bd6a727
Define shared semantics for parent-field demand
Raymie Stata
committed
2d3d9a6
Reject parent demand in depth-first resolvers
Raymie Stata
committed
91fe7b5
Resolve parent fields in coroutine resolvers
Raymie Stata
committed
a057ca8
Resolve parent fields in Resolver26
Raymie Stata
committed
f58e234
Instrument Resolver26 parent-field interactions
Raymie Stata
committed
4e8d582
Generate and exercise parent-field property worlds
Raymie Stata
committed
873157d
Synchronize the selective feature-test port
Raymie Stata
committed
67cf722
Enable parent-field execution feature tests
Raymie Stata
committed
598b924
Undo any commitment to access-check slots -- that will come later
Raymie Stata
committed
6866b85
Refactor Resolver26 field task preparation
Raymie Stata
committed
3be35e7
Add activation state to engine result cells
Raymie Stata
committed
443ff2c
Honor selection inclusion conditions in Resolver26
Raymie Stata
committed
f3ed575
Correct conditional-directive feature coverage
Raymie Stata
committed
ea8da8b
Preserve conditional demand in the Engine adapter
Raymie Stata
committed
697a011
Add field resolver variables providers
Raymie Stata
committed
cf87db2
Property testing for FromProvider functions
Raymie Stata
committed
e89306e
Enable selective parent-field execution tests
Raymie Stata
committed
085a49a
Strengthen inclusion condition semantics tests
Raymie Stata
committed
89687a4
Generate resolver inclusion conditions
Raymie Stata
committed
fa66a62
Propagate late inclusion alternatives during demand closure
Raymie Stata
committed
22466a2
Review findings
Raymie Stata
committed
5f3f923
Revert original skip/include property testing
Raymie Stata
committed
b4a62b2
More inclusion tests
Raymie Stata
committed
7e0b498
Skip/include focused tests
Raymie Stata
committed
18e1896
Implement qplan root field references
Raymie Stata
committed
9157602
Test qplan root field reference interactions
Raymie Stata
committed
98c9aa0
Support simple and abstract root-field reference targets
Raymie Stata
committed
cbe2590
Add root-field-reference property testing
Raymie Stata
committed
d760260
Enable more feature tests
Raymie Stata
committed
e4f2700
Turn on full support for selective node resolvers
Raymie Stata
committed
5eb0ac0
Honor configured field selectivity in qplan feature tests
Raymie Stata
committed
67a45c8
Enable more feature tests
Raymie Stata
committed
09b289b
Test node resolvers returning root references
Raymie Stata
committed
bd226fc
Generate node resolver root references
Raymie Stata
committed
697c1ff
Harden Resolver26 root field reference handling
Raymie Stata
committed
f992bd1
Harden Resolver26 parent field handling
Raymie Stata
committed
ac986bb
Cvt resolver26 node resolution to root-field refs
Raymie Stata
committed
7f9fb04
Add root-field refs to all resolver algos
Raymie Stata
committed
3485047
Fix ref-based node resolution
Raymie Stata
committed
d9c567a
Implement @defer and better cancellation semantics
Raymie Stata
committed
d4718b1
Rename FieldResolverTask to FieldResolutionLogic
Raymie Stata
committed
2bec5eb
Rename resolver launcher to FieldResolverTask
Raymie Stata
committed
b7fb46d
Refactor field-resolution task (and task structure generally)
Raymie Stata
committed
6ef6053
Vendor the GraphQL execution specification
Raymie Stata
committed
0a77e41
Model distinct field and type checker slots
Raymie Stata
committed
13ff588
access checks wip
Raymie Stata
committed
31e097a
Extract passive resolution and dispatch prepared Resolver26 tasks
Raymie Stata
committed
44b6366
Align depth-first and reactor resolvers on shared resolution tasks
Raymie Stata
committed
821e981
Align coroutine resolvers (21-23) to shared resolution tasks and error protocols
Raymie Stata
committed
d30e1ac
Align testing
Raymie Stata
committed
3a7bfce
Test and fix non-termination scenario
Raymie Stata
committed
6d1abcb
Make qplan resolver functions suspending
Raymie Stata
committed
5e008b0
Pass resolution execution context to qplan resolvers
Raymie Stata
committed
2794f0c
Execute ctx.query through the owning field task
Raymie Stata
committed
ea0d07d
Add ctx.query feature tests
Raymie Stata
committed
0c65f3d
Refactor semantics/src/main classes for integrity and consistency
Raymie Stata
committed
1880175
Pass semantics dependencies explicitly through straightforward APIs
Raymie Stata
committed
869c85d
Encapsulate demand closure and sibling ordering in logic classes
Raymie Stata
committed
ad4f0d7
Rationalize materialize functions and remove their context args
Raymie Stata
committed
e820fd9
Remove remaining semantics context parameters from correctness judgments
Raymie Stata
committed
00218ee
Complete semantics package-policy cleanup and close context migration
Raymie Stata
committed
4b7e24b
Refactor observation code: consistent across families, pulled out of model project
Raymie Stata
committed
8e9b252
Rationalize resolver-observation classes
Raymie Stata
committed
a83d8fe
Simplify resolver instrumentation and enforce package boundaries
Raymie Stata
committed
6190c6b
Dispatcher refactoring
Raymie Stata
committed
954d2b2
Response to review
Raymie Stata
committed
25b9f80
Remove context args from model
Raymie Stata
committed
76adbf9
Qplan: Clarify demand closure and parent lifting
Raymie Stata
committed
e75a9fe
from-path variable inclusion defined locally
Raymie Stata
committed
7135b30
Qplan: Make parent-free schemas a resolver precondition
Raymie Stata
committed
20f35f6
Clarifying demand closure
Raymie Stata
committed
cb45e0f
Clarifying grounded demand closure
Raymie Stata
committed
c8c6b98
Align field checker inputs with resolver fragments
Raymie Stata
committed
592896c
Use explicit executor variable declarations in qplan

kristi-leka
authored and
Raymie Stata
committed
a7f780a

Commits on Sep 27, 2026

Prepare for singular query OER
Raymie Stata
committed
fa0be4e
resolver01-08 single query OER impl
Raymie Stata
committed
1befe76
resolver01-08 single query OER validation
Raymie Stata
committed
0e62483
resolver01-08 single query OER stress testing
Raymie Stata
committed
c751e79
resolver21-23 single query OER impl and validation
Raymie Stata
committed
0f824f8
resolver26 single query OER impl and validation
Raymie Stata
committed
abec277

Commits on Sep 28, 2026

Align qplan with Kotlin 1.9.25
andimarek
committed
7472b0d
F1: fragment-free access-check resolution
Raymie Stata
committed
42d3573
F2: Distinguish tasks and slots in cycle detection
Raymie Stata
committed
93507b2
F2: Materialize checked result cells
Raymie Stata
committed
4afd590
F2: Preserve field directives through materialization
Raymie Stata
committed
766647e
F2: Enforce checks in Resolver01-23 materialization
Raymie Stata
committed
c28397c
F2: Validate fragment-free field-check enforcement
Raymie Stata
committed
dc6105d
F2: Enforce checks in Resolver26 materialization
Raymie Stata
committed
df79bd3
F2: Enforce checks during GraphQL completion
Raymie Stata
committed
e6a5501
F2 Doc updates
Raymie Stata
committed
f9bc03a
F3: Distinguish checked and unchecked construction demand
Raymie Stata
committed
1fc7432
F3: Add raw checker input projection
Raymie Stata
committed
4f2ce6d
F3: Materialize grounded checker object inputs
Raymie Stata
committed
6d57bfd
F3: Materialize checker Query inputs
Raymie Stata
committed
501582e
F3: Complete grounded checker RSS
Raymie Stata
committed
f7fa1fe
F4: Complete selective checker demand
Raymie Stata
committed
044f3ff
F4 Extend correctness oracle and additional testing
Raymie Stata
committed
d55e648
Adapt restacked access checks to singular Query scopes
Raymie Stata
committed
952bb43
F4: Property testing for field access checks
Raymie Stata
committed
d199b37
F5: Complete Resolver26 symbolic runtime field checks
Raymie Stata
committed
a372174
F5: Record benchmark controls and scalability evidence
Raymie Stata
committed
272c03e
F5 Align r26 and r01-23
Raymie Stata
committed
d67f1a5
T0 TC prep: refactor resolver- and variable-defs
Raymie Stata
committed
b8fe450
Suppress intentional runBlocking imports in qplan
andimarek
committed
7614844
Suppress intentional Throwable catches in qplan
andimarek
committed
6f5e247
Fix qplan range loops and import spacing
andimarek
committed
da6afdc
T0 TC prep: add TypeCheckerResolver and common CheckerResolverBase
Raymie Stata
committed
caa3252
T0 TC prep: update docs to clarify that type-check results go directly on OERs
Raymie Stata
committed
3bf6f0e
T0: add OER-owned type-check result slot
Raymie Stata
committed
20d9e4b
T0: enforce type checks from OER occurrences
Raymie Stata
committed
c5bfa10
T0: remove cell-owned type-check results
Raymie Stata
committed
52160ae
Align qplan declaration names and file organization
andimarek
committed
c50d4e3
Align qplan build with shared Gradle conventions
andimarek
committed
27e135e

Commits on Sep 29, 2026

Simplify qplan build without configuration caching
andimarek
committed
e809380
Temporarily disable ktlint tasks in qplan
andimarek
committed
cd75cf8
T0: move slot-related logic out of Cell and into Promise
Raymie Stata
committed
6eeac39
Complete type-checker model fixtures
Raymie Stata
committed
2500b9f
Merge remote-tracking branch 'origin/qplan' into qplan
andimarek
committed
23a9809
Suppress intentional runBlocking in type-checker tests
andimarek
committed
5b45092
Enable ktlint and format qplan sources
andimarek
committed
275a7a8
Align qplan dependencies and logging with build conventions
andimarek
committed
7ece4b6
Integrate qplan into the root composite build
andimarek
committed
0927d0c

Commits on Sep 30, 2026

Move qplan schema lowering into model main
andimarek
committed
e45351c
Move qplan selection parsing into model main
andimarek
committed
5475b6f
Fix test-coverage gaps
Raymie Stata
committed
88bc767
T1: Resolver21 fragment-free type-checker resolution
Raymie Stata
committed
dd8e7a1
T2: Validate fragment-free type-checker enforcement
Raymie Stata
committed
3317d5b
T3: Resolver22 type-checker fragments and unchecked demand
Raymie Stata
committed
38cb786
T4: Resolver23 selective type-check demand
Raymie Stata
committed
5ecf3b0
T5: Resolver26 symbolic type checks
Raymie Stata
committed
d30ee2a
More type check
Raymie Stata
committed
b60a2cc
Refactor GJSchema into ViaductAndGJSchema holder
andimarek
committed
fcb7690
Suppress runBlocking import in type checker stress coverage test
andimarek
committed
2bc84d0
Remove qplan execution dependency on model test fixtures
andimarek
committed
a34d873

Commits on Oct 1, 2026

Move qplan registry construction sources into model main
andimarek
committed
846dea1
Expose fixture-independent qplan registry construction
andimarek
committed
cedfba8
Separate qplan production parsing from test conveniences
andimarek
committed
ac708f8
Move qplan executor adaptation helpers into main
andimarek
committed
8c7838d
Extract qplan executor adaptation into execution main
andimarek
committed
ff3cbf2
Consolidate qplan into core engine runtime2
andimarek
committed
2575cf8
Consolidate Qplan application logs into one bounded recorder

kristi-leka
authored and
Raymie Stata
committed
2616731

Commits on Oct 2, 2026

Merge remote-tracking branch 'upstream/main' into qplan
andimarek
committed
f910a9d
Keep runtime2 publication verification out of configuration cache
andimarek
committed
3cb2c44
Move annotated graphql spec
Raymie Stata
committed
8b43c26
Document moves
Raymie Stata
committed
efe025a
Doc updates pass one
Raymie Stata
committed
147fca5
documentation.gradle.kts changes
Raymie Stata
committed
91311f0
Reduce type-checker test flakiness
Raymie Stata
committed
67c6d2f

Commits on Oct 4, 2026

Merge branch 'main' into qplan
Raymie Stata
committed
fdbd074

Commits on Oct 5, 2026

Merge branch 'main' into qplan
Raymie Stata
committed
62eb9f1
:core:engine:runtime2:check speedups
Raymie Stata
committed
350c312
Carry engine execution context through runtime2 resolution
Raymie Stata
committed
dcf5c99
Integrate engine2 with StandardViaduct
Raymie Stata
committed
17ce6d7
Run runtime2 feature tests through StandardViaduct
Raymie Stata
committed
d9e75e5
Add mutation support
Raymie Stata
committed
08c9beb
Add ctx.mutation
Raymie Stata
committed
32acd1f
Feature test updates
Raymie Stata
committed
b4e7c5d
Doc updates
Raymie Stata
committed
2c380fc
Merge branch 'main' into qplan
Raymie Stata
committed
1bdf770
Preserve caller coroutine context using CoroutineInterop
Raymie Stata
committed
3ded350