Aletheia is a compiled language model (n_parameters=0) that writes occupancy kernels: an empty tape refuses, it does not report 0.
Show and tell · compiled-llm topic
World model / autonomous driving — empty next, sites, or voxels are absence; OccupancyGrid / OpenDRIVE / KITTI / PCD / OXTS / MCAP / rosbag2 now ship as playable tapes, and sibling kernels ingest them (pairlock / karplock OpenDRIVE matching, worldtick MCAP, nearlock / hulllock PCD, racelock / tourlock / cyclelock OpenDRIVE, kalmanlock OXTS) on gridlock · lanelock · voxelock · meshlock: cyclelock · celllock · lanelock · voxelock · kalmanlock · slotlock · orbitlock · bridgelock · clearlock · obstlock · worldtick · wallock · cagelock · sidelock · tourlock · shiftlock · woodlock · taplock · racelock · gaplock · climblock · floodlock · buslock · jumplock · coinlock · sicklock · farlock
Dexterous hand — empty contacts are absence; URDF / MJCF / MANO-shaped joints now ship on jointlock · fingerlock · handlock · reachlock: handlock · hulllock · jointlock · hookelock · camlock · fingerlock · reachlock · holdlock · jumplock
BCI / spike tapes — empty samples are absence; spikelock ships EDF / BIDS-EEG / XDF StreamHeader+Samples / BrainVision / WFDB / EEGLAB .set / GDF 1.25, official MNE reads the EDF, GDF, and BrainVision tapes, official wfdb reads the format-16 tapes, official pyxdf reports n_streams 3 (EEG, string markers, float32 Accel) on the sibling BCI kernels too: spikelock · stemlock · bloomlock · gaplock · sicklock · pulselock
Fixed and used — MNE 1.9.0 import raises on SciPy 1.17.1, a 6-line sph_harm_y shim (microseconds, numerics match) restores it, then official MNE reads the CNT / BDF / Persyst / NSX / Nicolet / Nihon / EyeLink / Eximia / NIRx / Hitachi / SNIRF tapes (spikelock).
Each kernel imports the package, records their empty case, then runs the same square / tape / sites through our dest.
| repo | I used | their empty case | I built |
|---|---|---|---|
| handlock | bmc/munkres | [[]] is [] (#54) |
2×2 assignment cost 2 |
| needlelock | WojciechMula/pyahocorasick | empty add_word accepted (#225) |
overlapping hits 4 |
| nearlock | stefankoegl/kdtree | empty search_nn is None (#56) |
nearest-x 3 |
| flowlock | networkx/networkx | empty residual is flow 0 | diamond flow 2 |
| cyclelock | networkx/networkx | empty simple_cycles is [] |
loop occupancy 1 |
| karplock | networkx/networkx | empty matching is 0 | 2×2 matching 2 |
| prefixlock | numpy/numpy | empty cumsum is [] |
prefix 10 |
| hulllock | scipy/scipy ConvexHull |
no points raises | hull 4 |
| meshlock | scipy/scipy Delaunay |
no points raises | 4 triangles |
| celllock | scipy/scipy Voronoi |
no points raises | unbounded cells 4 |
| bloomlock | joseph-fox/python-bloomfilter | empty membership is False |
maybe-membership 1 |
| layerlock | networkx/networkx | empty longest path is 0 | 3-layer task chain |
| ranklock | ilanschnell/bitarray | empty count(1) is 0 |
rank 3 |
| rangelock | grantjenks/python-sortedcontainers | empty irange is [] |
box count 2 |
| sitelock | scipy/scipy Voronoi |
no points raises | Fortune vertex 1 |
| marchlock | scipy/scipy ConvexHull |
no points raises | Jarvis hull 4 |
| pairlock | networkx/networkx | empty matching is set() |
pairing 2 |
| routelock | networkx/networkx | empty johnson is {} |
lane distance 2 |
| voxelock | numpy/numpy | empty norm is 0.0 |
lidar NE 1 |
| gridlock | numpy/numpy | empty norm is 0.0 |
BEV NE 1 |
| remainlock | stdlib math.gcd |
gcd(0,0) is 0 |
CRT 8 |
| twistlock | numpy/numpy | empty norm is 0.0 |
wrist hypot 5 |
| spikelock | numpy/numpy | empty mean is nan |
occupancy 3 |
| cliplock | scipy/scipy ConvexHull |
no points raises | interior discard 1 |
| kalmanlock | rlabbe/filterpy | update(None) accepted (#333) |
occupancy 3 |
| hookelock | numpy/numpy | empty norm is 0.0 |
spring occupancy 3 |
| slotlock | chaimleib/intervaltree | empty at is [] (#159) |
overlap 2 |
| orbitlock | networkx/networkx | empty components is 0 | four-node orbits 2 |
| bridgelock | networkx/networkx | empty bridges is [] |
triangle-pending 1 |
| clearlock | numpy/numpy | empty norm is 0.0 |
sdf occupancy 3 |
| camlock | networkx/networkx | empty nodes is [] |
camera cover 1 |
| fingerlock | numpy/numpy | empty norm is 0.0 |
two-finger 3 |
| obstlock | numpy/numpy | empty norm is 0.0 |
obstacle path 6 |
| cuckoolock | stdlib dict |
empty get is None |
placed 3 |
| splaylock | grantjenks/python-sortedcontainers | empty membership is False |
splay-to-root 1 |
| treaplock | stdlib heapq |
empty heappop raises |
treap root 3 |
| skiplock | grantjenks/python-sortedcontainers | empty index raises |
skip index 2 |
| suffixlock | WojciechMula/pyahocorasick | empty add_word accepted |
suffix links 3 |
| wavelock | numpy/numpy | empty count_nonzero is 0 |
prefix rank 3 |
| worldtick | networkx/networkx | empty nodes is [] |
world reach 3 |
| reachlock | numpy/numpy | empty norm is 0.0 |
two-link reach |
| philock | networkx/networkx | empty nodes is [] |
one phi site |
| climblock | numpy/numpy | empty max raises |
height path 4 |
| floodlock | numpy/numpy | empty max raises |
rising-water 3 |
| buslock | networkx/networkx | empty shortest_path raises |
two-route hop 2 |
| holdlock | networkx/networkx | empty matching is set() |
couple swap 1 |
| wallock | numpy/numpy | empty norm is 0.0 |
removals 2 |
| cagelock | numpy/numpy | empty norm is 0.0 |
walls 10 |
| sidelock | numpy/numpy | empty count_nonzero is 0 |
left-visible 3 |
| tourlock | networkx/networkx | empty nodes is [] |
tour length 4 |
| shiftlock | numpy/numpy | empty sum is 0.0 |
job profit 120 |
| woodlock | numpy/numpy | empty norm is 0.0 |
forest steps 6 |
| taplock | numpy/numpy | empty sum is 0.0 |
garden taps 1 |
| racelock | numpy/numpy | empty norm is 0.0 |
instructions 2 |
| gaplock | numpy/numpy | empty count_nonzero is 0 |
empty-slot day 2 |
| jumplock | networkx/networkx | empty nodes is 0 | eight-stone cross |
| sicklock | numpy/numpy | empty sum is 0.0 |
infection orders 4 |
| coinlock | networkx/networkx | empty nodes is 0 | coin path 1-3-5 |
| farlock | numpy/numpy | empty norm is 0.0 |
Manhattan span 12 |
| pulselock | numpy/numpy | empty sum is 0.0 |
pulse strength 22 |