TRISTAN · VIRTUAL UNIVERSITY
Ω-TRISTAN-OMNIUNIVERSITY-SELFGENESIS-T∞ · LIVE STUDIO 0.4

Apprendre, prouver, transférer, puis atteindre la frontière.

Ici, l’université devient manipulable : sélectionne un objectif, touche les nœuds du graphe, ajoute des preuves locales, fais évoluer ton état, laisse le GameMaster recalculer la prochaine action et observe la frontière de recherche se rapprocher en direct.

0%progression locale vers l’objectif
0EvidenceRecords locaux
0frontières structurellement atteignables
LOCAL ≠ TRUEétat navigateur ≠ credential/preuve externe
University Live Studio

Un graphe vivant, pas une page à boutons.

Le graphe et les panneaux partagent un même état persistant dans ce navigateur. Toute action recalcule curriculum, résidus, preuves et frontière. Rien n’est envoyé vers un serveur et aucune autorité externe n’est accordée.

initialisation…
GameMaster recommendation
Calcul en cours…

Le système attend son manifeste.

Capability Hypergraph

Toucher · zoomer · déplacer · sélectionner

inconnuen coursvérifié localrecommandé
molette/pincement = zoom · glisser le fond = déplacer · toucher un nœud = inspecter
Mission path

Curriculum recalculé en direct

Evidence Composer

Ajouter une preuve locale

Un enregistrement local peut rendre un nœud éligible à verified-local; il ne devient jamais une vérité externe ou un credential.

Research Frontier

Distances dynamiques

Chaque carte recalcule les capacités encore manquantes. Distance 0 = atteignable structurellement, pas nouvelle recherche prouvée.

Event Stream

Mémoire locale de la session

Les transformations de l’état sont journalisées localement et peuvent être exportées ou réinitialisées.

Frontière OAK du Live Studio : localStorageState != VerifiedCapability · EvidenceRecord != Truth · GameMasterRecommendation != AuthorizedAction · ReachableFrontier != NovelResearch.
Architecture complète

Théorie, implémentation et frontière séparées.

Les cartes THÉORIE décrivent l’architecture visée. Les kernels R0.1–R0.3 sont marqués IMPLÉMENTÉ. Le Live Studio est une projection Web interactive au-dessus de ces kernels.

chargement…

Chargement du manifeste universitaire…

Reality-aware Learning Courts

Les courts R0.1–R0.3 restent disponibles comme instruments.

Ils permettent de falsifier des choix précis sans masquer les limites épistémiques.

STRUCTURE / SIMULATION · PAS PREUVE
Ouvrir les courts spécialisés
R0.1

Curriculum Compiler

Aucune compilation. NONE reste possible.
R0.2

Capability Evidence Court

EvidenceSufficientUnderPolicy ≠ ExternalTruth.
R0.2

MIN / NONE Court

NONE reste dans l’espace de comparaison.
R0.2

Research Frontier Bridge

ReachableFrontier ≠ NovelResearch.
R0.3

Learning Reality

ObservedGain ≠ CausalProof.
R0.3

OOD Probe

OODContext ≠ TransferProof.
R0.3

Prerequisite Ablation Court

AblationResult ≠ PermissionToRemovePrerequisite.
Triade C/F/R

Capability ↔ Frontier ↔ Reality

C · transformation proposée\nF · test discriminant\nR · mesure indépendante\n\nGenerator ≠ FinalJudge
OAK Constitution

Les frontières qui ne peuvent pas être optimisées away.

fail-closed
Règle : un résultat logiciel est un résultat logiciel. Un plan n’est pas un apprentissage; un assessment n’est pas un credential; un delta observé n’est pas une preuve causale; une ablation locale n’est pas une permission globale.
  • Chargement…
Reality debt

Ce qui manque encore à la réalité.

Provenance

R0.1 → R0.3 comme chaîne de preuves.

ÉtapePRMerge SHAPortée