Grand Challenge Labs develops auditable, reproducible programmes. GitHub is our operational and evidentiary substrate; it is not an independent mathematical authority.

Status snapshot: August 8, 2026 at 22:12 PT. The illustration is a navigational summary; protected, content-addressed records in the governed repositories remain authoritative. No mathematical, certification, novelty, priority, patentability, mechanical, manufacturing, or commercial claim is promoted by this presentation.

• GI-AMEND-0001 is effective under the protected INTELLECT authority schedule.
• GCL-GHOS-00 0.1.1 is the admitted documentary-only successor selected by protected admission 5c4e73e55d362a5198b9076ead694909a5e0ebf3.
• MATH-PROGRAMME actively adopts that exact admission through protected adoption c39aab2bfbb2725accd18d69a0daea7fe96a0eee, while retaining the 0.1.0 adoption lineage.

Machine-readable activation, admission, and adoption records take precedence over descriptive documents. Descriptive status is generated from or validated against those records. These statuses do not grant GitHub independent constitutional, mathematical, certification, production, deployment, novelty, or commercial authority.

• The Programme front door and Programme Atlas provide the public map of the mathematics programme.
• MATH-PROGRAMME is the mathematics-programme authority and pins adopted standards.
• MATHFORGE discovers and reconstructs candidate mathematics.
• MATHSOLVE organizes disciplined mathematical work packages.
• MATHCERT alone admits checked mathematical evidence and determines claim disposition.
• INTELLECT contains the compact Constitution and effective amendments.
• gcl-standards is the subordinate, versioned registry and publication surface for cross-programme standards. A candidate standard remains nonbinding until admitted by its superior authority and adopted through the applicable programme decision; GCL-GHOS-00 0.1.1 has completed that sequence for MATH-PROGRAMME.

The mathematics authority split is specified in the three-pillar architecture. The claim-boundary doctrine defines permitted support language, and the certification ladder defines promotion gates.

Issues own next actions, pull requests integrate authoritative changes, Actions produce evidence, Projects index work, Discussions host nonbinding deliberation, and Releases publish admitted immutable artifacts.

Public deliberation is welcome in Discussions. An accepted proposal gains authority only after conversion to a governed issue or ADR pull request and completion of the applicable review.