{
  "version": "FI_LOCAL_WEBSITE_R6_20261013_R4",
  "scope": "Retained summary records and one separately recovered original H22 timing record. Each entry declares its evidence class; summary-level records do not certify missing original executions.",
  "records": [
    {
      "id": "report_arithmetic_summary",
      "subject": "Ten saved report-pair arithmetic summary",
      "evidence_class": "Retained FI research-summary statement; underlying execution witness not recovered",
      "summary_report": "The retained FI research summary describes 10 saved report pairs, 1,018 paired rows and 12,200 running-sum steps, and reports arithmetic matches in those records. Nine cases were labeled synthetic and one recorded data; the recorded-data label was not independently verified. This is a summary-level report, not a fresh check of the original report files or evidence of sensor accuracy or completed job limits.",
      "source_identity": {
        "captured_version": "FI_LOCAL_WEBSITE_R6_20261013_R3",
        "file": "components/public-pages.tsx",
        "sha256": "719ab825f3d4485cefc743e479dd2975c7900c2d18e4f2c7153dd25267c437d9",
        "line": 75
      },
      "scope": "This record attributes what the retained summary reported. It is not a new execution or independent confirmation of the original run. Full stronger historical wording remains private. Original reports, invocation traces and device qualification are separate evidence."
    },
    {
      "id": "controller_summary",
      "subject": "Forty-five sequence controller summary",
      "evidence_class": "Retained FI research-summary statement; underlying execution witness not recovered",
      "summary_report": "The retained FI controller summary reports matching reference outputs for 45 specified input sequences. That is a summary-level result for one controller and those inputs, not a fresh execution or proof for all inputs. It establishes no on-device timing, resource or power result.",
      "source_identity": {
        "captured_version": "FI_LOCAL_WEBSITE_R6_20261013_R3",
        "file": "lib/portfolio-results.ts",
        "sha256": "f4e377b7c7535c0fa0ed6ca25727ac89ae4f2a13b73855e2e8003f36ca4f4b9c",
        "line": 43
      },
      "scope": "This record attributes what the retained summary reported. It is not a new execution or independent confirmation of the original run. Full stronger historical wording remains private. Original reports, invocation traces and device qualification are separate evidence."
    },
    {
      "id": "earlier_library_summary",
      "subject": "Earlier FI kit versus gmpy2 summary",
      "evidence_class": "Retained FI research-summary statement; underlying execution witness not recovered",
      "summary_report": "The earlier FI kit lost to gmpy2 2.3.1 in all 26 first-call/warm groups. That separate study does not compare the revised implementation. ",
      "source_identity": {
        "captured_version": "FI_LOCAL_WEBSITE_R6_20261013_R3",
        "file": "app/research-evidence/page.tsx",
        "sha256": "2405fc223b9d1ba7a15ea2f3290e9476584f8f2e132cb1a940283787eeadade6",
        "line": 33
      },
      "scope": "This record attributes what the retained summary reported. It is not a new execution or independent confirmation of the original run. Full stronger historical wording remains private. Original reports, invocation traces and device qualification are separate evidence."
    },
    {
      "id": "c05_summary",
      "subject": "Selected 256-input C05 versus SymPy summary",
      "evidence_class": "Retained T032 registry summary and conditional ratio arithmetic",
      "original_summary": {
        "id": "T032",
        "area": "Shared-input inference",
        "candidate": "C05 versus SymPy",
        "baseline": "within-case median of3 invocations",
        "benefit_or_reason_to_retain": "Recorded n=256 SymPy/C05 ratios span1.7065 to39.0642 across selected cases.",
        "loss_failure_or_limit": "Not fastest-exact-ecosystem proof; small case counts; no CI or customer weights.",
        "evidence_scope": "Historical exact-inference timing",
        "source_ids": "[\"Sf84bf3286b63bb09\"]",
        "interpretation_note": "",
        "numeric_facts": "{}",
        "reader_evidence_class": "Retained T032 summary; ratios support conditional arithmetic, original invocation witness is not recovered"
      },
      "derived_ratios": {
        "reported_sympy_over_c05_min": 1.7065,
        "reported_sympy_over_c05_max": 39.0642,
        "normalized_after_seconds": [
          58.59947260474656,
          2.5598885936484046
        ],
        "time_reduction_percent": [
          41.40052739525344,
          97.44011140635159
        ],
        "constant_power_W_assumption": 1
      },
      "scope": "Ratios reported by the retained summary; no new timing run or original invocation replay. Selected cases, three invocations per within-case median, restricted shared-input model. No fastest-solver, physical sensor-noise, energy or complete-device result."
    },
    {
      "id": "h22_confirmation",
      "subject": "H22 original-host confirmation timing records",
      "evidence_class": "Recovered original recorded timing, exact custody and per-case median/sum arithmetic readback",
      "source_date": "24 September 2026",
      "candidate": "square_direction_factored",
      "control": "factored_hybrid",
      "request_cases": 2500,
      "timed_calls": 40000,
      "warmups": 5000,
      "rounds_per_method": 8,
      "group_values": [
        {
          "family": "ALL",
          "cases": 2500,
          "before_sum_case_median_us": 11893564.65,
          "after_sum_case_median_us": 11472254.5,
          "reduction_percent": 3.5423370738561575
        },
        {
          "family": "exact_directions",
          "cases": 250,
          "before_sum_case_median_us": 1504364.9,
          "after_sum_case_median_us": 1024721.6,
          "reduction_percent": 31.883441311346733
        },
        {
          "family": "late_mismatch",
          "cases": 250,
          "before_sum_case_median_us": 970606.85,
          "after_sum_case_median_us": 1037811.65,
          "reduction_percent": -6.923998115199789
        }
      ],
      "higher_candidate_cases": 1248,
      "slower_families": 6,
      "ten_family_reductions": {
        "late_mismatch": -6.923998115199789,
        "exact_directions": 31.883441311346733,
        "heterogeneous": 1.5163891477990952,
        "repeated_ratios": -0.7597077803418063,
        "alternating_extreme_weights": 0.10876260474972661,
        "index_mismatch": -0.6983441644399695,
        "equal_nonsquare": -0.3466833544730578,
        "near_equal": -0.45658277839950784,
        "log_scale": 0.41224379231641783,
        "equal_square": -0.015280798770760115
      },
      "source_pins": [
        {
          "title": "FINAL_FREEZE.json",
          "sha256": "a06e18d50c6e4441259e114b4119f7854f2c5be93df2e90968d39a30a607e424",
          "bytes": 9582
        },
        {
          "title": "DECISION.md",
          "sha256": "80d25695ac864d512350bf65db273a2b8113830e6c5d171d2cc80d8e57062937",
          "bytes": 7871
        },
        {
          "title": "status.json",
          "sha256": "322c4978e86956117eb53aa933869c4c7f4b2d3640ca3e525bb6baf8a9e535ff",
          "bytes": 1460
        },
        {
          "title": "environment.json",
          "sha256": "5815d087ad9df13f52cf101cfb5f9cce3e2097d12cea210d3a9b903d26daaaab",
          "bytes": 722
        },
        {
          "title": "raw.jsonl.gz",
          "sha256": "ec2e74df94855aff0d9875bd91af8558e2cb7b5b35241f2b18fe8c41bfdc6193",
          "bytes": 67654081
        },
        {
          "title": "SUMMARY.json",
          "sha256": "889eb09cb8f47314ee858eab29d2075257d8c0b3d79ddd6871dbacddad0f5edd",
          "bytes": 831
        },
        {
          "title": "groups.json",
          "sha256": "162a406ae52b9d1b80fa09ec9bf99b73348eb1ba8a8cb7b216e9d86114ccdf88",
          "bytes": 153485
        },
        {
          "title": "per_case.jsonl.gz",
          "sha256": "754a04d19247c19f4fb3bba433c1e4fd21c6bf80b4e8822e1304a33385cb8e55",
          "bytes": 885187
        }
      ],
      "conditions": "Designed equal-stratum sample, one serial process/shared Windows host, cyclic position balance, eight timed calls per method/request. Call/timer-edge wall time excludes startup/imports, warmups, later verification and logging. Summed case medians are not one attained task or buyer usage forecast. Ordinary designs receive generic methods equally.",
      "adverse": "1248 of2500 candidate medians higher;6of10families slower;no external optimized library comparison;energy at constant1W is a separate assumption, not a measured saving.",
      "scope": "Original recorded software result and present read-only documentary arithmetic. No rerun, new inputs, fresh experiment, physical/native gain or global product-fit conclusion.",
      "strong_ordinary_comparator_limitation": "The 15 October independent AI accounting review confirms that FI was slower than capable ordinary gmpy2 in all 26 preserved first-call and warm timing groups. That separate pilot and the internal 2,500-case H22 study use unlike scopes; their percentages cannot be combined. No new timings were run.",
      "limitation_review_source": {
        "title": "COMPOSITION_DECISION_REPORT_R2.txt",
        "sha256": "fccb14eab075da4964a1c66eb09bee9b56a50bbd587fba8276c91a118c562726",
        "scope": "15 October 2026 independent AI accounting review of preserved studies; no timing rerun"
      }
    },
    {
      "id": "rf1_summary",
      "subject": "Retained RF1 smaller-recording summary",
      "evidence_class": "Retained FI research-summary statement; original execution witness unrecovered",
      "reported_lost_required_segments": 505,
      "reported_required_segments": 1874,
      "source_identity": {
        "captured_version": "FI_LOCAL_WEBSITE_R6_20261013_R4",
        "file": "lib/research-captions.ts",
        "sha256": "c1be1c15d4430fcc9f9eaa0f9025e7a2de45b645ae1bc44f0e098e962f141370",
        "lines": [
          18,
          28
        ]
      },
      "scope": "Reported adverse record loss. This summary does not independently verify the original execution or establish an accepted storage, signal-quality, time, energy or physical saving."
    }
  ]
}