64f2463f9480d776c7ba5a93abe1df8c1aa556352c377f4e0ef6492a6f0bf6ae  README.md
320bdc0341777bae9cafbf82b72850c1060f619a0734aea5db05978e742e7476  docs/RT_FBE_03_FELRA_Finite_Arithmetic_Coverage_Certificates_v0.1.md
4ab8e74fd2e02bbb41d319666adb3e961c7aec2efc25326907007c6bea22f0b5  examples/K160_N320_complete.certificate.json
a0f28075f77e3c49cfd33822be26bf7c83effad1cb948e70362a604b9d3ca02e  examples/K160_N40_output.certificate.json
92da5c0ee723f63bb84a3bed40c35be4b18381fd32e7a1cd4f4973e512186f8e  examples/K40_N1_output.certificate.json
ba67e1d970481872c2ba9a6a9063640613b82d8c65ed8719b7cd4349bdbcde90  examples/K40_N40_all.certificate.json
8959d67653015a4ffe4232f7e5d82107547e203027dc0ecd3478cf56e8d47fed  examples/K40_N40_all.observer.json
8ab79fa8dbfea9e0b1820616e2edbbd85d7acade85a1b90f6aef31941447cac1  examples/K40_N40_output.certificate.json
722e7b825196805c51392dc45da960fee6664e3404badde4cdd063d3754a56e1  examples/K40_N40_output.observer.json
4d96254c6e53ca178bc5ecd62411945cf4356a84db526114c722a3f03b39b930  examples/K40_N80_complete.certificate.json
8afea562da14ec141bda0695ab98d03e5631d505194a44f4ec80258ac529c192  examples/K80_N40_output.certificate.json
8a370605e7f2a60b19ed3562697a311065db1d8653664a35d90f92dc2b1473d3  examples/attack_missing_triple_with_fresh_digest.json
791f4bf3ab2150863bf1477bceede583d95edc3285a64d95593a7994441419cf  examples/mathai_query.json
6d082dc747ef36aa1593892c6697d7c4b8f236195474b36e812ebb8d89e9b81b  handoff/FELRA_v1.15.2_Integration_Plan.md
52138c0b1fd4b2cd459d9b97269eac918694b321d98ef7e4e4fac4e67b663e2f  results/FELRA_Compute_First_preview_regression.txt
d8191b649b685eb947e11feaf80fd06f0c6522976cccc5c7d4f2346fbb9392df  results/K160_N320_complete.receipt.json
18254abd36b4fc47535340c5c1426172b0201899d8cd45e6f421a2f828ab77ab  results/K160_N40_output.receipt.json
f260e650e86d2232bec1611e1abe610108d5b4a9aec73d639e64d236bbb2bf2f  results/K40_N1_output.receipt.json
1df6e3d50568a049d3445def46e4c7e20a5a645efbce9013d2cd0e8a5081ebf2  results/K40_N40_all.receipt.json
9f7baac80c9943b0863d5e9f40e773ea339db3c591f500e6264aca94c2ce7ac9  results/K40_N40_output.receipt.json
ef498d20f6d92d089972a4205e7aed03010069c5daa146f306affb26d8cb1dbd  results/K40_N80_complete.receipt.json
303bdf87ef5c06cc91c1dbdd3cece4378e14a83977132d0ea5d5854cebcce750  results/K80_N40_output.receipt.json
0ebf5044536eb0522c9bc9dc49b9e5034db95f0c67be4376bf09396aea8db028  results/RT_FBE_01_regression.txt
f23e28733c90007911a64622c095b1ca1135c3d063bf70babe332af86c57b01b  results/RT_FBE_02_regression.txt
497aa1d1b7c7ae882f30de1119879f84988a3100c2c2add7ac3634c9f5862c9a  results/attack_missing_triple_receipt.json
6ae0d94c46d539bd657a4c50c0c22609715d193bf161067803791a636eea1ccd  results/case_manifest.json
2effdd16e3e5beb4b334c6249f361badc75097d3c008428064a4ff82e093e95d  results/current_tests.txt
3401bc64a32e80ecf18a4c127c76c913468835288c1421c03f1695c32eb6137c  results/felra_remote_baseline.json
fd20037c471d95652155ffe1647d83533b1c2bebd173befbab8abd5282ebc63a  results/mathai_query_receipt.json
b148a00ac5e71a2657593f6e0e0664bf294918bf256d215e210bb9771ac47346  results/upstream_reconciliation.json
3656adfe1396c2cd5610db5905d9aa8d0136db8cd62866c552186a95274990a1  results/validation_report.json
8fdcee75631dc855a1218670c45d3a5577491e8460dad6a185a08241e02d4495  scripts/audit_upstream.py
e3ba5e93c64e3fff38f2aa587f18f8e28097efb75b5f9dfb96704093f8833390  scripts/build_examples.py
96d0ffff83b017559ca64102b179b8b725dc6ea09d770b883d78688d7dafa35f  scripts/finalize_bundle.py
67e4bb9e8466f0c3d33f1ded9a7c59f058e0560630068f0e460194f24b02a62b  scripts/validate_release.py
59dd890fe892bbeba99f97b2457bccf7569ad88a6d2d1e90704dffe6186b82c4  src/felra_fbc/__init__.py
44b1421d61b55d0c0b08b6b106fee250daf6c06ba8e70d0dd26772360cd21ca1  src/felra_fbc/__main__.py
bd27d036034e14f2b3072fbc0daa7faeb8e94ce7d40ed4e64805f718e7a1e4c3  src/felra_fbc/bridge.py
31a7dadff0cf64e21ddea3606c362e20c0e3d0c867b1d27128bd785d8da34442  src/felra_fbc/core.py
ce10af912b41dbf5df5b08ce9a554d3a9df2cd6db862de46dc15e913d77ee47d  tests/test_bridge.py
c6603b09eb891da9780e2d9cb6426a0c9620b7816c9fd7ef38e8f4d8e3184541  tests/test_coverage.py
302b23c65ed07e58c8b03339b81ff5eb68456f2e3b8bff29ec4fc6e9e90aab15  upstream/FELRA_Computation_First_Design_v0.1_Frozen.zip
afe1cf73763f6f5bac9cd73a554195a7717f61e02300fe74f90bf7adf1e23a7d  upstream/RT_FBE_02_v0.1_Frozen.zip
