{"schema_version":"papers/paper-detail-v1","title":"An Undecidability Proof for the Plan Existence Problem","surface":"papers","opportunity_kernel":{"paper_id":"ca08b444-3f8e-4390-99cb-0291e5a9c08c","title":"An Undecidability Proof for the Plan Existence Problem","authors":["Antonis Achilleos"],"arxiv_id":"2604.22736v1","doi":null,"published_at":"2026-04-24T17:36:17.000Z","score_object":{"overall":{"value":0,"scale":"0-10","confidence":0.85,"confidence_reason":"Backfilled from persisted papers.viability_score.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-27T20:08:37.602Z","fresh_until":"2026-05-27T20:08:37.602Z","is_stale":true,"source_count":1,"missingness":[]},"technical":{"value":1.4,"scale":"0-10","confidence":0.55,"confidence_reason":"Backfilled from paper_extraction_scorecards.reconstruction_score.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-27T20:09:19.668Z","fresh_until":"2026-05-11T20:09:19.668Z","is_stale":true,"source_count":1,"missingness":["reproducibility_results.reproducibility_score","deployability_scores.score"]},"commercial":{"value":0,"scale":"0-10","confidence":0.75,"confidence_reason":"Backfilled from persisted commercial_flags and repo availability.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-27T20:08:37.602Z","fresh_until":"2026-05-27T20:08:37.602Z","is_stale":true,"source_count":1,"missingness":[]},"market":{"value":1,"scale":"0-10","confidence":0.45,"confidence_reason":"Heuristic market score materialized from paper metadata, repo availability, and deployability.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-27T20:18:39.006Z","fresh_until":"2026-05-11T20:18:39.006Z","is_stale":true,"source_count":1,"missingness":[]},"team":{"value":1.95,"scale":"0-10","confidence":0.28,"confidence_reason":"Heuristic fallback from paper author count.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-27T20:08:37.602Z","fresh_until":"2026-05-11T20:08:37.602Z","is_stale":true,"source_count":1,"missingness":["paper_author_affiliations"]},"methodology":{"value":4.3,"scale":"0-10","confidence":0.82,"confidence_reason":"Backfilled from paper_extraction_scorecards.total_score.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-27T20:09:19.668Z","fresh_until":"2026-05-27T20:09:19.668Z","is_stale":true,"source_count":2,"missingness":[]}},"evidence_receipt":{"freshness":"stale","proof_status":"unverified","repo_status":"missing","references_count":0,"source_count":3,"coverage":0.5,"missingness":["repo_url","references","proof_status"],"unresolved_unknowns":["proof verification has not been recorded yet"],"last_verification_at":"2026-04-27T20:18:39.006Z"},"lineage_hash":"f827ba6cb05d45dc7295d1aa9c7be549eeab7855d37756f00efa232846dd9074"},"distribution":null,"replication_evidence":[],"author_dna":[]}