# Platform Notes

> USearch for Wolfram

### What This Binding Does Not Expose

- Deferred calls, since every call blocks.
- Search predicates and progress callbacks, since the kernel evaluates on one thread and the executor's workers would have nowhere to call back into.
- Traversal telemetry, cursors, search streams & `absorb`, which the C interface has and this package does not bind yet.

### Design

- __A thin layer over the C ABI.__
  Every name follows `include/usearch/`: a C verb `usearch_dense_<verb>` is a `Dense<Verb>` here, every option is a C field, and every usage message names the C symbol it calls or says it is binding-only.
  Metrics, quantizations, moods and statuses cross as the strings `usearch_*_name` spells, read back through `usearch_*_from_name`, so the C library owns every spelling.
- __The receiver chooses, the verb stays.__
  The index runs a verb on the kernel's own thread, and `DenseIndexOn[index, executor]` runs it on an executor's workers, with the same arguments.
- __No life of its own.__
  The package starts no threads and keeps no queues, so every worker belongs to an executor you made.
- __Arenas are lent and reused, never shared.__
  Every output whose length scales with the call lands in an arena the caller passes, and is copied into Wolfram arrays before the call returns, so no result reads an arena a later call rewound.
- __Nothing costs anything until it is used.__
  A call reads the kernel's tensors in place, and an arena allocates only when a call writes into it.
- __Calls block.__
  Every verb returns once its call is final, on the kernel's own thread or an executor's workers, and there is one verb per operation rather than a twin per output style.
- __Handles are managed expressions.__
  The kernel frees an index, executor or arena once its last reference dies, and an integer a caller typed never reaches the library as a pointer.
  A call holds every handle it names until it returns, so `DenseSearch[DenseIndexOn[index, ExecutorForRam[]], queries, 10, ArenaInit[]]` is safe.

