Prompt 15 — Mathematical invention promotion gate

Inputs

CANDIDATE: {{CANDIDATE_JSON}}
VALIDATION_REPORT: {{VALIDATION_REPORT_JSON}}
FALSIFIER_REPORT: {{FALSIFIER_REPORT_JSON}}
ONTOLOGY_REPORT: {{ONTOLOGY_REPORT_JSON}}
UTILITY_EVALUATION: {{UTILITY_EVALUATION_JSON}}
PARTITION_POLICY: {{PARTITION_POLICY_JSON}}

Task

Produce a promotion-decision artifact. Do not modify the library.

Hard gates

All must pass or be explicitly inapplicable:

• schema validity;
• stable identity and semantic version;
• provenance present;
• partition policy passed;
• no false verification claim;
• assumptions and scope explicit;
• dependency closure or declared unresolved dependency;
• no unresolved blocker counterexample;
• appropriate mathematical or empirical validation status;
• duplicate/ontology review completed;
• held-out utility evaluation completed for invented concepts;
• contamination audit passed for clean-room runs;
• human gate completed when policy requires it.

Utility score

Report component values without hiding trade-offs:

• solve-rate gain;
• proof/program compression;
• transfer across problem families;
• predictive gain for physics;
• interpretability;
• reuse count;
• complexity cost;
• brittleness cost;
• verification cost.

Do not average away a failed hard gate.

Decisions

• promote;
• promote_conditionally;
• retain_staging;
• repair;
• split;
• reject;
• escalate.

Return only JSON matching schemas/promotion-decision.schema.json.