Les cinq primitives de VASTE

Vocabulaire fermé

VASTE n’autorise aucune sixième primitive. System, Actor, Workspace, Program, projection, host et extension sont composés au-dessus de cette couche. Le kernel reste ainsi indépendant du sens des produits.

Vertex

Un Vertex est une donnée sans comportement avec id, systemId, type namespaced, data sérialisable et métadonnées optionnelles. Le validateur refuse fonctions, références circulaires, nombres non finis et versions invalides. Chaque Vertex appartient à une partition System. Un System neuf possède un Vertex system:root ; le systemId établit l’appartenance, les Ties précisent la topologie.

Tie

Un Tie est une relation orientée possédant ID, System, extrémités, type namespaced, référence de domaine et métadonnées. Les frontières d’endpoints et de System sont validées. Toute relation inter-System doit déclarer explicitement permission et cible. Un Tie n’est pas un canal de mutation caché.

Action

Une Action décrit une intention admise. Son contrat impose forme déclarative, sérialisable, rejouable et déterministe, namespace, autorité, niveau d’accès, entrées/sorties, préconditions, postconditions, erreurs et transitions. La validation refuse handlers et champs de mutation directe. Routage et effets appartiennent au runtime.

Surface

Surface est la membrane sans autorité par laquelle un Vertex-System est observé ou sollicité. Son invariant refuse les champs de runtime, store, dispatch ou mutation. SurfaceSpec enrichit cette membrane ; lifecycle et projection restent au runtime. Web, shell, API ou stream sont des supports, pas l’identité de la Surface.

Environment

Environment est immuable et recréé pour chaque exécution. Il transporte System résolu, identité, claims d’autorité, permissions, scope, trace, tick, budgets et éventuellement une position dans le graphe. Il ne conserve explicitement ni persistance, ni état métier, ni résultat entre deux exécutions.

Frontières essentielles

• System : partition d’isolation et clôture racine, pas une primitive.
• Actor : extension d’identité et d’admission.
• Partition : enregistrements portant un même systemId.
• Closure : structure portable sélectionnée, System entier ou sous-arbre.
• Projection : observation dérivée, jamais vérité canonique par elle-même.
• Environment : contexte local exclu des packages portables.

Preuve et limite

Les contrats sont dans packages/contracts/src/primitives.ts, les validateurs dans src/primitives, et les tests couvrent namespaces, frontières, exécution et pureté du kernel. Ces validations internes soutiennent les claims sur les primitives, pas l’achèvement de chaque extension ou couche future.