KB ATLAS

Machine-grown, proof-checked knowledge organisms — compiled, reviewed, merged, and published by an autonomous factory. Every region below was admitted through a Prolog consistency gate; every module is a valid Claude Code plugin with its knowledge as plain JSONL and OWL/Turtle. Free. Sitting here. Running full auto.
combined floor: all modules, one graph

concurrency-synchronization-primitives-a-module

concurrency synchronization primitives and memory models — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 407

concepts 407 · certificates 0 · skills 56

graph · repo

database-transaction-isolation-and-concu-module

database transaction isolation and concurrency control — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 280 co

concepts 280 · certificates 0 · skills 37

graph · repo

distributed-consensus-and-replication-pr-module

distributed consensus and replication protocols — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 196 concepts.

concepts 196 · certificates 0 · skills 28

graph · repo

enterprise-integration-patterns-module

enterprise integration patterns — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 154 concepts.

concepts 154 · certificates 0 · skills 30

graph · repo

git-internals-and-the-object-model-module

git internals and the object model — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 162 concepts.

concepts 162 · certificates 0 · skills 25

graph · repo

knowledge-graphs-and-ontologies-module

knowledge graphs and ontologies — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 177 concepts.

concepts 177 · certificates 0 · skills 9

graph · repo

llm-memory-and-context-engineering-module

llm memory and context engineering — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 438 concepts.

concepts 438 · certificates 0 · skills 25

graph · repo

oauth-2-0-and-openid-connect-module

oauth 2 0 and openid connect — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 174 concepts.

concepts 174 · certificates 0 · skills 25

graph · repo

personal-knowledge-management-and-the-se-module

personal knowledge management and the second brain — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 161 concep

concepts 161 · certificates 0 · skills 25

graph · repo

refactoring-catalog-and-code-smells-module

refactoring catalog and code smells — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 183 concepts.

concepts 183 · certificates 0 · skills 23

graph · repo

resilience-and-reliability-engineering-p-module

resilience and reliability engineering patterns — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 118 concepts.

concepts 118 · certificates 0 · skills 11

graph · repo

retrieval-augmented-generation-architect-module

retrieval augmented generation architecture patterns — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 207 conc

concepts 207 · certificates 0 · skills 26

graph · repo

software-architecture-patterns-and-style-module

software architecture patterns and styles — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 211 concepts.

concepts 211 · certificates 0 · skills 30

graph · repo

software-design-patterns-module

software design patterns — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 211 concepts.

concepts 211 · certificates 0 · skills 12

graph · repo

sourdough-baking-module

sourdough baking — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 630 concepts.

concepts 630 · certificates 0 · skills 58

graph · repo

type-systems-for-working-programmers-module

type systems for working programmers — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 242 concepts.

concepts 242 · certificates 0 · skills 25

graph · repo

vector-databases-and-embeddings-module

vector databases and embeddings — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 262 concepts.

concepts 262 · certificates 0 · skills 30

graph · repo

restaurants-module

restaurants — a cultivated, proof-checked neurosymbolic knowledge module: RAG library, agent brain, growable KB, factory-deepened. 2849 concepts.

concepts 2849 · certificates 49 · skills 86

graph · repo

CANDIDATE BRIDGES

atoms sharing a name across modules — surfaced as candidates, never claimed as identity (same word ≠ same concept until proven)
eventual consistency ↔ distributed_consensus_and_replication_pr · resilience_and_reliability_engineering_p · software_architecture_patterns_and_style · software_design_patterns
consistency ↔ database_transaction_isolation_and_concu · distributed_consensus_and_replication_pr · knowledge_graphs_and_ontologies
leader election ↔ distributed_consensus_and_replication_pr · resilience_and_reliability_engineering_p · software_design_patterns
event driven architecture ↔ enterprise_integration_patterns · software_architecture_patterns_and_style · software_design_patterns
load balancer ↔ enterprise_integration_patterns · resilience_and_reliability_engineering_p · software_design_patterns
knowledge graph ↔ knowledge_graphs_and_ontologies · llm_memory_and_context_engineering · personal_knowledge_management_and_the_se
working memory ↔ llm_memory_and_context_engineering · personal_knowledge_management_and_the_se · retrieval_augmented_generation_architect
vector database ↔ llm_memory_and_context_engineering · retrieval_augmented_generation_architect · vector_databases_and_embeddings
embedding model ↔ llm_memory_and_context_engineering · retrieval_augmented_generation_architect · vector_databases_and_embeddings
approximate nearest neighbor ↔ llm_memory_and_context_engineering · retrieval_augmented_generation_architect · vector_databases_and_embeddings
dead letter queue ↔ resilience_and_reliability_engineering_p · software_architecture_patterns_and_style · software_design_patterns
event sourcing ↔ resilience_and_reliability_engineering_p · software_architecture_patterns_and_style · software_design_patterns
exponential backoff ↔ concurrency_synchronization_primitives_a · resilience_and_reliability_engineering_p
jitter ↔ concurrency_synchronization_primitives_a · resilience_and_reliability_engineering_p
lock release ↔ concurrency_synchronization_primitives_a · database_transaction_isolation_and_concu
commit ↔ database_transaction_isolation_and_concu · distributed_consensus_and_replication_pr
acid properties ↔ database_transaction_isolation_and_concu · software_architecture_patterns_and_style
compensation action ↔ database_transaction_isolation_and_concu · resilience_and_reliability_engineering_p
quorum ↔ distributed_consensus_and_replication_pr · resilience_and_reliability_engineering_p
state machine replication ↔ distributed_consensus_and_replication_pr · resilience_and_reliability_engineering_p
availability ↔ distributed_consensus_and_replication_pr · software_architecture_patterns_and_style
redundancy ↔ distributed_consensus_and_replication_pr · resilience_and_reliability_engineering_p
at least once delivery ↔ distributed_consensus_and_replication_pr · enterprise_integration_patterns
at most once delivery ↔ distributed_consensus_and_replication_pr · enterprise_integration_patterns
cap theorem ↔ distributed_consensus_and_replication_pr · resilience_and_reliability_engineering_p
failover ↔ distributed_consensus_and_replication_pr · resilience_and_reliability_engineering_p
fault tolerance ↔ distributed_consensus_and_replication_pr · resilience_and_reliability_engineering_p
heartbeat ↔ distributed_consensus_and_replication_pr · resilience_and_reliability_engineering_p
two phase commit ↔ distributed_consensus_and_replication_pr · software_architecture_patterns_and_style
distributed transaction ↔ distributed_consensus_and_replication_pr · software_architecture_patterns_and_style
circuit breaker ↔ enterprise_integration_patterns · resilience_and_reliability_engineering_p
idempotency key ↔ enterprise_integration_patterns · resilience_and_reliability_engineering_p
class ↔ knowledge_graphs_and_ontologies · refactoring_catalog_and_code_smells
constraint ↔ knowledge_graphs_and_ontologies · type_systems_for_working_programmers
knowledge base ↔ knowledge_graphs_and_ontologies · personal_knowledge_management_and_the_se
long term memory ↔ llm_memory_and_context_engineering · personal_knowledge_management_and_the_se
retrieval augmented generation ↔ llm_memory_and_context_engineering · retrieval_augmented_generation_architect
chunking strategy ↔ llm_memory_and_context_engineering · retrieval_augmented_generation_architect
memory consolidation ↔ llm_memory_and_context_engineering · retrieval_augmented_generation_architect
agentic rag ↔ llm_memory_and_context_engineering · retrieval_augmented_generation_architect