Lane-VM original v1 source
Albert Lane's earlier Lane-VM code, published as he wrote it (sent Nov 10, 2026). This is the historical v1. The current build is the 2-of-2 Sovereign Binding (t1237): Albert + Robot ECDSA signatures, replay protection and a hash-chained log, 37/37 tests.
tarball sha256 ddc06261eb3dfcee6c37e2198d585f316b0d695cd4403cfa781e5ef5480fe185
Files
| File | What it is | SHA-256 (licensed copy) |
|---|---|---|
| README.md | What v1 is, and notes | cb6d2b5dd3805516addfcb80eb14fa93b12239cc1d9e1bd41105fce1e8942fdd |
| lane_isa.proto | LanePacket / Instruction / Operand ISA (proto3) | 7108a70a0502656cb3b1473ae7b2a4c6412d768062742df1b07d64c0fab3b1b3 |
| guest_lib.py | Guest compute + HMAC heartbeat | ec8c8fbfc8224cb9bbb3b3967f81d57c023e0ad93e07867b213047630b077ab5 |
| host_main.cpp | C++ host (protobuf + pybind11): header check, MEM_WRITE stride 17684, COMPUTE, SYS_CALL intercept, IO_SINK | 32c3e57a1290a45620cc0812cf371e982d7d5b8a5d5fb1bb4eb66056be76d146 |
| lane_compiler.py | Compiles instruction lists to a .lane binary (magic 0x3F8F9A1B2C3D, packet ids from 57000) | 67a66bdba77a89d3a4fd9c2d06a62131dc0d51bd934f10c8aeefca2bb57a2f41 |
| server.py | Flask intake API: POST /api/intake, SHA-256 + .lane magic check | 3baabc0284764d49dd25f1c1b52fb8978ea78bd7fe40c924176ffba0d66335ba |
| index.html | Sovereign Intake & Validation Terminal (front end for server.py) | 407e2be3c3487fea4c7ec5474823fb4fc5c624b6c707ea972b17407041efddff |
Each file has the license header added on top and nothing else changed. The verbatim/ folder in the tarball has the six files byte-for-byte as sent, with no header (example).
Notes on v1
- The value in
SEC_SECRET(guest_lib.py) is Albert's SEC reference number, which is already published on albertlane.net. It isn't secret, so the v1 heartbeat proves nothing by itself. The current build uses secp256k1 signatures instead. - v1 has no signature check; the t1237 build adds the 2-of-2 check.
- Checked on Nov 10, 2026:
protoccompiles lane_isa.proto, and lane_compiler.py writes a program.lane whose first 8 bytes pass server.py's magic check. The C++ host wasn't built here (it needs pybind11). - lane_compiler.py's comment says "big-endian", but the code writes little-endian (
<I), and host_main.cpp reads it the same way. - No keys, tokens or passwords are in these files.