Promote exact constant-mass one-loop regulator claims

campaigns/P230-exact-mass-regulator-rung/adjudication.yaml

@@ -0,0 +1,58 @@
+campaign: P230
+title: Exact constant-mass one-loop regulator coefficient promotion
+base_release: v0.160.0
+accepted_release: v0.161.0
+base_commit: 0beaac3
+adjudicated_at: '2026-08-18T11:49:56+02:00'
+selected_candidates:
+  - {id: A, reason: Sharp_tail_integrals_are_exact_positive_and_keep_the_cutoff_explicit.}
+  - {id: B, reason: Smooth_weight_integrals_form_an_exact_convergent_Bessel_family.}
+  - {id: C, reason: Declared_power_subtraction_exposes_the_exact_scale_dependent_finite_part.}
+selection: parallel_conditional_families_not_physical_regulator_choice
+claims:
+  - {id: C-IGR-001, decision: accepted, verification: symbolic_verified, review: accepted, compatibility: compatible_extension, epistemic: active}
+  - {id: C-IGR-002, decision: accepted, verification: symbolic_verified, review: accepted, compatibility: compatible_extension, epistemic: active}
+  - {id: C-IGR-003, decision: accepted, verification: symbolic_verified, review: accepted, compatibility: compatible_extension, epistemic: active}
+accepted_composition:
+  - {id: C-GRV-001, decision: unchanged_dimensional_and_independent_additive_baseline_ledger}
+unpromoted_surfaces:
+  - {id: varying_mass_background, reason: Factorization_requires_spacetime_constant_m_squared.}
+  - {id: full_nonlocal_determinant, reason: P230_proves_only_the_displayed_local_coefficient_families.}
+  - {id: physical_regulator_or_renormalization_condition, reason: All_three_declared_schemes_remain_unselected.}
+  - {id: total_Newton_constant, reason: C-GRV-001_retains_an_independent_additive_baseline.}
+  - {id: attractive_gravity_or_sourced_geometry, reason: No_field_equation_solution_or_total_sign_is_derived.}
+  - {id: higher_curvature_sector, reason: Tau_minus_one_and_nonlocal_terms_are_outside_P230.}
+evidence:
+  proposal: proposal.yaml
+  formula_freeze: evidence/formula-freeze.yaml
+  literature_audit: evidence/literature-audit.yaml
+  candidate_comparison: evidence/candidate-comparison.yaml
+  dependency_audit: evidence/dependency-audit.yaml
+  consumer_audit: evidence/consumer-audit.yaml
+  nonduplication_audit: evidence/nonduplication-audit.yaml
+  primary_provenance: evidence/primary-provenance.yaml
+  primary_verifier: verify.py
+  independent_rederivation: reviews/independent_exact_mass_review.py
+  claim_reviews:
+    - reviews/C-IGR-001-claim-review.md
+    - reviews/C-IGR-002-claim-review.md
+    - reviews/C-IGR-003-claim-review.md
+  impact_analysis: reviews/impact_analysis.md
+  final_attempt: attempts/0003/result.yaml
+validation_commands:
+  - PYTHONPATH_src_python_campaign_verify
+  - PYTHONPATH_src_python_independent_exact_mass_review
+  - pytest_scalar_one_loop_mass_and_affected_consumers
+  - scripts_validate_sh_full_once_at_final_boundary
+  - git_diff_check_separately
+integrated_gate:
+  status: passed
+  repository_workflow: ALL_REPOSITORY_WORKFLOW_CHECKS_PASS
+  full_pytest: 2263_passed_in_288_80_seconds
+  primary_verifier: ALL_27_CHECKS_PASS
+  independent_rederivation: ALL_21_CHECKS_PASS
+  targeted_affected_tests: 42_passed
+  final_record_validation: passed
+  git_diff_check: passed
+debt: []
+status: accepted

campaigns/P230-exact-mass-regulator-rung/attempts/0001/result.yaml

@@ -0,0 +1,12 @@
+id: attempt-0001
+campaign: P230
+source_pr: 77
+reviewed_head: 04f26f2
+verdict: rejected_implementation_boundary
+reusable_atoms: [sharp_integrals, smooth_integrals, power_subtracted_integrals, scheme_ledger]
+failures:
+  - mass_resummed_I3_was_double_counted_with_unresummed_m2_I2
+  - reported_sign_ignored_power_subtracted_integral_sign
+  - landed_unpromoted_dependencies_were_called_accepted
+evidence: https://github.com/vantasnerdan/substrate-framework/pull/77#pullrequestreview-4957950666
+next_route: repair_formula_sign_and_authority_boundaries

campaigns/P230-exact-mass-regulator-rung/attempts/0002/result.yaml

@@ -0,0 +1,15 @@
+id: attempt-0002
+campaign: P230
+source_prs: [77, 82]
+source_heads: [a8a47f8, d415caf]
+verdict: artifact_correct_claim_promotion_incomplete
+repairs:
+  - mass_resummed_vacuum_uses_I3_only
+  - dI3_dm2_equals_minus_I2_added
+  - curvature_weight_sign_separated_from_full_value_sign
+  - focused_PR82_removed_false_accepted_language_from_code
+remaining_gaps:
+  - proposal_still_lacked_exact_promotable_claim_statements
+  - arbitrary_background_language_exceeded_constant_mass_factorization
+  - no_independent_rederivation_campaign_reviews_registry_release_docs_or_accepted_memory
+next_route: constant_mass_claim_promotion_transaction

campaigns/P230-exact-mass-regulator-rung/attempts/0003/result.yaml

@@ -0,0 +1,23 @@
+id: attempt-0003
+campaign: P230
+branch: research/p230-exact-mass-promotion
+status: complete
+verdict: three_exact_constant_mass_claims_ready_for_promotion
+repairs:
+  - exact_claims_narrowed_to_constant_nonnegative_mass
+  - positive_self_adjoint_and_IR_reference_assumptions_declared
+  - local_coefficient_ceiling_separated_from_full_nonlocal_determinant
+  - inverse_Newton_factor_rederived_without_unpromoted_scientific_API
+  - direct_substitution_at_m2_zero_replaced_by_one_sided_limit_oracle
+evidence:
+  primary_verifier: ALL_27_CHECKS_PASS
+  independent_rederivation: ALL_21_CHECKS_PASS
+  targeted_tests: 42_passed
+  package_import: pass
+  legacy_numpy_preflight: clean
+  gitnexus_impact: low_zero_affected_execution_flows
+  full_repository_validation: 2263_passed_in_288_80_seconds
+  final_record_validation: pass
+  git_diff_check: pass
+integrated_gate: pass
+debt: []

campaigns/P230-exact-mass-regulator-rung/evidence/candidate-comparison.yaml

@@ -0,0 +1,26 @@
+campaign: P230
+criteria_frozen_before_empirical_comparators:
+  - defining_integral_or_subtraction_correctness
+  - constant_mass_and_convention_consistency
+  - exact_dimensions_limits_and_derivative_identity
+  - independent_rederivation
+  - mutation_sensitivity
+  - assumption_and_parameter_economy
+  - importable_consumer_and_governance_closure
+candidates:
+  A:
+    decision: retain_as_C-IGR-001
+    strengths: [literal_positive_tail_integral, exact_E1_form, sharp_cutoff_compatibility]
+    premises: [positive_cutoff]
+  B:
+    decision: retain_as_C-IGR-002
+    strengths: [convergent_smooth_weight, exact_Bessel_family, no_hard_step]
+    premises: [positive_cutoff, declared_smooth_weight]
+  C:
+    decision: retain_as_C-IGR-003
+    strengths: [explicit_power_subtraction, exact_scale_dependence, no_power_term]
+    premises: [positive_subtraction_scale, declared_finite_part]
+selection: parallel_exposure_not_physical_regulator_choice
+exact_scheme_falsifier:
+  massless_I3_at_unit_cutoff: {sharp: 1/2, smooth: 1, power_subtracted: 0}
+comparator_gate: closed_no_empirical_comparator_used

campaigns/P230-exact-mass-regulator-rung/evidence/consumer-audit.yaml

@@ -0,0 +1,37 @@
+campaign: P230
+direct_consumers:
+  - src/substrate_framework/__init__.py
+  - tests/test_scalar_one_loop_mass.py
+  - campaigns/P230-exact-mass-regulator-rung/verify.py
+indirect_consumers:
+  - docs/generated/claim-index.md
+  - memory/framework/claims/C-IGR-001.md
+  - memory/framework/claims/C-IGR-002.md
+  - memory/framework/claims/C-IGR-003.md
+  - memory/framework/releases/v0.161.0.md
+existing_runtime_callers_outside_module: []
+gitnexus_final_impact:
+  risk: low
+  affected_execution_flows: 0
+  direct_internal_callers:
+    curvature_proper_time_integral: [exact_mass_vacuum_density_shift]
+    vacuum_proper_time_integral: [exact_mass_vacuum_density_shift]
+  upstream_runtime_callers:
+    exact_mass_inverse_newton_shift: []
+    exact_mass_vacuum_density_shift: []
+    regulator_scheme_ledger: []
+  note: >-
+    detect-changes reported seven indexed files and one false-positive AGENTS
+    instruction symbol caused by GitNexus injection; source git diff confirmed
+    AGENTS unchanged after the injected block was removed. Governance files
+    exceed the graph size cap and are covered by repository validation.
+replay:
+  targeted_tests: 42_passed
+  campaign_verifier: pass_27
+  independent_rederivation: pass_21
+  package_import: pass
+  governance_and_generated_consumers: pass
+  full_repository_validation: 2263_passed_in_288_80_seconds
+  final_record_validation: pass
+  git_diff_check: pass
+debt: []

campaigns/P230-exact-mass-regulator-rung/evidence/dependency-audit.yaml

@@ -0,0 +1,19 @@
+campaign: P230
+accepted_dependencies:
+  C-GRV-001:
+    reused: conditional_additive_inverse_coupling_and_independent_baseline_ledger
+    not_reused: [field_spectrum, regulator, cutoff_ontology, coefficient, total_G]
+approved_nonclaim_imports:
+  - positive_self_adjoint_boundaryless_D_E_with_constant_nonnegative_mass
+  - declared_real_scalar_determinant_heat_kernel_and_EH_matching_conventions
+  - exact_special_function_identities_and_cutoff_finite_part_definition
+implementation_only_inputs:
+  scalar_induced_newton:
+    reused: SHARP_PROPER_TIME_REGULATOR_string_tag
+    scientific_outputs_imported: []
+  covariant_sine_gordon_action:
+    reused: []
+    optional_composition: constant_vacuum_V_double_prime_only
+dependency_closure: pass
+hidden_parameters: []
+debt: []

campaigns/P230-exact-mass-regulator-rung/evidence/formula-freeze.yaml

@@ -0,0 +1,50 @@
+campaign: P230
+scope: exact_constant_mass_local_one_loop_coefficient_families
+domains:
+  cutoff: positive_exact
+  subtraction_scale: positive_exact
+  mass_squared: nonnegative_spacetime_constant_exact
+  field_count: positive_integer
+  non_minimal_coupling: exact_real_with_decidable_relation_to_one_sixth
+operator_contract:
+  dimension: 4
+  signature: Euclidean
+  type: positive_self_adjoint_boundaryless_real_scalar_Laplace_type
+  expression: D_E=-nabla_E^2+xi*R_E+m^2
+  infrared_contract: adequate_convergence_or_declared_reference_subtraction
+  claim_ceiling: local_heat_kernel_coefficient_families_not_full_nonlocal_determinant
+conventions:
+  effective_action: Gamma_E=(1/2)*ln(det(D_E))
+  proper_time_sign: ln(lambda)=-integral_0^infinity exp(-tau*lambda)*d_tau/tau_up_to_input_independent_constant
+  heat_kernel_prefactor: (4*pi)^-2
+  curvature_weight: 1/6-xi
+  determinant_weight: 1/2
+  inverse_newton_matching_factor: 16*pi
+  per_field_inverse_newton_factor: (1-6*xi)/(12*pi)
+families:
+  C-IGR-001:
+    regulator: sharp_lower_cutoff_tau0=Lambda^-2
+    I2: Lambda^2*(exp(-z)-z*E1(z))
+    I3: Lambda^4*exp(-z)/2-m^2*I2/2
+  C-IGR-002:
+    regulator: smooth_weight_exp(-1/(Lambda^2*tau))
+    I2: 2*Lambda^2*sqrt(z)*K1(2*sqrt(z))
+    I3: 2*Lambda^4*z*K2(2*sqrt(z))
+  C-IGR-003:
+    regulator: declared_power_subtracted_cutoff_finite_part_at_mu
+    I2: m^2*(log(m^2/mu^2)+EulerGamma-1)
+    I3: -(m^4/2)*(log(m^2/mu^2)+EulerGamma-3/2)
+common_identities:
+  - dI3/d(m^2)=-I2
+  - Delta(1/G)=N*((1-6*xi)/(12*pi))*I2
+  - Delta(rho)=-(N/2)*(4*pi)^-2*I3
+  - 1/G_total=B+Delta(1/G)_with_B_independent
+exclusions:
+  - varying_V_double_prime_background_factorization
+  - full_determinant_or_nonlocal_action
+  - regulator_or_subtraction_condition_selection
+  - cutoff_to_substrate_scale_identification
+  - additive_baseline_selection
+  - total_Newton_constant_or_attractive_gravity
+  - tau_minus_one_higher_curvature_sector
+  - empirical_gravity_comparator

campaigns/P230-exact-mass-regulator-rung/evidence/literature-audit.yaml

@@ -0,0 +1,33 @@
+campaign: P230
+primary_sources:
+  - citation: D.V. Vassilevich, Heat kernel expansion user's manual, arXiv:hep-th/0306138v3
+    url: https://arxiv.org/abs/hep-th/0306138
+    checked_equations: [1.16, 1.17, 1.18, 1.20, 2.2, 4.26, 4.27]
+    imported_scope:
+      - real_scalar_one_loop_determinant_weight
+      - proper_time_sign_and_cutoff_representation
+      - Laplace_type_operator_convention
+      - boundaryless_a0_and_a2_coefficients
+    nonimports:
+      - physical_scalar_identification
+      - regulator_selection
+      - full_determinant_from_a_finite_heat_kernel_truncation
+  - citation: M. Visser, Sakharov's induced gravity a modern perspective, arXiv:gr-qc/0204062v1
+    url: https://arxiv.org/abs/gr-qc/0204062
+    checked_equations: [7, 8, 9, 11, 13, 14, 15]
+    imported_scope:
+      - cutoff_effective_action_organization
+      - curvature_vacuum_and_higher_curvature_sector_separation
+      - independent_cosmological_and_higher_curvature_obligations
+    nonimports:
+      - zero_tree_level_gravity
+      - Planck_cutoff_identification
+      - physical_spectrum
+      - ignored_cosmological_or_higher_curvature_terms
+source_consistency:
+  result: pass
+  note: >-
+    Vassilevich uses D=-(nabla^2+E), so D=-nabla^2+xi*R+m^2
+    corresponds to E=-xi*R-m^2 and a2 density E+R/6=(1/6-xi)R-m^2.
+    P230 instead factors constant exp(-tau*m^2), leaving curvature weight
+    (1/6-xi)R and the exact derivative bridge to the unresummed mass term.

campaigns/P230-exact-mass-regulator-rung/evidence/nonduplication-audit.yaml

@@ -0,0 +1,16 @@
+campaign: P230
+identifier_search:
+  family: C-IGR-001_through_C-IGR-003
+  prior_accepted_or_rejected_uses: 0
+nearest_claims:
+  C-GRV-001: dimensional_and_additive_baseline_ledger_only
+  C-VAC-002: conditional_Dirac_gauge_polarization_not_scalar_gravity_coefficients
+  C-VAC-003: conditional_complex_scalar_gauge_polarization_not_curved_scalar_heat_kernel
+nearest_modules:
+  scalar_induced_newton: leading_massless_sharp_asymptotic_only_and_unpromoted
+  covariant_sine_gordon_action: action_and_fluctuation_slot_only_and_unpromoted
+novel_surface: >-
+  P230 is the first accepted candidate to expose exact constant-mass I2/I3
+  families for sharp, smooth, and declared power-subtracted prescriptions,
+  their mass-resummed vacuum composition, and their exact scheme ceiling.
+result: nonduplicate_narrow_conditional_extension

campaigns/P230-exact-mass-regulator-rung/evidence/primary-provenance.yaml

@@ -0,0 +1,19 @@
+campaign: P230
+canonical_issue: 76
+source_prs: [77, 82]
+promotion_branch: research/p230-exact-mass-promotion
+base_commit: 0beaac3
+implementation_source_commit: d415caf
+implementation_cherry_pick: a309008
+reviewed_failure_commit: 04f26f2
+repaired_source_commit: a8a47f8
+formula_freeze: evidence/formula-freeze.yaml
+proposal: proposal.yaml
+primary_verifier: verify.py
+independent_rederivation: reviews/independent_exact_mass_review.py
+claim_ids: [C-IGR-001, C-IGR-002, C-IGR-003]
+authorship:
+  original_implementation: prime-agent
+  promotion_scope_and_oracles: root-agent
+  distinct_merger: pending_handoff
+non_self_merge: enforced

campaigns/P230-exact-mass-regulator-rung/proposal.yaml

@@ -0,0 +1,78 @@
+id: P230
+base_release: v0.160.0
+source_baseline: substrate-framework@0beaac3
+question: >-
+  For a declared positive self-adjoint boundaryless four-dimensional
+  Euclidean real-scalar Laplace-type operator
+  D_E=-nabla_E^2+xi*R_E+m^2 with constant
+  nonnegative m^2, what are the exact tau^-2 curvature-class and tau^-3
+  vacuum-class one-loop proper-time coefficients under three preregistered
+  regulator prescriptions, and what conditional additive inverse-Newton and
+  vacuum shifts follow in the declared determinant and Einstein-Hilbert
+  conventions?
+source_inventory:
+  - source: accepted C-GRV-001
+    access: governance/claims.yaml and campaigns/P074-as3-induced-gravity-scaling
+    extracted: conditional additive inverse-coupling ledger, independent baseline, and the explicit ceiling that field content, coefficient, regulator, and cutoff identification remain premises
+  - source: landed conditional module src/substrate_framework/scalar_induced_newton.py
+    access: repository source at 0beaac3; PR #14 promoted no claims
+    extracted: reusable regulator tag and convention ledger only; all load-bearing coefficients are independently rederived for P230
+  - source: landed conditional module src/substrate_framework/covariant_sine_gordon_action.py
+    access: repository source at 0beaac3; PR #25 promoted no claims
+    extracted: optional constant-vacuum composition V''(0)=m^2 only; no arbitrary-background mass factorization is imported
+  - source: Vassilevich arXiv:hep-th/0306138v3 equations 1.16-1.20, 2.2, and 4.27
+    access: public primary source, independently checked
+    extracted: real-scalar determinant weight, proper-time sign, Laplace-type convention, and boundaryless a0/a2 heat-kernel coefficients
+  - source: Visser arXiv:gr-qc/0204062v1 equations 7-15
+    access: public primary source, independently checked
+    extracted: cutoff effective-action organization, curvature and vacuum classes, and the need to retain cosmological and higher-curvature sectors
+invariants:
+  - the determinant reading assumes a positive self-adjoint operator and the required infrared convergence or reference subtraction; only the displayed local coefficient families are claimed, not the full nonlocal determinant
+  - m^2 is a spacetime-constant nonnegative exact input; a varying V''(phi_bg(x)) is outside the factorized theorem
+  - the operator, real-scalar determinant weight 1/2, four-dimensional heat-kernel prefactor (4*pi)^-2, and Euclidean Einstein-Hilbert matching convention are declared conditional inputs
+  - mass is retained exactly in exp(-tau*m^2); the unresummed -m^2 coefficient is not added again
+  - regulator, cutoff, subtraction scale, field count, xi, additive baseline, and any physical scale identification remain explicit inputs
+  - no observed G, Planck scale, or empirical gravity comparator enters selection, formulas, tolerances, or tests
+  - accepted C-GRV-001 supplies only dimensional and additive-baseline closure; no landed-but-unpromoted API is treated as scientific authority
+  - accepted claims, releases, and generated docs change only in one reviewed promotion transaction
+allowed_imports:
+  - C-GRV-001
+  - a separately declared positive self-adjoint boundaryless four-dimensional Euclidean real-scalar Laplace-type operator with constant nonnegative mass and adequate infrared/reference treatment
+  - the one-real-scalar determinant, heat-kernel, and Einstein-Hilbert coefficient conventions stated in source_inventory
+  - SymPy exact algebra, expint E1, modified Bessel K, limits, and series
+  - mpmath high-precision adaptive quadrature as independent regression evidence
+  - substrate_framework.exact_symbolic input contracts
+  - the scalar_induced_newton regulator tag and API only as implementation reuse checked against an independent derivation
+candidates:
+  - id: A
+    description: >-
+      Sharp proper-time lower cutoff tau_0=Lambda^-2 with exact mass,
+      I2=Lambda^2*(exp(-z)-z*E1(z)) and its linked I3 tail integral.
+  - id: B
+    description: >-
+      Smooth essential-singularity weight exp(-1/(Lambda^2*tau)) with exact
+      mass, giving the convergent modified-Bessel integral family.
+  - id: C
+    description: >-
+      Power-divergence-subtracted cutoff finite parts with declared scale mu,
+      preserving the logarithmic I2/I3 family and its scale dependence.
+selection_criteria:
+  - exact agreement with the defining integrals or declared subtraction limits
+  - constant-mass and convention consistency without hidden background dependence
+  - dimensional consistency and exact massless, large-mass, and derivative limits
+  - independent rederivation without importing scalar_one_loop_mass
+  - sensitivity to prefactor, sign, special-function order or branch, double counting, and scale mutations
+  - explicit regulator and baseline provenance with no physical selection by numerical closeness
+  - importable API reuse and complete consumer/governance replay
+claims_proposed:
+  - C-IGR-001
+  - C-IGR-002
+  - C-IGR-003
+comparators_blinded_until: >-
+  No empirical gravitational comparator belongs to P230. Existing PR #77 and
+  #82 text exposed internal exact values such as z=1 scheme ratios before this
+  promotion review; those are formula evaluations, not empirical comparators,
+  and they do not select a regulator or tolerance. Physical comparators remain
+  closed until a later renormalization-condition proposal freezes regulator,
+  scale, cutoff identification, baseline, and field content.
+status: accepted