Export the three names the new declarations call

`port/*.def` is an explicit list, and the import library generated from it
contains exactly those names. I added three declarations to `src/win32.h` for
openkal 0.8 and did not add the names, so the import library this package
generates for its consumers was missing them.

⚠️ AND THIS PACKAGE'S OWN CI STAYED GREEN, because this package does not link.
The failure appeared one repository away, in openkal-llvm-runtime's cross-build:

    ld.lld: error: undefined symbol: __declspec(dllimport) CreatePipe
    ld.lld: error: undefined symbol: __declspec(dllimport) GetConsoleScreenBufferInfo
    ld.lld: error: undefined symbol: __declspec(dllimport) SetConsoleMode

which reads as a defect in the consumer and is nothing of the kind.

⭐ IT WAS FOUND BY COMPARING IMPORT LIBRARIES, NOT BY READING THE ERROR. Every
copy of a vendor `libkernel32.a` on the machine had all three; the one generated
here had `GetConsoleMode` and not `SetConsoleMode`, which is not a shape a
vendor's library takes and pointed straight at the generated list.

The check added here is the one that would have caught it: every name
`src/win32.h` declares must be exported by some `.def`. It belongs in this
repository, where the two lists are, rather than in the consumer that trips over
the difference.

Measured both ways: removing `CreatePipe` from the list makes it red and names
the symbol; the lists as committed are 42 declared, 49 exported, none missing.
A denominator is asserted on both sides, since two empty lists have an empty
difference too.

Author: speak-agent

.github/workflows/ci.yml

@@ -163,6 +163,48 @@ jobs:
             echo "under review: $("$built" --version)  (from $MCPP_SOURCE_REF)"
           fi
 
+      # EVERY NAME THE HEADER DECLARES IS EXPORTED BY ONE OF THE .def FILES.
+      #
+      # `port/*.def` is an explicit list, and an import library generated from it
+      # contains exactly those names. So a declaration added to `src/win32.h`
+      # without a matching line in a `.def` compiles, and fails at the link of a
+      # CONSUMER --- not of this package, which does not link.
+      #
+      # ⚠️ MEASURED. Three declarations were added for openkal 0.8 and the names
+      # were not, and this package's own CI stayed green: the failure appeared in
+      # openkal-llvm-runtime's cross-build, one repository away, as
+      #
+      #     ld.lld: error: undefined symbol: __declspec(dllimport) CreatePipe
+      #
+      # which reads as a defect in the consumer. The check belongs here, where
+      # the two lists are.
+      - name: Every declared name is exported by a .def
+        run: |
+          python3 - <<'PY'
+          import glob, os, re, sys
+          declared = set(re.findall(r'OKW_IMPORT\s+\w+\s+OKW_API\s+(\w+)\s*\(',
+                                    open("src/win32.h").read()))
+          exported = set()
+          for f in glob.glob("port/*.def"):
+              body = open(f).read().split("EXPORTS", 1)
+              if len(body) < 2: continue
+              exported |= {l.strip() for l in body[1].split("\n")
+                           if l.strip() and not l.lstrip().startswith(';')}
+          # A denominator on both sides: with either list empty the difference is
+          # vacuously empty too.
+          if not declared or not exported:
+              print(f"::error::declared={len(declared)} exported={len(exported)}; nothing was compared")
+              sys.exit(1)
+          missing = sorted(declared - exported)
+          print(f"  {len(declared)} declared, {len(exported)} exported across "
+                f"{len(glob.glob('port/*.def'))} .def files")
+          if missing:
+              print("::error::declared in src/win32.h and exported by no .def:")
+              for m in missing: print(f"        {m}")
+              sys.exit(1)
+          print("  ok  every declared name is exported")
+          PY
+
       - name: Select the toolchain
         run: |
           spec='${{ matrix.toolchain }}'

port/kernel32.def

@@ -6,12 +6,14 @@ LIBRARY KERNEL32.dll
 EXPORTS
 CloseHandle
 CreateFileW
+CreatePipe
 CreateProcessW
 CreateThread
 FlushFileBuffers
 FreeEnvironmentStringsW
 GetCommandLineW
 GetConsoleMode
+GetConsoleScreenBufferInfo
 GetCurrentDirectoryW
 GetCurrentProcess
 GetCurrentThreadId
@@ -31,6 +33,7 @@ MultiByteToWideChar
 QueryPerformanceCounter
 QueryPerformanceFrequency
 ReadFile
+SetConsoleMode
 SetFilePointerEx
 SetHandleInformation
 Sleep