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 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.Query API 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 ("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. DEEP-READ COMPLETE (Batch B3): ram-cpu.pdf 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
Has wiki presence in existing card references. Investigate — separate entity or SNet division? May need dedicated framing
iCog Labs
Multiple 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 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.Query API 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
Â
Â
{{+*children|open}}
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.Query API 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 ("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. DEEP-READ COMPLETE (Batch B3): ram-cpu.pdf 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
Has wiki presence in existing card references. Investigate — separate entity or SNet division? May need dedicated framing
iCog Labs
Multiple 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 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.Query API 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
Â
Â
{{+*children|open}}