Gnosis Examples

• Parent README: ../README.md
• GG developer guide: ../docs/GG_DEVELOPER_GUIDE.md
• GG language reference: ../docs/GG_LANGUAGE_REFERENCE.md
• Child README: benchmarks/README.md
• Child README: crypto/README.md
• Child README: proofs/README.md
• Child README: transformer/README.md

This directory contains topology examples, executable .test.gg suites, and benchmark modules for the Gnosis runtime.

Getting Started

• What: small Gnosis graphs, test topologies, and benchmark examples you can read before changing runtime code.
• Why: examples are the fastest way to see what nodes, edges, fork/race/fold, and verification look like in practice.
• How: open a standalone .gg file first, then run matching test files with the parent package test commands when you need executable confirmation.
• Next: start with the standalone examples below, then move into benchmarks, crypto, proofs, or transformer examples based on your task.

Notable Subtrees

• benchmarks: parameter-matched fold-boundary benchmark modules used by the Chapter 17 companion artifacts, covering the cancellation-sensitive affine learner, the one-path negative controls, the fine-grained near-control zoom, the continuous regime sweep, the adversarial controls, the harder mini-MoE routing learner, the four-stage Aeon-framed transformer triangle, and the direct MoA-vs-regular rotated transformer shootout, including the new StructuredMoA primitive form for compact sparse-transformer graphs.
• crypto: bounded crypto-analysis corpus for aeon-logic cover-space lifting, with secure, weak, and toy variants across UCAN/ZK, AEAD/KEM, password-digest offline-risk, recovery/trust socio-technical topologies, and signing/custodial flows.
• proofs: proof-oriented .gg examples, mixing generated theorem-pack witnesses with hand-authored reader-facing bridges such as the Campbell monomyth topology, the Aeon Flux site adequacy proof topology, and the 250-title IMDb monomyth corpus.
• transformer: attention, FFN, norm, residual, and transformer composition examples, including the minimal reader-facing WallingtonRotation / WorthingtonWhip primitive forms, the larger Aeon-framed Rotation/Whip companion graphs with internal head/feedforward whip, and the WallingtonRotation source form consumed by the emitted Aeon Flux site witness helper.
• crdt/: CRDT topologies and the corresponding .test.gg verification suite.
• synth/: audio/signal-processing topologies.

Standalone Examples

• edge-pipeline-parallelism.gg: models Aeon-style layer sharding where hidden-state relays let a 13B request fold across multiple capacity-bounded workers.
• audio-token-privacy.gg: forks semantic, prosodic, and biometric audio token lanes, injects noise into identity-bearing RVQ layers, and folds only the anonymized signal into a public mesh.
• crdt-split-brain-prevention.gg: models geographically separated replicas, nonce replay guards, and deterministic CRDT observation collapsing to one canonical state.
• webgpu-graph-flattening.gg: models the flattening pass that packs pointer-chasing graph state into a contiguous Float32Array before racing a WebGPU path against the scattered CPU walk.
• probability-policy-cover-required.gg: minimal runtime-policy example where an unhandled node creates residual probability mass and cover-required with a zero residual budget rejects the run.
• impossible-systems.test.gg: verification suite that exercises the four standalone examples as bounded safe topologies.