tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

float-docs-audit.json (19569B)


      1 {
      2   "archive": "/tmp/agents/tricu-float-docs-archive-zniu3cmx",
      3   "archived_manifest_sha256": "ad0aca9a95c096d59b3d14283bf50124fb2c65a7d769ad762e21342f8b6a0368",
      4   "comparison_scope": "Documentation/comments in the binary64 integration change set; byte-preserved accepted library closure",
      5   "code_changes": [
      6     {
      7       "path": "bench/float-aligned-quantize.tri",
      8       "before_sha256": "565df94e20637af3c15b48a40ca0d16ff8b24abbf1ee24d5cdcded6276c4a6b0",
      9       "after_sha256": "87dee36fa764ea374c8d94f860623ba3076ffa6959783dfb0535382b27991ffb",
     10       "executable_fingerprint_sha256": "f71987af9eb0b9ad2da0ad7cbcd1d3d4780d626940273b368474573f714db3b1",
     11       "comparison": "source excluding comments"
     12     },
     13     {
     14       "path": "bench/float-alignment.tri",
     15       "before_sha256": "c13fe7c31374c67e23f42b64f3462d27f7fb50d6b8d6cf9ecf0e4f905b0d9542",
     16       "after_sha256": "4eae38fa48909482d4adc393b40658f025dc817dd90a48a2e500b8f138f755c3",
     17       "executable_fingerprint_sha256": "43c61168dec04b70ff8c448560a3a30a066833fe2ffb949bdc1b04eeb08e83fc",
     18       "comparison": "source excluding comments"
     19     },
     20     {
     21       "path": "bench/float-boundary.tri",
     22       "before_sha256": "bfc2418adb3f2b2903af28e69384ef6747090b8e8ca5a7691fb79ace17a6f6c2",
     23       "after_sha256": "606627853425028906f3f8fba313b2ca9a0e70f4e1f67e456a2b9b89ead1a022",
     24       "executable_fingerprint_sha256": "1491c70b76b4385f5d773e7136e1a37d29a6d087a49a071bdede5c3c4cc15244",
     25       "comparison": "source excluding comments"
     26     },
     27     {
     28       "path": "bench/float-chains.tri",
     29       "before_sha256": "4df7a1f3558004778b6c41e2365acd446dac9db824d21ba356c14531ba4d04b9",
     30       "after_sha256": "702c4bb3b06e44c0983f98d28060f2d36dd7f736e11c3fa5a923fac42a0e0af9",
     31       "executable_fingerprint_sha256": "b0bb05863da393335ec4dff92b084a521da9e33584f6b9ac023d6e0c2f1b835b",
     32       "comparison": "source excluding comments"
     33     },
     34     {
     35       "path": "bench/float-finite-product-quotient.tri",
     36       "before_sha256": "3ef31367bad80f578cffe7c0f6d9979398d5d3a57f05c391fe2549319dc9f90d",
     37       "after_sha256": "639d5d54e56bfa805567d524409607395f6cabab978d101aa13d9376dcae4e9c",
     38       "executable_fingerprint_sha256": "d2566b9e0407850539f7b03e22c4a6ccb283ff0603a03fe7d3d3d926bd8c4e54",
     39       "comparison": "source excluding comments"
     40     },
     41     {
     42       "path": "bench/float-finite.tri",
     43       "before_sha256": "11cab8111c08931516ed021a552f62697847dcfaa41e5a7e2adad576a1cf7b1c",
     44       "after_sha256": "01c58380876cca211f9ce086ef37ec74294d23689bfacc84fd0ce76b3dcbaa09",
     45       "executable_fingerprint_sha256": "5cd863dfbbc3c809eb38033fa2818543fef7fd107eedcb6b481fe365fce8bc9f",
     46       "comparison": "source excluding comments"
     47     },
     48     {
     49       "path": "bench/float-ieee.tri",
     50       "before_sha256": "c0393b6aa9b1517867cef89b3c5ff0a5f710c1814c3b50a0bf6e0aee565a746b",
     51       "after_sha256": "c39b46adaef46727dd74fd87ce1344eb05f4709ea1ea97381893d8433aa1fbbd",
     52       "executable_fingerprint_sha256": "70a5c5a396c1987496ccf3584e868edf873cac41858cf8384e412182277f6126",
     53       "comparison": "source excluding comments"
     54     },
     55     {
     56       "path": "bench/float-near-jam.tri",
     57       "before_sha256": "1c989cc4c6c4f13403260a33231ba8ac9f325d724b20f11b354b2d0e1bc47844",
     58       "after_sha256": "d46fd55d2f183306b6246bc23517d1d24d4cf9a7055c73b9db91afb9bc0e6b3c",
     59       "executable_fingerprint_sha256": "55867a864cf8cc564d17e1329b019fb903d6c2c6d474f3bb1cbfa3459f737fbb",
     60       "comparison": "source excluding comments"
     61     },
     62     {
     63       "path": "bench/float-quantize-fast.tri",
     64       "before_sha256": "b962053fa3d77b7e251d75dc70c3606574ce861876a6cfc6ab62662a84ebfd9a",
     65       "after_sha256": "0f1b7e62c720959e502214e512aebfba76f6d00e79b39759d59713ba34975e93",
     66       "executable_fingerprint_sha256": "bdd94566369b57a89ace99cf101487ab49a15dd4a8fcc160624bda8373e0b20e",
     67       "comparison": "source excluding comments"
     68     },
     69     {
     70       "path": "bench/float-quantize.tri",
     71       "before_sha256": "e62f92ee19e60ff2ed9ae79378d89019ba8dae14f1fb81cb2b774efeced8ea53",
     72       "after_sha256": "f45185056d50e32f6f3e88536cdd357f62d7eab131754e7a5d843445c455b924",
     73       "executable_fingerprint_sha256": "7e3142a5f188d9e1c13926e6c460ddfa243929fc57b78568efdf30d8e7569e7d",
     74       "comparison": "source excluding comments"
     75     },
     76     {
     77       "path": "bench/float-working.tri",
     78       "before_sha256": "9f8432da17f3a8e2eeea45a4dd974e30fe07fcf24905fd23340a96d23d4f50e5",
     79       "after_sha256": "4f0fab2244d180f73f0971b6b7212122ba41367e77cfed576af84d67802f404d",
     80       "executable_fingerprint_sha256": "2577a05b1f9d2562263583db80bca0b890d732cb0f8715bdc43c5bc49bc9c433",
     81       "comparison": "source excluding comments"
     82     },
     83     {
     84       "path": "test/float_aligned_quantize.py",
     85       "before_sha256": "fa6f0992b5ad556b194dcc32fe9308815497ce981fcd76c0a86f5ae34da0cf13",
     86       "after_sha256": "9c9964bd38ab2d8a4a70155670c5b957f04f9db5f0dfc037e58966a71a89dad1",
     87       "executable_fingerprint_sha256": "0f0d177ce5d051c4ba2f8f5cabaca9aeb485f889b8df3da1f4a1b472628a3138",
     88       "comparison": "Python AST excluding docstrings and locations"
     89     },
     90     {
     91       "path": "test/float_alignment.py",
     92       "before_sha256": "c2efef99bd181166ce83125c363a448fbcb7488f620317d752ce1fd5b426b2b8",
     93       "after_sha256": "1cec865b250406f09130bc3c7ffb17c1b4d392e305688b76581679e099faeea9",
     94       "executable_fingerprint_sha256": "72db49567c0235a91d21c0e2508e03f5b9252eec955a18cc0189df154ce6f688",
     95       "comparison": "Python AST excluding docstrings and locations"
     96     },
     97     {
     98       "path": "test/float_boundary.py",
     99       "before_sha256": "2bebb911479d195821c8364cc9ade01b860d4c4e88ea06788291ad6bb557b486",
    100       "after_sha256": "e9d14eab574f2e1bc758c8da83c72a9bef5812477cf3bce66172c43fb992b85a",
    101       "executable_fingerprint_sha256": "a1a8675150c4af261062e2e419821998d7e7f2df28f72d396a9ace52f96359a0",
    102       "comparison": "Python AST excluding docstrings and locations"
    103     },
    104     {
    105       "path": "test/float_boundary_test.py",
    106       "before_sha256": "f64383b2f13b14c06cf207c75ad67c782b67aaafb962ee9b43d7b7d12937a898",
    107       "after_sha256": "e39ad0c9c4e1913db6ba5e2119c83b3103f095d430ffb515a758f3f58b28cdb4",
    108       "executable_fingerprint_sha256": "c638f636c8ba35b7b34080266f83ce7075acaf8be04c776df7d7a39694615a93",
    109       "comparison": "Python AST excluding docstrings and locations"
    110     },
    111     {
    112       "path": "test/float_chains.py",
    113       "before_sha256": "a9a6f195b244b1922051f0c0678d7708fa3831274bafb1a5d082f25290ea4884",
    114       "after_sha256": "e7c4b21b7eb03378f627ceb0295309a5d8bef59017a368ea045bfe3ebda959b7",
    115       "executable_fingerprint_sha256": "b507cd8d6db022f6b00d7ce6b601d9be4144b5d4ac61aa1362e21d5cc3034196",
    116       "comparison": "Python AST excluding docstrings and locations"
    117     },
    118     {
    119       "path": "test/float_chains_test.py",
    120       "before_sha256": "df109e1ed571f78045f89596b94aa1cccb890b547e28e0f1d34fdb03ee1bbdaf",
    121       "after_sha256": "5815fc761e77ca43b59bc33b38fde0857606814db065832f04c4f18802354f68",
    122       "executable_fingerprint_sha256": "ffab48f5b4efec851da5c5d1547e161014e8db6fd62ad3e446fb0539765c1aac",
    123       "comparison": "Python AST excluding docstrings and locations"
    124     },
    125     {
    126       "path": "test/float_finite_product_quotient.py",
    127       "before_sha256": "c8aeb834832c0c1bdad5986b3509124120ab313d3a27817fa5c915bdd9dc1839",
    128       "after_sha256": "98a079d54a894c9fa4d73774fc303b50cf746c157923ca498360aeac67c66a3d",
    129       "executable_fingerprint_sha256": "acdd3b1a54e69a1642f42e3e58dfa0c2d96fa4618b916b545672f9adc9c68fe2",
    130       "comparison": "Python AST excluding docstrings and locations"
    131     },
    132     {
    133       "path": "test/float_finite_product_quotient_test.py",
    134       "before_sha256": "ba1e382fe3a98de8ffdfa6c28c20d1f37e041ee026fc25e719369918629bb13f",
    135       "after_sha256": "9334530aa4fdb6eebaa1fe08b9bd99629441923127d75dd24cc6cf31e281580a",
    136       "executable_fingerprint_sha256": "f8e82e2c5f6987d1801ee77045763f949f1afe8443372616fbfc3f2ac0ecbff2",
    137       "comparison": "Python AST excluding docstrings and locations"
    138     },
    139     {
    140       "path": "test/float_ieee_host.c",
    141       "before_sha256": "7062abf8a35958140762fcde7f19a2d21a41334d50a6428b506916dffa8ee280",
    142       "after_sha256": "27360f56b6fd33563ca9f3b238c9584c68e77357360e8c6ef02647a1d1946df1",
    143       "executable_fingerprint_sha256": "97c7d38f65bec049d1e501fc6d3d6b91081e4f0ae0bacde467f466db507ca93d",
    144       "comparison": "source excluding comments"
    145     },
    146     {
    147       "path": "test/float_ieee_test.py",
    148       "before_sha256": "e0c82023827cf3fc74d699f5e8bb8f5b787ff625938d759c8ed3719f93cfcf6a",
    149       "after_sha256": "9460824e1076cec9a6978c71712c90ef491bf307d08cc3bc77216282f2a2f373",
    150       "executable_fingerprint_sha256": "d6a2487d306f58a2c69bd933be2f9b6d9c93d79dfa381a779ea8bb21749120f1",
    151       "comparison": "Python AST excluding docstrings and locations"
    152     },
    153     {
    154       "path": "test/float_library_acceptance.py",
    155       "before_sha256": "c424af409d7ba17c405e181bafbdd740ea134ac571f629946f080d8e76f39a3a",
    156       "after_sha256": "7f3f0ad9da951894192675e1aee46a0b2be62a7aadb3bd576e10504c33300438",
    157       "executable_fingerprint_sha256": "11d39654dbca5876837fe9ff8935ad834e7cdce3f891219113a0407c88c2432f",
    158       "comparison": "Python AST excluding docstrings and locations"
    159     },
    160     {
    161       "path": "test/float_library_extract.py",
    162       "before_sha256": "02d7a02f80b6c6e612adc3b654f90090962848a5357d7dc4afc6ac178aceba59",
    163       "after_sha256": "2f64b30162157bfb286abd98f92f409e838c490425b28488ea11ee7e8011e4a9",
    164       "executable_fingerprint_sha256": "980926fd0f242ad3055b5d9e64225d4d761d208f681bc2a075a3c1ad82dc3cf7",
    165       "comparison": "Python AST excluding docstrings and locations"
    166     },
    167     {
    168       "path": "test/float_near_jam.py",
    169       "before_sha256": "161d58e4b2fe3da926b543f1c46ffd3ad56b5ef60a11bdbfbaba348977062d60",
    170       "after_sha256": "5876a7f8af9fd45673eeacfbd442af7d5e1de85c71fb41357c33897c7bb2d1b4",
    171       "executable_fingerprint_sha256": "69d992393d242f09a316ff286009bde9d30f7b2728f36127dd13974e8c56bf31",
    172       "comparison": "Python AST excluding docstrings and locations"
    173     },
    174     {
    175       "path": "test/float_quantize.py",
    176       "before_sha256": "0822832c4a95d19e72332e0e6b5bd6f44cad93648125f9cd270b4f556e0134a8",
    177       "after_sha256": "b182440579f28e6bc828869a8d7394a1729886797da8e1c840f3acce2ffcedfe",
    178       "executable_fingerprint_sha256": "207f36eddb80ba3788ed36c795bdad8076ebf16ffe86ea97fcd8d34c5a5fb982",
    179       "comparison": "Python AST excluding docstrings and locations"
    180     },
    181     {
    182       "path": "test/float_working.py",
    183       "before_sha256": "c7397757b109d0655512b1fa37e699c267d8698d3a0eb7067ff6036794a32c96",
    184       "after_sha256": "265dfe104428bf1c491ead9f39476bc6399ee23edd22bc1d9439b6435830902d",
    185       "executable_fingerprint_sha256": "3141797b4038ce4baa88ec32b813d93a81c1ef1d84c22035b10af4f62d76e54f",
    186       "comparison": "Python AST excluding docstrings and locations"
    187     },
    188     {
    189       "path": "test/native_library_migration.py",
    190       "before_sha256": "971273b9e4c535881510ac6dab52e79d37dc27679b94417db934094a79e14709",
    191       "after_sha256": "732c110e137fe35740aa5c16c02eefd8d34eee135aba8024943e31baa7d37983",
    192       "executable_fingerprint_sha256": "babf12f51f9abc899e0b5d63b4845e59becb4ca3ad0f906279ea2d0d205d8232",
    193       "comparison": "Python AST excluding docstrings and locations"
    194     },
    195     {
    196       "path": "bench/float-adders.tri",
    197       "before_sha256": "9a7ae96256abab2bafac6301b72513535815159198d1951a55d581a1063359c6",
    198       "after_sha256": "9eeed7a42138589965e5a99042512d85b2dbb0f954e5e22e3d18ed3cc57d3440",
    199       "executable_fingerprint_sha256": "447a424741f6596eb5bb078d502e92e75c3a4bfb02ffd8867b70d5a66690b3f7",
    200       "comparison": "source excluding comments"
    201     },
    202     {
    203       "path": "bench/float-layouts.tri",
    204       "before_sha256": "3e1ccc050fa4e803271f87505cdd141ded2cc7b0be367fa548aba2bbd86b9914",
    205       "after_sha256": "de48987c41ad89aa66454b8721df107f2a7415eb0df99df3b38370c2f276a90b",
    206       "executable_fingerprint_sha256": "5b0fa252e07e28b8ef750b33cff54976a5a922fb6ee238020ca93162c35d3265",
    207       "comparison": "source excluding comments"
    208     },
    209     {
    210       "path": "bench/float-multiply.tri",
    211       "before_sha256": "7dbb45364149688e95b337b132790d5cb546ac72e0c1e4fa9a5063853829867b",
    212       "after_sha256": "e25021ff27722d89319bf43d3c5c5d0b5fdd32b0a216f14687d703bbc7536a92",
    213       "executable_fingerprint_sha256": "8dbbfe18edada23a581cee1e294107118d0a56a2c5fbc061820d028787c12a7e",
    214       "comparison": "source excluding comments"
    215     },
    216     {
    217       "path": "bench/float-pipelines.tri",
    218       "before_sha256": "6daba69f8c252469dea0e799c2d7fca45b673a23508faf4a0f69e5c375a735bb",
    219       "after_sha256": "5252219959ed641a85fb769ba277f92dfb535754e8250c932c6839d8ec520989",
    220       "executable_fingerprint_sha256": "aeec0db7456bd9ac8fdc8fc45f6005861ddabafb95f1701a5d90186b881bb391",
    221       "comparison": "source excluding comments"
    222     },
    223     {
    224       "path": "bench/float-significands.tri",
    225       "before_sha256": "58b04ec37e82bfe7b8d3a6b42bb81307258ff0812a77f0fdac04b0f022b17db5",
    226       "after_sha256": "08aaac8d8467226df2adf204e6d649ce3a71def1fd9a58e87270b2ba2ad28a7e",
    227       "executable_fingerprint_sha256": "1c18e62e13856c7dde1b05bc5566f8d50db5b5706aa951c209063166ed0f62bb",
    228       "comparison": "source excluding comments"
    229     },
    230     {
    231       "path": "test/float_adders.py",
    232       "before_sha256": "d3db4257bef9994a73fd3893a73eab1b9c91bccdb75e4648760570fa5e6c5daf",
    233       "after_sha256": "8afb0a67c64e653b043348b5626ee11ef7c438992500b390d3f1aef90110e677",
    234       "executable_fingerprint_sha256": "d6a349ffe306b57585933e118ef815683b93fccd88328b7497ed8c8d1efe7598",
    235       "comparison": "Python AST excluding docstrings and locations"
    236     },
    237     {
    238       "path": "test/float_adders_demand_test.py",
    239       "before_sha256": "e25429ccd84a18d057f1f85362b21688c777eb3cac7ad9edd00d908354f2cf05",
    240       "after_sha256": "ed53f8763dc70375a904f417272d7d1eefa7bad8f5a4846b25fb282662d2f075",
    241       "executable_fingerprint_sha256": "fafc7cd35d60feec09495a34f179aff93257ef5913fca1e4f613b901018d49b4",
    242       "comparison": "Python AST excluding docstrings and locations"
    243     },
    244     {
    245       "path": "test/float_layouts.py",
    246       "before_sha256": "36ec252d2678d5626b7552d0c61ccfc0cdfd70bc821dba1d9d0afc52e607dcbe",
    247       "after_sha256": "42e9a0be1b03a6b0805fa36db2159872d100c4a2d5ddf014c9a832bc461bf891",
    248       "executable_fingerprint_sha256": "74754d9c2299c4b291d85b2c6f692ee0b9a3a6e91fce5d7760104399c3bd7a12",
    249       "comparison": "Python AST excluding docstrings and locations"
    250     },
    251     {
    252       "path": "test/float_multiply.py",
    253       "before_sha256": "f54ae048b7ba7706fe90ce82eab40a488f328f9faa43533bc852cb469d6a2edf",
    254       "after_sha256": "cf8bc92e94cafa97f5d0447fd7d339039ee531dbd5893c7d57bb3599d55dd88d",
    255       "executable_fingerprint_sha256": "3c86f821968dac8bee70f2d793cbcfef1e3bb91d6e2f0c915e99ce0d4211a14f",
    256       "comparison": "Python AST excluding docstrings and locations"
    257     },
    258     {
    259       "path": "test/float_significands.py",
    260       "before_sha256": "6ef5e8245fc6ddd798b85084291b65a0c57cd61adbcd25a226cd4aac520d1582",
    261       "after_sha256": "d861d23c3617a73e3568280a69ebbb47ca534718b9c22720113ba88a31191324",
    262       "executable_fingerprint_sha256": "af46e889a3853f4354c421d2011dc614699dbba77ed349785e14774292304346",
    263       "comparison": "Python AST excluding docstrings and locations"
    264     },
    265     {
    266       "path": "test/float_significands_oracle_test.py",
    267       "before_sha256": "0f390768fbe9a5d4ee6025d034aa9e60d056a41d3ef1adebe480597baf07f1cc",
    268       "after_sha256": "f3dd530d5fbce007351b4bba33ae4d5b7b29c988e082564cb020e4eb0a9f65cd",
    269       "executable_fingerprint_sha256": "e407302dac0d11b1afe633ec59eb2110cf25dc00ca223c566d7af6b558fe8de2",
    270       "comparison": "Python AST excluding docstrings and locations"
    271     }
    272   ],
    273   "accepted_library_sources_byte_identical": true,
    274   "calver": "2026.10.24",
    275   "documentation_sha256": {
    276     "docs/binding-elimination.md": "21a783f9f30c3315bebb5c75c5778b6c1dce1fef7551d4602ad66e5c5d444568",
    277     "lib/source/binding.md": "978939bd023ec46cf32f5e7f7006c8948216a4f190d9baaa8f9e018e7e7c3ccc",
    278     "docs/binary64.md": "f68aa5a517037a4476d2bf77f55f4ac6b65a7441cc3d874d315fbd3906bb8875",
    279     "docs/compiler-rebuilding.md": "5f25f7b7cfbd622dfe17667d42acb70f18e71bdc1c0563f2964d157e5b6be104",
    280     "lib/math/README.md": "21cb14ee9c6d1b132222c2a1d014a32b975614328be3fd42f574f0e418408f16",
    281     "lib/math/binary64/README.md": "1612db613762718638ead2515ea46e48afef38e17e14afed429dc922153eebb8",
    282     "test/float-validation.md": "179f85883eb23734c7a0160cc39d540545b2b9444382acba52df2e76d08d1c3b"
    283   },
    284   "checked_local_links": [
    285     [
    286       "docs/binding-elimination.md",
    287       "../lib/source/binding.md"
    288     ],
    289     [
    290       "docs/binding-elimination.md",
    291       "compiler-rebuilding.md"
    292     ],
    293     [
    294       "lib/source/binding.md",
    295       "../../docs/compiler-rebuilding.md"
    296     ],
    297     [
    298       "docs/binary64.md",
    299       "tri-tools.md"
    300     ],
    301     [
    302       "docs/binary64.md",
    303       "../test/float-validation.md"
    304     ],
    305     [
    306       "docs/binary64.md",
    307       "../lib/math/README.md"
    308     ],
    309     [
    310       "docs/binary64.md",
    311       "contracts.md"
    312     ],
    313     [
    314       "docs/binary64.md",
    315       "../demos/binary64.tri"
    316     ],
    317     [
    318       "docs/binary64.md",
    319       "../lib/math/binary64/README.md"
    320     ],
    321     [
    322       "docs/binary64.md",
    323       "../test/float-validation.md"
    324     ],
    325     [
    326       "docs/compiler-rebuilding.md",
    327       "build-and-run.md"
    328     ],
    329     [
    330       "docs/compiler-rebuilding.md",
    331       "../ext/haskell/README.md"
    332     ],
    333     [
    334       "docs/compiler-rebuilding.md",
    335       "../test/io/README.md"
    336     ],
    337     [
    338       "docs/compiler-rebuilding.md",
    339       "modules.md"
    340     ],
    341     [
    342       "docs/compiler-rebuilding.md",
    343       "validation.md"
    344     ],
    345     [
    346       "docs/compiler-rebuilding.md",
    347       "validation.md"
    348     ],
    349     [
    350       "docs/compiler-rebuilding.md",
    351       "../ext/demo-site/README.md"
    352     ],
    353     [
    354       "docs/compiler-rebuilding.md",
    355       "storage.md"
    356     ],
    357     [
    358       "lib/math/README.md",
    359       "../../docs/tri-tools.md"
    360     ],
    361     [
    362       "lib/math/README.md",
    363       "../../docs/validation.md"
    364     ],
    365     [
    366       "lib/math/README.md",
    367       "../../docs/binary64.md"
    368     ],
    369     [
    370       "lib/math/binary64/README.md",
    371       "../../../docs/binary64.md"
    372     ],
    373     [
    374       "lib/math/binary64/README.md",
    375       "../../../test/float-validation.md"
    376     ]
    377   ],
    378   "removed_progress_material": [
    379     "STATUS.md",
    380     "docs/float-aligned-quantize-investigation.md",
    381     "docs/float-chains-investigation.md",
    382     "docs/float-finite-investigation.md",
    383     "docs/float-ieee-investigation.md",
    384     "docs/float-library-acceptance.md",
    385     "docs/float-near-jam-investigation.md",
    386     "docs/float-product-quotient-investigation.md",
    387     "docs/float-quantize-fast-investigation.md",
    388     "docs/float-quantize-investigation.md",
    389     "docs/float-resume-investigation.md",
    390     "docs/float-working-investigation.md",
    391     "docs/float-significand-investigation.md",
    392     "docs/float-layout-investigation.md",
    393     "docs/float-multiply-investigation.md",
    394     "docs/float-pipeline-investigation.md",
    395     "docs/abstraction-binding-investigation.md",
    396     "docs/binding-analysis-prototype.md",
    397     "docs/binding-backend-contract.md",
    398     "docs/binding-compiler-investigation.md",
    399     "docs/binding-failure-investigation.md",
    400     "docs/binding-substitution-candidate.md"
    401   ],
    402   "archive_tar_gz": "/tmp/agents/tricu-float-docs-archive-zniu3cmx.tar.gz",
    403   "archive_tar_gz_sha256": "2f173538c6173e03cad8a2352f986031dca870678ee7c4f98634eb92b9f1fefa",
    404   "validation": {
    405     "float_unittest_cases": 69,
    406     "binding_model_unittest_cases": 15,
    407     "python_byte_compilation": "passed",
    408     "git_diff_check": "passed"
    409   }
    410 }