# Algorithms — Ontology — Bane's Lab > Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a… Canonical: https://banes-lab.com/ontology/algorithms # The Ontology The ontology is a queryable canon of software architecture. It holds every principle with its relations and its repair, every term with its definition, every algorithm with its contract, the reasoning that derives them, the layers they live in and how every tension between them is resolved, and every reference from one record to another is a link. ## Algorithms ## Sections - [Agent creation](#algorithms-domain-agent-creation) - [Agent workflow](#algorithms-domain-agent-workflow) - [Anti-patterns](#algorithms-domain-anti-patterns) - [Architecture](#algorithms-domain-architecture) - [Architecture relationships](#algorithms-domain-arch-relationships) - [Architectural Clusters](#algorithms-domain-architectural-clusters) - [Architectural Rules](#algorithms-domain-architectural-rules) - [Automation](#algorithms-domain-automation) - [Centralization](#algorithms-domain-centralization) - [Checklist creation](#algorithms-domain-checklist-creation) - [Codebase verification](#algorithms-domain-codebase-verification) - [Context verification](#algorithms-domain-context-verification) - [Coordination](#algorithms-domain-coordination) - [Test coverage](#algorithms-domain-test-coverage) - [Pattern Abstract Grammar](#algorithms-domain-pag) - [Pattern distillation](#algorithms-domain-pattern-distillation) - [Living profile](#algorithms-domain-living-profile) - [Governed plan loop](#algorithms-domain-governed-plan-loop) - [Quality engine](#algorithms-domain-quality-engine) - [Mode-driven response schema](#algorithms-domain-mode-driven-response-schema) - [CSS cascade](#algorithms-domain-css-cascade) - [Taxonomy](#algorithms-domain-taxonomy) ## Agent creation Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 26 records of Agent creation](/records/algorithms-domain/agent-creation) ## Agent workflow Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 27 records of Agent workflow](/records/algorithms-domain/agent-workflow) ## Anti-patterns Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 8 records of Anti-patterns](/records/algorithms-domain/anti-patterns) ## Architecture Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 44 records of Architecture](/records/algorithms-domain/architecture) ## Architecture relationships Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 38 records of Architecture relationships](/records/algorithms-domain/arch-relationships) ## Architectural Clusters Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 22 records of Architectural Clusters](/records/algorithms-domain/architectural-clusters) ## Architectural Rules Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 47 records of Architectural Rules](/records/algorithms-domain/architectural-rules) ## Automation Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 25 records of Automation](/records/algorithms-domain/automation) ## Centralization Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 24 records of Centralization](/records/algorithms-domain/centralization) ## Checklist creation Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 39 records of Checklist creation](/records/algorithms-domain/checklist-creation) ## Codebase verification Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 22 records of Codebase verification](/records/algorithms-domain/codebase-verification) ## Context verification Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 18 records of Context verification](/records/algorithms-domain/context-verification) ## Coordination Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 4 records of Coordination](/records/algorithms-domain/coordination) ## Test coverage Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 11 records of Test coverage](/records/algorithms-domain/test-coverage) ## Pattern Abstract Grammar Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 12 records of Pattern Abstract Grammar](/records/algorithms-domain/pag) ## Pattern distillation Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 31 records of Pattern distillation](/records/algorithms-domain/pattern-distillation) ## Living profile Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 9 records of Living profile](/records/algorithms-domain/living-profile) ## Governed plan loop Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 6 records of Governed plan loop](/records/algorithms-domain/governed-plan-loop) ## Quality engine Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 8 records of Quality engine](/records/algorithms-domain/quality-engine) ## Mode-driven response schema Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 5 records of Mode-driven response schema](/records/algorithms-domain/mode-driven-response-schema) ## CSS cascade Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 10 records of CSS cascade](/records/algorithms-domain/css-cascade) ## Taxonomy Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain. [The 16 records of Taxonomy](/records/algorithms-domain/taxonomy)