Flattening CLUBB's grid: allocations by any name, bounds by component, generics by arity - #27

Open

chenyueqi wants to merge 73 commits into

Commits on Sep 4, 2026

A derived-type object allocated many components at once, sized by itself

chenyueqi
and
claude
committed
ce3fd0a
A bound may name any object's component; a sibling's buffer OUT is read; a stub under control flow is a stub block

chenyueqi
and
claude
committed
7cf2c93
Following generics into every specific, dummy-sized allocations, private state left to its module, ungated means not sampled

chenyueqi
and
claude
committed
19b5b2d
A generic is followed into the specifics its arity fits, and the recursion guard is a stack

chenyueqi
and
claude
committed
a5b2391
A quotient of real parameters is a real quotient; an intent(out) object is read off what the translation returned; a translated error stop is a failed comparison

chenyueqi
and
claude
committed
76281d8
A loop index read after its loop has Fortran's completion value

chenyueqi
and
claude
committed
bff9cb4
SUM accumulates in element order

chenyueqi
and
claude
committed
2ffbee5
harvest's annotation says what it returns

chenyueqi
and
claude
committed
13e00d2
The completion value only where the index is read before it is redefined; the corpus re-baselined

chenyueqi
and
claude
committed
cd1c977
What the tier-2 plans needed: uncarried strings, listed state, extents the run owns

chenyueqi
and
claude
committed
63c0036
The recorder declares the patch count once when the probe already takes it

chenyueqi
and
claude
committed
473afa3
A call continued with trailing comments is probed whole

chenyueqi
and
claude
committed
a114859
The recorder guards a component the run may not allocate

chenyueqi
and
claude
committed
a67d712
A sibling's generic resolves its positions by arity; a stubbed call reads and writes nothing

chenyueqi
and
claude
committed
9d482bf
The stub rule covers the stub module's procedures, on both sides

chenyueqi
and
claude
committed
34568fb
A sibling's INOUT actual is read; a specific fits with its optionals left off

chenyueqi
and
claude
committed
5d876f2
A keyword actual into a sibling's procedure lands on its own position

chenyueqi
and
claude
committed
79a61c7
Tier-2 replay: logicals and zero-extent records, plain OUT dummies, rank-picked specifics, stubbed calls raise in place

chenyueqi
and
claude
committed
27ebf1a
An optional OUT handed on carries the caller's presence

chenyueqi
and
claude
committed
4d3ac1a
An optional handed on to an optional OUT is read for its presence

chenyueqi
and
claude
committed
866743e
Module state handed whole to a function is carried; a constant expression over a constructor is a value (#26)

chenyueqi
and
claude
committed
b852160
A subroutine with no OUT argument returns zero values, not one

chenyueqi
and
claude
committed
5461d36
A declared-ungated subprogram is not compared on a recording either

chenyueqi
and
claude
committed
4f64250
Re-record the corpus baseline on this branch

chenyueqi
and
claude
committed
c34e6c9
Merge tier0-gaps (with main) into tier1-grid

chenyueqi
and
claude
committed
9f27320
Re-record the corpus baseline after the merge with main

chenyueqi
and
claude
committed
f254155
A probe spans blank and comment lines inside a continued call

chenyueqi
and
claude
committed
59e0fe8
A generic function reference is ranked by the specific it dispatches to

chenyueqi
and
claude
committed
cc91f0a
JAX lowering: a CYCLE folds into the branch structure; an EXIT or a leftover CYCLE is delegated

chenyueqi
and
claude
committed
59faf7a
Annotate the folded statement list (mypy)

chenyueqi
and
claude
committed
b2fba33
JAX runtime: sqrt, ordered SUM, erf and erfc

chenyueqi
and
claude
committed
bc1560d
Sort the JAX runtime's export list (ruff)

chenyueqi
and
claude
committed
2d4cf25
JAX lowering: a loop over a static empty trip count is skipped, not traced

chenyueqi
and
claude
committed
428968d
Tolerance gate: a zero-extent output has no dominant value to weigh

chenyueqi
and
claude
committed
b1afef8
A flat kernel spells the optional dummy the plan leaves out

chenyueqi
and
claude
committed
956fa86
JAX lowering: a loop carries only names bound before it; subscripted tuple targets; elemental calls of kernels

chenyueqi
and
claude
committed
614f0c5
Rename the tuple-store index (mypy)

chenyueqi
and
claude
committed
2f2aec6
JAX lowering: bound names come from what was emitted; a NumPy integer bound is static too

chenyueqi
and
claude
committed
89f16a2
Annotate the lowered statement list (mypy)

chenyueqi
and
claude
committed
41d9f34
JAX port: a bare call statement binds the kernel's returned buffer outputs

chenyueqi
and
claude
committed
f01cd80
Type the bound statement (mypy)

chenyueqi
and
claude
committed
f9ba9e5
JAX port: an elemental call of a companion procedure broadcasts its kernel

chenyueqi
and
claude
committed
d8837d6
Type the elemental callee's owner (mypy)

chenyueqi
and
claude
committed
1c84d38
JAX lowering: a branch on a static scalar argument is a trace-time if

chenyueqi
and
claude
committed
347f05b
JAX lowering: a branch on a static scalar is a Python if when concrete, a lax.cond when traced

chenyueqi
and
claude
committed
19624d4
Type the Python form of the branch (mypy)

chenyueqi
and
claude
committed
781dde2
JAX runtime: an elemental call maps the kernel over the elements in sequence, not under vmap

chenyueqi
and
claude
committed
e772aa4
JAX port: early returns of the same tuple fold into the branch structure

chenyueqi
and
claude
committed
756e074
JAX port: an if whose body is empty keeps its else under the inverted guard

chenyueqi
and
claude
committed
86055fa
Narrow the return values before comparing them (mypy)

chenyueqi
and
claude
committed
6b1b063
JAX port: an early return inside a loop becomes a flag

chenyueqi
and
claude
committed
62a97ab
The return flag's guards: decide before the rewrite takes the returns away

chenyueqi
and
claude
committed
9f55bd5

Commits on Sep 5, 2026

JAX port: the anchor's unpack of an elided call buffer is bound, not read

chenyueqi
and
claude
committed
7f9b30c
The elided call buffer keeps one slot per output the callee returns

chenyueqi
and
claude
committed
836b525
JAX port: a companion procedure the port left on the host stays under its guard

chenyueqi
and
claude
committed
98e6392
The guarded host-call test guards on a static argument, as CLUBB's stand-in does

chenyueqi
and
claude
committed
9f0f019
JAX port: a call statement is not an inert log line

chenyueqi
and
claude
committed
ea1a842
JAX port: a flat companion the port left on the host stays under its guard too

chenyueqi
and
claude
committed
078256c
Call the object-check fixture's flat kernel by its signature

chenyueqi
and
claude
committed
2618467
A host-kept call releases the anchor's result buffer to the host

chenyueqi
and
claude
committed
675ece9
The elided call buffer has a slot for every OUT/INOUT dummy, optional ones included

chenyueqi
and
claude
committed
ebaecc2
The optional-object unpack test expects the flat rule: an optional dummy is absent

chenyueqi
and
claude
committed
0be7d71
JAX lowering: a branch of bare call statements carries nothing

chenyueqi
and
claude
committed
4f3afbf
jax: guard the whole remainder after a return as one block

chenyueqi
and
claude
committed
b9dfc3c
jax: rebuild a dummy object handed whole to the host at kernel entry

chenyueqi
and
claude
committed
d7ded89
jax: six rules the whole-step port needed

chenyueqi
and
claude
committed
18c6303
jax: EXIT as a carried flag, for-else, own subprograms kept on the host

chenyueqi
and
claude
committed
d4b732e
jax: a window with traced bounds a static distance apart is a gather

chenyueqi
and
claude
committed
60d596c
jax: an array passed through a reshape comes back in its own shape

chenyueqi
and
claude
committed
162a507
jax: a static branch whose arms lowered to nothing is no branch

chenyueqi
and
claude
committed
7d6c987
jax: a module constant through its alias is static

chenyueqi
and
claude
committed
423187f
tests: the dispatch test asserts the dual form, not the absence of its fallback

chenyueqi
and
claude
committed
316f36f
jax: a static test is spelled with Python logic, decided on its leaves

chenyueqi
and
claude
committed
b811729