🧪 PoC Lambda MicroVMs — preuves mesurées

Réplica locale du moteur de Lambda MicroVMs (Firecracker v1.17.0), exécutée le 01/10/2026 sur la machine de Patrick — pas sur AWS (crédits en arrivée). Banc : 9/9 verts, sabotage vérifié rouge, 3 runs stables.

Les 5 preuves

✔ 1. Cold start — du lancement du processus à l'exécution du code invité : ~1,2 s (laptop, non optimisé ; AWS annonce ~125 ms sur son infra)
✔ 2. Isolation noyau — la microVM tourne sous son propre noyau (6.1.155+) différent de l'hôte (7.0.0-34) ; elle ne voit que 2 processus (les siens) et aucun fichier de l'hôte (/home/orel inexistant pour elle).
✔ 3. Confinement réseau — sans carte réseau autorisée, toute sortie internet est bloquée (EGRESS: BLOQUE). Un agent ne peut rien exfiltrer.
✔ 4. Code hostile contenu — un « agent » a exécuté rm -rf /tmp /var/tmp /etc dans la VM ; l'hôte est ressorti intact (fichier témoin vérifié).
✔ 5. Snapshot / restore — VM mise en pause en pleine vie, snapshot mémoire complet, nouvelle VM restaurée : l'état en RAM (ETAT_SECRET_42) a survécu. Restore local mesuré : ~5,9 s (inclut la fin du sommeil invité — la reprise propre est plus rapide).

Ce que ça répond aux 3 questions du mail

Question posée à AWSCe que le PoC apporte
1. État > 8hLe mécanisme existe et est prouvé : snapshot mémoire → restore dans une VM neuve. Sur Lambda, le pattern sera snapshot + état externalisé (S3) ; la limite 8 h ne tue plus l'agent, elle le reloge.
2. Garde-fous in-VM + egressL'egress coupé « par défaut » est prouvé en local (pas de carte réseau = pas de sortie). Reste à confirmer l'équivalent kernel-level côté AWS et l'instrumentation in-VM — c'est la question du call.
3. Prix à l'échelle (burst 4x)Non mesurable localement, par nature. Question maintenue pour le call — elle décide du modèle FinOps.

Reproduire

cd ~/Desktop/METAHACKATHONS/poc-microvms && bash test-poc.sh
Télécharge Firecracker, fabrique le rootfs Alpine, boote 2 microVM, mesure, vérifie les 5 preuves. Le banc casse exprès si on le sabote (vérifié). IaC prête : terraform/main.tf — à apply dès les crédits reçus.

Honnêteté du banc : nombres mesurés sur cette machine, pas extrapolés. Les paramètres précis de Lambda MicroVMs (champs d'API, limites exactes) seront confirmés pendant le call du 02/10 — c'est l'objet des 3 questions envoyées.