Skip to content
Merged
Changes from all commits
Commits
Show all changes
50 commits
Select commit Hold shift + click to select a range
546b17a
Core vertical slice: docs/abi.md contract, native/lgj-abi, Java facade
AdaWorldAPI Aug 17, 2026
a1e65cc
Merge main (bootstrap commit) into dev branch to establish shared his…
AdaWorldAPI Aug 17, 2026
bdd40b2
Valhalla lab: three-truths method, causal isolation, 3 real reproducers
AdaWorldAPI Aug 17, 2026
317ee83
Merge main (squash of PR #1) to fix history divergence for PR #2
AdaWorldAPI Aug 17, 2026
ea4753c
Merge main (squash of PR #2) to keep dev branch history aligned
AdaWorldAPI Aug 17, 2026
4ab0da8
Vector API bench: real JMH, cross-checked; the crossing does not alwa…
AdaWorldAPI Aug 17, 2026
96eccff
Merge main (squash of PR #3) to keep dev branch history aligned
AdaWorldAPI Aug 17, 2026
cd7782b
Phase I synthesis docs + fusion-sweep 256-row re-run + board hygiene
AdaWorldAPI Aug 17, 2026
ddeaecb
Merge main (squash of PR #4) to keep dev branch history aligned
AdaWorldAPI Aug 17, 2026
e4463cb
Board: PR #4 arc entry (post-merge)
AdaWorldAPI Aug 17, 2026
e8b6dc2
SoA row store: 512B rows, 32 facet lanes, ABI minor 2 (W1+W2)
AdaWorldAPI Aug 17, 2026
aff72f3
Merge main (squash of PR #5) to keep dev branch history aligned
AdaWorldAPI Aug 17, 2026
8fceaca
Board: PR #5 arc entry (post-merge)
AdaWorldAPI Aug 17, 2026
91e22f3
Knowledge: assess the archived layout-bridge discussion; name W6
AdaWorldAPI Aug 17, 2026
6927961
Plans: OGAR Machine (exploratory) + lance-graph-hydrate dependency note
AdaWorldAPI Aug 17, 2026
7e218ed
Merge main (squash of PR #6) to keep dev branch history aligned
AdaWorldAPI Aug 17, 2026
9cc85ad
Board: PR #6 arc entry (post-merge)
AdaWorldAPI Aug 17, 2026
f3bbab7
Waves calcified: dispatch maps for every plan; Ghidra plan from real …
AdaWorldAPI Aug 17, 2026
dac0f0b
Merge main (squash of PR #7) to keep dev branch history aligned
AdaWorldAPI Aug 17, 2026
57a7e48
Board: PR #7 arc entry (post-merge)
AdaWorldAPI Aug 17, 2026
83b8994
Plan: lance-graph #958 merged (was open at last check)
AdaWorldAPI Aug 17, 2026
572f865
Java RowStore facade: W3 shipped (185/185, one bug found+fixed)
AdaWorldAPI Aug 17, 2026
b138382
Merge main (squash of PR #8) to keep dev branch history aligned
AdaWorldAPI Aug 17, 2026
bc6f91a
Board: PR #8 arc entry (post-merge)
AdaWorldAPI Aug 17, 2026
619b3de
Plan: r2sleigh recorded as third lift path + decompiler candidate
AdaWorldAPI Aug 17, 2026
84e73ca
Bench Component F: the boundary re-asked on the real row-store layout…
AdaWorldAPI Aug 17, 2026
897fd92
Merge main (squash of PR #9) to keep dev branch history aligned
AdaWorldAPI Aug 17, 2026
201a626
Board: PR #9 arc entry (post-merge)
AdaWorldAPI Aug 17, 2026
ed4fb7c
Parity: the third independent read path (ROW_LAYOUT segment reads)
AdaWorldAPI Aug 17, 2026
6c4afe4
Merge main (squash of PR #10) to keep dev branch history aligned
AdaWorldAPI Aug 17, 2026
9717cda
Board: PR #10 arc entry (post-merge)
AdaWorldAPI Aug 17, 2026
8eecb3b
Consumer example: World/Trades — the zero-object fluent domain API (W5a)
AdaWorldAPI Aug 17, 2026
74e5b6b
Merge main (squash of PR #11) to keep dev branch history aligned
AdaWorldAPI Aug 17, 2026
9088dc9
Board: PR #11 arc entry (post-merge)
AdaWorldAPI Aug 17, 2026
f7974da
Consumer example: Bricks — mask-first authorization, fail-closed, agg…
AdaWorldAPI Aug 17, 2026
ce6fba4
Merge main (squash of PR #12) to keep dev branch history aligned
AdaWorldAPI Aug 17, 2026
239edf0
Board: PR #12 arc entry (post-merge)
AdaWorldAPI Aug 17, 2026
9ee044f
Board: record the C-band ruling — the classid domain byte carries ALT…
AdaWorldAPI Aug 18, 2026
e736d6a
Board: reconcile Ghidra G1/G2 -- superseded by ruff_r2il, not built
AdaWorldAPI Aug 18, 2026
f68335b
Board: ruff #96 is a different arm; read the real staging guide + ran S1
AdaWorldAPI Aug 18, 2026
df35426
Board: R2IL handshake outcomes + the Valhalla-premise storno (operato…
AdaWorldAPI Aug 18, 2026
8806899
rowstore: generate_with_edges -- the graph-consumer wave's real, meas…
AdaWorldAPI Aug 18, 2026
f03a9ce
Merge main (squash of PR #13) to keep dev branch history aligned
AdaWorldAPI Aug 18, 2026
ae02be5
lgj-abi: edge-bearing row store ABI addition (lgj_rowstore_open_with_…
AdaWorldAPI Aug 18, 2026
c8af78b
Merge remote-tracking branch 'origin/main' into claude/lance-graph-ja…
AdaWorldAPI Aug 18, 2026
05a6780
Board: PR #14 arc entry (edge-bearing row store ABI addition)
AdaWorldAPI Aug 18, 2026
99c356c
Merge remote-tracking branch 'origin/main' into claude/lance-graph-ja…
AdaWorldAPI Aug 18, 2026
75aac22
RowStore: public per-row payload accessors (classidAt/payloadLow64At/…
AdaWorldAPI Aug 18, 2026
7549022
Merge remote-tracking branch 'origin/main' into claude/lance-graph-ja…
AdaWorldAPI Aug 18, 2026
e6b0152
Board: PR #16 arc entry (RowStore public per-row payload accessors)
AdaWorldAPI Aug 18, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
28 changes: 28 additions & 0 deletions .claude/board/PR_ARC_INVENTORY.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,34 @@
> anti-pattern the imported board rules name. Backfilled below in one
> pass rather than left stale; PR #4 onward gets its entry at merge time.

## PR #16 — RowStore: public per-row payload accessors (merged 2026-08-18, squash `8e4f9aa`)

- **Added:** `RowStore.classidAt`/`payloadLow64At`/`payloadHi32At` — three
new public, primitive-returning methods reusing `lgj_lane_describe`
(already ABI minor 1, no new ABI surface), resolved once per store and
cached; every read after is in-process.
- **Locked:** the third and final gap in the graph-consumer wave's
substrate chain — `facetMatches` gives WHICH facets matched, never their
payload; the only raw-byte reader (`internal.ffm.Engine.describeLane`)
is off-limits to a consumer package by `ApiSurfaceTest`'s own design.
Decision D1a's text assumed a capability that existed only internally.
- **A measured self-correction, recorded rather than smoothed over:** the
first draft carried the closed-store guard in two places; disabling one
was masked by the other via Java's receiver-before-argument evaluation
order, producing a **false-negative disable-run (30/30 green under
broken code)**. Traced rather than accepted, de-duplicated to the one
correct location, re-verified genuinely red-then-green.
- **Deferred:** G1 (traversal facade) + G2 (falsifier tests) — the
substrate is now proven at all three levels (Rust generator, ABI
membrane, public core facade); dispatch is next.
- **Docs:** STATUS_BOARD D-LGJ-W7; LATEST_STATE dated entry; EPIPHANIES
entry recording both the gap and the self-caught vacuous falsifier — all
landed in the PR's own commit.
- **Confidence:** High — `AllTests` 204/204 (+10), `ApiSurfaceTest`
unchanged at 3/3 (zero FFM type in any public signature), both
disable-runs verified (one only after the redundant-guard correction
above). Both bot reviewers at usage limits, no review obtained.

## PR #14 — lgj-abi: edge-bearing row store ABI addition (merged 2026-08-18, squash `be8fb60`)

- **Added:** `lgj_rowstore_open_with_edges` (`docs/abi.md` §12, ABI minor
Expand Down