Skip to content

Independent integer-root audit of PR1536's 200-digit complex endpoints #1577

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mister-Meeseeks merged 1 commit into from
Oct 14, 2026
Merged

Independent integer-root audit of PR1536's 200-digit complex endpoints #1577

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
103 changes: 103 additions & 0 deletions research/pr1536-root-endpoint-audit/CERTIFICATE.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,103 @@
{
"status": "PASS_PR1536_INTEGER_ROOT_ENDPOINT_AUDIT",
"source_pr": 1536,
"source_head": "527d7623009f295b7311e98ae36f5e2fbdbbc3e5",
"m": 73,
"live": 66304,
"profile": {
"1": 1559100,
"2": 339000,
"3": 277392,
"4": 84912,
"5": 54612,
"8": 5328,
"48": 22748
},
"children": 2343092,
"rank_mass": 4816512,
"deficit": 23680,
"grid": "1/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"method": "new integer-root/dyadic implementation; PR706 method prior art",
"precision": {
"exponent_bits": 768,
"fraction_bits": 1024,
"refinement_exponent_bits": 896,
"refinement_fraction_bits": 1280
},
"decisions": [
{
"model": "native",
"surcharge": false,
"saving": "20995897443809220269275947612060673157071175329344406407614943841361815523929154596914218106326081301449325141601953370125076229639459591896642812068158205038200908332549236750745560714828660786807/12500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"sign": -1,
"residual": [
"-167414603479462189645109618303984695514190090293184573384823332673994567429202139303396541001389509750947868204705/13595593640336722746975189296899236255406036296344876148274970177797006805818426839800476722939037134205271972506913736853018952635896700325889065484402149078441830243935726920476184264003039606065997757500284816285691659804195782800109100723981682292189872422053892563290730315835343984702088328496820823049371648",
"-2678633655671395034321753892863345769630515338889666196147979766778016038453482169809798772455073821270162079758263/217529498245387563951603028750387780086496580741518018372399522844752108893094829436807627567024594147284351560110619789648303242174347205214225047750434385255069283902971630727618948224048633697055964120004557060571066556867132524801745611583706916675037958752862281012651685053365503755233413255949133168789946368"
],
"refined_residual": [
"-310164587291580676665809717295845619918226077605303176170254193928132316693746450918830141092111472885917082195932308991715365422459322364644140560467214945374864352803634267451752168003282949/25188195072578533560570946415292513955660641703561163232533562522762370250783260563778228623978630830440405178244299649831896203143302624130329755416773261269069634129154814601924297931782599704165407201829781921354175021290073483512020481750473495978980290607945999076502507823760541275830312050759885028674882416280931562374628776932540676793855655397645066973672092732733015015828590952448",
"-310164587291580676665809717295845619918226077605303176170254193928132177396234305582090422557994537816107762539164482572152248208498187662171638625122535737681187822892567729018317328088918639/25188195072578533560570946415292513955660641703561163232533562522762370250783260563778228623978630830440405178244299649831896203143302624130329755416773261269069634129154814601924297931782599704165407201829781921354175021290073483512020481750473495978980290607945999076502507823760541275830312050759885028674882416280931562374628776932540676793855655397645066973672092732733015015828590952448"
]
},
{
"model": "native",
"surcharge": false,
"saving": "167967179550473762154207580896485385256569402634755251260919550730894524191433236775313744850608650411594601132815626961000609837115676735173142496545265640305607266660393894005964485718629286294457/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"sign": 1,
"residual": [
"25183100121812732262154853664608046196137800034550499306522436540164501725931741135355078103032844997876728628377/1489928070173887424326048142125943699222579320147383687482188512635288417075991982443887860048113658543043503836374108148276049603933884967220719505139961542842940300705285141969992796055127628062027151506880527812130592855254332361655791860162376141609849032553851239812682774338119888734475433259925569649246208",
"229795788611541181892163039689574006452040306927853742297591830679369643274986641550399205413122106527187889695629/13595593640336722746975189296899236255406036296344876148274970177797006805818426839800476722939037134205271972506913736853018952635896700325889065484402149078441830243935726920476184264003039606065997757500284816285691659804195782800109100723981682292189872422053892563290730315835343984702088328496820823049371648"
],
"refined_residual": [
"2876598320136975701456502270241487075405972017526342882495780809072730020381297092797155012264303340981179859514856492678911151134391448994627999693738550876108397133067250157373360718238209/170190507247152253787641529833057526727436768267305156976578125153799798991778787593096139351206965070543278231380403039404704075292585298177903752816035549115335365737532531094083094133666214217333832444795823792933615008716712726432570822638334432290407368972608101868260187998382035647502108451080304247803259569465753799828572817111761329688213887821926128200487113059006858215058046976",
"5753196640273951402913004540482974150811944035052685764991561618145461923161406960415117031746403101824647822499548477514080642997987420995641160675918712666996206832500264347630976030853279/340381014494304507575283059666115053454873536534610313953156250307599597983557575186192278702413930141086556462760806078809408150585170596355807505632071098230670731475065062188166188267332428434667664889591647585867230017433425452865141645276668864580814737945216203736520375996764071295004216902160608495606519138931507599657145634223522659376427775643852256400974226118013716430116093952"
]
},
{
"model": "conservative",
"surcharge": true,
"saving": "83983589632938552601008641246320758783648399437882721991926535572594101725967178750668952964014966645576931801880988542784119283377368485827905193244522761813131345859810925292038897711421402787239/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"sign": -1,
"residual": [
"-335073651853740791580244266705561680907937132360310513458981974935290686268068977815960233956859745514816152287543143068308748473/33988984100841806867437973242248090638515090740862190370687425444492517014546067099501191807347592835513179931267284342132547381589741750814722663711005372696104575609839317301190460660007599015164994393750712040714229149510489457000272751809954205730474681055134731408226825789588359961755220821242052057623429120000000000000000",
"-670147303707481583160488533410995437254459620767710292465174973628769127569881691810683960617786212656488391145131732815846856543/67977968201683613734875946484496181277030181481724380741374850888985034029092134199002383614695185671026359862534568684265094763179483501629445327422010745392209151219678634602380921320015198030329988787501424081428458299020978914000545503619908411460949362110269462816453651579176719923510441642484104115246858240000000000000000"
],
"refined_residual": [
"-7759775639304354593240406542473412299014780384871016278704406781457007365857636255420064279687604093850389836395031965515816234661970820853660661368065137059070485954763167782342211666220612786876802888241/787131096018079173767842075477891061114395053236286351016673828836324070336976892618069644499332213451262661820134364057246756348228207004072804856774164414658426066536087956310134310368206240755168975057180685042317969415314796359750640054702296749343134081498312471140703369492516914869697251586246407146090075508779111324207149279141896149807989231176408342927252897897906719244643467264000000000000000",
"-19399439098260886483101016356183530747536950962177540696761016953642507532025954264050067577817133985610413961782513633177265528820468110130589310309552997881906994386844144391178091643372147767121424395477/1967827740045197934419605188694727652785987633090715877541684572090810175842442231545174111248330533628156654550335910143116890870570517510182012141935411036646065166340219890775335775920515601887922437642951712605794923538286990899376600136755741873357835203745781177851758423731292287174243128965616017865225188771947778310517873197854740374519973077941020857318132244744766798111608668160000000000000000"
]
},
{
"model": "conservative",
"surcharge": true,
"saving": "167967179265877105202017282492641517567296798875765443983853071145188203451934357501337905928029933291153863603761977085568238566754736971655810386489045523626262691719621850584077795422842805574479/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"sign": 1,
"residual": [
"1315904656751197509586602578268135662172807328940561788292209826440138117780875492700311425805992556743205902335698056882112268417/67977968201683613734875946484496181277030181481724380741374850888985034029092134199002383614695185671026359862534568684265094763179483501629445327422010745392209151219678634602380921320015198030329988787501424081428458299020978914000545503619908411460949362110269462816453651579176719923510441642484104115246858240000000000000000",
"8891247680751334524233801204515294504960959276307246775304045964067232180723863219740188737175174561596958236903227096134159347/459310595957321714424837476246595819439393118119759329333613857358006986683054960804070159558751254533961890963071410028818207859320834470469225185283856387785196967700531314880952171081183770475202626942577189739381474993384992662165847997431813590952360554799117992003065213372815675158854335422189892670586880000000000000000"
],
"refined_residual": [
"152371349442334599566984525256650107351023641037822737312893067678058772666543992838846161612935829062321697224248577021140841769739162301355582065380658782371238945395555865218522930688891613287917351385169/7871310960180791737678420754778910611143950532362863510166738288363240703369768926180696444993322134512626618201343640572467563482282070040728048567741644146584260665360879563101343103682062407551689750571806850423179694153147963597506400547022967493431340814983124711407033694925169148696972515862464071460900755087791113242071492791418961498079892311764083429272528978979067192446434672640000000000000000",
"76185674721167299783492262628325053675511820518911368656446533839029408098508269168423267049271667029191969870534421071794971000538499034684915718911549080717157913697905482738616340390720493637867010056579/3935655480090395868839210377389455305571975266181431755083369144181620351684884463090348222496661067256313309100671820286233781741141035020364024283870822073292130332680439781550671551841031203775844875285903425211589847076573981798753200273511483746715670407491562355703516847462584574348486257931232035730450377543895556621035746395709480749039946155882041714636264489489533596223217336320000000000000000"
]
}
],
"controls": {
"exact_power_comparisons": 30,
"semantic_controls": [
"negative_exponent",
"base_below_one",
"unresolved_is_not_rejection",
"inverted_interval",
"zero_count",
"rank_equals_parent",
"insufficient_precision_unresolved",
"native_with_old_surcharge",
"conservative_upper_without_surcharge",
"omitted_rank48_child",
"same_count_and_mass_profile_mutation",
"physical_stock_normalization"
]
},
"scope": "Pinned aggregate complex profile arithmetic only; no circuit/owner/bit/outer replay, supplier admission, selected-frontier change or new kappa."
}
61 changes: 61 additions & 0 deletions research/pr1536-root-endpoint-audit/INPUTS.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,61 @@
{
"schema_version": 1,
"source_pr": 1536,
"source_head": "527d7623009f295b7311e98ae36f5e2fbdbbc3e5",
"files": [
{
"path": "research/gmx-t74-ep200r/SPEC.json",
"repository": "jeremykothe2/integer-mult-bounds",
"commit": "527d7623009f295b7311e98ae36f5e2fbdbbc3e5",
"git_blob": "6dd5841b5fde84ef4f49392dd631fffc686c98fb",
"sha256": "01235a0973e473b8538fa67b178cd8df07cc43f0a13e05e164892a4377f7c8f8",
"bytes": 78333,
"local_path": "inputs/SPEC.json"
},
{
"path": "research/gmx-t74-ep200r/PROFILE.json",
"repository": "jeremykothe2/integer-mult-bounds",
"commit": "527d7623009f295b7311e98ae36f5e2fbdbbc3e5",
"git_blob": "6a814d39b77e9362f938845f52e0f9914f7b5bc8",
"sha256": "932453b2b045f73c81aa2b6f169a05ae2426c573965bbf4f5d3998b63b78a38f",
"bytes": 75,
"local_path": "inputs/PROFILE.json"
},
{
"path": "research/gmx-t74-ep200r/code/assemble.py",
"repository": "jeremykothe2/integer-mult-bounds",
"commit": "527d7623009f295b7311e98ae36f5e2fbdbbc3e5",
"git_blob": "ea936f8056ad16492d7c72c1558d60549eae64ee",
"sha256": "92849ced5076db4db6bf6553eca1333620ce765e819d3303350079b8f76efdbb",
"bytes": 21642,
"local_path": "inputs/code/assemble.py"
},
{
"path": "research/gmx-t74-ep200r/README.md",
"repository": "jeremykothe2/integer-mult-bounds",
"commit": "527d7623009f295b7311e98ae36f5e2fbdbbc3e5",
"git_blob": "bfccb3f3a84168c870a54902a74fd007fd7236b4",
"sha256": "3048628eff9ea768af6be807d6df26e1f5d32b229c4df407e4879f5db177aad5",
"bytes": 6903,
"local_path": "inputs/README.md"
},
{
"path": "research/gmx-t74-ep200r/NOTICE",
"repository": "jeremykothe2/integer-mult-bounds",
"commit": "527d7623009f295b7311e98ae36f5e2fbdbbc3e5",
"git_blob": "4ca0c4be3f9d3444499fc28fb7eed88782651294",
"sha256": "a4ecf4a9c72e3580011f24416e17f3fa28a4ab77df95f912b06723b8dc622c46",
"bytes": 782,
"local_path": "inputs/NOTICE"
},
{
"path": "research/gmx-t74-ep200r/MANIFEST.json",
"repository": "jeremykothe2/integer-mult-bounds",
"commit": "527d7623009f295b7311e98ae36f5e2fbdbbc3e5",
"git_blob": "485e8c87e52541499f50339b2e206494a01e480c",
"sha256": "d4d4737daa86ae45560bd8a8eb50c3f3307c32a7806855d71c9bea9afb540229",
"bytes": 16970,
"local_path": "inputs/MANIFEST.json"
}
]
}
Loading