expand_less
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 PoolFilesTopicsValueProvenanceStatus
.github-wikis/semantic-vision8 .mdNeural-Symbolic (SynerGAN architecture, PLN+GAN integration, compositional models)Highgithub-wikiBatch 2 COMPLETE — SynerGAN card created: About Hyperon+Neural-Symbolic Integration+SynerGAN (ID 7213)
.github-wikis/PLN2 .mdPLN (usage guide, 12 inference rules)Highgithub-wikiBatch 2 COMPLETE — full rules list (12 rules) and PLN.Derive/PLN.Query API integrated into PLN Full Core Mechanisms subcard
.github-wikis/metta-morph4 .mdMeTTa (Scheme interop, compilation, macros)Mediumgithub-wikiBatch 4 COMPLETE — Scheme/C FFI and compile! API integrated into MeTTa Full Language Stack MeTTa-Morph entry
das/docs9 .mdDAS (architecture, query engine, attention broker, CLI, database adapters)Highrepo-docBatch 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/docs17 .md (4 high-value)MeTTa (language spec, minimal MeTTa instruction set, module system, DAS setup)Highrepo-docBatch 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/docs19 selected of 250ASI Chain/MeTTa-IL (Rholang integration, PathMap serialization, type system alignment, MORK special forms, threading model)Highrepo-docBatch 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/docs4 .mdMeTTa Learning (51-lesson curriculum spanning Foundations→PRIMUS cognitive architectures)Highrepo-docBatch 1 COMPLETE — MeTTa Programming Language+Learning Resources card created (ID 7210)
mosesDocs1 high-value chapterMOSES (combo tree data structures)Mediumrepo-docBatch 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
TopicEvidenceSuggested Action
SynerGAN / Semantic Vision8 detailed wiki files in .github-wikis/semantic-vision covering neural-symbolic GAN architecture with PLN integrationDONE (Batch 2) — Card created: About Hyperon+Neural-Symbolic Integration+SynerGAN (ID 7213)
MeTTa Learning Resourcesmettatraining 51-lesson curriculum, YouTube video tutorials, project guidanceDONE (Batch 1) — Card created: MeTTa Programming Language+Learning Resources (ID 7210)
MeTTa-IL / GSLT Compilation Pipeline19 MeTTa-Compiler docs covering Rholang integration, PathMap serialization, MORK special forms, threading modelExisting coverage (ASI Chain Full, MeTTa-IL card) — enrich with concrete pipeline details from local docs
DAS Query Engine Architecturedas/docs conceptual documentation covers attention broker, query evolution with fitness functionsDONE (Batch 3) — Integrated into DAS Full Core Mechanisms
Minimal MeTTa Instruction Setminimal-metta spec — assembly-level semantics, Turing completeness proof, comparison with MOPSDONE (Batch 1) — Integrated into MeTTa Full Formal Foundations subcard
Missed External Sources — Need Web Search in Batches 1–5
SourceExpected ContentBatch
Ben Goertzel's blog (goertzel.org, wp.goertzel.org)Design rationale, architectural thinking, AGI philosophy posts spanning 15+ yearsAll batches
AGI Conference (agi-conf.org, YouTube channel)Talk recordings, papers, presentations on Hyperon componentsAll batches
Linas Vepstas's linas.orgLink Grammar design notes, sheaf theory rationale, AtomSpace architectureBatch 4 (NLP)
wiki.opencog.orgStill 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 — livereferencereference. Deep-read COMPLETE.
metta-lang.devOfficial 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
OpenCog YouTube channelHistorical talks, demos, architecture presentations. Official channel: @opencoghyperon. Also blog.opencog.org (OpenCog Brainwave blog, Linas Vepstas author page).Batches 1-2
hyperon.opencog.orgOfficial 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. Likely the published version of the "Hyperon Whitepaper." DOI: 10.1007/978-3-032-00686-8_18Batch 1 — verify if same as cited whitepaper
Linas Vepstas publicationslinas.org/theory/sheaves.pdf ("Sheaves: A Topological Approach to Big Data"); "Graphs, Metagraphs, RAM, CPU" (2023 OpenCog Technical Report). AGI INLP Workshops 2024-2025 on Link Grammar.Batches 1, 4
Ecosystem Entities — Coverage Gaps
EntityEvidenceAction
SingularityNET FoundationParent 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 servicesNo dedicated wiki card. Investigate scope and relationship to Foundation
ASI AllianceMerger 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.aiASI Alliance partner, autonomous agent frameworkNo dedicated wiki card. Investigate Hyperon integration points
Ocean ProtocolASI Alliance partner, decentralized data marketplaceNo dedicated wiki card. Investigate Hyperon integration points
NuNetDecentralized compute marketplace, Jam Network partnership, tiered Hyperon nodes plannedDONE (Batch 5) — Ecosystem+NuNet (ID 7225)
Hanson RoboticsSophia robot creator, Awakening Health JV (Grace healthcare robot), loving-ai lineageDONE (Batch 5) — Ecosystem+Hanson Robotics (ID 7222)
TrueAGIReferenced across multiple cards as development standards partnerHas wiki presence in existing card references. Investigate — separate entity or SNet division? May need dedicated framing
iCog LabsMultiple repos under iCog-Labs-Dev org (MOSES, ECAN, bio, search, Galaxy)No dedicated wiki card. Significant contributor — warrants Ecosystem card
Genescient Inc.Rejuve partner providing Methuselah fly dataMinor — already documented in Rejuve card, not standalone
F1R3FLYMeTTaTron compiler, MeTTa-IL, Rholang runtimeHas existing wiki cards (MeTTa-IL, MeTTaTron under ASI Chain). Needs ecosystem-level framing, not new coverage
Enrichment Flags — Existing Cards That Could Be Improved
CardSourceWhat It AddsPriority
DAS Fulldas/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 Fullmetta spec, minimal-metta spec, modules dev docDONE (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 AnchorsHigh ✅
ASI Chain FullMeTTa-Compiler/docs (Rholang integration, PathMap, type system)Concrete compilation pipeline details, binary format spec, threading modelHigh
PLN Full.github-wikis/PLNDONE (Batch 2) — 12 rules + PLN.Derive/PLN.Query API integrated into Core Mechanisms subcardMedium ✅
MOSES FullmosesDocs chapter 1SKIPPED (Batch 2) — source too thin (typedef only). Card already adequate.Low ✅
MORK FullMeTTa-Compiler MORK special forms docexec/coalg/lookup/rulify special forms with conjunction semanticsMedium
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 PoolFilesTopicsValueProvenanceStatus
.github-wikis/semantic-vision8 .mdNeural-Symbolic (SynerGAN architecture, PLN+GAN integration, compositional models)Highgithub-wikiBatch 2 COMPLETE — SynerGAN card created: About Hyperon+Neural-Symbolic Integration+SynerGAN (ID 7213)
.github-wikis/PLN2 .mdPLN (usage guide, 12 inference rules)Highgithub-wikiBatch 2 COMPLETE — full rules list (12 rules) and PLN.Derive/PLN.Query API integrated into PLN Full Core Mechanisms subcard
.github-wikis/metta-morph4 .mdMeTTa (Scheme interop, compilation, macros)Mediumgithub-wikiBatch 4 COMPLETE — Scheme/C FFI and compile! API integrated into MeTTa Full Language Stack MeTTa-Morph entry
das/docs9 .mdDAS (architecture, query engine, attention broker, CLI, database adapters)Highrepo-docBatch 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/docs17 .md (4 high-value)MeTTa (language spec, minimal MeTTa instruction set, module system, DAS setup)Highrepo-docBatch 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/docs19 selected of 250ASI Chain/MeTTa-IL (Rholang integration, PathMap serialization, type system alignment, MORK special forms, threading model)Highrepo-docBatch 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/docs4 .mdMeTTa Learning (51-lesson curriculum spanning Foundations→PRIMUS cognitive architectures)Highrepo-docBatch 1 COMPLETE — MeTTa Programming Language+Learning Resources card created (ID 7210)
mosesDocs1 high-value chapterMOSES (combo tree data structures)Mediumrepo-docBatch 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
TopicEvidenceSuggested Action
SynerGAN / Semantic Vision8 detailed wiki files in .github-wikis/semantic-vision covering neural-symbolic GAN architecture with PLN integrationDONE (Batch 2) — Card created: About Hyperon+Neural-Symbolic Integration+SynerGAN (ID 7213)
MeTTa Learning Resourcesmettatraining 51-lesson curriculum, YouTube video tutorials, project guidanceDONE (Batch 1) — Card created: MeTTa Programming Language+Learning Resources (ID 7210)
MeTTa-IL / GSLT Compilation Pipeline19 MeTTa-Compiler docs covering Rholang integration, PathMap serialization, MORK special forms, threading modelExisting coverage (ASI Chain Full, MeTTa-IL card) — enrich with concrete pipeline details from local docs
DAS Query Engine Architecturedas/docs conceptual documentation covers attention broker, query evolution with fitness functionsDONE (Batch 3) — Integrated into DAS Full Core Mechanisms
Minimal MeTTa Instruction Setminimal-metta spec — assembly-level semantics, Turing completeness proof, comparison with MOPSDONE (Batch 1) — Integrated into MeTTa Full Formal Foundations subcard
Missed External Sources — Need Web Search in Batches 1–5
SourceExpected ContentBatch
Ben Goertzel's blog (goertzel.org, wp.goertzel.org)Design rationale, architectural thinking, AGI philosophy posts spanning 15+ yearsAll batches
AGI Conference (agi-conf.org, YouTube channel)Talk recordings, papers, presentations on Hyperon componentsAll batches
Linas Vepstas's linas.orgLink Grammar design notes, sheaf theory rationale, AtomSpace architectureBatch 4 (NLP)
wiki.opencog.orgStill 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
metta-lang.devOfficial 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
OpenCog YouTube channelHistorical talks, demos, architecture presentations. Official channel: @opencoghyperon. Also blog.opencog.org (OpenCog Brainwave blog, Linas Vepstas author page).Batches 1-2
hyperon.opencog.orgOfficial 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. Likely the published version of the "Hyperon Whitepaper." DOI: 10.1007/978-3-032-00686-8_18Batch 1 — verify if same as cited whitepaper
Linas Vepstas publicationslinas.org/theory/sheaves.pdf ("Sheaves: A Topological Approach to Big Data"); "Graphs, Metagraphs, RAM, CPU" (2023 OpenCog Technical Report). AGI INLP Workshops 2024-2025 on Link Grammar.Batches 1, 4
Ecosystem Entities — Coverage Gaps
EntityEvidenceAction
SingularityNET FoundationParent 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 servicesNo dedicated wiki card. Investigate scope and relationship to Foundation
ASI AllianceMerger 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.aiASI Alliance partner, autonomous agent frameworkNo dedicated wiki card. Investigate Hyperon integration points
Ocean ProtocolASI Alliance partner, decentralized data marketplaceNo dedicated wiki card. Investigate Hyperon integration points
NuNetDecentralized compute marketplace, Jam Network partnership, tiered Hyperon nodes plannedDONE (Batch 5) — Ecosystem+NuNet (ID 7225)
Hanson RoboticsSophia robot creator, Awakening Health JV (Grace healthcare robot), loving-ai lineageDONE (Batch 5) — Ecosystem+Hanson Robotics (ID 7222)
TrueAGIReferenced across multiple cards as development standards partnerHas wiki presence in existing card references. Investigate — separate entity or SNet division? May need dedicated framing
iCog LabsMultiple repos under iCog-Labs-Dev org (MOSES, ECAN, bio, search, Galaxy)No dedicated wiki card. Significant contributor — warrants Ecosystem card
Genescient Inc.Rejuve partner providing Methuselah fly dataMinor — already documented in Rejuve card, not standalone
F1R3FLYMeTTaTron compiler, MeTTa-IL, Rholang runtimeHas existing wiki cards (MeTTa-IL, MeTTaTron under ASI Chain). Needs ecosystem-level framing, not new coverage
Enrichment Flags — Existing Cards That Could Be Improved
CardSourceWhat It AddsPriority
DAS Fulldas/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 Fullmetta spec, minimal-metta spec, modules dev docDONE (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 AnchorsHigh ✅
ASI Chain FullMeTTa-Compiler/docs (Rholang integration, PathMap, type system)Concrete compilation pipeline details, binary format spec, threading modelHigh
PLN Full.github-wikis/PLNDONE (Batch 2) — 12 rules + PLN.Derive/PLN.Query API integrated into Core Mechanisms subcardMedium ✅
MOSES FullmosesDocs chapter 1SKIPPED (Batch 2) — source too thin (typedef only). Card already adequate.Low ✅
MORK FullMeTTa-Compiler MORK special forms docexec/coalg/lookup/rulify special forms with conjunction semanticsMedium