P5-M02 — Launcher↔KF : provenance native (RM-102 / RC-102)

LIVRÉ (branche mission/p5-m02-kf, base mission/agent-launcher @ ac368e1, 5 commits a89e93f→50a69bd, NON déployée — gate M07) : manifeste de contexte cm1 (serve/finish : IDs/versions servis, raisons, budget, date, commits/outils/session/résultats constatés), traces d'OUTIL réelles (hook PostToolUse fail-open, secrets occultés, collecte idempotente) et Used ATTESTÉ (poussé uniquement si trace d'usage, résolu vers les ids noyau — Used inventé REFUSÉ par le contrat) ; contexte DIFFÉRENTIEL à la reprise (archive conservée, diff ajoutés/changés/absents-révoqués, jamais de re-lecture complète). Correctifs noyau découverts au banc : kf_activity_input PK ⇒ NotNullViolation sur tout Used réel (migrations 005/006 + garde) ; moteur stream-json dépendait d'un réglage HOME de prod (--verbose explicite). TESTS : 58 pytest verts (launcher+banc+broker) + kf_core 38/38 (kf03_core_test) ; banc e2e ISOLÉ (base PG p5m02_banc, noyau banc :8795, démon banc agent-launcher-banc-p5m02, coordonnateur RÉEL sans écriture kf_prod_v1) : run définitif 18/18 PASS — provenance d'une exécution launchd RÉELLE ARRIVÉE au noyau (git_commit, outils, session, usage_evidence, context_version), Used objet→version RÉSOLU dans le scénario 2-agents, 401/403, révocation → invalidation CIBLÉE (abonné notifié), agent sans droit ne reçoit RIEN (ni extrait ni métadonnée, 0 livraison) ; mesures AVANT/APRÈS : AVANT 0 manifeste/0 trace/Used 1/769 (archives C4-05), APRÈS manifestes cm1 + 4 traces + usage attesté + push vérifié. Rapports : RM-102 + RC-102 (RC publié --rc-public, index à jour). RESTE (PARTIAL) : activation prod (env LAUNCHER_PROVENANCE=1 + jeton KF + clé metadata 'provenance' dans la whitelist du coordinateur) au gate M07 ; source hub P3-04 couverte par le manifeste mais banc en source socle. INCIDENTS opérateur : RM-098/RC-098 + pub-b302c4bb484af94c créés par l'agent du PREMIER banc (règles globales, sans HOME neutre) — non supprimés, déclassement = décision opérateur ; paire RM-101/RC-101 marquée void (piège --help). ROLLBACK : branche non déployée, rien à annuler au prod ; banc conservé sous [chemin-interne] (suppression = opérateur).