Agent Council Artifact Ledger
| Artifact ID | Type | Pillar | Authoritative integrated artifact | Status / disposition | Decision records | Terminology registry | Review record | Last integrated | Amanuensis state |
|---|---|---|---|---|---|---|---|---|---|
| OPENMATH-JIMSTEEG-NATIVE-REGISTRATION-001 | contest execution receipt | MATHSOLVE / MATH-PROGRAMME | Solve NATIVE_SUBMISSION_RECEIPT.json; governance/openmath_2026_campaign_state.json; current status page |
five real fixed jobs queued as jimsteeg; zero official scores; actual budget attention boundary retained; financial authorization remains open | Human Steward submit-now instruction and jimsteeg correction, 2026-10-01; MP-STREAMLINED-EXECUTION-001 | docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
AutoLab exact code/job readback in run 36852787271 / job 110338161715; Solve PRs #587–#590; same-system non-authoring read-only factual and editorial consistency audits; protected checks/readback | 2026-10-01 | reviewed; execution remains blocked by the zero-dollar cap |
| OPENMATH-VOLUNTARY-LIFECYCLE-001 | campaign execution and intake | MATH-PROGRAMME | governance/openmath_unattended_lifecycle_controller.json; ci/openmath_lifecycle_controller.py; governance/openmath_2026_campaign_state.json; governance/openmath_2026_lifecycle_reconciliations/; governance/openmath_2026_lifecycle_acceptance/SEVEN_HILL_ACCEPTANCE_20261001.json |
Active; seven peer hills; voluntary participation; automated immutable task publication and protected return processing; GCL worker launch optional; per-dispatch protected receipts own advancement evidence; no mathematical certification or claim promotion | issue #1107; Programme PR #1110; Solve PRs #565, #566, #567 | docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md; LINK_IN_RELAY_OUT and RESULT/1 unchanged |
Programme PR #1110 comment 5921770753; Solve PR #567 role-scoped read-only review; Programme PR #1112; Solve PR #578; controller run 36808897997/job 110199325069; acceptance record logical review provenance; same-system staffing declared |
2026-09-30 | reviewed; all-seven lifecycle acceptance PASS at Programme d7310fbed3be / Solve b364f2f95c08; tracker #1107 |
| 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 |
| MATH-CORE-ARCH-AUTHORITY-001 | programme architecture authority bundle | MATH-PROGRAMME | governance/math_core_01_architecture_authority_closure_001.json; governance/math_core_01_architecture_terminal_seal_001.json |
Human Steward ratified with Council corrections; architecture payload and documentary authority surfaces protected-admitted; fully memorialized canonical programme architecture activates on terminal docket seal; C03-C07 remain stage-bounded capability gates | ADR-0021 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
docs/MATH_CORE_01_COUNCIL_DELIBERATION_001.md; PR #723 review 5073256170; PR #729 review 5073310735; PR #730 reviews 5073792484, 5073798728; issue #721 comment 5487797948 |
2026-09-01 | 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 |
| MP-EXTERNAL-EXECUTION-PLANE-001 | execution-topology control profile | MATH-PROGRAMME | docs/governance/EXTERNAL_EXECUTION_PLANE_PROFILE.md |
active on protected main; topology control only | GCL-CEX-01; MP-STREAMLINED-EXECUTION-001; MATH-PROGRAMME PR #1028 |
docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md |
governance/rebuild_evidence/MP-EXTERNAL-EXECUTION-PLANE-001/closure_contract.json |
2026-09-19 | reviewed |
| OPENMATH-RESEARCH-DIRECTION-001 | research agenda | MATH-PROGRAMME | docs/campaigns/OPENMATH_2026_RESEARCH_AGENDA.md; governance/openmath_2026_campaign_state.json | active research direction; H1 internal finite replay and premise audit prioritized; seven voluntary leases preserved; mathematical and independent Cert obligations remain open | Human Steward instruction 2026-10-01; MP-STREAMLINED-EXECUTION-001 | docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md | agenda provenance; MATHSOLVE PR #582 and exact replay receipt; same-system non-authoring read-only logical audits; protected checks and readback | 2026-10-01 | reviewed |
| OPENMATH-H1-PREMISE-AUDIT-001 | geometric proof candidate and exact regression evidence | MATHSOLVE / MATH-PROGRAMME | MATHSOLVE work_packages/OPENMATH_2026/OM26_H1_KOBON_TRIANGLES/H1_SIX_CORE_PREMISE_PROOF.md; canonical research agenda and campaign state | paper proof supplied; eight six-core exact fixtures pass; independent geometric adjudication and certification remain open; no claim promotion | Human Steward direction 2026-10-01; MP-STREAMLINED-EXECUTION-001 | docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md | MATHSOLVE PR #583; source-pinned manuscript provenance; exact audit receipt; same-system non-authoring read-only logical audits; protected checks/readback | 2026-10-01 | reviewed |
Update rules
- Artifact IDs are never reused.
- The authoritative reference points to the integrated artifact, not a transient draft.
- Superseded references remain recoverable through version control and decision records.
- A ledger entry may not be marked reviewed while review provenance is incomplete.
- A blocking cross-document conflict changes the Amanuensis state to
blocked. - Mathematical promotion is never inferred from ledger status alone.
- Publication status changes visibility and editorial readiness; it does not change claim status.
- Schema-bound lifecycle tokens and campaign-specific dispositions remain distinct.
- Public documentation, workflow, and campaign authority follow ADR-0008 through ADR-0017 and their explicit records.
- Repository merge, tests, and CI success do not override an explicit blocking review.
- Campaign, CI, test, and experiment Python surfaces require governed discovery and execution routes.
- Pages may deploy only the exact policy-produced site artifact for a validated commit that remains current
main. - Exact top-level pins do not assert a complete transitive hash lock.
- Bounded interface fixtures remain software evidence and cannot promote continuum or metamathematical claims.
| OPENMATH-H1-PRISM-OBSTRUCTION-001 | conditional geometric obstruction and exact certificates | MATHSOLVE / MATH-PROGRAMME | MATHSOLVE work_packages/OPENMATH_2026/OM26_H1_KOBON_TRIANGLES/H1_SATURATED_PRISM_OBSTRUCTION.md; canonical agenda and campaign state | sixty prisms excluded conditional on fan/charging premises; four q=6 profiles remain; independent geometric review open; no claim promotion | Human Steward target 2026-10-01; MP-STREAMLINED-EXECUTION-001 | docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md | MATHSOLVE PR #584; predecessor-bound receipt; ten local words and sixty triangle certificates; same-system non-authoring read-only logical audits; protected checks/readback | 2026-10-01 | reviewed |
| OPENMATH-SUBMISSION-ROUTE-RECONCILIATION-20261002 | operational state correction and regression guard | MATH-PROGRAMME | governance/openmath_2026_campaign_state.json native_registration.route_reconciliation; docs/campaigns/OPENMATH_2026_STATUS.md | organizer workspace/checker route remains unlinked; 21:00 Vancouver cutoff; no spending or submission authority inferred | Human Steward remedy request; MP-STREAMLINED-EXECUTION-001 | docs/AGENT_COUNCIL_TERMINOLOGY_REGISTRY.md | protected Solve CONTEST_SUBMISSION.md at 6d4e4a8d64e5f7678149b016379b2812b317b27f; live organizer page/handbook; 23 lifecycle tests and Core Clarity pass; same-system consistency and boundary review | 2026-10-02 | reviewed |