Sync with GitHub, license metadata from LICENSE files, commercial license notice
Browse filesmetadata license: None -> agpl-3.0
README: License section kept (already accurate) + commercial notice
README: GitHub source link added
README.md
CHANGED
|
@@ -1,736 +1,750 @@
|
|
| 1 |
-
|
| 2 |
-
|
| 3 |
-
|
| 4 |
-
|
| 5 |
-
|
| 6 |
-
|
| 7 |
-
|
| 8 |
-
|
| 9 |
-
|
| 10 |
-
<img src="
|
| 11 |
-
|
| 12 |
-
|
| 13 |
-
|
| 14 |
-
|
| 15 |
-
|
| 16 |
-
|
| 17 |
-
</
|
| 18 |
-
|
| 19 |
-
<
|
| 20 |
-
|
| 21 |
-
---
|
| 22 |
-
|
| 23 |
-
|
| 24 |
-
|
| 25 |
-
|
| 26 |
-
|
| 27 |
-
|
| 28 |
-
|
| 29 |
-
|
| 30 |
-
|
| 31 |
-
|
| 32 |
-
|
| 33 |
-
|
| 34 |
-
|
| 35 |
-
|
| 36 |
-
|
| 37 |
-
|
| 38 |
-
|
| 39 |
-
|
| 40 |
-
|
| 41 |
-
|
| 42 |
-
|
| 43 |
-
|
| 44 |
-
|
| 45 |
-
|
| 46 |
-
|
| 47 |
-
|
| 48 |
-
|
| 49 |
-
|
| 50 |
-
|
| 51 |
-
|
| 52 |
-
|
| 53 |
-
|
| 54 |
-
β
|
| 55 |
-
β
|
| 56 |
-
β
|
| 57 |
-
β
|
| 58 |
-
β
|
| 59 |
-
|
| 60 |
-
|
| 61 |
-
|
| 62 |
-
-
|
| 63 |
-
|
| 64 |
-
|
| 65 |
-
|
| 66 |
-
|
| 67 |
-
|
| 68 |
-
|
| 69 |
-
|
| 70 |
-
|
| 71 |
-
|
| 72 |
-
|
| 73 |
-
|
| 74 |
-
```bash
|
| 75 |
-
#
|
| 76 |
-
|
| 77 |
-
|
| 78 |
-
|
| 79 |
-
|
| 80 |
-
|
| 81 |
-
|
| 82 |
-
|
| 83 |
-
|
| 84 |
-
|
| 85 |
-
|
| 86 |
-
|
| 87 |
-
|
| 88 |
-
|
| 89 |
-
|
| 90 |
-
|
| 91 |
-
|
| 92 |
-
|
| 93 |
-
|
| 94 |
-
|
| 95 |
-
|
| 96 |
-
|
| 97 |
-
|
| 98 |
-
|
| 99 |
-
|
| 100 |
-
|
| 101 |
-
|
| 102 |
-
|
| 103 |
-
|
| 104 |
-
|
| 105 |
-
|
| 106 |
-
|
| 107 |
-
|
| 108 |
-
|
| 109 |
-
|
| 110 |
-
|
| 111 |
-
|
| 112 |
-
|
| 113 |
-
|
| 114 |
-
|
| 115 |
-
|
| 116 |
-
|
| 117 |
-
|
| 118 |
-
|
| 119 |
-
|
| 120 |
-
|
| 121 |
-
|
| 122 |
-
|
| 123 |
-
|
| 124 |
-
|
| 125 |
-
|
| 126 |
-
|
| 127 |
-
|
| 128 |
-
|
| 129 |
-
β
|
| 130 |
-
|
| 131 |
-
β
|
| 132 |
-
β
|
| 133 |
-
β β
|
| 134 |
-
β β
|
| 135 |
-
β
|
| 136 |
-
β β
|
| 137 |
-
β
|
| 138 |
-
β
|
| 139 |
-
β β
|
| 140 |
-
β β
|
| 141 |
-
β
|
| 142 |
-
β
|
| 143 |
-
β ββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 144 |
-
β β
|
| 145 |
-
β β
|
| 146 |
-
β β
|
| 147 |
-
β β
|
| 148 |
-
β β
|
| 149 |
-
β
|
| 150 |
-
β
|
| 151 |
-
β
|
| 152 |
-
β β
|
| 153 |
-
β β β β
|
| 154 |
-
β
|
| 155 |
-
β
|
| 156 |
-
β
|
| 157 |
-
β β
|
| 158 |
-
β β
|
| 159 |
-
β β
|
| 160 |
-
β β
|
| 161 |
-
β β
|
| 162 |
-
β
|
| 163 |
-
β
|
| 164 |
-
β
|
| 165 |
-
β
|
| 166 |
-
β
|
| 167 |
-
β ββββββββββββββββββββββββββββββββββββββββ
|
| 168 |
-
β β
|
| 169 |
-
β β
|
| 170 |
-
β β
|
| 171 |
-
β β
|
| 172 |
-
β β β β
|
| 173 |
-
β
|
| 174 |
-
β
|
| 175 |
-
β
|
| 176 |
-
β
|
| 177 |
-
β
|
| 178 |
-
β
|
| 179 |
-
β β
|
| 180 |
-
β β β β
|
| 181 |
-
β β
|
| 182 |
-
β β
|
| 183 |
-
β β
|
| 184 |
-
β
|
| 185 |
-
β
|
| 186 |
-
β
|
| 187 |
-
β β
|
| 188 |
-
β β
|
| 189 |
-
β β
|
| 190 |
-
β β
|
| 191 |
-
β β
|
| 192 |
-
β β
|
| 193 |
-
β β
|
| 194 |
-
β β
|
| 195 |
-
β β
|
| 196 |
-
β β
|
| 197 |
-
β β
|
| 198 |
-
β β
|
| 199 |
-
β β
|
| 200 |
-
β β
|
| 201 |
-
β β
|
| 202 |
-
β β
|
| 203 |
-
β β
|
| 204 |
-
β β
|
| 205 |
-
β β
|
| 206 |
-
β β
|
| 207 |
-
β
|
| 208 |
-
|
| 209 |
-
|
| 210 |
-
|
| 211 |
-
|
| 212 |
-
|
| 213 |
-
|
| 214 |
-
|
| 215 |
-
|
| 216 |
-
|
| 217 |
-
|
| 218 |
-
|
| 219 |
-
|
| 220 |
-
|
| 221 |
-
|
| 222 |
-
|
| 223 |
-
|
| 224 |
-
LAYER
|
| 225 |
-
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 226 |
-
β
|
| 227 |
-
β
|
| 228 |
-
β
|
| 229 |
-
β
|
| 230 |
-
|
| 231 |
-
|
| 232 |
-
|
| 233 |
-
|
| 234 |
-
|
| 235 |
-
β
|
| 236 |
-
β
|
| 237 |
-
β
|
| 238 |
-
β
|
| 239 |
-
|
| 240 |
-
|
| 241 |
-
|
| 242 |
-
|
| 243 |
-
|
| 244 |
-
β
|
| 245 |
-
β
|
| 246 |
-
β
|
| 247 |
-
β
|
| 248 |
-
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 249 |
-
β
|
| 250 |
-
LAYER
|
| 251 |
-
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 252 |
-
β
|
| 253 |
-
β
|
| 254 |
-
β
|
| 255 |
-
β
|
| 256 |
-
|
| 257 |
-
|
| 258 |
-
|
| 259 |
-
|
| 260 |
-
-
|
| 261 |
-
|
| 262 |
-
|
| 263 |
-
|
| 264 |
-
|
| 265 |
-
|
| 266 |
-
```
|
| 267 |
-
|
| 268 |
-
|
| 269 |
-
|
| 270 |
-
|
| 271 |
-
|
| 272 |
-
|
| 273 |
-
|
| 274 |
-
|
| 275 |
-
|
| 276 |
-
β
|
| 277 |
-
|
| 278 |
-
|
| 279 |
-
|
| 280 |
-
|
| 281 |
-
|
| 282 |
-
|
| 283 |
-
|
| 284 |
-
|
| 285 |
-
|
| 286 |
-
|
| 287 |
-
|
| 288 |
-
|
| 289 |
-
|
| 290 |
-
|
| 291 |
-
|
| 292 |
-
|
| 293 |
-
|
| 294 |
-
:
|
| 295 |
-
:
|
| 296 |
-
|
| 297 |
-
:
|
| 298 |
-
|
| 299 |
-
|
| 300 |
-
|
| 301 |
-
|
| 302 |
-
|
| 303 |
-
|
| 304 |
-
(
|
| 305 |
-
|
| 306 |
-
|
| 307 |
-
|
| 308 |
-
|
| 309 |
-
|
| 310 |
-
|
| 311 |
-
|
| 312 |
-
|
| 313 |
-
|
| 314 |
-
|
| 315 |
-
|
| 316 |
-
|
| 317 |
-
|
| 318 |
-
|
| 319 |
-
|
| 320 |
-
β
|
| 321 |
-
|
| 322 |
-
β
|
| 323 |
-
β
|
| 324 |
-
β
|
| 325 |
-
β
|
| 326 |
-
β
|
| 327 |
-
β
|
| 328 |
-
β
|
| 329 |
-
β
|
| 330 |
-
β
|
| 331 |
-
β
|
| 332 |
-
β
|
| 333 |
-
β
|
| 334 |
-
β
|
| 335 |
-
β
|
| 336 |
-
β
|
| 337 |
-
β
|
| 338 |
-
|
| 339 |
-
|
| 340 |
-
|
| 341 |
-
|
| 342 |
-
|
| 343 |
-
|
| 344 |
-
|
| 345 |
-
|
| 346 |
-
|
| 347 |
-
|
| 348 |
-
|
| 349 |
-
|
| 350 |
-
|
| 351 |
-
|
| 352 |
-
|
| 353 |
-
|
| 354 |
-
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 355 |
-
β
|
| 356 |
-
β β
|
| 357 |
-
β
|
| 358 |
-
β
|
| 359 |
-
|
| 360 |
-
|
| 361 |
-
|
| 362 |
-
|
| 363 |
-
|
| 364 |
-
|
| 365 |
-
|
| 366 |
-
|
| 367 |
-
|
| 368 |
-
|
| 369 |
-
|
| 370 |
-
|
| 371 |
-
|
| 372 |
-
|
| 373 |
-
|
| 374 |
-
|
| 375 |
-
|
| 376 |
-
|
| 377 |
-
|
| 378 |
-
|
| 379 |
-
|
| 380 |
-
|
| 381 |
-
|
| 382 |
-
|
| 383 |
-
|
| 384 |
-
|
| 385 |
-
|
| 386 |
-
|
| 387 |
-
|
| 388 |
-
|
| 389 |
-
|
| 390 |
-
|
| 391 |
-
|
| 392 |
-
|
| 393 |
-
|
| 394 |
-
|
| 395 |
-
|
| 396 |
-
|
| 397 |
-
|
| 398 |
-
|
| 399 |
-
|
| 400 |
-
|
| 401 |
-
β
|
| 402 |
-
v
|
| 403 |
-
|
| 404 |
-
|
| 405 |
-
|
| 406 |
-
|
| 407 |
-
|
| 408 |
-
|
| 409 |
-
|
| 410 |
-
|
| 411 |
-
|
| 412 |
-
|
| 413 |
-
|
| 414 |
-
|
| 415 |
-
|
| 416 |
-
|
| 417 |
-
|
| 418 |
-
|
| 419 |
-
|
| 420 |
-
|
| 421 |
-
|
| 422 |
-
|
| 423 |
-
|
| 424 |
-
β
|
| 425 |
-
β
|
| 426 |
-
β
|
| 427 |
-
β
|
| 428 |
-
β
|
| 429 |
-
β
|
| 430 |
-
β
|
| 431 |
-
β
|
| 432 |
-
β
|
| 433 |
-
β
|
| 434 |
-
β
|
| 435 |
-
β
|
| 436 |
-
β
|
| 437 |
-
β
|
| 438 |
-
β
|
| 439 |
-
β
|
| 440 |
-
β
|
| 441 |
-
β
|
| 442 |
-
β
|
| 443 |
-
|
| 444 |
-
|
| 445 |
-
|
| 446 |
-
|
| 447 |
-
|
| 448 |
-
|
| 449 |
-
|
| 450 |
-
|
| 451 |
-
|
| 452 |
-
|
| 453 |
-
|
| 454 |
-
|
| 455 |
-
|
| 456 |
-
|
| 457 |
-
|
| 458 |
-
|
| 459 |
-
|
| 460 |
-
|
| 461 |
-
|
| 462 |
-
|
| 463 |
-
|
| 464 |
-
|
| 465 |
-
|
| 466 |
-
|
| 467 |
-
β
|
| 468 |
-
|
| 469 |
-
β
|
| 470 |
-
β
|
| 471 |
-
β
|
| 472 |
-
β
|
| 473 |
-
β
|
| 474 |
-
β
|
| 475 |
-
β
|
| 476 |
-
β
|
| 477 |
-
β
|
| 478 |
-
β
|
| 479 |
-
β
|
| 480 |
-
β
|
| 481 |
-
β
|
| 482 |
-
β
|
| 483 |
-
β
|
| 484 |
-
β
|
| 485 |
-
β
|
| 486 |
-
|
| 487 |
-
|
| 488 |
-
|
| 489 |
-
|
| 490 |
-
|
| 491 |
-
|
| 492 |
-
|
| 493 |
-
|
| 494 |
-
|
| 495 |
-
|
| 496 |
-
|
| 497 |
-
|
| 498 |
-
|
| 499 |
-
|
| 500 |
-
|
| 501 |
-
|
| 502 |
-
|
| 503 |
-
β
|
| 504 |
-
|
| 505 |
-
|
| 506 |
-
β
|
| 507 |
-
β
|
| 508 |
-
β
|
| 509 |
-
β
|
| 510 |
-
β
|
| 511 |
-
β
|
| 512 |
-
β
|
| 513 |
-
|
| 514 |
-
β β
|
| 515 |
-
β
|
| 516 |
-
β β
|
| 517 |
-
β
|
| 518 |
-
β
|
| 519 |
-
β
|
| 520 |
-
β
|
| 521 |
-
|
| 522 |
-
|
| 523 |
-
|
| 524 |
-
|
| 525 |
-
|
| 526 |
-
|
| 527 |
-
|
| 528 |
-
|
| 529 |
-
|
| 530 |
-
|
| 531 |
-
|
| 532 |
-
|
| 533 |
-
|
| 534 |
-
|
| 535 |
-
|
| 536 |
-
|
| 537 |
-
|
| 538 |
-
|
| 539 |
-
|
| 540 |
-
|
| 541 |
-
|
| 542 |
-
|
| 543 |
-
β βββ nekomata.
|
| 544 |
-
β
|
| 545 |
-
βββ
|
| 546 |
-
β βββ
|
| 547 |
-
β βββ
|
| 548 |
-
β βββ
|
| 549 |
-
β βββ
|
| 550 |
-
β βββ image.lisp
|
| 551 |
-
β
|
| 552 |
-
β
|
| 553 |
-
|
| 554 |
-
β
|
| 555 |
-
βββ
|
| 556 |
-
β βββ
|
| 557 |
-
β βββ
|
| 558 |
-
β βββ
|
| 559 |
-
β βββ
|
| 560 |
-
β βββ
|
| 561 |
-
β βββ
|
| 562 |
-
β
|
| 563 |
-
|
| 564 |
-
β
|
| 565 |
-
β
|
| 566 |
-
β
|
| 567 |
-
β
|
| 568 |
-
β
|
| 569 |
-
|
| 570 |
-
β
|
| 571 |
-
β
|
| 572 |
-
β
|
| 573 |
-
β
|
| 574 |
-
β
|
| 575 |
-
|
| 576 |
-
β
|
| 577 |
-
|
| 578 |
-
β βββ
|
| 579 |
-
β
|
| 580 |
-
β
|
| 581 |
-
|
| 582 |
-
β
|
| 583 |
-
|
| 584 |
-
β βββ
|
| 585 |
-
β βββ
|
| 586 |
-
β βββ
|
| 587 |
-
β
|
| 588 |
-
β
|
| 589 |
-
|
| 590 |
-
β
|
| 591 |
-
β
|
| 592 |
-
βββ
|
| 593 |
-
β βββ
|
| 594 |
-
β βββ
|
| 595 |
-
β βββ
|
| 596 |
-
β
|
| 597 |
-
β
|
| 598 |
-
β
|
| 599 |
-
|
| 600 |
-
|
| 601 |
-
β
|
| 602 |
-
βββ
|
| 603 |
-
β βββ
|
| 604 |
-
β βββ
|
| 605 |
-
β βββ
|
| 606 |
-
β
|
| 607 |
-
|
| 608 |
-
|
| 609 |
-
|
| 610 |
-
|
| 611 |
-
|
| 612 |
-
|
| 613 |
-
|
| 614 |
-
|
| 615 |
-
|
| 616 |
-
|
| 617 |
-
|
| 618 |
-
|
| 619 |
-
|
| 620 |
-
|
| 621 |
-
|
| 622 |
-
|
| 623 |
-
|
| 624 |
-
|
| 625 |
-
|
| 626 |
-
|
| 627 |
-
|
| 628 |
-
|
| 629 |
-
β
|
| 630 |
-
β
|
| 631 |
-
β
|
| 632 |
-
β
|
| 633 |
-
β
|
| 634 |
-
β
|
| 635 |
-
β
|
| 636 |
-
β
|
| 637 |
-
β
|
| 638 |
-
β
|
| 639 |
-
β
|
| 640 |
-
β
|
| 641 |
-
β
|
| 642 |
-
β
|
| 643 |
-
β
|
| 644 |
-
β
|
| 645 |
-
β
|
| 646 |
-
β
|
| 647 |
-
|
| 648 |
-
|
| 649 |
-
|
| 650 |
-
|
| 651 |
-
|
| 652 |
-
|
| 653 |
-
|
| 654 |
-
|
| 655 |
-
|
| 656 |
-
|
| 657 |
-
|
| 658 |
-
|
| 659 |
-
|
| 660 |
-
|
| 661 |
-
|
| 662 |
-
|
| 663 |
-
|
| 664 |
-
β
|
| 665 |
-
|
| 666 |
-
β
|
| 667 |
-
β
|
| 668 |
-
β
|
| 669 |
-
β
|
| 670 |
-
β
|
| 671 |
-
β
|
| 672 |
-
β
|
| 673 |
-
β
|
| 674 |
-
β
|
| 675 |
-
β
|
| 676 |
-
β
|
| 677 |
-
β
|
| 678 |
-
|
| 679 |
-
|
| 680 |
-
|
| 681 |
-
|
| 682 |
-
|
| 683 |
-
|
| 684 |
-
|
| 685 |
-
|
| 686 |
-
|
| 687 |
-
|
| 688 |
-
|
| 689 |
-
|
| 690 |
-
|
| 691 |
-
|
| 692 |
-
|
| 693 |
-
|
| 694 |
-
|
| 695 |
-
β
|
| 696 |
-
|
| 697 |
-
|
| 698 |
-
|
| 699 |
-
|
| 700 |
-
|
| 701 |
-
|
| 702 |
-
|
| 703 |
-
|
| 704 |
-
|
| 705 |
-
|
| 706 |
-
|
| 707 |
-
|
| 708 |
-
|
| 709 |
-
|
| 710 |
-
|
| 711 |
-
|
| 712 |
-
|
| 713 |
-
|
| 714 |
-
|
| 715 |
-
|
| 716 |
-
|
| 717 |
-
|
| 718 |
-
|
| 719 |
-
|
| 720 |
-
|
| 721 |
-
|
| 722 |
-
|
| 723 |
-
|
| 724 |
-
|
| 725 |
-
|
| 726 |
-
|
| 727 |
-
|
| 728 |
-
|
| 729 |
-
|
| 730 |
-
|
| 731 |
-
|
| 732 |
-
|
| 733 |
-
|
| 734 |
-
|
| 735 |
-
|
| 736 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
---
|
| 2 |
+
license: agpl-3.0
|
| 3 |
+
tags:
|
| 4 |
+
- snapkitty
|
| 5 |
+
---
|
| 6 |
+
|
| 7 |
+
> Source: [github.com/SNAPKITTYWEST/nekomata](https://github.com/SNAPKITTYWEST/nekomata)
|
| 8 |
+
|
| 9 |
+
<p align="center">
|
| 10 |
+
<img src="assets/nekomata-avatar.png" alt="Nekomata" width="320"/>
|
| 11 |
+
</p>
|
| 12 |
+
|
| 13 |
+
<h1 align="center">NEKOMATA η«ε</h1>
|
| 14 |
+
<h3 align="center">The Autonomous Container Engine</h3>
|
| 15 |
+
|
| 16 |
+
<p align="center">
|
| 17 |
+
<img src="https://img.shields.io/badge/language-Common_Lisp-blueviolet?style=flat-square"/>
|
| 18 |
+
<img src="https://img.shields.io/badge/engine-nekod-ff69b4?style=flat-square"/>
|
| 19 |
+
<img src="https://img.shields.io/badge/MoE-6_experts-orange?style=flat-square"/>
|
| 20 |
+
<img src="https://img.shields.io/badge/codegen-x86--64_%2B_ARM64-green?style=flat-square"/>
|
| 21 |
+
<img src="https://img.shields.io/badge/license-AGPL--3.0-red?style=flat-square"/>
|
| 22 |
+
<img src="https://img.shields.io/badge/status-PRODUCTION-brightgreen?style=flat-square"/>
|
| 23 |
+
<img src="https://img.shields.io/badge/self--mod-genetic_evolution-gold?style=flat-square"/>
|
| 24 |
+
<img src="https://img.shields.io/badge/WORM-sealed-black?style=flat-square"/>
|
| 25 |
+
</p>
|
| 26 |
+
|
| 27 |
+
<p align="center"><b>Infrastructure that rewrites itself.</b></p>
|
| 28 |
+
|
| 29 |
+
---
|
| 30 |
+
|
| 31 |
+
```
|
| 32 |
+
ββββ ββββββββββββββ βββ βββββββ ββββ ββββ ββββββ βββββββββ ββββββ
|
| 33 |
+
βββββ ββββββββββββββ ββββββββββββββββββ ββββββββββββββββββββββββββββββ
|
| 34 |
+
ββββββ βββββββββ βββββββ βββ ββββββββββββββββββββββ βββ ββββββββ
|
| 35 |
+
ββββββββββββββββ βββββββ βββ ββββββββββββββββββββββ βββ ββββββββ
|
| 36 |
+
βββ βββββββββββββββββ βββββββββββββββ βββ ββββββ βββ βββ βββ βββ
|
| 37 |
+
βββ ββββββββββββββββ βββ βββββββ βββ ββββββ βββ βββ βββ βββ
|
| 38 |
+
|
| 39 |
+
Infrastructure is code.
|
| 40 |
+
Code is data.
|
| 41 |
+
Data is alive.
|
| 42 |
+
```
|
| 43 |
+
|
| 44 |
+
---
|
| 45 |
+
|
| 46 |
+
## What Is This?
|
| 47 |
+
|
| 48 |
+
Nekomata is the **first AI-native container engine** built from first principles in Common Lisp. Not a Kubernetes alternative. A Kubernetes **replacement**.
|
| 49 |
+
|
| 50 |
+
The Nekomata (η«ε) is a supernatural cat with two tails: **code** and **data**. In Common Lisp, these are the same thing. Infrastructure is s-expressions. Containers evaluate. They transform. They **rewrite themselves**.
|
| 51 |
+
|
| 52 |
+
```
|
| 53 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββοΏ½οΏ½β
|
| 54 |
+
β β
|
| 55 |
+
β Kubernetes: 50B of YAML debt on a distributed key-value store β
|
| 56 |
+
β Nekomata: s-expressions that evaluate their own infrastructure β
|
| 57 |
+
β β
|
| 58 |
+
β Kubernetes: Reactive watch loops waiting for state drift β
|
| 59 |
+
β Nekomata: Predictive LLMβASM compilation of intent β
|
| 60 |
+
β β
|
| 61 |
+
β Kubernetes: Monolithic control plane (etcd + api-server + ...) β
|
| 62 |
+
β Nekomata: Sparse Mixture of Experts β 6 specialists, Top-K=2 β
|
| 63 |
+
β β
|
| 64 |
+
β Kubernetes: Immutable containers, no runtime modification β
|
| 65 |
+
β Nekomata: Live REPL injection + genetic self-modification β
|
| 66 |
+
β β
|
| 67 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 68 |
+
```
|
| 69 |
+
|
| 70 |
+
---
|
| 71 |
+
|
| 72 |
+
## Setup
|
| 73 |
+
|
| 74 |
+
```bash
|
| 75 |
+
# One command β installs Docker + SBCL + Quicklisp
|
| 76 |
+
bash setup.sh
|
| 77 |
+
```
|
| 78 |
+
|
| 79 |
+
Supports Ubuntu/Debian, Fedora/RHEL, Arch Linux, and macOS (via Homebrew).
|
| 80 |
+
|
| 81 |
+
Or manually:
|
| 82 |
+
```bash
|
| 83 |
+
# 1. Docker
|
| 84 |
+
curl -fsSL https://get.docker.com | sh
|
| 85 |
+
sudo usermod -aG docker $USER && newgrp docker
|
| 86 |
+
|
| 87 |
+
# 2. SBCL
|
| 88 |
+
sudo apt install sbcl # or: brew install sbcl
|
| 89 |
+
|
| 90 |
+
# 3. Quicklisp
|
| 91 |
+
curl -O https://beta.quicklisp.org/quicklisp.lisp
|
| 92 |
+
sbcl --load quicklisp.lisp --eval '(quicklisp-quickstart:install)'
|
| 93 |
+
|
| 94 |
+
# 4. Load Nekomata
|
| 95 |
+
cd nekomata && sbcl --load nekod.asd --eval '(ql:quickload :nekod)'
|
| 96 |
+
```
|
| 97 |
+
|
| 98 |
+
---
|
| 99 |
+
|
| 100 |
+
## Quick Start
|
| 101 |
+
|
| 102 |
+
```lisp
|
| 103 |
+
;; Load the system
|
| 104 |
+
(ql:quickload :nekod)
|
| 105 |
+
|
| 106 |
+
;; Start the daemon
|
| 107 |
+
(nekod:nekomata-main)
|
| 108 |
+
|
| 109 |
+
;; Define a container β infrastructure as code, literally
|
| 110 |
+
(nekod:define-container my-app
|
| 111 |
+
:image "nginx:latest"
|
| 112 |
+
:ports '((8080 . 80))
|
| 113 |
+
:env '((:NODE_ENV . "production"))
|
| 114 |
+
:restart-policy :always)
|
| 115 |
+
|
| 116 |
+
;; Self-healing failover chain
|
| 117 |
+
(nekod:with-failover my-app my-app-replica my-app-standby)
|
| 118 |
+
|
| 119 |
+
;; Drop into the live REPL
|
| 120 |
+
(nekod:nekod-repl)
|
| 121 |
+
```
|
| 122 |
+
|
| 123 |
+
---
|
| 124 |
+
|
| 125 |
+
## Architecture
|
| 126 |
+
|
| 127 |
+
```
|
| 128 |
+
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 129 |
+
β NEKOMATA ENGINE β
|
| 130 |
+
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ€
|
| 131 |
+
β β
|
| 132 |
+
β βββββββββββββ ββββββββββββββββ ββββββββββββββββββββββββββββ β
|
| 133 |
+
β β CLI β β EVAL LOOP β β CONTAINER REGISTRY β β
|
| 134 |
+
β β neko.lispβββ>β nekod-repl βββ>β define-container β β
|
| 135 |
+
β βββββββββββββ ββββββββββββββββ β with-failover β β
|
| 136 |
+
β ββββββββββββββββββββββββββββ β
|
| 137 |
+
β β
|
| 138 |
+
β ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β
|
| 139 |
+
β β SPARSE MoE ROUTER β β
|
| 140 |
+
β β β β
|
| 141 |
+
β β Input(8) ββ> Gate Network ββ> Top-K(2) ββ> Softmax β β
|
| 142 |
+
β β β β
|
| 143 |
+
β β ββββββββββββ¬βββββββββββ¬ββββββββββ¬βββββββββββ¬βββββββββββ¬βββ β β
|
| 144 |
+
β β βSCHEDULINGβNETWORKINGβ STORAGE β RECOVERY β SECURITY βSCβ β β
|
| 145 |
+
β β β cron β socket β disk β failover β auth βalβ β β
|
| 146 |
+
β β β deploy β http β persist β rollback β encrypt βe β β β
|
| 147 |
+
β β β queue β route β worm β backup β seal β β β β
|
| 148 |
+
β β ββββββββββββ΄βββββββββββ΄ββββββββββ΄βββββββββββ΄βββββββββββ΄βββ β β
|
| 149 |
+
β ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β
|
| 150 |
+
β β
|
| 151 |
+
β ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β
|
| 152 |
+
β β LLM β ASM COMPILER β β
|
| 153 |
+
β β β β
|
| 154 |
+
β β "scale nginx to 5" β β
|
| 155 |
+
β β β β β
|
| 156 |
+
β β v β β
|
| 157 |
+
β β ββββββββββββ ββββββββββββ ββββββββββββ βββββββββββ β β
|
| 158 |
+
β β β TOKENIZE βββ>β AST βββ>β CODEGEN βββ>β VERIFY β β β
|
| 159 |
+
β β β intent β β extract β β x86/ARM β β bytes β β β
|
| 160 |
+
β β ββββββββββββ ββββββββββββ ββββββββββββ βββββββββββ β β
|
| 161 |
+
β β β β
|
| 162 |
+
β ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β
|
| 163 |
+
β β
|
| 164 |
+
β ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β
|
| 165 |
+
β β SELF-MODIFICATION β β
|
| 166 |
+
β β β β
|
| 167 |
+
β β ββββββββββββ ββββββββββββ ββββββββββββ βββββββββββ β β
|
| 168 |
+
β β β HOT-SWAP β β GENETIC β β STATE β βROLLBACK β β β
|
| 169 |
+
β β β live fn β β evolution β β capture β β points β β β
|
| 170 |
+
β β β redefine β β crossoverβ β snapshot β β restore β β β
|
| 171 |
+
β β ββββββββββββ ββββββββββββ ββββββββββββ βββββββββββ β β
|
| 172 |
+
β β β β
|
| 173 |
+
β ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β
|
| 174 |
+
β β
|
| 175 |
+
β ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β
|
| 176 |
+
β β DOCKER SUBSTRATE β β
|
| 177 |
+
β β β β
|
| 178 |
+
β β Unix Socket ββ> HTTP/1.1 Protocol ββ> Container Lifecycle β β
|
| 179 |
+
β β /var/run/docker.sock β β
|
| 180 |
+
β β β β
|
| 181 |
+
β β create | start | stop | kill | list | inspect | stats β β
|
| 182 |
+
β β pull | tag | prune | network | volume β β
|
| 183 |
+
β β β β
|
| 184 |
+
β ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β
|
| 185 |
+
β β
|
| 186 |
+
β ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β
|
| 187 |
+
β β SOCKET INGRESS PIPELINE β β
|
| 188 |
+
β β β β
|
| 189 |
+
β β /var/run/docker.sock β β
|
| 190 |
+
β β β β β
|
| 191 |
+
β β v β β
|
| 192 |
+
β β Unix Domain Socket (SBCL/CCL/IOlib portable) β β
|
| 193 |
+
β β β β β
|
| 194 |
+
β β v β β
|
| 195 |
+
β β Incremental HTTP Parser (chunked + content-length) β β
|
| 196 |
+
β β β β β
|
| 197 |
+
β β v β β
|
| 198 |
+
β β Docker /events Stream (infinite chunked consumption) β β
|
| 199 |
+
β β β β β
|
| 200 |
+
β β v β β
|
| 201 |
+
β β Compiled DFA Classifier (Thompson + subset construction) β β
|
| 202 |
+
β β β β β
|
| 203 |
+
β β v β β
|
| 204 |
+
β β 8-Feature Routing Vector ββ> Top-K=2 Sparse MoE β β
|
| 205 |
+
β β β β β
|
| 206 |
+
β β v β β
|
| 207 |
+
β β Expert Dispatch + Deterministic Receipt β β
|
| 208 |
+
β β β β
|
| 209 |
+
β β Security: capability-based policy, path validation, β β
|
| 210 |
+
β β DENY-by-default, no raw socket to untrusted agent β β
|
| 211 |
+
β β β β
|
| 212 |
+
β β Backpressure: high/low watermarks, queue depth cap, β β
|
| 213 |
+
β β event size limits, zero unbounded growth β β
|
| 214 |
+
β β β β
|
| 215 |
+
β ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β
|
| 216 |
+
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 217 |
+
```
|
| 218 |
+
|
| 219 |
+
---
|
| 220 |
+
|
| 221 |
+
## The 5-Layer Stack
|
| 222 |
+
|
| 223 |
+
```
|
| 224 |
+
LAYER 5: SELF-MODIFICATION
|
| 225 |
+
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 226 |
+
β Genetic evolution loop β
|
| 227 |
+
β Hot-swap live function redefinition β
|
| 228 |
+
β State capture + rollback points β
|
| 229 |
+
β Tournament / roulette selection β
|
| 230 |
+
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 231 |
+
β
|
| 232 |
+
LAYER 4: LLM β MACHINE CODE
|
| 233 |
+
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 234 |
+
β Intent tokenization β
|
| 235 |
+
β AST extraction (infra-ast struct) β
|
| 236 |
+
β x86-64 + ARM64 code generation β
|
| 237 |
+
β Byte-level verification β
|
| 238 |
+
β Constraint algebra (cpu/mem/latency) β
|
| 239 |
+
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 240 |
+
β
|
| 241 |
+
LAYER 3: SPARSE MoE ROUTING
|
| 242 |
+
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 243 |
+
β 6 domain experts β
|
| 244 |
+
β Noisy Top-K gating (k=2) β
|
| 245 |
+
β Load-balance loss β
|
| 246 |
+
β Xavier/Glorot trained weights (R pipeline) β
|
| 247 |
+
β WORM-sealed gradient history β
|
| 248 |
+
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 249 |
+
β
|
| 250 |
+
LAYER 2: REGEX MATHEMATICS
|
| 251 |
+
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 252 |
+
β Kleene algebra (concat/union/star) β
|
| 253 |
+
β DFA compilation + socket event filtering β
|
| 254 |
+
β NL intent β regex pattern mapping β
|
| 255 |
+
β Formal algebra at the wire level β
|
| 256 |
+
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 257 |
+
β
|
| 258 |
+
LAYER 1: LISP CORE
|
| 259 |
+
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 260 |
+
β s-expression infrastructure DSL β
|
| 261 |
+
β Container lifecycle management β
|
| 262 |
+
β Docker Engine API (Unix socket) β
|
| 263 |
+
β Condition system + restarts β
|
| 264 |
+
β Image persistence (save/restore world) β
|
| 265 |
+
ββββββββββββββββββββββββββββββββββββββββββββββ
|
| 266 |
+
```
|
| 267 |
+
|
| 268 |
+
---
|
| 269 |
+
|
| 270 |
+
## User Guide
|
| 271 |
+
|
| 272 |
+
### Container Management
|
| 273 |
+
|
| 274 |
+
```
|
| 275 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 276 |
+
β COMMAND DESCRIPTION β
|
| 277 |
+
β βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ£
|
| 278 |
+
β neko run <spec> Create and start a container β
|
| 279 |
+
β neko stop <name> Stop a running container β
|
| 280 |
+
β neko kill <name> Force-kill a container β
|
| 281 |
+
β neko list List all managed containers β
|
| 282 |
+
β neko status Show system status + expert load β
|
| 283 |
+
β neko evolve Run one generation of evolution β
|
| 284 |
+
β neko repl Drop into the Nekomata REPL β
|
| 285 |
+
β neko save Snapshot current world state β
|
| 286 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 287 |
+
```
|
| 288 |
+
|
| 289 |
+
### Container DSL Examples
|
| 290 |
+
|
| 291 |
+
```lisp
|
| 292 |
+
;; βββ Basic Container ββββββββββββββββββββββββββββββββββββββββββββ
|
| 293 |
+
(define-container web-server
|
| 294 |
+
:image "nginx:alpine"
|
| 295 |
+
:ports '((80 . 80) (443 . 443))
|
| 296 |
+
:env '((:WORKER_PROCESSES . "auto"))
|
| 297 |
+
:restart-policy :always)
|
| 298 |
+
|
| 299 |
+
;; βββ Database with Persistent Volume ββββββββββββββββββββββββββββ
|
| 300 |
+
(define-container postgres-db
|
| 301 |
+
:image "postgres:16"
|
| 302 |
+
:ports '((5432 . 5432))
|
| 303 |
+
:env '((:POSTGRES_PASSWORD . "sovereign")
|
| 304 |
+
(:POSTGRES_DB . "nekod"))
|
| 305 |
+
:volumes '(("/data/pg" . "/var/lib/postgresql/data"))
|
| 306 |
+
:restart-policy :unless-stopped)
|
| 307 |
+
|
| 308 |
+
;; βββ Failover Chain (automatic promotion) βββββββββββββββββββββββ
|
| 309 |
+
(with-failover postgres-db postgres-replica postgres-standby)
|
| 310 |
+
|
| 311 |
+
;; βββ Natural Language Intent ββββββββββββββββββββββββββββββββββββ
|
| 312 |
+
(nekod-eval "scale web-server to 5 replicas with 512mb memory limit")
|
| 313 |
+
;; => Compiles to ASM, verifies bytes, executes container operations
|
| 314 |
+
```
|
| 315 |
+
|
| 316 |
+
### The REPL
|
| 317 |
+
|
| 318 |
+
```
|
| 319 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 320 |
+
β NEKOMATA REPL v1.0 β
|
| 321 |
+
β βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ£
|
| 322 |
+
β β
|
| 323 |
+
β nekod> (list-containers) β
|
| 324 |
+
β => (#<CONTAINER web-server :running> β
|
| 325 |
+
β #<CONTAINER postgres-db :running> β
|
| 326 |
+
β #<CONTAINER redis-cache :running>) β
|
| 327 |
+
β β
|
| 328 |
+
β nekod> (route-intent "deploy new redis cluster") β
|
| 329 |
+
β => Expert: SCHEDULING (0.72) β
|
| 330 |
+
β Expert: STORAGE (0.28) β
|
| 331 |
+
β Action: create-cluster redis 3 replicas β
|
| 332 |
+
β β
|
| 333 |
+
β nekod> (evolve-generation :population 20 :rounds 5) β
|
| 334 |
+
β => Generation 1: best-fitness 0.847 β
|
| 335 |
+
β Generation 2: best-fitness 0.891 β
|
| 336 |
+
β Generation 3: best-fitness 0.923 β
|
| 337 |
+
β ... β
|
| 338 |
+
β Winner: scheduling-expert-v3 (fitness: 0.961) β
|
| 339 |
+
β Hot-swapping into live router... β
|
| 340 |
+
β Done. β
|
| 341 |
+
β β
|
| 342 |
+
β nekod> (save-nekod-image "checkpoint-2026-08-08") β
|
| 343 |
+
β => World saved. 847 objects, 12.3MB. β
|
| 344 |
+
β WORM sealed: a8f3c91d... β
|
| 345 |
+
β β
|
| 346 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 347 |
+
```
|
| 348 |
+
|
| 349 |
+
---
|
| 350 |
+
|
| 351 |
+
## MoE Router β Sparse Expert Selection
|
| 352 |
+
|
| 353 |
+
```
|
| 354 |
+
ββββββββββββββββββββββββββββββββββββββββββββββοΏ½οΏ½οΏ½
|
| 355 |
+
β INPUT VECTOR (8 features) β
|
| 356 |
+
β β
|
| 357 |
+
β [is_proof, is_auth, is_code, is_system, β
|
| 358 |
+
β complexity, entropy, confidence, urgency] β
|
| 359 |
+
ββββββββββββββββββββββββ¬βββββββββββββββββββββββ
|
| 360 |
+
β
|
| 361 |
+
v
|
| 362 |
+
βββββββββββββββββββββββββββββββββββββββββββββββ
|
| 363 |
+
β GATING NETWORK β
|
| 364 |
+
β β
|
| 365 |
+
β s_i = dot(W_i, h) + b_i + noise_i β
|
| 366 |
+
β noise_i ~ N(0, softplus(W_noise Β· h)) β
|
| 367 |
+
β β
|
| 368 |
+
β Top-K selection (K=2) β
|
| 369 |
+
β Softmax over selected ONLY β
|
| 370 |
+
ββββββββββββββββββββββββ¬βββββββββββββββββββββββ
|
| 371 |
+
β
|
| 372 |
+
ββββββββββββββββββΌβββββββββββββββββ
|
| 373 |
+
v v v
|
| 374 |
+
ββββββββββββββββ ββββββββββββββββ ββββββββββββββββ
|
| 375 |
+
β EXPERT A β β EXPERT B β β (inactive) β
|
| 376 |
+
β prob: 0.72 β β prob: 0.28 β β prob: 0.00 β
|
| 377 |
+
ββββββββββββββββ ββββββββββββββββ ββββββββββββββββ
|
| 378 |
+
β β
|
| 379 |
+
v v
|
| 380 |
+
βββββββββββββββββββββββββββββββββββββββββββββββ
|
| 381 |
+
β OUTPUT = p_A * expert_A + p_B * expert_B β
|
| 382 |
+
βββββββββββββββββββββββββββββββββββββββββββββββ
|
| 383 |
+
```
|
| 384 |
+
|
| 385 |
+
### The 6 Experts
|
| 386 |
+
|
| 387 |
+
| Expert | Domain | Handles |
|
| 388 |
+
|--------|--------|---------|
|
| 389 |
+
| **SCHEDULING** | Time + orchestration | cron, deploy, queue, scaling events |
|
| 390 |
+
| **NETWORKING** | Connectivity | socket, http, routing, port management |
|
| 391 |
+
| **STORAGE** | Persistence | disk, WORM chains, volumes, snapshots |
|
| 392 |
+
| **RECOVERY** | Fault tolerance | failover, rollback, restart, backup |
|
| 393 |
+
| **SECURITY** | Auth + crypto | certificates, encryption, sealing |
|
| 394 |
+
| **SCALING** | Load management | replicas, sharding, capacity planning |
|
| 395 |
+
|
| 396 |
+
### Weight Training Pipeline
|
| 397 |
+
|
| 398 |
+
```
|
| 399 |
+
WORM Chain ββ> R Feature Extraction ββ> Xavier/Glorot Init
|
| 400 |
+
(.jsonl) (8 features) (W1: 8x16, W2: 16x6)
|
| 401 |
+
β
|
| 402 |
+
v
|
| 403 |
+
Forward Pass + Backprop
|
| 404 |
+
Binary Cross-Entropy Loss
|
| 405 |
+
β
|
| 406 |
+
v
|
| 407 |
+
WORM Seal (every 10 epochs)
|
| 408 |
+
SHA-256 weight hash
|
| 409 |
+
β
|
| 410 |
+
v
|
| 411 |
+
Export: router_weights.json
|
| 412 |
+
β
|
| 413 |
+
v
|
| 414 |
+
Lisp: load-trained-weights
|
| 415 |
+
Hot-loaded into live router
|
| 416 |
+
```
|
| 417 |
+
|
| 418 |
+
---
|
| 419 |
+
|
| 420 |
+
## LLM β Machine Code Compilation
|
| 421 |
+
|
| 422 |
+
```
|
| 423 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 424 |
+
β β
|
| 425 |
+
β "scale nginx to 5 with 256mb memory limit" β
|
| 426 |
+
β β
|
| 427 |
+
β β TOKENIZE β
|
| 428 |
+
β v β
|
| 429 |
+
β [:scale :nginx :to :5 :with :256mb :memory :limit] β
|
| 430 |
+
β β
|
| 431 |
+
β β AST EXTRACT β
|
| 432 |
+
β v β
|
| 433 |
+
β #S(INFRA-AST β
|
| 434 |
+
β :TYPE :SCALE β
|
| 435 |
+
β :TARGET "nginx" β
|
| 436 |
+
β :PARAMS (:COUNT 5 :MEMORY 268435456)) β
|
| 437 |
+
β β
|
| 438 |
+
β β CODEGEN (x86-64) β
|
| 439 |
+
β v β
|
| 440 |
+
β #(#x48 #x89 #xF8 ; mov rax, rdi β
|
| 441 |
+
β #x48 #x6B #xC0 5 ; imul rax, 5 β
|
| 442 |
+
β #xC3) ; ret β
|
| 443 |
+
β β
|
| 444 |
+
β β VERIFY β
|
| 445 |
+
β v β
|
| 446 |
+
β [OK] First byte valid (0x48 = REX.W prefix) β
|
| 447 |
+
β [OK] Last byte = 0xC3 (RET) β
|
| 448 |
+
β [OK] No privileged instructions β
|
| 449 |
+
β [OK] Length within bounds β
|
| 450 |
+
β β
|
| 451 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 452 |
+
```
|
| 453 |
+
|
| 454 |
+
### Supported Backends
|
| 455 |
+
|
| 456 |
+
| Backend | Status | Instruction Set |
|
| 457 |
+
|---------|--------|-----------------|
|
| 458 |
+
| **x86-64** | Production | REX prefix, MOV, ADD, IMUL, XOR, PUSH/POP, CALL, RET |
|
| 459 |
+
| **ARM64** | Production | Fixed-width 32-bit, MOV/MOVK, ADD, SUB, MUL, BR, RET |
|
| 460 |
+
|
| 461 |
+
---
|
| 462 |
+
|
| 463 |
+
## Self-Modification Engine
|
| 464 |
+
|
| 465 |
+
```
|
| 466 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 467 |
+
β GENETIC EVOLUTION LOOP β
|
| 468 |
+
β βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ£
|
| 469 |
+
β β
|
| 470 |
+
β 1. POPULATION β
|
| 471 |
+
β Generate N candidate expert functions β
|
| 472 |
+
β β
|
| 473 |
+
β 2. EVALUATE β
|
| 474 |
+
β Run each candidate against real container workloads β
|
| 475 |
+
β Fitness = success_rate * latency_inverse * memory_eff β
|
| 476 |
+
β β
|
| 477 |
+
β 3. SELECT β
|
| 478 |
+
β Tournament selection (pool=4) OR roulette wheel β
|
| 479 |
+
β β
|
| 480 |
+
β 4. CROSSOVER β
|
| 481 |
+
β Swap s-expression subtrees between parents β
|
| 482 |
+
β Code IS data β crossover is tree surgery β
|
| 483 |
+
β β
|
| 484 |
+
β 5. MUTATE β
|
| 485 |
+
β Random subtree replacement, constant perturbation β
|
| 486 |
+
β β
|
| 487 |
+
β 6. HOT-SWAP β
|
| 488 |
+
β Winner replaces live expert function β zero downtime β
|
| 489 |
+
β Automatic rollback if fitness drops below threshold β
|
| 490 |
+
β β
|
| 491 |
+
β 7. SEAL β
|
| 492 |
+
β State captured, rollback point created, WORM sealed β
|
| 493 |
+
β β
|
| 494 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 495 |
+
```
|
| 496 |
+
|
| 497 |
+
---
|
| 498 |
+
|
| 499 |
+
## Regex Mathematics β Formal Algebra at the Wire
|
| 500 |
+
|
| 501 |
+
```
|
| 502 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 503 |
+
β KLEENE ALGEBRA PRIMITIVES β
|
| 504 |
+
β βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ£
|
| 505 |
+
β β
|
| 506 |
+
β LITERAL(c) Match single character c β
|
| 507 |
+
β CONCAT(r1, r2) Sequence: r1 then r2 β
|
| 508 |
+
β UNION(r1, r2) Choice: r1 or r2 β
|
| 509 |
+
β KLEENE(r) Zero or more: r* β
|
| 510 |
+
β PLUS(r) One or more: r+ β
|
| 511 |
+
β OPTIONAL(r) Zero or one: r? β
|
| 512 |
+
β β
|
| 513 |
+
β βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ£
|
| 514 |
+
β β
|
| 515 |
+
β DFA COMPILATION: β
|
| 516 |
+
β β
|
| 517 |
+
β regex-algebra.lisp ββ> pattern-compiler.lisp β
|
| 518 |
+
β (algebraic form) (DFA states + transitions) β
|
| 519 |
+
β β
|
| 520 |
+
β dfa-step(state, char) => next-state β
|
| 521 |
+
β dfa-run(dfa, string) => accept | reject β
|
| 522 |
+
β β
|
| 523 |
+
β SOCKET FILTERING: β
|
| 524 |
+
β β
|
| 525 |
+
β Every Docker event passes through DFA filter β
|
| 526 |
+
β Pattern: container.(start|stop|die|kill) β
|
| 527 |
+
β Only matching events reach the MoE router β
|
| 528 |
+
β β
|
| 529 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 530 |
+
```
|
| 531 |
+
|
| 532 |
+
---
|
| 533 |
+
|
| 534 |
+
## Project Layout
|
| 535 |
+
|
| 536 |
+
```
|
| 537 |
+
nekod/
|
| 538 |
+
βββ nekod.asd ASDF system definition
|
| 539 |
+
βββ setup.sh One-command Docker + SBCL installer
|
| 540 |
+
βββ README.md This file
|
| 541 |
+
βββ LICENSE AGPL-3.0 + cloud provider poison pill
|
| 542 |
+
βββ assets/
|
| 543 |
+
β βββ nekomata-avatar.png Production model avatar
|
| 544 |
+
β
|
| 545 |
+
βββ core/ βββ LAYER 1: LISP CORE βββ
|
| 546 |
+
β βββ package.lisp Package definitions (nekod + nekod.docker)
|
| 547 |
+
β βββ conditions.lisp Error hierarchy + restart system
|
| 548 |
+
β βββ sexpr-infra.lisp Container DSL (define-container, with-failover)
|
| 549 |
+
β βββ eval-loop.lisp Nekomata REPL (nekod-eval, nekod-repl)
|
| 550 |
+
β βββ image-persist.lisp World state save/restore
|
| 551 |
+
β βββ nekomata.lisp Entry point + container registry
|
| 552 |
+
β
|
| 553 |
+
βββ docker/ βββ DOCKER SUBSTRATE βββ
|
| 554 |
+
β βββ unix-sock.lisp Real Unix socket I/O (SBCL/CCL/IOlib)
|
| 555 |
+
β βββ protocol.lisp Incremental HTTP/1.1 parser (chunked + CL)
|
| 556 |
+
β βββ events.lisp Streaming /events consumer (infinite chunked)
|
| 557 |
+
β βββ container.lisp Container lifecycle (create/start/stop/kill)
|
| 558 |
+
β βββ image.lisp Image management (pull/list/tag/prune)
|
| 559 |
+
β βββ network.lisp Network create/connect/disconnect
|
| 560 |
+
β βββ volume.lisp Volume create/mount/prune
|
| 561 |
+
β βββ inspect.lisp Container + stats inspection
|
| 562 |
+
β
|
| 563 |
+
βββ moe/ βββ LAYER 3: SPARSE MoE βββ
|
| 564 |
+
β βββ router.lisp Gating network (score, top-k, softmax)
|
| 565 |
+
β βββ sparse-activate.lisp Noisy Top-K + load-balance loss
|
| 566 |
+
β βββ expert-train.lisp Online weight updates from telemetry
|
| 567 |
+
β βββ load-balance.lisp Expert utilization balancing
|
| 568 |
+
β βββ load-trained-weights.lisp R-trained weight loader (JSON import)
|
| 569 |
+
β βββ experts/
|
| 570 |
+
β βββ scheduling.lisp Cron, deploy, queue management
|
| 571 |
+
β βββ networking.lisp Socket, HTTP, port routing
|
| 572 |
+
β βββ storage.lisp Disk, WORM, volume persistence
|
| 573 |
+
β βββ recovery.lisp Failover, rollback, restart
|
| 574 |
+
β βββ security.lisp Auth, encryption, sealing
|
| 575 |
+
β βββ scaling.lisp Replicas, shards, capacity
|
| 576 |
+
β
|
| 577 |
+
βββ regex-math/ βββ LAYER 2: KLEENE ALGEBRA βββ
|
| 578 |
+
β βββ regex-algebra.lisp RE structs (literal/concat/union/kleene)
|
| 579 |
+
β βββ pattern-compiler.lisp Thompson NFA β subset DFA compilation
|
| 580 |
+
β βββ socket-filter.lisp Compiled DFA event classifier + features
|
| 581 |
+
β βββ intent-parse.lisp NL intent β expert keyword mapping
|
| 582 |
+
β
|
| 583 |
+
βββ socket/ βββ SOCKET INGRESS PIPELINE βββ
|
| 584 |
+
β βββ backpressure.lisp Watermarks, queue depth, size limits
|
| 585 |
+
β βββ policy.lisp Capability-based security boundary
|
| 586 |
+
β βββ receipt.lisp Deterministic operation receipts
|
| 587 |
+
β βββ agent-ingress.lisp Event β classify β route β dispatch
|
| 588 |
+
β
|
| 589 |
+
βββ llm2asm/ βββ LAYER 4: LLM β MACHINE CODE βββ
|
| 590 |
+
β βββ tokenizer.lisp Intent tokenization + kernel map
|
| 591 |
+
β βββ ast-extract.lisp infra-ast struct, intent type detection
|
| 592 |
+
β βββ codegen.lisp AST β byte vector compilation
|
| 593 |
+
β βββ verify.lisp Byte-level safety verification
|
| 594 |
+
β βββ jit-link.lisp JIT stub (mmap + mprotect reference)
|
| 595 |
+
β βββ constraint-build.lisp Constraint algebra (cpu/mem/latency)
|
| 596 |
+
β βββ backends/
|
| 597 |
+
β βββ x86-64.lisp x86-64 instruction encoders
|
| 598 |
+
β βββ arm64.lisp ARM64 fixed-width instruction encoders
|
| 599 |
+
β
|
| 600 |
+
βββ selfmod/ βββ LAYER 5: SELF-MODIFICATION βββ
|
| 601 |
+
β βββ gen-loop.lisp Genetic evolution loop
|
| 602 |
+
β βββ hot-swap.lisp Live function redefinition + rollback
|
| 603 |
+
β βββ state-capture.lisp State snapshots
|
| 604 |
+
β βββ evolve.lisp Crossover + selection algorithms
|
| 605 |
+
β βββ rollback.lisp Rollback points, with-rollback macro
|
| 606 |
+
β
|
| 607 |
+
βββ cli/ βββ USER INTERFACE βββ
|
| 608 |
+
β βββ neko.lisp 8 CLI commands (run/stop/kill/list/...)
|
| 609 |
+
β
|
| 610 |
+
βββ tests/
|
| 611 |
+
β βββ test-core.lisp Core test suite
|
| 612 |
+
β βββ test-edge-cases.lisp Edge case coverage
|
| 613 |
+
β βββ socket-tests.lisp Socket layer: 28 unit + 4 integration tests
|
| 614 |
+
β
|
| 615 |
+
βββ docs/ βββ DOCUMENTATION βββ
|
| 616 |
+
βββ manifesto.org Why Nekomata exists
|
| 617 |
+
βββ architecture.org 5-layer system design
|
| 618 |
+
βββ moe-theory.org Sparse MoE mathematics
|
| 619 |
+
βββ regex-calculus.org Kleene algebra formalism
|
| 620 |
+
βββ migration.org Kubernetes escape route
|
| 621 |
+
```
|
| 622 |
+
|
| 623 |
+
---
|
| 624 |
+
|
| 625 |
+
## Why Common Lisp?
|
| 626 |
+
|
| 627 |
+
```
|
| 628 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 629 |
+
β β
|
| 630 |
+
β CODE = DATA β
|
| 631 |
+
β An s-expression describing a container IS that container. β
|
| 632 |
+
β No YAML. No templating. No string interpolation. β
|
| 633 |
+
β The description evaluates to the thing itself. β
|
| 634 |
+
β β
|
| 635 |
+
β CONDITION SYSTEM β
|
| 636 |
+
β Not try/catch. Restarts. When a container dies, the β
|
| 637 |
+
β condition system offers: restart, promote-replica, β
|
| 638 |
+
β rollback, or escalate. Decided at runtime, not design-time. β
|
| 639 |
+
β β
|
| 640 |
+
β IMAGE-BASED PERSISTENCE β
|
| 641 |
+
β Save the entire world to disk. Restore it later. β
|
| 642 |
+
β The running state IS the deployment artifact. β
|
| 643 |
+
β No container image layers. No registries. Just the world. β
|
| 644 |
+
β β
|
| 645 |
+
β MACROS β
|
| 646 |
+
β define-container is a macro. with-failover is a macro. β
|
| 647 |
+
β The language extends itself to become the domain. β
|
| 648 |
+
β Infrastructure IS language. Language IS infrastructure. β
|
| 649 |
+
β β
|
| 650 |
+
β HOT RELOAD β
|
| 651 |
+
β Redefine any function while the system runs. β
|
| 652 |
+
β No restart. No redeployment. The new code IS the system. β
|
| 653 |
+
β Genetic evolution swaps expert functions live. β
|
| 654 |
+
β β
|
| 655 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 656 |
+
```
|
| 657 |
+
|
| 658 |
+
---
|
| 659 |
+
|
| 660 |
+
## Migration from Kubernetes
|
| 661 |
+
|
| 662 |
+
```
|
| 663 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 664 |
+
β K8S β NEKOMATA MIGRATION PATH β
|
| 665 |
+
β βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ£
|
| 666 |
+
β β
|
| 667 |
+
β Step 1: Install nekod alongside existing cluster β
|
| 668 |
+
β (nekod speaks Docker socket directly β no conflict) β
|
| 669 |
+
β β
|
| 670 |
+
β Step 2: Convert Deployment YAMLs β define-container forms β
|
| 671 |
+
β One YAML = one s-expression. Mechanical. β
|
| 672 |
+
β β
|
| 673 |
+
β Step 3: Wire failover chains β
|
| 674 |
+
β (with-failover primary replica standby) β
|
| 675 |
+
β β
|
| 676 |
+
β Step 4: Enable MoE routing β
|
| 677 |
+
β Expert weights train on YOUR workload patterns β
|
| 678 |
+
β β
|
| 679 |
+
β Step 5: Enable self-modification β
|
| 680 |
+
β The system evolves its own expert functions β
|
| 681 |
+
β β
|
| 682 |
+
β Step 6: Decommission K8s control plane β
|
| 683 |
+
β etcd, kube-apiserver, kube-scheduler β gone. β
|
| 684 |
+
β Nekomata IS the control plane now. β
|
| 685 |
+
β β
|
| 686 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 687 |
+
```
|
| 688 |
+
|
| 689 |
+
---
|
| 690 |
+
|
| 691 |
+
## Performance Characteristics
|
| 692 |
+
|
| 693 |
+
```
|
| 694 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 695 |
+
β METRIC VALUE β
|
| 696 |
+
β βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ£
|
| 697 |
+
β Memory per expert ~2.3 KB (sparse activation) β
|
| 698 |
+
β Router decision latency <1ms (dot product + softmax) β
|
| 699 |
+
β Active experts per call 2 (Top-K=2, out of 6) β
|
| 700 |
+
β Agents at 2.3KB each 500+ sustainable β
|
| 701 |
+
β Code generation x86-64 + ARM64 native β
|
| 702 |
+
β Hot-swap latency ~0ms (defun redefinition) β
|
| 703 |
+
β World snapshot Full state in single file β
|
| 704 |
+
β Container start Direct Docker API (no etcd) β
|
| 705 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 706 |
+
```
|
| 707 |
+
|
| 708 |
+
---
|
| 709 |
+
|
| 710 |
+
## License
|
| 711 |
+
|
| 712 |
+
**AGPL-3.0** with cloud provider poison pill.
|
| 713 |
+
|
| 714 |
+
The engine is free. Sovereignty is not optional.
|
| 715 |
+
|
| 716 |
+
Any cloud provider deploying Nekomata as a hosted service MUST:
|
| 717 |
+
1. Release all modifications under AGPL-3.0
|
| 718 |
+
2. Provide users a prominent link to modified source
|
| 719 |
+
3. Not remove attribution to SnapKitty Collective
|
| 720 |
+
|
| 721 |
+
---
|
| 722 |
+
|
| 723 |
+
### πΌ Commercial License
|
| 724 |
+
|
| 725 |
+
Snapkitty code is free and open under **AGPL-3.0** for open-source use. Building a commercial product or service? A **proprietary commercial license** from Snapkitty Collective LLC lets you ship this code without the AGPL's source-sharing and network-use obligations.
|
| 726 |
+
|
| 727 |
+
**[β Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=Commercial%20license:%20nekomata)** Β· A.parr@belespritdaccord.uk
|
| 728 |
+
|
| 729 |
+
## Credits
|
| 730 |
+
|
| 731 |
+
```
|
| 732 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 733 |
+
β β
|
| 734 |
+
β Architecture Ahmad Ali Parr β
|
| 735 |
+
β Engineering SnapKitty Collective β
|
| 736 |
+
β Model Avatar Nekomata β the two-tailed sovereign cat β
|
| 737 |
+
β Execution WORM-sealed, receipt-generating β
|
| 738 |
+
β β
|
| 739 |
+
β "Infrastructure that rewrites itself." β
|
| 740 |
+
β β
|
| 741 |
+
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
| 742 |
+
```
|
| 743 |
+
|
| 744 |
+
---
|
| 745 |
+
|
| 746 |
+
<p align="center">
|
| 747 |
+
<img src="assets/nekomata-avatar.png" alt="Nekomata" width="160"/>
|
| 748 |
+
<br/>
|
| 749 |
+
<b>η«ε β The two-tailed cat that never dies.</b>
|
| 750 |
+
</p>
|