giles
329b3c4903
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 29s
(:any (list c1 c2 ...)) compiles to Prolog disjunction (g1 ; g2 ; ...), completing the condition boolean algebra (AND via :when list, :not, :any). cond->goal recurses so combinators nest arbitrarily; the proof tree shows the compiled disjunction verbatim. Maps onto Prolog's control constructs rather than reimplementing boolean logic in SX. +10 tests. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
146 lines
3.8 KiB
Plaintext
146 lines
3.8 KiB
Plaintext
;; lib/mod/tests/disjunction.sx — Ext 15: disjunctive (:any) conditions.
|
|
|
|
(define mod-or-count 0)
|
|
(define mod-or-pass 0)
|
|
(define mod-or-fail 0)
|
|
(define mod-or-failures (list))
|
|
|
|
(define
|
|
mod-or-test!
|
|
(fn
|
|
(name got expected)
|
|
(begin
|
|
(set! mod-or-count (+ mod-or-count 1))
|
|
(if
|
|
(= got expected)
|
|
(set! mod-or-pass (+ mod-or-pass 1))
|
|
(begin
|
|
(set! mod-or-fail (+ mod-or-fail 1))
|
|
(append!
|
|
mod-or-failures
|
|
(str name "\n expected: " expected "\n got: " got)))))))
|
|
|
|
;; one rule, OR of two classifications → one action covers both
|
|
(define
|
|
mod-or-rules
|
|
(list
|
|
(mod/mk-rule
|
|
"spam-or-abuse-hide"
|
|
:hide (list
|
|
(list
|
|
:any (list (list :classification "spam") (list :classification "abuse")))))
|
|
(mod/mk-rule "default-keep" :keep (list))))
|
|
|
|
(define mod-or-spam (mod/mk-report "r1" "a" "b" "this is spam"))
|
|
(define mod-or-abuse (mod/mk-report "r2" "a" "b" "harassment here"))
|
|
(define mod-or-clean (mod/mk-report "r3" "a" "b" "a fine post"))
|
|
|
|
(mod-or-test!
|
|
"OR: spam branch → hide"
|
|
(get
|
|
(mod/decide-report mod-or-spam (list mod-or-spam) mod-or-rules)
|
|
:action)
|
|
"hide")
|
|
(mod-or-test!
|
|
"OR: abuse branch → hide"
|
|
(get
|
|
(mod/decide-report mod-or-abuse (list mod-or-abuse) mod-or-rules)
|
|
:action)
|
|
"hide")
|
|
(mod-or-test!
|
|
"OR: neither branch → keep"
|
|
(get
|
|
(mod/decide-report mod-or-clean (list mod-or-clean) mod-or-rules)
|
|
:action)
|
|
"keep")
|
|
|
|
;; ── goal text + proof ──
|
|
|
|
(mod-or-test!
|
|
"cond->goal :any joins with ;"
|
|
(mod/cond->goal
|
|
(list
|
|
:any (list (list :classification "spam") (list :classification "abuse")))
|
|
"Id")
|
|
"(classification(Id, spam) ; classification(Id, abuse))")
|
|
|
|
(define
|
|
mod-or-dec
|
|
(mod/decide-report mod-or-spam (list mod-or-spam) mod-or-rules))
|
|
(mod-or-test!
|
|
"OR proof goal solved"
|
|
(get (first (get (get mod-or-dec :proof) :goals)) :solved)
|
|
true)
|
|
(mod-or-test!
|
|
"OR proof goal text"
|
|
(get (first (get (get mod-or-dec :proof) :goals)) :goal)
|
|
"(classification(r1, spam) ; classification(r1, abuse))")
|
|
|
|
;; ── :any composes with :not (NOR-ish) and :attr ──
|
|
|
|
(define
|
|
mod-or-mixed-rules
|
|
(list
|
|
(mod/mk-rule
|
|
"spam-or-flagged-hide"
|
|
:hide (list
|
|
(list
|
|
:any (list (list :classification "spam") (list :attr "flagged")))))
|
|
(mod/mk-rule "default-keep" :keep (list))))
|
|
|
|
(define
|
|
mod-or-flagged
|
|
(mod/attach-attr (mod/mk-report "r4" "a" "b" "a fine post") "flagged"))
|
|
(mod-or-test!
|
|
"OR over classification|attr: flagged clean post → hide"
|
|
(get
|
|
(mod/decide-report
|
|
mod-or-flagged
|
|
(list mod-or-flagged)
|
|
mod-or-mixed-rules)
|
|
:action)
|
|
"hide")
|
|
|
|
(mod-or-test!
|
|
"cond->goal :any with :not branch"
|
|
(mod/cond->goal
|
|
(list
|
|
:any (list
|
|
(list :classification "spam")
|
|
(list :not (list :attr "verified"))))
|
|
"Id")
|
|
"(classification(Id, spam) ; not(attr(Id, verified)))")
|
|
|
|
;; AND still works alongside OR in the same :when list
|
|
(define
|
|
mod-or-and-rules
|
|
(list
|
|
(mod/mk-rule
|
|
"spam-and-not-verified"
|
|
:hide (list
|
|
(list
|
|
:any (list (list :classification "spam") (list :classification "abuse")))
|
|
(list :not (list :attr "verified"))))
|
|
(mod/mk-rule "default-keep" :keep (list))))
|
|
|
|
(define
|
|
mod-or-spam-verified
|
|
(mod/attach-attr (mod/mk-report "r5" "a" "b" "this is spam") "verified"))
|
|
(mod-or-test!
|
|
"AND of OR + NOT: verified spam → keep"
|
|
(get
|
|
(mod/decide-report
|
|
mod-or-spam-verified
|
|
(list mod-or-spam-verified)
|
|
mod-or-and-rules)
|
|
:action)
|
|
"keep")
|
|
(mod-or-test!
|
|
"AND of OR + NOT: unverified abuse → hide"
|
|
(get
|
|
(mod/decide-report mod-or-abuse (list mod-or-abuse) mod-or-and-rules)
|
|
:action)
|
|
"hide")
|
|
|
|
(define mod-disjunction-tests-run! (fn () {:failures mod-or-failures :total mod-or-count :passed mod-or-pass :failed mod-or-fail}))
|