{
  "schema": "tnfr.local-capacity-history-protocol.v1",
  "status_at_creation": "not_evaluated",
  "question": "Does one actual local VAL supply an associated genuine numerical history with certified accuracy and unchanged strict THOL endpoint and grammar admission?",
  "scope": "One fixed declared represented preparation; no parameter search, old producer replay, THOL proposal, child or UM event",
  "preparation": {
    "owner": "tnfr.research.local_capacity_history.declared_preparation",
    "provenance": "New rounded unsplit algebraic declaration admitted by the direct-output corollary; no assertion of exact original producer ancestry",
    "node_order": [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19],
    "form_origin": "5/16",
    "phase_origin": "0",
    "boost_and_phase_push": "1/1024",
    "seed": 17,
    "target": 2,
    "source_record": "source.json",
    "original_archive_retained": "docs/assets/collective_pressure_handoff/source.zip",
    "admission": "Actual support and weights, complete primitive coordinate deviations, own storage excess and identity radius; exact represented state defines the continued mathematical initial condition"
  },
  "law": {
    "name": "conservative_sine_support_exchange",
    "form_row": "xdot_i = nu_i sum_bare sin(theta_j-theta_i)/(pi*d_i)",
    "phase_row": "thetadot_i = nu_i sum_edges W_ij(x_i-x_j)/(pi*d_i)",
    "coefficients": "e=0,w=beta=1",
    "support": "45 held undirected edges and their actual represented conductances; bare degrees",
    "capacity": "Held after local VAL: nu2=128, nu0=nu1=1/2, all other capacities one",
    "phase": "Unwrapped continuous real lifts; no represented 2*pi wrapping",
    "clock": "Original structural time; exact dyadic timestamps",
    "Gamma": "None; live graph admission before and after event and at samples",
    "loss_and_input": "zero"
  },
  "event": {
    "operator": "Expansion",
    "glyph": "VAL",
    "target_order": [2],
    "factor": 128,
    "EDGE_AWARE_ENABLED": false,
    "strict_preconditions": true,
    "grammar_rejection_mode": "raise",
    "threshold_policy": "Unchanged unoverridden VAL and THOL defaults",
    "context": {"initial_epi_nonzero": true, "compatibility_profile": "core"},
    "prospective_word": ["VAL","THOL","SHA"],
    "executed_prefix_only": ["VAL"],
    "event_timestamp": "2030-01-02T03:04:05+00:00",
    "structural_time_after_event": 7
  },
  "numerical_response": {
    "owner": "tnfr.dynamics.integrators.rk4_coupled_step",
    "method": "Classical complete-state RK4; four refreshed full RHS evaluations per step",
    "backend": "Python binary64 scalar arithmetic; math.sin, math.pi, math.fsum; deterministic held edge order",
    "steps": 2,
    "step": "2^-20",
    "sample_times": ["7", "7+2^-20", "7+2^-19"],
    "coordinates": "All twenty signed forms followed by all twenty declared phase lifts",
    "clipping": "none during continuous integration",
    "sampling": "Materialized numerical endpoints, recorded in parent epi_time_history; final timestamp explicitly equals graph structural clock",
    "residuals": "Retain every RK4 stage, exact represented quadrature residuals, endpoint rate/pressure defects, storage and two weighted-mean changes"
  },
  "independent_certificate": {
    "owner": "tnfr.research.local_capacity_history_certificate.certify_history",
    "field": "Existing weighted support involution field with identity permutation, all forty coordinates",
    "kernel": "validated_box_taylor_step",
    "order": 4,
    "endpoints": "Two independent direct-from-source enclosures at durations 2^-20 and 2^-19",
    "arithmetic": "Outward dyadic128 rational intervals, Machin pi and certified trigonometric jets",
    "whole_time_domain": "Strict Picard inclusion and complete smooth field; no old capacity<=1 metric bound",
    "source_representation": "No uncertainty relative to the declared exact represented source; separately bound deviation from ideal nominal",
    "parent_endpoint_error_budget": "2^-52 at each of three times",
    "pressure_materialization_budget": "2^-46 at each numerical sample",
    "reader_arithmetic_budget": "2^-13",
    "timestamp_jitter": "zero",
    "true_whole_window_acceleration_lower": "1/8",
    "sample_error": "Shared sample-jet endpoint component from independently bounded parent errors; no duplicate instantaneous-derivative truncation allowance",
    "no_adaptation": "Do not change source, target, capacity, times, order, step count or error budget after response evaluation"
  },
  "prospective_success": [
    "Admit represented source by the existing theorem's complete direct-output premises",
    "Execute only strict local VAL and preserve all excluded primary coordinates",
    "All three parent EPI errors no greater than 2^-52",
    "Certified represented acceleration lower bound exceeds unchanged 0.1 threshold",
    "Actual associated history reader also reports acceleration above 0.1",
    "Fresh positive parent pressure, strict scalar/history gate and independent live grammar pass",
    "Node2 actual VAL history and U2 debt remain; endpoint checks are read-only; no child or support change"
  ],
  "failure_policy": "Retain the first attempt and diagnostic; failed sufficient numerical bounds do not disprove the conditional access theorem. No unrecorded rerun or replacement of a frozen result.",
  "maximum_reserved_evaluations": 1
}