Format de graphe portable .vast

Sens implémenté

.vast est une convention de fichier soutenue par le runtime, pas un acronyme développé par les contrats. Le dépôt n’établit pas « Vertex Action Surface Tie » comme signification technique. vast/1 sérialise une clôture portable en JSON.

Le corps canonique contient Vertices et Ties relatifs au System. Le manifeste enregistre ID et version du package, type et racine de clôture, compteurs, compatibilité, références de frontière et packageHash SHA-256. La canonicalisation stable rend l’identité indépendante du System ID d’arrivée.

Deux formes de clôture

• System closure : partition structurelle complète avec Vertex racine.
• Subtree closure : containment depuis une ancre. Les Ties traversant la frontière sont refusés ou externalisés comme références déclarées, jamais copiés silencieusement.

Round-trip validé

Le scénario interne exporte le System A, écrit puis relit le JSON, vérifie le scellement, importe dans un runtime neuf comme System B, poursuit l’exécution canonique et compare le hash d’un réexport avant nouvelle écriture. Les tests couvrent aussi version inconnue, altération et collision. Un scénario E2E exporte un graphe né via VAB et un sous-arbre Workspace utilisé.

Portable et local

Sont portables : identité relative, données Vertex/Tie, structure, manifeste, déclarations de provenance, compatibilité et références de frontière.

Restent locaux : Environment actif, credentials, secrets, processus, emplacement filesystem, providers, grants de ressources et autorité effective. Ils doivent être résolus ou revalidés à l’arrivée.

Limites

vast/1 est expérimental. Un hash prouve l’intégrité, pas l’identité de l’auteur. Signatures et provenance ne forment pas encore une chaîne de confiance marketplace. Montage multiple, upgrade atomique, migrations, limites de ressources et durcissement hostile ne sont pas présentés comme garanties livrées.