Unknown is not permission to enter.

Select the code and use your copy shortcut. Changes in this preview are temporary.

<!doctype html>
<html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>Unknown is not permission to enter.</title><style>:root{color-scheme:light;--ink:#192e38;--accent:#255e61;--wash:#e6f1ed;--paper:#faf9f4}*{box-sizing:border-box}body{margin:0;background:var(--paper);color:var(--ink);font:17px/1.6 system-ui,sans-serif}main{max-width:1040px;margin:auto;padding:22px 24px 42px}header{border-top:5px solid var(--accent);padding-top:12px;margin-bottom:17px}.eyebrow{font-size:16px;font-weight:750;color:var(--accent);margin:0 0 4px}h1{font-size:clamp(26px,4vw,38px);line-height:1.2;letter-spacing:-.025em;margin:0 0 10px}h2{font-size:23px;line-height:1.3;margin:0 0 12px}h3{font-size:19px;margin:0 0 8px}p{margin:0 0 13px}.lede{max-width:850px}.stage{background:white;border:1px solid #b4c4c8;border-radius:10px;padding:20px;margin:15px 0}.sample{background:var(--wash);border-left:5px solid var(--accent);padding:16px;margin:12px 0}.result{border-top:3px solid var(--accent);padding:16px 0 4px;margin-top:14px;font-weight:700;font-size:19px;white-space:pre-wrap;overflow-wrap:anywhere}.detail{white-space:pre-wrap;overflow-wrap:anywhere}button,input,textarea,select{font:inherit}button{min-height:46px;background:var(--accent);color:white;border:1px solid var(--accent);border-radius:6px;padding:9px 14px;cursor:pointer;font-weight:650}button:hover{filter:brightness(.9)}button[aria-pressed=true]{box-shadow:inset 0 0 0 3px #d5f525}button:focus-visible,input:focus-visible,textarea:focus-visible,summary:focus-visible{outline:3px solid #245bad;outline-offset:3px}button:disabled{opacity:.6;cursor:default}.controls{display:flex;flex-wrap:wrap;gap:8px;margin:12px 0}label{display:block;font-weight:650;margin:11px 0 6px}input,textarea{display:block;width:100%;min-width:0;max-width:100%;background:white;color:var(--ink);border:1px solid #8199a1;border-radius:5px;padding:10px 12px}textarea{min-height:110px;resize:vertical;font:16px/1.5 ui-monospace,Consolas,monospace}.grid{display:grid;grid-template-columns:1fr 1fr;gap:22px}.grid>*{min-width:0}ul,ol{padding-left:23px}li{margin:6px 0}.small,summary,footer{font-size:16px;color:#415964}code,pre{font:16px/1.5 ui-monospace,Consolas,monospace}pre{white-space:pre-wrap;overflow-wrap:anywhere;background:#edf1f1;padding:16px;border-radius:6px}code{overflow-wrap:anywhere}.chip{display:inline-block;border:1px solid #95aeb4;border-radius:4px;padding:2px 8px;font-size:16px;margin:3px}svg{display:block;width:100%;height:auto}svg text{font-family:system-ui,sans-serif}details{margin:20px 0;border-top:1px solid #a7bdc2;padding-top:13px}summary{cursor:pointer;font-weight:750}mark{background:#d5f525;color:#202600}footer{border-top:1px solid #a7bdc2;padding-top:15px;margin-top:22px}table{width:100%;border-collapse:collapse;table-layout:fixed}th,td{padding:10px 8px;text-align:left;vertical-align:top;border-bottom:1px solid #c2cfd2;overflow-wrap:anywhere}th{background:var(--wash)}.number{font-size:32px;font-weight:800}.note{border-left:3px solid #a78e51;padding-left:12px}@media(max-width:650px){main{padding:15px 17px 30px}.grid{grid-template-columns:1fr;gap:14px}.stage{padding:15px}header{margin-bottom:12px}.controls button{flex:1 1 auto}h1{font-size:27px}th,td{padding:8px 5px}}</style></head><body><main style="--accent:#52673a;--wash:#edf3e1"><header><p class="eyebrow">LOGIC / POSSIBLE-WORLD KERNEL</p><h1>Unknown is not permission to enter.</h1><p class="lede">Three-variable pit model. Qualified conclusions only; no game or movement.</p></header><section class="stage"><div class="controls"><button type="button" id="k0">K0 · eight worlds</button><button type="button" id="k1">K1 · R∨S, ¬T</button><button type="button" id="k2">K2 · add ¬R</button><button type="button" id="k3">K3 · add R</button><button type="button" id="remove">Remove C4</button><button type="button" id="reset">Reset</button></div><p id="result" class="result" role="status" aria-live="polite"></p><pre id="worlds"></pre><p id="classifications" class="detail"></p></section><label for="clauses">Active clause IDs (C1,C2,C3,C4)</label><input id="clauses" type="text" value="C1,C2"><button type="button" id="evaluate">Evaluate clauses</button><p>C1 R OR S · C2 NOT T · C3 NOT R · C4 R. Inclusive OR. No probability model or automatic move.</p><p id="emptyWorldNote">Zero surviving worlds means the clause list is inconsistent; withhold every pit-clear conclusion. Python all([]) returns true, so test for an empty set before classifying cells.</p><footer>Original fictional practice example. Current-page interaction only; no saved records or external requests.</footer></main>
<script>
(()=>{
'use strict';
const $=s=>document.querySelector(s);const out=(s,v)=>{$(s).textContent=String(v);};const on=(s,f)=>$(s).addEventListener('click',f);
const universe=Array.from({length:8},(_,i)=>({id:'W'+i.toString(2).padStart(3,'0'),R:Boolean(i&4),S:Boolean(i&2),T:Boolean(i&1)}));const rules={C1:w=>w.R||w.S,C2:w=>!w.T,C3:w=>!w.R,C4:w=>w.R};function currentKeys(){const raw=$('#clauses').value.trim(),keys=raw?raw.split(',').map(v=>v.trim()):[];if(keys.some(k=>!Object.hasOwn(rules,k))||new Set(keys).size!==keys.length){out('#result','Held: use unique clause IDs C1-C4 only.');out('#worlds','');out('#classifications','No accepted classification.');return null;}return keys;}function evaluate(){const keys=currentKeys();if(keys===null)return;const worlds=universe.filter(w=>keys.every(k=>rules[k](w)));out('#worlds',worlds.map(w=>w.id+' R'+Number(w.R)+' S'+Number(w.S)+' T'+Number(w.T)).join('\n'));if(!worlds.length){out('#result','0 candidates · INCONSISTENT');out('#classifications','No cell has pit-clear approval.');return;}out('#result',worlds.length+(worlds.length===1?' candidate · active ':' candidates · active ')+(keys.join(', ')||'none'));out('#classifications',['R','S','T'].map(v=>v+': '+(worlds.every(w=>!w[v])?'pit-clear under supplied pit model':worlds.every(w=>w[v])?'proven pit under supplied pit model':'unknown')).join('\n'));}const load=ids=>{$('#clauses').value=ids;evaluate();};on('#k0',()=>load(''));on('#k1',()=>load('C1,C2'));on('#k2',()=>load('C1,C2,C3'));on('#k3',()=>load('C1,C2,C3,C4'));on('#remove',()=>{const keys=currentKeys();if(keys!==null)load(keys.filter(k=>k!=='C4').join(','));});on('#reset',()=>load(''));on('#evaluate',evaluate);$('#clauses').addEventListener('input',()=>{out('#result','Edited; recompute from the full universe.');out('#worlds','');out('#classifications','');});evaluate();
})();
</script>
</body></html>