Lightwell Institute for Open Science•Formal Systems & Architecture Library•ORCID: 0009-0002-8487-759X

Recovered System Architectures &
AST Reasoning Engines

Cangjie-Deconstructor Extraction Pipeline

Searchable catalog of formal computational architectures extracted from scientific literature and heterogeneous knowledge bases. Each entry represents an invariant AST node decomposition and reusable reasoning primitive.

6
Formal Architectures
6
Domain Categories
36
AST Primitives
A4
Target Altitude
Scientific Reasoning

Wiener Bayesian Control Compiler

A reasoning engine that models intelligence as recursive Bayesian estimation under feedback. Derived from Norbert Wiener's cybernetic framework, it treats all cognition as state estimation with error correction. The system observes, predicts, acts, measures error, and updates — continuously closing the loop between model and world.

ObservationState EstimationPredictionBayesian UpdatingFeedbackError Correction
Observe→Estimate State→Predict→Act→ …
Self-Referential Intelligence

Von Foerster Cybernetic Reasoning Engine

A second-order cybernetic reasoning system where the observer is part of the system being observed. Derived from Heinz von Foerster's work on self-referential systems, it models intelligence as recursive self-observation leading to self-modification. The system does not merely compute — it computes about its own computing.

ObserverSelf-ReferenceFeedbackRecursionSelf-ModificationEigenvalues
System→Observer→Observation of Observer→Self-Modification→ …
Scientific Discovery

GASOIRE

Galilean-Aristotelian-Sampling-Observational-Inductive Reasoning Engine. A computational model of the scientific method itself: from observation through measurement, hypothesis formation, experimentation, and model update. It encodes the invariant structure of empirical discovery across all scientific domains.

ObservationMeasurementHypothesisExperimentModel UpdateInduction
Observation→Measurement→Hypothesis→Experiment→ …
Analytical Reasoning

Cartesian Generator

A decomposition-recomposition reasoning engine derived from Descartes' method of analysis. It dissolves complex problems into primitive components, identifies the irreducible elements, and reconstructs the system from foundations. The core operation is systematic decomposition until only self-evident truths remain.

DecompositionPrimitive IdentificationDoubtFoundationReconstructionCertainty
Question Assumptions→Reduce Complexity→Identify Primitives→Verify Foundations→ …
Engineering Innovation

Tesla Autonomy-Dissolver Reasoning Engine

A reasoning engine that discovers hidden constraints by systematically removing assumptions. Derived from Nikola Tesla's method of imagining fully realized systems and working backward to identify every required condition. It dissolves the apparent autonomy of phenomena by revealing the constraint structure beneath.

Constraint IdentificationAssumption RemovalBoundary DetectionDependency MappingArchitecture ReconstructionInnovation
Existing System→Remove Assumptions→Identify Constraints→Map Dependencies→ …
Evolutionary Design

Leonardo Design Laboratory

An evolutionary architecture discovery engine modeled on Leonardo da Vinci's iterative design process. It generates multiple architectural candidates, evaluates them against criteria, selects survivors, mutates them, and archives results. The core operation is variation → evaluation → selection → mutation, applied recursively to architecture space.

GenerationEvaluationSelectionMutationArchiveIteration
Generate→Evaluate→Select→Mutate→ …