SOL PRO SOURCE-ATTACHMENT RECEIPT
=================================
These hashes identify the user-supplied files audited before promotion into the
release tree. The original attachments are not redistributed in this bundle.

SHA-256                                                          bytes    filename
ae42c19b1332ab2caf3a0791ffba9e12d6bebaa8a9fa5acaf1c17293590dde52  3116263  all_edge_star_certificates.json
43b960af1f22e7205e33383894f6af594420e54e446834c790f8b4b725a3772b     3432  edge_star_configuration_catalog.csv
dd3d87e02b58c197886be973ad4fed0c245c6d3f9c400a727e343139cc94ce0d   599066  freudenthal_k4_complete_proof_bundle.zip
d69c032d08205252d4a3b35257e7d4af38f9b87dccc8c0d8f9b14b3919f3c651    70903  freudenthal_k4_edge_star_lean.zip
649e5bd525223da84a3344a7ea6545fa133500a693113b400a56c79511733648   310276  freudenthal_k4_edge_star_proof.pdf
80b936f8e66abae845b6251d99e7d7035878f1b04dcb7e8da7f4c2008b7c5ee5    34461  freudenthal_k4_edge_star_proof.tex

Archive safety census
---------------------
freudenthal_k4_complete_proof_bundle.zip:
  entries=58, uncompressed_bytes=4197613, duplicates=0, unsafe_paths=0, symlinks=0
freudenthal_k4_edge_star_lean.zip:
  entries=20, uncompressed_bytes=565804, duplicates=0, unsafe_paths=0, symlinks=0
