observer-patch-holography/model/active_code_energy/campaign.json at main · Arithmon/observer-patch-holography · 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
{
  "boundary_status": "FROZEN_DIAGNOSTIC_CONTRACT",
  "campaign_id": "active-code-energy-20261028-v1",
  "integrated_gate_accepted": false,
  "native_family_changed": false,
  "physical_comparison_count_added": 0,
  "predecessor_git_commit": "7ab50c9fa326b86344ba0dda6ca56804eb094fb7",
  "schema": "oph.active_code_energy.campaign.v1",
  "scope": "FINITE_COMPONENT_DIAGNOSTICS",
  "source_sha256": {
    "Lean/Dynamics/WardLimitManifest.lean": "6bae06ce219aa104014a3094298c3f376586cc54d03223b534b94a95565a6b0d",
    "Lean/Geometry/InternalEnergyInertia.lean": "48a468bbb8e397abdf512005a87b923f393bf96cc8535b18b03ed42e98d0eb04",
    "Lean/Geometry/ProperTimeInternalAction.lean": "8933451e0b96b0f1a339ca7912dd7e1c26cde321b5144440ee7127fd95a76307",
    "Lean/Geometry/SourceActionMeasure.lean": "802361b7efc592b84d2df4d00506818a9d9354fd239b94eaf63e26792ea3a73d",
    "Lean/Screen/RegionalContinuity.lean": "fa00c3aed6580174519e1d828ad81572d7ac7b759a3274dbc60e99761d76bd28",
    "Lean/Thermodynamics/GibbsReferenceEnergyIdentification.lean": "646f2b7865b6d14a21a05b08013c35848fd3380d89cfffa2fff6b390786c9a22",
    "model/clock_defect_energy/defect_history.py": "b0976dcd8266e0d3aa85d8d84b41c85e7504192884e01299c6ed23346d2ca4fb",
    "model/clock_defect_energy/mode_energy_results.json": "ec5a23d34e80675daba0c998074a336832db4b361fb801d923e4333328df55f2",
    "model/clock_defect_energy/reference_balance.py": "6695eddff9a93667193c307d80d349c36d685b4dfd717f9191035c989b73940d",
    "model/clock_defect_energy/reference_balance_results.json": "5d32d1949061d6af1a421d94d4c9db075387bb2e14f7f63f35b5ff38656b15e1",
    "model/common_source/encoded_memory.py": "9833f762df6a62be658db182a9a1b3ec61ed28ae462d6e58da5d972371627060",
    "model/common_source/native_routing.py": "bece6c1d39a4cf1a444e8bdc2d24dc42abaa4d16ada8d1174b246c9dd6f10f6a",
    "model/exchange_sector/sector.py": "5f6b51ce146cdb78c61f7836239a36c1de03a486593a24f2d40f8c3bb06898c0",
    "model/exchange_sector/sector_results.json": "28d8ee4328d140684ef6ddf9c328bf2dfca25921d3335ab5aabb0ffac1f28aaf",
    "model/observer/record_recovery.py": "0ad1c23cac53bbcf00c32ada6ce01660466b4e9c71e5e58a0226a0bf5609a193",
    "model/observer/source_discrimination/circuit.py": "327b537d01901c223e375cfff6dce882cb9a73f6a3b36e5019750e801377dd7e",
    "model/particle_screening/README.md": "62f972fd6af38ebac89fe81d2826073ea3169e5c002d1b676acd988962e47b34",
    "model/particle_screening/campaign.json": "1d5eb2ce29c41a80f3e3e6bf90388ba99daff2b537f9267063171afa2d2f6b8d",
    "model/particle_screening/screening.py": "7fda107721574f80f2e048ff441beef2a4c2206a95b6defa04f8dd5004f6690c",
    "model/particle_screening/screening_results.json": "b6f355a2d457f5f6bfb3b3ac3c5c9a60fbd43c5de97c37a4e17fa576d46dfeaf",
    "model/particle_screening/test_screening.py": "6106f4a5ff764d499ad87caab2514cb536653039177f1ac8eaaeda834a223b2b"
  },
  "whole_program_frozen": false
}