Repository navigation

Cross module callbacks - #70

Merged

saidctb merged 112 commits into

mainfrom

cross-module-callbacks

Sep 20, 2026

Merged

Cross module callbacks#70
saidctb merged 112 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
- 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

Commits

Commits on Sep 14, 2026

Commits on Sep 15, 2026

Commits on Sep 16, 2026

Commits on Sep 17, 2026

Commits on Sep 18, 2026

Commits on Sep 19, 2026

Commits on Sep 20, 2026