| GOV-AGENT-COUNCIL-001 |
governance bundle |
MATH-PROGRAMME |
docs/MATH_PROGRAMME_AGENT_COUNCIL.md |
active |
ADR-0001; ADR-0007; ADR-0008; ADR-0009; ADR-0010; ADR-0011; ADR-0012; ADR-0013; ADR-0014; ADR-0015 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
templates/agent_review.yaml |
2026-07-27 |
reviewed |
| MATH-TAXONOMY-001 |
classification authority bundle |
MATH-PROGRAMME |
CLASSIFICATION_DISCOVERY_STANDARD.md; classification/source_registry.json; classification/mappings/ |
Seven-domain mappings independently reviewed and qualified; receipt-head reapproval and protected admission pending; TIB serialization remains unqualified |
ADR-0020; issues #468 and #469 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
PR #470 review 4916844784 by jimsteeg at 630f103c...; receipt reapproval pending |
2026-08-12 |
pending |
| CMDG-COUNCIL-AUTHORITY-001 |
programme authority bundle |
MATH-PROGRAMME |
governance/cmdg_council_authority_closure_001.json |
Human Steward ratified with Council corrections; protected authority active; C01-C08 remain stage-bounded |
ADR-0017 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
docs/CMDG_COUNCIL_DELIBERATION_001.md; PR #289 comment 5225270603; issue #290 |
2026-08-08 |
reviewed |
| DOCS-PUBLIC-001 |
documentation bundle |
MATH-PROGRAMME |
docs/domains/index.md |
completed; eight-domain public coverage |
ADR-0008; ADR-0009; ADR-0014 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/documentation/MKDOCS-COVERAGE.agent_review.yaml |
2026-07-26 |
reviewed |
| PROMOTION-REGISTER-001 |
documentary promotion register |
MATH-PROGRAMME |
docs/CAMPAIGN_PROMOTION_REGISTER.md |
active; records promoted WP00 entries and retained blockers |
ADR-0009; ADR-0010; ADR-0011 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/documentation/MKDOCS-COVERAGE.agent_review.yaml |
2026-07-26 |
reviewed |
| DOCS-DOCUMENTARY-001 |
documentary library |
MATH-PROGRAMME |
docs/documentaries/ARTIFACT_MANIFEST.json |
eight manifest-discovered browser-native editions; one reference, two full, five orientation; release-class artifacts remain metadata_only |
ADR-0010; ADR-0015 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/documentation/DOCUMENTARY-LIBRARY.agent_review.yaml; reviews/union_closed/UC-DOC-WP01.agent_review.yaml |
2026-07-27 |
reviewed |
| DOCS-PC-WEB-001 |
documentary web edition |
MATH-PROGRAMME |
docs/documentaries/poincare.md |
published reference-tier web edition; derivative of qualified PC-001 archive |
ADR-0006; ADR-0010 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/documentation/DOCUMENTARY-LIBRARY.agent_review.yaml |
2026-07-27 |
reviewed |
| DOCS-MILLENNIUM-WEB-001 |
documentary web-edition collection |
MATH-PROGRAMME |
docs/documentaries/ARTIFACT_MANIFEST.json |
six open-problem web editions: BSD full tier; Hodge, Navier–Stokes, Yang–Mills, P versus NP, and Riemann orientation tier; no solution claim |
ADR-0010 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/documentation/DOCUMENTARY-LIBRARY.agent_review.yaml; PR #99; PR #103 |
2026-07-27 |
reviewed |
| WORKFLOW-COVERAGE-001 |
workflow and publication control |
MATH-PROGRAMME |
docs/WORKFLOW_COVERAGE.md |
active; campaign, CI, repository-test, experiment, formal, external-evidence, exact-artifact, and current-tip publication controls |
ADR-0011; ADR-0012; ADR-0014 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/governance/WORKFLOW-COVERAGE.agent_review.yaml |
2026-07-26 |
reviewed |
| UC-WP01 |
work package |
MATHSOLVE |
WP01_UNION_CLOSED_STATUS_SPINE.md |
completed; WP02/MATHCERT handoff discharged |
ADR-0002; ADR-0007; ADR-0011 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/union_closed/UC-WP01.agent_review.yaml; evidence/UC-WP02-MATHCERT.json |
2026-07-26 |
reviewed |
| UC-DOC-WP00 |
documentary source-lock work package |
MATH-PROGRAMME |
campaigns/union_closed/UC_DOC_WP00_DOCUMENTARY_SOURCE_LOCK/00_README.md |
completed; release-class source locked; full-tier web admission discharged by UC-DOC-WP01; Frankl's conjecture remains open |
ADR-0002; ADR-0010; ADR-0015 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/union_closed/UC-DOC-WP00.agent_review.yaml |
2026-07-27 |
reviewed |
| UC-DOC-WP01 |
documentary web-admission work package |
MATH-PROGRAMME |
campaigns/union_closed/UC_DOC_WP01_WEB_ADMISSION/00_README.md |
completed; full-tier web edition admitted; Frankl's conjecture remains open |
ADR-0002; ADR-0010; ADR-0015 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/union_closed/UC-DOC-WP01.agent_review.yaml |
2026-07-27 |
reviewed |
| CERT-LOG-GCD-001 |
formal certificate fixture |
MATHCERT |
fixtures/formal/LOG-GCD-001/README.md |
certified |
none |
docs/GLOSSARY.md |
fixtures/formal/LOG-GCD-001/agent_review.yaml |
2026-07-23 |
reviewed |
| PUB-LOG-GCD-001 |
public research note |
MATH-PROGRAMME |
docs/LOG_GCD_PUBLICATION.md |
published |
none |
docs/GLOSSARY.md |
fixtures/formal/LOG-GCD-001/agent_review.yaml |
2026-07-23 |
reviewed |
| NS-CI-WP00 |
work package |
MATHSOLVE |
campaigns/navier_stokes_critical_integrability/WP00_FOUNDATION_STATUS/00_README.md |
promoted |
ADR-0003 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/navier_stokes/NS-CI-WP00.agent_review.yaml |
2026-07-23 |
reviewed |
| NS-CI-WP01 |
work package |
MATHFORGE |
campaigns/navier_stokes_critical_integrability/WP01_FALSE_PROOF_ATLAS/00_README.md |
referee_promoted |
ADR-0003 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/navier_stokes/NS-CI-WP01.agent_review.yaml |
2026-07-23 |
reviewed |
| NS-CI-WP02 |
work package |
MATHSOLVE |
campaigns/navier_stokes_critical_integrability/WP02_CONDITIONAL_REGULARITY_LEDGER/00_README.md |
referee_promoted |
ADR-0003 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/navier_stokes/NS-CI-WP02.agent_review.yaml |
2026-07-23 |
reviewed |
| NS-CI-WP04 |
work package |
MATH-PROGRAMME |
campaigns/navier_stokes_critical_integrability/WP04_RESTRICTED_TARGET_SCORECARD/00_README.md |
referee_selected_target |
ADR-0003; WP04/01; WP04/02 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/navier_stokes/NS-CI-WP04.agent_review.yaml |
2026-07-23 |
reviewed |
| NS-CI-R014-A2 |
selected research target |
MATHSOLVE |
campaigns/navier_stokes_critical_integrability/WP04_RESTRICTED_TARGET_SCORECARD/02_REFEREE_SELECTION.md |
selected_unproved |
WP04/02 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/navier_stokes/NS-CI-WP04.agent_review.yaml |
2026-07-23 |
active |
| NS-CI-WP06 |
investigatory work package |
MATH-PROGRAMME |
campaigns/navier_stokes_critical_integrability/WP06_UNDECIDABILITY_REDUCTION_LANE/00_README.md |
active; speculative_non_probative; no next-stage promotion |
ADR-0003; ADR-0013 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/navier_stokes/NS-CI-WP06.agent_review.yaml |
2026-07-26 |
reviewed |
| HC-WP00 |
work package |
MATH-PROGRAMME |
campaigns/hodge_conjecture/WP00_FOUNDATION_STATUS/00_README.md |
promoted |
ADR-0004 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/hodge_conjecture/HC-WP00.agent_review.yaml |
2026-07-24 |
reviewed |
| BSD-WP00 |
work package |
MATHSOLVE |
campaigns/birch_swinnerton_dyer/WP00_FOUNDATION_STATUS/00_README.md |
promoted |
ADR-0005 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/birch_swinnerton_dyer/BSD-WP00.agent_review.yaml |
2026-07-24 |
reviewed |
| BSD-WP01 |
work package |
MATHFORGE |
campaigns/birch_swinnerton_dyer/WP01_FALSE_PROOF_ATLAS/00_README.md |
referee_promoted |
ADR-0005; ADR-0011 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/birch_swinnerton_dyer/BSD-WP01.agent_review.yaml; ci/campaign_replay_registry.json |
2026-07-26 |
reviewed |
| BSD-WP02 |
work package |
MATHSOLVE |
campaigns/birch_swinnerton_dyer/WP02_THEOREM_LEDGER/00_README.md |
referee_promoted |
ADR-0005; ADR-0011 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/birch_swinnerton_dyer/BSD-WP02.agent_review.yaml; ci/campaign_replay_registry.json |
2026-07-26 |
reviewed |
| BSD-WP03 |
work package |
MATH-PROGRAMME |
campaigns/birch_swinnerton_dyer/WP03_COMPUTATIONAL_FORMAL_SUBSTRATE/00_README.md |
referee_promoted |
ADR-0005; ADR-0011 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/birch_swinnerton_dyer/BSD-WP03.agent_review.yaml; ci/campaign_replay_registry.json |
2026-07-26 |
reviewed |
| BSD-WP04 |
work package |
MATH-PROGRAMME |
campaigns/birch_swinnerton_dyer/WP04_RESTRICTED_TARGET_SCORECARD/00_README.md |
referee_selected_target |
ADR-0005; BSD-WP04/03; ADR-0011 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/birch_swinnerton_dyer/BSD-WP04.agent_review.yaml; ci/campaign_replay_registry.json |
2026-07-26 |
reviewed |
| BSD-R2-A1 |
selected research target |
MATHSOLVE |
campaigns/birch_swinnerton_dyer/WP04_RESTRICTED_TARGET_SCORECARD/03_REFEREE_SELECTION.md |
selected_unproved |
BSD-WP04/03 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/birch_swinnerton_dyer/BSD-WP04.agent_review.yaml |
2026-07-24 |
active |
| PC-WP00 |
work package |
MATHSOLVE |
campaigns/poincare_reconstruction/WP00_SOURCE_EQUIVALENCE/00_README.md |
promoted |
ADR-0006 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/poincare/PC-WP00.agent_review.yaml |
2026-07-24 |
reviewed |
| PC-WP01 |
work package |
MATHFORGE |
campaigns/poincare_reconstruction/WP01_FALSE_PROOF_ATLAS/00_README.md |
referee_promoted |
ADR-0006; PC-WP01-WP02-INTEGRATION |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/poincare/PC-WP01.agent_review.yaml |
2026-07-24 |
reviewed |
| PC-WP02 |
work package |
MATHSOLVE |
campaigns/poincare_reconstruction/WP02_HAMILTON_PERELMAN_LEDGER/00_README.md |
referee_promoted_interface_level |
ADR-0006; PC-WP01-WP02-INTEGRATION |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/poincare/PC-WP02.agent_review.yaml |
2026-07-24 |
reviewed |
| PC-WP01-WP02-INTEGRATION |
integration decision |
MATH-PROGRAMME |
campaigns/poincare_reconstruction/PC_WP01_WP02_INTEGRATION_DECISION.md |
referee_promoted_wp03_authorized |
ADR-0006; PC-WP01-WP02-INTEGRATION |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/poincare/PC-WP01_WP02.integration_review.yaml |
2026-07-24 |
reviewed |
| PC-WP03 |
work package |
MATHCERT |
campaigns/poincare_reconstruction/WP03_SURGERY_TOPOLOGY/00_README.md |
referee_promoted_conditional |
ADR-0006; PC-WP03-REFEREE-DECISION; ADR-0011 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/poincare/PC-WP03.agent_review.yaml; ci/campaign_replay_registry.json |
2026-07-26 |
reviewed |
| PC-WP03-REFEREE-DECISION |
promotion decision |
MATH-PROGRAMME |
campaigns/poincare_reconstruction/PC_WP03_REFEREE_DECISION.md |
wp04_authorized |
ADR-0006; PC-WP03-REFEREE-DECISION |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/poincare/PC-WP03.agent_review.yaml |
2026-07-24 |
reviewed |
| PC-WP04 |
formal certificate work package |
MATHCERT |
campaigns/poincare_reconstruction/WP04_BOUNDED_CERTIFICATION/00_README.md |
kernel_checked_bounded_evaluator; global Lean replay required |
ADR-0006; PC-WP04-REFEREE-DECISION; ADR-0011 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/poincare/PC-WP04.agent_review.yaml; ci/campaign_replay_registry.json; .github/workflows/ci.yml |
2026-07-26 |
reviewed |
| PC-WP04-REFEREE-DECISION |
promotion decision |
MATH-PROGRAMME |
campaigns/poincare_reconstruction/PC_WP04_REFEREE_DECISION.md |
wp05_closure_audit_authorized |
ADR-0006; PC-WP04-REFEREE-DECISION |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/poincare/PC-WP04.agent_review.yaml |
2026-07-24 |
reviewed |
| PC-WP05 |
archival closure work package |
MATH-PROGRAMME |
campaigns/poincare_reconstruction/WP05_INTEGRATED_CLOSURE/00_README.md |
referee_promoted_qualified_archive; global archive policy replay required |
ADR-0006; PC-WP05-REFEREE-DECISION; ADR-0011 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/poincare/PC-WP05.agent_review.yaml; ci/campaign_replay_registry.json |
2026-07-26 |
reviewed |
| ARCHIVE-PC-001 |
solved-problem research archive |
MATH-PROGRAMME |
docs/POINCARE_RECONSTRUCTION_ARCHIVE.md |
ready_for_qualified_archival_publication |
ADR-0006; PC-WP05-REFEREE-DECISION; ADR-0011 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/poincare/PC-WP05.agent_review.yaml; ci/campaign_replay_registry.json |
2026-07-26 |
reviewed |
| YM-WP00-source-normalization-equivalence-audit |
work package |
MATHSOLVE |
YM-WP00-source-normalization-equivalence-audit.md |
documentary repository gate discharged; source-normalized non-solution dossier promoted |
ADR-0009 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
embedded role review; docs/CAMPAIGN_PROMOTION_REGISTER.md |
2026-07-25 |
reviewed |
| YM-WP01 |
work package |
MATHFORGE |
campaigns/yang_mills/WP01_FALSE_PROOF_ATLAS/00_README.md |
active candidate; internal review complete; repository review and CI required; downstream gates closed |
ADR-0009 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/yang_mills/YM-WP01.agent_review.yaml; ci/campaign_replay_registry.json |
2026-07-28 |
reviewed |
| YM-WP02 |
work package |
MATHSOLVE |
campaigns/yang_mills/WP02_THEOREM_LEDGER/00_README.md |
active candidate; internal review complete; source-locator review, repository review, and CI required; downstream gates closed |
ADR-0009 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/yang_mills/YM-WP02.agent_review.yaml; ci/campaign_replay_registry.json |
2026-07-28 |
reviewed |
| PNP-WP00-source-definition-equivalence-audit |
work package |
MATHSOLVE |
PNP-WP00-source-definition-equivalence-audit.md |
documentary repository gate discharged; source, machine, encoding, and equivalence dossier promoted |
ADR-0009 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
embedded role review; docs/CAMPAIGN_PROMOTION_REGISTER.md |
2026-07-25 |
reviewed |
| RH-WP00-source-normalization-equivalence-audit |
work package |
MATHSOLVE |
RH-WP00-source-normalization-equivalence-audit.md |
documentary repository gate discharged; source, function, zero, and equivalence dossier promoted |
ADR-0009 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
embedded role review; docs/CAMPAIGN_PROMOTION_REGISTER.md |
2026-07-25 |
reviewed |
| RH-WP01 |
work package |
MATHFORGE |
campaigns/riemann_hypothesis/WP01_FALSE_PROOF_ATLAS/00_README.md |
implemented, merged, and CI-passed; formal promotion withheld under retained blocking review |
ADR-0010; ADR-0011; RH-WP01-WP02-POST-MERGE-DISPOSITION |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/riemann_hypothesis/RH-WP01.agent_review.yaml; campaigns/riemann_hypothesis/RH_WP01_WP02_POST_MERGE_DISPOSITION.md; ci/campaign_replay_registry.json |
2026-07-26 |
blocked |
| RH-WP02 |
work package |
MATHSOLVE |
campaigns/riemann_hypothesis/WP02_THEOREM_LEDGER/00_README.md |
implemented, merged, and CI-passed; formal promotion withheld under retained blocking review |
ADR-0010; ADR-0011; RH-WP01-WP02-POST-MERGE-DISPOSITION |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
reviews/riemann_hypothesis/RH-WP02.agent_review.yaml; campaigns/riemann_hypothesis/RH_WP01_WP02_POST_MERGE_DISPOSITION.md; ci/campaign_replay_registry.json |
2026-07-26 |
blocked |