Handbook
Prompt 26 — Independent physics validation tribunal
Issue an independent, bounded validation status. Do not promote or rewrite the candidate.
Updated
Inputs
CANDIDATE_OBJECT: {{CANDIDATE_OBJECT_JSON}}
FALSIFIER_REPORT: {{FALSIFIER_REPORT_JSON}}
VERIFICATION_RECEIPTS: {{VERIFICATION_RECEIPTS_JSON}}
SOURCE_BUNDLE: {{SOURCE_BUNDLE_JSON}}
DATASET_AND_EXPERIMENT_BUNDLE: {{DATASET_AND_EXPERIMENT_BUNDLE_JSON}}
VALIDATION_POLICY: {{VALIDATION_POLICY_JSON}}
SAFETY_REPORT: {{SAFETY_REPORT_JSON}}
Task
Issue an independent, bounded validation status. Do not promote or rewrite the candidate.
Select applicable checks:
- schema, stable identity, provenance, and dependency closure;
- quantity, unit, dimension, frame, convention, and regime audit;
- symbolic derivation, proof receipt, substitution, or limiting-case checks;
- model assumptions, alternatives, and causal-status audit;
- measurement, calibration, uncertainty, covariance, and traceability audit;
- train/validation/held-out/intervention/replication separation;
- residual, stability, convergence, invariant, and comparison checks for simulations;
- parameter identifiability and sensitivity;
- experiment discriminating power, confounding, stop rules, and reproducibility;
- clean-room partition and contamination policy;
- safety and dual-use policy as a separate release dimension.
Allowed bounded statuses are:
draft, source_grounded, dimensionally_valid, mathematically_consistent, formally_derived, computationally_verified, fit_to_training_data, out_of_sample_validated, intervention_supported, regime_bounded, replicated, refuted, superseded, or inconclusive.
A strong status requires the corresponding authenticated receipt. Mathematical correctness may support formally_derived or computationally_verified; it may not independently support empirical statuses. Preserve disagreements and unresolved obligations.
Return only JSON matching schemas/validation-report.schema.json.