{
  "version": "cinema_v7",
  "program_sha256": "95e8cf8eb0b33c5d65e244195021b71977cca1a91836ef0d314964a8e2f97c43",
  "seal_sha256": "3b8e3d42dc170f68215eaa73eb3f44fe4c4cf6f783b2cb72cc30f66eb161140b",
  "anchors": [
    {
      "name": "leak = sin^2(theta_M) = beta",
      "json_path": "core.fractal_dephasing.leak_sin2_thetaM",
      "json_value": 0.012031300400803142,
      "live_value": 0.012031300400803142,
      "residual": 0.0,
      "tol": 1e-15,
      "ok": true
    },
    {
      "name": "tau_reflected",
      "json_path": "core.smatrix_closure.tau_reflected",
      "json_value": 0.012031300400803142,
      "live_value": 0.012031300400803142,
      "residual": 0.0,
      "tol": 1e-15,
      "ok": true
    },
    {
      "name": "tr(S)/2 = sqrt(1-beta)",
      "json_path": "core.smatrix_closure.tr_norm_eq_sqrt_1_minus_beta",
      "json_value": 0.9939661461031744,
      "live_value": 0.9939661461031744,
      "residual": 0.0,
      "tol": 1e-15,
      "ok": true
    },
    {
      "name": "r_UtI",
      "json_path": "core.smatrix_closure.r_UtI",
      "json_value": 3.3314928097010696e-16,
      "live_value": 3.3314928097010696e-16,
      "residual": 0.0,
      "tol": 1e-12,
      "ok": true
    },
    {
      "name": "wigner_rotation_norm",
      "json_path": "core.solder_4d.wigner_rotation_norm",
      "json_value": 0.17689325306381226,
      "live_value": 0.17689325306381226,
      "residual": 0.0,
      "tol": 1e-12,
      "ok": true
    },
    {
      "name": "hminus_gap_second_eig",
      "json_path": "core.local_breuer_gap.hminus_gap_second_eig",
      "json_value": 0.25614175151698093,
      "live_value": 0.25614175151698093,
      "residual": 0.0,
      "tol": 1e-09,
      "ok": true
    },
    {
      "name": "zero_mode_weight_quadrature",
      "json_path": "core.local_breuer_gap.zero_mode_weight_quadrature",
      "json_value": 0.9999999958768198,
      "live_value": 0.9999999958768198,
      "residual": 0.0,
      "tol": 1e-12,
      "ok": true
    },
    {
      "name": "zero_mode_overlap_sech",
      "json_path": "core.local_breuer_gap.zero_mode_overlap_sech",
      "json_value": 0.9999999998800744,
      "live_value": 0.9999999998800744,
      "residual": 0.0,
      "tol": 1e-09,
      "ok": true
    },
    {
      "name": "R_recovered",
      "json_path": "core.minimal_solder.R_recovered",
      "json_value": -1.8199999999999998,
      "live_value": -1.8199999999999998,
      "residual": 0.0,
      "tol": 1e-12,
      "ok": true
    },
    {
      "name": "plaquette_order",
      "json_path": "core.minimal_solder.plaquette_order",
      "json_value": 3.0001789830073435,
      "live_value": 3.0001789830073435,
      "residual": 0.0,
      "tol": 1e-06,
      "ok": true
    },
    {
      "name": "schwarzschild residual_Et",
      "json_path": "core.schwarzschild_step.residual_Et",
      "json_value": 8.878293655811831e-10,
      "live_value": 8.878293655811831e-10,
      "residual": 0.0,
      "tol": 1e-12,
      "ok": true
    },
    {
      "name": "schwarzschild residual_Er",
      "json_path": "core.schwarzschild_step.residual_Er",
      "json_value": 1.108340752509207e-09,
      "live_value": 1.108340752509207e-09,
      "residual": 0.0,
      "tol": 1e-12,
      "ok": true
    },
    {
      "name": "helicity_plus residual",
      "json_path": "core.graviton_polarization.residuals.helicity_plus",
      "json_value": 6.938893903907228e-17,
      "live_value": 6.938893903907228e-17,
      "residual": 0.0,
      "tol": 1e-15,
      "ok": true
    },
    {
      "name": "boundary_deviation_norm_sq",
      "json_path": "core.graviton_polarization.values.boundary_deviation_norm_sq",
      "json_value": 0.012067707793651381,
      "live_value": 0.012067707793651381,
      "residual": 0.0,
      "tol": 1e-12,
      "ok": true
    },
    {
      "name": "identity: member_true_max_residual",
      "json_path": "core.the_TGL_identity_equation.member_true_max_residual",
      "json_value": 0.0,
      "live_value": 0.0,
      "residual": 0.0,
      "tol": 1e-15,
      "ok": true
    },
    {
      "name": "identity: member_false_min_residual",
      "json_path": "core.the_TGL_identity_equation.member_false_min_residual",
      "json_value": 0.000614507972007905,
      "live_value": 0.000614507972007905,
      "residual": 0.0,
      "tol": 1e-15,
      "ok": true
    },
    {
      "name": "beta runtime (graviton_polarization.values.beta_runtime)",
      "json_path": "core.graviton_polarization.values.beta_runtime",
      "json_value": 0.012031300400803142,
      "live_value": 0.012031300400803142,
      "residual": 0.0,
      "tol": 1e-17,
      "ok": true
    },
    {
      "name": "theta_M rad",
      "json_path": "core.theta_M_rad",
      "json_value": 0.1099084307778447,
      "live_value": 0.10990843077787468,
      "residual": 2.9976021664879227e-14,
      "tol": 1e-12,
      "ok": true
    },
    {
      "name": "light: crossing_resid",
      "json_path": "core.light_is_J.values.crossing_resid",
      "json_value": 0.0,
      "live_value": 0.0,
      "residual": 0.0,
      "tol": 1e-15,
      "ok": true
    },
    {
      "name": "light: inversion_resid",
      "json_path": "core.light_is_J.values.inversion_resid",
      "json_value": 0.0,
      "live_value": 0.0,
      "residual": 0.0,
      "tol": 1e-15,
      "ok": true
    }
  ],
  "anchors_all_ok": true,
  "import": "Cópia isolada; escrita confinada à cópia; fontes canônicas inalteradas.",
  "formal_evidence": "Estado registrado na fonte. A rodada do vídeo verifica 20 âncoras e não recompila o kernel.",
  "narration": {
    "label": "Original narration · v350",
    "theorems_source": "rodada_v350_stdout.txt",
    "sha256": "881ae5695a117b571e86271603312898ad95145dc9464ed00432e85ccfef0686"
  },
  "geometry_statute": "ONTO",
  "environment_statute": "INPUT — apresentação",
  "current_report_entries": 7985,
  "confirmation": "NOT CONFIRMED — nature decides"
}