diff --git a/docs/proof.html b/docs/proof.html index 9d5965f1..cf0150e4 100644 --- a/docs/proof.html +++ b/docs/proof.html @@ -7,10 +7,11 @@ +
ĀML™ / LIVE PROOF← Live lab

ĀML Proof

Change one number. Watch the same interface element move between ALLOW and SUPPRESS.

SHIPPED prototype behavior. This demonstrates deterministic software policy evaluation; it does not claim that the scores objectively measure human cognition.

@@ -52,12 +53,27 @@

ĀML Proof

+
SUPPRESS

restoration_value (1) < attention_cost (5)

Prototype rule: render_allowed = restoration_value >= attention_cost

+
+

See the interface decision

+

This illustration follows the compiler decision above. The dashed panel explains a suppressed element; it is not the suppressed element rendered in an app.

+
+
01 / DECLARED ELEMENTCreate urgencycontent: “Act now”
+ +
02 / SCREEN OUTCOME + +
SUPPRESSThe element is withheld. This dashed explanation is outside the governed interface.
+
+
+
+
+

Exact AML being evaluated


@@ -90,6 +106,16 @@ 
Shareable reproduction

       fr:{title:'Preuve ĀML',intro:'Modifiez un nombre. Regardez le même élément passer entre ALLOW et SUPPRESS.',notice:'Comportement de prototype SHIPPED. Il démontre une évaluation logicielle déterministe sans prétendre que les scores mesurent objectivement la cognition humaine.',language:'Langue',purpose:'Objectif déclaré',suppress:'Charger la preuve SUPPRESS',allow:'Charger la preuve ALLOW',copy:'Copier ce lien de preuve exact',copied:'Copié',copyFallback:'Copiez l’URL affichée ci-dessous',rule:'Règle du prototype :',source:'ĀML exact évalué',decision:'Décision inspectable',share:'Reproduction partageable',shareText:'La langue, l’objectif déclaré et les valeurs sont encodés dans l’URL pour qu’une autre personne ouvre exactement le même état.',playground:'Ouvrir le playground complet',meaning:'Ouvrir View Meaning',card:'Ouvrir la carte de preuve',local:'Reproduire localement',witness:'Demande de témoin : modifiez restoration_value, copiez le lien, capturez la décision et consignez le résultat sur GitHub.',defaultPurpose:'Créer un sentiment d’urgence'},
       de:{title:'ĀML-Beweis',intro:'Ändere eine Zahl. Beobachte, wie dasselbe Interface-Element zwischen ALLOW und SUPPRESS wechselt.',notice:'SHIPPED-Prototypverhalten. Es zeigt deterministische Software-Policy-Auswertung und behauptet nicht, dass die Werte menschliche Kognition objektiv messen.',language:'Sprache',purpose:'Deklarierter Zweck',suppress:'SUPPRESS-Beweis laden',allow:'ALLOW-Beweis laden',copy:'Diesen exakten Beweislink kopieren',copied:'Kopiert',copyFallback:'Kopiere die unten angezeigte URL',rule:'Prototypregel:',source:'Exaktes ausgewertetes ĀML',decision:'Prüfbare Entscheidung',share:'Teilbare Reproduktion',shareText:'Sprache, deklarierter Zweck und Werte werden in der URL gespeichert, damit eine andere Person denselben Zustand öffnen kann.',playground:'Vollständiges Playground öffnen',meaning:'View Meaning öffnen',card:'Beweiskarte öffnen',local:'Lokal reproduzieren',witness:'Witness-Aufruf: restoration_value ändern, Beweislink kopieren, Entscheidung aufnehmen und das Ergebnis auf GitHub melden.',defaultPurpose:'Dringlichkeit erzeugen'}
     };
+    const previewStrings = {
+      en:['See the interface decision','This illustration follows the compiler decision above. The dashed panel explains a suppressed element; it is not the suppressed element rendered in an app.','DECLARED ELEMENT','SCREEN OUTCOME','Illustrative element shown. No action is connected.','The element is withheld. This dashed explanation is outside the governed interface.'],
+      es:['Vea la decisión de la interfaz','Esta ilustración sigue la decisión del compilador. El panel punteado explica un elemento suprimido; no es el elemento renderizado en la aplicación.','ELEMENTO DECLARADO','RESULTADO EN PANTALLA','Se muestra un elemento ilustrativo. No hay ninguna acción conectada.','El elemento se oculta. Este panel explicativo queda fuera de la interfaz gobernada.'],
+      'pt-BR':['Veja a decisão da interface','Esta ilustração segue a decisão do compilador. O painel tracejado explica um elemento suprimido; ele não é renderizado no aplicativo.','ELEMENTO DECLARADO','RESULTADO NA TELA','Elemento ilustrativo exibido. Nenhuma ação está conectada.','O elemento é retido. Esta explicação fica fora da interface governada.'],
+      hi:['इंटरफ़ेस निर्णय देखें','यह चित्र ऊपर दिए गए कंपाइलर निर्णय को दिखाता है। बिंदीदार पैनल दबाए गए तत्व की व्याख्या करता है; वह ऐप में रेंडर किया गया तत्व नहीं है।','घोषित तत्व','स्क्रीन परिणाम','उदाहरण तत्व दिखाया गया है। कोई क्रिया जुड़ी नहीं है।','तत्व रोका गया है। यह व्याख्या नियंत्रित इंटरफ़ेस के बाहर है।'],
+      ar:['شاهد قرار الواجهة','يتبع هذا الرسم قرار المترجم أعلاه. تشرح اللوحة المتقطعة العنصر المحجوب؛ وليست عنصراً معروضاً في التطبيق.','العنصر المعلن','نتيجة الشاشة','يظهر عنصر توضيحي. لا يوجد إجراء متصل.','العنصر محجوب. هذا الشرح خارج الواجهة الخاضعة للسياسة.'],
+      zh:['查看界面决策','此图示遵循上方的编译器决策。虚线面板解释被抑制的元素，并非在应用中渲染该元素。','声明的元素','屏幕结果','显示示例元素。未连接任何操作。','该元素被隐藏。此虚线说明位于受策略管理的界面之外。'],
+      fr:["Voir la décision d’interface","Cette illustration suit la décision du compilateur. Le panneau en pointillés explique un élément supprimé ; il n’est pas rendu dans l’application.",'ÉLÉMENT DÉCLARÉ','RÉSULTAT À L’ÉCRAN','Élément illustratif affiché. Aucune action n’est connectée.','L’élément est retenu. Cette explication est hors de l’interface gouvernée.'],
+      de:['Die Interface-Entscheidung ansehen','Diese Darstellung folgt der Compiler-Entscheidung. Das gestrichelte Feld erklärt ein unterdrücktes Element; es wird nicht in der App gerendert.','DEKLARIERTES ELEMENT','BILDSCHIRMERGEBNIS','Beispielelement sichtbar. Keine Aktion ist verbunden.','Das Element wird zurückgehalten. Diese Erklärung liegt außerhalb der gesteuerten Oberfläche.']
+    };
 
     const attention = document.getElementById('attention');
     const restoration = document.getElementById('restoration');
@@ -103,8 +129,12 @@ 
Shareable reproduction

     const jsonEl = document.getElementById('json');
     const shareUrl = document.getElementById('shareUrl');
     const copyStatus = document.getElementById('copyStatus');
+    const previewPurpose = document.getElementById('previewPurpose');
+    const visualAllow = document.getElementById('visualAllow');
+    const visualSuppress = document.getElementById('visualSuppress');
 
     function boundedNumber(value, fallback){
+      if (value === null || String(value).trim() === '') return fallback;
       const parsed = Number(value);
       return Number.isFinite(parsed) ? Math.min(10, Math.max(0, parsed)) : fallback;
     }
@@ -144,14 +174,20 @@ 
Shareable reproduction

       document.getElementById('cardLink').textContent = t.card;
       document.getElementById('localLink').textContent = t.local;
       document.getElementById('witness').textContent = t.witness;
+      const preview = previewStrings[lang] || previewStrings.en;
+      for (const [id, value] of [['previewHeading',preview[0]],['previewText',preview[1]],
+        ['declaredLabel',`01 / ${preview[2]}`],['screenLabel',`02 / ${preview[3]}`],
+        ['allowText',preview[4]],['suppressText',preview[5]]]) {
+        document.getElementById(id).textContent = value;
+      }
     }
 
-    function currentUrl(a, r){
+    function currentUrl(a, r, declaredPurpose){
       const url = new URL(location.href);
       url.searchParams.set('attention', String(a));
       url.searchParams.set('restoration', String(r));
       url.searchParams.set('lang', language.value);
-      url.searchParams.set('purpose', purpose.value);
+      url.searchParams.set('purpose', declaredPurpose);
       return url.toString();
     }
 
@@ -160,7 +196,7 @@ 
Shareable reproduction

       const a = Number(attention.value);
       const r = Number(restoration.value);
       const declaredPurpose = boundedText(purpose.value, strings[language.value].defaultPurpose);
-      purpose.value = declaredPurpose;
+      if (document.activeElement !== purpose) purpose.value = declaredPurpose;
       av.textContent = a;
       rv.textContent = r;
       const source = `transmission "proof" {\n  message "example" {\n    purpose: ${JSON.stringify(declaredPurpose)}\n    content: "Act now"\n    attention_cost: ${a}\n    restoration_value: ${r}\n  }\n}\n`;
@@ -169,6 +205,9 @@ 
Shareable reproduction

       const allowed = row.render_allowed;
       decision.textContent = allowed ? 'ALLOW' : 'SUPPRESS';
       decision.className = `decision ${allowed ? 'allow' : 'suppress'}`;
+      previewPurpose.textContent = declaredPurpose;
+      visualAllow.hidden = !allowed;
+      visualSuppress.hidden = allowed;
       reason.textContent = `restoration_value (${r}) ${allowed ? '>=' : '<'} attention_cost (${a})`;
       sourceEl.textContent = source;
       jsonEl.textContent = JSON.stringify({
@@ -178,7 +217,7 @@ 
Shareable reproduction

         render_allowed: row.render_allowed,
         fallback_triggered: row.fallback_triggered
       }, null, 2);
-      const link = currentUrl(a, r);
+      const link = currentUrl(a, r, declaredPurpose);
       shareUrl.textContent = link;
       history.replaceState(null, '', link);
       const card = new URL('./proof-card.html', location.href);
@@ -205,6 +244,7 @@ 
Shareable reproduction

     attention.addEventListener('input', render);
     restoration.addEventListener('input', render);
     purpose.addEventListener('input', render);
+    purpose.addEventListener('blur', render);
     language.addEventListener('change', () => {
       const previousDefault = Object.values(strings).some(t => t.defaultPurpose === purpose.value);
       if (previousDefault) purpose.value = strings[language.value].defaultPurpose;