| var PrologSim = {
|
| rules: {
|
| 'allowed(boot_agent)': { result: 'ALLOWED', reason: 'System boot authorized' },
|
| 'allowed(run_debate)': { result: 'ALLOWED', reason: 'Debate access granted' },
|
| 'allowed(agent_status)': { result: 'ALLOWED', reason: 'Status read access' },
|
| 'allowed(view_vault)': { result: 'ALLOWED', reason: 'Vault read access' },
|
| 'allowed(seal_action)': { result: 'ALLOWED', reason: 'Seal generation authorized' },
|
| 'denied(clear_vault_without_confirmation)': { result: 'DENIED', reason: 'Requires user confirmation' },
|
| 'denied(remote_execution)': { result: 'DENIED', reason: 'Remote execution forbidden' },
|
| 'denied(eval_javascript)': { result: 'DENIED', reason: 'Arbitrary JS eval forbidden' },
|
| 'requires_seal(agent_action)': { result: 'REQUIRES_SEAL', reason: 'Agent actions must be sealed' },
|
| 'requires_seal(debate_output)': { result: 'REQUIRES_SEAL', reason: 'Debate output must be sealed' },
|
| 'requires_seal(vault_mutation)': { result: 'REQUIRES_SEAL', reason: 'Vault changes must be sealed' },
|
| 'requires_trust(boot)': { result: 'REQUIRES_TRUST', reason: 'Boot requires trust gate' },
|
| 'requires_trust(debate)': { result: 'REQUIRES_TRUST', reason: 'Debate requires trust gate' },
|
| 'allowed(export_snapshot)': { result: 'ALLOWED', reason: 'Export authorized' },
|
| 'allowed(lisp_eval_safe)': { result: 'ALLOWED', reason: 'Safe Lisp evaluation' },
|
| 'denied(lisp_eval_unsafe)': { result: 'DENIED', reason: 'Unsafe Lisp form rejected' },
|
| 'allowed(fontana_react)': { result: 'ALLOWED', reason: 'Symbolic reaction authorized' },
|
| 'allowed(vm_trace)': { result: 'ALLOWED', reason: 'VM trace authorized' }
|
| },
|
|
|
| ask: function(query) {
|
| query = query.trim().replace(/\.$/, '').toLowerCase();
|
| var rule = this.rules[query];
|
| if (rule) {
|
| return { query: query, result: rule.result, reason: rule.reason, provenance: 'prolog_sim' };
|
| }
|
|
|
| var m = query.match(/^(allowed|denied|requires_\w+)\((.+)\)$/);
|
| if (m) {
|
| var type = m[1];
|
| if (type === 'denied') return { query: query, result: 'DENIED', reason: 'Unknown denied rule', provenance: 'prolog_sim' };
|
| if (type.startsWith('requires_')) return { query: query, result: type.toUpperCase(), reason: 'Requires gate check', provenance: 'prolog_sim' };
|
| return { query: query, result: 'ALLOWED', reason: 'Default allow', provenance: 'prolog_sim' };
|
| }
|
| return { query: query, result: 'UNKNOWN', reason: 'No matching rule', provenance: 'prolog_sim' };
|
| },
|
|
|
| renderResult: function(r) {
|
| var cls = r.result === 'ALLOWED' ? 'l-green' : r.result === 'DENIED' ? 'l-red' : 'l-yellow';
|
| return [
|
| '╔══════════════════════════════════════╗',
|
| '║ PROLOG GATE (SIMULATED) ║',
|
| '╠══════════════════════════════════════╣',
|
| '║ QUERY: ' + r.query.padEnd(25) + '║',
|
| '║ RESULT: ' + r.result.padEnd(25) + '║',
|
| '║ REASON: ' + r.reason.substring(0, 25).padEnd(25) + '║',
|
| '╚══════════════════════════════════════╝'
|
| ].join('\n');
|
| }
|
| };
|
|
|
