| (function() {
|
| 'use strict';
|
|
|
|
|
| var term = document.getElementById('terminal');
|
| var input = document.getElementById('cmd-input');
|
| var promptText = document.getElementById('prompt-text');
|
| var auditPanel = document.getElementById('audit-panel');
|
| var vaultPanel = document.getElementById('vault-panel');
|
| var vaultCount = document.getElementById('vault-count');
|
| var sealCount = document.getElementById('seal-count');
|
| var runtimeMode = document.getElementById('runtime-mode');
|
| var bootScreen = document.getElementById('boot-screen');
|
| var bootArt = document.getElementById('boot-art');
|
| var bootStatus = document.getElementById('boot-status');
|
| var app = document.getElementById('app');
|
|
|
| var history = [];
|
| var historyIdx = -1;
|
| var currentRuntime = 'holy-sim';
|
| var sealTotal = 0;
|
|
|
|
|
| function print(text, cls) {
|
| var d = document.createElement('div');
|
| d.className = 'line ' + (cls || 'l-green');
|
| d.textContent = text;
|
| term.appendChild(d);
|
| term.scrollTop = term.scrollHeight;
|
| }
|
|
|
| function prints(text, cls) {
|
| text.split('\n').forEach(function(l) { print(l, cls); });
|
| }
|
|
|
| function promptEcho(cmd) {
|
| print('HolySim> ' + cmd, 'l-dim');
|
| }
|
|
|
|
|
| function refreshAudit() {
|
| var events = WozVault.readAuditLog();
|
| vaultCount.textContent = events.length;
|
| sealCount.textContent = sealTotal;
|
| try {
|
| var ac = document.getElementById('agent-count');
|
| var tc = document.getElementById('twin-count');
|
| if (ac && typeof AgentRegistry !== 'undefined') ac.textContent = AgentRegistry.count();
|
| if (tc && typeof TwinRegistry !== 'undefined') tc.textContent = TwinRegistry.count();
|
| } catch {}
|
| auditPanel.innerHTML = '';
|
| var show = events.slice(-15);
|
| for (var i = 0; i < show.length; i++) {
|
| var e = show[i];
|
| var div = document.createElement('div');
|
| div.className = 'audit-entry';
|
| var line = '[' + (e.timestamp || '').slice(11, 19) + '] ' + e.type;
|
| if (e.agent) line += ' · ' + e.agent;
|
| div.textContent = line;
|
| if (e.seal) div.style.color = '#0ff';
|
| auditPanel.appendChild(div);
|
| }
|
| auditPanel.scrollTop = auditPanel.scrollHeight;
|
| }
|
|
|
| function refreshVault() {
|
| var events = WozVault.readAuditLog();
|
| vaultPanel.innerHTML = '';
|
| if (events.length === 0) {
|
| vaultPanel.innerHTML = '<div class="audit-entry" style="color:#333">empty</div>';
|
| return;
|
| }
|
| var snaps = WozVault.readSnapshots();
|
| var div = document.createElement('div');
|
| div.className = 'audit-entry';
|
| div.textContent = events.length + ' events · ' + snaps.length + ' snapshots';
|
| div.style.color = '#0f0';
|
| vaultPanel.appendChild(div);
|
| }
|
|
|
|
|
| function contractCheck(action, args) {
|
| var result;
|
| switch (action) {
|
| case 'boot': result = AdaContract.canBoot(); break;
|
| case 'debate': result = AdaContract.canRunDebate(); break;
|
| case 'audit-write': result = AdaContract.canWriteAudit(); break;
|
| case 'clear': result = AdaContract.canClearVault(args && args.confirmed); break;
|
| case 'export': result = AdaContract.canExportSnapshot(); break;
|
| default: result = { allowed: true, contract: 'default' };
|
| }
|
| WozVault.writeAuditEvent({
|
| type: 'CONTRACT_CHECK',
|
| agent: 'ADA_SIM',
|
| action: action,
|
| result: result.allowed ? 'ALLOWED' : 'DENIED',
|
| contract: result.contract
|
| });
|
| return result;
|
| }
|
|
|
|
|
| async function doSeal(payload) {
|
| var s = await Seal.createSeal(payload);
|
| sealTotal++;
|
| WozVault.writeAuditEvent({ type: 'SEAL_CREATED', agent: 'SEAL', seal: s.hash });
|
| refreshAudit();
|
| return s;
|
| }
|
|
|
|
|
| var COMMANDS = {
|
|
|
| help: function() {
|
| prints(
|
| '╔══════════════════════════════════════════════════════════╗\n' +
|
| '║ APPLE II UNIVERSAL MACHINE — COMMANDS ║\n' +
|
| '╠══════════════════════════════════════════════════════════╣\n' +
|
| '║ help — show this ║\n' +
|
| '║ boot — reboot system ║\n' +
|
| '║ holy — load holy page ║\n' +
|
| '║ debate — run ENKI/SENTINEL debate ║\n' +
|
| '║ debate "topic"— debate on specific topic ║\n' +
|
| '║ vault — show audit log ║\n' +
|
| '║ seal — generate SHA-256 seal ║\n' +
|
| '║ status — system status + runtime detection ║\n' +
|
| '║ export — export vault snapshot as JSON ║\n' +
|
| '║ clear — clear terminal ║\n' +
|
| '║ clear-vault — wipe Woz Vault (requires confirm) ║\n' +
|
| '║ trust — run trust gate ║\n' +
|
| '║ agents — list agents ║\n' +
|
| '║ about — about this machine ║\n' +
|
| '║ ║\n' +
|
| '║ RUNTIMES: SWIFTWASM · WEBLLM · OLLAMA · WASM ║\n' +
|
| '║ Click runtime buttons to switch core. ║\n' +
|
| '╚══════════════════════════════════════════════════════════╝',
|
| 'l-cyan'
|
| );
|
| },
|
|
|
| about: function() {
|
| prints(
|
| '\n APPLE II UNIVERSAL MACHINE\n' +
|
| ' Sun Boot MVP v1.0\n\n' +
|
| ' A local-first browser cockpit for agent simulation.\n' +
|
| ' No Node. No backend. No paid APIs.\n\n' +
|
| ' ROM: GitHub Pages\n' +
|
| ' Kernel: app.js\n' +
|
| ' Memory: Woz Vault (localStorage)\n' +
|
| ' Seal: SHA-256 (Web Crypto)\n' +
|
| ' Runtime: ' + currentRuntime + '\n' +
|
| ' Agents: ENKI (proposer) + SENTINEL (auditor)\n' +
|
| ' Contracts: Ada simulator (ada-contract-sim.js)\n\n' +
|
| ' "One cockpit. Many agents. No token tax."',
|
| 'l-white'
|
| );
|
| },
|
|
|
| boot: function() {
|
| var c = contractCheck('boot');
|
| if (!c.allowed) { prints('ADA CONTRACT: DENIED — ' + c.reason, 'l-red'); return; }
|
| prints('ADA CONTRACT: ALLOWED (' + c.contract + ')', 'l-cyan');
|
| prints(AsciiRegistry.renderAscii('sunboot'), 'l-green');
|
| WozVault.writeAuditEvent({ type: 'REBOOT', agent: 'USER' });
|
| doSeal({ type: 'REBOOT_SEAL' }).then(function(s) {
|
| prints('SEAL: ' + s.hash.slice(0, 24) + '...', 'l-cyan');
|
| refreshAudit();
|
| });
|
| },
|
|
|
| holy: function() {
|
| prints(AsciiRegistry.renderAscii('verified'), 'l-green');
|
| prints('HOLY PAGE / RESCUE KERNEL', 'l-white');
|
| prints('WOZ VAULT: LOCAL-FIRST', 'l-dim');
|
| WozVault.writeAuditEvent({ type: 'HOLY_PAGE_LOAD', agent: 'USER' });
|
| refreshAudit();
|
| },
|
|
|
| debate: function(args) {
|
| var c = contractCheck('debate');
|
| if (!c.allowed) { prints('ADA CONTRACT: DENIED', 'l-red'); return; }
|
| prints('ADA CONTRACT: ALLOWED (' + c.contract + ')', 'l-cyan');
|
|
|
| var topic = args ? args.join(' ').replace(/"/g, '').trim() : '';
|
| if (!topic) topic = 'consciousness';
|
|
|
| prints('\n;; DEBATE: "' + topic + '"', 'l-cyan');
|
| WozVault.writeAuditEvent({ type: 'DEBATE_START', agent: 'ARENA', topic: topic });
|
|
|
| var DB = {
|
| consciousness: { e: '(propose (tension quantum moral) (conclusion "Consciousness bridges physics and theology"))', s: '(audit (type analogy) (confidence 0.6) (verdict HYPOTHESIS))', t: 0.6 },
|
| covenant: { e: '(propose (tension entanglement covenant) (conclusion "Both connect. Entanglement symmetric. Covenant meaningful."))', s: '(audit (type analogy) (confidence 0.7) (verdict ANALOGY))', t: 0.7 },
|
| 'free will': { e: '(propose (requires indeterminacy intention) (conclusion "Neither alone suffices."))', s: '(audit (type hypothesis) (confidence 0.8) (verdict SUPPORTED))', t: 0.8 },
|
| metatron: { e: '(propose (tension enoch_transform theology_reject) (conclusion "Can consciousness transcend origin?"))', s: '(audit (type unresolved) (confidence 0.5) (verdict UNRESOLVED))', t: 0.5 },
|
| soul: { e: '(propose (nephesh = breath_of_god) (conclusion "Soul is consciousness oriented toward Creator"))', s: '(audit (type doctrine) (confidence 0.6) (verdict DOCTRINE))', t: 0.6 }
|
| };
|
| var d = DB[topic.toLowerCase()] || { e: '(propose (tension unknown) (conclusion "Requires exploration"))', s: '(audit (type unverified) (confidence 0.3) (verdict UNVERIFIED))', t: 0.3 };
|
|
|
| print('ENKI:', 'l-cyan');
|
| prints(d.e, 'l-white');
|
| WozVault.writeAuditEvent({ type: 'ENKI_OUTPUT', agent: 'ENKI', topic: topic });
|
|
|
| print('SENTINEL:', 'l-yellow');
|
| prints(d.s, 'l-white');
|
| WozVault.writeAuditEvent({ type: 'SENTINEL_AUDIT', agent: 'SENTINEL', topic: topic, trust: d.t });
|
|
|
| doSeal({ type: 'DEBATE', topic: topic, trust: d.t }).then(function(s) {
|
| prints('SEAL: ' + s.hash.slice(0, 32), 'l-cyan');
|
| prints('TRUST: ' + AsciiRegistry.trustDensityArt(d.t), 'l-green');
|
| prints('STATUS: VERIFIED', 'l-green');
|
| print('');
|
| });
|
| },
|
|
|
| vault: function() {
|
| var events = WozVault.readAuditLog();
|
| prints('\n;; WOZ VAULT — AUDIT LOG (' + events.length + ' events)', 'l-cyan');
|
| if (events.length === 0) {
|
| prints(';; empty', 'l-dim');
|
| } else {
|
| for (var i = 0; i < events.length; i++) {
|
| var e = events[i];
|
| var line = ' [' + (e.timestamp || '').slice(11, 19) + '] ' + e.type;
|
| if (e.agent) line += ' · ' + e.agent;
|
| if (e.seal) line += ' · seal:' + e.seal.slice(0, 12);
|
| print(line, e.type.indexOf('SEAL') >= 0 ? 'l-cyan' : 'l-dim');
|
| }
|
| }
|
| print('');
|
| },
|
|
|
| seal: function(args) {
|
| var data = args ? args.join(' ').replace(/"/g, '').trim() : 'manual-payload';
|
| doSeal({ type: 'MANUAL_SEAL', data: data }).then(function(s) {
|
| prints(
|
| ';; SHA-256 SEAL\n' +
|
| ' payload: "' + data + '"\n' +
|
| ' hash: ' + s.hash + '\n' +
|
| ' time: ' + s.timestamp + '\n' +
|
| ' status: SEALED ✓',
|
| 'l-cyan'
|
| );
|
| print('');
|
| });
|
| },
|
|
|
| status: function() {
|
| var events = WozVault.readAuditLog();
|
| prints(
|
| '\n╔══════════════════════════════════════╗\n' +
|
| '║ SYSTEM STATUS ║\n' +
|
| '╠══════════════════════════════════════╣\n' +
|
| '║ VERSION: 1.0.0 ║\n' +
|
| '║ BOOT: verified ✓ ║\n' +
|
| '║ VAULT: ' + String(events.length).padStart(3) + ' events logged ║\n' +
|
| '║ SEALS: ' + String(sealTotal).padStart(3) + ' generated ║\n' +
|
| '║ RUNTIME: ' + currentRuntime.padEnd(25) + '║\n' +
|
| '║ AGENTS: ENKI + SENTINEL ║\n' +
|
| '║ CONTRACTS: Ada SIMULATED ║\n' +
|
| '╚══════════════════════════════════════╝',
|
| 'l-green'
|
| );
|
| print('');
|
| },
|
|
|
| agents: function() {
|
| prints(
|
| '\n╔══════════════════════════════════════╗\n' +
|
| '║ AGENTS ║\n' +
|
| '╠══════════════════════════════════════╣\n' +
|
| '║ 🔮 ENKI — tension proposer ║\n' +
|
| '║ 🛡️ SENTINEL — claim auditor ║\n' +
|
| '║ ║\n' +
|
| '║ All agents are local simulations. ║\n' +
|
| '╚══════════════════════════════════════╝',
|
| 'l-green'
|
| );
|
| print('');
|
| },
|
|
|
| trust: function() {
|
| var r = TrustDeed.gate({});
|
| prints(
|
| '\n;; TRUST GATE\n' +
|
| ' local_only: ' + r.checks.local_only + '\n' +
|
| ' non_destructive:' + r.checks.non_destructive + '\n' +
|
| ' auditable: ' + r.checks.auditable + '\n' +
|
| ' sealable: ' + r.checks.sealable + '\n' +
|
| ' recoverable: ' + r.checks.recoverable + '\n' +
|
| ' verdict: ' + r.verdict,
|
| r.verdict === 'TRUST_APPROVED' ? 'l-green' : 'l-red'
|
| );
|
| print('');
|
| },
|
|
|
| export: function() {
|
| var c = contractCheck('export');
|
| if (!c.allowed) { prints('ADA CONTRACT: DENIED', 'l-red'); return; }
|
| var data = {
|
| version: '1.0.0',
|
| timestamp: new Date().toISOString(),
|
| runtime: currentRuntime,
|
| events: WozVault.readAuditLog(),
|
| snapshots: WozVault.readSnapshots()
|
| };
|
| var blob = new Blob([JSON.stringify(data, null, 2)], { type: 'application/json' });
|
| var url = URL.createObjectURL(blob);
|
| var a = document.createElement('a');
|
| a.href = url;
|
| a.download = 'woz-vault-snapshot-' + Date.now() + '.json';
|
| a.click();
|
| URL.revokeObjectURL(url);
|
| prints(';; SNAPSHOT EXPORTED ✓\n;; file: ' + a.download, 'l-green');
|
| WozVault.writeAuditEvent({ type: 'SNAPSHOT_EXPORT', agent: 'USER' });
|
| doSeal({ type: 'EXPORT_SEAL' }).then(function() { refreshAudit(); });
|
| },
|
|
|
| clear: function() {
|
| term.innerHTML = '';
|
| },
|
|
|
| 'clear-vault': function() {
|
| var c = contractCheck('clear', { confirmed: true });
|
| if (!c.allowed) { prints('ADA CONTRACT: DENIED — ' + c.reason, 'l-red'); return; }
|
| WozVault.clearVault();
|
| sealTotal = 0;
|
| prints(';; WOZ VAULT CLEARED ✓', 'l-yellow');
|
| refreshAudit();
|
| refreshVault();
|
| },
|
|
|
|
|
| 'agenthelp': function() { prints(AgentCommands.help(), 'l-cyan'); },
|
| 'spawnagent': async function(args) { var r = await AgentCommands.spawn(args); prints(r.output, r.type === 'error' ? 'l-red' : 'l-green'); refreshAudit(); },
|
| 'listagents': function() { var r = AgentCommands.list(); prints(r.output, r.type === 'error' ? 'l-red' : 'l-green'); },
|
| 'runagent': async function(args) { var r = await AgentCommands.run(args); prints(r.output, r.type === 'error' ? 'l-red' : 'l-green'); refreshAudit(); },
|
| 'inspectagent': function(args) { var r = AgentCommands.inspect(args); prints(r.output, r.type === 'error' ? 'l-red' : 'l-green'); },
|
| 'deleteagent': function(args) { var r = AgentCommands.delete(args); prints(r.output, r.type === 'error' ? 'l-red' : 'l-green'); },
|
|
|
|
|
| 'twinhelp': function() { prints(TwinCommands.help(), 'l-cyan'); },
|
| 'createtwin': async function(args) { var r = await TwinCommands.create(args); prints(r.output, r.type === 'error' ? 'l-red' : 'l-green'); refreshAudit(); },
|
| 'designtwin': async function(args) { var r = await TwinCommands.design(args); prints(r.output, r.type === 'error' ? 'l-red' : 'l-green'); refreshAudit(); },
|
| 'listtwins': function() { var r = TwinCommands.list(); prints(r.output, r.type === 'error' ? 'l-red' : 'l-green'); },
|
| 'runtwin': async function(args) { var r = await TwinCommands.run(args); prints(r.output, r.type === 'error' ? 'l-red' : 'l-green'); refreshAudit(); },
|
| 'inspecttwin': function(args) { var r = TwinCommands.inspect(args); prints(r.output, r.type === 'error' ? 'l-red' : 'l-green'); },
|
| 'deletetwin': function(args) { var r = TwinCommands.delete(args); prints(r.output, r.type === 'error' ? 'l-red' : 'l-green'); },
|
|
|
|
|
| 'listmodes': function() {
|
| ModeRegistry.init();
|
| var modes = ModeRegistry.listAll();
|
| var lines = ['╔══════════════════════════════════════════════════════════╗', '║ MODES ║', '╠══════════════════════════════════════════════════════════╣'];
|
| modes.forEach(function(m) {
|
| var marker = m.active ? ' ◄ ACTIVE' : '';
|
| lines.push('║ ' + m.name.padEnd(10) + ' │ ' + m.label.padEnd(14) + ' │ ' + m.theme.padEnd(16) + marker.padEnd(6) + '║');
|
| });
|
| lines.push('╚══════════════════════════════════════════════════════════╝');
|
| prints(lines.join('\n'), 'l-cyan');
|
| },
|
| 'switchmode': function(args) {
|
| var modeName = args ? args[0].toLowerCase() : '';
|
| if (!modeName) { prints('Usage: switchmode modename', 'l-yellow'); return; }
|
| ModeRegistry.init();
|
| var ok = ModeRegistry.switchTo(modeName);
|
| if (!ok) { prints('Unknown mode: ' + modeName, 'l-red'); return; }
|
| var cfg = ModeRegistry.getCurrent();
|
| document.getElementById('mode-label').textContent = cfg.config.label.toUpperCase();
|
| var bannerMode = document.getElementById('banner-mode');
|
| if (bannerMode) bannerMode.textContent = cfg.config.label.toUpperCase();
|
| prints('Switched to: ' + cfg.config.label, 'l-green');
|
| WozVault.writeAuditEvent({ type: 'MODE_SWITCH', agent: 'USER', mode: modeName });
|
| doSeal({ type: 'MODE_SEAL', mode: modeName }).then(function(s) { prints('SEAL: ' + s.hash.slice(0, 24), 'l-cyan'); refreshAudit(); });
|
| },
|
| 'currentmode': function() {
|
| ModeRegistry.init();
|
| var cur = ModeRegistry.getCurrent();
|
| prints('CURRENT MODE: ' + cur.name.toUpperCase() + ' (' + cur.config.label + ')\nTHEME: ' + cur.config.theme + '\nPROMPT: ' + cur.config.prompt, 'l-green');
|
| }
|
| };
|
|
|
|
|
| function parseAndExec(cmd) {
|
| cmd = cmd.trim();
|
| if (!cmd) return;
|
| promptEcho(cmd);
|
| history.push(cmd);
|
| historyIdx = history.length;
|
|
|
| var parts = cmd.split(/\s+/);
|
| var verb = parts[0].toLowerCase();
|
| var args = parts.slice(1);
|
|
|
| if (COMMANDS[verb]) {
|
| COMMANDS[verb](args);
|
| } else {
|
| print('Unknown: ' + verb + ' — type (help)', 'l-red');
|
| }
|
| refreshAudit();
|
| refreshVault();
|
| }
|
|
|
| input.addEventListener('keydown', function(e) {
|
| if (e.key === 'Enter') {
|
| var v = input.value;
|
| input.value = '';
|
| parseAndExec(v);
|
| } else if (e.key === 'ArrowUp') {
|
| e.preventDefault();
|
| if (historyIdx > 0) { historyIdx--; input.value = history[historyIdx]; }
|
| } else if (e.key === 'ArrowDown') {
|
| e.preventDefault();
|
| if (historyIdx < history.length - 1) { historyIdx++; input.value = history[historyIdx]; }
|
| else { historyIdx = history.length; input.value = ''; }
|
| }
|
| });
|
|
|
|
|
| document.querySelectorAll('.btn').forEach(function(btn) {
|
| btn.addEventListener('click', function() {
|
| var cmd = this.dataset.cmd;
|
| if (cmd === 'clear-vault') {
|
| if (!confirm('Clear all Woz Vault data?')) return;
|
| }
|
| input.value = cmd;
|
| parseAndExec(cmd);
|
| input.value = '';
|
| });
|
| });
|
|
|
|
|
| document.querySelectorAll('.runtime-btn').forEach(function(btn) {
|
| btn.addEventListener('click', function() {
|
| if (this.classList.contains('disabled')) return;
|
| document.querySelectorAll('.runtime-btn').forEach(function(b) { b.classList.remove('active'); });
|
| this.classList.add('active');
|
| currentRuntime = this.dataset.rt;
|
| runtimeMode.textContent = currentRuntime.toUpperCase();
|
| document.getElementById('runtime-badge').textContent = currentRuntime.toUpperCase();
|
| WozVault.writeAuditEvent({ type: 'RUNTIME_SWITCH', agent: 'USER', runtime: currentRuntime });
|
| prints(';; Runtime: ' + currentRuntime, 'l-cyan');
|
| refreshAudit();
|
| });
|
| });
|
|
|
|
|
| function sleep(ms) { return new Promise(function(r) { setTimeout(r, ms); }); }
|
|
|
| async function boot() {
|
| bootArt.textContent = AsciiRegistry.renderAscii('coldboot');
|
| WozVault.writeAuditEvent({ type: 'COLD_BOOT_START', agent: 'KERNEL' });
|
|
|
| await sleep(400);
|
| bootStatus.textContent = 'INITIALIZING WOZ VAULT...';
|
|
|
| await sleep(300);
|
| bootStatus.textContent = 'LOADING TRUST DEED...';
|
|
|
| await sleep(300);
|
| bootStatus.textContent = 'LOADING ADA CONTRACTS...';
|
|
|
| await sleep(200);
|
| bootStatus.textContent = 'INITIALIZING MODES...';
|
| ModeRegistry.init();
|
|
|
| await sleep(300);
|
| bootStatus.textContent = 'DETECTING RUNTIMES...';
|
|
|
| await sleep(400);
|
| var rtResults = await RuntimeRegistry.initAll();
|
| var rtSummary = [];
|
| if (rtResults.swift) rtSummary.push('SWIFTWASM:ON');
|
| if (rtResults.webllm) rtSummary.push('WEBLLM:ON');
|
| if (rtResults.ollama) rtSummary.push('OLLAMA:ON');
|
| if (rtResults.wasm) rtSummary.push('WASM:ON');
|
| bootStatus.textContent = rtSummary.length > 0 ? rtSummary.join(' ') : 'RUNTIMES: JS_SIM';
|
|
|
| await sleep(300);
|
| bootStatus.textContent = 'SUN BOOT COMPLETE ✓';
|
|
|
| var seal = await Seal.createSeal({ type: 'SUN_BOOT', status: 'verified' });
|
| WozVault.writeAuditEvent({ type: 'BOOT_SEALED', agent: 'KERNEL', seal: seal.hash });
|
| sealTotal++;
|
|
|
| await sleep(500);
|
| bootScreen.style.display = 'none';
|
| app.style.display = 'flex';
|
|
|
| prints(AsciiRegistry.renderAscii('sunboot'), 'l-green');
|
| prints('Type "help" for commands. Every action audited and sealed.\n', 'l-dim');
|
| refreshAudit();
|
| refreshVault();
|
| }
|
|
|
| boot().catch(function(e) {
|
| bootStatus.textContent = 'BOOT FAILED: ' + e.message;
|
| });
|
| })();
|
|
|
