WCOJ map items 1–3: cyclic fixture, bag oracle, galloping seek_from, GYO, P-7 check by AdaWorldAPI · Pull Request #1587 · AdaWorldAPI/lance-graph

contract: galloping seek_from on SealedFacetLane (P-1)

claude

committed

8e6a2aa

relalg: GYO alpha-acyclicity test over a coordinate-only join body (P-3)

claude

committed

a67d8df

metta: cyclic F4 fixture, bag oracle, P-7 expressibility probe

claude

committed

0f7738c

wcoj probes: clippy clean; print the bag check

claude

committed

b4b9a1e

board: WCOJ map items 1-3 results, DuckDB harvest, bind synergies

claude

committed

7b4a4c7

contract: hybrid seek_partition_point (step / gallop / search by gap hint)

claude

committed

b27e043

contract: hybrid seek thresholds from v4 timings; seek_probe example

claude

committed

2a6c654

board: P-1 v4 timings and the hybrid seek

claude

committed

90eca0c

Plan quack-multitable-bind-v1: one bind path for joins (D-QMB-0..5)

claude

committed

82eb596

Ratify wcoj-closing-atoms-v1 (5+3 council): EqU32ViaLane + RunsMeet

claude

committed

925243f

Merge main into wcoj-probes; board: resolve STATUS/LATEST conflicts, #1585/#1586 arc, D-ASM-11A/B authorized

claude

committed

ab5a104

Navigation Menu

Repository navigation

WCOJ map items 1–3: cyclic fixture, bag oracle, galloping seek_from, GYO, P-7 check - #1587

WCOJ map items 1–3: cyclic fixture, bag oracle, galloping seek_from, GYO, P-7 check#1587
AdaWorldAPI merged 11 commits into
mainfrom
ccr-9f3b8075-74u47l-wcoj-probes

Commits on Oct 16, 2026

contract: galloping seek_from on SealedFacetLane (P-1)

relalg: GYO alpha-acyclicity test over a coordinate-only join body (P-3)

metta: cyclic F4 fixture, bag oracle, P-7 expressibility probe

wcoj probes: clippy clean; print the bag check

board: WCOJ map items 1-3 results, DuckDB harvest, bind synergies

contract: hybrid seek_partition_point (step / gallop / search by gap hint)

contract: hybrid seek thresholds from v4 timings; seek_probe example

board: P-1 v4 timings and the hybrid seek

Plan quack-multitable-bind-v1: one bind path for joins (D-QMB-0..5)

Ratify wcoj-closing-atoms-v1 (5+3 council): EqU32ViaLane + RunsMeet

Merge main into wcoj-probes; board: resolve STATUS/LATEST conflicts, #1585/#1586 arc, D-ASM-11A/B authorized