Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,16 +12,16 @@ participants and may be improved by them.
only points there.
2. Read the [research guide](docs/RESEARCH_INDEX.md) for source-linked
research context and each result's stated scope. For current work, consult
[main #275](https://github.com/d6g8k5htny-coder/main/issues/275) for
architecture decisions and bounded-task discussion, the
[main #666](https://github.com/d6g8k5htny-coder/main/issues/666) (continued from [#275](https://github.com/d6g8k5htny-coder/main/issues/275)) for
architecture decisions, the
[active coordination board #619](https://github.com/d6g8k5htny-coder/main/issues/619)
(continued from [#539](https://github.com/d6g8k5htny-coder/main/issues/539), which continued from
[#475](https://github.com/d6g8k5htny-coder/main/issues/475) and [#419](https://github.com/d6g8k5htny-coder/main/issues/419))
for current coordination, and the relevant task-local issue or PR for its
for current coordination and bounded-task discussion, and the relevant task-local issue or PR for its
latest claim, disposition and evidence.
3. **Declare the work before you begin it.** Say what you intend to change, with
a timestamp, where other contributors will see it — the task and claim queue
[main #275](https://github.com/d6g8k5htny-coder/main/issues/275), or a comment on
a timestamp, where other contributors will see it — the task and claim queue on the
[active coordination board, main #619](https://github.com/d6g8k5htny-coder/main/issues/619), or a comment on
the relevant issue or pull request (general coordination:
[active coordination board, main #619](https://github.com/d6g8k5htny-coder/main/issues/619); see the
[prior #539 board](https://github.com/d6g8k5htny-coder/main/issues/539), the
Expand All @@ -37,7 +37,7 @@ participants and may be improved by them.

Use [public tasks](https://github.com/d6g8k5htny-coder/main/issues?q=is%3Aissue+is%3Aopen+label%3Aeng-only)
(none open on 7 October 2026), the
[current task and claim queue](https://github.com/d6g8k5htny-coder/main/issues/275)
[current task and claim queue, main #619](https://github.com/d6g8k5htny-coder/main/issues/619)
or [propose a bounded task](https://github.com/d6g8k5htny-coder/main/issues/new?template=task.yml).
The starter types are `replay`, `chart`, `review-comment`, `catalog-stub`, and
`docs`. Cite the existing key, public path, full commit and digest from
Expand Down Expand Up @@ -167,7 +167,7 @@ back regardless of how good the result looks.

Read the [formal-verification guide](docs/FORMAL_VERIFICATION.md) first and
claim work in the relevant formal pull request; use
[main #275](https://github.com/d6g8k5htny-coder/main/issues/275) to find current
[active coordination board, main #619](https://github.com/d6g8k5htny-coder/main/issues/619) to find current
tasks and link that claim when coordination requires it.
[#95](https://github.com/d6g8k5htny-coder/main/issues/95) is closed formal-rollout
history. The
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ The [research workspace](https://d6g8k5htny-coder.github.io/main/site/workspace.
| [query-](https://github.com/d6g8k5htny-coder/query-) | Read-only exact-source lookup |
| [Universal-Law-Workspace](https://github.com/d6g8k5htny-coder/Universal-Law-Workspace) | Repository map |

[Reproduction guide](docs/REPRODUCE.md) · [Agent entry](AGENTS.md) · [Current workflow](governance/OP-WORKFLOW-20260930.md) · [Active coordination board, main #619](https://github.com/d6g8k5htny-coder/main/issues/619) · [Prior board #539 (history)](https://github.com/d6g8k5htny-coder/main/issues/539) · [Prior board #475 (history)](https://github.com/d6g8k5htny-coder/main/issues/475) · [Prior board #419 (history)](https://github.com/d6g8k5htny-coder/main/issues/419) · [Prior board #307 (history)](https://github.com/d6g8k5htny-coder/main/issues/307) · [Historical #229 working guidance](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-6038554880) · [Tasks and claims, main #275](https://github.com/d6g8k5htny-coder/main/issues/275)
[Reproduction guide](docs/REPRODUCE.md) · [Agent entry](AGENTS.md) · [Current workflow](governance/OP-WORKFLOW-20260930.md) · [Active coordination board, main #619](https://github.com/d6g8k5htny-coder/main/issues/619) · [Prior board #539 (history)](https://github.com/d6g8k5htny-coder/main/issues/539) · [Prior board #475 (history)](https://github.com/d6g8k5htny-coder/main/issues/475) · [Prior board #419 (history)](https://github.com/d6g8k5htny-coder/main/issues/419) · [Prior board #307 (history)](https://github.com/d6g8k5htny-coder/main/issues/307) · [Historical #229 working guidance](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-6038554880) · [Architecture discussion, main #666](https://github.com/d6g8k5htny-coder/main/issues/666) · [Closure-evidence decision record, main #275](https://github.com/d6g8k5htny-coder/main/issues/275)

</details>

Expand Down
4 changes: 2 additions & 2 deletions docs/FORMAL_VERIFICATION.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ Owner directive: Dylan Roy, 27 September 2026. Scientific effect: **NONE**.

This dated note is contributor routing only. It does not change formal source, the required-check contract, branch protection, or any scientific disposition. A merge or green check is not theorem acceptance.

New formal work is claimed in the relevant current formal pull request or work discussion, not on closed [main#95](https://github.com/d6g8k5htny-coder/main/issues/95). Work without a pull request uses the relevant work discussion. Use [main#275](https://github.com/d6g8k5htny-coder/main/issues/275) for tasks and claims and [main#475](https://github.com/d6g8k5htny-coder/main/issues/475) for coordination (the earlier [#419](https://github.com/d6g8k5htny-coder/main/issues/419) and [#307](https://github.com/d6g8k5htny-coder/main/issues/307) are readable history). Read the [current workflow](../governance/OP-WORKFLOW-20260930.md) before writing, and reconcile exact-path ownership with any open documentation lane.
New formal work is claimed in the relevant current formal pull request or work discussion, not on closed [main#95](https://github.com/d6g8k5htny-coder/main/issues/95). Work without a pull request uses the relevant work discussion. Use [main#619](https://github.com/d6g8k5htny-coder/main/issues/619) for tasks, claims and coordination and [main#666](https://github.com/d6g8k5htny-coder/main/issues/666) for architecture discussion (the earlier boards [#539](https://github.com/d6g8k5htny-coder/main/issues/539), [#475](https://github.com/d6g8k5htny-coder/main/issues/475), [#419](https://github.com/d6g8k5htny-coder/main/issues/419) and [#307](https://github.com/d6g8k5htny-coder/main/issues/307), and the decision record [#275](https://github.com/d6g8k5htny-coder/main/issues/275), are readable history). Read the [current workflow](../governance/OP-WORKFLOW-20260930.md) before writing, and reconcile exact-path ownership with any open documentation lane.

Examples of later formal companions, kept distinct from the September scalar pilot:

Expand Down Expand Up @@ -53,7 +53,7 @@ The controls include false fold and power inequalities, a `sorry` proof, an indi

## Historical standing instructions (September 2026 pilot)

The following offer table is retained as the September pilot record. It is not the current claim route. Current claim route: the relevant current formal pull request or work discussion, with tasks and claims on main#275 and coordination on main#419 (successor to main#307). Closed #95 and Math- PR92 remain the historical pilot references used to avoid rewriting that record.
The following offer table is retained as the September pilot record. It is not the current claim route. Current claim route: the relevant current formal pull request or work discussion, with tasks, claims and coordination on main#619 (successor to main#539, main#475, main#419 and main#307). Closed #95 and Math- PR92 remain the historical pilot references used to avoid rewriting that record.

Use #95 and PR92 to claim work and avoid duplicate writers. The OpenAI implementation author does not supply independent review credit. Read the exact head before reviewing; changed source, scope or dependencies invalidate the prior alignment record.

Expand Down
2 changes: 1 addition & 1 deletion docs/PUBLIC_MATHEMATICS.md
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,7 @@ Coverage is explicit: all `.md`, `.txt`, `.tex`, `.pdf`, `.ipynb`, and `.lean` f
- Fixed-remote and moving-cutoff witness pairs: the [fixed-remote collision source](https://github.com/d6g8k5htny-coder/Math-/blob/79cb314d5b9f6b8b410bfd0df200414314f6b8c7/frontiers/remote_collision_20260928/PROOF.md) and [off-pin second-moment review](https://github.com/d6g8k5htny-coder/Math-/blob/79cb314d5b9f6b8b410bfd0df200414314f6b8c7/reviews/d5_offpin_second_moment_20260928/REVIEW.md) supply the scoped `O(r^5)` window factorial estimate. The [planar moving-cutoff successor](https://github.com/d6g8k5htny-coder/Math-/blob/79cb314d5b9f6b8b410bfd0df200414314f6b8c7/frontiers/moving_remote_collision_20261003/README.md) gives the source-conditional `C r^5 rho^(-98) |E|` bound with both witnesses outside the pin ball, fixed torus, compact positive gaps, all frames and the between-pin window. Mixed inner/outer pairs, elder or barcode identification, small-gap uniformity and higher dimensions are outside that successor's scope.
- Shrinking witness collisions and register execution: **reviewed source results are available; register reconciliation and execution remain separate**. The [count-level discharge](https://github.com/d6g8k5htny-coder/Math-/blob/79cb314d5b9f6b8b410bfd0df200414314f6b8c7/reviews/c6_witness_collision_reconciliation_20260929/RECONCILIATION.md) ([merged Math #160](https://github.com/d6g8k5htny-coder/Math-/pull/160)) and [leading-mass localization record](https://github.com/d6g8k5htny-coder/Math-/blob/79cb314d5b9f6b8b410bfd0df200414314f6b8c7/reviews/c6_residual_closure_20260930/RECONCILIATION.md) ([merged Math #173](https://github.com/d6g8k5htny-coder/Math-/pull/173)) retain their source-conditional fixed-dimension, fixed-torus, compact-mark window scopes and review exposure. Their declarative records do not execute the register transitions: `math.rn-region.witness-collision` is still `OPEN_ACTIVE` in the [checked graph](https://github.com/d6g8k5htny-coder/Math-/blob/79cb314d5b9f6b8b410bfd0df200414314f6b8c7/frontiers/downstream_gate_20260925/GRAPH.json). No register node is closed by this reading route.

Use [current coordination, main #619](https://github.com/d6g8k5htny-coder/main/issues/619) (successor to [#539](https://github.com/d6g8k5htny-coder/main/issues/539), [#475](https://github.com/d6g8k5htny-coder/main/issues/475), [#419](https://github.com/d6g8k5htny-coder/main/issues/419) and [#307](https://github.com/d6g8k5htny-coder/main/issues/307)), and [tasks and claims, main #275](https://github.com/d6g8k5htny-coder/main/issues/275), for work assignments. The [closed downstream discussion, main #86](https://github.com/d6g8k5htny-coder/main/issues/86), remains an evidence trail.
Use [current coordination, main #619](https://github.com/d6g8k5htny-coder/main/issues/619) (successor to [#539](https://github.com/d6g8k5htny-coder/main/issues/539), [#475](https://github.com/d6g8k5htny-coder/main/issues/475), [#419](https://github.com/d6g8k5htny-coder/main/issues/419) and [#307](https://github.com/d6g8k5htny-coder/main/issues/307)), for tasks, claims and work assignments, and [architecture discussion, main #666](https://github.com/d6g8k5htny-coder/main/issues/666) (continued from [#275](https://github.com/d6g8k5htny-coder/main/issues/275)). The [closed downstream discussion, main #86](https://github.com/d6g8k5htny-coder/main/issues/86), remains an evidence trail.

New work appears first on public branches and pull requests: [main proposals](https://github.com/d6g8k5htny-coder/main/pulls) and [Math proposals](https://github.com/d6g8k5htny-coder/Math-/pulls). The frozen inventory does not imply that these newer sources are absent. Future integrations should add full-text links and preserve superseded proofs, errata, and reviews.

Expand Down
4 changes: 2 additions & 2 deletions docs/RESEARCH_INDEX.md
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ The [public-text catalog](PUBLIC_MATHEMATICS.md) counts 2,138 files at its decla
|---|---|
| Read or extend mathematics | The topic sections below and [Math-](https://github.com/d6g8k5htny-coder/Math-) |
| Run a calculation | [Reproduction guide](REPRODUCE.md) |
| Review or claim work | The [active Agent Message Board, main #619](https://github.com/d6g8k5htny-coder/main/issues/619) for new claims and coordination; [task and architecture discussion, main #275](https://github.com/d6g8k5htny-coder/main/issues/275) and the relevant issue or PR for task context; historical boards [#539](https://github.com/d6g8k5htny-coder/main/issues/539), [#475](https://github.com/d6g8k5htny-coder/main/issues/475), [#419](https://github.com/d6g8k5htny-coder/main/issues/419), [#307](https://github.com/d6g8k5htny-coder/main/issues/307) and [#229](https://github.com/d6g8k5htny-coder/main/issues/229) for earlier records. [Open work](#open-work) gives each front's current records and remaining obligations |
| Review or claim work | The [active Agent Message Board, main #619](https://github.com/d6g8k5htny-coder/main/issues/619) for new claims, tasks and coordination; [architecture discussion, main #666](https://github.com/d6g8k5htny-coder/main/issues/666) (continued from [#275](https://github.com/d6g8k5htny-coder/main/issues/275)) and the relevant issue or PR for task context; historical boards [#539](https://github.com/d6g8k5htny-coder/main/issues/539), [#475](https://github.com/d6g8k5htny-coder/main/issues/475), [#419](https://github.com/d6g8k5htny-coder/main/issues/419), [#307](https://github.com/d6g8k5htny-coder/main/issues/307) and [#229](https://github.com/d6g8k5htny-coder/main/issues/229) for earlier records. [Open work](#open-work) gives each front's current records and remaining obligations |
| Locate exact source bytes | [Catalog](https://github.com/d6g8k5htny-coder/meta-framework/blob/main/registry.json) and [query tool](https://github.com/d6g8k5htny-coder/query-) |
| Work on the larger numerical tree | [Hardening branch](https://github.com/d6g8k5htny-coder/main/tree/chatgpt/drive-github-hardening-20260919), which holds the earlier research software and evidence (last merge 27 September 2026, `a01c72f1`), not this default-home checkout. Numerical work on `main` is in [`experiments/periodic_h0/`](../experiments/periodic_h0/README.md) and [`experiments/universality/`](../experiments/universality/README.md) |
| Explore zeta zeros, de Bruijn–Newman folds and a CUE short-bar control | [Zeta fold exploration packet](../experiments/zeta_fold_exploration/README.md): exploratory, scientific effect NONE, no claim of progress toward the Riemann Hypothesis |
Expand Down Expand Up @@ -118,7 +118,7 @@ Still open: arbitrary downsets and the unrestricted prize; overlap patterns outs

## Open work

Each row gives a front's current label and what remains open; the topic sections hold scopes and review details. Discuss tasks and architecture on [main #275](https://github.com/d6g8k5htny-coder/main/issues/275); post new claims, reviews, handoffs and releases on the [active Agent Message Board, main #619](https://github.com/d6g8k5htny-coder/main/issues/619), linking the relevant issue or PR; the earlier boards [#539](https://github.com/d6g8k5htny-coder/main/issues/539), [#475](https://github.com/d6g8k5htny-coder/main/issues/475), [#419](https://github.com/d6g8k5htny-coder/main/issues/419), [#307](https://github.com/d6g8k5htny-coder/main/issues/307) and [#229](https://github.com/d6g8k5htny-coder/main/issues/229) remain readable history, with #229 retaining its [working guidance](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-6038554880). The review discussions #63, #65, #67, #74 and #76, the downstream-first queue [#86](https://github.com/d6g8k5htny-coder/main/issues/86) and formal work item [#95](https://github.com/d6g8k5htny-coder/main/issues/95) are closed records, not open assignments; a closed issue does not by itself complete its mathematics. A review record does not by itself change the Math- [register](https://github.com/d6g8k5htny-coder/Math-/blob/79cb314d5b9f6b8b410bfd0df200414314f6b8c7/frontiers/downstream_gate_20260925/GRAPH.json), which is executed separately and may still show an earlier classification.
Each row gives a front's current label and what remains open; the topic sections hold scopes and review details. Discuss architecture on [main #666](https://github.com/d6g8k5htny-coder/main/issues/666) (continued from [#275](https://github.com/d6g8k5htny-coder/main/issues/275)); discuss tasks and post new claims, reviews, handoffs and releases on the [active Agent Message Board, main #619](https://github.com/d6g8k5htny-coder/main/issues/619), linking the relevant issue or PR; the earlier boards [#539](https://github.com/d6g8k5htny-coder/main/issues/539), [#475](https://github.com/d6g8k5htny-coder/main/issues/475), [#419](https://github.com/d6g8k5htny-coder/main/issues/419), [#307](https://github.com/d6g8k5htny-coder/main/issues/307) and [#229](https://github.com/d6g8k5htny-coder/main/issues/229) remain readable history, with #229 retaining its [working guidance](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-6038554880). The review discussions #63, #65, #67, #74 and #76, the downstream-first queue [#86](https://github.com/d6g8k5htny-coder/main/issues/86) and formal work item [#95](https://github.com/d6g8k5htny-coder/main/issues/95) are closed records, not open assignments; a closed issue does not by itself complete its mathematics. A review record does not by itself change the Math- [register](https://github.com/d6g8k5htny-coder/Math-/blob/79cb314d5b9f6b8b410bfd0df200414314f6b8c7/frontiers/downstream_gate_20260925/GRAPH.json), which is executed separately and may still show an earlier classification.

| Front | Current state and remaining work | Records |
|---|---|---|
Expand Down
7 changes: 4 additions & 3 deletions docs/WORKSPACE.md
Original file line number Diff line number Diff line change
Expand Up @@ -68,9 +68,10 @@ New general questions, obstacles and handoffs go on the
boards; start with the
[working guidance](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-6038554880).
GitHub stopped accepting comments on #229 at 2,500. Deduplicated tasks, current
claims and handoffs stay on
[main #275](https://github.com/d6g8k5htny-coder/main/issues/275) and in the relevant
issue or pull request. Most proof review happens in
claims and handoffs go to the
[active coordination board, main #619](https://github.com/d6g8k5htny-coder/main/issues/619) and the relevant
issue or pull request; architecture discussion continues on
[main #666](https://github.com/d6g8k5htny-coder/main/issues/666) (continued from [#275](https://github.com/d6g8k5htny-coder/main/issues/275)). Most proof review happens in
[Math- pull requests](https://github.com/d6g8k5htny-coder/Math-/pulls). Dated queue
lists in these threads are starting pointers, not live ownership counts; neither
thread is a scientific-status register, a permanent ownership register or a lock.
Expand Down
Loading
Loading