Gnosis Docs

• Parent README: ../README.md
• Start here if you are new to Gnosis: GETTING_STARTED.md
• Start here if you want to use GG: GG_DEVELOPER_GUIDE.md
• Formal surface: ../FORMAL_LEDGER.md
• Stack (gnosis / x-gnosis / x-gql): CONSUMER_STACK.md

This directory holds supporting research notes and static documentation assets. It is not the canonical home for proof assets.

Getting Started

• What: supporting docs, research notes, and reader guides for Gnosis.

• Why: it gives non-code explanations a stable home while formal proof assets stay in their canonical ledgers.

• How: start with the getting-started guide, then pick the note that matches the workflow or proof surface you are investigating.

• Next: use this as the docs index before diving into source, Lean, TLA+, or runtime directories.

• GETTING_STARTED.md: normal developer entry path for what Gnosis does, how to run the first commands, and which surface to read next.

• GG_DEVELOPER_GUIDE.md: canonical developer path for authoring, running, testing, importing, and extending GG.

• GG_LANGUAGE_REFERENCE.md: practical .gg, .test.gg, .mgg, and .gnarly syntax and pattern reference.

• GG_CLI_REFERENCE.md: gnosis, gnode, monster, validation, and docs-safe command examples.

• GG_MODULES_AND_EXTENSIONS.md: module model, public package exports, runtime/compiler/editor extension points, and cross-site links.

• GG_SURFACE_MAP.md: map of GG-facing examples, source modules, formal surfaces, package exports, and related subsites.

• CONSUMER_STACK.md: how @a0n/gnosis, @a0n/x-gnosis, and @a0n/x-gql relate for dependents.

• MARKOV_MESH_VAULT_KV.md: investigation note for a vault-backed KV replacement path, using the Markov mesh as control plane and stash/fabric storage as the data plane before eventual x-ranger integration.

• proof_of_life_intro.md: supporting note for the proof-of-life package.

• cosmic-clock.svg: static documentation asset.

• AEON_FLUX_IMPORTS.md: why Gnosis examples may import @a0n/x-gnosis/compat/hono directly and when app Workers should use @a0n/aeon-flux/compat/hono.

• ANIME_ONTOLOGY_GAP_ANALYSIS.md: compares anime-inspired ontology notes against the current Gnosis/Aeon formal-ledger contract and defines the minimum reduction needed for future promotion.

• LEAN_TRANSFORMATION_FAMILY_PLAN.md: Lean-first implementation plan for a bounded transformation-family kernel built from projection, reinforcement, and decomposition.

• CLOSED_ARCHITECTURE_RUNTIME_HANDOFF.md: agent handoff plan for applying the TrainingSaturation / VerifiedReconstruction / CosmicArchitecture / SovereignSieve proof surface to Gnosis compiler and runtime fast paths.

• RANDOMNESS.md: Lean + TypeScript map for PRNG / CSPRNG definitions, clinamen vs cryptographic seed security, and build entrypoints.

• PHYSICS_SANDBOX.md: layered Mathlib-backed classical / thermo / BH / quantum-algebra sandbox, lake build PhysicsSandbox, and TS numeric disclaimer.

• SEISMIC_STRESS_TOY.md: discrete load/threshold/slip toy in TS (@a0n/gnosis/seismic-stress-toy), Lean SeismicStressToySketch / SeismicRelaxRealSketch, ledger IDs THM-PLANETARY-SEISMIC-*, validation script.

• MATH_SANDBOX.md: Init-first math hub (pnpm run validate:lean-minimal / lake build in lean-minimal), Mathlib-debt notes, and next-phase fork plan for GreekLogicCanon integration.

• GNOSIS_MATH_DEPENDENCY_GRAPH.md: Init-only import graph for MathSandbox.

• MATH_SANDBOX_CONTRIBUTING.md: how to extend the hub without Mathlib creep.

• MATH_SANDBOX_VS_MATHLIB.md: boundaries vs Mathlib / Std.

• INIT_FIRST_MATHLIB_REPLACEMENT_ROADMAP.md: what actually needs replacing (vs core omega), tactic/library matrix, phased roadmap, verification.

• ZECKENDORF_FST_PEEL.md: Mathlib peel plan for ZeckendorfFST.lean.

• PISOT_VICKREY_PEEL.md: Mathlib notes for PisotVickreyTable.lean (Ring removed; Linarith/Nat.log/IntervalCases remain).

• THREE_ARENAS_SYNTHESIS.md: epistemological firewall (Lean Layer C / EntropyBridge), topological survival (β₁ vs drift and bottlenecks), somatic de-escalation bounds; pointers to formal ledger and Lean modules. Epilogue (full arc + Lean hooks): § Epilogue.

• TOPO_COGNITIVE_EVENT_HORIZON.md: coupled network–operator resilience ((C_B(A))), joint slack metrics, cooling-policy checkpoints, viability invariants, Lean vs Layer C split; extends the three-arena synthesis.

• SOCIO_TECHNICAL_SANDBOX.md: Lean SocioTechnicalSandbox hub (lean-minimal ArenaSocioMinimal, or heritage lake build SocioTechnicalSandbox) — coupled dynamics

  • rollback toy; links to arena docs.

• ECOLOGY_PILOT_SPEC.md: bounded ecological pilot — data contract, preregistration, non-goals.

• SBSP_REFERENCE_ARCHITECTURE.md: expository space-based solar reference (not implemented here).

• AUTONOMOUS_REMEDIATION_SECURITY.md: Arena 5 threat model, kill switches, audit log, human-out-of-loop policy.

• STUDY_GRAPH_SNAPSHOT.md: StudyGraphSnapshotV1 schema, validateStudyGraphSnapshot, evaluateStudyPublishGate, Logic Studio export; validate:study-snapshot / evaluate:study-publish-gate scripts.

• STUDY_PARTICIPANT_DATA_POLICY.md: participant/consent system of record — Dash and Knotchain (Bitwise) via Edgework; Mailgun transport-only; not Firebase/D1 for PII/response SoR.

• STUDY_FORMS_AND_PROGRESSIVE_DISCLOSURE.md: SaaS vs first-party instruments, webhooks, progressive disclosure UX.

• ARENA_MERGE_GATE.md: Phase 8 — evaluateArenaMergeGate (verification + cooling + rollback replay); tests, validate:arena-stack / validate:arena-stack-ts, CI workflow (Phase 9).

• AUTONOMOUS_MUTATION_ZERO_TRUST.md: Arena 5 — unsupervised autonomous PR: verification bundle (deterministic closure), edge quarantine subgraph, automatic rollback on spectral/SLO collapse; no trust in LLM search. Standing closure: § Standing closure.