Cross module callbacks - #70

Open

saidctb wants to merge 23 commits into

mainfrom

cross-module-callbacks

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

Navigation Menu

Uh oh!

Cross module callbacks - #70

Cross module callbacks#70
saidctb wants to merge 23 commits into
mainfrom
cross-module-callbacks

Commits on Sep 14, 2026

Fix imported abstract interfaces and callback scalar outputs

Treat an undeclared callback scalar intent as conservatively writable

Commits on Sep 15, 2026

Prove the undeclared callback intent through a contract round trip

Resolve imported callback interfaces in their declaring module

Carry interface provenance through results, renames, and accessibility

Spell runtime extents the way a contract spells them in diagnostics

Extract prototype binding from external reference reconciliation

Remove the Strided contract name and the dimension step

Carry a strided axis as the spelling a contract uses

Record the declaring name for a renamed re-export chain

Build one generic interface from every block that declares it

Extend a generic interface across the modules that build it

Publish an imported procedure a module explicitly makes public

codex: generate relative sibling imports in Fortran leaf contracts

Keep native scopes bare under relative sibling imports

Keep every import when a scope uses one module repeatedly

Remove an empty test module left by a probe

Collect every specific a split generic binding names

Resolve a kind an interface body names for itself

Accept an overload declaration that restates a projected result

Import each name as the contract defining it spells it

Let a contract rename the entity a declaration reaches

Record a source spelling only where Python cannot hold the name