{
  "source_package": "FI_Systems_FullSite_20260926_R6",
  "scope": "Retained research summaries, explicitly identified synthetic forward-model results and conditional source-work counts. Summary-reported timing and controller counts do not verify missing original executions. Physical device gains remain unestablished.",
  "registry_records": [
    {
      "id": "T031",
      "area": "Shared-input inference",
      "candidate": "C05 single-factor exact method",
      "baseline": "analytical target",
      "benefit_or_reason_to_retain": "4,096-observation synthetic challenge matched exact W/B and separate certificate check.",
      "loss_failure_or_limit": "One timing run, restricted model, no external-solver comparison or physical test.",
      "evidence_scope": "Separate mathematical service from allocation kernel",
      "source_ids": "[\"S3ba45b6a3f1be097\"]",
      "interpretation_note": "",
      "numeric_facts": "{}"
    },
    {
      "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"
    },
    {
      "id": "T038",
      "area": "Energy metrology",
      "candidate": "Load-side saving estimate",
      "baseline": "battery-terminal accounting",
      "benefit_or_reason_to_retain": "A trace may show lower output energy.",
      "loss_failure_or_limit": "Retained synthetic counterexample reverses sign at source: +0.004020005J output versus -0.006J battery saving.",
      "evidence_scope": "Conditional electrical-accounting model, not measured FI saving",
      "source_ids": "[\"Scbd5d16d459e0bc8\"]",
      "interpretation_note": "",
      "numeric_facts": "{}"
    },
    {
      "id": "T039",
      "area": "Energy metrology",
      "candidate": "Second-moment loss accounting",
      "baseline": "mean-only correction",
      "benefit_or_reason_to_retain": "Exact moment form retains current variance under stated assumptions.",
      "loss_failure_or_limit": "Mean-only correction omits variance; true peak/moment bounds and acquisition cost are required.",
      "evidence_scope": "Conditional mathematics and focused software checks",
      "source_ids": "[\"Scbd5d16d459e0bc8\"]",
      "interpretation_note": "",
      "numeric_facts": "{}"
    },
    {
      "id": "T040",
      "area": "Power and storage",
      "candidate": "Capacity/energy ceilings",
      "baseline": "unqualified runtime claim",
      "benefit_or_reason_to_retain": "Exact requirement sensitivities define feasible ceilings under assumed battery/storage fractions.",
      "loss_failure_or_limit": "Whole-board power, loaded pack voltage and efficiency bounds are null; runtime advantage unestablished.",
      "evidence_scope": "Requirements and sensitivity, explicitly not a load estimate",
      "source_ids": "[\"Sb958aba8e7bb12fe\"]",
      "interpretation_note": "",
      "numeric_facts": "{}"
    },
    {
      "id": "T046",
      "area": "Satellite / Volterra",
      "candidate": "State-conditioned Volterra with MP/GMP reductions",
      "baseline": "Named task-equivalent implementation to be frozen",
      "benefit_or_reason_to_retain": "Voltage/state-aware compensation can trade some analog power conditioning for digital correction in a compatible new design.",
      "loss_failure_or_limit": "Finite-order truncation, memory residual, model drift, state-sensing delay and digital burden; no recovered net physical reduction.",
      "evidence_scope": "Historical equations and substantive reference implementation described in S02.",
      "source_ids": "[\"S02\"]",
      "interpretation_note": "Added portfolio-recovery record, not a new measured gain.",
      "numeric_facts": "{}"
    },
    {
      "id": "T047",
      "area": "Satellite / FPGA",
      "candidate": "v18.7 SPEC-DSP-001 reference RTL",
      "baseline": "Named task-equivalent implementation to be frozen",
      "benefit_or_reason_to_retain": "Four voltage banks, interpolation, odd orders1/3/5/7, delays0..3, adaptation, bypass and interfaces are actual recoverable architecture.",
      "loss_failure_or_limit": "The file called gmp is same-delay MP, not a full cross-delayGMP; original source needs direct verification before reuse.",
      "evidence_scope": "Historical static-source recovery; no new synthesis.",
      "source_ids": "[\"S02\"]",
      "interpretation_note": "Added portfolio-recovery record, not a new measured gain.",
      "numeric_facts": "{}"
    },
    {
      "id": "T053",
      "area": "FPGA / compiler",
      "candidate": "FI-COMPILER target export",
      "baseline": "Named task-equivalent implementation to be frozen",
      "benefit_or_reason_to_retain": "Model/coefficient/target identity and repeatable generated artifacts can reduce engineering labor.",
      "loss_failure_or_limit": "Simulation-to-RTL correspondence unproved; generated output and successful process exit are not equivalent to target correctness.",
      "evidence_scope": "Implemented historical generator workflow, not universal compiler.",
      "source_ids": "[\"S02\", \"S03\"]",
      "interpretation_note": "Added portfolio-recovery record, not a new measured gain.",
      "numeric_facts": "{}"
    },
    {
      "id": "T060",
      "area": "Offline products",
      "candidate": "Versioned model/export/recovery workflow",
      "baseline": "Named task-equivalent implementation to be frozen",
      "benefit_or_reason_to_retain": "Customer characterization, offline operation and deterministic handoff can lower deployment friction.",
      "loss_failure_or_limit": "Licensing/auth/tenant/expiry/update and restore defects create lifecycle risk; workflow itself not a physical gain.",
      "evidence_scope": "Historical implemented software structures with defects.",
      "source_ids": "[\"S02\"]",
      "interpretation_note": "Added portfolio-recovery record, not a new measured gain.",
      "numeric_facts": "{}"
    }
  ],
  "amplifier_forward_model": {
    "status": "EXECUTED_SYNTHETIC_FORWARD_MODEL",
    "train_samples": 6000,
    "test_samples_per_regime": 3000,
    "plant": "Known generated low-order memory polynomial with low-pass state history",
    "same_physical_plant": false,
    "independent_physical_validation": false,
    "coefficient_memory_filter": 0.97,
    "training_seed": 101,
    "heldout_seeds": [
      201,
      202,
      203
    ],
    "results": [
      {
        "regime": "slow_state",
        "method": "voltage_blind_MP",
        "test_samples": 3000,
        "mse": 0.010260454806333483,
        "rmse": 0.10129390310543612,
        "reduction_vs_blind_pct": 0.0,
        "feature_count": 4
      },
      {
        "regime": "slow_state",
        "method": "instantaneous_state_MP",
        "test_samples": 3000,
        "mse": 0.0002105983936071267,
        "rmse": 0.01451200860002249,
        "reduction_vs_blind_pct": 97.94747506243944,
        "feature_count": 8
      },
      {
        "regime": "slow_state",
        "method": "state_history_MP",
        "test_samples": 3000,
        "mse": 1.0228819765334648e-08,
        "rmse": 0.00010113762784114846,
        "reduction_vs_blind_pct": 99.99990030832008,
        "feature_count": 12
      },
      {
        "regime": "fast_state",
        "method": "voltage_blind_MP",
        "test_samples": 3000,
        "mse": 7.490380139364392e-05,
        "rmse": 0.008654698226607553,
        "reduction_vs_blind_pct": 0.0,
        "feature_count": 4
      },
      {
        "regime": "fast_state",
        "method": "instantaneous_state_MP",
        "test_samples": 3000,
        "mse": 0.008492899355176983,
        "rmse": 0.09215692787401815,
        "reduction_vs_blind_pct": -11238.40899548479,
        "feature_count": 8
      },
      {
        "regime": "fast_state",
        "method": "state_history_MP",
        "test_samples": 3000,
        "mse": 1.0768842668291101e-08,
        "rmse": 0.00010377303439859076,
        "reduction_vs_blind_pct": 99.98562310260904,
        "feature_count": 12
      },
      {
        "regime": "intermediate_state",
        "method": "voltage_blind_MP",
        "test_samples": 3000,
        "mse": 0.003734356684256653,
        "rmse": 0.0611093829477655,
        "reduction_vs_blind_pct": 0.0,
        "feature_count": 4
      },
      {
        "regime": "intermediate_state",
        "method": "instantaneous_state_MP",
        "test_samples": 3000,
        "mse": 0.005557466541286535,
        "rmse": 0.07454841742979212,
        "reduction_vs_blind_pct": -48.819917623717394,
        "feature_count": 8
      },
      {
        "regime": "intermediate_state",
        "method": "state_history_MP",
        "test_samples": 3000,
        "mse": 9.324986820519393e-09,
        "rmse": 9.656597133835186e-05,
        "reduction_vs_blind_pct": 99.99975029201522,
        "feature_count": 12
      }
    ],
    "limitations": [
      "Forward prediction, not a predistorter/closed-loop controller",
      "Known toy state-memory form is available to history model",
      "No physical PA, sensor, FPGA, energy or domain-specific validation",
      "MSE does not establish spectral compliance, stable inversion or hardware removal"
    ]
  },
  "linked_error_timing": {
    "source_record": "T032",
    "comparator": "SymPy",
    "candidate": "C05",
    "formula": "100 * (1 - 1 / reported_time_ratio)",
    "scope": "T032 reports selected 256-input cases and within-case medians of three invocations. These are summary-reported ratios and their arithmetic consequences, not verified original timings, a new execution or a universal solver comparison.",
    "evidence_class": "Retained T032 summary and arithmetic conditional on its reported ratios",
    "source_attribution": "/evidence/retained-research-summaries-r6-r4.json#/records/3",
    "original_invocation_witness": "unrecovered",
    "reported_input_count": 256,
    "reported_SymPy_over_C05_time_ratios": [
      1.7065,
      39.0642
    ],
    "ratio_derived_time_reduction_percent": [
      41.40052739525344,
      97.44011140635159
    ]
  },
  "shared_history": {
    "source": "Existing FI R8 shared-history review summary, 5 October 2026",
    "records": 4096,
    "removed_traversal_categories": 2,
    "positions_removed": 16777216,
    "scope": "100% removal of two named traversal categories, not all processing or an elapsed-time result."
  },
  "device_code": {
    "source": "Retained FI website controller research summary",
    "scope": "The retained summary reports 45 declared sequences and 45 matching reference outputs. This object does not verify those original executions, bounded controller correctness, all-input correctness, timing, resource use, device power or energy.",
    "source_attribution": "/evidence/retained-research-summaries-r6-r4.json#/records/1",
    "evidence_class": "Summary-reported sequence counts only; original controller execution witness unrecovered",
    "original_execution_witness": "unrecovered",
    "reported_declared_test_sequences": 45,
    "reported_matching_sequences": 45
  }
}