From c3835ca4436e5fe2cf3038e87408e8d260b30285 Mon Sep 17 00:00:00 2001 From: Nick Petalas Date: Fri, 16 Oct 2026 12:51:40 +0100 Subject: [PATCH] docs(research): record complete PR2101 Linux replay --- .../COMPARISON.json | 327 +++++++++ .../EXECUTION.json | 123 ++++ .../OUTPUT-DELTA.tar.gz | Bin 0 -> 26115 bytes .../OUTPUTS.json | 632 ++++++++++++++++++ .../README.md | 93 +++ .../REPLAY-RESULT.json | 318 +++++++++ .../SOURCES.json | 320 +++++++++ .../TASK.json | 142 ++++ .../direct-stdout.txt | 2 + .../metadata-stdout.txt | 1 + .../registered-stdout.txt | 4 + .../stage-stdout.txt | 13 + 12 files changed, 1975 insertions(+) create mode 100644 research/selected-final-closure-linux-audit/COMPARISON.json create mode 100644 research/selected-final-closure-linux-audit/EXECUTION.json create mode 100644 research/selected-final-closure-linux-audit/OUTPUT-DELTA.tar.gz create mode 100644 research/selected-final-closure-linux-audit/OUTPUTS.json create mode 100644 research/selected-final-closure-linux-audit/README.md create mode 100644 research/selected-final-closure-linux-audit/REPLAY-RESULT.json create mode 100644 research/selected-final-closure-linux-audit/SOURCES.json create mode 100644 research/selected-final-closure-linux-audit/TASK.json create mode 100644 research/selected-final-closure-linux-audit/direct-stdout.txt create mode 100644 research/selected-final-closure-linux-audit/metadata-stdout.txt create mode 100644 research/selected-final-closure-linux-audit/registered-stdout.txt create mode 100644 research/selected-final-closure-linux-audit/stage-stdout.txt diff --git a/research/selected-final-closure-linux-audit/COMPARISON.json b/research/selected-final-closure-linux-audit/COMPARISON.json new file mode 100644 index 0000000000..28a4a90439 --- /dev/null +++ b/research/selected-final-closure-linux-audit/COMPARISON.json @@ -0,0 +1,327 @@ +{ + "authenticated_raw_edges_per_side": 30, + "checked_files": 105, + "equivalent": true, + "files": { + "ADMISSION-CONTROLS.json": { + "cls": "bytes" + }, + "ASSEMBLY.json": { + "cls": "bytes" + }, + "BIT-SUPPLIER-CONTROLS.json": { + "cls": "bytes" + }, + "INDEPENDENT-T16.json": { + "cls": "bytes" + }, + "REPLAY.json": { + "cls": "json-diff", + "verdict": "declared-timing" + }, + "STAGES.json": { + "cls": "json-diff", + "verdict": "declared-timing" + }, + "admission-controls.log": { + "cls": "bytes" + }, + "assembly.log": { + "cls": "bytes" + }, + "audit.log": { + "cls": "bytes" + }, + "bind.log": { + "cls": "bytes" + }, + "bind8.log": { + "cls": "bytes" + }, + "bit-supplier-controls.log": { + "cls": "bytes" + }, + "emit.log": { + "cls": "bytes" + }, + "global/BINDING.json": { + "cls": "bytes" + }, + "global/PLAN.json": { + "cls": "bytes" + }, + "global/audit/ASYNC-AUDIT.json": { + "cls": "bytes" + }, + "global/audit/GLOBAL-PREFIX.json": { + "cls": "bytes" + }, + "global/audit/IDLE-REMAINDER-FRAMES.json": { + "cls": "bytes" + }, + "global/audit/OWNERS-AND-PROFILE.json": { + "cls": "bytes" + }, + "global/audit/PREFIX-AND-INVOICE.json": { + "cls": "bytes" + }, + "global/base/providers/gauge44/CANONICAL-WORD.json.gz": { + "cls": "bytes" + }, + "global/base/providers/gauge44/CLIFFORD-RECIPES.json": { + "cls": "bytes" + }, + "global/base/providers/gauge44/CLIFFORD-REVIEW.json": { + "cls": "bytes" + }, + "global/base/providers/gauge44/FULL-WORD.json.gz": { + "cls": "bytes" + }, + "global/base/providers/gauge44/INDEPENDENT-LOCAL-REPLAY.json": { + "cls": "bytes" + }, + "global/base/providers/gauge44/LOCAL-CHECKS.json": { + "cls": "bytes" + }, + "global/base/providers/gauge44/LOCAL-PROGRAMS.json.gz": { + "cls": "bytes" + }, + "global/base/providers/gauge44/RESIDUAL-ADAPTERS.json": { + "cls": "bytes" + }, + "global/base/providers/gauge44/SCALAR-FRAME-AUDIT.json": { + "cls": "bytes" + }, + "global/base/providers/gauge44/WRAPPER-CHECKS.json": { + "cls": "bytes" + }, + "global/base/split-centres/CANONICAL-WORD.json.gz": { + "cls": "bytes" + }, + "global/base/split-centres/CLIFFORD-RECIPES.json": { + "cls": "bytes" + }, + "global/base/split-centres/CLIFFORD-REVIEW.json": { + "cls": "bytes" + }, + "global/base/split-centres/GLOBAL-TEMPLATE.json.gz": { + "cls": "bytes" + }, + "global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json": { + "cls": "bytes" + }, + "global/base/split-centres/INDEPENDENT-REPLAY.json": { + "cls": "bytes" + }, + "global/base/split-centres/INTEGRATION.json": { + "cls": "bytes" + }, + "global/base/split-centres/LOCAL-CHECKS.json": { + "cls": "bytes" + }, + "global/base/split-centres/LOCAL-PROGRAMS.json.gz": { + "cls": "bytes" + }, + "global/base/split-centres/RESIDUAL-ADAPTERS.json": { + "cls": "bytes" + }, + "global/base/split-centres/SCALAR-FRAME-AUDIT.json": { + "cls": "bytes" + }, + "global/base/split-centres/WRAPPER-CHECKS.json": { + "cls": "bytes" + }, + "global/base/work/complex-nine-native/DATA-PHASES.json": { + "cls": "bytes" + }, + "global/hosted/ACTUAL-SIGMAS.json.gz": { + "cls": "bytes" + }, + "global/hosted/GLOBAL-TEMPLATE.json.gz": { + "cls": "bytes" + }, + "global/hosted/HOSTED.json": { + "cls": "bytes" + }, + "global/hosted/IDLE-REMAINDER-FRAMES.json.gz": { + "cls": "bytes" + }, + "global8/BINDING.json": { + "cls": "bytes" + }, + "global8/PLAN.json": { + "cls": "bytes" + }, + "global8/base/providers/gauge44/CANONICAL-WORD.json.gz": { + "cls": "bytes" + }, + "global8/base/providers/gauge44/CLIFFORD-RECIPES.json": { + "cls": "bytes" + }, + "global8/base/providers/gauge44/CLIFFORD-REVIEW.json": { + "cls": "bytes" + }, + "global8/base/providers/gauge44/FULL-WORD.json.gz": { + "cls": "bytes" + }, + "global8/base/providers/gauge44/INDEPENDENT-LOCAL-REPLAY.json": { + "cls": "bytes" + }, + "global8/base/providers/gauge44/LOCAL-CHECKS.json": { + "cls": "bytes" + }, + "global8/base/providers/gauge44/LOCAL-PROGRAMS.json.gz": { + "cls": "bytes" + }, + "global8/base/providers/gauge44/RESIDUAL-ADAPTERS.json": { + "cls": "bytes" + }, + "global8/base/providers/gauge44/SCALAR-FRAME-AUDIT.json": { + "cls": "bytes" + }, + "global8/base/providers/gauge44/WRAPPER-CHECKS.json": { + "cls": "bytes" + }, + "global8/base/split-centres/CANONICAL-WORD.json.gz": { + "cls": "bytes" + }, + "global8/base/split-centres/CLIFFORD-RECIPES.json": { + "cls": "bytes" + }, + "global8/base/split-centres/CLIFFORD-REVIEW.json": { + "cls": "bytes" + }, + "global8/base/split-centres/GLOBAL-TEMPLATE.json.gz": { + "cls": "bytes" + }, + "global8/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json": { + "cls": "bytes" + }, + "global8/base/split-centres/INDEPENDENT-REPLAY.json": { + "cls": "bytes" + }, + "global8/base/split-centres/INTEGRATION.json": { + "cls": "bytes" + }, + "global8/base/split-centres/LOCAL-CHECKS.json": { + "cls": "bytes" + }, + "global8/base/split-centres/LOCAL-PROGRAMS.json.gz": { + "cls": "bytes" + }, + "global8/base/split-centres/RESIDUAL-ADAPTERS.json": { + "cls": "bytes" + }, + "global8/base/split-centres/SCALAR-FRAME-AUDIT.json": { + "cls": "bytes" + }, + "global8/base/split-centres/WRAPPER-CHECKS.json": { + "cls": "bytes" + }, + "global8/base/work/complex-nine-native/DATA-PHASES.json": { + "cls": "bytes" + }, + "independent-t16.log": { + "cls": "bytes" + }, + "invoice.log": { + "cls": "bytes" + }, + "lift/GLOBAL-TEMPLATE.json.gz": { + "cls": "bytes" + }, + "lift/PARENT-LIFT-RECEIPT.json": { + "cls": "bytes" + }, + "lift/PLAN.json": { + "cls": "bytes" + }, + "lift16.log": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/CANONICAL-WORD.json.gz": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/CLIFFORD-RECIPES.json": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/CLIFFORD-REVIEW.json": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/GLOBAL-TEMPLATE.json.gz": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/INDEPENDENT-REPLAY.json": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/INTEGRATION.json": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/LOCAL-CHECKS.json": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json": { + "cls": "bytes" + }, + "parent16/complex-global/base/split-centres/WRAPPER-CHECKS.json": { + "cls": "bytes" + }, + "parent16/complex-global/base/work/complex-nine-native/DATA-PHASES.json": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/CANONICAL-WORD.json.gz": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/CLIFFORD-RECIPES.json": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/CLIFFORD-REVIEW.json": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/GLOBAL-TEMPLATE.json.gz": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/INDEPENDENT-REPLAY.json": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/INTEGRATION.json": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/LOCAL-CHECKS.json": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json": { + "cls": "bytes" + }, + "parent558/complex-global/base/split-centres/WRAPPER-CHECKS.json": { + "cls": "bytes" + }, + "parent558/complex-global/base/work/complex-nine-native/DATA-PHASES.json": { + "cls": "bytes" + }, + "restore-parent.log": { + "cls": "bytes" + } + }, + "normalized_invoice_edges_per_side": 2, + "permitted_stage_timing_fields_per_side": 22, + "relocated_input_roles_per_side": 6 +} diff --git a/research/selected-final-closure-linux-audit/EXECUTION.json b/research/selected-final-closure-linux-audit/EXECUTION.json new file mode 100644 index 0000000000..0dde06559d --- /dev/null +++ b/research/selected-final-closure-linux-audit/EXECUTION.json @@ -0,0 +1,123 @@ +{ + "caller_head": "a247ef876e50bf3a7d890c7c1f9b409576674d7d", + "complete_result_byte_equal_to_caller": true, + "delta": { + "container_bytes": 26115, + "container_sha256": "25c812d46a00da8a7812abb08cbf0142d6912377e479023cd0bb020e157ca8de", + "contract": "Overlay on exactly the 105 candidate/strict reference files in the raw-pinned reviewed PR1094 archive. No other outputs are omitted; the remaining 99 files match OUTPUTS.json and the archive byte for byte.", + "files": 6, + "tar_payload_sha256": "c329de0c26df588b8140ef17fc0cff0d16a62689d0638842bdea7e07a7c6d39c" + }, + "direct": { + "argv": [ + "python3.12", + "-I", + "-O", + "-B", + "-X", + "pycache_prefix=/tmp/imb-result-20261016/clean-cache", + "research/selected-final-replay-closure/verify.py", + "--work", + "/tmp/imb-result-20261016/replay", + "--write-result", + "/tmp/imb-result-20261016/replayed-result.json" + ], + "elapsed_seconds": 430.2214492639996, + "returncode": 0 + }, + "environment": { + "compiler": "clang -pthread", + "executable": "/home/nick/.local/bin/python3.12", + "libc": [ + "glibc", + "2.41" + ], + "machine": "x86_64", + "platform": "Linux-6.6.87.2-microsoft-standard-WSL2-x86_64-with-glibc2.41", + "python": "3.12.15 (main, Oct 14 2026, 01:05:27) [Clang 23.1.3 ]", + "zlib_build": "1.3.2", + "zlib_runtime": "1.3.2" + }, + "evidence_files": { + "COMPARISON.json": "c29174009626b87e796feb1eb4e8a2190029b60791f3dd394cff23f1bc121f1b", + "OUTPUT-DELTA.tar.gz": "25c812d46a00da8a7812abb08cbf0142d6912377e479023cd0bb020e157ca8de", + "OUTPUTS.json": "6b5fd965bedce3b88d20fe33b35e0897b7e8a7f74e6fd290430434d00adfdd0f", + "REPLAY-RESULT.json": "7da99e671e51aed7ac039682bdbd75760b9abc1b3960256aa0699871095779b7", + "SOURCES.json": "55c765697517ea81161adf692b745824604fc4cf8199e4830db7f74c2dfb2078", + "direct-stdout.txt": "bb9e03cae57f6300b5cd916b7a9c210c89a523ed3f273fe316e88c1c6d699737", + "metadata-stdout.txt": "5873404cb4424dca918a00d503569f3c29a3190fd029a007e1afb2006399f647", + "registered-stdout.txt": "274e0457e8936f2643ea38e3e4be1faf34160363a73bdfe55c5e8a55365b09c5", + "stage-stdout.txt": "958625ea923acd6490da27654d29ba60828a1bb066bbfdb779543eca6201a0bb" + }, + "first_run_context": { + "local": "/tmp/imb-result-20261016/replay/local", + "work": "/tmp/imb-result-20261016/replay/run" + }, + "first_run_output_files": 105, + "first_run_raw_changed_files": [ + "ADMISSION-CONTROLS.json", + "ASSEMBLY.json", + "INDEPENDENT-T16.json", + "REPLAY.json", + "STAGES.json", + "global/audit/PREFIX-AND-INVOICE.json" + ], + "first_run_raw_equal_files": 99, + "limits": [ + "Only the first fresh run output is retained as an overlay. The registered repeat removed its temporary output normally.", + "The 287 controls are the unchanged predecessor census, not independently reimplemented controls.", + "No full cold ancestry, hosted CI, Windows/macOS execution in this session, resource/race hardening or supplier admission." + ], + "metadata_check": { + "argv": [ + "python3.12", + "-B", + "scripts/research_package.py", + "--package", + "research/selected-final-replay-closure", + "--check-only" + ], + "returncode": 0 + }, + "priority_revision": 5, + "reference_context": { + "local": "/private/tmp/batch1047-selected/slots/local", + "work": "/private/tmp/batch1099-selected/candidate" + }, + "registered": { + "argv": [ + "python3.12", + "-B", + "scripts/research_package.py", + "--package", + "research/selected-final-replay-closure" + ], + "elapsed_seconds": 421.8520811239996, + "returncode": 0 + }, + "schema_version": 1, + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", + "status": "independently-executed Linux replay; not supplier admission", + "supplementary_checks": { + "artifact_round_trip": "Reconstructed 105 outputs from 99 raw-identical archive files plus six actual delta files; all sizes/raw hashes, the full comparison report and the coupled outer log agreed. One-off local inspection, not a new registered verifier.", + "selected_baseline_status": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "workflow_tests": { + "argv": [ + "python3.12", + "-B", + "-m", + "unittest", + "discover", + "-s", + "tests", + "-p", + "test_research_*.py" + ], + "elapsed_seconds_reported_by_unittest": 15.547, + "returncode": 0, + "tests": 144 + } + }, + "upstream_base": "a7482490b4ca256db67d767a33fa6f7553060807", + "utc_evidence_packaged_at": "2026-10-16T11:45:56.930486+00:00" +} diff --git a/research/selected-final-closure-linux-audit/OUTPUT-DELTA.tar.gz b/research/selected-final-closure-linux-audit/OUTPUT-DELTA.tar.gz new file mode 100644 index 0000000000000000000000000000000000000000..01249e8634a3838db205d0f50b660e76f939d8d0 GIT binary patch literal 26115 zcmV)VK(D_aiwFP!000021MHn?a~s#0w(~i^f~8M0Z&_xat^0IR^Fd=Pi7SrnvYp9H zO{GwcUL=e`fCGS*m8tyq_r9J6!9}DofN1%O znxP%$L4?-V$$1yMvTO&v*Qe~G&)KzQ^1aVR5$crZ(K}zYt=&qO9X9>;!IjV+Y});^Iq4SYa6OI550J22xZxn zL*cb)KE_7ts*2R)MlbX}6mE!@ck5R#7OQ@HdbU36SGy0-U)zSecHZVP_D+20^3YZ} z#o&Dv%c1fv7wtSdR}4d_hbqQYG+~~*q&xW5#q4iieBNyP+3wYPcH=Hh-&aMet#16_ zI`32RdC;zS=+b{TqH4C={%pP!2^|RQ ziAzIS=TfIv&YM>Mv|X#qwL@}UG@S z^UbDf&PBM|y6+Ze*Drr{3jKGwIEOhbzMD0x?((Z|EPVg^{*!OKy;;Ayd{5G=-+bHO zeE+=J@T4z#vFUCj0({wQUi7z51#a%%{vjTC+3Q%(xyfeNe>dw_-}cM(`RzMy7HbLT zuCvYFf9X=F-uUF6PBzBnv-x7Tz4QI0{@G{??)|_`ioXAI?A5j7zx>RmUvG3U*Ov>8 zZSOv|^QFGMn=Lvq$)-PR7WVF4pVa|hKq=Zx5%ufy{?@A6&3e1lHMnAP2h*;X-E6hi zYs)K=v=3}=am?ixUNjdk`WSz6$ui>QZx`JajoyA=g6^AF&E^I(-u~>KCAQj;W^=`0 zw?8&M(Q?fxG>AB;d#=6FeQtkt5O?>pZn2R(6wQjo?!5DO$*ym8<54i#!`$4XyY7FR zHSb*Go-;6!deeWq=wFF;&YIP3(Qe;(>P5GE zIWu0EZC^F#vp7q4e@5IadRa?SY+o*h-TfcDak1*L7pop|vHaMJc5k{uvr{L-QW7nde-ln8-LHQy>KDzI=*mN2g*ryLSusSC%u#Q;bJ2jM^f=@-Sx}6 z?lUf9)b5xq-T8VUqv&9*zgj>;+WoDh>kW;tmh9h|uGEbW@5*qz(5ErkXZ8@cE{Qff zEKmn>Zr8nv8Y{j8jCxBZeHTe z`z29bS(UlSt_aEd+K)!;6GZ*tj;;zJO05$wtaFS$#46UOt|;DiS1xh;j(1+@^5dhU z^qa$a$JbxTyPToU_Qo13&(A6J1^r(Z*?%OdXeq1Ou>li&Xx_*?c-+W#H(w=ZJM z`@fU^c20Y||GU!P)&BQv@1@I2MgG>}%0ry)rpvdzTGrlT;`=ckK7OU1%@DZy_~oAd z=EPjj{r%<^Jl<_C`ok4&SS@c5-+^XA9m~?^Q0u(IL!@x$HSeRw8&|&L`v+!oMNHB8 z(mQ>&45vDS2XFp%#*3ay~u>b!3gP)B4bO5Qfk@)>6t6vPgB!y2K+v=OPlQr6sl2qSmQ93HN}IcfRmd5&}%F;+8hpc@UjX24u%#Mm7C8fNcL#Hj0)By)LtA--#cYd;W|G6Uc7xt)6e5K`R zSEb<*)OrBXM<}Bn0E&{)?qyd5J%W>2CB~0>Fj0l*Qq)?CKB2o1oXD}Nt5P46NrVMg z|C~?LUhLMxAl3fD8~1D1p>?fPd~>I)xpk^3rYyCQu(hN^GR!9_D$;lGMNknQWYvlY#Gf*>q)m_oF^Kyk+v$>6UssWCtfe-h#|DPX zC8uO=`|79Pw;xP3da@+Nrl%5Jh!tu{+A@eSoJ5G!X=2B6Em9YqJ3W_VinyVYu#(m+ zA($GQxy(VNg@>` znIqnim_u$){Yb);6(tKQ$}dQTXh)hLit;3+b96`%sTi4z(gImNkH}2|SntXN(GBGW zMG6F>WU;In5u6l<6p&Pp^pt2@J1(A;WG%5iQ79+@7{@#GfYeirP=6_g(B1Wl$XPN% zOOTF1KS|G((kYVkVtpq~CW4p3arH0nbbc`5>-40I(4M07g#L{3zr+Bt6eaZ#eYj}) zZz}CPD!fDaXi^DMVPcG|UB%6fs7hT3msKK0dnQfbB}Zhc=?%#LCRU&4k99wJt8 z#X0Du3YRS*FJ!z(iU%Y^cFr6FX#w%Oz9qdX_e!3Cyk&?)Of7HR!_cyJJl?36FxQ(B z;~oke?IhH$NJCb(?jTx0!egJyG?hND?SZ7Wr7UEOi}&@5gngmQ=mJTWI=+QID}hky zD*9LCB)TRFBGF}ry(C;tm=f|9W8|aK?-gMRnP9Tu^bt8F5Wj?zyc*AHWWGhhj-p_Q z@1Kv*ez>FMN{7IfijWDWbJc++QITj#%pOr-0go$7@=Hd^Hj~ED2}^}Iw28(`SuWBmlLzQq(TL2ustnO(eP|a*$Az50Ln%k&Lb-+ddQXGLpg)6)`z1nS`?> zvXktRvm~c-BBAds+hksfVC-;oo-W~a1P=6dS-k2iPDKi)Wkw1%IXqd3>k*HmTewz`s6D} zhUz0;(l{nGvS>p*=_(9@T0E-tlthFJIcCJxNFB(pz)}ww{aT{9LwccLp~1|0{iSuY zIQbW1Z!u*}WJS)WL@oj6N~}{CG9*QbxkTP0dJzcvQ#LK3<18KE!bG1xpXG_plZ29B zkkco!kzkbK!>U7Y$_tT%5fP>DA)`$oi;6`i62P(~FV#QWrM z5d6lHkxd|RE)s<~#5|%=B6#wTEhK^K9N;6&*um*Q7> zX;MSt(u@UE;fDv)1$sg~TWtz}_@zY4WTE`>bO4T+Oj+4Ha+Fc%sUVN$ARJMa%nY0{ zsJ9@YOQ!dZM__Se?3x-{h$Mj}wBe_{A$A25oJM)x`5Ki znt2aXc}tc^S2);9PM?gAi0~zBU~y3*3MEDk1~^&anrav=LkrQWWg%(tvY!*_A-P;6 z12C1vGAIoh+T;n~T%JcZjx0VY7rAyKZ+u1ZJK1W9a}9@$cF1P=6q42g=^ zGBpsymV$rswydWW@?O=|P~~*K-i{3+lm40X&%}b)>&<4(d`+pq*rbdul1G4vhZYL8 zlTel9Ed8X5CS7#gj4sK@RDOSuHM!yFqHU-JbvPguT5&CuYV9DPT+COfpokxD> zunNMr{L?DKZt|sZ8Z8JW~>@C1@vetcEK{ zy=Umh%gOE1dC4;g|*wc=J8ZBJhL7iwR*{PkZwRPH}dzd9nn& zUqnLxhPR3sl8aO_QgatxJE1?5gQ;tNBvxuo|29d z&q`~FK1qM(Diu(DO<9$Q9Ce^8a3gWH_i(np=3ydAy2;FniM^!?Gir()Rbnv}s80pv zax(Raa-eie`j672noa`pNaQ)SJn?sgl3lQVmyoDqp+3#AHDWG_2|b9U2gO+WYZ(2W=Zwc9k#$qtjM zDG{qOYAE|ao>tglq}9QUv-;aK>7q#&O?-4^zKw`=hW@o3BYE+`=v#9(@0xw!ZP#2( z&eD{3nttAaXSRzMXU%1}x~#2b(Sg94DD#y;hY3eJ7o7=^zN{CzJ*~wA^3GJoWf_4r z1S{=kUEVUhMDX+;Ct8c>HLmF%E-BEY%uJ+K&>5KvYlO;DSA~=UMkd`YDOL7)eMDxU ztUjq70?Kqe(nm&{Y{2NF50JLOL@?WWBUmPln5p*EN=bY93RnbsbSOpFS7n}x$7n~B zaj3U39jT<2kz3MAS%dE@ABpPhryIYqap zh{E*qPAv2NBMPIcx)I--${D60`SkOytk|D#7t8hPM!G59Q*Ae$?Jr56{Bx-pFXiHRmAnhxgsFwq|mL&7XDp&gwHi6%Ch4(5>u z^N{cK$62>NTdbO0zomcoEtPsPgQ!#*6kP!xbSCOeaI8oc(klQ__fe0nuO%{(1kB0u zYR?NWxwS`?H%Q(Rn7bHls6t6E7NJH_iReT(BAOVvvOO4gx3q7{IyS<7)&*qnUs;z+ z09exC1P(1fISwC0XxM~ynz;G z0^TDYHi1tq49s3|OHu+fv(Ra3&BQh%P|9HU0M3#PPFFMmlwJmllz}8w(78C>i{TZi zsDX?HYu1640rK( zc{mQ5w85Fz#`TnvtGP@L@IRdaINfzw)KW-5TY^wnk}Cz2O@ETAtt#3?*>-R^k>Ju~ zdYH_nk<+Ck*41FCGs{LAKu7C9`yy>rgOizo($YgaK(=ad+4Uv^7C;OSv9j_U9U8!i zoLFt+2gv4Xmpx+`=uPz?5EcP^)xuDAbuVg(vMW+aT&!=j64wOf@&{21%|-ph?GVdS(qfWpEiGDrOgt7o=Dd=BH>w6jNY5dSGd5 z?w%o~K-yMhqMdPJoLiOX4`)z`%Oluv38#t>By5>GQea<#Z>K{mNMeJs?45~k*_3*i z8cIM2y0Ol&=5;`wYeUI1l5o`TSBwk+6JLh`G%uJqVCHxObTrvg80}+WN-id*<^Zl) z0|w|wbw?2UJSw4NW{|Ha>BzL!lQzd{znk-P@^>9rF!+6w5#s|Q44n;@U<`||$dgMn zfg0{GQ9@}z&gQt51<`0PQn$&&frT^;R#YDh`>@e z21|?v15=jaDm6z{0DJABUddPhTn)*y!r@4$BxzqgE%1mo696oOY`B_wt)kR3Q(ydp3_rN*@|rWSx&tX%{XT^m@H4=~<~=IpGI)i_@+ zR(&&02|M)1e7 z%D3kRAQdobOhQb#Ius`NDlBk_f_;jB*JI)6>2)CtGaUt3D7f$12&rrkQN6*WmWZE+ zbfwjKSS|0jjCXI^Z}y`XCzo$>`KE(;SC_9@%KCf+3}Cil1(>tUBZU-9~#=R1ae~45aQMfy#ge z#{B3GHeFAjs+=L6OWg!unP_~8&X%LS*5>HKW3h4^=ZNVS?Pb7wd`mg-eFfQ=hv*|| zo^mXtcx8h_7+tPUJ?~Y-+1TuV^D#_64(j(Z>uD zLqY`fD|QI>afwj?$zw{2NF3t|BCZ_;wgu(Zn5kk3hpZszjIuNn7cg!bgXoCDO_ye) zupG~TA$K5n<2y4VFXBf@LgcO1+&8`c+_v9QE5z)5rogdYd)Nw-P2>2XAPB1`OG#_gh6%!#%virge>1@&82rgez)0GVv1+NCq&_ z>;mW^6Dqa%z`!zblUyJ|3tAo=M;L+2(}+Woj}{jxB?2Byvn95YYRk+K*25zrSZh5o zf!SJ>wP@l8M;k(`g)&~S4#v|AE7!y2U}F$z*{q=#?a9Q0N5+F)zkCA) zUc4L`_g+ZQ2d}w(x!%xwU^&F0SuW@DDh~)Dg-!R8B}j~#8H-Y+(yGKP$&MoMM0?~~LyCb2p*37vP{CPDz9!O#LaiBu5*U{j zQTsN%j6r8`ktY_D3}Td7h{P$0G1PR@Ne~fYENt{KgGr^PMav9mltw4OAPFe)qnq0Z@`w~QV9!K?58A4dX)cvPofgbL zgH0IhsFliKug1~b+OLvH<~ld>F%$|gMMbnOnOvG@!aP$)b%MCX0*;QLw`ay?hAqiD zA;&DoK?IiK1kV{tRu{xX$Z-%AAu5Bokh2mwUh-p(04pcuiSp_h_3<2RVkmYILWNj# zNo0?iT4pQN;$kV4NE>4$iQ$O0$ju=9My3h&(}Jz#zh?R*5o~YmiZyu&MkW;&xy1@2 z6$Bt{MjDp1%Yz3{I-4uw#`Kt3J;+A_L^^5$VWnlT$n{hZW{mjRUThwVb=_=si(%0&n&pj*pjaxAf6m08C3yT;p5+p9S9S=4AfeI# zuruHs%#$J|QdK6!i7wa(K_a;&Q%%WI2IBRW=E>zgg+M@CCLQBPD`r}X!p9`1#00~? zGkDhA6{KuOL#t(C$<2+^Z)xe47_bqy2yv{?3Mgq1uWgRBjL?$Mig=k^K(JYv`dwD^ zIB42b5K--l%nsvu(SM^EDDx>(9cFeMSw50x)W zkHq+MnDX)OYd(It*!3In-?nX*&1Pnu2gbdJax)p9=bLqR(e7rK13yVhSGhj*>3~|V zZ?D?E(?|PZaXC-oo96u7U=&FGCQ4s$_ei$FR&I={ddeP|66&p%qiPypW!P3&X zC7D*LMMZ365eqXJAYmK?tHJ~jA&}Q6hYFw%1u&#YnGR1+I!SbIW8`>US3+Zhfq;j? zIC6{$ldh(V9q{|WoLwqR^`0aekOl!8u*AhHF`~??(+W!_uvy;EUt>h;V( zQik`DD(2hJ12fSRWk3wS){#@IgU%zDhaHdCMlq`)5fz-bh(lBmD0;whBG0Xx;~-H* zRFVGzJ|FJ{q6mS_6i(SxR9KfRFpgI?OUTmdq(+h846Mf1FgudB zvQ;c$D-u1%O#{(?EYZ~_6=oUPKyk(~SU8(BDg!UgPo()$b%ik(N5}k}6>d_;g?IxZE}?x}Keh!Or^C z?hRJU$jTbt0VQgJE1BR*{&_JL_C=n}>wa^aPXYyI!73P$T!9dWgZr|@??gqBCWQd6 zQf479tAI)i8yxKzOI`(wnRtrJtR5jD{ju5P!4!-o(Pb?|=Lk0>@f(p=%A*n`n;ssa zgbcyz@M%P_3|B2NJsgn{s@w=RiG#dNW2LB~z%ate@>rs{(TvHKXGKsBuQDK>rJ;C- zxT^d!2{qDfkU1?7XtG?}922o7E43{U$KvK^n|Up*IC|fRZE-f4(Hhx}frjTxxRW98 z0eP2LL8OpVa>V8}OSdIPBb&t>%;XFR4&pl0jxuD$qkc10eh6HU?55^~_qjP?ezE-K z-~~>qX;Mwo&n*u5eRHwhE}GS>*(`Q1&-&e>z0D^H4^`sdGY-=cyN*_qjJ(d+!ijD# zNi=Y_7#d43f&>j7M2&q(;M3qtsWTQ$6Ieh-!dFa%C;lw?CK_P^STxO05CtZmgr6z0 zktQIpA^$Qki5#A>>V8iK3VlMv1-I48l^s5VlxO95&2=$4LZrD8^h?AX z8L3awZYK{;lB&~io2Lco$`ek{%`XuCjC<5)^!pw>#{jLk+Tgj5jE*2)bzbt-^ zap_6FdqSZ^r4U8vMpMzk`e2;;dh77wgp<&X+Tzog6x4`Y03jn@z-?!X%UpL$x~g z9wxACP*R)Hb;%T1WXmHpiO^{vBIoS1GW|E&@5++6q#l9Urb2_lOv*Xw;0czyB^@Aw zh409ImS%jrk-w3Nfocy6Oo?ouW=MdKQ4CpA+KFGr9qE^mgfB?iN^r_$!Fu+X^w~Ts z2|_EYteLrqsb@7H1-Z$LXQQK&gwW190+*;$?Qg(>6KmoYM8rOdoIlBL(C0&OId${2 z16ntoi3I}tB6tW+dZ)Hddvp-7ELpSInne0=DQV32mcupw$0ln}A;R}EL@1W~`75`tNqL7n?IEhegqZC6yStPbZ}m*!Q|_k#p)*K}1^0==(~ju&36&M$UXSKZH_U%y%r zg1YF&`MaT*H^VSUlr%#-%rPN)5s`FkSC;Ld_xgk&k#*CGhkNTztW%yxG;`Zt?%A;E zw=ZXl)wkwvGlCyx+a!gAdu2gGS{m;`v8kKmYi{|Jkl>SLgLm^r>ycH_g1)HRpKZZ610N z=pd2Vlmp>0z&)B4Lp(LP(F?r{a5uyQblmF2V%2X?&(=h=KRmZAupWKhN_g~C+PFNl zFc#KLEQgBr=yneD#V~|=kf=#T6Xv-~x`U2L#`f)t&j|(YUae<0?xKUNidI|Q_`!9| zYVdi`!)TGdm$4Z;*R`2Kzp5>&&gVwvW($XkKE&a-@3Oww^_%^*Ti4I$(&}Ys=o^xT zYo%73)cU!;IUih~iuvHFKx|M6EmYKow&_~kEVNfFJ+j34`Et>3u88WK-*qqtU~W>7;^1A^m84KPIw;Yu5J9h@0()CMK_o6(9qB3%cj2SYihS!>toFE1bmpgZiL{{B{f=*Ayh{@wMhgxdz;w%s)=wx)EDR zeRC!B_^CeliGJPx_E-Dw-w%a>8_BtD*7a0RutJ9|d3e`eoek@a&fM&+um8pW@!O}L z{=as+`_~UnKK-})3Bt-OI)Hq}gu!v-$G%iN3dy0NS1`cH5KTV!1py->iqlvOj57-AT9BJFE3hADdq+ zmYsb{=Y7&HHtoe?_u&K?cViP)nSYD#U_QB9ij5Mbk$x-`SSR-Zm>9yU?S2#atW-eLe7mZqG2@97)=9lY2l1yzC`kmB{2f}82BP#I*@C8 zi1e;7_}8D4E_4bza1;m$)X|>uT|?-PBeK1vd^e%pB#9f8HpW9L^O2&}6j%4*$A3?W zMr_KF*g&ihc%h?$^d?!P8b^@~5;?>06G*hj-`)Sr5{ z8OA>-J#IWpQHr!r-%4P&>E+-9&)4hScDJ!gy<0{UdD&GzQUpyx!GbDO!P9?GP$w(b zw>HchiEVkMj(R&!7|?mbG~m#Xg|$j~YwiMOK|4>$tQ7*tl0J3i&yYwnNE0hZ)X`HD z?7;#7qN}3&h;}2ApX5b}=Mds7!zz)sK-&YZMRg^q08)CM@N`8D zghT;RW=lx0ffdatO=IgHDHwhU63>*kmuJm8?o^bmCuP^T-O3YBhwy8x9KaC=F}tv z%m8BcVo8~XEFPd$C>AQ|xsioJeW|GJ7rH~Y2#~(13X}tavA~{|#lvK1#X$h}0Hi_) zJSOZrM1y6+9I0JTO$5Ok%)N+FSXzr$*movHnoFtYr3xNqW(z5XsY$LlfKy~#TL?58 zECVQaC1vypQ4b4ej7&;23|lr}3o>*w+PF}Cz9zA%qemBt;3;A*i}&>B4H{?93Q}nm z?GaLa+7nQxVMf>1Z70j#gXod6c^G^S$Pu6W^~JDq1Mn@(`H$a(V&&3pyJ7L zU)Vb!>4lM{FmWW@D*A8@PKvT4{zc&whBZR3G@XWwzIDu-wO$efoU}%qOtuv?Jd$l? z_O#ScqJ~Q(u02s`T z?c*>}O}9EpZCaJ7&m$*GpFsr(R*gSowTpDvk{&NdZUvIX4u?=Xm3_3G@^7L~h_C3B z4O@_AN%HW{2g|`@(gh=llAdbPW7aE)^vKk!6l6Fll1Z3MY3$yu48t0S3>u0QA4p2* zWdAA8^%nCJ?GM&IT<5EprC*Q&g!OR9{i z|D#onMimODDB+4`2S&><(>A7)D(NC4HEAdSVsG4;YShSd)agvEHO&GiT+fQgXt5{# zAFSSho_I=cz+W$&fnah=tB^F{1aO4Py`-tFz=vKJN8ttdd-|F_ki9kBkQ@m?~o$5-p10@EmbqrN@*J@D+9RR8PdIs zFaSa;Xu>GYs%$D+5Ou=9C>SKYA@^FXt)tconWDdmy_Q(OvEX{x7S2Gf=!pd79x_fu z;|ThNY+cvfGEssO(;k~4>_r$QZt^|kvu7)>rC5OeP3J7BL#0_XSPnY8Xg+ixaA9`q z5flCVAie?wU{w(HL@@6vxA2mwE5>4=WCYpoy?HkDf>Ouyu<){qKicWA4FXL8C?-^q zXOsdas0khk6+-uvL(=b8QFL8d8JW(KVGsH{Sbu=E666v4vLxOuL*He@YA}!(%2rDd zJ|&K91Vl*(1Lkjm%!S}7U!fp`qC{Y0to+_n_hwMqi6Ip7CI|(AokkTBQFF;EM47B1 zybLP2DYK@s1=Ik9rPU9C5hHV0dez2S7_kyUA^1QqMKFYmdPKYdIE7d(o;l&(ZCN?BzZv@<1j*+V_9f;MgR2%|eFhzkbeN11X>S_Ow6 zz>*qEiq;8yEUJSjs04-?Qx2Gu;H>wXvT3p_p!fkLO3#9EQpF$-v*9zCK!z(T1qe{Q zv^mIl60%4_avB(I1#LoBkX6%Diqi$H(%k|qj&4lVG9?6t23R;NIHQuVHcgw!3p&R@ z5tM0>t(b^vUnU}9)@5p-C}9iPdWGOn3i3*V+!HPSwALaOnw8-dQ|8I|m}v6>C}RH_fQ05qqXo;IZPKyL8BP09EN&<{4~eive(oL2WugadtNbC!&>pv2sUJqnP9^(@Cm)6 zd=t}%X-|~xYem+q;=#Zp#$MAdfj91GC38il9|jYtBo{hX%wx3&V_C{t4EPGnBI{X` zM4`(A1D-w{&`qeRCzwZ!fW`odUj4Bz3qy0hTMWS zeHbU8-#ro!{NZaY`(~JJn{VkId4rGX>LLg^8HN)d9~B?}?+un?ZXgA;)>dfKXoL00 zWSeEg@K{+U`rT1DOw$^z_1V(*l0fCfEIAgfEB=A43H94B-GM^9Y|o8(Px3~L%5QfBFbutu_G{&FQcQu zIx%H)MymOMs)gu_K!TLcdk`1tgQq(cW6s9FQQbqh)=GJ3#nTcpNl&762>>~I#|uo{ zx(2b)8TOC$>?a_viTxV6-}yo(3r6GEfXh&%;wT?KF)Op}vMCT&Dv zEO;y-(5h~;D?KR?prOE!stw(N5p6CQR=so#Q0U@b>VPvaF(ktQZU9r9hbtLeRJli{C2b{j3tY8@l+Fg~RbO(P)zk_VoG{7^|5 zIt^$ObG$$P(!+KZ+2uIdS(BYLaZ7vCskbR`1-Lm3!DQGeI49mlgwvBqWd@!nu;sP& z=;TSiO#0=Y(f9%k!9ZKqtL+#>dvHGNvN@Y~%|7O}Yc3|IX3F49e03LdY!@%in#+(d zjS0X-2E#L>Y8B(cC)p=%BoXEhFzSlNUA;`nH6vK-VBoA(94nqv1z0fX&-BFsy3aT! zU@%3Q01g{!B!JHZYJu9T0eCFT*egS6#fFY5?r3dR#<&TG3&7oEy^EB6Q^;@Ep{FC5 zf&M9!Z7nZpm~63f;RxhECALtRT=gyPizxf#7Yy3yss=WMaCv2GX31mA?KUL z*(I9!_|n8B6PHX}a%cAIS;)-|cfBcjN3Oh2oxnV9Am$22xFclK)0 zjiA;OyG-mdoyPs_^2gbWetp*O_M_fo325O|QZq5kbQ(8L;~^jCkF#!lX0xETG>5*e zI?aK>4q7@bD&suR+Qw;u;6(H*fe#g#c|;zPVLHsGW0Y9}m4~r=(G!LPO@hdFrH>i> z2@N8Q@+!4Q%yugb?gU^9z`Q|eNyLSL9(7@ym|3F=nX6ec_$OC1<&?y@fRh7@ocTZ? z(=nzAoT-ArP$1SZZI|G6GN>zE#bsJ&Ym=Fnc1% zKzfXc%)p3V;5+#hOrgl6RgR7LedSVO+HVAyts){aGW!& znedhv-Na(=4U291cD-R#(J(B&n~b|jS52q!cH?e8Z++d4bp#RIBtXRKC|!dvmlPfQ zA;FyF@qrEIkR%-?k)Ncj9Ild!6b9SWM@Sf zfzh@FlSTtbsVv_wwaNJk6b{}97JUkM|mbXJxN+IQID^qsWhI_ z(a{QP%4R5RFs`^USRoZm016f}T_XccnC%dBydZJ`k|k?{L9sOehBo^Xa;+#<@)3AK zFsHRd7}$nmdH^z*b_}c+NORWPOFwW1zdz+MrzhI5F{jS>OV&(c04_~< zgT*RBVN3~Qg)19tPZ^itBJ)4M;^{1|ZT<_mZ+Z!Cf@JE-qzSWf0n}yOE4e?O$IJ%6 zSxN3aI8k$CFq`7lj2@IO8w~|E+YA)=OC}OCmC0d(#|au;sXa<$R+%G6Pcx{%l?`+R zYmCwZrm-_%6p;901gGOmU`bPZ#ujGA_%b~v*x*UZ-yHDH;E4LLpJge7i*c^V5!s#E zz*sPLAtOq*^*XP`s0skJ3#B*^$k`C?+s0}bskR7u`i zkIN8WrgPfuD+>QAXwd;Yrn@sVD>5eli2%rA9^r>6@Q5}D)-k@)WSB?vWUUX&n0ENY zNN6Tt>ktY<=mcU?qB1eaz5+2+|6lT_O~eI)QF1fpuiFv4Uq{0onA@ zq!Jj4AQc1QS0lf*GCNmPwMUE?h`k?Y#ZcwR!14z;>_u~S*2v_WFBhx6*^H@L|6rE4 zUoJ1f2bxu9NWN6$+>vk6Lz_~)-4l^1ZkT!^e&(79z_4*ErP>4f6G#Y&Jtjfp`Pw9H zi3cg~8aoRR$jba>h8}_QU82@SeY!TPj*%A()pCp$mnxH511&n*XnW@8Q1r_T zVg4sEQBVY@XDYD8@Rl>?c!e#JM?J?FC$^Bm85#6nq&Qlf@Pp*}gB1~DDTI}(e%mZ( zOetNgUQC|Zl|>YpsbscKLilI1u!tLiCU4#o`&wB`gs37QUzst1KF1;p z%p<4}bioWhMirHWH8Cp)`dM))vj|X}zGlDaE#&pa#!~Ct|DX1F980dO&~XO*n#mMnC2lJmZ=KHYjIFVpnJu< zRLm~C81p=&5wMvmW}(|;sM1Vlt4cQ4SWn7iW!({#g^h}T?NMB|dGycNKu#?gnqy!x zeJYHoXZT1WN{aVfFrr=yDslDXm=)u0NcF*On6n0DjD;8&))n?9OX3&_>Ee6pUrbid zMloiSfs*pcWfU;OLWJSb$>?!{#!O!+!IB4q$&3dK^a6%Lz1QY#ymeGm-xoeChzf!r zje?+rG($-Ge}4cjexX-Al)^TNSAaD3`oN;Al>kr&-bl=-uuT{dp+lz zefHk#u65Tv=Q$5lYr;6*F!D;-DQ^Tluo1i;+x_ioRC(t1`wOAk`Pjv%8>e5jpxG`) z`k+_O9oK3v(uQriuR(merrh61Ul)~B{M2Aw+_USBt_DO6O;h#g=P|kHk+o~&&<=>_ z^*WhX?yF-nGPUqNUFGKe@-8ao74C?@cz4T$K>P^d+jrUtG|4WkLQpaSAXW#^K0oB1 z(2VDuYEU%2IXHeOdOV{yBdf6E^o>@j{c$L${-U8oOPd?VK9t94BUqIXo-FV+8N_lV zfc#=-G)NPoO#RFrP*=eY2kZc_S|<_6wAsfB?^O@JTB>7z%zfU*eNDURL?SIK&pWP> z^Gqc+-Hz$RUQE?k_B2t0HipoLyFS7xow|D;SC9um%xyFWSo!5M5`QyE9&rw%1jrM% zQ?4I%Il7ot3Qmt30bT4;hg*z0-I1CETX7UJOYJ8D1vA(gFQ01&+R;(Z+Esl25{*Sr z+1ORt(Cg745v8HPbQw*apGVb?cWt%4_wC!ZgQH2vicj2*Am z(_~qj9?NtKlKkKdq*)Sm7|i>h03WGkdSckOfk{x5+gndxMh7Z2&0l_THLOuTEw~i& z0=}iWH;i~EJSM`In`BNUOvqKCXDD=gFh!^S!3|LI9+QGoONg-qVH5)`d2JmYFL}u$ zxudAiL9GE1wO`h?7EE|ALMTbJamE<5L^ke)iku@$ou;C+nSP^|qSas5X!p~|E%=WJ zv9-ypRunxv76TNkNqRtR~D1e8TEaj|@fGr_>@~xH!#Z6Uu(eTjL&d=tq_~>H67G zxP0O&W0e;Q)pjXyFJC=&j=@JZ%vde8TVRNUuQtj+L@*JKY; z&U6Sq`|yS8owVhc1r`Ks)DkNybJT^0V^OxQEz!iY7D!^>kzo)xTfv6c84x350qE1Xc|=3eI{{<{frW8wWsQ=<`iob+vTod5}2U!Aeq1#LN|Q0Q=R`hgf? zup0{qBo<+$9~qK=^zFx+Kc!{3`!=dXk*M}LBiJHz^+k+O1$U$ab*va6iOja0bI*r_ z0sb%&`aY>mrc@1ah%TkgWTi$ICA(NjRy8|N&`bK$%gS{jAj2;YejDL7o4l&jx26r7)#d+qgzc&DvzCcm;0y#K4Pu7IvLVE*Z)}ad-n)$``?m{L~G}oJnShM<7hYKr%Jyb@mD{7 z*-orL%_brIQH=4#fko^yZjGg5pMmEB&x##ys%6qIrYQv%4o|m4nVNZ=8!VK47L2CE z$D2&XEl$8I?Kibaf<{>S`jCQdUpFPe!6Y8(>(5`3XSliJmbN;W`hHqxMP!)sN4bzh ze?#?|eHI+ZU*-OJQF1i?yoaXCg%kPe$=(yA2$g;u7_R>qu3G(5W(__z!YyVG^MgkJ zAAWxp1F$D*hr|^Q!|J6-Ke^iLrAAom^w#mYPZ@MBws+|*>`3}Bt)6>u4C9@Gu-k>s z@9!Y?mM8F)B^%s9X#i*NK$Ag&I`)r!90M`F3Gbd}NKBl0Mq`sXdCG~6m&SZ3hBn`K z8`UFuD3cA`=qopJJxRiQ_q$h!N9Mp0#xj4a(C#>cWm@|5BtetO6ZmSLGhK}v+aArT zA5Xz~q)iw+*0rxeS5B)SrYNW?_rogx?8_@paLz9e$35m==CBV_cB9-PQ_(y;AzjQ$ z1h`u~4xZcWAip^5R2e6^;diytiV`)Q(TT}qx(3`HS6T z0__|w>B2O`rC7&35D9-;et=z&DeaqCXS#05&4ehrRVPRGj53IW9Iv<-Lo#fg}~Qj)f`j`ENju zov3FQ-eXN6J^g5Nwj;>Or@#w~i2w0oSg6aBhN7h`?axw478j9|8GMmyQla0>Sp?du zC1taGMN?ef(pQi)ciY^2Z2V!Hg7u=UWm3REB%>n9>G~(u&jx! zyE6X(4tGmfz$Xh4Zhc1REY%Z{fct`*%ul0S?Se(UIrVL{h}q>QHbq9N3S~A6F)Jrt zWa;Pz1Jk1vLmBdwbR0W+eqywYtl^?L{(Ks%3Mbp4g#=E)D8}9!nI5&WOO5O zdP>*OM+~vZ)|H8=r~Jww@5mU-Ny{Qa>~_Q6X+{JW%2nP~a%c!_o@T{zy= zudIQ|;?w=ahP(>0=~&&vS^~r)lVjtJ@2IB2ZDMI<+~#kh4W*qtJw3AMrtVl$qP<#3@U)C`6TgUxWc!Z23x|8il%{{Ofz;mAgmr&1cE-qaia^YhHj!P30r z^}>frdtbGSx{qq6oIYjHR&o1qlTP7RX3J;S)(!na(}EcXPBpRwfo>j+?_>NX%i*M% z5|GJ`eS~Xcr})*HQdCoSL+6ZWW=H$H)3wg<%&F2auj*{sCW=UP3${GiwwvQ}jm~e~ zQQP2X1Z0lFkd?R3E>4LQS5`j2bXFjK$7jR$Rx_O<3zcUz_q%~p<%?;|fDG8(_Ss-> z(P7S?Of)FqilA{RyTd*grg6AO%N+EFd3Fj+pPX0cDmc8UxOvuK?R#8nmgBg4SBij| zyACCra2ZzU<|g?E8!5NpEtSUrCl?XnIa}Z3($-{v zY{&VdPVos7FPUse9_pD9YVKj};SxQi_F&e!e240Ue&5UjWct*AEt+N;K+W)T@HjjD z)rvz}ga5UeWx!nn`-P)v%(lRMQ)VN2%(qebsLFYwd36}yMMBKK(HOYQbuR!s0WG)! zSDWh2_I7L2FNQHx6%)QWuDJe^%@4!9D;Y<>`tF>ClhaUWRoMONhH-t}=UY|Z(JQ~T z*qy6}TUG(ThBq;b^C!tRt?fdhf>wWs)PP2H?Q=qsYSpvP)Mhi2|4KJq*1PI5J4f&>Qj*K4y&(E}o5fKk{CRNb=fVYm;(RU62AJ>O8ha58# z(&5e|!UUC@vgEbx`Oh$P<-*SSL*e#AP*JhZ=)rGpuTH=78NE73ejZYl5#ZehYTFEW z<8@BiespElkpVf4ur-6;&FsSfxeo`)4_T0_D>LOMz(j0xOJs^_jDrq#m>y%TJj5>F zW;Td@vmsltXY6J4nm^=yj9Fq~n$>RWu z9t-tZf2Z+QOm?W#Xo>mf(UjWyuyhN$0SoZk!ZuNkdac(>;JSboXfR7=ww4U*7h57O ztzl%^ar=0H&bJRMoQ-_id(E1^6$KCKXBf_JtXfS%!1Eq~G}8>MH&V4mhqo(s)5fU-vkt6f$lV z$(p}+IBq--nrZyK=5{7~(RU5eF*T}DzID`VzZJI;J*gEl-ucs>V8T(gz38G&wpwNK zMorKJK|InGh)$%rf{7lu5;3(NAvZbtuT5SpS%}q~q*XP+h>IV`yB3nO_PN^FPDc3L zYg5JXw+NEVuPW6Vez0v%GIIs;cT3X6TflA^yZ(1#f=20 z?dXZty};kS&Z?lTJ^b2!SER)MiEDFp=&4=pv(KYGHByi8a2AmTideOb5v#-x##AI>*)=x$>eNL zT>abNI)}#6TrxT6H{DqZL@TErgPs@|Gfbf3U+p=Jq35TUD^wH$?A;Xw>d-FBP|qu_ zuBl8{tuD_K0=FGh`wrxT5!auX95K}um5X&>{Hyo8M~wHX^1(h1(t|P0y?Z}m^kN3x zA;s|dL2!q0o89@-rL?;T(}CKR9H*NTo2mWlO-D~TpFn&5b)xWc1Jq5^x#`T0U12zX zcQb{6VeMh)gx-QEKf;kVR=-Fh6JYjmZq?AYPv^X#G)4T_fNp+AfDYL5_ji=Qy}W8% zVxL0cLsPM;C3oYxaihp4)wA%a4z4sC1h9p1lesp+`nk!?#qe(1BIV$vMikVQpE>$NLEN zDV`15Tp4u;@80=hY>Euj7L&WVLjGe0`vBq0Ds|GY(%h@k=~Vm)6OJY3`oAT0eDmhkoVuC~qzZ zkhS<;Vi|^>S_!(o>Xf)S-JKhIIPEPS>wvo0Tt)!y``9vt$;(U*Vd?@vuQRb9eKXd{ zo*Yav@Y()6>S&STX?O=!bff)bn?oetizV+KnbVb!skl z&>fKL!JhmW@aDEo4LI3%zj*?X=;$c1UiczVABK+yN>rbyjV@A%^;I!y3>%D~X$8HN z@4k6*L8tj~!98$aL`9^-`b}k4ldME8r9165WPw6uPR||b<-9=VJmIq_aj3cSp=E!a zdpZ<9d6V?`$D^Y2h^&$*qqtj#Rj z`h(hk%>$JvZnug8IPEm0-7c%9F7m5g-z^rSQJ{C2pi(v@JBbj1PHnwPF;!X`aO z*n*W&!U0B036Bi^Y^a4&KhJrV5&1NC%P>)31{9$6@^4qJBhJ6%<#nuw&gVQ!rw{l& zy&De?1-B0?5;rG@x&3w>4|--nSA+6qV{&)=)FsyZ&4dOlccC6nP8pLl3QMxkGxq!)-?si4`t;G1&&QmJGDS(sK?1(7>^Ke5_F6h z_^v@LL;92k?mMnUb`}14V@EMZLDb_xcan$07UZ4W5i|RFAJuPj#(!UUjsl#!7P9ZB z-X!MHZLqY@kS-RpA6$;7Se`~c8r6}u>lBUHhl%(9Fk%6t@7v}i%9fqB zt0{&&Jpi```8JkYRxSTZSdiv%} z-twjX%1qa@prVmenMU!_Y)@{LRNiQB`y)nR9UjZ~`K?>M4Uxa8bsN2IRR7FtU4=RQ z>-vQ}$GJh50L2m-zns?_q2cSp5engLCzNx#!1~(XR!fs+JckN`7m%4^`q__D{rqFz z6T`~;JIxtsDhO|DjNA%K#(aN=qU#0zmPlIQoHUFG@(O96mqKmzvY}ns9Wb1ly5X=R z8IdVy?G%vV9`T0~;-jLGc9Q3~*VpjzyOn_UD1s7hOpq}8hW(5#RTf;F5}wDp)$aLN z!A*PMRQTeU)MKuXBlA;gR;pN)=<8xBd=e=#S;Vzwc-p|>U(R-0d6d~?97%GsWA<+M z#;~tpF^alIQ|}V!^_7{x%di#xb31f@oc|E4xn5Znkboymyr|uvGfRB={txPzLVe55 zf$7gOiLXj$F3hV+Uyi;IjUgzKj zuiTADnrlr{)JN^W@oBX~;+Fia>tz|4Wvjy*t{+#CTB)d_>{j6i)JC)5NBncIPu|Df zZAuXI;&jwABeNz?@g4NQl(szYOro+kqt=^2wSOlwb7RoX_?7#DHHmj$XQ+>I)m4si zbJw4(xE%iNn5k+-l(i~hZiv!mvmP3iwH*vEqX)%7?h@f+?sID{m#)46uJQWI@qb&E zo4kDwjPK%CS{$K^%chGAv*(t6cD@y8xT{aR?fEyYJL0z5R$bpIx>f{rK+iFhKyCle zXzOn1GCEjXF6R~(IhT!U9Xo_0P~e_VK?LzAm-F_OIXGep+ye?C0H9n-+lD*gh*oe9 zZxF%Q-eKoG%8JzVK4#%Wi`2Q;Qg(aFHWzYxnml&Dexe2h-xpAYyEZ%ovLvZB?FHHI z=j?ZyN#7m*-x{?T*;=z)2>;Dqfo(4E=D7AiPn-877e0H*squ*EGRhibU>Ob?L z(%I7SL{#$UnD@$@3VE48Y7C=&YrX@P`dLMR(~rX+!5|D({@GjSN%?;K`176pIMi@> zjAxB6N2`=b$4pQ(Ex{%HD9^{jPHS1lp8ccO=pTOr%}{nkR&)pIVi0rOIub)#S%#9< zlwJJ6!Dt-r|MK0%_jvexinZuYJJ5RUCDXE?;?a14PO(@#QgN$EuyiWbcX>5p@o`#j z%?g)@@V?%wGDzXZzu(rZ8x52M$7Oe0Gm#WNXKb~XwH=H7rD8Y=7hmGZ^wT%BOrKl< zU}dR%`26KU>_srDarC72h$nNg%)g3p5B1++7_eUX2Ad;RLh&r@X^g+6dTR1(jvqJ*mv z;Z>ABx*DX*Ko1w|iu>}~sQ}cFrea>r$dxLtJ1c!xr~pPN!$ZP;LTbzk-)+_|SNVft z;Dhe(Pxk>Yb#X~8?zF?sP)0cCR!fmancfv7_iR$fXdU0aOBGerzq!4w61#;~=*M96 z%nO%|8oe-91XRvhVg~< z-z?CRy|`#}ZJYRgBuCv(T|wj8=(*&u+wA`+f;Qs;7}$7ke(imI_Q!0U2znNP1Q{MO zn2k<>nZe&?0}4^u&}^u92{hkqr3o@1f#E;zaX^tD+J-rym#>d65D~c+FRpCw&P=F| zw@td^;hjYH*Wyeg@!&9t!)0ixSrA*x{c7yg$EucH`V?1H>|^ z4k?#84zQ~&ropV6cJ(X|S9E^PZ&`joy9Dr=-y~l|$NOHLCa>J7&IMg>p2P#M)(js9 z_2aZ*m5+11uy(o~AH5L(OEmlJT+jFC4-hhrVvUbCVtr4#3Q8FzcDq>GkO2DMr?Dq| z_Md3YAN0&!f0R@OFv^sioBM9r2+kuCzr z)dC5zhn;vm`L%6-LK=teuvrmGfdU`k29WDhgpB;;owqjVRh@l^V7> zfK{^MkHaErXHqO**QPv3-+p?Dj9qzQd>b2mN3#ywq{Imydt@}41xTC)~^V3Z1$NW0$?5jlcO_Hd{4|mG2RKQ(_M~c8b$SFHz;zMb`?9{{E+e;3g>&0` z_?LCxpk6c(&C*#(I|2NV3D7w<|Dd0e@X|NUb*Gy-wQ0UA{{Gv?U+FYA+=6rlOvvB) zHkx&y8Be^DEb8Vf^!%WtDw(MX=)}&i;~4CPQ0TR z-oUQ*m@~KaNAv_`(Q$pyY@Gd?`6?~V4T#tvHCZkz=Uq#k)T;y;;j22c`;=r5``AZu2&u>+j z{Wq;rN!NA{o~$G^O1+rsQk1gsg@_*OLvfpW18k0oGZXPQ||TYCq<=WqUZq^ zfm$z)7^k$Id^y%Ws9-vbo%B?X&-Cf5wU#$(WXz{9>%GSoC0C_Y!SVUeQ*id)`*sYrmsCY zq7n!9gmWa$^%1do~x7oAU9Q zAEx*4Kjb}Dz<+6;ZU0}XWnfY>x`O6d=U|));fP`)#gqpVY0k_2X=^wBck?AM)PL1W z?y3nhXTAc9VUXcf43hj=JOeYv%8ldQJf^5>m|46+7=+P0o(V_P+x?A7r1>7DaEAGq zwunDRS5Aq*onMH!7J6d>C*Z#zFo@T&eu(&g^~H=4^~WIp)wkM~EnAGD(}S&9lor$C z3cvoJjcH4t31jf2s{VC7)hF-dF)jAF-R)2b?S}qHPD$jd9l<fX*rRi1={fQ+9YcheQhGlBo`;Ar|RBnDLlkF@5!$$d_~{6Q!w2b zw5g@mcvtJ{3lTJ`G!kF-uiL4gJ*(FDs9!gba9`rl?K+IVj*<_hh;I zvN35v%u++X*);G4F2)1&30BL_8^9Rm44NyvXFeE z+#eWjzR)&HTHktRBZ{D-8PQ|bIJx{X?0YqNKRl-zwobG=|ES*gd-%kmEii`5I|(+|j3p?HI(dkxPzwXCQE#Gr?<#F`$7a`q{*>5-O$ zfLDWKH0x}GYYIiIQ9ePEAgJNM$M;0`2k2zTwt;u3Ne@f?!JmCCRaJk}LIZb}W5#9M z9Bk=N%!`VQoH-BaQnpsw`rq=)04`ENac^7gi;;e+j%mJfkD_%>PShi-us;Lcj zH1Vr0tKaSreRBE%2x)%KlsB%Fur1T9f6&+y=kBjFB}edvTF>}O+M%2z050|g^zYWP!3>n(nSD)d?wtRV3kyrJC{!%IVNzz@`a|%R#9<&bY*@3$$={WOJ8T(*Pvfz?2?Reat5luDLRsP)WeW-epvWQW5IH5 zKji|y3%vk*=b))^tQJgLo-z3Dc-H%+t!9sW`)c+VRNmgGJL~EVa{!q=`{|Ej{v+=` n-TJn!@H1sBh2Fg9Dw=n9_a>76-}CDsLgK+YuKUqA_M`s;vO8E* literal 0 HcmV?d00001 diff --git a/research/selected-final-closure-linux-audit/OUTPUTS.json b/research/selected-final-closure-linux-audit/OUTPUTS.json new file mode 100644 index 0000000000..8e6239ee22 --- /dev/null +++ b/research/selected-final-closure-linux-audit/OUTPUTS.json @@ -0,0 +1,632 @@ +[ + { + "bytes": 4184, + "path": "ADMISSION-CONTROLS.json", + "reviewed_sha256": "9d408a0c84fbca7e873b2411590c6c2b526951bc975a26430c9a4baf3fb0fb27", + "sha256": "577f0d8a58e7e73c0106e96316c56f955207c4e639cae0acd91ee0ad5c29a43c" + }, + { + "bytes": 85147, + "path": "ASSEMBLY.json", + "reviewed_sha256": "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045", + "sha256": "9ce4344dcfe974c6afeeeebe3a5262caa919aa12a5d731f87b420cd18b9460fc" + }, + { + "bytes": 1531, + "path": "BIT-SUPPLIER-CONTROLS.json", + "reviewed_sha256": "a9a20f53c2297fd984c940954d5eab175d298b8d79630b8ad6f1b71076bf8396", + "sha256": "a9a20f53c2297fd984c940954d5eab175d298b8d79630b8ad6f1b71076bf8396" + }, + { + "bytes": 3296, + "path": "INDEPENDENT-T16.json", + "reviewed_sha256": "dbb3dfc0a38bb29ea694c67a97e7e77659ee8c76e046715b37504b31f6454f91", + "sha256": "931c28485733e07770200003c7039c093a8da888d64aad20e9418e0063099f8d" + }, + { + "bytes": 3811, + "path": "REPLAY.json", + "reviewed_sha256": "ce0678fa7abaab221de74baeace0c6696d5ea23a36719a58cff230215a06aae7", + "sha256": "3e7c9ace47b4ca46cfb4616c5421c982c5bfe5b6ffbea88e33b63ce1e179df58" + }, + { + "bytes": 1783, + "path": "STAGES.json", + "reviewed_sha256": "3c6d9236b782a064b8552337b5428d0511099f5d552f1fb54110b6ea6eb5277c", + "sha256": "384fdbbc47112906730b3cbe80c93720c65a31ba10dffb7a1402771dd025b5d5" + }, + { + "bytes": 76, + "path": "admission-controls.log", + "reviewed_sha256": "051d242318154827c1672ffbb63ad2bdc8ecc4033be650b791dd69cd57d716b3", + "sha256": "051d242318154827c1672ffbb63ad2bdc8ecc4033be650b791dd69cd57d716b3" + }, + { + "bytes": 63, + "path": "assembly.log", + "reviewed_sha256": "f0a292b38c69df451922d43ff0ca6663b94982e2bda0abd10b277b35ad319993", + "sha256": "f0a292b38c69df451922d43ff0ca6663b94982e2bda0abd10b277b35ad319993" + }, + { + "bytes": 3074, + "path": "audit.log", + "reviewed_sha256": "380196e45cd6c7b81851e9b81ff832a88588e67e2b9774bee566310bf5274e2e", + "sha256": "380196e45cd6c7b81851e9b81ff832a88588e67e2b9774bee566310bf5274e2e" + }, + { + "bytes": 56, + "path": "bind.log", + "reviewed_sha256": "71f679ce5a123fb58397fd6852ba64ce3832fd20e81a096bfda9a1cf3237237a", + "sha256": "71f679ce5a123fb58397fd6852ba64ce3832fd20e81a096bfda9a1cf3237237a" + }, + { + "bytes": 56, + "path": "bind8.log", + "reviewed_sha256": "71f679ce5a123fb58397fd6852ba64ce3832fd20e81a096bfda9a1cf3237237a", + "sha256": "71f679ce5a123fb58397fd6852ba64ce3832fd20e81a096bfda9a1cf3237237a" + }, + { + "bytes": 61, + "path": "bit-supplier-controls.log", + "reviewed_sha256": "d54d260bf95bd8ae4ab8846314082b93b2e3d8f427eb35376691f2ce543a6b67", + "sha256": "d54d260bf95bd8ae4ab8846314082b93b2e3d8f427eb35376691f2ce543a6b67" + }, + { + "bytes": 2139, + "path": "emit.log", + "reviewed_sha256": "1ea853d02e3d3377f03761909bf1825bde48431e9e2258303c57c78be12a4b95", + "sha256": "1ea853d02e3d3377f03761909bf1825bde48431e9e2258303c57c78be12a4b95" + }, + { + "bytes": 1325, + "path": "global/BINDING.json", + "reviewed_sha256": "965513e5c8adb92520c4baf3ac8ff80aaff42ef81d25a6372eafbb1c6e7ddf78", + "sha256": "965513e5c8adb92520c4baf3ac8ff80aaff42ef81d25a6372eafbb1c6e7ddf78" + }, + { + "bytes": 975205, + "path": "global/PLAN.json", + "reviewed_sha256": "faebd4ce583996d6e7fb0729fce2738b3acaee9b4ff79962b95f60d6fe2cae24", + "sha256": "faebd4ce583996d6e7fb0729fce2738b3acaee9b4ff79962b95f60d6fe2cae24" + }, + { + "bytes": 3074, + "path": "global/audit/ASYNC-AUDIT.json", + "reviewed_sha256": "380196e45cd6c7b81851e9b81ff832a88588e67e2b9774bee566310bf5274e2e", + "sha256": "380196e45cd6c7b81851e9b81ff832a88588e67e2b9774bee566310bf5274e2e" + }, + { + "bytes": 956, + "path": "global/audit/GLOBAL-PREFIX.json", + "reviewed_sha256": "8d6bc4f2c747d07bb0cd19fce1c94e0f589dba0b401a5f67cd5676ef7346c201", + "sha256": "8d6bc4f2c747d07bb0cd19fce1c94e0f589dba0b401a5f67cd5676ef7346c201" + }, + { + "bytes": 562, + "path": "global/audit/IDLE-REMAINDER-FRAMES.json", + "reviewed_sha256": "4b114ee8119240c2d5f53a66bc4034adc72f7ce6204990148616957e4cf98498", + "sha256": "4b114ee8119240c2d5f53a66bc4034adc72f7ce6204990148616957e4cf98498" + }, + { + "bytes": 2646, + "path": "global/audit/OWNERS-AND-PROFILE.json", + "reviewed_sha256": "30bafff060afcfb3644e951214d66cfaffe58242881c652e28003958b42127cc", + "sha256": "30bafff060afcfb3644e951214d66cfaffe58242881c652e28003958b42127cc" + }, + { + "bytes": 78165, + "path": "global/audit/PREFIX-AND-INVOICE.json", + "reviewed_sha256": "212cf4ee3b16081bf66f300fa18b4070d25c17210c21c78c2967892c91870d12", + "sha256": "4c4c57eee80328d4c1ad91857240dda46d31949d83736091a97ea47073a8d1e1" + }, + { + "bytes": 84805, + "path": "global/base/providers/gauge44/CANONICAL-WORD.json.gz", + "reviewed_sha256": "16bc0ebb04b4be6c0ade74badc6a0c0cdba4215eda86e4ff9f13abf8ecebd219", + "sha256": "16bc0ebb04b4be6c0ade74badc6a0c0cdba4215eda86e4ff9f13abf8ecebd219" + }, + { + "bytes": 977501, + "path": "global/base/providers/gauge44/CLIFFORD-RECIPES.json", + "reviewed_sha256": "d0768f2164d5f64a2fdbec422f1cfde4e400818792f1904ca541958377243731", + "sha256": "d0768f2164d5f64a2fdbec422f1cfde4e400818792f1904ca541958377243731" + }, + { + "bytes": 644, + "path": "global/base/providers/gauge44/CLIFFORD-REVIEW.json", + "reviewed_sha256": "cb0e10a8b284f176526c17177e91186ce09aa3e88b4f6acc561051daa072b0d0", + "sha256": "cb0e10a8b284f176526c17177e91186ce09aa3e88b4f6acc561051daa072b0d0" + }, + { + "bytes": 57222, + "path": "global/base/providers/gauge44/FULL-WORD.json.gz", + "reviewed_sha256": "49596aa4ed4fd36cd4582fd0e8ddeb09fd80370a7d8aea1ede52a135b536d289", + "sha256": "49596aa4ed4fd36cd4582fd0e8ddeb09fd80370a7d8aea1ede52a135b536d289" + }, + { + "bytes": 2295, + "path": "global/base/providers/gauge44/INDEPENDENT-LOCAL-REPLAY.json", + "reviewed_sha256": "13dd18297162569532983db1a2ab67926b064330cd7edd3587e7b546b2dedf17", + "sha256": "13dd18297162569532983db1a2ab67926b064330cd7edd3587e7b546b2dedf17" + }, + { + "bytes": 892, + "path": "global/base/providers/gauge44/LOCAL-CHECKS.json", + "reviewed_sha256": "2b8b1891a736598010232bfb26abc31973b265a53a2009a3fcfd9138b5ecadb4", + "sha256": "2b8b1891a736598010232bfb26abc31973b265a53a2009a3fcfd9138b5ecadb4" + }, + { + "bytes": 209318, + "path": "global/base/providers/gauge44/LOCAL-PROGRAMS.json.gz", + "reviewed_sha256": "241fde27d4e43f5a9cb6b128f9f76c5131a53d09f0371676163f914d0b0fef3a", + "sha256": "241fde27d4e43f5a9cb6b128f9f76c5131a53d09f0371676163f914d0b0fef3a" + }, + { + "bytes": 14123, + "path": "global/base/providers/gauge44/RESIDUAL-ADAPTERS.json", + "reviewed_sha256": "383f40aadd00a4ac700dfd0d4c22d6c6c0be9a9863116e4d69c7acd23bafae0c", + "sha256": "383f40aadd00a4ac700dfd0d4c22d6c6c0be9a9863116e4d69c7acd23bafae0c" + }, + { + "bytes": 7110, + "path": "global/base/providers/gauge44/SCALAR-FRAME-AUDIT.json", + "reviewed_sha256": "0e2a979aae1b948e1bee6c49c218f3ce7d7df00814b3f53b3d0866497510a28b", + "sha256": "0e2a979aae1b948e1bee6c49c218f3ce7d7df00814b3f53b3d0866497510a28b" + }, + { + "bytes": 6385, + "path": "global/base/providers/gauge44/WRAPPER-CHECKS.json", + "reviewed_sha256": "0ae753d6fa6e922d8b8180da602828f6cb3f444fcd124d019acee74e145c0836", + "sha256": "0ae753d6fa6e922d8b8180da602828f6cb3f444fcd124d019acee74e145c0836" + }, + { + "bytes": 70587, + "path": "global/base/split-centres/CANONICAL-WORD.json.gz", + "reviewed_sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844", + "sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844" + }, + { + "bytes": 989379, + "path": "global/base/split-centres/CLIFFORD-RECIPES.json", + "reviewed_sha256": "534ace870cabe515987e00f50f71550030965006ea18978e0924590ac6944345", + "sha256": "534ace870cabe515987e00f50f71550030965006ea18978e0924590ac6944345" + }, + { + "bytes": 656, + "path": "global/base/split-centres/CLIFFORD-REVIEW.json", + "reviewed_sha256": "ee9b86428278392d2c933f76d60e51f5af90d4ab67e4d3937ed2fa416e7755ab", + "sha256": "ee9b86428278392d2c933f76d60e51f5af90d4ab67e4d3937ed2fa416e7755ab" + }, + { + "bytes": 607002, + "path": "global/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "reviewed_sha256": "a179dad87651aba340a5a8ddbcd86a8e757cad87b8a1f8bad48106fbecd38518", + "sha256": "a179dad87651aba340a5a8ddbcd86a8e757cad87b8a1f8bad48106fbecd38518" + }, + { + "bytes": 1615, + "path": "global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "reviewed_sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26", + "sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26" + }, + { + "bytes": 1615, + "path": "global/base/split-centres/INDEPENDENT-REPLAY.json", + "reviewed_sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26", + "sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26" + }, + { + "bytes": 1690, + "path": "global/base/split-centres/INTEGRATION.json", + "reviewed_sha256": "5c14538134dfffbc58fa4b4d2f26b270ec5f56d17d4bf23752c82964f45171db", + "sha256": "5c14538134dfffbc58fa4b4d2f26b270ec5f56d17d4bf23752c82964f45171db" + }, + { + "bytes": 922, + "path": "global/base/split-centres/LOCAL-CHECKS.json", + "reviewed_sha256": "79177449e404403964ce1b2f4a9a8bd49e1916daba3123d7fd7f5cfd1f1ac0ea", + "sha256": "79177449e404403964ce1b2f4a9a8bd49e1916daba3123d7fd7f5cfd1f1ac0ea" + }, + { + "bytes": 179435, + "path": "global/base/split-centres/LOCAL-PROGRAMS.json.gz", + "reviewed_sha256": "99a18eede965accf65943e490b8d2b2ffb9f1c9bc6babdb825413a80cbea2cde", + "sha256": "99a18eede965accf65943e490b8d2b2ffb9f1c9bc6babdb825413a80cbea2cde" + }, + { + "bytes": 8534, + "path": "global/base/split-centres/RESIDUAL-ADAPTERS.json", + "reviewed_sha256": "baafef737acc16dafbe1150896feb16744f3d669fa123bb2bff19ecc4e71b275", + "sha256": "baafef737acc16dafbe1150896feb16744f3d669fa123bb2bff19ecc4e71b275" + }, + { + "bytes": 4546, + "path": "global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "reviewed_sha256": "73b3601a6239502475a272ea0c46945fd42034486aaf43e66a212eb4f012ca44", + "sha256": "73b3601a6239502475a272ea0c46945fd42034486aaf43e66a212eb4f012ca44" + }, + { + "bytes": 4309, + "path": "global/base/split-centres/WRAPPER-CHECKS.json", + "reviewed_sha256": "9a09146e686c4f535b04fdef3753fe01dad8f5e8881a69408a91394acb5b48f5", + "sha256": "9a09146e686c4f535b04fdef3753fe01dad8f5e8881a69408a91394acb5b48f5" + }, + { + "bytes": 814141, + "path": "global/base/work/complex-nine-native/DATA-PHASES.json", + "reviewed_sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa", + "sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa" + }, + { + "bytes": 579505, + "path": "global/hosted/ACTUAL-SIGMAS.json.gz", + "reviewed_sha256": "f12383eb2691fe33cc9f0525ccb5f6429db6d7bbf0eec76e97f50e752f943dd9", + "sha256": "f12383eb2691fe33cc9f0525ccb5f6429db6d7bbf0eec76e97f50e752f943dd9" + }, + { + "bytes": 1455455, + "path": "global/hosted/GLOBAL-TEMPLATE.json.gz", + "reviewed_sha256": "2acf02b418078e37090495c601fe550448751d4f35912757b13a1f778efc7760", + "sha256": "2acf02b418078e37090495c601fe550448751d4f35912757b13a1f778efc7760" + }, + { + "bytes": 2139, + "path": "global/hosted/HOSTED.json", + "reviewed_sha256": "1ea853d02e3d3377f03761909bf1825bde48431e9e2258303c57c78be12a4b95", + "sha256": "1ea853d02e3d3377f03761909bf1825bde48431e9e2258303c57c78be12a4b95" + }, + { + "bytes": 81587, + "path": "global/hosted/IDLE-REMAINDER-FRAMES.json.gz", + "reviewed_sha256": "650c14a1de75015fdae5c02ea18f1d0fd2de35d249b5ff2cd77f3b1afe604985", + "sha256": "650c14a1de75015fdae5c02ea18f1d0fd2de35d249b5ff2cd77f3b1afe604985" + }, + { + "bytes": 1325, + "path": "global8/BINDING.json", + "reviewed_sha256": "212fd1c3e78e6a5aa8acdb6888cfa61170081bac081b6a850093c8b9b3b9e165", + "sha256": "212fd1c3e78e6a5aa8acdb6888cfa61170081bac081b6a850093c8b9b3b9e165" + }, + { + "bytes": 455882, + "path": "global8/PLAN.json", + "reviewed_sha256": "998837088fe3aedf979fa41b1bdf1c911f9bc68e8a5d0fae555c8d2bd9aeedbd", + "sha256": "998837088fe3aedf979fa41b1bdf1c911f9bc68e8a5d0fae555c8d2bd9aeedbd" + }, + { + "bytes": 84805, + "path": "global8/base/providers/gauge44/CANONICAL-WORD.json.gz", + "reviewed_sha256": "16bc0ebb04b4be6c0ade74badc6a0c0cdba4215eda86e4ff9f13abf8ecebd219", + "sha256": "16bc0ebb04b4be6c0ade74badc6a0c0cdba4215eda86e4ff9f13abf8ecebd219" + }, + { + "bytes": 977501, + "path": "global8/base/providers/gauge44/CLIFFORD-RECIPES.json", + "reviewed_sha256": "d0768f2164d5f64a2fdbec422f1cfde4e400818792f1904ca541958377243731", + "sha256": "d0768f2164d5f64a2fdbec422f1cfde4e400818792f1904ca541958377243731" + }, + { + "bytes": 644, + "path": "global8/base/providers/gauge44/CLIFFORD-REVIEW.json", + "reviewed_sha256": "cb0e10a8b284f176526c17177e91186ce09aa3e88b4f6acc561051daa072b0d0", + "sha256": "cb0e10a8b284f176526c17177e91186ce09aa3e88b4f6acc561051daa072b0d0" + }, + { + "bytes": 57222, + "path": "global8/base/providers/gauge44/FULL-WORD.json.gz", + "reviewed_sha256": "49596aa4ed4fd36cd4582fd0e8ddeb09fd80370a7d8aea1ede52a135b536d289", + "sha256": "49596aa4ed4fd36cd4582fd0e8ddeb09fd80370a7d8aea1ede52a135b536d289" + }, + { + "bytes": 2295, + "path": "global8/base/providers/gauge44/INDEPENDENT-LOCAL-REPLAY.json", + "reviewed_sha256": "13dd18297162569532983db1a2ab67926b064330cd7edd3587e7b546b2dedf17", + "sha256": "13dd18297162569532983db1a2ab67926b064330cd7edd3587e7b546b2dedf17" + }, + { + "bytes": 892, + "path": "global8/base/providers/gauge44/LOCAL-CHECKS.json", + "reviewed_sha256": "2b8b1891a736598010232bfb26abc31973b265a53a2009a3fcfd9138b5ecadb4", + "sha256": "2b8b1891a736598010232bfb26abc31973b265a53a2009a3fcfd9138b5ecadb4" + }, + { + "bytes": 209318, + "path": "global8/base/providers/gauge44/LOCAL-PROGRAMS.json.gz", + "reviewed_sha256": "241fde27d4e43f5a9cb6b128f9f76c5131a53d09f0371676163f914d0b0fef3a", + "sha256": "241fde27d4e43f5a9cb6b128f9f76c5131a53d09f0371676163f914d0b0fef3a" + }, + { + "bytes": 14123, + "path": "global8/base/providers/gauge44/RESIDUAL-ADAPTERS.json", + "reviewed_sha256": "383f40aadd00a4ac700dfd0d4c22d6c6c0be9a9863116e4d69c7acd23bafae0c", + "sha256": "383f40aadd00a4ac700dfd0d4c22d6c6c0be9a9863116e4d69c7acd23bafae0c" + }, + { + "bytes": 7110, + "path": "global8/base/providers/gauge44/SCALAR-FRAME-AUDIT.json", + "reviewed_sha256": "0e2a979aae1b948e1bee6c49c218f3ce7d7df00814b3f53b3d0866497510a28b", + "sha256": "0e2a979aae1b948e1bee6c49c218f3ce7d7df00814b3f53b3d0866497510a28b" + }, + { + "bytes": 6385, + "path": "global8/base/providers/gauge44/WRAPPER-CHECKS.json", + "reviewed_sha256": "0ae753d6fa6e922d8b8180da602828f6cb3f444fcd124d019acee74e145c0836", + "sha256": "0ae753d6fa6e922d8b8180da602828f6cb3f444fcd124d019acee74e145c0836" + }, + { + "bytes": 70587, + "path": "global8/base/split-centres/CANONICAL-WORD.json.gz", + "reviewed_sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844", + "sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844" + }, + { + "bytes": 989379, + "path": "global8/base/split-centres/CLIFFORD-RECIPES.json", + "reviewed_sha256": "534ace870cabe515987e00f50f71550030965006ea18978e0924590ac6944345", + "sha256": "534ace870cabe515987e00f50f71550030965006ea18978e0924590ac6944345" + }, + { + "bytes": 656, + "path": "global8/base/split-centres/CLIFFORD-REVIEW.json", + "reviewed_sha256": "ee9b86428278392d2c933f76d60e51f5af90d4ab67e4d3937ed2fa416e7755ab", + "sha256": "ee9b86428278392d2c933f76d60e51f5af90d4ab67e4d3937ed2fa416e7755ab" + }, + { + "bytes": 398090, + "path": "global8/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "reviewed_sha256": "ab8448de2036a23d9b55a196a8846512dc24fdf09855c1e0f0caa5b7a6965f7b", + "sha256": "ab8448de2036a23d9b55a196a8846512dc24fdf09855c1e0f0caa5b7a6965f7b" + }, + { + "bytes": 1615, + "path": "global8/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "reviewed_sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26", + "sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26" + }, + { + "bytes": 1615, + "path": "global8/base/split-centres/INDEPENDENT-REPLAY.json", + "reviewed_sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26", + "sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26" + }, + { + "bytes": 1690, + "path": "global8/base/split-centres/INTEGRATION.json", + "reviewed_sha256": "5c14538134dfffbc58fa4b4d2f26b270ec5f56d17d4bf23752c82964f45171db", + "sha256": "5c14538134dfffbc58fa4b4d2f26b270ec5f56d17d4bf23752c82964f45171db" + }, + { + "bytes": 922, + "path": "global8/base/split-centres/LOCAL-CHECKS.json", + "reviewed_sha256": "79177449e404403964ce1b2f4a9a8bd49e1916daba3123d7fd7f5cfd1f1ac0ea", + "sha256": "79177449e404403964ce1b2f4a9a8bd49e1916daba3123d7fd7f5cfd1f1ac0ea" + }, + { + "bytes": 179435, + "path": "global8/base/split-centres/LOCAL-PROGRAMS.json.gz", + "reviewed_sha256": "99a18eede965accf65943e490b8d2b2ffb9f1c9bc6babdb825413a80cbea2cde", + "sha256": "99a18eede965accf65943e490b8d2b2ffb9f1c9bc6babdb825413a80cbea2cde" + }, + { + "bytes": 8534, + "path": "global8/base/split-centres/RESIDUAL-ADAPTERS.json", + "reviewed_sha256": "baafef737acc16dafbe1150896feb16744f3d669fa123bb2bff19ecc4e71b275", + "sha256": "baafef737acc16dafbe1150896feb16744f3d669fa123bb2bff19ecc4e71b275" + }, + { + "bytes": 4546, + "path": "global8/base/split-centres/SCALAR-FRAME-AUDIT.json", + "reviewed_sha256": "73b3601a6239502475a272ea0c46945fd42034486aaf43e66a212eb4f012ca44", + "sha256": "73b3601a6239502475a272ea0c46945fd42034486aaf43e66a212eb4f012ca44" + }, + { + "bytes": 4309, + "path": "global8/base/split-centres/WRAPPER-CHECKS.json", + "reviewed_sha256": "9a09146e686c4f535b04fdef3753fe01dad8f5e8881a69408a91394acb5b48f5", + "sha256": "9a09146e686c4f535b04fdef3753fe01dad8f5e8881a69408a91394acb5b48f5" + }, + { + "bytes": 814141, + "path": "global8/base/work/complex-nine-native/DATA-PHASES.json", + "reviewed_sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa", + "sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa" + }, + { + "bytes": 78, + "path": "independent-t16.log", + "reviewed_sha256": "9a822ed55b91969189acb1bb1bbdcebafc800855952fbd5e91c5d977c29cbbf9", + "sha256": "9a822ed55b91969189acb1bb1bbdcebafc800855952fbd5e91c5d977c29cbbf9" + }, + { + "bytes": 839, + "path": "invoice.log", + "reviewed_sha256": "8f7074e3f78a103318ded6362c8e9bc8fc0e8c1ea3b510e63b9b84b181452cb3", + "sha256": "8f7074e3f78a103318ded6362c8e9bc8fc0e8c1ea3b510e63b9b84b181452cb3" + }, + { + "bytes": 607002, + "path": "lift/GLOBAL-TEMPLATE.json.gz", + "reviewed_sha256": "a179dad87651aba340a5a8ddbcd86a8e757cad87b8a1f8bad48106fbecd38518", + "sha256": "a179dad87651aba340a5a8ddbcd86a8e757cad87b8a1f8bad48106fbecd38518" + }, + { + "bytes": 573, + "path": "lift/PARENT-LIFT-RECEIPT.json", + "reviewed_sha256": "bd6e884bc3eef031d5af8501b862fc7292f5289b85b13fd68cc3410bb857b7fa", + "sha256": "bd6e884bc3eef031d5af8501b862fc7292f5289b85b13fd68cc3410bb857b7fa" + }, + { + "bytes": 975105, + "path": "lift/PLAN.json", + "reviewed_sha256": "7bd786ba8e66408f02aa9ef446eaf20c1bfe981ea2e4dd1e5a929f0aa7767bc0", + "sha256": "7bd786ba8e66408f02aa9ef446eaf20c1bfe981ea2e4dd1e5a929f0aa7767bc0" + }, + { + "bytes": 467, + "path": "lift16.log", + "reviewed_sha256": "3fa0be11f93334259e88e1e08dc48cf87edba6b9d8805034030c00cc26ab7716", + "sha256": "3fa0be11f93334259e88e1e08dc48cf87edba6b9d8805034030c00cc26ab7716" + }, + { + "bytes": 70587, + "path": "parent16/complex-global/base/split-centres/CANONICAL-WORD.json.gz", + "reviewed_sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844", + "sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844" + }, + { + "bytes": 989379, + "path": "parent16/complex-global/base/split-centres/CLIFFORD-RECIPES.json", + "reviewed_sha256": "534ace870cabe515987e00f50f71550030965006ea18978e0924590ac6944345", + "sha256": "534ace870cabe515987e00f50f71550030965006ea18978e0924590ac6944345" + }, + { + "bytes": 656, + "path": "parent16/complex-global/base/split-centres/CLIFFORD-REVIEW.json", + "reviewed_sha256": "ee9b86428278392d2c933f76d60e51f5af90d4ab67e4d3937ed2fa416e7755ab", + "sha256": "ee9b86428278392d2c933f76d60e51f5af90d4ab67e4d3937ed2fa416e7755ab" + }, + { + "bytes": 607002, + "path": "parent16/complex-global/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "reviewed_sha256": "a179dad87651aba340a5a8ddbcd86a8e757cad87b8a1f8bad48106fbecd38518", + "sha256": "a179dad87651aba340a5a8ddbcd86a8e757cad87b8a1f8bad48106fbecd38518" + }, + { + "bytes": 1615, + "path": "parent16/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "reviewed_sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26", + "sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26" + }, + { + "bytes": 1615, + "path": "parent16/complex-global/base/split-centres/INDEPENDENT-REPLAY.json", + "reviewed_sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26", + "sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26" + }, + { + "bytes": 1690, + "path": "parent16/complex-global/base/split-centres/INTEGRATION.json", + "reviewed_sha256": "5c14538134dfffbc58fa4b4d2f26b270ec5f56d17d4bf23752c82964f45171db", + "sha256": "5c14538134dfffbc58fa4b4d2f26b270ec5f56d17d4bf23752c82964f45171db" + }, + { + "bytes": 922, + "path": "parent16/complex-global/base/split-centres/LOCAL-CHECKS.json", + "reviewed_sha256": "79177449e404403964ce1b2f4a9a8bd49e1916daba3123d7fd7f5cfd1f1ac0ea", + "sha256": "79177449e404403964ce1b2f4a9a8bd49e1916daba3123d7fd7f5cfd1f1ac0ea" + }, + { + "bytes": 179435, + "path": "parent16/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz", + "reviewed_sha256": "99a18eede965accf65943e490b8d2b2ffb9f1c9bc6babdb825413a80cbea2cde", + "sha256": "99a18eede965accf65943e490b8d2b2ffb9f1c9bc6babdb825413a80cbea2cde" + }, + { + "bytes": 8534, + "path": "parent16/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json", + "reviewed_sha256": "baafef737acc16dafbe1150896feb16744f3d669fa123bb2bff19ecc4e71b275", + "sha256": "baafef737acc16dafbe1150896feb16744f3d669fa123bb2bff19ecc4e71b275" + }, + { + "bytes": 4546, + "path": "parent16/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "reviewed_sha256": "73b3601a6239502475a272ea0c46945fd42034486aaf43e66a212eb4f012ca44", + "sha256": "73b3601a6239502475a272ea0c46945fd42034486aaf43e66a212eb4f012ca44" + }, + { + "bytes": 4309, + "path": "parent16/complex-global/base/split-centres/WRAPPER-CHECKS.json", + "reviewed_sha256": "9a09146e686c4f535b04fdef3753fe01dad8f5e8881a69408a91394acb5b48f5", + "sha256": "9a09146e686c4f535b04fdef3753fe01dad8f5e8881a69408a91394acb5b48f5" + }, + { + "bytes": 814141, + "path": "parent16/complex-global/base/work/complex-nine-native/DATA-PHASES.json", + "reviewed_sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa", + "sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa" + }, + { + "bytes": 70587, + "path": "parent558/complex-global/base/split-centres/CANONICAL-WORD.json.gz", + "reviewed_sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844", + "sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844" + }, + { + "bytes": 989379, + "path": "parent558/complex-global/base/split-centres/CLIFFORD-RECIPES.json", + "reviewed_sha256": "534ace870cabe515987e00f50f71550030965006ea18978e0924590ac6944345", + "sha256": "534ace870cabe515987e00f50f71550030965006ea18978e0924590ac6944345" + }, + { + "bytes": 656, + "path": "parent558/complex-global/base/split-centres/CLIFFORD-REVIEW.json", + "reviewed_sha256": "ee9b86428278392d2c933f76d60e51f5af90d4ab67e4d3937ed2fa416e7755ab", + "sha256": "ee9b86428278392d2c933f76d60e51f5af90d4ab67e4d3937ed2fa416e7755ab" + }, + { + "bytes": 398090, + "path": "parent558/complex-global/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "reviewed_sha256": "ab8448de2036a23d9b55a196a8846512dc24fdf09855c1e0f0caa5b7a6965f7b", + "sha256": "ab8448de2036a23d9b55a196a8846512dc24fdf09855c1e0f0caa5b7a6965f7b" + }, + { + "bytes": 1615, + "path": "parent558/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "reviewed_sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26", + "sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26" + }, + { + "bytes": 1615, + "path": "parent558/complex-global/base/split-centres/INDEPENDENT-REPLAY.json", + "reviewed_sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26", + "sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26" + }, + { + "bytes": 1690, + "path": "parent558/complex-global/base/split-centres/INTEGRATION.json", + "reviewed_sha256": "5c14538134dfffbc58fa4b4d2f26b270ec5f56d17d4bf23752c82964f45171db", + "sha256": "5c14538134dfffbc58fa4b4d2f26b270ec5f56d17d4bf23752c82964f45171db" + }, + { + "bytes": 922, + "path": "parent558/complex-global/base/split-centres/LOCAL-CHECKS.json", + "reviewed_sha256": "79177449e404403964ce1b2f4a9a8bd49e1916daba3123d7fd7f5cfd1f1ac0ea", + "sha256": "79177449e404403964ce1b2f4a9a8bd49e1916daba3123d7fd7f5cfd1f1ac0ea" + }, + { + "bytes": 179435, + "path": "parent558/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz", + "reviewed_sha256": "99a18eede965accf65943e490b8d2b2ffb9f1c9bc6babdb825413a80cbea2cde", + "sha256": "99a18eede965accf65943e490b8d2b2ffb9f1c9bc6babdb825413a80cbea2cde" + }, + { + "bytes": 8534, + "path": "parent558/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json", + "reviewed_sha256": "baafef737acc16dafbe1150896feb16744f3d669fa123bb2bff19ecc4e71b275", + "sha256": "baafef737acc16dafbe1150896feb16744f3d669fa123bb2bff19ecc4e71b275" + }, + { + "bytes": 4546, + "path": "parent558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "reviewed_sha256": "73b3601a6239502475a272ea0c46945fd42034486aaf43e66a212eb4f012ca44", + "sha256": "73b3601a6239502475a272ea0c46945fd42034486aaf43e66a212eb4f012ca44" + }, + { + "bytes": 4309, + "path": "parent558/complex-global/base/split-centres/WRAPPER-CHECKS.json", + "reviewed_sha256": "9a09146e686c4f535b04fdef3753fe01dad8f5e8881a69408a91394acb5b48f5", + "sha256": "9a09146e686c4f535b04fdef3753fe01dad8f5e8881a69408a91394acb5b48f5" + }, + { + "bytes": 814141, + "path": "parent558/complex-global/base/work/complex-nine-native/DATA-PHASES.json", + "reviewed_sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa", + "sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa" + }, + { + "bytes": 110, + "path": "restore-parent.log", + "reviewed_sha256": "fc3a01967636bd3173ee7e5049fae45b890e1fad4564b6acdd6aaca30a4e4ea5", + "sha256": "fc3a01967636bd3173ee7e5049fae45b890e1fad4564b6acdd6aaca30a4e4ea5" + } +] diff --git a/research/selected-final-closure-linux-audit/README.md b/research/selected-final-closure-linux-audit/README.md new file mode 100644 index 0000000000..1c3e1069ae --- /dev/null +++ b/research/selected-final-closure-linux-audit/README.md @@ -0,0 +1,93 @@ +# Complete PR2101 final-stage replay on Linux/WSL2 + +Independent execution of Adam Gall's pending [PR2101](https://github.com/CrocSwap/integer-mult-bounds/pull/2101), exact head `a247ef876e50bf3a7d890c7c1f9b409576674d7d`, passed on CPython 3.12.15, Linux x86_64 under WSL2. Both runs completed the fresh selected final stage, all **105 output comparisons**, the coupled 13-line outer log, five positive controls and **287 rejection controls**. No caller, comparator, frozen input or selected record was changed. + +The [dated review](../community-efficient1100-audit/README.md#remaining-review) had completed the supplier stage but exhausted its batch budget before finishing the composed comparison and controls. This audit supplies that missing execution evidence on another platform. It does not change the review's disposition or admit the portable caller as a supplier. + +## Evidence + +The work started from canonical main `a7482490b4ca256db67d767a33fa6f7553060807`, priority revision 5. The exact pending package was exported into that isolated checkout. Its metadata check authenticated all 42 live scientific inputs against the unchanged predecessor pins. [SOURCES.json](SOURCES.json) records those pins and all eleven caller files, including both vendored predicates, by Git blob and SHA256. The historical scientific pin expressions retain their original meaning and base. + +| Check | Observed outcome | +| --- | --- | +| Direct run, isolated optimized parent and fresh cache | Exit 0, 430.221 seconds | +| Registered replay, including source-pin validation | Exit 0, 421.852 seconds | +| Complete deterministic result | Byte-identical to PR2101's `RESULT.json` | +| Raw generated outputs against reviewed archive | 99 identical, six different | +| Complete comparison after the declared policy | 103 `bytes`, two `json-diff:declared-timing` | +| Same-side raw references authenticated | 30 per side | +| Fresh timing fields permitted to vary | 22; all 12 copied historical times retained | + +Times are observations on this host, not benchmark or performance claims. The supplier child ran without optimization, with its assertions enabled. The registered parent used the predecessor's explicit `-I -O -B` command and the current runner's private bytecode namespace. + +The six raw differences were: + +- `global/audit/PREFIX-AND-INVOICE.json`, with equal complete canonical invoice content; +- `ADMISSION-CONTROLS.json` and `ASSEMBLY.json`, whose two raw invoice references changed consistently; +- `INDEPENDENT-T16.json`, whose six authenticated input keys used the new work/local roots; +- `REPLAY.json` and `STAGES.json`, with the permitted fresh times. + +The reviewed invoice SHA256 is `212cf4ee3b16081bf66f300fa18b4070d25c17210c21c78c2967892c91870d12`; the first Linux run produced `4c4c57eee80328d4c1ad91857240dda46d31949d83736091a97ea47073a8d1e1`. Thus this was an actual execution of the invoice-reference case previously reported by commdata2338, not just a constructed formatting fixture. The exact generated assembly bytes differ from the selected certificate. Equivalence here is under PR2101's explicit authenticated-reference policy, not raw certificate equality. + +`bytes` in the composed report describes the inputs *after* the named invoice/role transformations. It must not be read as 103 raw-byte matches. All eleven inner logs matched the reviewed run byte for byte. + +### Retained artifacts + +- [EXECUTION.json](EXECUTION.json) records exact commands, return codes, environment, durations, evidence hashes and output contexts. +- [REPLAY-RESULT.json](REPLAY-RESULT.json) retains the complete deterministic receipt, including every predecessor control label. The controls were executed unchanged, not independently reimplemented. +- [COMPARISON.json](COMPARISON.json) retains every per-file comparison result. +- [OUTPUTS.json](OUTPUTS.json) records the size and raw hash of every actual output, alongside its reviewed hash. +- [OUTPUT-DELTA.tar.gz](OUTPUT-DELTA.tar.gz) retains the six actual changed files. Overlay it on the 105 `candidate/strict/` files in the pinned reviewed PR1094 archive to reconstruct the entire first output tree. The other 99 files match that archive exactly. The compressed delta is 26,115 bytes instead of copying the 18 MB output tree. +- The `*-stdout.txt` files retain the metadata check, both complete caller outputs and the first run's outer stage log. + +The delta's raw container and decompressed tar hashes are recorded separately. Its committed bytes are immutable evidence; regenerating another gzip stream is not required. A separate round-trip check reconstructed all 105 files and matched their raw hashes, complete comparison report and coupled outer log. Only the first run's outputs are retained. The registered repeat cleaned its temporary directory normally. + +All 144 `test_research_*.py` workflow tests passed on CPython 3.12.15. The selected baseline binding check also passed. No full historical test suite was run for this evidence-only change. + +## Boundary inspection + +The unchanged `prepare` function first requires the exact 105-file set. It checks both ordered stage receipts, their success codes and all 22 raw log links, then checks the six exact input roles against actual same-side input bytes. The three-node invoice predicate validates both raw invoice links before canonicalizing the complete invoice and its complete consumers. The complete comparator then checks every output, with only the 22 declared fresh times masked. `outer_log` separately binds its eleven printed times to the same-side receipt and checks both final lines. + +This audit inspected those source boundaries and their pins. It did not prove the Python implementations correct for every input. The executed controls include all 105 file omissions and a semantic change in each output. Changed log/invoice contents still reject after their corresponding raw links are repaired. Stale roles, invalid or missing times, altered historical times, duplicate keys, Boolean/integer substitution and an immutable archive-header mutation also reject. Re-running the predecessor's controls supplies independent execution evidence, not code-disjoint verification of the predicates. + +The measured complete runs exceed 300 seconds and fit the declared 600-second registered-command budget on this host. This explains why a shorter triage budget is not an adequate completion test here; it does not guarantee a 600-second bound on every host. + +## Reproduce the fresh execution + +From a checkout containing both the audit and fetched PR2101 commit, create a separate checkout at the audited main base. Export only the exact pending package into it: + +```sh +git fetch https://github.com/CrocSwap/integer-mult-bounds.git pull/2101/head +test "$(git rev-parse FETCH_HEAD)" = a247ef876e50bf3a7d890c7c1f9b409576674d7d +replay_tree=$(mktemp -d) +git worktree add --detach "$replay_tree/tree" a7482490b4ca256db67d767a33fa6f7553060807 +git archive a247ef876e50bf3a7d890c7c1f9b409576674d7d \ + research/selected-final-replay-closure | tar -x -C "$replay_tree/tree" +cd "$replay_tree/tree" +python3.12 -B scripts/research_package.py \ + --package research/selected-final-replay-closure --check-only +python3.12 -B scripts/research_package.py \ + --package research/selected-final-replay-closure +``` + +Expected final marker: + +```text +PASS_REGISTERED_RESEARCH_PACKAGE research/selected-final-replay-closure outcome=completed +``` + +The direct retained-output command is also recorded verbatim in `EXECUTION.json`. Use new external paths for its `--work`, cache and `--write-result` arguments. Its result file must match both PR2101's `RESULT.json` and this audit's `REPLAY-RESULT.json` byte for byte. Raw output hashes and times need not repeat because work roots, object serialization and timing can differ. + +This is an evidence-only package. There is no new verifier or registered hook that could be mistaken for a fresh supplier execution. The reproduction deliberately runs the exact predecessor. No source copies were added merely for provenance. + +## Limits and credit + +This is **not** `make frontier1094-verify`. The ten local inputs and earlier scalar/native/phase evidence came from authenticated reviewed archives; ancestors were not rebuilt. No new supplier, paid profile, kappa, hosted-CI result, complete multiplication theorem or discharge of all-size/compiler, physical hosting, precision/tape or analytic assumptions is claimed. This session exercised Linux/WSL2 only. Concurrent-writer snapshots, unreadable-directory hardening and arbitrary unclassified digest rebinding were not tested. Normalization was not broadened to make the run pass. + +Credit Adam Gall for PR2101's complete caller and PR2059's invoice binding, commdata2338 for PR2040's strict comparator and Linux invoice observation, Josie Elliston for PR1824's replay, and Maxime Fleury and Antoine Olivier for the payload/container convention. Rohan Arun, Jeremy Kothe, Hao Yan, Douglas Colkitt and the retained supplier/compiler lineage keep their original attribution. The dated batch review identified the unfinished execution obligation. + +Independent execution and evidence packaging by Nick Petalas. Apache-2.0. Canonical coordination is [Discussion1472](https://github.com/CrocSwap/integer-mult-bounds/discussions/1472#discussioncomment-18972126). Exact task, overlap and refresh details are in [TASK.json](TASK.json). + +## Open next questions + +Should maintainers admit PR2101 as an opt-in portable caller after completing their source/policy review? This audit removes the dated missing-execution evidence, but does not make that decision. First inspect the exact head, the six-file actual-output delta and its authenticate-before-rebind boundary. The blocker is maintainer review, not a missing complete Linux control run. Earlier-stage portable comparison and full cold ancestry remain separate tasks; this audit does not assign or reserve them. diff --git a/research/selected-final-closure-linux-audit/REPLAY-RESULT.json b/research/selected-final-closure-linux-audit/REPLAY-RESULT.json new file mode 100644 index 0000000000..bd3c7b1704 --- /dev/null +++ b/research/selected-final-closure-linux-audit/REPLAY-RESULT.json @@ -0,0 +1,318 @@ +{ + "copied_historical_timings_retained": 12, + "fresh_supplier_stage": true, + "inner_logs": 11, + "input_roles_relocated_per_side": 6, + "invoice_edges_rebound_per_side": 2, + "json_outputs": 94, + "local_input_files": 10, + "negative_controls": [ + "missing:ADMISSION-CONTROLS.json", + "missing:ASSEMBLY.json", + "missing:BIT-SUPPLIER-CONTROLS.json", + "missing:INDEPENDENT-T16.json", + "missing:REPLAY.json", + "missing:STAGES.json", + "missing:admission-controls.log", + "missing:assembly.log", + "missing:audit.log", + "missing:bind.log", + "missing:bind8.log", + "missing:bit-supplier-controls.log", + "missing:emit.log", + "missing:global/BINDING.json", + "missing:global/PLAN.json", + "missing:global/audit/ASYNC-AUDIT.json", + "missing:global/audit/GLOBAL-PREFIX.json", + "missing:global/audit/IDLE-REMAINDER-FRAMES.json", + "missing:global/audit/OWNERS-AND-PROFILE.json", + "missing:global/audit/PREFIX-AND-INVOICE.json", + "missing:global/base/providers/gauge44/CANONICAL-WORD.json.gz", + "missing:global/base/providers/gauge44/CLIFFORD-RECIPES.json", + "missing:global/base/providers/gauge44/CLIFFORD-REVIEW.json", + "missing:global/base/providers/gauge44/FULL-WORD.json.gz", + "missing:global/base/providers/gauge44/INDEPENDENT-LOCAL-REPLAY.json", + "missing:global/base/providers/gauge44/LOCAL-CHECKS.json", + "missing:global/base/providers/gauge44/LOCAL-PROGRAMS.json.gz", + "missing:global/base/providers/gauge44/RESIDUAL-ADAPTERS.json", + "missing:global/base/providers/gauge44/SCALAR-FRAME-AUDIT.json", + "missing:global/base/providers/gauge44/WRAPPER-CHECKS.json", + "missing:global/base/split-centres/CANONICAL-WORD.json.gz", + "missing:global/base/split-centres/CLIFFORD-RECIPES.json", + "missing:global/base/split-centres/CLIFFORD-REVIEW.json", + "missing:global/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "missing:global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "missing:global/base/split-centres/INDEPENDENT-REPLAY.json", + "missing:global/base/split-centres/INTEGRATION.json", + "missing:global/base/split-centres/LOCAL-CHECKS.json", + "missing:global/base/split-centres/LOCAL-PROGRAMS.json.gz", + "missing:global/base/split-centres/RESIDUAL-ADAPTERS.json", + "missing:global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "missing:global/base/split-centres/WRAPPER-CHECKS.json", + "missing:global/base/work/complex-nine-native/DATA-PHASES.json", + "missing:global/hosted/ACTUAL-SIGMAS.json.gz", + "missing:global/hosted/GLOBAL-TEMPLATE.json.gz", + "missing:global/hosted/HOSTED.json", + "missing:global/hosted/IDLE-REMAINDER-FRAMES.json.gz", + "missing:global8/BINDING.json", + "missing:global8/PLAN.json", + "missing:global8/base/providers/gauge44/CANONICAL-WORD.json.gz", + "missing:global8/base/providers/gauge44/CLIFFORD-RECIPES.json", + "missing:global8/base/providers/gauge44/CLIFFORD-REVIEW.json", + "missing:global8/base/providers/gauge44/FULL-WORD.json.gz", + "missing:global8/base/providers/gauge44/INDEPENDENT-LOCAL-REPLAY.json", + "missing:global8/base/providers/gauge44/LOCAL-CHECKS.json", + "missing:global8/base/providers/gauge44/LOCAL-PROGRAMS.json.gz", + "missing:global8/base/providers/gauge44/RESIDUAL-ADAPTERS.json", + "missing:global8/base/providers/gauge44/SCALAR-FRAME-AUDIT.json", + "missing:global8/base/providers/gauge44/WRAPPER-CHECKS.json", + "missing:global8/base/split-centres/CANONICAL-WORD.json.gz", + "missing:global8/base/split-centres/CLIFFORD-RECIPES.json", + "missing:global8/base/split-centres/CLIFFORD-REVIEW.json", + "missing:global8/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "missing:global8/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "missing:global8/base/split-centres/INDEPENDENT-REPLAY.json", + "missing:global8/base/split-centres/INTEGRATION.json", + "missing:global8/base/split-centres/LOCAL-CHECKS.json", + "missing:global8/base/split-centres/LOCAL-PROGRAMS.json.gz", + "missing:global8/base/split-centres/RESIDUAL-ADAPTERS.json", + "missing:global8/base/split-centres/SCALAR-FRAME-AUDIT.json", + "missing:global8/base/split-centres/WRAPPER-CHECKS.json", + "missing:global8/base/work/complex-nine-native/DATA-PHASES.json", + "missing:independent-t16.log", + "missing:invoice.log", + "missing:lift/GLOBAL-TEMPLATE.json.gz", + "missing:lift/PARENT-LIFT-RECEIPT.json", + "missing:lift/PLAN.json", + "missing:lift16.log", + "missing:parent16/complex-global/base/split-centres/CANONICAL-WORD.json.gz", + "missing:parent16/complex-global/base/split-centres/CLIFFORD-RECIPES.json", + "missing:parent16/complex-global/base/split-centres/CLIFFORD-REVIEW.json", + "missing:parent16/complex-global/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "missing:parent16/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "missing:parent16/complex-global/base/split-centres/INDEPENDENT-REPLAY.json", + "missing:parent16/complex-global/base/split-centres/INTEGRATION.json", + "missing:parent16/complex-global/base/split-centres/LOCAL-CHECKS.json", + "missing:parent16/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz", + "missing:parent16/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json", + "missing:parent16/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "missing:parent16/complex-global/base/split-centres/WRAPPER-CHECKS.json", + "missing:parent16/complex-global/base/work/complex-nine-native/DATA-PHASES.json", + "missing:parent558/complex-global/base/split-centres/CANONICAL-WORD.json.gz", + "missing:parent558/complex-global/base/split-centres/CLIFFORD-RECIPES.json", + "missing:parent558/complex-global/base/split-centres/CLIFFORD-REVIEW.json", + "missing:parent558/complex-global/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "missing:parent558/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "missing:parent558/complex-global/base/split-centres/INDEPENDENT-REPLAY.json", + "missing:parent558/complex-global/base/split-centres/INTEGRATION.json", + "missing:parent558/complex-global/base/split-centres/LOCAL-CHECKS.json", + "missing:parent558/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz", + "missing:parent558/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json", + "missing:parent558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "missing:parent558/complex-global/base/split-centres/WRAPPER-CHECKS.json", + "missing:parent558/complex-global/base/work/complex-nine-native/DATA-PHASES.json", + "missing:restore-parent.log", + "extra-file", + "semantic:ADMISSION-CONTROLS.json", + "semantic:ASSEMBLY.json", + "semantic:BIT-SUPPLIER-CONTROLS.json", + "semantic:INDEPENDENT-T16.json", + "semantic:REPLAY.json", + "semantic:STAGES.json", + "semantic:admission-controls.log", + "semantic:assembly.log", + "semantic:audit.log", + "semantic:bind.log", + "semantic:bind8.log", + "semantic:bit-supplier-controls.log", + "semantic:emit.log", + "semantic:global/BINDING.json", + "semantic:global/PLAN.json", + "semantic:global/audit/ASYNC-AUDIT.json", + "semantic:global/audit/GLOBAL-PREFIX.json", + "semantic:global/audit/IDLE-REMAINDER-FRAMES.json", + "semantic:global/audit/OWNERS-AND-PROFILE.json", + "semantic:global/audit/PREFIX-AND-INVOICE.json", + "semantic:global/base/providers/gauge44/CANONICAL-WORD.json.gz", + "semantic:global/base/providers/gauge44/CLIFFORD-RECIPES.json", + "semantic:global/base/providers/gauge44/CLIFFORD-REVIEW.json", + "semantic:global/base/providers/gauge44/FULL-WORD.json.gz", + "semantic:global/base/providers/gauge44/INDEPENDENT-LOCAL-REPLAY.json", + "semantic:global/base/providers/gauge44/LOCAL-CHECKS.json", + "semantic:global/base/providers/gauge44/LOCAL-PROGRAMS.json.gz", + "semantic:global/base/providers/gauge44/RESIDUAL-ADAPTERS.json", + "semantic:global/base/providers/gauge44/SCALAR-FRAME-AUDIT.json", + "semantic:global/base/providers/gauge44/WRAPPER-CHECKS.json", + "semantic:global/base/split-centres/CANONICAL-WORD.json.gz", + "semantic:global/base/split-centres/CLIFFORD-RECIPES.json", + "semantic:global/base/split-centres/CLIFFORD-REVIEW.json", + "semantic:global/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "semantic:global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "semantic:global/base/split-centres/INDEPENDENT-REPLAY.json", + "semantic:global/base/split-centres/INTEGRATION.json", + "semantic:global/base/split-centres/LOCAL-CHECKS.json", + "semantic:global/base/split-centres/LOCAL-PROGRAMS.json.gz", + "semantic:global/base/split-centres/RESIDUAL-ADAPTERS.json", + "semantic:global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "semantic:global/base/split-centres/WRAPPER-CHECKS.json", + "semantic:global/base/work/complex-nine-native/DATA-PHASES.json", + "semantic:global/hosted/ACTUAL-SIGMAS.json.gz", + "semantic:global/hosted/GLOBAL-TEMPLATE.json.gz", + "semantic:global/hosted/HOSTED.json", + "semantic:global/hosted/IDLE-REMAINDER-FRAMES.json.gz", + "semantic:global8/BINDING.json", + "semantic:global8/PLAN.json", + "semantic:global8/base/providers/gauge44/CANONICAL-WORD.json.gz", + "semantic:global8/base/providers/gauge44/CLIFFORD-RECIPES.json", + "semantic:global8/base/providers/gauge44/CLIFFORD-REVIEW.json", + "semantic:global8/base/providers/gauge44/FULL-WORD.json.gz", + "semantic:global8/base/providers/gauge44/INDEPENDENT-LOCAL-REPLAY.json", + "semantic:global8/base/providers/gauge44/LOCAL-CHECKS.json", + "semantic:global8/base/providers/gauge44/LOCAL-PROGRAMS.json.gz", + "semantic:global8/base/providers/gauge44/RESIDUAL-ADAPTERS.json", + "semantic:global8/base/providers/gauge44/SCALAR-FRAME-AUDIT.json", + "semantic:global8/base/providers/gauge44/WRAPPER-CHECKS.json", + "semantic:global8/base/split-centres/CANONICAL-WORD.json.gz", + "semantic:global8/base/split-centres/CLIFFORD-RECIPES.json", + "semantic:global8/base/split-centres/CLIFFORD-REVIEW.json", + "semantic:global8/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "semantic:global8/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "semantic:global8/base/split-centres/INDEPENDENT-REPLAY.json", + "semantic:global8/base/split-centres/INTEGRATION.json", + "semantic:global8/base/split-centres/LOCAL-CHECKS.json", + "semantic:global8/base/split-centres/LOCAL-PROGRAMS.json.gz", + "semantic:global8/base/split-centres/RESIDUAL-ADAPTERS.json", + "semantic:global8/base/split-centres/SCALAR-FRAME-AUDIT.json", + "semantic:global8/base/split-centres/WRAPPER-CHECKS.json", + "semantic:global8/base/work/complex-nine-native/DATA-PHASES.json", + "semantic:independent-t16.log", + "semantic:invoice.log", + "semantic:lift/GLOBAL-TEMPLATE.json.gz", + "semantic:lift/PARENT-LIFT-RECEIPT.json", + "semantic:lift/PLAN.json", + "semantic:lift16.log", + "semantic:parent16/complex-global/base/split-centres/CANONICAL-WORD.json.gz", + "semantic:parent16/complex-global/base/split-centres/CLIFFORD-RECIPES.json", + "semantic:parent16/complex-global/base/split-centres/CLIFFORD-REVIEW.json", + "semantic:parent16/complex-global/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "semantic:parent16/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "semantic:parent16/complex-global/base/split-centres/INDEPENDENT-REPLAY.json", + "semantic:parent16/complex-global/base/split-centres/INTEGRATION.json", + "semantic:parent16/complex-global/base/split-centres/LOCAL-CHECKS.json", + "semantic:parent16/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz", + "semantic:parent16/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json", + "semantic:parent16/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "semantic:parent16/complex-global/base/split-centres/WRAPPER-CHECKS.json", + "semantic:parent16/complex-global/base/work/complex-nine-native/DATA-PHASES.json", + "semantic:parent558/complex-global/base/split-centres/CANONICAL-WORD.json.gz", + "semantic:parent558/complex-global/base/split-centres/CLIFFORD-RECIPES.json", + "semantic:parent558/complex-global/base/split-centres/CLIFFORD-REVIEW.json", + "semantic:parent558/complex-global/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "semantic:parent558/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "semantic:parent558/complex-global/base/split-centres/INDEPENDENT-REPLAY.json", + "semantic:parent558/complex-global/base/split-centres/INTEGRATION.json", + "semantic:parent558/complex-global/base/split-centres/LOCAL-CHECKS.json", + "semantic:parent558/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz", + "semantic:parent558/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json", + "semantic:parent558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "semantic:parent558/complex-global/base/split-centres/WRAPPER-CHECKS.json", + "semantic:parent558/complex-global/base/work/complex-nine-native/DATA-PHASES.json", + "semantic:restore-parent.log", + "stale-invoice:ADMISSION-CONTROLS.json", + "identically-stale-invoice:ADMISSION-CONTROLS.json", + "stale-invoice:ASSEMBLY.json", + "identically-stale-invoice:ASSEMBLY.json", + "missing-time:STAGES.json:[0, 'seconds']", + "missing-time:STAGES.json:[1, 'seconds']", + "missing-time:STAGES.json:[2, 'seconds']", + "missing-time:STAGES.json:[3, 'seconds']", + "missing-time:STAGES.json:[4, 'seconds']", + "missing-time:STAGES.json:[5, 'seconds']", + "missing-time:STAGES.json:[6, 'seconds']", + "missing-time:STAGES.json:[7, 'seconds']", + "missing-time:STAGES.json:[8, 'seconds']", + "missing-time:STAGES.json:[9, 'seconds']", + "missing-time:STAGES.json:[10, 'seconds']", + "missing-time:REPLAY.json:['stages', 0, 'seconds']", + "missing-time:REPLAY.json:['stages', 1, 'seconds']", + "missing-time:REPLAY.json:['stages', 2, 'seconds']", + "missing-time:REPLAY.json:['stages', 3, 'seconds']", + "missing-time:REPLAY.json:['stages', 4, 'seconds']", + "missing-time:REPLAY.json:['stages', 5, 'seconds']", + "missing-time:REPLAY.json:['stages', 6, 'seconds']", + "missing-time:REPLAY.json:['stages', 7, 'seconds']", + "missing-time:REPLAY.json:['stages', 8, 'seconds']", + "missing-time:REPLAY.json:['stages', 9, 'seconds']", + "missing-time:REPLAY.json:['stages', 10, 'seconds']", + "invalid-coupled-time:boolean", + "invalid-coupled-time:negative", + "invalid-coupled-time:string", + "stale-coupled-log:restore-parent", + "stale-coupled-log:bind8", + "stale-coupled-log:lift16", + "stale-coupled-log:bind", + "stale-coupled-log:emit", + "stale-coupled-log:audit", + "stale-coupled-log:invoice", + "stale-coupled-log:assembly", + "stale-coupled-log:admission-controls", + "stale-coupled-log:bit-supplier-controls", + "stale-coupled-log:independent-t16", + "stale-input:/private/tmp/batch1099-selected/candidate/strict/global8/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "input-role-alias:/private/tmp/batch1099-selected/candidate/strict/global8/base/split-centres/GLOBAL-TEMPLATE.json.gz", + "stale-input:/private/tmp/batch1099-selected/candidate/strict/global8/base/work/complex-nine-native/DATA-PHASES.json", + "input-role-alias:/private/tmp/batch1099-selected/candidate/strict/global8/base/work/complex-nine-native/DATA-PHASES.json", + "stale-input:/private/tmp/batch1099-selected/candidate/strict/global8/base/split-centres/CANONICAL-WORD.json.gz", + "input-role-alias:/private/tmp/batch1099-selected/candidate/strict/global8/base/split-centres/CANONICAL-WORD.json.gz", + "stale-input:/private/tmp/batch1047-selected/slots/local/CANONICAL-WORD.json.gz", + "input-role-alias:/private/tmp/batch1047-selected/slots/local/CANONICAL-WORD.json.gz", + "stale-input:/private/tmp/batch1047-selected/slots/local/INDEPENDENT-LOCAL-REPLAY.json", + "input-role-alias:/private/tmp/batch1047-selected/slots/local/INDEPENDENT-LOCAL-REPLAY.json", + "stale-input:/private/tmp/batch1099-selected/candidate/source/data/OWNERS.json.gz", + "input-role-alias:/private/tmp/batch1099-selected/candidate/source/data/OWNERS.json.gz", + "copied-historical-time:global/base/providers/gauge44/CLIFFORD-REVIEW.json", + "copied-historical-time:global/base/providers/gauge44/SCALAR-FRAME-AUDIT.json", + "copied-historical-time:global/base/split-centres/CLIFFORD-REVIEW.json", + "copied-historical-time:global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "copied-historical-time:global8/base/providers/gauge44/CLIFFORD-REVIEW.json", + "copied-historical-time:global8/base/providers/gauge44/SCALAR-FRAME-AUDIT.json", + "copied-historical-time:global8/base/split-centres/CLIFFORD-REVIEW.json", + "copied-historical-time:global8/base/split-centres/SCALAR-FRAME-AUDIT.json", + "copied-historical-time:parent16/complex-global/base/split-centres/CLIFFORD-REVIEW.json", + "copied-historical-time:parent16/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "copied-historical-time:parent558/complex-global/base/split-centres/CLIFFORD-REVIEW.json", + "copied-historical-time:parent558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "duplicate-key:ASSEMBLY.json", + "identically-duplicate-key:ASSEMBLY.json", + "duplicate-key:global/audit/PREFIX-AND-INVOICE.json", + "identically-duplicate-key:global/audit/PREFIX-AND-INVOICE.json", + "invalid-replay:nonfinite", + "invalid-replay:wrong-shape", + "boolean-is-not-integer", + "truncated-gzip", + "outer-log:extra-line", + "outer-log:stage-name", + "outer-log:uncoupled-time", + "immutable-source-header" + ], + "negative_count": 287, + "outer_log_lines_checked": 13, + "outer_times_bound_to_receipt": 11, + "policy_sha256": "1168976bd55a5e3bff657fc8877066d54fc68fe3bc8572c9d8d914c35b277a03", + "positive_controls": [ + "complete-authenticated-reference", + "reformatted-invoice-with-both-raw-links", + "composed-invoice-six-role-relocation-and-22-times", + "complete-outer-log-with-coupled-times", + "generated-gzip-container-change" + ], + "positive_count": 5, + "raw_edges_authenticated_per_side": 30, + "schema_version": 1, + "scope": "Unchanged final supplier stage from authenticated archived local inputs; not full cold ancestry, arbitrary graph admission, cross-platform execution, or a new kappa.", + "selected_kappa": "836330098538459/500000000000000000", + "source_inputs": 42, + "stage_timing_fields_normalized_per_side": 22, + "status": "PASS_SELECTED_FINAL_REPLAY_CLOSURE", + "strict_output_files": 105 +} diff --git a/research/selected-final-closure-linux-audit/SOURCES.json b/research/selected-final-closure-linux-audit/SOURCES.json new file mode 100644 index 0000000000..a4da37c44e --- /dev/null +++ b/research/selected-final-closure-linux-audit/SOURCES.json @@ -0,0 +1,320 @@ +{ + "audit_base": "a7482490b4ca256db67d767a33fa6f7553060807", + "caller_files": [ + { + "git_blob": "2ca89dfeab2b5f606c565633669ec75922738baa", + "path": "research/selected-final-replay-closure/POLICY.json", + "sha256": "1168976bd55a5e3bff657fc8877066d54fc68fe3bc8572c9d8d914c35b277a03" + }, + { + "git_blob": "813a60aade6773d2211ed6008288f370cc93c3d9", + "path": "research/selected-final-replay-closure/README.md", + "sha256": "6aa899f1fc1b336c2654d7af0a27d009c23ed680b0c213f7c4dccdef263d7d94" + }, + { + "git_blob": "bd3c7b170452ad715747c726e1add34be82d5a56", + "path": "research/selected-final-replay-closure/RESULT.json", + "sha256": "7da99e671e51aed7ac039682bdbd75760b9abc1b3960256aa0699871095779b7" + }, + { + "git_blob": "2dd47f1458fe1b90ef3d80d59dfa3b777f27b37c", + "path": "research/selected-final-replay-closure/SELECTION.json", + "sha256": "ec8920c57c59a9b46308c9fbedb6df6113494fcf04b6a5712b61be683891bb79" + }, + { + "git_blob": "2c62938cacdbc07394996dc38cf29c203d166b2c", + "path": "research/selected-final-replay-closure/SOURCES.json", + "sha256": "b4b807fc199315e4ae73d6a49adb03e8efc5f0e8a264db9affb640a7f179f9d8" + }, + { + "git_blob": "2d8d1fadba67045e03ffe91d2b32ea3bbe9f844c", + "path": "research/selected-final-replay-closure/TASK.json", + "sha256": "e1a5e14ed170f2480bea4269dc66bea9ab5f144d41d3c15d9e4a86be37b8bcb3" + }, + { + "git_blob": "fab256bffe588b3a38d8739cb5797e69aca7f4bb", + "path": "research/selected-final-replay-closure/VERIFY.json", + "sha256": "39222990cead5d01746c7d4e5e976cbae6506fb0c59bf83ac64a49c62dc3b634" + }, + { + "git_blob": "e020b39d8a94a56597bcee50cb06f834a0b3ebb1", + "path": "research/selected-final-replay-closure/compare_outputs.py", + "sha256": "5e881d3d8591f99e208a394fdeed46c12994d99e9e36a7a062969916eb440b26" + }, + { + "git_blob": "2b2460f5ca416e0944b3fb862d1354566bd239c2", + "path": "research/selected-final-replay-closure/vendor/invoice_compare.py", + "sha256": "ddd241a78c16ca4c8a10aaf4aee04a60fe9e171b82e586339d7c3be601a0e3ac" + }, + { + "git_blob": "127f143bb8e46ca9be26210bcdd2d15c12a79798", + "path": "research/selected-final-replay-closure/vendor/strict_compare.py", + "sha256": "7592c2475a851ac68a6db1a82af4ae9db466690c7e2c1daced654c5641b66492" + }, + { + "git_blob": "b9d1414698d687bf07cca305f075648b09c38535", + "path": "research/selected-final-replay-closure/verify.py", + "sha256": "1c045d71e0f3165f974f52d52bcaac9541a0bbd5055e4c5584b47062a210bc23" + } + ], + "caller_head": "a247ef876e50bf3a7d890c7c1f9b409576674d7d", + "note": "Evidence-only audit. No new comparator or registered replay hook is added.", + "schema_version": 1, + "scientific_base_commit": "564148b82ae9df72163f22106f15e73efca8aff2", + "scientific_input_manifest": "research/selected-final-replay-closure/SOURCES.json", + "scientific_input_pin_semantics": "Copied unchanged from the authenticated PR2101 manifest. These rows describe its historical base/pins; they are not repinned to this audit base.", + "scientific_inputs": [ + { + "git_blob": "8182d0818c0cbda7e52c10120f15b2c3a2c8f933", + "path": "research/community-frontier1042-audit/RESULT.json", + "sha256": "bf12c6ed3b412539638b76addb40591a631609b2ab9e5ee0db1f6bbe067d0ec0", + "usage": "input" + }, + { + "git_blob": "6f4dc6fe7631d8aacf8081fcaecf32197181685b", + "path": "research/community-frontier1042-audit/selected-replay.tar.gz", + "sha256": "22c3f4dce4b897a1d423d1388801933e288b6a6b1906cb15e1b16a5eb68db754", + "usage": "input" + }, + { + "git_blob": "5fd676df060f3b450782fdf5ff5f6beb63a5eeb0", + "path": "research/community-frontier1094-audit/ASSEMBLY.json", + "sha256": "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045", + "usage": "input" + }, + { + "git_blob": "2cfb7fffa7cd78f418be16c13224c3206b6d0183", + "path": "research/community-frontier1094-audit/REPLAY.json", + "sha256": "ce0678fa7abaab221de74baeace0c6696d5ea23a36719a58cff230215a06aae7", + "usage": "input" + }, + { + "git_blob": "131d9c96a54632ae385ced4138fd7f30ad448a3e", + "path": "research/community-frontier1094-audit/RESULT.json", + "sha256": "1e3e47e9ec24bcb6fb5f703b7fce0aab658d84ff72bfae5da3ae429d17b6e752", + "usage": "input" + }, + { + "git_blob": "a92499421609e4cdb5630f2697d2bad4b5a42a83", + "path": "research/community-frontier1094-audit/STAGES.json", + "sha256": "72ad3ba266488da6bb6a41be404700dcea183a85002a5428df0033685c56d8be", + "usage": "input" + }, + { + "git_blob": "c24daf067f9c543421d89ca2eeaa4eb78a57fb6f", + "path": "research/community-frontier1094-audit/selected-replay.tar.gz", + "sha256": "f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6", + "usage": "input" + }, + { + "git_blob": "a2e5a1ffd454a353bd2d2100bc26259ff5b57af7", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CANONICAL-WORD.json.gz", + "sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844", + "usage": "input" + }, + { + "git_blob": "526192f5056e4d7abd7c6ecd26d73319bc25d08e", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-RECIPES.json", + "sha256": "534ace870cabe515987e00f50f71550030965006ea18978e0924590ac6944345", + "usage": "input" + }, + { + "git_blob": "d6670b5c1555eff7695811e60f75d1285af16ad2", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-REVIEW.json", + "sha256": "ee9b86428278392d2c933f76d60e51f5af90d4ab67e4d3937ed2fa416e7755ab", + "usage": "input" + }, + { + "git_blob": "c2e057a3ab4e18ad9711bcd24071780918f81c40", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json", + "sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26", + "usage": "input" + }, + { + "git_blob": "c2e057a3ab4e18ad9711bcd24071780918f81c40", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-REPLAY.json", + "sha256": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26", + "usage": "input" + }, + { + "git_blob": "ba436009d75f548e6345b7e32a21e343263bc5d4", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INTEGRATION.json", + "sha256": "5c14538134dfffbc58fa4b4d2f26b270ec5f56d17d4bf23752c82964f45171db", + "usage": "input" + }, + { + "git_blob": "2b019f86cd37f3112ee051241f93b7ab3ec6261c", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-CHECKS.json", + "sha256": "79177449e404403964ce1b2f4a9a8bd49e1916daba3123d7fd7f5cfd1f1ac0ea", + "usage": "input" + }, + { + "git_blob": "3b2aa5db6747008c9f9c06a572cdc21e14eb8d27", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz", + "sha256": "99a18eede965accf65943e490b8d2b2ffb9f1c9bc6babdb825413a80cbea2cde", + "usage": "input" + }, + { + "git_blob": "2a81814dca80e70ae99a2f9ca403de07573c36bd", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json", + "sha256": "baafef737acc16dafbe1150896feb16744f3d669fa123bb2bff19ecc4e71b275", + "usage": "input" + }, + { + "git_blob": "089f202be813ab0221f52b8ac7072d478c3f7497", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json", + "sha256": "73b3601a6239502475a272ea0c46945fd42034486aaf43e66a212eb4f012ca44", + "usage": "input" + }, + { + "git_blob": "5efe2efe55e1ef33eb3da11642034ad6085c21c1", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/WRAPPER-CHECKS.json", + "sha256": "9a09146e686c4f535b04fdef3753fe01dad8f5e8881a69408a91394acb5b48f5", + "usage": "input" + }, + { + "git_blob": "d9a4f84211182ca200c081ea061d724c8a2cfb70", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/work/complex-nine-native/DATA-PHASES.json", + "sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa", + "usage": "input" + }, + { + "git_blob": "3b0a475178f4e4ad107e3595992c872e47e83c63", + "path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/controller-input/split-centres/CANONICAL-WORD.json.gz", + "sha256": "de2be0f4b6d24ace368fd5b834b7a00f9625d0a1824c4ff969f2db5f115db667", + "usage": "input" + }, + { + "git_blob": "2fed13f432df4d76ce72185dd79fac63d96aee96", + "path": "research/complex-k492-owner-repair/vendor/multicold/code/run_portable.py", + "sha256": "322d29d43dbee8130cde15d4bf05396698b5e3dfe3735813899db91cc0ba7955", + "usage": "input" + }, + { + "git_blob": "14a90fa0e788217856f070382c9e61bd7c603c61", + "path": "research/complex-k492-owner-repair/vendor/multicold/engines/base_two_moment.py", + "sha256": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098", + "usage": "input" + }, + { + "git_blob": "7d697cb45203fe72d97037403d6da41f71f3b7fd", + "path": "research/complex-k492-owner-repair/vendor/multicold/engines/moment.py", + "sha256": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482", + "usage": "input" + }, + { + "git_blob": "43007488ad2c43187c77cc6798beff8b1cd76ad2", + "path": "research/complex-k492-owner-repair/vendor/multicold/engines/outer.py", + "sha256": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c", + "usage": "input" + }, + { + "git_blob": "b61d859826246e0c3dabbe096e57ad7015eadfd5", + "path": "research/complex-k492-owner-repair/vendor/multicold/inputs/PR543-EXPECTED.json", + "sha256": "06eccee9f6b77e140833df83407e7996dc948c17d49b0779ab171fbe463fd28d", + "usage": "input" + }, + { + "git_blob": "650fc9fd77fd61930ab3a352cd8d0fb5b7f0f03b", + "path": "research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/code/prepare_supplier_base.py", + "sha256": "f5eae94aca965d0008bc07cff8245ccb7509042ccad457d3bcb7d51c1e9409f0", + "usage": "input" + }, + { + "git_blob": "a16bf40bccc81278a443e0d5f09b44495035de81", + "path": "research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/evidence/audit/PREFIX-AND-INVOICE.json", + "sha256": "ce1bfa49be88ae67a404f606a11db2232b7e1f2610d4418058e39749d86d8478", + "usage": "input" + }, + { + "git_blob": "3e28a9b59f8fde608e59ebd5fbdbc22ca54558d4", + "path": "research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor535/inputs/ROUND20-PARENT-TEMPLATE.json.gz", + "sha256": "025448abdf2012d327e50a009084e1501690d05e650300d2982836aa0350ae00", + "usage": "input" + }, + { + "git_blob": "d80e967cb9ee9003ace480474399b4e5ee16f7d1", + "path": "research/complex-t16-rare-pattern-exchanges/CANDIDATE.json", + "sha256": "e5fe28718bd517bbb2e9cd377778bf76bd89012b71e48889784ea45e4dfd7dd4", + "usage": "input" + }, + { + "git_blob": "3216666bd231516f8d2387e3096d6a5bd413b519", + "path": "research/complex-t16-rare-pattern-exchanges/MANIFEST.json", + "sha256": "16a964621e718c8da4c859ccbb280c3c00816ca72874e955910fdf0ef27a0adc", + "usage": "input" + }, + { + "git_blob": "a0d272b433b05eead7d0b7bbf2962a84faf854e5", + "path": "research/complex-t16-rare-pattern-exchanges/MOVES.json", + "sha256": "d902f129f4c66e4bfe0e1a2e2c602ed71022d11ed938bfa801a087bb8b3b0d1a", + "usage": "input" + }, + { + "git_blob": "d3ba33d7e703a3229d9fb8a360f69d2f318bbb70", + "path": "research/complex-t16-rare-pattern-exchanges/OWNERS.json.gz", + "sha256": "87902c528dfab7d503dcf8a784260e3ab6fb7424c418a1820f7261f25be7b6bc", + "usage": "input" + }, + { + "git_blob": "f0e765d35128eef8079bdb90c2ebe25db9c9b7ba", + "path": "research/complex-t16-rare-pattern-exchanges/PRICE.json", + "sha256": "08372c20bee19530083ba15d3a95ce019df68679bae8a52a77fbe8d9c311fc5c", + "usage": "input" + }, + { + "git_blob": "7acbdeb81015d4681b5773489369a2a8b0d46d79", + "path": "research/complex-t16-rare-pattern-exchanges/PROFILE.json", + "sha256": "cf539f314584ee0b6d7102d2344be96a63defa88b9d9ab6ffe05cddd6c13a874", + "usage": "input" + }, + { + "git_blob": "f205b7132243aedcb2aa85110a44f0c8cd1e4fe1", + "path": "research/complex-t16-rare-pattern-exchanges/README.md", + "sha256": "da542711a6a3eb01ce1ebdf8f28a748e6195512687f61d003b95ac5ff281a7b2", + "usage": "input" + }, + { + "git_blob": "1e43afd08c060373b6fde3c775c23c180cb6a794", + "path": "research/complex-t16-rare-pattern-exchanges/SOURCE.json", + "sha256": "4cfd44cebfe88f4450294239fbea8feecb564338dc3027b76065227f5d19cb6f", + "usage": "input" + }, + { + "git_blob": "cf1de72638625b8d0845ce2756d68d97f7e55f42", + "path": "research/complex-t16-rare-pattern-exchanges/VALIDATION.json", + "sha256": "93d2f78759a7fdfaeb1023387d85f059a7db285b8767ef2c3692a0c21ea3e1c5", + "usage": "input" + }, + { + "git_blob": "d3ba33d7e703a3229d9fb8a360f69d2f318bbb70", + "path": "research/complex-t16-rare-pattern-exchanges/data/OWNERS.json.gz", + "sha256": "87902c528dfab7d503dcf8a784260e3ab6fb7424c418a1820f7261f25be7b6bc", + "usage": "input" + }, + { + "git_blob": "f1bec76e8e9b7a1f09c1e05cb6cce973b6e59f1b", + "path": "research/complex-t16-rare-pattern-exchanges/data/PLAN.json", + "sha256": "7bd786ba8e66408f02aa9ef446eaf20c1bfe981ea2e4dd1e5a929f0aa7767bc0", + "usage": "input" + }, + { + "git_blob": "af013ccc2975d9d575d116f8a463cc947f220c8d", + "path": "research/complex-t16-rare-pattern-exchanges/data/SPEC.json", + "sha256": "8cb51f25a5da4a29d3783853025b73ff1f452429d4fdb30c599e598bcab0e71d", + "usage": "input" + }, + { + "git_blob": "2970ef79b0441e937449bed30f68f2e0558186ba", + "path": "research/complex-t16-rare-pattern-exchanges/upstream1087.tar.gz", + "sha256": "d4acf04daef85d4514f80ec5fcd2492d0c60e5d6c49fa71b3e6523f8db2dea86", + "usage": "input" + }, + { + "git_blob": "9d471cf90835bc91d32bb0216c2bb867011a7420", + "path": "research/complex-t16-rare-pattern-exchanges/verify.py", + "sha256": "b8c2f76b305c5c9ceb42df203deef564857d17f1f8182d0745dda9ab96e3d4de", + "usage": "input" + } + ] +} diff --git a/research/selected-final-closure-linux-audit/TASK.json b/research/selected-final-closure-linux-audit/TASK.json new file mode 100644 index 0000000000..09cb5a8771 --- /dev/null +++ b/research/selected-final-closure-linux-audit/TASK.json @@ -0,0 +1,142 @@ +{ + "actual_scope": "Independently complete the exact pending PR2101 final-stage caller, all 105 output comparisons, the coupled log and 287 rejection controls on Linux/WSL2; retain actual differing output bytes and complete evidence without changing the caller.", + "assignment": { + "seed": "70bc87f31ad460372e784c554f9a6a41", + "suggestions": [ + "portable-replay", + "replay-runtime" + ], + "track": "verifier-engineering" + }, + "author": "Nick Petalas", + "base_commit": "a7482490b4ca256db67d767a33fa6f7553060807", + "bottleneck_link": "Completes a stated selected-final-stage replay evidence gap while preserving exact scientific source pins and all proof-relevant outputs. No supplier or exponent improvement is claimed.", + "claim": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1472#discussioncomment-18972126", + "declared_milestone": "independent portability audit, not supplier admission", + "evidence": "EXECUTION.json, complete COMPARISON.json and OUTPUTS.json, six-file OUTPUT-DELTA.tar.gz, byte-identical REPLAY-RESULT.json and retained stdout.", + "final_overlap": { + "coverage": { + "discussions": { + "complete_pagination": true, + "fetched_at": "2026-10-16T11:50:20.379411+00:00", + "records": 1605 + }, + "open_prs": { + "complete_pagination": true, + "fetched_at": "2026-10-16T11:49:45.612233+00:00", + "records": 489 + } + }, + "limits": "Remote PR scope is open PRs including drafts. Closed work is searched through local READMEs, TASK metadata and ledger only. No code diffs or arbitrary package files are searched. Recheck relevant heads before submission.", + "searched_at": "2026-10-16T11:50:20.556764+00:00", + "terms": [ + "selected-final-replay-closure", + "PR2101", + "Linux/WSL2" + ], + "warnings": [] + }, + "limits": [ + "No full cold ancestor replay or supplier adoption.", + "No new code or registered hook; reproduction runs the exact predecessor.", + "Only the first generated output tree is retained; the second run output was temporary.", + "The unchanged predecessor controls were independently executed, not code-disjointly reimplemented." + ], + "method_domain": "Exact unchanged PR2101 head a247ef876e50bf3a7d890c7c1f9b409576674d7d on audited canonical-main bytes; CPython 3.12.15, Linux x86_64 under WSL2. One retained direct run and one registered repeat. No changed comparison policy.", + "open_questions": [ + { + "blocked_by": "Maintainer review and caller adoption, not an uncompleted Linux control run.", + "first_step": "Inspect the exact pinned caller and actual six-file output delta, including complete invoice comparison and same-side edge authentication.", + "question": "Should maintainers admit PR2101 as an opt-in portable caller after source/policy review?", + "why_it_matters": "The dated review lacked complete execution evidence; both Linux runs now provide it, without making an adoption decision." + } + ], + "original_card": { + "acceptance_gate": "Preserve immutable source hashes and proof-relevant content; a different compressed byte stream alone is not a mathematical mismatch.", + "allowed_variations": [ + "One interpreter/version mismatch or one payload field comparison." + ], + "bottleneck_link": "Portable exact checks prevent environment failures from blocking valid contributions.", + "first_experiment": "Reproduce one specific mismatch or audit one canonical comparison for omitted proof-relevant fields.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read the gzip-container reproducibility examples and distinguish frozen source bytes from regenerated payloads.", + "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay." + }, + "id": "portable-replay", + "methods": [ + "Reproduce one portability failure and add a minimal cross-environment fix.", + "Audit one canonical-payload comparison for omitted proof-relevant fields." + ], + "overlap_terms": [ + "gzip container", + "reproducibility", + "canonical payload" + ], + "question": "Can one reproducible environment or artifact-comparison failure be repaired?", + "scope_change_triggers": [ + "Removing immutable-source pins because generated compressed bytes differ." + ], + "starting_points": [ + "research/gzip-container-reproducibility/README.md", + "docs/ci-verification.md" + ] + }, + "outcome": "completed", + "overlap": { + "coverage": { + "discussions": { + "complete_pagination": true, + "fetched_at": "2026-10-16T11:28:55.830639+00:00", + "records": 1599 + }, + "open_prs": { + "complete_pagination": true, + "fetched_at": "2026-10-16T11:28:29.159167+00:00", + "records": 498 + } + }, + "limits": "Remote PR scope is open PRs including drafts. Closed work is searched through local READMEs, TASK metadata and ledger only. No code diffs or arbitrary package files are searched. Recheck relevant heads before submission.", + "nearest": [ + { + "head": "a247ef876e50bf3a7d890c7c1f9b409576674d7d", + "pr": 2101, + "relation": "Exact pending caller under independent complete Linux execution, not reconstructed." + }, + { + "pr": 2477, + "relation": "Windows log comparison, not this platform or executable review gap." + }, + { + "pr": 2921, + "relation": "Directory-inventory hardening; not imported or claimed tested by this stable-tree replay." + } + ], + "searched_at": "2026-10-16T11:28:56.012476+00:00", + "terms": [ + "selected-final-replay-closure", + "PR2101", + "Linux closure" + ] + }, + "priority_revision": 5, + "refresh_checkpoint": { + "all_42_scientific_input_hashes_match_fetched_main": true, + "canonical_main": "f0cf35964766b21a67c5e3b52e4a7daa4ca92a13", + "priority_revision": 5, + "relevant_change": "No changes to AGENTS.md, autoresearch.md, catalogue, selected record or dated PR2101 review since audited base. PR2101 remains open at the exact head. Keep the scientific baseline frozen.", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", + "utc": "2026-10-16T11:49:40Z" + }, + "schema_version": 1, + "scope_change_reason": "The nearest comparator repairs and Windows adaptations were already covered. The dated main review explicitly left PR2101 full comparison/control execution pending after its supplier stage. Independently checking that complete portability repair is more useful than constructing another comparator.", + "scope_status": "refined", + "stop_rule": "Stop on an unclassified mismatch or at the 60-minute session budget. Never extend normalization or treat a timeout as a scientific rejection.", + "success_predicate": "All 42 source inputs validate; the fresh stage succeeds; all 105 files and the 13-line outer log compare under the unchanged policy; all five positives and 287 negatives pass; the complete result bytes equal predecessor RESULT.json.", + "task_id": "portable-replay" +} diff --git a/research/selected-final-closure-linux-audit/direct-stdout.txt b/research/selected-final-closure-linux-audit/direct-stdout.txt new file mode 100644 index 0000000000..d99c638952 --- /dev/null +++ b/research/selected-final-closure-linux-audit/direct-stdout.txt @@ -0,0 +1,2 @@ +PASS_FRESH_SELECTED_FINAL_STAGE {"bytes": 103, "json-diff:declared-timing": 2} +PASS_SELECTED_FINAL_REPLAY_CLOSURE files=105 edges=30 positives=5 negatives=287 no_new_kappa diff --git a/research/selected-final-closure-linux-audit/metadata-stdout.txt b/research/selected-final-closure-linux-audit/metadata-stdout.txt new file mode 100644 index 0000000000..a6c9fb298a --- /dev/null +++ b/research/selected-final-closure-linux-audit/metadata-stdout.txt @@ -0,0 +1 @@ +PASS_PACKAGE_METADATA_AND_PINS (not a mathematical acceptance check) diff --git a/research/selected-final-closure-linux-audit/registered-stdout.txt b/research/selected-final-closure-linux-audit/registered-stdout.txt new file mode 100644 index 0000000000..5237881e32 --- /dev/null +++ b/research/selected-final-closure-linux-audit/registered-stdout.txt @@ -0,0 +1,4 @@ +CHECK Authenticate all42 declared source inputs and vendored predicates, execute the unchanged selected final supplier stage with assertions enabled, compare all105 outputs plus complete outer log, and reject bounded coverage/semantic/reference/role/timing controls even under optimized parent Python. +PASS_FRESH_SELECTED_FINAL_STAGE {"bytes": 103, "json-diff:declared-timing": 2} +PASS_SELECTED_FINAL_REPLAY_CLOSURE files=105 edges=30 positives=5 negatives=287 no_new_kappa +PASS_REGISTERED_RESEARCH_PACKAGE research/selected-final-replay-closure outcome=completed diff --git a/research/selected-final-closure-linux-audit/stage-stdout.txt b/research/selected-final-closure-linux-audit/stage-stdout.txt new file mode 100644 index 0000000000..2b065c57a4 --- /dev/null +++ b/research/selected-final-closure-linux-audit/stage-stdout.txt @@ -0,0 +1,13 @@ +PASS restore-parent 1.192 +PASS bind8 0.263 +PASS lift16 2.605 +PASS bind 0.293 +PASS emit 5.526 +PASS audit 19.678 +PASS invoice 0.989 +PASS assembly 0.297 +PASS admission-controls 0.398 +PASS bit-supplier-controls 0.563 +PASS independent-t16 0.996 +PASS_GAUGE44_T16_STRICT_GLOBAL_REPLAY 0.001672660197076918 +PASS_T16_RARE_PATTERN_EXCHANGES 0.001672660197076918