Source Inventory
Source Inventory — Batch 0 (Session 16)
This inventory maps local source pools to wiki topics, flags enrichment opportunities, and identifies missed sources and topics that need investigation in Batches 1–5.
Local Source Pools
| Source Pool | Files | Topics | Value | Provenance | Status |
|---|---|---|---|---|---|
| .github-wikis/semantic-vision | 8 .md | Neural-Symbolic (SynerGAN architecture, PLN+GAN integration, compositional models) | High | github-wiki | Batch 2 COMPLETE — SynerGAN card created: About Hyperon+Neural-Symbolic Integration+SynerGAN (ID 7213) |
| .github-wikis/PLN | 2 .md | PLN (usage guide, 12 inference rules) | High | github-wiki | Batch 2 COMPLETE — full rules list (12 rules) and PLN.Derive/PLN.QueryAPI integrated into PLN Full Core Mechanisms subcard |
| .github-wikis/metta-morph | 4 .md | MeTTa (Scheme interop, compilation, macros) | Medium | github-wiki | Batch 4 COMPLETE — Scheme/C FFI and compile! API integrated into MeTTa Full Language Stack MeTTa-Morph entry |
| das/docs | 9 .md | DAS (architecture, query engine, attention broker, CLI, database adapters) | High | repo-doc | Batch 3 COMPLETE — Query tree architecture (sources/operators/sinks), 3-step pipeline, Attention Broker Hebbian details, Query Evolution (BOA-inspired) integrated into DAS Full |
| hyperon-experimental/docs | 17 .md (4 high-value) | MeTTa (language spec, minimal MeTTa instruction set, module system, DAS setup) | High | repo-doc | Batch 1 COMPLETE — metta spec (grammar, evaluation algorithm), minimal-metta spec (instruction set, Turing completeness), modules dev doc (module system) all integrated into MeTTa Full subcards |
| MeTTa-Compiler/docs | 19 selected of 250 | ASI Chain/MeTTa-IL (Rholang integration, PathMap serialization, type system alignment, MORK special forms, threading model) | High | repo-doc | Batch 3 PARTIAL — MORK special forms (exec/coalg/lookup/rulify) integrated into MORK Full. Rholang/PathMap/threading docs remain for future enrichment of ASI Chain Full |
| mettatraining/docs | 4 .md | MeTTa Learning (51-lesson curriculum spanning Foundations→PRIMUS cognitive architectures) | High | repo-doc | Batch 1 COMPLETE — MeTTa Programming Language+Learning Resources card created (ID 7210) |
| mosesDocs | 1 high-value chapter | MOSES (combo tree data structures) | Medium | repo-doc | Batch 2 SKIPPED — chapter 1 is only a combo tree typedef; chapter 2 empty. MOSES Full already covers knob-based representation adequately |
Missed Topics — Not Yet Covered by Any Wiki Card
| Topic | Evidence | Suggested Action |
|---|---|---|
| SynerGAN / Semantic Vision | 8 detailed wiki files in .github-wikis/semantic-vision covering neural-symbolic GAN architecture with PLN integration | DONE (Batch 2) — Card created: About Hyperon+Neural-Symbolic Integration+SynerGAN (ID 7213) |
| MeTTa Learning Resources | mettatraining 51-lesson curriculum, YouTube video tutorials, project guidance | DONE (Batch 1) — Card created: MeTTa Programming Language+Learning Resources (ID 7210) |
| MeTTa-IL / GSLT Compilation Pipeline | 19 MeTTa-Compiler docs covering Rholang integration, PathMap serialization, MORK special forms, threading model | Existing coverage (ASI Chain Full, MeTTa-IL card) — enrich with concrete pipeline details from local docs |
| DAS Query Engine Architecture | das/docs conceptual documentation covers attention broker, query evolution with fitness functions | DONE (Batch 3) — Integrated into DAS Full Core Mechanisms |
| Minimal MeTTa Instruction Set | minimal-metta spec — assembly-level semantics, Turing completeness proof, comparison with MOPS | DONE (Batch 1) — Integrated into MeTTa Full Formal Foundations subcard |
Missed External Sources — Need Web Search in Batches 1–5
| Source | Expected Content | Batch |
|---|---|---|
| Ben Goertzel's blog (goertzel.org, wp.goertzel.org) | Design rationale, architectural thinking, AGI philosophy posts spanning 15+ years | All batches |
| AGI Conference (agi-conf.org, YouTube channel) | Talk recordings, papers, presentations on Hyperon components | All batches |
| Linas Vepstas's linas.org | Link Grammar design notes, sheaf theory rationale, AtomSpace architecture | Batch 4 (NLP) |
| wiki.opencog.org | Still live (last edit July 2023, no Wayback needed). Decade of design notes, component documentation, architecture decisions. Key pages: Atomspace, Hyperon:Atomspace, MeTTa, Getting_Started. Distributed AtomSpace Architecture pages marked obsolete. DEEP-READ COMPLETE (Batch A): 9 pages read (Atomspace, Hyperon:Atomspace, MeTTa, PLN, ECAN/Attention_Allocation, Pattern_Miner, OpenPsi, CogPrime_Overview, Hyperon). Enriched 5 wiki cards. | All batches — live reference. Deep-read COMPLETE. |
| metta-lang.dev | Official MeTTa documentation, tutorials, API reference. Site uses client-side JS rendering (not scrapeable). Confirmed live with /docs/learn/learn.html learning section. | Batch 1 — checked, linked in Learning Resources card |
| SingularityNET Medium (beyond what's captured) | Key articles found: "MeTTa in a Nutshell" (overview), "The Distributed Atomspace (DAS)" (architecture), "Hyperon Alpha Release" (Apr 2024 milestone), "Progress Towards BGI" (2023 review with Space API/Neural Space/NARS details), "Revolutionizing Biomedical Research with FlyBase" (Rejuve integration, 330M atoms), "TrueAGI Roadmap Review", "Calculus of Concurrency" | All batches — catalogued for reference. DEEP-READ COMPLETE (Batch C): 3 articles read. DAS article → Pattern Inverted Index + Lambda Architecture added to DAS Full. Concurrency article → rho calculus vs pi calculus reflection insight added to ASI Chain Full. FlyBase/Rejuve article → 330M atoms already in Rejuve card, no new content. "MeTTa in a Nutshell" and "BGI Progress" skipped (lower priority, cards already well-covered). |
| OpenCog YouTube channel | Historical talks, demos, architecture presentations. Official channel: @opencoghyperon. Also blog.opencog.org(OpenCog Brainwave blog, Linas Vepstas author page). | Batches 1-2 |
| hyperon.opencog.org | Official Hyperon portal with 6 research papers, community links (Discord, Telegram @TrueAGI), GitHub org link. Related orgs listed: SingularityNet, NuNet, HyperCycle. | All batches — reference |
| AGI-25 Springer proceedings | "OpenCog Hyperon: A Practical Path to Beneficial AGI and ASI" — Goertzel et al. (2025), Springer LNCS. VERIFIED DISTINCT from both the arXiv paper (2310.18318, "Framework for AGI", 2023) and the whitepaper ("Hyperon for AGI⇒ASI", 2025). The AGI-25 paper focuses on a staged roadmap (Baby→Child→Adult Hyperon→ASI). Springer LNCS vol. 16057. DOI: 10.1007/978-3-032-00686-8_18. No dedicated publication card yet. | Batch B4 — VERIFIED |
| Linas Vepstas publications | linas.org/theory/sheaves.pdf(DEEP-READram-cpu.pdf"Sheaves: A Topological Approach to Big Data"); "Graphs, Metagraphs, RAM, CPU" v2.1.1 (2023, 70pp; also TODS 2024 submission). AGI INLP Workshops 2024-2025 on Link Grammar. COMPLETE (Batch B3): read in full. Enriched AtomSpace Full with 3 formal arguments (content addressing/self-normalization, immutability necessity, jigsaw→sheaf bridge). sheaves.pdf binary not parseable by WebFetch; key content extracted from ram-cpu §10.4 instead. | Batches 1, 4. Deep-read COMPLETE. |
Ecosystem Entities — Coverage Gaps
| Entity | Evidence | Action |
|---|---|---|
| SingularityNET Foundation | Parent ecosystem for all Hyperon development. Referenced across every card. Funds core research. | DONE (Batch 5) — Ecosystem+SingularityNET (ID 7219) |
| SingularityNET Enterprise (SNET) | Commercial arm, marketplace, platform services | No dedicated wiki card. Investigate scope and relationship to Foundation |
| ASI Alliance | Merger of SingularityNET + Fetch.ai+ Ocean Protocol (withdrew Oct 2025) + CUDOS (joined Oct 2024). ASI token. Governs ASI Chain. | DONE (Batch 5) — Ecosystem+ASI Alliance (ID 7216) |
| Fetch.ai | ASI Alliance partner, autonomous agent framework | No dedicated wiki card. Investigate Hyperon integration points |
| Ocean Protocol | ASI Alliance partner, decentralized data marketplace | No dedicated wiki card. Investigate Hyperon integration points |
| NuNet | Decentralized compute marketplace, Jam Network partnership, tiered Hyperon nodes planned | DONE (Batch 5) — Ecosystem+NuNet (ID 7225) |
| Hanson Robotics | Sophia robot creator, Awakening Health JV (Grace healthcare robot), loving-ai lineage | DONE (Batch 5) — Ecosystem+Hanson Robotics (ID 7222) |
| TrueAGI | Referenced across multiple cards as development standards partner | Essentially an SNET Foundation division ("all the same guys" — Lake). GitHub org: trueagi-io. Option: dedicated Ecosystem card OR note on SingularityNET card |
| iCog Labs | Multiple repos under iCog-Labs-Dev org (MOSES, ECAN, bio, search, Galaxy) | No dedicated wiki card. Significant contributor — warrants Ecosystem card |
| SingularityDAO | AI-powered DeFi platform, SingularityNET ecosystem spinoff. DynaSets (AI-managed dynamic token baskets). $25M from LDA Capital (2022). SDAO token. singularitydao.ai | No wiki card. Medium priority — DeFi/AI integration entity in the SingularityNET ecosystem |
| Mind Children | Robotics company co-founded by Chris Kudla and Ben Goertzel. Product: Codey (MC-1) — $10K humanoid social robot for kids/classrooms/elder care. Powered by Hyperon stack (MetaMo/PRIMUS). Manufactured in South Korea. Descends from Hanson Robotics lineage. mindchildren.com, singularitynet.io/ecosystem/mind-child/ | No wiki card. High priority — active Hyperon-powered product with presentations at Hyperon Workshop |
| Genescient Inc. | Rejuve partner providing Methuselah fly data | Minor — already documented in Rejuve card, not standalone |
| F1R3FLY | MeTTaTron compiler, MeTTa-IL, Rholang runtime | Has existing wiki cards (MeTTa-IL, MeTTaTron under ASI Chain). Needs ecosystem-level framing, not new coverage |
Enrichment Flags — Existing Cards That Could Be Improved
| Card | Source | What It Adds | Priority |
|---|---|---|---|
| DAS Full | das/docs (conceptual, CLI, database adapter) | DONE (Batch 3) — Query tree architecture, Attention Broker Hebbian details, BOA-inspired evolution algorithm integrated. CLI/adapter docs remain for future enrichment. | High ✅ |
| MeTTa Full | metta spec, minimal-metta spec, modules dev doc | DONE (Batch 1) — All three docs integrated: grammar + eval algorithm → Core Mechanisms; minimal instruction set + Turing completeness + MOPS comparison → Formal Foundations; module system → Language Stack; MeTTaTron perf → Implementation Anchors | High ✅ |
| ASI Chain Full | MeTTa-Compiler/docs (Rholang integration, PathMap, type system) | Concrete compilation pipeline details, binary format spec, threading model | High |
| PLN Full | .github-wikis/PLN | DONE (Batch 2) — 12 rules + PLN.Derive/PLN.QueryAPI integrated into Core Mechanisms subcard | Medium ✅ |
| MOSES Full | mosesDocs chapter 1 | SKIPPED (Batch 2) — source too thin (typedef only). Card already adequate. | Low ✅ |
| MORK Full | MeTTa-Compiler MORK special forms doc | exec/coalg/lookup/rulify special forms with conjunction semantics | Medium |
Â
Â