{"claims":[{"claim_id":"MANIFEST.FROZEN","dependencies":[],"evidence":{"manifest_sha256":"56693dd0ea48bc0e4015e984a5c0bd63f82dfd537dda63e638cc7707365e8ec9"},"evidence_sha256":"da86684b14f5e09aed7bd11e0bf8059c6f9dbdd24326c77569a80f700d33f311","method":"strict canonical JSON + exact schema/value match + SHA-256 pin","result":"PASS"},{"claim_id":"EMBED.PHI.POSITIVE_GOLDEN_ROOT","dependencies":["MANIFEST.FROZEN"],"evidence":{"phi":{"a":{"d":"2","n":"1"},"b":{"d":"2","n":"1"}},"phi2_minus_phi_minus_1":{"a":{"d":"1","n":"0"},"b":{"d":"1","n":"0"}},"sqrt5_decimal_digits":90,"sqrt5_interval":{"hi":{"d":"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000","n":"2236067977499789696409173668731276235440618359611525724270897245410520925637804899414414409"},"lo":{"d":"125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000","n":"279508497187473712051146708591409529430077294951440715533862155676315115704725612426801801"}}},"evidence_sha256":"058576d50c8cd442f2b44ca266f32b1c62ff585fb7296087ac66f7ce6b6b3943","method":"exact Q(sqrt(5)) arithmetic + positive rational enclosure","result":"PASS"},{"claim_id":"EMBED.PI.CIRCLE_CONSTANT_BOUND","dependencies":["MANIFEST.FROZEN"],"evidence":{"atan_1_239":{"hi":{"d":"33695738658710277761948260932702459996771146594474827103991793077208729025558295410180244367779908035564906531103821589324645163837884925","n":"140985531494091217265570547155331554204120627099782277963037294077219740942105941521142743377829373622133054988514003311446286053283803"},"lo":{"d":"1924734287924189776040246612736897217475564664622996599007115212363239810668915392124905738531956126899503025963181393003813056403583824800925","n":"8053234544473984421426655224059693707693574340566663499526653274984868822354033485629194644484991650669862233998908383151224381321042005338"}},"atan_1_5":{"hi":{"d":"20186406160112516110083236650335489124808108376503666184631153547355966029955101794387868174256505215463670181957715754617055381459067575633525848388671875","n":"3984706945332491796568655451723318960485896247629261776991265860550793332862128027574803826991724432320706789804028343635155601851036510336026274307804233"},"lo":{"d":"807456246404500644403329466013419564992324335060146647385246141894238641198204071775514726970260208618546807278308630184682215258362703025341033935546875","n":"159388277813299671862746218068932758419435849905170471079650634422031733314485121102992153079668977276864729030078928531412207834286639344424673940298598"}},"pi_interval":{"hi":{"d":"14844093445960481018938335365192727861332697949699973129663220100533704247669472122849324155228036127343473141534666140403924573670258312970990486225652950682540513302574648855032535169970680670820376085216815515520786663694379083796291186880811352466480457223951816558837890625","n":"46634094919029845642977759977092977469905310252403626353903551588921537842542228460367030452776032731986189523659749719348320003318875533006150857792468409674946972652534344334185615522884263559704435644074728818822065346984776817390039296675359863114212248795661909506916385704"},"lo":{"d":"10394841439022762920073762969970923381126169324556624099482306052438650757283291344933964149946980008993871354867503118225468443248723455801537428424329371462362713049543704665557350305471319249187077316725418333377067392863835775841663267016201643855310976505279541015625","n":"32656357500064666685091479474864219793004541413773306737559602660262626944585864015242751669456790131328700051081999663381222313357611193690850394846126030698044384526901558529665428376236288951294004313812679920923694927397882266965718749460501956932173737971342318835044"}},"quarter_angle":{"hi":{"d":"14844093445960481018938335365192727861332697949699973129663220100533704247669472122849324155228036127343473141534666140403924573670258312970990486225652950682540513302574648855032535169970680670820376085216815515520786663694379083796291186880811352466480457223951816558837890625","n":"11658523729757461410744439994273244367476327563100906588475887897230384460635557115091757613194008182996547380914937429837080000829718883251537714448117102418736743163133586083546403880721065889926108911018682204705516336746194204347509824168839965778553062198915477376729096426"},"lo":{"d":"10394841439022762920073762969970923381126169324556624099482306052438650757283291344933964149946980008993871354867503118225468443248723455801537428424329371462362713049543704665557350305471319249187077316725418333377067392863835775841663267016201643855310976505279541015625","n":"8164089375016166671272869868716054948251135353443326684389900665065656736146466003810687917364197532832175012770499915845305578339402798422712598711531507674511096131725389632416357094059072237823501078453169980230923731849470566741429687365125489233043434492835579708761"}},"tangent_certificate":{"tan_2a":{"d":"12","n":"5"},"tan_4a":{"d":"119","n":"120"},"tan_4a_minus_b":{"d":"1","n":"1"}},"terms_239":25,"terms_5":70},"evidence_sha256":"8daa0f483e01561c1bc92d914fb71425e5f27c3cc0e96f6c0a9c99e9a6d46e58","method":"Machin identity + alternating atan-series rational bounds","result":"PASS"},{"claim_id":"OMEGA.LAMBDA.CERTIFIED_ENCLOSURE","dependencies":["EMBED.PHI.POSITIVE_GOLDEN_ROOT","EMBED.PI.CIRCLE_CONSTANT_BOUND"],"evidence":{"derived_lambda_interval":{"hi":{"d":"122495563917649730750862615381246273774507544758592938847728050514676425901990967672141567132207180175997882437694384409442572249021575499819341725863912654253926951805563760539056130763683747368894213614370605210867288318662684171609025809112544004069092866640118951099444133707509111963515738277337","n":"41642338944554778232389258357439447212687004890359497010705810794965199940266563426259616385999927143977751381054636432467556638567384059796742600165737427381032043305122767752250799242562574902306483016806752871651616679734649673970892622020663565306933699846552006107458510086871683597564697265625"},"lo":{"d":"21865840957937719594437573291225526263355142075486210187253356167027600387336331451251245173199257607350844160107483887175181581734068306950120847245971170435692554122404075249795201524912388853741319591677243492916933607642012302505202437512908906019049962633725620542696996756366233351640866784617564049","n":"7433287633912229648163458833235308325737170019819452589839145682560022455587394904598048583905181042016331835331346787994199128896668887651151397794860030278651734178059467860182022294537950570943921960769444785182145491558349487773110460938303122422141750767411993296551742105293669737875461578369140625"}},"formal_relation_certificate":"lambda^2-T*lambda-T^2 = T^2*(phi^2-phi-1) = 0","published_open_cell":{"hi":{"d":"200000000000000000000000000000000000000000000000000000000000","n":"67989954268955785915340561864255838710201981002851883337889"},"lo":{"d":"250000000000000000000000000000000000000000000000000000000000","n":"84987442836194732394175702330319798387752476253564854172361"}},"real_embedding":"phi=(1+sqrt(5))/2;pi=circle_constant;T=1/(phi+pi);lambda=phi*T","strictly_inside_published_cell":true},"evidence_sha256":"3925ea5471a9b0d327be7f62fa1ffd57a8a2a28ea4cea8d9dab8082c9e658dcf","method":"monotone rational interval propagation under lambda=phi/(phi+pi)","result":"PASS"},{"claim_id":"OMEGA.FLOOR_BRIDGE.15BIT","dependencies":["OMEGA.LAMBDA.CERTIFIED_ENCLOSURE"],"evidence":{"domain":[0,32767],"floor_transcript_sha256":"3e30023df0921b28407045fde510576db7e6832341f4a745305bd75e326cc5e0","minimum_upper_margin":{"d":"100000000000000000000000000000000000000000000000000000000000","n":"3453500748418479163019359301833278890677474451802835183"},"q":{"d":"500000000000000","n":"169974885672389"},"states_checked":32768},"evidence_sha256":"400b280e46fe99e8cfddddd3f5bd4df7bb95bb017761e5df003e16174d89a863","method":"exhaustive exact interval-floor proof over all 2^15 states","result":"PASS"},{"claim_id":"OMEGA.FIRST_MISMATCH.MINIMAL","dependencies":["OMEGA.LAMBDA.CERTIFIED_ENCLOSURE"],"evidence":{"candidate_below_L60":true,"candidate_fraction":{"d":"42189065","n":"14342163"},"continued_fraction_certificate":{"candidate":{"d":"42189065","n":"14342163"},"candidate_cf":[0,2,1,16,7,1,9,2,1,2,4,16,1,16],"common_prefix":[0,2,1,16,7,1,9,2,1,2,4,16,1],"left_cf":[0,2,1,16,7,1,9,2,1,2,4,16,1,17,18,13,2,2,2,1,14,11,2,3,2],"left_next":17,"lemma":"continued_fraction_least_denominator_nonprefix_lemma","right_cf":[0,2,1,16,7,1,9,2,1,2,4,16,1,15,2,1,2,1,120,2,1,8,1,1,3,1,59,1,1,4,1,2,7,3,1,6,6,4,1,1,5,1,1,1,1,1,1,21,1,9,1,1,2,119,3,4,1,1,2,2,4,3,1,6,7,2,1,3,4,5,40,6,1,42,1,1,4,1,7,1,4,48,2,4,2,1,1,1,2,3,8,16,8,1,4,1,30,5,6,1,1,1,1,1,2,13,1,1,2,1,2,10,2,3,2],"right_next":15},"d_star":42189065,"d_star_minus_1_floor":14342162,"k_star":14342163,"lambda_floor_at_d_star":14342163,"minimality_argument":"If d<d_star were a mismatch, k=floor(q*d)+1 would give q<k/d<=lambda<U60, contradicting the certified minimum denominator d_star for rationals in (q,U60).","q_floor_at_d_star":14342162},"evidence_sha256":"b8313e2fc492095729df1061fdad58969f1d63091f955a1617a19d769c793ea3","method":"continued-fraction least-denominator certificate + exact boundary floors","result":"PASS"}],"contract":"OMEGA_NAUGHT_PROOF/1.0","execution":{"proof_evidence_root_sha256":"f3862e793400a0df022da5c67f970b73ba022fb840591e47c9b412a071bb6fd0","python_implementation":"CPython","python_version":"3.13.5","result":"PASS","verifier_source_sha256":"591f62879d147c33ab1d9a68e94f2ac9ef5d446fd334a0c28c33b81b282ac72e"},"execution_commitment_sha256":"6290730208a5bcedf3eaa6b61e8397c5063dd1cc43c0fa4bfa1f9f58a268b207","manifest_sha256":"56693dd0ea48bc0e4015e984a5c0bd63f82dfd537dda63e638cc7707365e8ec9","proof_evidence_root_sha256":"f3862e793400a0df022da5c67f970b73ba022fb840591e47c9b412a071bb6fd0","proof_root_payload":{"claims":[{"claim_id":"MANIFEST.FROZEN","evidence_sha256":"da86684b14f5e09aed7bd11e0bf8059c6f9dbdd24326c77569a80f700d33f311"},{"claim_id":"EMBED.PHI.POSITIVE_GOLDEN_ROOT","evidence_sha256":"058576d50c8cd442f2b44ca266f32b1c62ff585fb7296087ac66f7ce6b6b3943"},{"claim_id":"EMBED.PI.CIRCLE_CONSTANT_BOUND","evidence_sha256":"8daa0f483e01561c1bc92d914fb71425e5f27c3cc0e96f6c0a9c99e9a6d46e58"},{"claim_id":"OMEGA.LAMBDA.CERTIFIED_ENCLOSURE","evidence_sha256":"3925ea5471a9b0d327be7f62fa1ffd57a8a2a28ea4cea8d9dab8082c9e658dcf"},{"claim_id":"OMEGA.FLOOR_BRIDGE.15BIT","evidence_sha256":"400b280e46fe99e8cfddddd3f5bd4df7bb95bb017761e5df003e16174d89a863"},{"claim_id":"OMEGA.FIRST_MISMATCH.MINIMAL","evidence_sha256":"b8313e2fc492095729df1061fdad58969f1d63091f955a1617a19d769c793ea3"}],"contract":"OMEGA_NAUGHT_PROOF/1.0","manifest_sha256":"56693dd0ea48bc0e4015e984a5c0bd63f82dfd537dda63e638cc7707365e8ec9","result":"PASS","trusted_lemmas":["alternating_atan_series_remainder","machin_identity_with_standard_atan_branch_theorem","continued_fraction_least_denominator_nonprefix_lemma"]},"result":"PASS","trusted_lemmas":["alternating_atan_series_remainder","machin_identity_with_standard_atan_branch_theorem","continued_fraction_least_denominator_nonprefix_lemma"]}