7.6 Combinations across the AGENTIC testbeds

The testbeds expose interfaces under different evidence regimes.

Mathematical theory construction.

The ingredients and their types can be formal. A proposal might connect two algebraic structures through a functor, adjunction, invariant, or shared presentation. Proof assistants can check legality and derive consequences, although mathematical interest remains an additional observer.

Simulator-grounded discovery.

The ingredients are modules, mechanisms, or state variables. A proposed interface can be executed. Interventions on one module test whether predicted effects cross the boundary into the other, and held-out regimes test whether the coupling is more than a fitted coincidence.

Scientific corpus to theory.

The ingredients and interface must first be extracted from language. A model may suggest that two mechanisms share a mediator or invariant, but textual co-occurrence is not enough. Source provenance, incompatible claims, and an external experiment or database must remain visible in the admission record.

Generative visual languages.

The ingredients include visual objects, attributes, relations, prompt constructions, and image controls. Combining registered ingredients can yield novel images, but ARTISTIC asks a stronger question: whether the combination becomes a productive, counterfactually grounded constructor that transports across scenes and viewpoints. A new token that merely abbreviates an existing prompt is weaker evidence than a new visual-language operation.