# Every published address for reasoning records

This leaf as JSON: https://banes-lab.com/json/api/ids/reasoning
count: 283
group: reasoning

| ref | kind | title | summary | json | markdown | bytes | fingerprint |
| --- | --- | --- | --- | --- | --- | --- | --- |
| reasoning:axis-ontology | axis | Ontology | What is it? | https://banes-lab.com/json/records/reasoning/axis-ontology | https://banes-lab.com/records/reasoning/axis-ontology.md | 28905 | 12259ad7e20432bdd8e94bde61e89fe42a8afdd54407e0fa6b59ccebfc5c200d |
| reasoning:axis-analysis | axis | Analysis | How is it to be seen? | https://banes-lab.com/json/records/reasoning/axis-analysis | https://banes-lab.com/records/reasoning/axis-analysis.md | 24762 | cd08f6eadb5d4a60f527f9e4b709fa01ca3a710fd4303439421c338b59281001 |
| reasoning:axis-reasoning | axis | Reasoning | Why, and what follows? | https://banes-lab.com/json/records/reasoning/axis-reasoning | https://banes-lab.com/records/reasoning/axis-reasoning.md | 33362 | 3fede7cc47d8e889a4c72492edc8cb21451653f7e157c0cfe3789d144bd9af8e |
| reasoning:axis-representation | axis | Representation | How is it encoded? | https://banes-lab.com/json/records/reasoning/axis-representation | https://banes-lab.com/records/reasoning/axis-representation.md | 23110 | b302eb0602fac99aa55902e0b32db60bf7df9ff8efea234a525436545e764059 |
| reasoning:axis-formalization | axis | Formalization | What does it resolve to? | https://banes-lab.com/json/records/reasoning/axis-formalization | https://banes-lab.com/records/reasoning/axis-formalization.md | 46741 | 15021a79bd37a825fe499027f7bc41ef69a99bab8a6697791c938e59d6ede7d5 |
| reasoning:axis-teleology | axis | Teleology | What is it for? | https://banes-lab.com/json/records/reasoning/axis-teleology | https://banes-lab.com/records/reasoning/axis-teleology.md | 18679 | 40cee3fbdc476ea00d5079e215eea8bd2cb6d5e4ec70964e2e1a83ce14f443c8 |
| reasoning:axis-verification | axis | Verification | Is it real? | https://banes-lab.com/json/records/reasoning/axis-verification | https://banes-lab.com/records/reasoning/axis-verification.md | 29297 | 67fcbc59bfc4a5c1e5677a507f4b57ecc62323222e9d736bf13e03f9b577fc87 |
| reasoning:axis-termination | axis | Termination | Is it done? | https://banes-lab.com/json/records/reasoning/axis-termination | https://banes-lab.com/records/reasoning/axis-termination.md | 17852 | b22840e451e4d475849713ed55b85b5cdecff3d975399a1839544a0ff1113cd0 |
| reasoning:node-ont-identity | node | Identity | This node covers the identity concept on the ontology axis. Its mathematical type is set theory. | https://banes-lab.com/json/records/reasoning/node-ont-identity | https://banes-lab.com/records/reasoning/node-ont-identity.md | 3873 | 628258b3d8cb17a394f4638dc019f02475d8ded919805ea2ad4e47cae92e76a8 |
| reasoning:node-ont-composition | node | Composition | This node covers the composition concept on the ontology axis. Its mathematical type is set theory. | https://banes-lab.com/json/records/reasoning/node-ont-composition | https://banes-lab.com/records/reasoning/node-ont-composition.md | 3458 | 51494d40035f8edfaec5c1243ec0d54f339ac96f8b21674e42afe2ce4523c724 |
| reasoning:node-ont-structure | node | Structure | This node covers the structure concept on the ontology axis. Its mathematical type is algebra. | https://banes-lab.com/json/records/reasoning/node-ont-structure | https://banes-lab.com/records/reasoning/node-ont-structure.md | 3866 | 844c898921d459b758be1d97da66e83b238322e70178a00ef2b3cac0d0b923a3 |
| reasoning:node-ont-relation | node | Relation | This node covers the relation concept on the ontology axis. Its mathematical type is graph. | https://banes-lab.com/json/records/reasoning/node-ont-relation | https://banes-lab.com/records/reasoning/node-ont-relation.md | 3819 | 91586d9992fddfdb8642686db2fc8ec677c79b2b81849281c0d4e759579f8a5f |
| reasoning:node-ont-space | node | Space | This node covers the space concept on the ontology axis. Its mathematical type is topology. | https://banes-lab.com/json/records/reasoning/node-ont-space | https://banes-lab.com/records/reasoning/node-ont-space.md | 3361 | 18ff21dbb1cd24ab862d088fb1d90486ccf39ce2fe9e827d48b39cea92fb5f68 |
| reasoning:node-ont-time | node | Time | This node covers the time concept on the ontology axis. Its mathematical type is analysis. | https://banes-lab.com/json/records/reasoning/node-ont-time | https://banes-lab.com/records/reasoning/node-ont-time.md | 3341 | 52375bc74f171dcb58d9f79e1200dc2e893c01e5221d60fc096071441df3edd4 |
| reasoning:node-ont-state | node | State | This node covers the state concept on the ontology axis. Its mathematical type is set theory. | https://banes-lab.com/json/records/reasoning/node-ont-state | https://banes-lab.com/records/reasoning/node-ont-state.md | 3799 | b8d0b883dec7816cf4223c553c5ffa99748e90d36cbe804110507942cacd84e1 |
| reasoning:node-ont-change | node | Change | This node covers the change concept on the ontology axis. Its mathematical type is analysis. | https://banes-lab.com/json/records/reasoning/node-ont-change | https://banes-lab.com/records/reasoning/node-ont-change.md | 3376 | 14429e86aab1146441f7e00ba501974be9acdd8ebb02807129f08e37d3eafdf1 |
| reasoning:node-ont-behavior | node | Behavior | This node covers the behavior concept on the ontology axis. Its mathematical type is dynamical systems. | https://banes-lab.com/json/records/reasoning/node-ont-behavior | https://banes-lab.com/records/reasoning/node-ont-behavior.md | 3891 | a5bd7446a96a55dae12a2e36619b7ca58bd0e3e2915ad7b4653400b836988035 |
| reasoning:node-ont-function | node | Function | This node covers the function concept on the ontology axis. Its mathematical type is analysis. | https://banes-lab.com/json/records/reasoning/node-ont-function | https://banes-lab.com/records/reasoning/node-ont-function.md | 3396 | 0c51407e10d9ae80f4dcdf39d25e637494f4a35afa502742da1fb4829ab3de31 |
| reasoning:node-ont-cause | node | Cause | This node covers the cause concept on the ontology axis. Its mathematical type is analysis. | https://banes-lab.com/json/records/reasoning/node-ont-cause | https://banes-lab.com/records/reasoning/node-ont-cause.md | 3376 | b77595b34f9611428cf59713cc5d0b3964f06e55f7d10e8963af056ea1ede5b2 |
| reasoning:node-ont-meaning | node | Meaning | This node covers the meaning concept on the ontology axis. Its mathematical type is logic. | https://banes-lab.com/json/records/reasoning/node-ont-meaning | https://banes-lab.com/records/reasoning/node-ont-meaning.md | 3353 | 541339ce93bf09cd7ff24b9d5947151b15ebea766f3cec9c1dddef8c17aecb29 |
| reasoning:node-ont-scale | node | Scale | This node covers the scale concept on the ontology axis. Its mathematical type is topology. | https://banes-lab.com/json/records/reasoning/node-ont-scale | https://banes-lab.com/records/reasoning/node-ont-scale.md | 3391 | 0d41c890ebb1a872d54cf72ea4b6bf17ad52d5ee1555063f06bdb27e4c45e047 |
| reasoning:node-ont-probability | node | Probability | This node covers the probability concept on the ontology axis. Its mathematical type is probability. | https://banes-lab.com/json/records/reasoning/node-ont-probability | https://banes-lab.com/records/reasoning/node-ont-probability.md | 3439 | bdb3b3a509fee0d30bdf8094ec9ad94769ec1406560512abd68bac4801f9d4ba |
| reasoning:node-ont-novelty | node | Novelty | This node covers the novelty concept on the ontology axis. Its mathematical type is probability. | https://banes-lab.com/json/records/reasoning/node-ont-novelty | https://banes-lab.com/records/reasoning/node-ont-novelty.md | 4485 | a0cbe877d59c0f3554f407f34de28f936ccb7ced625e7460c64597f57efaf0a6 |
| reasoning:node-ana-structural | node | Structural Analysis | This node covers the structural concept on the analysis axis. Its mathematical type is algebra. | https://banes-lab.com/json/records/reasoning/node-ana-structural | https://banes-lab.com/records/reasoning/node-ana-structural.md | 3891 | 3d488b9c2ce999e2b5dab3d15f952c5f8e17044c89a6de29260cb6af061df779 |
| reasoning:node-ana-temporal | node | Temporal Analysis | This node covers the temporal concept on the analysis axis. Its mathematical type is analysis. | https://banes-lab.com/json/records/reasoning/node-ana-temporal | https://banes-lab.com/records/reasoning/node-ana-temporal.md | 4846 | 60986f674ee7518b40d721b70a1e0d506340c5273a64d633665e9cde2834a428 |
| reasoning:node-ana-spatial | node | Spatial Analysis | This node covers the spatial concept on the analysis axis. Its mathematical type is topology. | https://banes-lab.com/json/records/reasoning/node-ana-spatial | https://banes-lab.com/records/reasoning/node-ana-spatial.md | 2995 | 1950fd555e2a6a01b90d26760db9c852d00123a070c1405ccbb2e88da09ddaae |
| reasoning:node-ana-statistical | node | Statistical Analysis | This node covers the statistical concept on the analysis axis. Its mathematical type is probability. | https://banes-lab.com/json/records/reasoning/node-ana-statistical | https://banes-lab.com/records/reasoning/node-ana-statistical.md | 3046 | e7343686e335ef86e65f21251d2c19f5c8263ea1b16f1876b2a01a7eaed03012 |
| reasoning:node-ana-frequency | node | Frequency Analysis | This node covers the frequency concept on the analysis axis. Its mathematical type is information theory. | https://banes-lab.com/json/records/reasoning/node-ana-frequency | https://banes-lab.com/records/reasoning/node-ana-frequency.md | 3093 | b93c99cebb2db284b29998a1b9f07963f745dfa0efc472eff859001e1120abb4 |
| reasoning:node-ana-sequential | node | Sequential Analysis | This node covers the sequential concept on the analysis axis. Its mathematical type is logic. | https://banes-lab.com/json/records/reasoning/node-ana-sequential | https://banes-lab.com/records/reasoning/node-ana-sequential.md | 3982 | bab32a54380a31955522efdea0a8833e67300d6484a675bbdc049448a6bca6da |
| reasoning:node-ana-relational | node | Relational Analysis | This node covers the relational concept on the analysis axis. Its mathematical type is graph. | https://banes-lab.com/json/records/reasoning/node-ana-relational | https://banes-lab.com/records/reasoning/node-ana-relational.md | 3979 | 8b7e34fad0093e9b16296050bb55e051e22e1a736cdbf4353d720af09111d988 |
| reasoning:node-ana-behavioral | node | Behavioral Analysis | This node covers the behavioral concept on the analysis axis. Its mathematical type is dynamical systems. | https://banes-lab.com/json/records/reasoning/node-ana-behavioral | https://banes-lab.com/records/reasoning/node-ana-behavioral.md | 3084 | 3994765eec4c259aa20c0a00cc882ba15dff9310b2a5a447d9046b1f4b2a837d |
| reasoning:node-ana-functional | node | Functional Analysis | This node covers the functional concept on the analysis axis. Its mathematical type is analysis. | https://banes-lab.com/json/records/reasoning/node-ana-functional | https://banes-lab.com/records/reasoning/node-ana-functional.md | 3020 | 36ca768296f3e7f91cca6deb9b115104af6e4bd15d91cc2e293bb473b2698008 |
| reasoning:node-ana-semantic | node | Semantic Analysis | This node covers the semantic concept on the analysis axis. Its mathematical type is logic. | https://banes-lab.com/json/records/reasoning/node-ana-semantic | https://banes-lab.com/records/reasoning/node-ana-semantic.md | 3963 | bc450922a13af92571267b48e80aa64bbf025ad87dd53308304827a5abe01e4c |
| reasoning:node-ana-causal | node | Causal Analysis | This node covers the causal concept on the analysis axis. Its mathematical type is analysis. | https://banes-lab.com/json/records/reasoning/node-ana-causal | https://banes-lab.com/records/reasoning/node-ana-causal.md | 4372 | 3066709dc0b37ce2315af920b2c5589532e56afef36e347f802633ca0a82484d |
| reasoning:node-ana-predictive | node | Predictive Analysis | This node covers the predictive concept on the analysis axis. Its mathematical type is probability. | https://banes-lab.com/json/records/reasoning/node-ana-predictive | https://banes-lab.com/records/reasoning/node-ana-predictive.md | 3021 | 49ef006323e02eb62d4ae4b6d3f0c2d9819f463babdc707b850ed13eec77d835 |
| reasoning:node-ana-anomaly | node | Anomaly Analysis | This node covers the anomaly concept on the analysis axis. Its mathematical type is probability. | https://banes-lab.com/json/records/reasoning/node-ana-anomaly | https://banes-lab.com/records/reasoning/node-ana-anomaly.md | 3988 | f82e2108f72b848b3a22502ca7ed11e3c92786c6cbe136a17ca307db301941aa |
| reasoning:node-ana-evolutionary | node | Evolutionary Analysis | This node covers the evolutionary concept on the analysis axis. Its mathematical type is dynamical systems. | https://banes-lab.com/json/records/reasoning/node-ana-evolutionary | https://banes-lab.com/records/reasoning/node-ana-evolutionary.md | 3058 | d35a8f7a19f67281fa5d641ede8e2fb7c44943f6fc3170a983f7539f97b55c98 |
| reasoning:node-ana-fractal | node | Fractal Analysis | This node covers the fractal concept on the analysis axis. Its mathematical type is topology. | https://banes-lab.com/json/records/reasoning/node-ana-fractal | https://banes-lab.com/records/reasoning/node-ana-fractal.md | 3966 | 12ce2923e25e522ca6cfc064992ffab20c0e588aececabb974d717b4d6c83473 |
| reasoning:node-rea-observation | node | Observation | This node covers the observation concept on the reasoning axis. Its mathematical type is set theory. | https://banes-lab.com/json/records/reasoning/node-rea-observation | https://banes-lab.com/records/reasoning/node-rea-observation.md | 3038 | 590a9179695cc7c295279807d97c3622094b66d12ccdf0610402fb508e13b4a0 |
| reasoning:node-rea-description | node | Description | This node covers the description concept on the reasoning axis. Its mathematical type is logic. | https://banes-lab.com/json/records/reasoning/node-rea-description | https://banes-lab.com/records/reasoning/node-rea-description.md | 3014 | 9328289fda3a64758c9a706056c43d878d240f323586c0a2db043fd8c8091411 |
| reasoning:node-rea-comparison | node | Comparison | This node covers the comparison concept on the reasoning axis. Its mathematical type is logic. | https://banes-lab.com/json/records/reasoning/node-rea-comparison | https://banes-lab.com/records/reasoning/node-rea-comparison.md | 3024 | 261f0949009df8d4794cde6c44cf085a51f99eed406ad5b4b183731eff2697df |
| reasoning:node-rea-classification | node | Classification | This node covers the classification concept on the reasoning axis. Its mathematical type is set theory. | https://banes-lab.com/json/records/reasoning/node-rea-classification | https://banes-lab.com/records/reasoning/node-rea-classification.md | 3074 | cd4b4e5276842dfd39990495c4e8041b47a295e51503d89421d9f80e1da0a362 |
| reasoning:node-rea-explanation | node | Explanation | This node covers the explanation concept on the reasoning axis. Its mathematical type is analysis. | https://banes-lab.com/json/records/reasoning/node-rea-explanation | https://banes-lab.com/records/reasoning/node-rea-explanation.md | 3047 | a8ff2b81a6a11e213d883ab7b145cc7ada9afd6d3b2d41d89d638b50d9749ed2 |
| reasoning:node-rea-prediction | node | Prediction | This node covers the prediction concept on the reasoning axis. Its mathematical type is probability. | https://banes-lab.com/json/records/reasoning/node-rea-prediction | https://banes-lab.com/records/reasoning/node-rea-prediction.md | 3050 | e09d7541ded2b77f14e724df07daf2eff53cf9b923a1321195aaff57a9f4a3b9 |
| reasoning:node-rea-intervention | node | Intervention | This node covers the intervention concept on the reasoning axis. Its mathematical type is analysis. | https://banes-lab.com/json/records/reasoning/node-rea-intervention | https://banes-lab.com/records/reasoning/node-rea-intervention.md | 3027 | 79c5bfd0f49a05ab3257fcb17dc0190847272fd12af5c8935593d51b515b6b1b |
| reasoning:node-rea-creation | node | Creation | This node covers the creation concept on the reasoning axis. Its mathematical type is computation. | https://banes-lab.com/json/records/reasoning/node-rea-creation | https://banes-lab.com/records/reasoning/node-rea-creation.md | 3025 | e3cb5985d46e9e0484f1629aa2e84ec01c8f23abf08030efecb92048460988c4 |
| reasoning:node-rea-reflection | node | Reflection | This node covers the reflection concept on the reasoning axis. Its mathematical type is topology. | https://banes-lab.com/json/records/reasoning/node-rea-reflection | https://banes-lab.com/records/reasoning/node-rea-reflection.md | 3012 | 91aace501e27cf05362f89e3f3ea4528d742cd1113a3a3c359cdfc4da0ad8a8a |
| reasoning:node-rep-symbolic | node | Symbolic Representation | Is it encoded as equations or notation? | https://banes-lab.com/json/records/reasoning/node-rep-symbolic | https://banes-lab.com/records/reasoning/node-rep-symbolic.md | 3026 | 83ca107c7acbd81cef98c7b0ca90e2ef3882f3dde4373bf56aa684a3406632ce |
| reasoning:node-rep-numerical | node | Numerical Representation | Is it encoded as quantities? | https://banes-lab.com/json/records/reasoning/node-rep-numerical | https://banes-lab.com/records/reasoning/node-rep-numerical.md | 3037 | 92f62be79161eeb823649afcc64ffcacb4645f3a6149b6011774f68ecec3622b |
| reasoning:node-rep-geometric | node | Geometric Representation | Is it encoded as shapes or coordinates? | https://banes-lab.com/json/records/reasoning/node-rep-geometric | https://banes-lab.com/records/reasoning/node-rep-geometric.md | 3056 | bc1991898f8fad59569e9f0306c55791e3724eff40a020ebdb18d56527471a8d |
| reasoning:node-rep-topological | node | Topological Representation | Is it encoded as connectivity or continuity? | https://banes-lab.com/json/records/reasoning/node-rep-topological | https://banes-lab.com/records/reasoning/node-rep-topological.md | 3121 | 0b52771d61ef33aa263542560d0b2526dbccf2a3ee9194935ee174ad3cc9ec66 |
| reasoning:node-rep-information-theoretic | node | Information-Theoretic Representation | Is it encoded as entropy or compression? | https://banes-lab.com/json/records/reasoning/node-rep-information-theoretic | https://banes-lab.com/records/reasoning/node-rep-information-theoretic.md | 3227 | 7fc2fabe85f69596c434252cfb3370442af64a805cad9cdd1128da5491a946df |
| reasoning:node-rep-probabilistic | node | Probabilistic Representation | Is it encoded as distributions? | https://banes-lab.com/json/records/reasoning/node-rep-probabilistic | https://banes-lab.com/records/reasoning/node-rep-probabilistic.md | 3145 | f019263dbb1fbf02939cb4dd009bbfb563e86f0207f6b16a9dfa969422782925 |
| reasoning:node-rep-dynamical | node | Dynamical Representation | Is it encoded as state transitions? | https://banes-lab.com/json/records/reasoning/node-rep-dynamical | https://banes-lab.com/records/reasoning/node-rep-dynamical.md | 3163 | 1735078c5e7670903abf0dba9b61842866fa2d1e58e3646f5013f8956b92c94e |
| reasoning:node-rep-computational | node | Computational Representation | Is it encoded as an algorithm? | https://banes-lab.com/json/records/reasoning/node-rep-computational | https://banes-lab.com/records/reasoning/node-rep-computational.md | 3069 | 9f2f311c97fd9daf7062c891e93d9d2f85837886034dacdb6bf389c6e63cf891 |
| reasoning:node-for-existence | node | Existence | What object exists? | https://banes-lab.com/json/records/reasoning/node-for-existence | https://banes-lab.com/records/reasoning/node-for-existence.md | 2578 | 1d164a4ed0c9cb151a715865afcac4d348341b4490c26621287d77becee78825 |
| reasoning:node-for-structure | node | Formal Structure | What structure holds? | https://banes-lab.com/json/records/reasoning/node-for-structure | https://banes-lab.com/records/reasoning/node-for-structure.md | 2524 | e4c8f127602495c00ecbf175c9c342abdb25b5454fad06d04705879ebbe03a1c |
| reasoning:node-for-relation | node | Mapping | What mapping connects objects? | https://banes-lab.com/json/records/reasoning/node-for-relation | https://banes-lab.com/records/reasoning/node-for-relation.md | 2510 | 8992c407a1736ee565c5f765cd54e7278eea421a579f013851e46ec77e10a3a2 |
| reasoning:node-for-space | node | Environment | What environment contains them? | https://banes-lab.com/json/records/reasoning/node-for-space | https://banes-lab.com/records/reasoning/node-for-space.md | 2547 | 7129a853090ae6a8ad50a91aa7a968b160fcf78e57f96d574bb5a7eaa4432091 |
| reasoning:node-for-transformation | node | Transformation | What operation applies? | https://banes-lab.com/json/records/reasoning/node-for-transformation | https://banes-lab.com/records/reasoning/node-for-transformation.md | 2541 | 3a340843e609447521cddd1a265beb0d77964cb743badeb0f5cf0f5f06411edf |
| reasoning:node-for-invariance | node | Invariance | What is preserved? | https://banes-lab.com/json/records/reasoning/node-for-invariance | https://banes-lab.com/records/reasoning/node-for-invariance.md | 2564 | f298a3485451c8cd0e55198d5aed50ff23fc98d02830ebb4dec3d3969e916600 |
| reasoning:node-for-uncertainty | node | Uncertainty | What is uncertain? | https://banes-lab.com/json/records/reasoning/node-for-uncertainty | https://banes-lab.com/records/reasoning/node-for-uncertainty.md | 2565 | fde3e28f40dc0c37a3351d3855b9dd6a9d3422cc39be6f35e8148ad602c1682d |
| reasoning:node-for-computation | node | Computability | What is computable? | https://banes-lab.com/json/records/reasoning/node-for-computation | https://banes-lab.com/records/reasoning/node-for-computation.md | 2571 | 2c55d260617fc22cf262cc6e685ba45a90240f28f4e5cfb07e1040cd8ddd0cc2 |
| reasoning:node-for-abstraction | node | Abstraction | What generalizes? | https://banes-lab.com/json/records/reasoning/node-for-abstraction | https://banes-lab.com/records/reasoning/node-for-abstraction.md | 2540 | 838774daf6b75e4192b71312c1639c83362a04e4740d5c21949d080acd791eaa |
| reasoning:node-for-creation | node | Emergence | What new structure can emerge? | https://banes-lab.com/json/records/reasoning/node-for-creation | https://banes-lab.com/records/reasoning/node-for-creation.md | 2549 | 069ddbe858f5ff08ab889a0f5d12592d75e9eb737e3b2fb9044fed9190593a8d |
| reasoning:node-for-absence | node | Absence | What is absent, and is it distinguished from unknown, omitted and zero? | https://banes-lab.com/json/records/reasoning/node-for-absence | https://banes-lab.com/records/reasoning/node-for-absence.md | 3312 | 29ffc9fbfc0a02d1bb935400cea75484a3ea88d2e14d609cfbd766184e129439 |
| reasoning:node-tel-objective | node | Objective | What is the objective? | https://banes-lab.com/json/records/reasoning/node-tel-objective | https://banes-lab.com/records/reasoning/node-tel-objective.md | 7651 | 69a62a9d9186c0ffd57835b67e6da57ed21271d4b4bb7e1389ff31a775b1d8ed |
| reasoning:node-tel-utility | node | Branch Utility | How much does this advance the objective? | https://banes-lab.com/json/records/reasoning/node-tel-utility | https://banes-lab.com/records/reasoning/node-tel-utility.md | 4161 | c25ac82ed60da34cbcc9501c8df6945c64b498255f5702b671fb7f3a4431dd62 |
| reasoning:node-tel-cost | node | Branch Cost | What does this cost? | https://banes-lab.com/json/records/reasoning/node-tel-cost | https://banes-lab.com/records/reasoning/node-tel-cost.md | 4145 | a6a96eba2e0e722f4e42cba670c25a7c81662da1f217314e4d53ad7446607a99 |
| reasoning:node-tel-priority | node | Branch Priority | Is this the highest-worth admissible branch? | https://banes-lab.com/json/records/reasoning/node-tel-priority | https://banes-lab.com/records/reasoning/node-tel-priority.md | 14836 | c06dc6cef9ca26f2db5a47326e611b3f5ae3ae577b41a3c3ab8d47b740b0ab1d |
| reasoning:node-ver-evidence | node | Evidence | What evidence supports this? | https://banes-lab.com/json/records/reasoning/node-ver-evidence | https://banes-lab.com/records/reasoning/node-ver-evidence.md | 32537 | 17ddff82a5297b50f94328c4e35d1d43f17785037d8b85033fc8bdcece975200 |
| reasoning:node-ver-ground-truth | node | Ground Truth | Is it true against reality, not merely coherent? | https://banes-lab.com/json/records/reasoning/node-ver-ground-truth | https://banes-lab.com/records/reasoning/node-ver-ground-truth.md | 13314 | fe17c0d6f13bc9bc45a076987433e2c7af1d6cda58d903cba6c0a922be62503c |
| reasoning:node-ver-falsification | node | Refutation Condition | What would refute it? | https://banes-lab.com/json/records/reasoning/node-ver-falsification | https://banes-lab.com/records/reasoning/node-ver-falsification.md | 4518 | 7329a9c25df772c20a93d3e00ce5eb8588ee3538d8f921fb1a782cada5daea3d |
| reasoning:node-ver-confidence | node | Confidence | How confident is it, and is that enough? | https://banes-lab.com/json/records/reasoning/node-ver-confidence | https://banes-lab.com/records/reasoning/node-ver-confidence.md | 4939 | fa6a8f1d7d5de0c762305ea33b9e7e759918829f98e11c40a3b736aff22e4530 |
| reasoning:node-ver-refutation | node | Support Against Refutation | Does refutation outweigh support? | https://banes-lab.com/json/records/reasoning/node-ver-refutation | https://banes-lab.com/records/reasoning/node-ver-refutation.md | 6248 | 3fca1979888c087c9012cf64288753edb54d6b213f103108ccf9ae5580d9f56c |
| reasoning:node-ver-population | node | Population | Over what set was this checked? | https://banes-lab.com/json/records/reasoning/node-ver-population | https://banes-lab.com/records/reasoning/node-ver-population.md | 7006 | 322b4b8894dc46f08bf5bf14df29e711b169f0ff9076889a1b5e4215682c6b2f |
| reasoning:node-ver-freshness | node | Freshness | Was the read derived after the last relevant mutator? | https://banes-lab.com/json/records/reasoning/node-ver-freshness | https://banes-lab.com/records/reasoning/node-ver-freshness.md | 5841 | 9804067fe0cedff887088ad72eb891f5276188ee94c9ae5791eea0f19f80b866 |
| reasoning:node-ver-standing | node | Standing | Did the read set move beneath the verdict? | https://banes-lab.com/json/records/reasoning/node-ver-standing | https://banes-lab.com/records/reasoning/node-ver-standing.md | 4841 | c4ca57902bb58a062f0ae837719ebc1643301b086004f01e09ded79c084d0781 |
| reasoning:node-ver-refusal | node | Refusal | Where does this stage refuse to continue? | https://banes-lab.com/json/records/reasoning/node-ver-refusal | https://banes-lab.com/records/reasoning/node-ver-refusal.md | 7665 | 8f6b52b9d6c8c585e83769a58501fd9bfb70eac39b9b90bbec310b46aa5666fc |
| reasoning:node-ver-observation | node | Located Observation | Does the observation locate a failure, or is an absence of failures read as proof? | https://banes-lab.com/json/records/reasoning/node-ver-observation | https://banes-lab.com/records/reasoning/node-ver-observation.md | 4121 | a3c87e5f949c27341477be89b69c3a41d0b82116cfb25caa7d5d164c2147b05d |
| reasoning:node-ter-completion | node | Completion | Is every task done? | https://banes-lab.com/json/records/reasoning/node-ter-completion | https://banes-lab.com/records/reasoning/node-ter-completion.md | 4344 | 16a91fcc277c1d4407502e62bae39994f66a1c2e270ba286007f3906390cdb7e |
| reasoning:node-ter-saturation | node | Saturation | Is nothing left to resolve? | https://banes-lab.com/json/records/reasoning/node-ter-saturation | https://banes-lab.com/records/reasoning/node-ter-saturation.md | 3369 | d59e4386d29c243afce7ca79cfee37af68b915083c301ed86b8c5634a357e5da |
| reasoning:node-ter-diminishing-returns | node | Diminishing Returns | Has progress stopped increasing? | https://banes-lab.com/json/records/reasoning/node-ter-diminishing-returns | https://banes-lab.com/records/reasoning/node-ter-diminishing-returns.md | 4515 | 2f01b895c43a8ab622f9b9465dfebf350c1ae8f6125e4f19c386a337ffa05538 |
| reasoning:node-ter-block | node | Blocked Run | Is it blocked on external input? | https://banes-lab.com/json/records/reasoning/node-ter-block | https://banes-lab.com/records/reasoning/node-ter-block.md | 9217 | d0bfa74ebefbca85d76b7d0caf341c8c31ef5b6369153e9319487c0b47e1b445 |
| reasoning:node-ter-stop | node | Stop Condition | Do saturation, completion and verification all hold, or is the run blocked? | https://banes-lab.com/json/records/reasoning/node-ter-stop | https://banes-lab.com/records/reasoning/node-ter-stop.md | 17035 | e6dd79a1d8df729f42af67762e32166c456334031c259a0890e3dceb3d298c83 |
| reasoning:node-ter-promotion | node | Promotion | Is the candidate promoted, or only produced? | https://banes-lab.com/json/records/reasoning/node-ter-promotion | https://banes-lab.com/records/reasoning/node-ter-promotion.md | 4337 | 829cf929c6ca9982c7d085c3b35c8fae1d984e9a0847bb80eba6aef439d48a11 |
| reasoning:node-ter-publication | node | Publication | Is the boundary to the external system explicit, and who crosses it? | https://banes-lab.com/json/records/reasoning/node-ter-publication | https://banes-lab.com/records/reasoning/node-ter-publication.md | 4159 | f2d3f9977b404cf76efb321709e15badc79e09d6d50d264929d7325351d33540 |
| reasoning:substrate-node-existence | substrate-node | Existence | This node sits on the Substrate layer. Its mathematical type is set theory. The Ontogenesis models build on it. | https://banes-lab.com/json/records/reasoning/substrate-node-existence | https://banes-lab.com/records/reasoning/substrate-node-existence.md | 6075 | dbbd3ec4b6f69f17c253af7a4c267912be3e2dd1d620a131bcdfef50e1af7206 |
| reasoning:substrate-node-difference | substrate-node | Difference | This node sits on the Substrate layer. Its mathematical type is logic. The Ontogenesis models build on it. | https://banes-lab.com/json/records/reasoning/substrate-node-difference | https://banes-lab.com/records/reasoning/substrate-node-difference.md | 4528 | b10dd19d03328cf597fc4f327372649c2f06215a7d7a8388db65353744177d97 |
| reasoning:substrate-node-relation | substrate-node | Relation | This node sits on the Substrate layer. Its mathematical type is graph. The Ontogenesis models build on it. | https://banes-lab.com/json/records/reasoning/substrate-node-relation | https://banes-lab.com/records/reasoning/substrate-node-relation.md | 3864 | ed7584a697525f5348677e344e1854d67d9ce4cc4c4219d7103ffecd54aeccfa |
| reasoning:substrate-node-structure | substrate-node | Structure | This node sits on the Substrate layer. Its mathematical type is algebra. The Ontogenesis models build on it. | https://banes-lab.com/json/records/reasoning/substrate-node-structure | https://banes-lab.com/records/reasoning/substrate-node-structure.md | 4323 | 3ad2ff3adb7038183754831eacb95726b8154d0073c446e33ef203526ec6f73b |
| reasoning:substrate-node-transformation | substrate-node | Transformation | This node sits on the Substrate layer. Its mathematical type is analysis. The Ontogenesis models build on it. | https://banes-lab.com/json/records/reasoning/substrate-node-transformation | https://banes-lab.com/records/reasoning/substrate-node-transformation.md | 3919 | cfd640a67e96e441107b3f586feab55733e8515c13b639283bea9a467db63112 |
| reasoning:substrate-node-constraint | substrate-node | Constraint | This node sits on the Substrate layer. Its mathematical type is optimization. The Ontogenesis models build on it. | https://banes-lab.com/json/records/reasoning/substrate-node-constraint | https://banes-lab.com/records/reasoning/substrate-node-constraint.md | 11142 | 6c3a26abdc4a4edeef6d03ae6ac0b3731d530b37287e2fba452b48bc758e31eb |
| reasoning:substrate-node-invariant | substrate-node | Invariant | This node sits on the Substrate layer. Its mathematical type is topology. | https://banes-lab.com/json/records/reasoning/substrate-node-invariant | https://banes-lab.com/records/reasoning/substrate-node-invariant.md | 6293 | cc2946d3716fa72fc40450efbead270cece90d7ad53b7fb2e60c4ccc6b960d61 |
| reasoning:substrate-node-uncertainty | substrate-node | Uncertainty | This node sits on the Substrate layer. Its mathematical type is probability. | https://banes-lab.com/json/records/reasoning/substrate-node-uncertainty | https://banes-lab.com/records/reasoning/substrate-node-uncertainty.md | 2726 | 1b62fb839baf0ef5783fa33d947890da01c4ef74534bfff03509fe29230b297b |
| reasoning:substrate-node-information | substrate-node | Information | This node sits on the Substrate layer. Its mathematical type is information theory. | https://banes-lab.com/json/records/reasoning/substrate-node-information | https://banes-lab.com/records/reasoning/substrate-node-information.md | 3178 | 614aeb9b5b013398c282ed586c2369288c27aee36983b4c4c4ac5136e901c9fb |
| reasoning:substrate-node-procedure | substrate-node | Procedure | This node sits on the Substrate layer. Its mathematical type is computation. | https://banes-lab.com/json/records/reasoning/substrate-node-procedure | https://banes-lab.com/records/reasoning/substrate-node-procedure.md | 2266 | ec6b1cffa0e0a987b4b1e7cf12e11f110e86096b5cdc2020ef2dd3676cb1ab09 |
| reasoning:substrate-node-emergence | substrate-node | Emergence | This node sits on the Substrate layer. Its mathematical type is dynamical systems. The Ontogenesis models build on it. | https://banes-lab.com/json/records/reasoning/substrate-node-emergence | https://banes-lab.com/records/reasoning/substrate-node-emergence.md | 3839 | a37174d608ff9fa4239fb9dc7e6ee59dad1f26224ad9364284716d4d60366798 |
| reasoning:dimension-identity | dimension | Identity | What exists? | https://banes-lab.com/json/records/reasoning/dimension-identity | https://banes-lab.com/records/reasoning/dimension-identity.md | 4221 | 24d9264e65aba1a0acd0ecd49f62be9aa01ebed85bf5efd321610852550371ff |
| reasoning:dimension-composition | dimension | Composition | What is it made of? | https://banes-lab.com/json/records/reasoning/dimension-composition | https://banes-lab.com/records/reasoning/dimension-composition.md | 3824 | 3a5c23ae79baf514d6343c348e0d473480a96253d2a33afa89bb7a57e3cbb43b |
| reasoning:dimension-structure | dimension | Structure | How are parts arranged? | https://banes-lab.com/json/records/reasoning/dimension-structure | https://banes-lab.com/records/reasoning/dimension-structure.md | 4987 | ca0bb1d3980ad0c456b65bc8ad94aba13a853e24614a35cfa7b618aa0e75a903 |
| reasoning:dimension-relation | dimension | Relation | What connects it to other things? | https://banes-lab.com/json/records/reasoning/dimension-relation | https://banes-lab.com/records/reasoning/dimension-relation.md | 5848 | 4ec91ebc2123a664118b8a4f36264f87336946b0d7fec1fdf36506d9a07b8172 |
| reasoning:dimension-space | dimension | Space | Where is it? | https://banes-lab.com/json/records/reasoning/dimension-space | https://banes-lab.com/records/reasoning/dimension-space.md | 4054 | 6cbd9e51b83f6f1f41b3355bcafd15d501fe2494b0a77f495f42fad702327a63 |
| reasoning:dimension-time | dimension | Time | When does it occur? | https://banes-lab.com/json/records/reasoning/dimension-time | https://banes-lab.com/records/reasoning/dimension-time.md | 4460 | 4c20865638ade9c02675a9cd2a061171e67bb8639d08c1a2c1e5128ce96de95c |
| reasoning:dimension-state | dimension | State | What condition is it in? | https://banes-lab.com/json/records/reasoning/dimension-state | https://banes-lab.com/records/reasoning/dimension-state.md | 3760 | faa937f5e0bb7e06a5781078fdd561d23c5067161a8eaf3018c443fae5cff47c |
| reasoning:dimension-change | dimension | Change | How does it transform? | https://banes-lab.com/json/records/reasoning/dimension-change | https://banes-lab.com/records/reasoning/dimension-change.md | 3626 | 91a55df1a805886d01014b5e9da90182c2adb7c4ecb3e49b20af6fb864059f95 |
| reasoning:dimension-behavior | dimension | Behavior | What does it do? | https://banes-lab.com/json/records/reasoning/dimension-behavior | https://banes-lab.com/records/reasoning/dimension-behavior.md | 4563 | 8b13528d11532aa88d1c27e6dce0d7cc74357d7edd1312dc8208ddcabd195a31 |
| reasoning:dimension-function | dimension | Function | What role does it fulfill? | https://banes-lab.com/json/records/reasoning/dimension-function | https://banes-lab.com/records/reasoning/dimension-function.md | 4946 | 1702c470e30a0b2cf43ba64519bfe267e1f17134f81086206839152195b720fd |
| reasoning:dimension-cause | dimension | Cause | Why does it happen? | https://banes-lab.com/json/records/reasoning/dimension-cause | https://banes-lab.com/records/reasoning/dimension-cause.md | 4514 | ec1a78dc78bd6c24062cacada5f3145dce6d692d0461df132e7127f0e80b0cea |
| reasoning:dimension-meaning | dimension | Meaning | What does it signify? | https://banes-lab.com/json/records/reasoning/dimension-meaning | https://banes-lab.com/records/reasoning/dimension-meaning.md | 4979 | 2e3dc38137285d7a9306e504df89e552747ee769f2c6348a0bcb11c3fd8a0dbc |
| reasoning:dimension-scale | dimension | Scale | At what level does it exist? | https://banes-lab.com/json/records/reasoning/dimension-scale | https://banes-lab.com/records/reasoning/dimension-scale.md | 3814 | 9defb573d18cd44a0eb771360292e1f9922ebd4b51dfb106f832cb3576de8ef1 |
| reasoning:dimension-probability | dimension | Probability | How certain is it? | https://banes-lab.com/json/records/reasoning/dimension-probability | https://banes-lab.com/records/reasoning/dimension-probability.md | 5146 | 686e4e1ec6443e5e8988032260cc6c381a441491a4be6efe36cb339085d8fdf3 |
| reasoning:dimension-novelty | dimension | Novelty | What deviates from expectation? | https://banes-lab.com/json/records/reasoning/dimension-novelty | https://banes-lab.com/records/reasoning/dimension-novelty.md | 3435 | 13ef1b258167a19033bc4ee0e6e6db96e01338edb82b59f5c238d0ea29bd9f5e |
| reasoning:invariant-correct-outputs | invariant | Correct Outputs | Outputs are correct | https://banes-lab.com/json/records/reasoning/invariant-correct-outputs | https://banes-lab.com/records/reasoning/invariant-correct-outputs.md | 2726 | a0a739d90ac689e9e3aabe19c32e5745af4d2e290543c901a67cd14ec1eeb610 |
| reasoning:invariant-correct-state-evolution | invariant | Correct State Evolution | State evolves correctly | https://banes-lab.com/json/records/reasoning/invariant-correct-state-evolution | https://banes-lab.com/records/reasoning/invariant-correct-state-evolution.md | 2397 | 92bc237c86d8fdc64bd66838e7fa3972fc067928b48b0a6fb2617894b0cb81bb |
| reasoning:invariant-valid-state-transitions | invariant | Valid State Transitions | State transitions are valid | https://banes-lab.com/json/records/reasoning/invariant-valid-state-transitions | https://banes-lab.com/records/reasoning/invariant-valid-state-transitions.md | 2401 | 58948e2014916d542b339517670c7e1058713afd79e86fd40a75541f9b71dc98 |
| reasoning:invariant-correct-interactions | invariant | Correct Interactions | Interactions between components are correct | https://banes-lab.com/json/records/reasoning/invariant-correct-interactions | https://banes-lab.com/records/reasoning/invariant-correct-interactions.md | 2485 | a5c5412533e55692bafa3f4e4aa90878903b77a517e43ce000b86d23962f368a |
| reasoning:invariant-valid-interfaces-and-contracts | invariant | Valid Interfaces and Contracts | Interfaces and contracts are valid | https://banes-lab.com/json/records/reasoning/invariant-valid-interfaces-and-contracts | https://banes-lab.com/records/reasoning/invariant-valid-interfaces-and-contracts.md | 2466 | 250f4dfdcee5d6339c3961a4dfa4e5343cb78bde022848cf6e3a2d6fd4f6a918 |
| reasoning:invariant-acceptable-execution-time | invariant | Acceptable Execution Time | Execution time is acceptable | https://banes-lab.com/json/records/reasoning/invariant-acceptable-execution-time | https://banes-lab.com/records/reasoning/invariant-acceptable-execution-time.md | 2965 | 1d72df182465b4bd29681aa666f99e20d6132d6b2365ee81854090e73c5e700e |
| reasoning:invariant-acceptable-resource-consumption | invariant | Acceptable Resource Consumption | Resource consumption is acceptable | https://banes-lab.com/json/records/reasoning/invariant-acceptable-resource-consumption | https://banes-lab.com/records/reasoning/invariant-acceptable-resource-consumption.md | 2485 | 3fc1db8c4c398af1dfa65b40fbcaa1b820250557cb8dbbda0b453bb6a45213f7 |
| reasoning:invariant-safe-concurrent-behavior | invariant | Safe Concurrent Behavior | Concurrent behavior is safe | https://banes-lab.com/json/records/reasoning/invariant-safe-concurrent-behavior | https://banes-lab.com/records/reasoning/invariant-safe-concurrent-behavior.md | 2490 | 432abac60cbe261b7b0b7341f98f1dedae7a05eb1abed0883074a39144b52ab4 |
| reasoning:invariant-controlled-memory-usage | invariant | Controlled Memory Usage | Memory usage is controlled | https://banes-lab.com/json/records/reasoning/invariant-controlled-memory-usage | https://banes-lab.com/records/reasoning/invariant-controlled-memory-usage.md | 2430 | b08c1dc4543706e677189709d40527af2056174b09bd9d56e24ba62d21c21ae1 |
| reasoning:invariant-reliability-under-faults | invariant | Reliability Under Faults | The system stays reliable under faults | https://banes-lab.com/json/records/reasoning/invariant-reliability-under-faults | https://banes-lab.com/records/reasoning/invariant-reliability-under-faults.md | 2471 | 9a54fdf5e69d7e27709b645c7dbf25c8e61626ca5184504f6dcb5bb0c6e87a76 |
| reasoning:invariant-availability-under-stress | invariant | Availability Under Stress | The system stays available under stress | https://banes-lab.com/json/records/reasoning/invariant-availability-under-stress | https://banes-lab.com/records/reasoning/invariant-availability-under-stress.md | 2506 | 7790dcaad6e7a435961df93d52f461653c657c820d4b70b0036256c3e783bcf4 |
| reasoning:invariant-consistency-across-components | invariant | Consistency Across Components | Components stay consistent with each other | https://banes-lab.com/json/records/reasoning/invariant-consistency-across-components | https://banes-lab.com/records/reasoning/invariant-consistency-across-components.md | 2548 | 473de8f633464db4f864576b6a7e87dd3901d1ba488d3ada0caf0b510ae6a8a5 |
| reasoning:invariant-deterministic-behavior-where-required | invariant | Required Determinism | Behavior is deterministic where determinism is required | https://banes-lab.com/json/records/reasoning/invariant-deterministic-behavior-where-required | https://banes-lab.com/records/reasoning/invariant-deterministic-behavior-where-required.md | 2518 | f1ed08189442d0fec1c8f8dfd9642f7c6ca885be4155c7b89d763d3f3ac92fb2 |
| reasoning:invariant-numerical-validity | invariant | Numerical Validity | Numerical results are valid | https://banes-lab.com/json/records/reasoning/invariant-numerical-validity | https://banes-lab.com/records/reasoning/invariant-numerical-validity.md | 2449 | 357437b330064a744f92ce906282605d3732893b73636abb6b0e61e076655d0d |
| reasoning:invariant-security-boundaries | invariant | Security Boundaries | Security boundaries hold | https://banes-lab.com/json/records/reasoning/invariant-security-boundaries | https://banes-lab.com/records/reasoning/invariant-security-boundaries.md | 2367 | bf46e617c5a23d14f59a7dd30982449401470674872ccaca254c496ee2c747b5 |
| reasoning:invariant-protocol-compliance | invariant | Protocol Compliance | Communication complies with its protocol | https://banes-lab.com/json/records/reasoning/invariant-protocol-compliance | https://banes-lab.com/records/reasoning/invariant-protocol-compliance.md | 2403 | 6a21d36d3c755dc097986766a623228b7389cc9dcdeb12505211a2d881043263 |
| reasoning:invariant-configuration-validity | invariant | Configuration Validity | Configuration is valid | https://banes-lab.com/json/records/reasoning/invariant-configuration-validity | https://banes-lab.com/records/reasoning/invariant-configuration-validity.md | 2422 | 1d37a1f8f972ba506f012b65cf9ff278b77f736a3dd82879c9e8a0652567cbf8 |
| reasoning:invariant-accurate-observability | invariant | Accurate Observability | Logs, metrics and traces report the system accurately | https://banes-lab.com/json/records/reasoning/invariant-accurate-observability | https://banes-lab.com/records/reasoning/invariant-accurate-observability.md | 2449 | 42176b5a48f38893bf239daa4f61a444f31c8d59cd14431a53b281fe4fdfeea8 |
| reasoning:invariant-epi-reachable-check | invariant | Reachable Check | Every representation in jurisdiction has a computable check | https://banes-lab.com/json/records/reasoning/invariant-epi-reachable-check | https://banes-lab.com/records/reasoning/invariant-epi-reachable-check.md | 4145 | 9a81f257b98bb943b5edeecb70c8377ab1880dcbfd6802dc20152ec8a5d2d625 |
| reasoning:invariant-epi-declared-domain | invariant | Declared Domain | A check's domain is explicit and reported beside its verdict | https://banes-lab.com/json/records/reasoning/invariant-epi-declared-domain | https://banes-lab.com/records/reasoning/invariant-epi-declared-domain.md | 2711 | f412705b4fd48f52602e5f3ae380f68cbfa2c7b845f0e4c4a6306f60e04119c8 |
| reasoning:invariant-epi-declared-dependency | invariant | Declared Dependency | A dependency is declared by the referent, never inferred from a name | https://banes-lab.com/json/records/reasoning/invariant-epi-declared-dependency | https://banes-lab.com/records/reasoning/invariant-epi-declared-dependency.md | 5494 | 527b8c72d0471e1d01e1b327a8f8833f40135a6b465d908ab6e1e314c632f7b0 |
| reasoning:invariant-epi-verdict-is-representation | invariant | Checked Verdict | A verdict is itself a representation and has a reachable check of its own | https://banes-lab.com/json/records/reasoning/invariant-epi-verdict-is-representation | https://banes-lab.com/records/reasoning/invariant-epi-verdict-is-representation.md | 3499 | 2a4528b16098b561a6580c3ddc647f714e95e5f46b1b8ac57573b952ea05e372 |
| reasoning:invariant-epi-preserved-distinction | invariant | Preserved Distinction | A lowering keeps every distinction a later check needs | https://banes-lab.com/json/records/reasoning/invariant-epi-preserved-distinction | https://banes-lab.com/records/reasoning/invariant-epi-preserved-distinction.md | 4150 | 6bf70a26c5ede9e59d0c0bce919c72221f9f0b0d09b76b224abca362e12d3450 |
| reasoning:invariant-epi-fresh-read | invariant | Fresh Read | A check reads a representation derived after the last relevant mutator | https://banes-lab.com/json/records/reasoning/invariant-epi-fresh-read | https://banes-lab.com/records/reasoning/invariant-epi-fresh-read.md | 2701 | 4e4324f91d552a6b63c0e85b73bb6fb3f0b9038284ebdc602d52ef10467dfb4a |
| reasoning:invariant-epi-one-derivation | invariant | One Derivation | One canonical question has one authoritative derivation | https://banes-lab.com/json/records/reasoning/invariant-epi-one-derivation | https://banes-lab.com/records/reasoning/invariant-epi-one-derivation.md | 3503 | 5b642f1b936120990fe9e9a1640e2047241d6e00bce90c10fe562ca07e4ecfa7 |
| reasoning:invariant-epi-weakest-link | invariant | Weakest Link | A chain is as certain as its least certain link, and a link below the floor is removed from the chain | https://banes-lab.com/json/records/reasoning/invariant-epi-weakest-link | https://banes-lab.com/records/reasoning/invariant-epi-weakest-link.md | 2743 | b2277b1b136ccfd9c2686e21e2c9f28a4a490c2cf73eb45d609ecb6816dc3258 |
| reasoning:invariant-epi-observation-locates | invariant | Observation Scope | Dynamic observation locates a failure and never certifies absence | https://banes-lab.com/json/records/reasoning/invariant-epi-observation-locates | https://banes-lab.com/records/reasoning/invariant-epi-observation-locates.md | 2682 | 34f4338de0b9de9d0019687e53c200714f6f553380d153aa32a237bb2eacf100 |
| reasoning:invariant-epi-terminate-on-three | invariant | Three-Condition Stop | A run stops when saturation, completion and verification all hold, or when it is blocked on something outside it | https://banes-lab.com/json/records/reasoning/invariant-epi-terminate-on-three | https://banes-lab.com/records/reasoning/invariant-epi-terminate-on-three.md | 2693 | 74a88a23a51044921065dec7280176ddd35ffb8a7f8f0577379a5ccef3e83a90 |
| reasoning:layer-substrate | layer | Substrate | How does anything come to be? | https://banes-lab.com/json/records/reasoning/layer-substrate | https://banes-lab.com/records/reasoning/layer-substrate.md | 6131 | d2ddcc8c8ee0046dd007a00f1ee4a80b88f340770fba671dfb28858e9943f92d |
| reasoning:layer-epistemic | layer | Epistemic | How is it known? | https://banes-lab.com/json/records/reasoning/layer-epistemic | https://banes-lab.com/records/reasoning/layer-epistemic.md | 3827 | ee8fb148e965023b9ee01e5ba85fa4e5ac75752ec7cd73262bfed96b68463959 |
| reasoning:layer-conative | layer | Conative | What is worth doing? | https://banes-lab.com/json/records/reasoning/layer-conative | https://banes-lab.com/records/reasoning/layer-conative.md | 2410 | 698b06803eedb663f043e76ae310c91cec51ca7f8bdffd8578bab7f5d6e6b8e3 |
| reasoning:layer-evaluative | layer | Evaluative | Is it right, and is it done? | https://banes-lab.com/json/records/reasoning/layer-evaluative | https://banes-lab.com/records/reasoning/layer-evaluative.md | 2785 | dfe78ec0ad21321e4d2f3230df8407285d5aead11e093bd5ba6b10ddd6233b1d |
| reasoning:lens-structure | lens | Structure | How are the parts organized? | https://banes-lab.com/json/records/reasoning/lens-structure | https://banes-lab.com/records/reasoning/lens-structure.md | 7764 | 655dd4ff425f036d9f370b052778177704651a4927d66a4a3f75c28b58462f28 |
| reasoning:lens-time | lens | Time | How does it vary through time? | https://banes-lab.com/json/records/reasoning/lens-time | https://banes-lab.com/records/reasoning/lens-time.md | 6421 | 1ffc47f73ae53d062541f815ff23bd5fb3711c7fc2bec188a99a23b8e5fa8994 |
| reasoning:lens-space | lens | Space | How is it distributed in space? | https://banes-lab.com/json/records/reasoning/lens-space | https://banes-lab.com/records/reasoning/lens-space.md | 4507 | d8a201a89d009b9e2ed72ebe9b4a0ae0bb148c2acbeeaca67815cc7ce617f551 |
| reasoning:lens-statistical | lens | Statistical | What regularities emerge from many observations? | https://banes-lab.com/json/records/reasoning/lens-statistical | https://banes-lab.com/records/reasoning/lens-statistical.md | 5143 | 635097d49461df54be505155e8ed5048abf2ec06a5f2aea1cd83a0973a2591f7 |
| reasoning:lens-frequency | lens | Frequency | What repeats, and how often? | https://banes-lab.com/json/records/reasoning/lens-frequency | https://banes-lab.com/records/reasoning/lens-frequency.md | 5200 | efa0cae3b6554bed3732c96268939fa43c74f32e0f5d52543e1231d9ff3ad6fc |
| reasoning:lens-sequential | lens | Sequential | In what order do things occur? | https://banes-lab.com/json/records/reasoning/lens-sequential | https://banes-lab.com/records/reasoning/lens-sequential.md | 7464 | 3d2a8a5af049f11d498d773b109ee9b686b7fff87d83d0f8d6046a9e8387bc98 |
| reasoning:lens-relation | lens | Relation | What connects what? | https://banes-lab.com/json/records/reasoning/lens-relation | https://banes-lab.com/records/reasoning/lens-relation.md | 7195 | 25b23273e07c5eb7fedfafa1d50c136ed1c8a200cab2b27232ac56c18be51622 |
| reasoning:lens-behavior | lens | Behavior | How does an entity tend to act? | https://banes-lab.com/json/records/reasoning/lens-behavior | https://banes-lab.com/records/reasoning/lens-behavior.md | 6461 | d98a8a2975ec73e56d8c86fd58fcc35ffe9c3e155ab40460f536a95e4ef79f2c |
| reasoning:lens-function | lens | Function | What role does something perform? | https://banes-lab.com/json/records/reasoning/lens-function | https://banes-lab.com/records/reasoning/lens-function.md | 3738 | 9bd794db5eaab44486efecbb2e81116576d6eb3078be5f03405c35a56002505d |
| reasoning:lens-meaning | lens | Meaning | What meaning is conveyed? | https://banes-lab.com/json/records/reasoning/lens-meaning | https://banes-lab.com/records/reasoning/lens-meaning.md | 5573 | de18181c3deac92868eb72bcbf0921ab8e99884a662ce7556cf0ca7fea131eee |
| reasoning:lens-cause | lens | Cause | What produces what? | https://banes-lab.com/json/records/reasoning/lens-cause | https://banes-lab.com/records/reasoning/lens-cause.md | 5524 | 33af0b2c13ede182b5c9963290d12bc9f6150445299f80ef78067c3de1f548e8 |
| reasoning:lens-prediction | lens | Prediction | What usually follows? | https://banes-lab.com/json/records/reasoning/lens-prediction | https://banes-lab.com/records/reasoning/lens-prediction.md | 3709 | ffd902532fcd8551ff0dbea3d288e9ab4701ae0badd6521a0fe50d081f3b3529 |
| reasoning:lens-anomaly | lens | Anomaly | What breaks the normal pattern? | https://banes-lab.com/json/records/reasoning/lens-anomaly | https://banes-lab.com/records/reasoning/lens-anomaly.md | 6912 | 7ecfc0a298e763d543a9cceb873e9d8e2258cebc1e98020a610e62bce789b689 |
| reasoning:lens-change | lens | Change | How does the pattern itself change? | https://banes-lab.com/json/records/reasoning/lens-change | https://banes-lab.com/records/reasoning/lens-change.md | 4587 | fd68e383b66cd65a56609c0cf254a549ea03c91f4f5b4fe38d503a22b5df9023 |
| reasoning:lens-fractal | lens | Fractal | Does the same structure recur at different scales? | https://banes-lab.com/json/records/reasoning/lens-fractal | https://banes-lab.com/records/reasoning/lens-fractal.md | 4284 | e5b4f435bbe4e98b6ef508769e0b188b3855697dd88afb9e517e6fb4eadc0ca4 |
| reasoning:lens-transformation | lens | Transformation | How does one state become another? | https://banes-lab.com/json/records/reasoning/lens-transformation | https://banes-lab.com/records/reasoning/lens-transformation.md | 3841 | 1aea888ce7daab5659677cb39753f837bb4a8e93e8b7f09a7167d80964c7f93b |
| reasoning:lens-invariant | lens | Invariant | What remains unchanged? | https://banes-lab.com/json/records/reasoning/lens-invariant | https://banes-lab.com/records/reasoning/lens-invariant.md | 3469 | ecd2e4cf2dd196a4a41e1cf9f02d3400a7c748b495a3a1d2d9d9b9a159201f3e |
| reasoning:lens-optimization | lens | Optimization | What is the best possible state? | https://banes-lab.com/json/records/reasoning/lens-optimization | https://banes-lab.com/records/reasoning/lens-optimization.md | 3008 | d3df412e57fbaa4cc11c507e808f0017b00ce22daa7f09b1f88e333d424026f2 |
| reasoning:lens-complexity | lens | Complexity | How difficult is the transformation? | https://banes-lab.com/json/records/reasoning/lens-complexity | https://banes-lab.com/records/reasoning/lens-complexity.md | 3173 | 7a885c9de13a8bd689c965c2095fbaca903f21032c71eb5a7d3ad73cce26b4fc |
| reasoning:math-domain-number | math-domain | Number | What can be counted or measured? | https://banes-lab.com/json/records/reasoning/math-domain-number | https://banes-lab.com/records/reasoning/math-domain-number.md | 2076 | 29229ae9e409b0a53f5777797a237da36dcbdad9c0c29b655746908c18af1943 |
| reasoning:math-domain-algebra | math-domain | Algebra | What rules govern transformations? | https://banes-lab.com/json/records/reasoning/math-domain-algebra | https://banes-lab.com/records/reasoning/math-domain-algebra.md | 4740 | 774e9390b1e3993e7af7b5140b116103659bbe06df5d12716695076b1164333d |
| reasoning:math-domain-geometry | math-domain | Geometry | What shapes and spaces exist? | https://banes-lab.com/json/records/reasoning/math-domain-geometry | https://banes-lab.com/records/reasoning/math-domain-geometry.md | 3645 | 80c8b323bd3a9170a3f2f3ede6ded1fef32714ff57ded1d4bf8f8bb9dd90beaf |
| reasoning:math-domain-topology | math-domain | Topology | What remains invariant under deformation? | https://banes-lab.com/json/records/reasoning/math-domain-topology | https://banes-lab.com/records/reasoning/math-domain-topology.md | 4393 | b8bcbfa0eebbb190b3d1add3d7f33e5af07df340edfb3866b830169c44f795f2 |
| reasoning:math-domain-analysis | math-domain | Analysis | How do quantities vary? | https://banes-lab.com/json/records/reasoning/math-domain-analysis | https://banes-lab.com/records/reasoning/math-domain-analysis.md | 2583 | d4926f12f30a6a3b990017eb13cd3de014db78b64cdb7886d40f15af2a3dec7d |
| reasoning:math-domain-logic | math-domain | Logic | What statements follow from others? | https://banes-lab.com/json/records/reasoning/math-domain-logic | https://banes-lab.com/records/reasoning/math-domain-logic.md | 4002 | 29a60053c050dc39e87db4b5a7135c44f575bea142364751b048da141110cc7e |
| reasoning:math-domain-set-theory | math-domain | Set Theory | What objects can be constructed? | https://banes-lab.com/json/records/reasoning/math-domain-set-theory | https://banes-lab.com/records/reasoning/math-domain-set-theory.md | 2645 | f6cfb9bc3629d3e9357a2a870051326b5faf54756c42144f775dfdda2c28a8fe |
| reasoning:math-domain-combinatorics | math-domain | Combinatorics | How many configurations exist? | https://banes-lab.com/json/records/reasoning/math-domain-combinatorics | https://banes-lab.com/records/reasoning/math-domain-combinatorics.md | 2652 | e2d48a038459313289cc89558279d82f4006ce19d79aa8dae384fd6e94d93619 |
| reasoning:math-domain-probability | math-domain | Probability | What outcomes are possible and likely? | https://banes-lab.com/json/records/reasoning/math-domain-probability | https://banes-lab.com/records/reasoning/math-domain-probability.md | 4995 | 7caa8fe52665bc223dd31990f4f366b6b0c2a0d88c840f79cb65ca4bc1fc090f |
| reasoning:math-domain-information-theory | math-domain | Information Theory | What patterns can be encoded? | https://banes-lab.com/json/records/reasoning/math-domain-information-theory | https://banes-lab.com/records/reasoning/math-domain-information-theory.md | 3207 | 8ebd25a33ba226c783a1d6f123ba12a46dda2db8613d7dd8b53fdbca5f895480 |
| reasoning:math-domain-computation | math-domain | Computation | What can be generated or solved? | https://banes-lab.com/json/records/reasoning/math-domain-computation | https://banes-lab.com/records/reasoning/math-domain-computation.md | 4238 | 4a73d97d4a39951df1f4f43aaacb2ce83db6d2a35018821226a1980666f8c256 |
| reasoning:math-domain-category-theory | math-domain | Category Theory | How do mathematical worlds connect? | https://banes-lab.com/json/records/reasoning/math-domain-category-theory | https://banes-lab.com/records/reasoning/math-domain-category-theory.md | 4139 | 7ef96fffdbd46a453bb1d71cf99e74627e3eb7dba7a12673504e853145878b79 |
| reasoning:math-type-set-theory | math-type | Set Theory | What members exist? | https://banes-lab.com/json/records/reasoning/math-type-set-theory | https://banes-lab.com/records/reasoning/math-type-set-theory.md | 33464 | ebd5b1403d85995448f324f5784caf8ddc34bc33cbf62475cc3abe6833f8fd7f |
| reasoning:math-type-logic | math-type | Logic | Does it hold, and what follows from it? | https://banes-lab.com/json/records/reasoning/math-type-logic | https://banes-lab.com/records/reasoning/math-type-logic.md | 83310 | efd6d355dcdfc2b2b301aec57fad675b9ab476834aef2d65712231b367156f15 |
| reasoning:math-type-graph | math-type | Graph | What connects what? | https://banes-lab.com/json/records/reasoning/math-type-graph | https://banes-lab.com/records/reasoning/math-type-graph.md | 19248 | d44011437e1330da3fe1e5c3b6205ce685a4479f557b21f944f9ff638a2b7d39 |
| reasoning:math-type-algebra | math-type | Algebra | How are parts arranged under laws? | https://banes-lab.com/json/records/reasoning/math-type-algebra | https://banes-lab.com/records/reasoning/math-type-algebra.md | 15381 | b3b5e6ea4c9d636a87dc3e05e9f201f6155d17a3bc46f4d07e8d0f4052c63781 |
| reasoning:math-type-analysis | math-type | Analysis | How do states vary? | https://banes-lab.com/json/records/reasoning/math-type-analysis | https://banes-lab.com/records/reasoning/math-type-analysis.md | 10322 | ea209a46c81bb3e2d95fb05760cc2045da34583cac2aaab957ff7f0d7cd79638 |
| reasoning:math-type-optimization | math-type | Optimization | What is admissible or best? | https://banes-lab.com/json/records/reasoning/math-type-optimization | https://banes-lab.com/records/reasoning/math-type-optimization.md | 28519 | 77f980e1b0ed11e91e16b2582f3b5c7d070e26d43f41c8815a7f7e54eee21e5f |
| reasoning:math-type-topology | math-type | Topology | What is preserved under change? | https://banes-lab.com/json/records/reasoning/math-type-topology | https://banes-lab.com/records/reasoning/math-type-topology.md | 9573 | a3e400cbe3d43b2d5c353e2a353c218972b121af9e6d66fd4d5eafd4e2fb69ff |
| reasoning:math-type-probability | math-type | Probability | How certain or likely is it? | https://banes-lab.com/json/records/reasoning/math-type-probability | https://banes-lab.com/records/reasoning/math-type-probability.md | 15002 | 3430865f7cdf0503b0ebaae1141f55008f681e36c2e08152f13bef10878fdce3 |
| reasoning:math-type-information-theory | math-type | Information Theory | What is novel, and how compressible is it? | https://banes-lab.com/json/records/reasoning/math-type-information-theory | https://banes-lab.com/records/reasoning/math-type-information-theory.md | 18296 | b55c8e61da357dd2ce5f6e6819f71f6403d1964707514e9b9b3a42297d9ba238 |
| reasoning:math-type-computation | math-type | Computation | What procedure produces it? | https://banes-lab.com/json/records/reasoning/math-type-computation | https://banes-lab.com/records/reasoning/math-type-computation.md | 45407 | cc12afb69564bed4f4d632adcccf08a96c1591e8fecac3c69b337354b6cc003d |
| reasoning:math-type-dynamical-systems | math-type | Dynamical Systems | What stable pattern arises, and has it converged? | https://banes-lab.com/json/records/reasoning/math-type-dynamical-systems | https://banes-lab.com/records/reasoning/math-type-dynamical-systems.md | 12489 | 241e9e90709298bb2a75d061a3e0fe7763224a29f44a3d35afbc2677a2afe0db |
| reasoning:model-ontogenesis | model | Ontogenesis | How does a pattern come to be? | https://banes-lab.com/json/records/reasoning/model-ontogenesis | https://banes-lab.com/records/reasoning/model-ontogenesis.md | 4132 | 77681874616f7b4636d27afcef405bd550258e0b9d92b8f862f829ab85e074a3 |
| reasoning:model-epistemology | model | Epistemology | How is a pattern known? | https://banes-lab.com/json/records/reasoning/model-epistemology | https://banes-lab.com/records/reasoning/model-epistemology.md | 7426 | 92faa01dde5f2b2190a4166279c6ad830d024f6142660e5124dd613f87c5d049 |
| reasoning:model-cognition | model | Cognition | How does a system perceive, act, and adapt? | https://banes-lab.com/json/records/reasoning/model-cognition | https://banes-lab.com/records/reasoning/model-cognition.md | 4532 | 46d46b99a005ba639c331fa7307c1496328df63eadae8ba8dbdd3700ff00a201 |
| reasoning:model-pattern-cycle | model | Pattern Cycle | How does pattern-work proceed? | https://banes-lab.com/json/records/reasoning/model-pattern-cycle | https://banes-lab.com/records/reasoning/model-pattern-cycle.md | 4483 | 4b6a8335e8be9cdae4201a4d31b23f55539b287aad00d25b42abd6a18febdcc1 |
| reasoning:mode-observation | mode | Observation | What is there? | https://banes-lab.com/json/records/reasoning/mode-observation | https://banes-lab.com/records/reasoning/mode-observation.md | 10855 | 4e2fa87d7c887395975607c39487716cb2ed8e21019e4e51a26f2df5f64398a3 |
| reasoning:mode-description | mode | Description | How can it be characterized? | https://banes-lab.com/json/records/reasoning/mode-description | https://banes-lab.com/records/reasoning/mode-description.md | 5765 | 604db1b0c86d65d2c27bd8ee2d0b32eaeb61af8464f106d33c3acd5d6d3ac820 |
| reasoning:mode-comparison | mode | Comparison | How is it similar or different? | https://banes-lab.com/json/records/reasoning/mode-comparison | https://banes-lab.com/records/reasoning/mode-comparison.md | 7804 | 45a9f3869895d94d4dcec88de2b0e9e9916a55655100c9710ef832acea06f28d |
| reasoning:mode-classification | mode | Classification | Which kind is it? | https://banes-lab.com/json/records/reasoning/mode-classification | https://banes-lab.com/records/reasoning/mode-classification.md | 5921 | 9f880981d316c8401116b8e4a0355a74a679d38abb4b0aec847ca45fb3cc7353 |
| reasoning:mode-abstraction | mode | Abstraction | removing irrelevant details | https://banes-lab.com/json/records/reasoning/mode-abstraction | https://banes-lab.com/records/reasoning/mode-abstraction.md | 5969 | 9bd0de69158d37b86589aa97c58aed1e5b6f87323763fb4c76f1e5fade49dec9 |
| reasoning:mode-generalization | mode | Generalization | extending examples into principles | https://banes-lab.com/json/records/reasoning/mode-generalization | https://banes-lab.com/records/reasoning/mode-generalization.md | 2128 | 53d4ed2bd8776a93ea469b339bcfe00cde66da21679753ebdab59d76cabd00ec |
| reasoning:mode-formalization | mode | Formalization | expressing ideas symbolically | https://banes-lab.com/json/records/reasoning/mode-formalization | https://banes-lab.com/records/reasoning/mode-formalization.md | 2556 | f7d8468a7d19a464e60c5cda30c9074ff7e1369e45e23a514d0c6dc1f6c73480 |
| reasoning:mode-explanation | mode | Explanation | Why is it this way? | https://banes-lab.com/json/records/reasoning/mode-explanation | https://banes-lab.com/records/reasoning/mode-explanation.md | 4462 | 8332bbd131a59167c17a5c2b966ae88c2711cdee8f321e1a25daa6409850ae88 |
| reasoning:mode-deduction | mode | Deduction | deriving necessary consequences | https://banes-lab.com/json/records/reasoning/mode-deduction | https://banes-lab.com/records/reasoning/mode-deduction.md | 1252 | fe5eeeaf35ed10f196bb7cf25a2674dd824b61ea0e1001ea8e304c7399933dd3 |
| reasoning:mode-construction | mode | Construction | building objects that satisfy rules | https://banes-lab.com/json/records/reasoning/mode-construction | https://banes-lab.com/records/reasoning/mode-construction.md | 4904 | 5b41845fcf1dcafbe4070883d3f2fbddefb864d4da6d55c9e5d1f1d89f4796f9 |
| reasoning:mode-proof | mode | Proof | establishing certainty | https://banes-lab.com/json/records/reasoning/mode-proof | https://banes-lab.com/records/reasoning/mode-proof.md | 2095 | 15c43ee48c72d98e06ebd844b2ace8afb3193786491b8670331e515bd8adb899 |
| reasoning:mode-prediction | mode | Prediction | What comes next? | https://banes-lab.com/json/records/reasoning/mode-prediction | https://banes-lab.com/records/reasoning/mode-prediction.md | 5161 | 1b6bbd4c7be758075b4b45bb84223672664a28cc746088689069e339a1ffed6c |
| reasoning:mode-optimization | mode | Optimization | selecting preferred solutions | https://banes-lab.com/json/records/reasoning/mode-optimization | https://banes-lab.com/records/reasoning/mode-optimization.md | 1708 | fd16b3c55d4246bbd50ccd59bfcc27ef884345636122b2b1258f43d0d7820578 |
| reasoning:mode-intervention | mode | Intervention | How can it be changed? | https://banes-lab.com/json/records/reasoning/mode-intervention | https://banes-lab.com/records/reasoning/mode-intervention.md | 8628 | ffda2cb1d0594fdf885b0aec3937c6a57a0d2fb10ceaee180c5c9df18b07ce31 |
| reasoning:mode-creation | mode | Creation | Can new examples be produced? | https://banes-lab.com/json/records/reasoning/mode-creation | https://banes-lab.com/records/reasoning/mode-creation.md | 3674 | 1529d5d0b8e23f901290e1e5be1ecfa4d16653036a1b6e986aa0026da98fcb13 |
| reasoning:mode-reflection | mode | Reflection | What general principles emerge? | https://banes-lab.com/json/records/reasoning/mode-reflection | https://banes-lab.com/records/reasoning/mode-reflection.md | 4832 | 860718fe5032ccb6b6fff2336360d8825872c83f22be3320978822953b92ad14 |
| reasoning:pattern-type-symbolic | pattern-type | Symbolic | formal systems and equations | https://banes-lab.com/json/records/reasoning/pattern-type-symbolic | https://banes-lab.com/records/reasoning/pattern-type-symbolic.md | 1274 | 9c062de644759934ca4b018c9e213f70ed64821b7176ab27d3c87e0d95ff5a74 |
| reasoning:pattern-type-number | pattern-type | Number | quantity and arithmetic | https://banes-lab.com/json/records/reasoning/pattern-type-number | https://banes-lab.com/records/reasoning/pattern-type-number.md | 1717 | 055c17ddfb35ee50a9d2d79dc7f596c5e6d19ac1ec9635ec96571e21916d4db7 |
| reasoning:pattern-type-algebra | pattern-type | Algebra | operations and transformations | https://banes-lab.com/json/records/reasoning/pattern-type-algebra | https://banes-lab.com/records/reasoning/pattern-type-algebra.md | 1728 | 7869ed9155ff39b3ff4a5566feef0e56a12b0894fb6ca8c4610b7b2c0ef37bf6 |
| reasoning:pattern-type-geometry | pattern-type | Geometry | shape and space | https://banes-lab.com/json/records/reasoning/pattern-type-geometry | https://banes-lab.com/records/reasoning/pattern-type-geometry.md | 1727 | 5a7678452ef45cd06b94bbd83271efd9c85d120ae92b3a8b40262f2e96263bf6 |
| reasoning:pattern-type-topology | pattern-type | Topology | connectivity and invariance | https://banes-lab.com/json/records/reasoning/pattern-type-topology | https://banes-lab.com/records/reasoning/pattern-type-topology.md | 1729 | 7d02e82bce4d74eeb254758dd895e4ad7099b12d833fdd9e382a5f3257a030d0 |
| reasoning:pattern-type-logic | pattern-type | Logic | truth and implication | https://banes-lab.com/json/records/reasoning/pattern-type-logic | https://banes-lab.com/records/reasoning/pattern-type-logic.md | 1736 | 65ef86d1aa748e213211ef734fd8db53463bf9e0865cbcb9359ebf2366229005 |
| reasoning:pattern-type-combinatorics | pattern-type | Combinatorics | possible arrangements | https://banes-lab.com/json/records/reasoning/pattern-type-combinatorics | https://banes-lab.com/records/reasoning/pattern-type-combinatorics.md | 3641 | 3cc5c516ad8f919f8f78e80acc160d2db7d6e6d3308e54b6c61e7b85fcf39073 |
| reasoning:pattern-type-statistical | pattern-type | Statistical | distribution and variation | https://banes-lab.com/json/records/reasoning/pattern-type-statistical | https://banes-lab.com/records/reasoning/pattern-type-statistical.md | 1356 | 751609997c8a6ba21ca5307021d04c9a9073239f31370b1b184d142d9b4d0b7c |
| reasoning:pattern-type-probability | pattern-type | Probability | randomness and uncertainty | https://banes-lab.com/json/records/reasoning/pattern-type-probability | https://banes-lab.com/records/reasoning/pattern-type-probability.md | 1800 | 9117ed051816036506b4536031f676fdf00040f8402ff5e27ba7bac3229e8602 |
| reasoning:pattern-type-information | pattern-type | Information | compression and complexity | https://banes-lab.com/json/records/reasoning/pattern-type-information | https://banes-lab.com/records/reasoning/pattern-type-information.md | 1842 | f00c2613351936d8efc46195bc4c98d28bdaccfd1751866752db5286239bcea6 |
| reasoning:pattern-type-dynamical-systems | pattern-type | Dynamical Systems | change over time | https://banes-lab.com/json/records/reasoning/pattern-type-dynamical-systems | https://banes-lab.com/records/reasoning/pattern-type-dynamical-systems.md | 1836 | 15f23827fbc109478b9c72cb87217de62bc211083eca7ded954a6d4a010f2eb8 |
| reasoning:pattern-type-computation | pattern-type | Computation | procedures and algorithms | https://banes-lab.com/json/records/reasoning/pattern-type-computation | https://banes-lab.com/records/reasoning/pattern-type-computation.md | 1849 | 56d68c2b478b342f7b5b014d0267a58b474e18d9cfc839ce1cee2342d204fb4d |
| reasoning:pattern-type-category-theory | pattern-type | Category Theory | relationships between structures | https://banes-lab.com/json/records/reasoning/pattern-type-category-theory | https://banes-lab.com/records/reasoning/pattern-type-category-theory.md | 1822 | 2728129e096321031f945aa00fe30ba8c7f7f12ff43f25dd180b8e5325e77150 |
| reasoning:pattern-type-fractal | pattern-type | Fractal | recursive self-similarity | https://banes-lab.com/json/records/reasoning/pattern-type-fractal | https://banes-lab.com/records/reasoning/pattern-type-fractal.md | 1342 | 9823faf4c42e4528c18fc44d515e03a07ad72e5719de0e68a1eebf318354a769 |
| reasoning:representation-symbolic | representation | Symbolic | equations, formulas, notation | https://banes-lab.com/json/records/reasoning/representation-symbolic | https://banes-lab.com/records/reasoning/representation-symbolic.md | 5698 | 30b4eabd8057b3f58ce730fbd4d125d865352e499faaee327b3ef885e382cbd6 |
| reasoning:representation-logic | representation | Logic | statements, predicates, proofs | https://banes-lab.com/json/records/reasoning/representation-logic | https://banes-lab.com/records/reasoning/representation-logic.md | 6455 | 456b9f30f661e85a2a155a2cee3b6ecfefe4a3972b61b2b8aa1ba78b5de99457 |
| reasoning:representation-number | representation | Number | numbers, quantities, measurements | https://banes-lab.com/json/records/reasoning/representation-number | https://banes-lab.com/records/reasoning/representation-number.md | 2592 | 6a574337f8a318f6790f29d9b2ffe0393b88ed45abc5150c068c118ec4ff2ad9 |
| reasoning:representation-algebra | representation | Algebra | operations, groups, fields | https://banes-lab.com/json/records/reasoning/representation-algebra | https://banes-lab.com/records/reasoning/representation-algebra.md | 1748 | ac486ec527974e11a5b87365fa408e828c58252eda1a528ee3dbb4eec0b70b0a |
| reasoning:representation-geometry | representation | Geometry | shapes, coordinates, spaces | https://banes-lab.com/json/records/reasoning/representation-geometry | https://banes-lab.com/records/reasoning/representation-geometry.md | 3390 | 9d5b6ed80ebb3f5dafc2cef86a20d5be270fb8ae4c58cbb41d02ac1506bd0ad7 |
| reasoning:representation-topology | representation | Topology | connectivity, continuity | https://banes-lab.com/json/records/reasoning/representation-topology | https://banes-lab.com/records/reasoning/representation-topology.md | 2616 | 2f0afeb1621aebfa1d695edca717ce053daeb41a529fa621ce88ba56f1f2c583 |
| reasoning:representation-graph | representation | Graph | diagrams, graphs, networks | https://banes-lab.com/json/records/reasoning/representation-graph | https://banes-lab.com/records/reasoning/representation-graph.md | 10544 | 0c3934e1aeceefe72b821801c85f673cbf75f466bddafbb4912ffc93c1ff13b0 |
| reasoning:representation-matrix | representation | Matrix | linear transformations | https://banes-lab.com/json/records/reasoning/representation-matrix | https://banes-lab.com/records/reasoning/representation-matrix.md | 1301 | 50945664c516b2e130d5f18c11945a481372f3269c58ed567e0391ae0bf5e912 |
| reasoning:representation-function | representation | Function | mappings between spaces | https://banes-lab.com/json/records/reasoning/representation-function | https://banes-lab.com/records/reasoning/representation-function.md | 1796 | 63fb09cb9b9bec5287d1ccaee445f78a37c95a33627d8564ce378ffdbb999a3a |
| reasoning:representation-information-theory | representation | Information Theory | entropy, encoding, compression | https://banes-lab.com/json/records/reasoning/representation-information-theory | https://banes-lab.com/records/reasoning/representation-information-theory.md | 2792 | f01e5f505ca5e03ea899c5619fa890b60ba92ecb23f4f3d8a6317e84b89a17cb |
| reasoning:representation-probability | representation | Probability | distributions and likelihoods | https://banes-lab.com/json/records/reasoning/representation-probability | https://banes-lab.com/records/reasoning/representation-probability.md | 2768 | 2ffa58eaa4516c31888f79236ee131f578a7daadcc3f1bd59e22e8221151d759 |
| reasoning:representation-dynamical-systems | representation | Dynamical Systems | state transitions | https://banes-lab.com/json/records/reasoning/representation-dynamical-systems | https://banes-lab.com/records/reasoning/representation-dynamical-systems.md | 8292 | 15a31952d1925536dcdd7986a2de0929ef462bb1ab488e43f32ceae37f77f5a9 |
| reasoning:representation-computation | representation | Computation | algorithms and programs | https://banes-lab.com/json/records/reasoning/representation-computation | https://banes-lab.com/records/reasoning/representation-computation.md | 10387 | 89259034ffd82c9ea3751a101a454c0e4d243c5fce580a17166b61e37e71723a |
| reasoning:representation-category-theory | representation | Category Theory | objects and morphisms | https://banes-lab.com/json/records/reasoning/representation-category-theory | https://banes-lab.com/records/reasoning/representation-category-theory.md | 1855 | f4960e46a688be7ec49c2ccd608ac57e150e833c3dfaa9510c1ceb5a52f7787e |
| reasoning:technique-static-analysis | technique | Static Analysis | Reads structure and types for defects before execution | https://banes-lab.com/json/records/reasoning/technique-static-analysis | https://banes-lab.com/records/reasoning/technique-static-analysis.md | 5437 | b4677e5341cf778e90080cbf1ffa624508782ee3a267d4e339387119908072f1 |
| reasoning:technique-unit-testing | technique | Unit Testing | Compares observed with expected results on an isolated unit | https://banes-lab.com/json/records/reasoning/technique-unit-testing | https://banes-lab.com/records/reasoning/technique-unit-testing.md | 3113 | 4e4b39c43aac2879f276f5baca07190953aba7b101e05850c7e1183046774f9e |
| reasoning:technique-integration-testing | technique | Integration Testing | Compares observed with expected results across cooperating parts | https://banes-lab.com/json/records/reasoning/technique-integration-testing | https://banes-lab.com/records/reasoning/technique-integration-testing.md | 4001 | 8e423caf4cf167c0a21683a6d7194a6de48d03ed72360ac7f8d8f7cd6b6d12d1 |
| reasoning:technique-end-to-end-testing | technique | End To End Testing | Compares observed with expected results on the whole system | https://banes-lab.com/json/records/reasoning/technique-end-to-end-testing | https://banes-lab.com/records/reasoning/technique-end-to-end-testing.md | 3187 | 26eec07386be3a28ba948a5cc8d004dbe3796ec5d0f31be403904c769e914075 |
| reasoning:technique-property-based-testing | technique | Property Based Testing | Asserts that an invariant holds across a generated input space | https://banes-lab.com/json/records/reasoning/technique-property-based-testing | https://banes-lab.com/records/reasoning/technique-property-based-testing.md | 4973 | 25ecdf482e8c6179827f1163ac96fbbde29ab019649cba13caf21d7dd14aacf9 |
| reasoning:technique-differential-testing | technique | Differential Testing | Compares observed results with a reference implementation, the oracle | https://banes-lab.com/json/records/reasoning/technique-differential-testing | https://banes-lab.com/records/reasoning/technique-differential-testing.md | 3625 | aa904aa36831de4ada1bc21ab644f8465305904617250663358831c0907930f3 |
| reasoning:technique-contract-testing | technique | Contract Testing | Compares an observed interface with an agreed contract | https://banes-lab.com/json/records/reasoning/technique-contract-testing | https://banes-lab.com/records/reasoning/technique-contract-testing.md | 4034 | 566bace6922997f47b2b378301760408c9fd4712e8e43d98970ea50e7cc95dac |
| reasoning:technique-runtime-validation | technique | Runtime Validation | Checks boundary data against its declared shape at runtime | https://banes-lab.com/json/records/reasoning/technique-runtime-validation | https://banes-lab.com/records/reasoning/technique-runtime-validation.md | 4128 | 5597033f41925ce50dfa2c9457b8768d9468d9f00aad285662e97ea16c1185c0 |
| reasoning:technique-assertion-checking | technique | Assertion Checking | Checks a runtime condition against an assumed invariant | https://banes-lab.com/json/records/reasoning/technique-assertion-checking | https://banes-lab.com/records/reasoning/technique-assertion-checking.md | 4833 | caf7bbc835bfb0dbfc51945f37ad4e7a292c312eb47a4563be128a250f4f55af |
| reasoning:technique-fuzz-testing | technique | Fuzz Testing | Generates adversarial inputs to provoke unhandled failures | https://banes-lab.com/json/records/reasoning/technique-fuzz-testing | https://banes-lab.com/records/reasoning/technique-fuzz-testing.md | 3082 | ca3154ef3f64701b234337eb717bbeaceae4f646ceacaffcf47d75e6e45c4fad |
| reasoning:technique-load-testing | technique | Load Testing | Projects behavior under expected demand | https://banes-lab.com/json/records/reasoning/technique-load-testing | https://banes-lab.com/records/reasoning/technique-load-testing.md | 3503 | de2f5572b3152c7036de867adfada5f7f9c8db4e34853782649b3ee1b29c5233 |
| reasoning:technique-stress-testing | technique | Stress Testing | Projects behavior past its limits to expose timing and ordering defects | https://banes-lab.com/json/records/reasoning/technique-stress-testing | https://banes-lab.com/records/reasoning/technique-stress-testing.md | 3083 | e805d6ccc30d6b240fc48dc4ee0a1b005f4314562ffecd9e9b3dfe8d80b94fee |
| reasoning:technique-profiling | technique | Profiling | Measures the distribution of execution cost | https://banes-lab.com/json/records/reasoning/technique-profiling | https://banes-lab.com/records/reasoning/technique-profiling.md | 3897 | 7e7d4be29f8bd0c5b3ce23e14d1530b496ecd69a2ed6b4357ce9649685d80245 |
| reasoning:technique-heap-analysis | technique | Heap Analysis | Measures allocation and retention over time | https://banes-lab.com/json/records/reasoning/technique-heap-analysis | https://banes-lab.com/records/reasoning/technique-heap-analysis.md | 3006 | cdbc2a1c1e9e1b03d29e2c66e788ffe3098d0878bd5a42b97d086773537ad9ac |
| reasoning:technique-tracing | technique | Tracing | Describes the runtime flow across components | https://banes-lab.com/json/records/reasoning/technique-tracing | https://banes-lab.com/records/reasoning/technique-tracing.md | 3513 | 5538d187bab508f352855c01d026a32cabfb4904386fefe769aa4d88be4d7441 |
| reasoning:technique-fault-injection | technique | Fault Injection | Induces a failure and observes the response | https://banes-lab.com/json/records/reasoning/technique-fault-injection | https://banes-lab.com/records/reasoning/technique-fault-injection.md | 3519 | c96dd708986033b8b3474707cd9cd1dfaecc09b02548ea2a0f7e9743fc442a5f |
| reasoning:technique-chaos-testing | technique | Chaos Testing | Induces random failures and observes how the system recovers | https://banes-lab.com/json/records/reasoning/technique-chaos-testing | https://banes-lab.com/records/reasoning/technique-chaos-testing.md | 4063 | 4f3b251189786f4684c8810e11a1eba86012b293eec3e860b1079de192b4e7ac |
| reasoning:technique-model-checking | technique | Model Checking | Proves that a property holds across the reachable state space | https://banes-lab.com/json/records/reasoning/technique-model-checking | https://banes-lab.com/records/reasoning/technique-model-checking.md | 3568 | 56cf78bbd280b0622823d66d38589050900361dcb1af1ac34a764929464efe0f |
| reasoning:technique-deterministic-replay | technique | Deterministic Replay | Reproduces a run to isolate a non-deterministic cause | https://banes-lab.com/json/records/reasoning/technique-deterministic-replay | https://banes-lab.com/records/reasoning/technique-deterministic-replay.md | 3554 | 02dbd80a39f1ce065cfb63770b917b10ff0aee9f8c4f23c3432cfa8cd4d63b05 |
| reasoning:technique-monitoring | technique | Monitoring | Observes live behavior for deviations from normal | https://banes-lab.com/json/records/reasoning/technique-monitoring | https://banes-lab.com/records/reasoning/technique-monitoring.md | 4862 | b30c3f76e29df8429a79ac040a49939549d92cc2b145d277bd36deb0d2f0e8f9 |
| reasoning:technique-mutation-testing | technique | Mutation Testing | Introduces a deliberate defect and checks that the tests or the rule report it | https://banes-lab.com/json/records/reasoning/technique-mutation-testing | https://banes-lab.com/records/reasoning/technique-mutation-testing.md | 2303 | bebafd3fe13901a267cccb89f62f8d684333d513d786760f74e76cf02bdeca17 |
| reasoning:technique-read-after-write-verification | technique | Read After Write Verification | Reads back what was written and compares it with what was meant to be written | https://banes-lab.com/json/records/reasoning/technique-read-after-write-verification | https://banes-lab.com/records/reasoning/technique-read-after-write-verification.md | 2341 | 0f4ed1e8b8370f716834a7e1741b61659bd73c0b76f12f0ab7e31804aa07a94d |
| reasoning:test-surface-semantic-correctness | test-surface | Semantic Correctness | output(input) = expected(input) | https://banes-lab.com/json/records/reasoning/test-surface-semantic-correctness | https://banes-lab.com/records/reasoning/test-surface-semantic-correctness.md | 12209 | fc2dccc95c62c90db09e8d7c321c337052bdcee3e90ce9919a62eee3164041c5 |
| reasoning:test-surface-functional-correctness | test-surface | Functional Correctness | transition in allowedTransitions | https://banes-lab.com/json/records/reasoning/test-surface-functional-correctness | https://banes-lab.com/records/reasoning/test-surface-functional-correctness.md | 9676 | 0dc39133732a429d06c4ef9c133abbf1a7e87bac717c05004eb0cf5d74509afd |
| reasoning:test-surface-state-correctness | test-surface | State Correctness | state[t+1] in next(state[t]) | https://banes-lab.com/json/records/reasoning/test-surface-state-correctness | https://banes-lab.com/records/reasoning/test-surface-state-correctness.md | 9735 | f42a37e8f86d3ec4dda158c2d635e7e022ea83cd711fc819e8ef4122636b29f4 |
| reasoning:test-surface-interface-correctness | test-surface | Interface Correctness | payload models declaredSchema | https://banes-lab.com/json/records/reasoning/test-surface-interface-correctness | https://banes-lab.com/records/reasoning/test-surface-interface-correctness.md | 9718 | d6cc3ea2faf21ee7c565ac3be29ea7798bd7b6625d7525e3d37d1fcfcefdb82d |
| reasoning:test-surface-interaction-correctness | test-surface | Interaction Correctness | response = contract(request) | https://banes-lab.com/json/records/reasoning/test-surface-interaction-correctness | https://banes-lab.com/records/reasoning/test-surface-interaction-correctness.md | 10114 | ec8ca58b9beae15364c6f34454957030bfd9f68cbe94122db03807aba7213dc6 |
| reasoning:test-surface-temporal-correctness | test-surface | Temporal Correctness | elapsed <= deadline | https://banes-lab.com/json/records/reasoning/test-surface-temporal-correctness | https://banes-lab.com/records/reasoning/test-surface-temporal-correctness.md | 9955 | 0695fc9fdf8e3cfe49d065dc98012553e3f17d617bcf2d282d9da0381c928b9f |
| reasoning:test-surface-concurrency-correctness | test-surface | Concurrency Correctness | for-all interleavings: linearizable(history) | https://banes-lab.com/json/records/reasoning/test-surface-concurrency-correctness | https://banes-lab.com/records/reasoning/test-surface-concurrency-correctness.md | 9729 | 5d2e2926ab3c3dbe4937dd9729750466b9bee15e9213123549f4ad3b393cf58a |
| reasoning:test-surface-memory-correctness | test-surface | Memory Correctness | liveSet bounded as t grows and retained delta approaches 0 | https://banes-lab.com/json/records/reasoning/test-surface-memory-correctness | https://banes-lab.com/records/reasoning/test-surface-memory-correctness.md | 9650 | f572cfac53d42b58c8f2595bd989d77f8fafc7d7878b7f1feb0f0287d9fa01b0 |
| reasoning:test-surface-resource-correctness | test-surface | Resource Correctness | acquired = released (no leaked handles) | https://banes-lab.com/json/records/reasoning/test-surface-resource-correctness | https://banes-lab.com/records/reasoning/test-surface-resource-correctness.md | 9755 | 40340afdbcafec1543b61be6b728f19c7dc695cad407d5398e2e12f92b724129 |
| reasoning:test-surface-performance-correctness | test-surface | Performance Correctness | latency_p99 <= budget and throughput >= floor | https://banes-lab.com/json/records/reasoning/test-surface-performance-correctness | https://banes-lab.com/records/reasoning/test-surface-performance-correctness.md | 9651 | cebeb545a2a06a3c9b6513bc1a00bfb745e568d2bd818cf68987ec526e41cb7e |
| reasoning:test-surface-reliability-correctness | test-surface | Reliability Correctness | no input leads to an unhandled fault | https://banes-lab.com/json/records/reasoning/test-surface-reliability-correctness | https://banes-lab.com/records/reasoning/test-surface-reliability-correctness.md | 10125 | 14ac91b0b005b680bc830dfb312c9faa86bde6984cff1617d76fe1f7bdf35b2c |
| reasoning:test-surface-availability-correctness | test-surface | Availability Correctness | uptime >= SLO under the declared fault set | https://banes-lab.com/json/records/reasoning/test-surface-availability-correctness | https://banes-lab.com/records/reasoning/test-surface-availability-correctness.md | 9741 | 6304423c342e96d6b5634a3959a4b3fbb67b40607e59847d9fe2a9d34b70503d |
| reasoning:test-surface-consistency-correctness | test-surface | Consistency Correctness | for-all replicas: converge(state) | https://banes-lab.com/json/records/reasoning/test-surface-consistency-correctness | https://banes-lab.com/records/reasoning/test-surface-consistency-correctness.md | 9764 | e2e7f46bd719b4b7280f22e4160115b6d092e0df5b1d3c58fa531123272c27f8 |
| reasoning:test-surface-data-correctness | test-surface | Data Correctness | persisted = written and migrate then inverse = identity | https://banes-lab.com/json/records/reasoning/test-surface-data-correctness | https://banes-lab.com/records/reasoning/test-surface-data-correctness.md | 9694 | 2ec4e64ee2b2708456fb471e254fb2417ca0b8dda8286dd487650d977df6f392 |
| reasoning:test-surface-numerical-correctness | test-surface | Numerical Correctness | result is finite and not overflow and not NaN | https://banes-lab.com/json/records/reasoning/test-surface-numerical-correctness | https://banes-lab.com/records/reasoning/test-surface-numerical-correctness.md | 9673 | 0ee32a2976dfffd485d43e6e58b87cf8c5841feb72d8a199e89475b0bd4f853c |
| reasoning:test-surface-security-correctness | test-surface | Security Correctness | no input yields privilege escalation or injection | https://banes-lab.com/json/records/reasoning/test-surface-security-correctness | https://banes-lab.com/records/reasoning/test-surface-security-correctness.md | 9649 | 375d2b43656ea9e98c68d9be61ae9280410e67541c94343dc8a4570f8f8c1028 |
| reasoning:test-surface-determinism-correctness | test-surface | Determinism Correctness | f(x) = f(x) across runs | https://banes-lab.com/json/records/reasoning/test-surface-determinism-correctness | https://banes-lab.com/records/reasoning/test-surface-determinism-correctness.md | 9799 | 7fe09cc10f1733f365cc3a2f7b518eddecf5c42755011a53b962ea83e3ee0134 |
| reasoning:test-surface-protocol-correctness | test-surface | Protocol Correctness | messageSeq in protocolGrammar | https://banes-lab.com/json/records/reasoning/test-surface-protocol-correctness | https://banes-lab.com/records/reasoning/test-surface-protocol-correctness.md | 9718 | 03d41c04d69178288df915798c722b244b752f1b12c8928c95ba380b01890a45 |
| reasoning:test-surface-configuration-correctness | test-surface | Configuration Correctness | config models configSchema | https://banes-lab.com/json/records/reasoning/test-surface-configuration-correctness | https://banes-lab.com/records/reasoning/test-surface-configuration-correctness.md | 9711 | d00d3526470385594e633bd60442a1660d68bf38b82b674c312f976b269f0b41 |
| reasoning:test-surface-observability-correctness | test-surface | Observability Correctness | for-all event: emitted and measurable | https://banes-lab.com/json/records/reasoning/test-surface-observability-correctness | https://banes-lab.com/records/reasoning/test-surface-observability-correctness.md | 9639 | e64263c82420301a7a0baa7817539eb58388d3225aad226c79d4af31ce906a13 |
| reasoning:universal-axis-existence | universal-axis | Existence | What entities are present? | https://banes-lab.com/json/records/reasoning/universal-axis-existence | https://banes-lab.com/records/reasoning/universal-axis-existence.md | 2310 | 31935ac51f3553bd7a4e9f2219382db8b08ac2e683c2ea40ae8af793fe3e6bac |
| reasoning:universal-axis-arrangement | universal-axis | Arrangement | How are they organized? | https://banes-lab.com/json/records/reasoning/universal-axis-arrangement | https://banes-lab.com/records/reasoning/universal-axis-arrangement.md | 3632 | f659894de0ae5a2cdf4304e120b8931b5d7680229b2a5f6abe7e243a300e6152 |
| reasoning:universal-axis-dynamics | universal-axis | Dynamics | How do they change? | https://banes-lab.com/json/records/reasoning/universal-axis-dynamics | https://banes-lab.com/records/reasoning/universal-axis-dynamics.md | 4336 | 7b943f02f2941cc62dab5ee89248131d522aabd79c8a41bb85a0356e581ecd0d |
| reasoning:universal-axis-interaction | universal-axis | Interaction | How do they influence one another? | https://banes-lab.com/json/records/reasoning/universal-axis-interaction | https://banes-lab.com/records/reasoning/universal-axis-interaction.md | 4003 | 46ae215c4347f98e44302c9bdae961755548fa7b9a54e81d35d0444521302b01 |
| reasoning:universal-axis-abstraction | universal-axis | Abstraction | What meaning or principle can be inferred? | https://banes-lab.com/json/records/reasoning/universal-axis-abstraction | https://banes-lab.com/records/reasoning/universal-axis-abstraction.md | 5799 | 8fc875ea4c57eda9b8a4e91dd30252c21fe7e5ac703ac8ddf59691f859003f4f |
| reasoning:loop-derivation-loop | loop | Derivation Loop | The derivation loop runs through 10 stages, from Orient to Terminate. | https://banes-lab.com/json/records/reasoning/loop-derivation-loop | https://banes-lab.com/records/reasoning/loop-derivation-loop.md | 20522 | dfc8f1a54c624839f0ad79b385b2d675d5c3f020411fe76cc31b57ca71233813 |