Skip to content

Campaign Promotion Register

Status

Active documentary promotion register.

This register records repository-review and merge conditions for governed campaign artifacts whose integrated files preserve their pre-merge review wording. It changes documentary lifecycle and routing only. It does not strengthen any mathematical claim.

Artifact Campaign Merge evidence Documentary disposition Mathematical boundary
YM-WP00-source-normalization-equivalence-audit YM-001 PR #86; merge commit fa0c933e432ac4726798d70807e2ab4d0e359daa Repository review and merge condition discharged; promoted as the source-normalization and equivalence-control dossier No construction of four-dimensional quantum Yang–Mills theory, mass-gap proof, confinement theorem, or area law
PNP-WP00-source-definition-equivalence-audit PNP-001 PR #88; merge commit 000aada57740f20d6613a2cd6bafc07a56290355 Repository review and merge condition discharged; promoted as the source, machine, encoding, and equivalence-control dossier No proof of P = NP or P != NP, new polynomial-time algorithm, unrestricted lower bound, or barrier theorem
RH-WP00-source-normalization-equivalence-audit RH-001 PR #89; merge commit 27873011c739516ac18134e529a708e6c71bd9e8 Repository review and merge condition discharged; promoted as the source, function, zero, and equivalence-control dossier No proof or disproof of RH, new zero theorem, prime-error theorem, equivalent criterion, Hilbert–Pólya operator, or certified zero range
Artifact Campaign Integration and review evidence Current disposition Mathematical boundary
YM-WP01 YM-001 PR #115; merge 54f233a2c3b0d91451f6900247e941d08eb0779f; Programme policy run 30356885663 succeeded; superseding disposition campaigns/yang_mills/YM_WP01_WP02_POST_MERGE_DISPOSITION.md Promoted as eliminative false-proof infrastructure; native MATHSOLVE restricted-target selection may use it as a firewall Proves no Yang–Mills theorem and opens no terminal claim
YM-WP02 YM-001 Same PR/CI evidence; MATHFORGE source-body audit merge bfe09a5eff15de228a1855a1742bea68ef705a54; source-locator review merge e4c6b668d28afa5f7557e6fddf31eb105a69a4a8; superseding disposition as above Promoted as source-normalized theorem/dependency interface ledger; YM-D001 through YM-D005 remain open research debts No continuum construction, physical mass gap, confinement, complete OS hierarchy, novelty, or priority claim

The current YM research-routing state is machine-readable at campaigns/yang_mills/YM_CURRENT_ROUTING_GATE.json. The July WP01/WP02 gate remains historical freeze-state evidence and is not rewritten in place.

Retained post-merge blockers

Artifact Campaign Integration evidence Current disposition Remaining blockers
RH-WP01 RH-001 PR #90; merge commit 895ce47cbf47fc6715e365d7c31a010fcda425cc; programme-policy run 30156255759 succeeded Implemented, merged, and CI-passed eliminative false-proof atlas; not formally promoted Legacy review retains promotion_recommended: false and a blocking Referee finding; independent source/concordance review and a schema-bound or superseding promotion decision remain required
RH-WP02 RH-001 PR #90; merge commit 895ce47cbf47fc6715e365d7c31a010fcda425cc; programme-policy run 30156255759 succeeded Implemented, merged, and CI-passed source-normalized theorem and barrier ledger; not formally promoted Legacy review retains promotion_recommended: false and a blocking Referee finding; independent source-locator review and a schema-bound or superseding promotion decision remain required

The governing RH record is campaigns/riemann_hypothesis/RH_WP01_WP02_POST_MERGE_DISPOSITION.md.

Interpretation rule

Integrated files remain authoritative for their source locks, definitions, equivalence boundaries, exclusion ledgers, false-proof seeds, and freeze-state gates. Phrases such as promotion eligible, repository review required, or unchecked merge boxes record state at artifact freeze and are not silently edited after merge.

Repository merge and successful CI establish integration and replay facts. They do not by themselves override an explicit blocking review or promote a mathematical result. A later superseding disposition may change documentary lifecycle or research routing only when its own evidence and review obligations are satisfied.

Governing references

  • ADR-0009
  • ADR-0010
  • DOMAIN_REGISTRY.yaml
  • docs/domains/yang_mills.md
  • docs/domains/p_vs_np.md
  • docs/domains/riemann_hypothesis.md

Maintenance rule

Add an entry when a governed campaign artifact preserves a pre-merge status snapshot but later repository action changes its documentary disposition. Do not use this register for theorem promotion, certification claims, novelty, or unreviewed branch state.