EDGE-01: extract canonical Common Lisp runtime and ship Raspberry Pi/Nix host #2

New issue

Open

opened 2026-09-23 05:57:28 +00:00 by lost-rob0t · 0 comments

lost-rob0t commented

2026-09-23 05:57:28 +00:00

(Migrated from github.com)

Owner direction: this repository is the canonical upstream for reusable edge code; downstream products/distributions pull from it. Foundation: #1, ADR 0001.

Scope

Inventory existing Common Lisp runtime/actor/supervisor, power-policy, P2P and edge packaging code in the actual accessible source authorities before moving anything. The current lost-rob0t/starintel-server architecture identifies Sento as its actor system; do not introduce a competing actor engine. Track original path, exact commit, license, consumers and tests. Preserve history/provenance and exclude all private policy, inventories, tenant data and secrets.

Move reusable implementation here, retain server-only storage/ingest downstream, and replace old reusable entry points with dependencies/forwarders. Lisp executes/supervises; Prolog/StarLang advise through existing contracts. Preserve star.logic.api/1, JSON-LD, shared STAR URI semantics and applicable ZARA-RUNTIME/1 integration.

Implement a real Linux host, NixOS module and separate Raspberry Pi board profiles/images. Include local/offline startup, bounded durable state/outbox, power scheduling, explicit capability enforcement and testable shutdown/recovery. Generic pairing, native P2P/i2pd transport and versioned update clients belong upstream, with scoped enrollment and signed deployment policy; keep real trust roots and deployment inventories downstream.

Acceptance

Source/consumer inventory with exact provenance and license recorded.
Existing actor tests move with extracted implementation; no copy-only duplicate runtime.
Shared host facade bound to real runtime; missing backends remain unavailable.
Nix evaluation/build with pinned inputs; native and aarch64 checks.
Raspberry Pi 4 and 5 have separate build/boot evidence before support claims.
Offline operation, crash/reboot recovery, bounded queues and revocation tests pass.
No secret values in sources, Nix store, generated config or CLI arguments/history.
Downstream forwarding/dependency changes pass equivalence tests before old code is retired.

The bootstrap library derivation is not a bootable image; do not mark these acceptance items complete from #1's contract-only tests.

Owner direction: this repository is the canonical upstream for reusable edge code; downstream products/distributions pull from it. Foundation: #1, ADR 0001. ## Scope Inventory existing Common Lisp runtime/actor/supervisor, power-policy, P2P and edge packaging code in the actual accessible source authorities before moving anything. The current `lost-rob0t/starintel-server` architecture identifies Sento as its actor system; do not introduce a competing actor engine. Track original path, exact commit, license, consumers and tests. Preserve history/provenance and exclude all private policy, inventories, tenant data and secrets. Move reusable implementation here, retain server-only storage/ingest downstream, and replace old reusable entry points with dependencies/forwarders. Lisp executes/supervises; Prolog/StarLang advise through existing contracts. Preserve `star.logic.api/1`, JSON-LD, shared STAR URI semantics and applicable `ZARA-RUNTIME/1` integration. Implement a real Linux host, NixOS module and separate Raspberry Pi board profiles/images. Include local/offline startup, bounded durable state/outbox, power scheduling, explicit capability enforcement and testable shutdown/recovery. Generic pairing, native P2P/i2pd transport and versioned update clients belong upstream, with scoped enrollment and signed deployment policy; keep real trust roots and deployment inventories downstream. ## Acceptance - [ ] Source/consumer inventory with exact provenance and license recorded. - [ ] Existing actor tests move with extracted implementation; no copy-only duplicate runtime. - [ ] Shared host facade bound to real runtime; missing backends remain unavailable. - [ ] Nix evaluation/build with pinned inputs; native and aarch64 checks. - [ ] Raspberry Pi 4 and 5 have separate build/boot evidence before support claims. - [ ] Offline operation, crash/reboot recovery, bounded queues and revocation tests pass. - [ ] No secret values in sources, Nix store, generated config or CLI arguments/history. - [ ] Downstream forwarding/dependency changes pass equivalence tests before old code is retired. The bootstrap library derivation is not a bootable image; do not mark these acceptance items complete from #1's contract-only tests.