Repository navigation

Cross module callbacks - #70

Merged

saidctb merged 112 commits into

mainfrom

cross-module-callbacks

Sep 20, 2026

Commits on Sep 14, 2026

Fix imported abstract interfaces and callback scalar outputs

saidctb
and
claude
committed
1b75d53
Treat an undeclared callback scalar intent as conservatively writable

saidctb
and
claude
committed
195e32b

Commits on Sep 15, 2026

Prove the undeclared callback intent through a contract round trip

saidctb
and
claude
committed
85c5893
Resolve imported callback interfaces in their declaring module

saidctb
and
claude
committed
ec7002a
Carry interface provenance through results, renames, and accessibility

saidctb
and
claude
committed
b0364b8
Spell runtime extents the way a contract spells them in diagnostics

saidctb
and
claude
committed
9623e8c
Extract prototype binding from external reference reconciliation

saidctb
and
claude
committed
e0f9a19
Remove the Strided contract name and the dimension step

saidctb
and
claude
committed
eed7e66
Carry a strided axis as the spelling a contract uses

saidctb
and
claude
committed
d362f6d
Record the declaring name for a renamed re-export chain

saidctb
and
claude
committed
0b9d450
Build one generic interface from every block that declares it

saidctb
and
claude
committed
f0b3c14
Extend a generic interface across the modules that build it

saidctb
and
claude
committed
ac314f3
Publish an imported procedure a module explicitly makes public

saidctb
and
claude
committed
dfd955f
codex: generate relative sibling imports in Fortran leaf contracts
saidctb
committed
841575d
Keep native scopes bare under relative sibling imports

saidctb
and
claude
committed
2a1dd8f
Keep every import when a scope uses one module repeatedly

saidctb
and
claude
committed
51de26f
Remove an empty test module left by a probe

saidctb
and
claude
committed
bf935a6
Collect every specific a split generic binding names

saidctb
and
claude
committed
0a040df
Resolve a kind an interface body names for itself

saidctb
and
claude
committed
3f7955a
Accept an overload declaration that restates a projected result

saidctb
and
claude
committed
586e4e6
Import each name as the contract defining it spells it

saidctb
and
claude
committed
6ec888d
Let a contract rename the entity a declaration reaches

saidctb
and
claude
committed
6f439d3
Record a source spelling only where Python cannot hold the name

saidctb
and
claude
committed
fc4a32d
Re-export a published name only where Python holds one object

saidctb
and
claude
committed
08722d9

Commits on Sep 16, 2026

Follow a published name to its declaration, and publish only what a contract states

saidctb
and
claude
committed
349ea0d
State what a contract publishes in its own __all__

saidctb
and
claude
committed
8b9fc7f
Let a stated __all__ name a package's sub-namespaces too

saidctb
and
claude
committed
8c64482
Own a re-export by its declaring contract, not by traversal order

saidctb
and
claude
committed
c787c84
Say that a C export allowlist states the same surface as __all__

saidctb
and
claude
committed
63648fa
Say where a direct C build writes its stubs

saidctb
and
claude
committed
bda1c03
Decide a public name once, and let every stage write that one

saidctb
and
claude
committed
80aef84
Name the defect where one decision gets derived twice

saidctb
and
claude
committed
c8771d5
Decide a public name once, and let every stage write that one
saidctb
committed
664c48e
codex: preserve module variable reexports
saidctb
committed
773f095
Carry the bundled helpers a namespace alias binds through

saidctb
and
claude
committed
b35ce84
Own a re-exported variable without publishing where it is declared

saidctb
and
claude
committed
54e73a6
Name the bspline classes the way the wrapper now publishes them

saidctb
and
claude
committed
b62216f
Let the installed environment import what the wheel depends on

saidctb
and
claude
committed
c67df02
Record a published name the way its source spells it

saidctb
and
claude
committed
9493296

Commits on Sep 17, 2026

codex: stabilize reexports and variable ownership
saidctb
committed
b232a0a
codex: preserve TA-Lib reference inputs
saidctb
committed
e98c87b
codex: separate Fortran accessibility from Python exports
saidctb
committed
338c973
Judge a callback and an abstract interface by the same accessibility

saidctb
and
claude
committed
d748891
Read a declaration's references rather than scan its text

saidctb
and
claude
committed
d43b6de
Accept a raw address extent built from a supported call

saidctb
and
claude
committed
5dd3a27
Give each procedure the interfaces it declares, and read selectors as syntax

saidctb
and
claude
committed
3cc89a2
Leave a character literal's contents out of lexical translation

saidctb
and
claude
committed
a763b31
Carry a character selector's length apart from its kind

saidctb
and
claude
committed
db494aa
Read a Fortran character literal rather than hand it to Python

saidctb
and
claude
committed
5301f35
Read a character declaration's kind as the selector separates it

saidctb
and
claude
committed
dbb45b5
Specialize declaration expressions, not every metadata string

saidctb
and
claude
committed
9ea35dc
Give a character model one recorder for its selector

saidctb
and
claude
committed
70bf45c
Accept a character literal that states its kind

saidctb
and
claude
committed
31936b1
Read a character kind from the selector before the legacy field

saidctb
and
claude
committed
33364ea
Rename argument references without reaching inside literals

saidctb
and
claude
committed
e717f0b
Break a continued Fortran line at the expression's own commas

saidctb
and
claude
committed
c2b4770
Publish a prototype or generic only where the module declares it

saidctb
and
claude
committed
f626c32
Decide a generic re-export's publication where publication is decided

saidctb
and
claude
committed
79f3504
Apply the same resolution rule at every re-export hop

saidctb
and
claude
committed
aabd16d
Carry an enum's enumerators as the constants they already are

saidctb
and
claude
committed
c0561ac

Commits on Sep 18, 2026

Weigh every route to a name, however each one entered

saidctb
and
claude
committed
31f8262
Assemble a generic from every interface contributing to it

saidctb
and
claude
committed
9cbe581
Identify a prototype by its scope, and allocate its spelling once

saidctb
and
claude
committed
95c3ca1
Let a contract's __all__ decide what reloading it publishes

saidctb
and
claude
committed
e713692
Record whether a use statement narrowed to an only list

saidctb
and
claude
committed
45b0586
Identify a generic's specific by the module declaring it

saidctb
and
claude
committed
78f3ee3
Hold the names a module imports while naming its prototypes

saidctb
and
claude
committed
812c934
Read a stated export surface exactly, and an empty one as stated

saidctb
and
claude
committed
8201022
Bind a generic's private specifics in one place

saidctb
and
claude
committed
57425d2
Keep each use statement, and read them in one place

saidctb
and
claude
committed
3307548
Finish structural identity for a generic's specifics

saidctb
and
claude
committed
112de90
Hold a fix to removing an interpretation path

saidctb
and
claude
committed
334ecca
Read one scope's use statements through one resolver

saidctb
and
claude
committed
e35c976
codex: finish scope use resolution
saidctb
committed
745228e
Complete contract spelling once, before emission

saidctb
and
claude
committed
ffc26ca

Commits on Sep 19, 2026

Decide every export, and define a type whether or not it is published

saidctb
and
claude
committed
1430faa
Plan a contract's imports once, from what it needs to bind

saidctb
and
claude
committed
50e1ed0
Spell each imported name one way throughout its contract

saidctb
and
claude
committed
7fbd8aa
Spell a declaration-expression call the way the contract binds its callee

saidctb
and
claude
committed
0027bd2
Show the generated contract from the parser CLI's --pyi

saidctb
and
claude
committed
62e9d75
State @pure on a pure module function in its contract

saidctb
and
claude
committed
7f4cdae
Check an actual against the extent a specification function declares

saidctb
and
claude
committed
a2e4f7d
Skip the whole call on an extent mismatch, not only the native procedure

saidctb
and
claude
committed
1b26c74
Plan each bridge-evaluated extent once, and pin the rejection boundary

saidctb
and
claude
committed
efb733e
Spell prototypes in the contract ledger, not while converting source

saidctb
and
claude
committed
2798cb2
Let a generic own its export decision

saidctb
and
claude
committed
8f59493
Remove the retired Boolean-array copy

saidctb
and
claude
committed
16d6c23
Reach each type in the namespace defining it, by its backend symbol

saidctb
and
claude
committed
677e2f6
Let a type extend one another module declares

saidctb
and
claude
committed
af51ffa
codex: finish derived type contract naming
saidctb
committed
1886b13

Commits on Sep 20, 2026

codex: link variable publications to their owner plan
saidctb
committed
d347264
codex: keep edited variable plan graphs coherent
saidctb
committed
ea729f8
codex: isolate the direct C contract module name
saidctb
committed
8e89564
codex: preserve optional callback presence
saidctb
committed
c92462b
codex: validate callback presence plans
saidctb
committed
fdf4f2b
codex: omit direct callback bridge adapters
saidctb
committed
96f78f8
codex: Define concise test fixture rules
saidctb
committed
0d85d5d
codex: Move callback projects into fixtures
saidctb
committed
7dc4800
codex: Move array projects into fixtures
saidctb
committed
f099b96
codex: Move module projects into fixtures
saidctb
committed
350ae85
codex: Move derived type projects into fixtures
saidctb
committed
7043bad
codex: Move allocatable projects into fixtures
saidctb
committed
a540e42
codex: Move pointer projects into fixtures
saidctb
committed
c0e8959
codex: Move string projects into fixtures
saidctb
committed
8a594c2
codex: Move scalar and generic projects into fixtures
saidctb
committed
c7b4bc3
codex: Move substantial stage inputs into fixtures
saidctb
committed
a516d09
codex: Move fixed integration sources into fixtures
saidctb
committed
28c0cea
codex: Reuse shared Fortran fixtures
saidctb
committed
8f2446e
codex: Finish substantial Fortran fixture extraction
saidctb
committed
5f39256
codex: Consolidate USE accessibility matrices
saidctb
committed
4720f10
codex: Document stage-local native fixtures
saidctb
committed
33a267c
codex: Finish fixed Fortran fixture migration
saidctb
committed
02e0649