File size: 1,360 Bytes
0427fad | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 | %% SnapKitty Nemotron Harness — Syscall Gate + Axiom Predicates
allowed_syscall(lean_gate).
allowed_syscall(prolog_gate).
allowed_syscall(emojicode_persona).
allowed_syscall(tavily_search).
allowed_syscall(google_search).
allowed_syscall(curl_fetch).
allowed_syscall(bash_exec).
allowed_syscall(file_read).
allowed_syscall(file_write).
allowed_syscall(build_check).
allowed_syscall(receipt_seal).
allowed_syscall(reject_untrusted).
allowed_syscall(kernel_verify).
allowed_syscall(ere_check).
allowed_syscall(worm_seal_required).
allowed_syscall(build_receipt).
allowed_syscall(reject_unsealed).
allowed_syscall(executor_mode).
requires_approval(bash_exec).
requires_approval(curl_fetch).
requires_approval(file_write).
requires_receipt(lean_gate).
requires_receipt(prolog_gate).
requires_receipt(build_check).
requires_receipt(receipt_seal).
requires_receipt(worm_seal_required).
valid_syscall(S) :- allowed_syscall(S).
valid_execution([]).
valid_execution([S|Rest]) :- valid_syscall(S), valid_execution(Rest).
%% Axiom predicates
valid_emojicode_mode(emojicode_persona) :- allowed_syscall(emojicode_persona).
strictest_path(rewrite_needed, _, _) :- true.
strictest_path(_, rejected, _) :- true.
strictest_path(_, _, approved) :- true.
binary_directive_matches(sha256) :- true.
worm_seal_required(X) :- X = test.
|