ProphetGang/formal_symbol_language

Publication package for FSL, a governed symbolic language for verifiable agent systems, including the governed bounded observer theorem paper, FSL specification, registry exports, and checksummed release materials.

1 best points · 1 comments · 1 Hacker News post · 1 GitHub stars · View on GitHub

Hacker News discussions

• My Name Is SiMON (1 points, 1 comments, by ProphetGang, 2026-07-08)