Stroscot Component Architecture (Tracking issue)

[Mathnerd314]

Issue tree:

• Layer 0 – Language Semantics / Semantic Foundation: These components define how the source program runs on the target system — the "naive" P-code machine plus the mathematical function (reduction engine + IR) over it.
  • 0.1 Native Dispatch Runtime #7
    • 0.1.1 Memory & Reference Representation #8
    • 0.1.2 Process Virtualization #9
    • 0.1.3 Exceptions, Traps, and Error Handling #10
  • 0.2 Graph-Based Optimal Reduction Engine and IR #11
    • 0.2.1 Term Rewriting & Strategy Module #12
    • 0.2.2 Symbol Tables & Name Resolution (Including Posets) #13
• Layer 1 – Deployed Image (Target-Side): These are the components present in the image running on the target system — beyond a minimal "naive" implementation, the deployed image includes optimized code and stitching/runtime logic.
  • 1.1 Tiered IR & Code Cache #14
  • 1.2 Stitching Logic & Guards/Deoptimization #15
  • 1.3 Runtime Profiling, Instrumentation, & Baseline Behavior Estimator #16
• Layer 2 – Host↔Target Protocol #17
• Layer 3 – Host-Side Compiler: These components run on the host system and produce the optimized IR and code to send to the target.
  • 3.1 Abstract Interpreter #18
    • 3.1.1 Binding-Time Analysis (BTA) #19
    • 3.1.2 Meta-Programming and AOP #20
  • 3.2 Verification & Logic Engine #21
    • 3.2.1 CEGAR & Predicate Abstraction #22
    • 3.2.2 SMT/SAT & Logic Engine for Verification #23
    • 3.2.3 Verification Meta-techniques & Portfolios #24
    • 3.2.4 Invariant Checker & Adapter Layer #25
  • 3.3 Optimizing Compiler #26
    • 3.3.1 IR Normalization & Cleanup Passes #27
    • 3.3.2 Tunable Optimization Objective Engine #28
    • 3.3.3. Unison-Style Global Code Generator (Compiler Core) #29
    • 3.3.4 Tracing & Loop Analysis #30
  • 3.4 Tier Controller #31
    • 3.4.1 Incremental/Parallel Build Engine #32
• Layer 4 – Bootstrapping #33
  • 4.4 Self-Hosting & Cross-Compilation #34
  • 4.5 Build System #35
• Layer 5 – Developer Tooling & Meta
  • 5.1 Interactive Execution & Debugger #36
  • 5.2 Test Suite #37
  • 5.3 Compiler Feature Flags & Diagnostic System #38
  • 5.4 Standard Library #39

Diagram:

[Mathnerd314]

Historical note: Imported / live version of https://docs.google.com/document/d/1dU7rOA4sHvxigsqyu_OEyhvxpQKlFFlw2ZtiL8o9uac/edit / https://github.com/Mathnerd314/stroscot/blob/5d5ea617296a3bdcdb19111147a393d3ffeb09ba/new-sprint/algorithms_component_breakdown.md