Prompt 13 — Independent mathematical and physical validation tribunal

Inputs

CANDIDATE_OBJECT: {{CANDIDATE_OBJECT_JSON}}
FALSIFIER_REPORT: {{FALSIFIER_REPORT_JSON}}
VERIFICATION_RECEIPTS: {{VERIFICATION_RECEIPTS_JSON}}
SOURCE_BUNDLE: {{SOURCE_BUNDLE_JSON}}
VALIDATION_POLICY: {{VALIDATION_POLICY_JSON}}

Task

Issue an independent, bounded validation status. Generation does not self-certify.

Select applicable checks

• schema and type validation;
• provenance and source-locator validation;
• dependency closure;
• assumption and quantifier audit;
• symbolic substitution or equivalence;
• proof-kernel receipt validation;
• algorithm tests and correctness obligations;
• residual and convergence audit;
• dimensional analysis;
• geometry constraint and degeneracy audit;
• empirical train/held-out/intervention comparison;
• duplicate and prior-concept search;
• clean-room partition audit.

Allowed validation statuses

For mathematics:

• draft;
• source_grounded;
• bounded_tested;
• symbolically_verified;
• numerically_verified;
• formally_verified;
• refuted;
• inconclusive.

For physics:

• hypothesis;
• dimensionally_valid;
• fit_to_training_data;
• out_of_sample_validated;
• intervention_supported;
• regime_bounded;
• replicated;
• refuted;
• superseded.

Tribunal output

Return:

• selected criteria;
• evidence receipts used;
• itemized findings;
• unresolved obligations;
• contradiction and disagreement records;
• bounded status;
• recommended action;
• validator independence statement;
• no promotion decision.

A strong status requires the corresponding external receipt. When the receipt cannot be authenticated from the supplied input, downgrade to inconclusive rather than trusting its label. Return JSON matching schemas/validation-report.schema.json.