R-PRED-DM1 — Prediction Interface for P-DM1
Purpose
This document defines the prediction interface for P-DM1.
It specifies:
- What quantities must be extracted from data
- How they map onto the prediction
- What constitutes agreement or failure
This document introduces no new predictions and no new theory.
Normativity
R-PRED-DM1 is non-normative.
- It does not add constraints to P-DM1
- It may be revised without changing the prediction
- It exists to ensure disciplined and reproducible testing
1. Required Observables
To test P-DM1, an empirical study must determine:
- Total halo mass ( M_{\text{halo}} )
- Core radius ( r_{\text{core}} )
- Enclosed mass profile within ( r_{\text{core}} )
These may be inferred via rotation curves, mass models, or equivalent methods.
2. Definition of Core Radius
For the purposes of P-DM1 testing:
- ( r_{\text{core}} ) is defined as the radius over which the density profile flattens to an approximately constant central value
- Any reasonable, published core definition may be used provided it is applied uniformly
The interface does not mandate a specific halo model (e.g. Burkert, ISO), but consistency must be demonstrated.
3. Mapping to the Prediction
Empirical results should be compared against:
Testing must include:
- Power-law fit to extracted ( (M_{\text{halo}}, r_{\text{core}}) )
- Estimated exponent with uncertainty
- Scatter analysis
4. Surface Density Test
Compute the boundary-limited surface density:
This follows P-DM1’s boundary-limited saturation definition (without ), reflecting that reconciliation is an interface process rather than a volume process.
Test whether:
- ( \Sigma_0 ) is approximately constant
- Scatter is consistent with observational uncertainty
- No systematic trend with ( M_{\text{halo}} )
Note: The absence of is not a notational choice—it reflects the substrate-level claim that closure saturation is boundary-limited, not volume-limited.
5. Statistical Expectations
The interface does not prescribe:
- Specific fitting algorithms
- Bayesian vs frequentist approaches
- Error models
However:
- The same method must be applied across the dataset
- Sensitivity tests should be reported
- Model selection freedom must be declared
6. Reporting Requirements
Any empirical paper testing P-DM1 must clearly state:
- Dataset used
- Core definition employed
- Halo mass inference method
- Deviations from this interface (if any)
7. What This Interface Does Not Do
This document does not:
- Judge empirical success or failure
- Compare against alternative theories
- Recommend datasets
- Provide software or code
Those belong to application papers.
Status
Epistemic Role: Reference specification
Normativity: None
Primary Value: Preventing analytic degrees of freedom from obscuring falsification
This interface exists to make failure as clear as success.