{"schema_version":1,"experiment_id":"eoa_inverse_innovation_exp11_mechanism_context_external20_20260804","cell_id":"computability_boundary_mapping__economics_finance","judge_id":"J1","item_assessments":[{"opaque_id":"computability_boundary_mapping__economics_finance__A","supported_problem":3,"external_distinctiveness":3,"testability":4,"researchability":4,"evidence_quality":4,"fatal_issue":null},{"opaque_id":"computability_boundary_mapping__economics_finance__C","supported_problem":2,"external_distinctiveness":2,"testability":4,"researchability":3,"evidence_quality":4,"fatal_issue":"The defining deployed problem—an actual venue or supervisor requiring a universal exact solvency classifier or collapsing unresolved results into Boolean decisions—was not established; the proposed audit must confirm it before intervention research is warranted."},{"opaque_id":"computability_boundary_mapping__economics_finance__B","supported_problem":3,"external_distinctiveness":2,"testability":4,"researchability":4,"evidence_quality":4,"fatal_issue":null}],"pairwise_comparisons":[{"pair_id":"A_vs_C","left_id":"computability_boundary_mapping__economics_finance__A","right_id":"computability_boundary_mapping__economics_finance__C","preference":"LEFT","confidence":"HIGH","rationale":"A retains a sharper externally contrastive question: whether a semantics-preserving halting-to-arbitrage reduction holds for one specified venue model. Its evidence directly connects computability limits, formal arbitrage analysis, restricted financial languages, multi-status verification, and an exchange review workflow. C has a credible audit and pilot, but scrutiny did not establish its defining deployed universal-solvency requirement, while substantial parts of its scope-and-status intervention already exist in verification products."},{"pair_id":"A_vs_B","left_id":"computability_boundary_mapping__economics_finance__A","right_id":"computability_boundary_mapping__economics_finance__B","preference":"LEFT","confidence":"MODERATE","rationale":"Both are bounded, falsifiable, and supported by strong sources, but A's matched reduction for guaranteed self-financing arbitrage remains more technically distinctive from the retained literature. B faces closer same-problem, same-lever prior art in Marlowe, Solvent, and ternary smart-contract analysis; its remaining contribution is principally institutional integration of an eligibility-and-guarantee router."},{"pair_id":"C_vs_B","left_id":"computability_boundary_mapping__economics_finance__C","right_id":"computability_boundary_mapping__economics_finance__B","preference":"RIGHT","confidence":"HIGH","rationale":"B has better support for a concrete financial property, actual solvency-verification adopters, identifiable collateral-policy authorities, and a pre-registered operator-level routing experiment. C's broader strategy-and-market-path formulation is meaningful, but its core organizational failure remains unverified and its next step is necessarily a discovery audit rather than a direct test of the intervention."}],"overall_top_choice":"computability_boundary_mapping__economics_finance__A","overall_rationale":"A is the strongest research candidate after scrutiny. It combines a materially supported computability concern with a relatively specific unresolved contrastive claim, a decisive falsifier, independent proof review, and a safe fixed-corpus test. Its main weakness is that the alleged production-wide Boolean certification demand remains hypothetical, but the proposed model audit can resolve that issue before deployment. B is highly researchable but more crowded by same-problem and same-lever precedents, while C lacks adequate evidence that its defining operational problem currently exists.","blinding_limitations":"The assessment uses only the supplied preserved proposals and external-evaluation records. The searches were bounded and did not cover proprietary venue specifications, internal analyzer logs, patents, exhaustive multilingual literature, or nonpublic workflows; therefore distinctiveness is relative to the retained evidence and does not establish world novelty."}