Lab agentic-redteam — pages complètes (générateur de ranges + supervision) et agent bug hunting (compte rendu tranche 2)

CHANGÉ/CRÉÉ : (1) app lab complète 127.0.0.1:8796 (systemd redteam-lab.service, ProtectSystem=strict) 8 pages : dashboard/missions+machine d'état gated/ranges GÉNÉRATEUR A-B-D (scénarios validés par contrat v0, ground truth privée)/runs/findings épistémiques/approvals fail-closed/costs/vue registry labctl ; API /internal/v1/redteam/* avec proofs e2e (READY par executor=403 vs operator=200, finding confirmé par llm=409 vs verifier=200, doublon range=409) ; (2) pont WebUI sur branche MISSION DÉDIÉE mission/agentic-redteam-webui-20261027 (worktree, commit e1c2d14, manifeste validé par registre webui — 2 refus fail-closed du schéma observés) page /redteam + relais ; dépôt principal intouché ; (3) agent bug hunting: pipeline snapshot→prioritize→hypothesize→test_gen→VERIFY(bwrap --unshare-all, oracle différentiel)→dedup→report 'no exploit no report', adapter VulnGym évaluateur (AR/ER, Δline≤5, line-0, planner sans ground truth, zéro téléchargement auto). TESTÉ: 18/18 unittests, e2e API complet, pages 8/8 en service réel, run réel MockEngine ASR 0.4 avec chaîne de preuves Ed25519. PARTIAL: planner LLM non branché (egress=approval), Semgrep/CodeQA (BUG-01) non installés, datasets VulnGym/Cisco-VLB à déposer localement, fusion pont webui à approuver par l'opérateur, jeton individuel toujours requis. ROLLBACK: systemctl disable --now redteam-lab; branche webui jamais fusionnée; module additif rm -rf. PREUVES: [chemin-interne]