verification.json

back to table · edit · history · where entries came from · files · download

1574 bytes, as of the version from 2026-10-24 20:04 (current). Recorded here, not run.

{
  "stored": true,
  "entries": 852,
  "measurement": {
    "entries": 852,
    "longest": 101,
    "longest_at": [
      3,
      1
    ],
    "block_kb": 118.427734375
  },
  "graph_checks": {
    "graph_count": 852,
    "minimum_nontrivial_cut": 6,
    "zigzag_graphs": 9
  },
  "independent_numbers": {
    "zigzag_ball_checks": 9,
    "one_loop_exact": true,
    "K44_relation": true
  },
  "minimum_stable_significant_digits": 147.7281545080888,
  "maximum_source_ulps": 0.4980405938392954,
  "duplicate_expression_links": 553,
  "seconds": 11.749,
  "generator_verify": {
    "matched": 852,
    "differing": 0,
    "missing": 0,
    "extra": 0
  },
  "annotations": {
    "entries": 852,
    "equalities_checked": 553,
    "numeric_parameter_order": true,
    "one_loop_written_exactly": true
  },
  "written_entries_with_annotations": {
    "entries": 852,
    "longest": 101,
    "longest_at": "3,1",
    "block_kb": 128.849609375
  },
  "site_audit": {
    "tid": "T464",
    "title": "Feynman periods of the primitive log-divergent $\\phi^4$ graphs",
    "findings": [],
    "clean": true
  },
  "versions": {
    "SageMath": "10.9",
    "PARI": "2.17.1",
    "numberdb": "0.1.10"
  },
  "code_sha256": {
    "generate.py": "a75a50e72581992a89783b15a73efe80bbd5f93980f94cd50b99ece17ecd717b",
    "checks.py": "2719498dc160dcaa3a7c33afc5bf359f2a2c5b94a2ab6c0eeb9681a91b7be21e",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "check_annotations.py": "eb3b52f314a1c17210d8374c0bfb0db7782c35ff572c00c4341b72db9cd8f2ee"
  }
}