This paper introduces Reality-Contact Theory (RCT), a formal framework for evaluating how observable signal processes come into constrained contact with reality under fixed claim-use specifications. The theory does not assume direct access to an absolute external reality. Instead, it studies observable episodes in which a process predicts, selects, generates, intervenes on, or attempts to steer a signal, and then receives feedback whose features constrain that operation. RCT represents such evidence through ordered lower contact profiles. These profiles are observer-relative, specification-dependent, and built only from observable records, estimator states, actions, signals, feature extractors, lineage records, and certified audit rows. The framework separates population profiles from estimates, estimates from certified lower bounds, and scalar scores from multi-coordinate profile adequacy. A central contribution is a conservative lower-bound calculus for reality contact. Support is aggregated through capacity-weighted lineage dependence structures, so repeated, cloned, or Sybil-like evidence cannot automatically amplify support. Gauge-quotient obstruction profiles prevent coordinate changes from being mistaken for contact evidence. Strategic presentation families and cumulative adversarial budgets distinguish contact-producing resistance from deceptive rigidity. The theory also includes formal extensions for metric resistance, active specification envelopes, topological lineage audits, Hodge and signature-based capacity rules, optimal-transport transfer, dynamic Fenchel transfer, random closed uncertainty sets, time-uniform confidence profiles, stopping-time extraction, and continuous-time contact flows. The main results establish lower-profile soundness under calibration coverage, protocol soundness for admissible non-circular proof ledgers, final claim soundness with explicit failure budgets, budgeted deception counting over graph-covered adversary envelopes, computable nonlinear transfer bounds, and adaptive confidence profiles for ongoing audits. The framework is intended for settings where evidence, model behavior, provenance, and adversarial presentation must be evaluated without assuming an observer-neutral truth oracle. Potential application domains include AI system evaluation, automated scientific discovery, sequential decision systems, causal modeling, model documentation, provenance auditing, robust simulation studies, and evidence aggregation under strategic or generated-data conditions.
K Takahashi (Mon,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: