userspace/cuda: complete the analysis pass

* Name recovery: name_candidates.py proposes the hand-written API-layer
  implementation for each exported wrapper by grouping version variants and
  intersecting their callees; 180 high-confidence proposals recorded in
  annotations/name-candidates.tsv, 29 of them body-verified and promoted to
  names.tsv with evidence in subsystems.tsv.
* Engine records: identified the 0x14-byte per-engine descriptor, mapped its
  fields (kind, engine type, instance, class id, CE caps) and the existence
  callback, and documented how the missing async copy engine (COPY14) leaves
  the secondary record zeroed and blocks context creation (docs/05 section
  3.7, public-safe).
* Targeted type recovery: AnalyzeFunctions.java runs the parameter-ID
  analyzer over a curated list of 80 functions; 16 improved materially and
  the typed decompilations are kept under the version run tree.
* Cross-version: cudatool.py fdematch measures how names transfer between
  patch versions (570.144 -> 570.211.01: exports 100%, verified internals
  ~70%, generated wrappers must be re-resolved by relocation, never by
  address arithmetic); documented in the upgrade playbook.
* Corpus tooling: diff_corpus.py (version-to-version corpus diff) and
  subsystem_digest.py (per-subsystem call trees).
* Deprecate the old per-version helpers whose address handling and analysis
  timeout produced wrong results.

Generated corpora and typed outputs remain untracked under the version run
tree.

1 files changed, 39 insertions, 0 deletions

diff --git a/userspace/cuda/570.144/annotations/names.tsv b/userspace/cuda/570.144/annotations/names.tsv
index 403bef3..e668055 100644
--- a/userspace/cuda/570.144/annotations/names.tsv
+++ b/userspace/cuda/570.144/annotations/names.tsv
@@ -1302,3 +1302,42 @@
 0x4676f0	cudaEngineContextCreateHook	verified
 0x481360	rmEngineContextAlloc	verified
 0x453cc0	cudaEngineContextCleanup	verified
+# --- engine-record path verified in the 2026-09 type-recovery pass (see docs/05 section 3.7) ---
+0x450ff0	cudaDeviceBuildEngineRecords	verified
+0x462770	cudaRmGetEngines	verified
+0x44a170	cudaDeviceSupportsClass	verified
+0x458040	cudaDeviceAbiTableInit	verified
+0x44ac20	cudaDeviceInitCaps	verified
+#
+# --- wrapper callees verified in the 2026-09 name-candidate pass ---
+# Method: tools/name_candidates.py; per-entry evidence and confidence in
+# name-candidates.tsv; roles/evidence also recorded in subsystems.tsv.
+0x1a36d0	impl_cuCtxGetApiVersion	wrapper-callee
+0x1a4900	impl_cuArrayGetMemoryRequirements	wrapper-callee
+0x1a5410	impl_cuArrayGetPlane	wrapper-callee
+0x1a5820	impl_cuDevicePrimaryCtxGetState	wrapper-callee
+0x1a6150	impl_cuDeviceRegisterAsyncNotification	wrapper-callee
+0x1a6430	impl_cuCtxAttach	wrapper-callee
+0x1a66f0	impl_cuCtxGetCurrent	wrapper-callee
+0x1a6850	impl_cuCtxGetDevice	wrapper-callee
+0x1a6960	impl_cuCtxGetFlags	wrapper-callee
+0x1a6af0	impl_cuFlushGPUDirectRDMAWrites	wrapper-callee
+0x1a6c50	impl_cuCtxGetExecAffinity	wrapper-callee
+0x1a7320	impl_cuDeviceGetLuid	wrapper-callee
+0x1ae3d0	impl_cuDeviceComputeCapability	wrapper-callee
+0x1ae550	impl_cuDeviceGetProperties	wrapper-callee
+0x1ae780	impl_cuDeviceGetAttribute	wrapper-callee
+0x1be900	impl_cuCtxDestroy	wrapper-callee
+0x1da450	impl_cuMemFree	wrapper-callee
+0x1da880	impl_cuMemFreeHost	wrapper-callee
+0x1e9ab0	impl_cuModuleLoad	wrapper-callee
+0x1e9d80	impl_cuModuleLoadData	wrapper-callee
+0x2891d0	impl_cuEventDestroy	wrapper-callee
+0x2a6bf0	impl_cuGraphDebugDotPrint	wrapper-callee
+0x2ce4e0	impl_cuLinkCreate	wrapper-callee
+0x2f9f00	impl_cuModuleGetGlobal	wrapper-callee
+0x3c9250	impl_cuMemFreeAsync	wrapper-callee
+0x400ec0	impl_cuMemAlloc	wrapper-callee
+0x402a30	impl_cuMemGetAddressRange	wrapper-callee
+0xd11d90	impl_cuStreamBeginCapture	wrapper-callee
+0xd668f0	impl_cuLibraryGetUnifiedFunction	wrapper-callee