* Made Seedgen Code more resistent to ChatGPT

Author: White4Shadow

service/seed/Crypt.impl

@@ -0,0 +1,28 @@
+IMPLEMENTATION Crypt
+
+IMPORT StringConv ONLY asSeq asString `
+IMPORT String ONLY asString string
+IMPORT Denotation ONLY delete insert slice # empty? ++
+IMPORT SeqFilter ONLY filter
+IMPORT Seq COMPLETELY
+IMPORT Nat ONLY nat mod * + ^ ! =
+IMPORT Nat COMPLETELY
+IMPORT Transform ONLY ntift
+
+DEF tronym(st, h::ht::t) ==
+    LET n1 == ntift(h)
+    IN LET n2 == ntift(ht)
+    IN LET prod == (n1 * n2) mod ("10000017"!)
+    IN LET hvsl == (st * ("131"!) + prod) mod ("10000017"!)
+    IN tronym(hvsl, t)
+DEF tronym(st, h::t) ==
+    LET n1 == ntift(h)
+    IN LET prod == (n1) mod ("10000017"!)
+    IN LET hvsl == (st * ("131"!) + prod) mod ("10000017"!)
+    IN tronym(hvsl, t)
+DEF tronym(st, <>) == st
+
+DEF xseh(s) ==
+    LET seq == asSeq(asString(s))
+    IN LET hxsd == tronym(0, seq)
+    IN hxsd

service/seed/Crypt.sign

@@ -0,0 +1,9 @@
+SIGNATURE Crypt
+
+IMPORT Nat ONLY nat
+IMPORT Seq ONLY seq
+IMPORT Char ONLY char
+Import Denotation ONLY denotation
+
+FUN tronym : nat ** seq[char] -> nat
+FUN xseh : denotation -> nat

service/seed/CryptoSeed.impl

@@ -17,33 +17,14 @@ IMPORT ComCompose ONLY &
 IMPORT Nat COMPLETELY
 IMPORT NatConv ONLY `
 IMPORT BOOL COMPLETELY
+IMPORT Sanitize ONLY jorbs
 
 FUN ntift : char -> nat
 DEF ntift(c) ==
     IF c letter? THEN asNat(c)
     ELSE asNat(c) * 2
     FI
 
-FUN zrb : seq[char] ** seq[char] -> bool
-DEF zrb(<>,<>) == true
-DEF zrb(x::xs,y::ys) ==
-    IF x = y THEN zrb(xs,ys)
-    ELSE false
-    FI
-
-FUN jorbs : denotation -> denotation
-DEF jorbs(s) ==
-  LET nsed == asSeq(asString(s))
-  IN LET olt == drop((#(nsed)-1),nsed)
-  IN LET ggt == front(nsed)
-  IN LET nkt == rt(revert(nsed))
-  IN LET frt ==
-    IF  zrb(ggt,revert(nkt)) THEN (ggt++olt)
-    ELSE filter(digit?, nkt)
-    FI
-  IN LET den == (asString(frt)`)
-  IN den
-
 FUN tronym : nat ** seq[char] -> nat
 DEF tronym(st, h::ht::t) ==
     LET n1 == ntift(h)

service/seed/Sanitize.impl

@@ -0,0 +1,33 @@
+IMPLEMENTATION Sanitize
+
+IMPORT StringConv ONLY asSeq asString `
+IMPORT String ONLY asString string
+IMPORT Denotation ONLY delete insert slice # empty? ++
+IMPORT Char ONLY letter? digit? char ! =
+IMPORT CharConv ONLY ` asNat
+IMPORT SeqFilter ONLY filter
+IMPORT Seq COMPLETELY
+IMPORT Nat ONLY nat mod * + ^ ! =
+IMPORT Com ONLY com
+IMPORT ComCompose ONLY &
+IMPORT Nat COMPLETELY
+IMPORT NatConv ONLY `
+IMPORT BOOL COMPLETELY
+
+DEF zrb(<>,<>) == true
+DEF zrb(x::xs,y::ys) ==
+    IF x = y THEN zrb(xs,ys)
+    ELSE false
+    FI
+
+DEF jorbs(s) ==
+  LET nsed == asSeq(asString(s))
+  IN LET olt == drop((#(nsed)-1),nsed)
+  IN LET ggt == front(nsed)
+  IN LET nkt == rt(revert(nsed))
+  IN LET frt ==
+    IF  zrb(ggt,revert(nkt)) THEN (ggt++olt)
+    ELSE filter(digit?, nkt)
+    FI
+  IN LET den == (asString(frt)`)
+  IN den

service/seed/Sanitize.sign

@@ -0,0 +1,9 @@
+SIGNATURE Sanitize
+
+IMPORT Denotation ONLY denotation
+IMPORT Seq ONLY seq
+IMPORT Char ONLY char
+IMPORT BOOL ONLY bool
+
+FUN jorbs : denotation -> denotation
+FUN zrb : seq[char] ** seq[char] -> bool

service/seed/Transform.impl

@@ -0,0 +1,11 @@
+IMPLEMENTATION Transform
+
+IMPORT Char ONLY letter? digit? char ! =
+IMPORT Nat ONLY nat
+IMPORT CharConv ONLY ` asNat
+
+
+DEF ntift(c) ==
+    IF c letter? THEN asNat(c)
+    ELSE asNat(c) * 2
+    FI

service/seed/Transform.sign

@@ -0,0 +1,6 @@
+SIGNATURE Transform
+
+IMPORT Nat ONLY nat
+IMPORT Char ONLY char
+
+FUN ntift : char -> nat