labfy-investigation/docs/ui/WEB_WORKBENCH.md

175 lines
10 KiB
Markdown
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

# Poste Web local — guide d’utilisation
> **Statut CURRENT local :** interface utilisateur Web unique, utilisable au-dessus des services C et du
> JobStore V4 existants, depuis une bibliothèque d'enquêtes explicitement
> choisie. Les validations emploient des fixtures `SPECIMEN`. Il ne constitue
> ni une autorisation d’ouvrir une enquête réelle, ni un service distant.
## Organisation
À l'ouverture, le lanceur `tools/labfy` démarre ou rejoint l’instance loopback
possédée, ouvre le navigateur et établit une session HttpOnly locale sans code
manuel. La bibliothèque affiche les enquêtes locales enregistrées et
permet d'en créer une avec un titre explicite. Elle peut aussi découvrir les
dossiers existants sous `LABFY_LIBRARY` après « Rechercher les dossiers
existants », puis les enregistrer sans copie. Une enquête ouverte reste la
seule enquête active de cette instance ; le poste n'en restaure pas une autre
automatiquement. « Fermer l’enquête » permet ensuite d'en ouvrir une autre ;
« Accueil » ne ferme pas l'enquête. Le titre et la génération de la bibliothèque
identifient le
contexte affiché, afin qu'une réponse tardive d'une enquête précédente ne le
repeuple pas.
Le graphe reste la surface principale. La coque est **Agent | Graphe |
Activité**, plus un tiroir transversal. La barre haute porte l’identité de
l’enquête, le statut local et la recherche. La rangée suivante change de
projection (`Réseau`, `Preuves`, `Chronologie`, `Infrastructure locale`) sans
créer une seconde vérité métier.
L’inspecteur droit sépare `Détails`, `Actions` et `Provenance`. Les détails
exposent d’abord le libellé et l’état, puis les identifiants et valeurs
persistées. Les actions sont celles du registre de capabilities du cœur : leur
motif, leur contact réseau et leur disponibilité ne sont pas recodés dans le
frontend.
Le tiroir inférieur sépare les tâches, les prochaines actions, les plans et les
rapports. Il peut être réduit pour rendre de l’espace au graphe. Les jobs et les
plans sont relus depuis le JobStore ; un rafraîchissement ne les relance pas. Le
brouillon du rapport (sélection, sections, titre et commentaire) est conservé
dans la session du navigateur lors d’une actualisation. Sa clé comprend le
contrat de session, l’origine locale et l’identifiant d’enquête : il n’est pas
repris automatiquement dans une autre enquête.
## Réseau alimenté et classification
La famille visuelle dépend de `object_kind`, jamais du seul sous-type : entité
en cercle, preuve en rectangle, extraction en losange et observation en
capsule. Les snapshots historiques sans `object_kind` passent par un fallback
explicite sur `EVIDENCE`, `SOURCE`, `EXTRACTION` et `OBSERVATION`.
Le placement est un état de présentation déterministe par étages preuve →
extraction → observation → entité, découpés en colonnes bornées. Il ne crée,
ne fusionne et ne retire aucun objet ou lien. Au niveau global, les libellés
sont réduits pour laisser lire les directions ; sélection, voisins, recherche,
liste et clavier donnent accès au détail. Les positions déjà affichées et
épinglées sont conservées à l’arrivée de résultats. `Réinitialiser` recalcule
et ajuste explicitement la disposition complète.
## Parcours clavier et contextuel
- flèches dans le graphe : parcourir les objets ;
- `Entrée` : sélectionner l’objet courant ;
- `Menu` ou `Maj+F10` : ouvrir les actions près de l’objet ;
- `Échap` : fermer ce menu et rendre le focus au graphe ;
- onglet `Actions` : alternative visible au clic droit ;
- `Retour` : restaurer le contexte précédent après un focus de voisinage.
Le menu est borné au viewport. Les formes distinguent entités et preuves ; les
styles de traits distinguent provenance, appui et contradiction. La couleur
n’est jamais le seul porteur de sens.
`Réseau` quitte une projection spécialisée, efface filtres et focus et revient
à la vue globale. `Retour` restaure sélection, projection, filtres, focus, zoom
et déplacement. Une origine ouverte depuis `Provenance` crée également un
retour vers l’objet de départ.
## Rapport hors ligne
Depuis `Rapports`, sélectionner explicitement les objets, les sections et le
commentaire humain, puis prévisualiser la coupe révisionnée. La génération
produit cinq téléchargements authentifiés : `report.html`, `report.json`,
`report.pdf`, `manifest.json` et `NOTICE.txt`. Le HTML reçu s’ouvre hors ligne,
sans script ni ressource distante. Le manifeste permet de vérifier taille et
SHA-256 des quatre fichiers de contenu avec :
```bash
python3 prototypes/web-graph/report_bundle.py verify /chemin/vers/<report_id>
```
Toute modification du titre, du commentaire, des sections ou de la sélection
invalide immédiatement l’aperçu. `Générer` reste désactivé jusqu’à une nouvelle
coupe C et une réponse devenue périmée pendant la saisie est ignorée.
Une date avec fuseau à la minute reste positionnable et conserve sa précision
(`2026-09-26T12:05Z`, `2026-09-26T14:05+02:00`). Le rapport matérialise le début
de cette minute pour l’instant normalisé, sans prétendre connaître les secondes.
Une date sans fuseau ou invalide reste non positionnable.
## Lancement et limites
Lancer le poste local sur une bibliothèque explicitement choisie :
```bash
LABFY_LIBRARY=/chemin/vers/la-bibliotheque-locale tools/labfy
```
L’écoute reste loopback, la session est HttpOnly/SameSite et les mutations exigent
le jeton CSRF. Le poste n’expose pas le répertoire des preuves et n’installe
aucun outil. Les projections vides, erreurs, annulations et limites sont des
états explicites ; elles ne prouvent jamais une absence d’information.
Pour les validations, utiliser seulement une bibliothèque temporaire et des
enquêtes `SPECIMEN`. Les commandes d'exploitation `start`, `status`, `stop` et
`code`, les répertoires XDG privés et les plafonds de réception sont documentés
dans [le contrat du poste Web](../architecture/WEB_WORKSPACE_CONTROL.md).
Le panneau Agent indique explicitement le parcours déterministe, un modèle local
configuré ou son indisponibilité. Les tours de modèle sont asynchrones, bornés
et leurs cartes ne rendent jamais de HTML, de prompt complet ou de raisonnement
privé. Le contrat de ce runtime est [LOCAL_MODEL_AGENT_RUNTIME.md](../architecture/LOCAL_MODEL_AGENT_RUNTIME.md).
## Déploiement personnel `invest.labfy`
La section Toolbox présente les demandes d'outil, la santé de la génération
en quarantaine et les décisions humaines « Provisionner » (A) et « Activer »
(B). Les applications contextuelles viennent du manifeste backend selon le
type du nœud sélectionné ; leur exécution utilise la capability backend.
La section Changement de code affiche la justification, les portes humaines
« Préparer » (C1) et « Appliquer » (C2), les tests, le diff en texte brut et
l'aperçu `SPECIMEN`. Un refus est une décision explicite. Le modèle ne peut pas
déclencher ces approbations via le prompt Agent. Voir le
[contrat de self integration](../architecture/QWEN_SELF_INTEGRATION.md).
Les templates [systemd](../../packaging/systemd/labfy-investigation-web.service)
et [nginx](../../packaging/nginx/invest.labfy.conf) prévoient un poste publié uniquement
sur la boucle locale. Le wrapper [labfy-investigation-web](../../scripts/labfy-investigation-web)
exécute `web_app.py serve --library --lazy-library` en avant-plan sur le port dédié `8091`,
avec session automatique et Qwen local démarré par Labfy. Le chemin de la
bibliothèque et celui du modèle restent dans les fichiers XDG privés, jamais
dans Git. L'unité est installée dans `~/.config/systemd/user/` et le wrapper
est lié depuis `~/.local/bin/`. `web.env` contient `LABFY_LIBRARY` (chemin
absolu explicitement choisi) et `LABFY_WEB_PORT=8091`, avec mode `0600`.
`agent.json` suit le contrat de configuration de `LocalModelSupervisor`.
À l'arrivée, la page n'inspecte pas la bibliothèque et n'ouvre aucune enquête.
L'utilisateur choisit « Charger les enquêtes », puis ouvre explicitement
l'enquête souhaitée ou lance la discovery des enfants directs et enregistre un
dossier détecté. La fiche présente nom, titre, état et raison sans chemin
absolu ; une adoption de métadonnées demande une confirmation explicite.
Le lancement du service seul ne lit pas leurs données. Sans enquête ouverte,
le prompt indique « Ouvrez une enquête pour utiliser Qwen. ».
Le bloc nginx doit être placé dans `http {}` de `/etc/nginx/nginx.conf`, puis
`127.0.0.1 invest.labfy` doit être ajouté une fois à `/etc/hosts`.
Exécuter `nginx -t` avant de recharger nginx. Le backend vérifie exactement
`Host: invest.labfy` et `Origin: http://invest.labfy` pour ce mode ; il garde
son autorité loopback propre, le CSRF et le cookie HttpOnly/SameSite=Strict.
Le proxy préserve Host et Origin, désactive le buffering pour l'activité et
borne la lecture à 180 s. Il ne rend jamais le port modèle au navigateur.
Une fois la validation `SPECIMEN` terminée, l'opérateur peut appliquer les deux
changements root par `sudo python3 scripts/apply-local-web-root.py` depuis la
racine du dépôt. Le script refuse les conflits, crée des sauvegardes distinctes
dans `/etc`, valide la configuration réelle par `nginx -t`, puis recharge nginx.
Un second passage ne duplique rien.
Pour les validations, configurer temporairement `LABFY_LIBRARY` vers une
bibliothèque `SPECIMEN`, puis lancer `systemctl --user start
labfy-investigation-web.service`. Après validation, arrêter l'unité et
remettre le chemin personnel sans l'ouvrir. Le service peut alors être activé
et démarré : son mode différé attend une action explicite dans l'interface
avant de consulter la bibliothèque. Les validations utilisent toujours une
bibliothèque `SPECIMEN` distincte.
Le retrait est : `systemctl --user disable --now
labfy-investigation-web.service`, supprimer uniquement l'unité et le lien
utilisateur installés, retirer le bloc `invest.labfy` et sa ligne hosts, puis
valider `nginx -t` avant rechargement. Ne toucher ni au bloc Trainlog ni à son
service.