Puggle — Pre-Verification Untrusted Grammar & Goal Linguistic Engine; isolated neurosymbolic auto-formalisation front-end for ECHIDNA. Builds bound signature ASTs under microKanren relational constraints, audits semantic round trips, and serialises a frozen handoff outside ECHIDNA's trusted computin
Shell Updated about 11 hours ago 1 commits 1 stars
nova-coder|Mirror: hyperpolymath/puggle (⭐1)
about 11 hours agoAbout
Puggle — Pre-Verification Untrusted Grammar & Goal Linguistic Engine; isolated neurosymbolic auto-formalisation front-end for ECHIDNA. Builds bound signature ASTs under microKanren relational constraints, audits semantic round trips, and serialises a frozen handoff outside ECHIDNA's trusted computin
Readme
1 stars