integer-mult-bounds/docs/research/community-round8-integration.json at main · d-cs/integer-mult-bounds · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
{
  "status": "PASS local integration checks and all 56 fresh Linux jobs",
  "branch": "integration/community-round8-20261009",
  "kappa": "330942774629799/500000000000000000",
  "source_pr186_head": "166a34d75e853e933855f0f7e940fe77c4bb6b8d",
  "prior_review_receipt": "research/community-round8-audit/validation.json",
  "scope": "Conditional on retained analytic, uniform-recursion and fixed-tape interfaces; finite certificates and written review including the bank scheduling supplement, not a formal proof of multiplication",
  "local": {
    "selected_record_controls": "PASS four tests, including altered claims/proof hashes and optimized-interpreter rejection",
    "selected_finite_replay": "PASS complete offline aggregate, exact words, 47 constraints, seven margins, 21 assembly controls",
    "bank_schedule": "PASS exhaustive GL2(Z/9) diagnostic; general argument is in the supplement",
    "joint_regression": "PASS regenerated source-bound historical certificate, 16 negative/control tests and independent arithmetic; only source/certificate hash fields changed",
    "isolated_regressions": "PASS 531 tests across 81 isolated modules and patch application checks"
  },
  "publication": "Published to main on 2026-10-09 following explicit maintainer authorization",
  "ci": {
    "status": "PASS 52/52 native matrix jobs plus 2/2 original-terminal and 2/2 original-recycling jobs",
    "main_run": 37930712194,
    "original_terminal_run": 37930712353,
    "original_recycling_run": 37930712474,
    "tested_head": "d697aaa79d1d12882a8aa3432eaa45e37968da96",
    "main_url": "https://github.com/CrocSwap/integer-mult-bounds/actions/runs/37930712194",
    "receipts": [
      "research/community-round8-audit/integration-linux.json",
      "research/community-round8-audit/integration-original-terminal.json",
      "research/community-round8-audit/integration-original-recycling.json"
    ]
  },
  "workflow": "Selected construction added to the standard three-version matrix; duplicate dedicated round-eight workflow removed",
  "local_log_sha256": {
    "selected_finite_replay": "7f48b9b024e1bb57ab170650230fc530e542ab03ca028fd9266cc2d82ffdd52b",
    "joint_regression": "ee244dffdc715e5be136ec7468c6734e3dcb9081d090936d1491566a51fe7e42",
    "isolated_regressions": "124fcc03b4becd0537e9dc81cdfed9626323d6895bded51a67080483da58da55"
  },
  "tested_head": "d697aaa79d1d12882a8aa3432eaa45e37968da96",
  "evidence_only_followup": "Through eb474dc0b5fed568f1461f8bb82a00e65b7b5cbd, only this receipt and integration evidence files changed after tested_head. The publication follow-up changes only the selected record status, current-status publication sentence and this receipt. Mathematical inputs, proof files, checker code and workflows remain identical to tested_head.",
  "evidence_sha256": {
    "research/community-round8-audit/integration-linux-113820434378.log.txt": "48dad1d588ca948956d9578ef24063849977d1a9c5d75f80f5b60eeee059b7f3",
    "research/community-round8-audit/integration-linux-113820434541.log.txt": "962ec4318b471a02afd7a37bb69ef3c5103975826cff57842107c195467b234d",
    "research/community-round8-audit/integration-linux-113820434618.log.txt": "b2046245e6068db0e5d45d60a714cfa3ec80b2b710a3c083568eb727ae9a7cf3",
    "research/community-round8-audit/integration-linux.json": "a725e49921f8ea8d5600cb539b0fbdff71be8385e5371f35dca9639984b5033f",
    "research/community-round8-audit/integration-local-joint.log.txt": "ee244dffdc715e5be136ec7468c6734e3dcb9081d090936d1491566a51fe7e42",
    "research/community-round8-audit/integration-local-replay.log.txt": "7f48b9b024e1bb57ab170650230fc530e542ab03ca028fd9266cc2d82ffdd52b",
    "research/community-round8-audit/integration-local-tests.log.txt": "124fcc03b4becd0537e9dc81cdfed9626323d6895bded51a67080483da58da55",
    "research/community-round8-audit/integration-original-recycling.json": "766cece15bdf030cc98f02e4ac017671639ae29d4069a9724d0a99ee81de599c",
    "research/community-round8-audit/integration-original-terminal.json": "946f03a1b81b2dc651754a5247e092edf0e96e050b64245f5debd2bbcf5774ae"
  },
  "publication_validation": {
    "basis": "56 successful Linux jobs on d697aaa79d1d12882a8aa3432eaa45e37968da96; publication changes only status text and this receipt",
    "previous_main": "d1d6c070f5a8c684727ee7ec35d930f9ebfa9758",
    "selected_record_controls": "PASS source inventory, exact kappa and proof hashes; all four metadata/negative controls pass"
  }
}