| var LispExpand = {
|
| expansions: {
|
| '(agent trust audit)': [
|
| '(progn',
|
| ' (let ((agent-state (agent-status)))',
|
| ' (let ((trust-score (trust-score)))',
|
| ' (let ((audit-data (audit-log)))',
|
| ' (list agent-state trust-score audit-data)))))'
|
| ].join('\n'),
|
| '(agent status)': '(agent-status)',
|
| '(trust score)': '(trust-score)',
|
| '(seal state)': '(seal-state)',
|
| '(vault count)': '(woz-vault-count)',
|
| '(boot system)': '(boot)',
|
| '(run debate topic)': '(debate topic)',
|
| '(export snapshot)': '(export-snapshot)',
|
| '(draw agent)': '(draw-agent)',
|
| '(eval expr)': '(eval expr)'
|
| },
|
|
|
| expand: function(exprStr) {
|
| var key = exprStr.toLowerCase().trim();
|
| var expansion = this.expansions[key];
|
| if (expansion) {
|
| return {
|
| input: exprStr,
|
| expansion: expansion,
|
| steps: expansion.split('\n').length,
|
| safe: true
|
| };
|
| }
|
|
|
| var parsed = SExprParser.parse(exprStr);
|
| if (parsed && Array.isArray(parsed)) {
|
| var expanded = this._expandForm(parsed);
|
| return {
|
| input: exprStr,
|
| expansion: expanded,
|
| steps: 1,
|
| safe: true
|
| };
|
| }
|
| return {
|
| input: exprStr,
|
| expansion: exprStr,
|
| steps: 1,
|
| safe: true
|
| };
|
| },
|
|
|
| _expandForm: function(form) {
|
| if (!Array.isArray(form) || form.length === 0) return SExprParser.toString(form);
|
| var op = form[0];
|
| var args = form.slice(1);
|
|
|
| if (op === '+' || op === '-' || op === '*' || op === '/') {
|
| return '(calc ' + op + ' ' + args.map(SExprParser.toString).join(' ') + ')';
|
| }
|
| if (op === 'agent-status' || op === 'trust-score' || op === 'seal-state' || op === 'woz-vault-count' || op === 'draw-agent') {
|
| return '(' + op + ')';
|
| }
|
| return SExprParser.toString(form);
|
| },
|
|
|
| render: function(r) {
|
| return [
|
| '╔══════════════════════════════════════════════════════════╗',
|
| '║ LISP EXPAND ║',
|
| '╠══════════════════════════════════════════════════════════╣',
|
| '║ INPUT: ' + r.input.padEnd(45) + '║',
|
| '║ EXPANSION: ' + r.expansion.substring(0, 45).padEnd(45) + '║',
|
| '║ STEPS: ' + String(r.steps).padEnd(45) + '║',
|
| '║ SAFE: ' + String(r.safe).padEnd(45) + '║',
|
| '╚══════════════════════════════════════════════════════════╝'
|
| ].join('\n');
|
| }
|
| };
|
|
|
