Merge remote-tracking branch 'origin/develop' into feat/tp-module-report

Author: b-re-w

.github/workflows/android-native.yml

@@ -6,6 +6,11 @@ on:
   pull_request:
     branches: [ "develop", "main" ]
 
+concurrency:
+  # A newer push to the same ref supersedes this run; frees the shared macOS runners.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   compile:
     name: Compile Android Native

.github/workflows/desktop.yml

@@ -6,6 +6,11 @@ on:
   pull_request:
     branches: [ "develop", "main" ]
 
+concurrency:
+  # A newer push to the same ref supersedes this run; frees the shared macOS runners.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   test:
     name: Desktop Tests

.github/workflows/ios.yml

@@ -6,6 +6,11 @@ on:
   pull_request:
     branches: [ "develop", "main" ]
 
+concurrency:
+  # A newer push to the same ref supersedes this run; frees the shared macOS runners.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   compile:
     name: Compile iOS Simulator Arm64

.github/workflows/main-source-guard.yml

@@ -10,7 +10,6 @@ on:
 permissions:
   contents: write
   pull-requests: write
-  statuses: write
 
 concurrency:
   group: release-sync
@@ -51,17 +50,3 @@ jobs:
           else
             gh pr create --head release --base main --title "$title" --body "$body"
           fi
-
-      # A PR opened with GITHUB_TOKEN triggers no workflows, so main-source-guard
-      # never runs on it. Report the guard's verdict for the release commit here:
-      # this job just generated it from develop, which is exactly what the guard
-      # requires. A status set with GITHUB_TOKEN satisfies a required check.
-      - name: Mark release as passing the main source guard
-        env:
-          GH_TOKEN: ${{ github.token }}
-        run: |
-          set -eu
-          if ! git rev-parse -q --verify refs/heads/release >/dev/null; then exit 0; fi
-          gh api "repos/${GITHUB_REPOSITORY}/statuses/$(git rev-parse release)" \
-            -f state=success -f context=only-release-into-main \
-            -f description="generated from develop ${GITHUB_SHA::7} by release-sync"

.github/workflows/release-sync.yml

@@ -5,10 +5,15 @@ name: TypedPython CI
 on:
   push:
     branches: [ "develop", "main" ]
-    paths: [ "python-multiplatform-ksp/**", ".github/workflows/typedpython.yml" ]
+    paths: [ "python-multiplatform-ksp/**", "ksp-fixtures/app/**", ".github/workflows/typedpython.yml" ]
   pull_request:
     branches: [ "develop", "main" ]
-    paths: [ "python-multiplatform-ksp/**", ".github/workflows/typedpython.yml" ]
+    paths: [ "python-multiplatform-ksp/**", "ksp-fixtures/app/**", ".github/workflows/typedpython.yml" ]
+
+concurrency:
+  # A newer push to the same ref supersedes this run; frees the shared macOS runners.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
 
 jobs:
   test:
@@ -75,3 +80,48 @@ jobs:
           env $(.venv/bin/python tools/sanitizers.py env) \
             .venv/bin/python -m pytest -q -m "not measurement" \
               src/test/python/test_cgen.py src/test/python/test_runtime.py src/test/python/test_pipeline.py
+
+  app-fixture:
+    # #45: a TypedPython-compiled module calling Kotlin through the upcall table, in the app
+    # fixture's desktop JVM. buildTypedPythonBridge needs a host Python with pyrefly; without one the
+    # four TypedPythonKotlinCallTest tests skip. Locally that is allowed; here a skip fails the job.
+    # macOS only: elsewhere the JVM does not load libpython with global symbols, so the
+    # dynamic_lookup extension cannot resolve the C API (ksp-fixtures/app/build.gradle.kts).
+    name: TypedPython from Kotlin, app fixture (macos-latest)
+    runs-on: macos-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-java@v4
+        with:
+          java-version: '21'
+          distribution: 'zulu'
+          cache: 'gradle'
+
+      - uses: astral-sh/setup-uv@v5
+
+      - name: Create the TypedPython host environment
+        working-directory: python-multiplatform-ksp
+        run: |
+          uv venv .venv --python 3.13
+          uv pip install --python .venv/bin/python "pyrefly==1.3.2" pytest
+
+      - name: App fixture tests
+        run: |
+          rm -rf ksp-fixtures/app/build/test-results/desktopTest
+          ./gradlew :ksp-fixtures:app:desktopTest --rerun --console=plain \
+            -PtypedpythonPython="$PWD/python-multiplatform-ksp/.venv/bin/python"
+
+      - name: The TypedPython tests ran (none skipped)
+        run: |
+          python3 - <<'PY'
+          import glob, sys, xml.etree.ElementTree as ET
+          cases = [c for p in glob.glob("ksp-fixtures/app/build/test-results/desktopTest/*.xml")
+                   for c in ET.parse(p).getroot().iter("testcase")
+                   if c.get("classname") == "fixture.app.TypedPythonKotlinCallTest"]
+          skipped = [c.get("name") for c in cases if c.find("skipped") is not None]
+          print(f"TypedPythonKotlinCallTest: {len(cases)} test(s), {len(skipped)} skipped")
+          if not cases or skipped:
+              print("skipped: " + ", ".join(skipped) if skipped else "no TypedPythonKotlinCallTest results")
+              sys.exit(1)
+          PY

.github/workflows/typedpython.yml

@@ -18,6 +18,11 @@ on:
   pull_request:
     branches: [ "develop", "main" ]
 
+concurrency:
+  # A newer push to the same ref supersedes this run; frees the shared macOS runners.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   compile:
     name: WasmJS compile (no interpreter)

.github/workflows/wasm.yml

@@ -31,6 +31,16 @@ ask first.**
 
 Writing to *another* repository is not an exception either. Do it only when told to work there.
 
+### Do not add top-level folders
+
+**Never add a new directory (or a new file) at the repository root on your own.** The root layout is
+the maintainer's: source modules, `docs/`, `gradle/`, `.github/` and the files that tools require
+there. Work belongs inside an existing module or directory — sources under `src/<sourceSet>/`,
+CI-only scripts under `.github/scripts/`, temporary files under the git-ignored `.tmp/`. If you think
+a new top-level entry is needed, propose it (what, why, which alternatives inside existing
+directories you ruled out) and wait for approval. This was added after unapproved root folders
+(`ksp-fixtures/`, `tools/`, `kotlin-js-store/`, `iosApp/`, `sample/python`) had to be dismantled.
+
 ## 3. Worktrees link large artefacts instead of copying them
 
 A worktree is a full checkout. Copying large untracked artefacts (prebuilt runtimes, vendored trees,

AGENTS.md

@@ -29,3 +29,14 @@ tasks.register("publishAllToMavenLocal") {
     dependsOn(":python-multiplatform-ksp:publishToMavenLocal")
     dependsOn(gradle.includedBuild("python-multiplatform-gradle-plugin").task(":publishToMavenLocal"))
 }
+
+// The build's single Kotlin/Wasm npm lock (one workspace for every wasm module) lives next to the
+// version catalog instead of a root `kotlin-js-store/` (issue #110). KGP only allows this on the
+// root project; the `*Property` forms are the non-deprecated API from Kotlin 2.4 on. Mismatch
+// reporting keeps its default (FAIL), so CI notices a drifted lock.
+plugins.withType<org.jetbrains.kotlin.gradle.targets.wasm.yarn.WasmYarnPlugin> {
+    extensions.getByType<org.jetbrains.kotlin.gradle.targets.wasm.yarn.WasmYarnRootExtension>().apply {
+        lockFileDirectoryProperty.set(layout.projectDirectory.dir("gradle"))
+        lockFileNameProperty.set("wasm-yarn.lock")
+    }
+}

build.gradle.kts

@@ -244,7 +244,13 @@ All in `PM/commonTest`, so they run wherever the interpreter loads.
   one as an attribute imports it (#35) — Kotlin names only. No
   member or parameter is renamed; the binder creates no `pythonx` module and a real `pythonx` package
   on disk is what `import pythonx` loads. The answer is the same whichever installer
-  (`PythonProxySource`, `PythonxAdapter`) ran first for a table. `Status: implemented` on desktop —
+  (`PythonProxySource`, `PythonxAdapter`) ran first for a table. **A name that is both a function and a
+  module is callable** (#78): Kotlin has `TextRange(2)` (a top-level factory) and `TextRange.Zero` (a
+  companion constant), so the module `androidx.compose.ui.text.TextRange` is itself callable — calling it
+  runs the function or overload set of that name in its parent package — while its attributes stay the
+  companion's constants and functions. One rule with the class case (#73): a Kotlin name that is a
+  constructor or factory is what calling it does, whatever else lives under that name. `Status:
+  implemented` on desktop —
   `PM/desktopTest/.../pythonx/KotlinNamedSurfaceTest.kt`, `BinderNamespaceTest.kt`, `ksp-fixtures/compose/.../KotlinSignatureMetadataTest.kt`.
 - **U-9** A Pythonic package can serve extra member names on a Kotlin proxy through one hook,
   `python_multiplatform.binding.add_member_resolver(fn)`, `fn(kotlin_type_name, requested_name,
@@ -277,6 +283,12 @@ All in `PM/commonTest`, so they run wherever the interpreter loads.
   other Kotlin object. `Status: implemented` —
   `PM/commonTest/.../pythonx/PythonxPropertyTest.kt`, `ksp-fixtures/compose/.../PythonContentRenderTest.kt`,
   `AnySlotScalarRenderTest.kt`, `MaterialIconsRenderTest.kt`.
+- **U-11** A KSP-bound function, method or property whose declared return type is a Kotlin class that
+  has a generated proxy returns an instance of **that class's proxy** (#94), not a generic owner: its
+  methods and properties work and `isinstance(result, TheClass)` holds. The class is found by the declared
+  return type's Kotlin name; a return type with no generated proxy stays a generic owner object. The
+  result's ownership is the same as for any owned result. `Status: implemented` —
+  `ksp-fixtures/app/.../KspClassResultProxyTest.kt` (red until #94 lands).
 
 ## 6. Binding prebuilt libraries (Gradle plugin)
 
@@ -343,6 +355,10 @@ All in `PM/commonTest`, so they run wherever the interpreter loads.
   Pythonic stub product belongs to pythonx-compose. `Status: partial` — `GP/stubs/PyiRenderingTest.kt`,
   `GP/stubs/TypedStubTest.kt`, `GP/stubs/KotlinNamesOnlyStubTest.kt`,
   `ksp-fixtures/artifact/.../WalkedArtifactStubTest.kt`, `.../StubSignatureAgreesWithRuntimeTest.kt`,
+  `GP/stubs/CompanionFactoryStubTest.kt` (#78: a name that is both a function and a Kotlin-named
+  module is stubbed in its parent package as one attribute whose type has `__call__` (the function or
+  its `@overload`s) and the module's constants and functions as members — never as a bare `def`, which
+  would hide `TextRange.Zero` from a checker),
   `tools/stubs/check-stubs.sh` (mypy over the Compose stubs). A class whose name is also a function in
   its module is `Any` — except that a class's own bound constructor is that class's `__init__`
   (`@overload`ed for several), so the class keeps its stub, members and properties; a single one's