Overview
Arcadia is the runtime layer of the Real Science software corridor. If GeoQ expresses structure, Arcadia is intended to execute it.
Purpose
Interpret GeoQ structures.
Apply constraints during execution.
Support geometry-aware computation.
Produce outputs that remain verification-compatible.
Conceptual flow
GeoQ definition → Arcadia interpretation → constraint application → output → residual comparison
What Arcadia is not
not merely a generic runtime
not detached from geometry
not detached from verification
Relationship
GeoQ and Arcadia form a pair: GeoQ describes structure, Arcadia executes structure.