{"snapshot_schema":"p42-erdos-frontier-atlas-v1","atlas_version":"0.2.0","generated":"2026-07-13","source":"research_sessions/res_20260711_erdos_machinery_audit (cultural-soliton-observatory), 51 deep audits over 95 triaged Erdos prize problems","total":51,"survey":{"triaged":95,"deep_audited":51},"queue":{"ready_interfaces":13,"p42_packages":7,"recommended_unpacked":0,"reserve_unpacked":6},"facets":{"boardability":{"READY":13,"HEAVY":14,"NONE":24},"reach":{"MOVABLE":8,"UNKNOWN":2,"WALL":41},"lane":{"SAT+DRAT-nonexistence":6,"exact-backtracking":10,"witness-local-search":11,"LP/SDP-certificate":1,"wall":23},"p42":{"true":7,"false":44}},"board_class_rule":{"READY":"R1: exact integer/rational witness check, a-priori bounded on a byte-capped witness, <= ~1 s per candidate. R2: a concrete OPEN numeric frontier that a single submitted finite witness strictly improves. R3: witness conditions discrete or open/robust (strict inequalities) so integer/rational witnesses are lossless. R4: one board per finite frontier object (duplicates cross-reference the carrier).","HEAVY":"Exact adjudication exists but fails R1 timing (long MIS/SAT run per candidate) or the movable claim is certificate-shaped (DRAT chain, exhaustion receipt, SDP dual) rather than a small witness. Optimistic-oracle tier.","NONE":"No exact poly-time verifier in any movable direction, or witness not finitely representable, or no open finite frontier (asymptotic-only / solved / duplicate object). Do not board; usually also a do-not-enter wall (see atlas/walls.md)."},"provenance":{"repository":"https://github.com/techno-optimist/erdos-frontier-atlas","commit":"49e70f25e4bab48969293059cb9c95674de2aec0","path":"atlas/problems.json","sha256":"ed1148db84bf33d9d3beb0f5cba24e9a84dfd30314527fc800a57bc291d08e80","license":"MIT","copyright":"Copyright (c) 2026 Kevin Russell"},"settlement_authority":false}