Skip to content
Open
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
26 changes: 26 additions & 0 deletions .github/workflows/convergences-probes.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
name: Convergence research probes
on:
pull_request:
paths:
- 'research/convergences-20261112/**'
- '.github/workflows/convergences-probes.yml'
push:
paths:
- 'research/convergences-20261112/**'
- '.github/workflows/convergences-probes.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
regenerate:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.14'
cache: pip
cache-dependency-path: research/convergences-20261112/requirements.txt
- run: python -m pip install -r research/convergences-20261112/requirements.txt
- run: python -B -m unittest discover -s research/convergences-20261112 -p test_check.py
- run: python research/convergences-20261112/check.py
8 changes: 7 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,15 @@ This repository is **not** a derivation of a new fundamental theory of gravity,
3. **Phenomenological hypotheses & algebraic re-parameterizations (`CONJECTURE`)**: Wave-6 (`wave6_convergence_unification.py`) evaluates algebraic identities where `hbar`, `m`, and `R_H(z)` cancel by definition of `N_fil = 2*pi*m*c*R_H/hbar` (so `8.9580 kpc` is simply the ordinary MOND radius `r_M` of a `6e10 M_sun` galaxy at `a_dS`) and places a handwritten potential threshold `Phi_crit/c^2 = 8.0e-6` (`sigma_1D = 388.1 km/s`) between logarithmic MOND galaxy potentials and the Bullet Cluster.
4. **Elementary Lean 4 arithmetic checks (`PROVEN (ARITHMETIC-LEMMA)`)**: Stock Lean 4 (`Init`, zero Mathlib dependencies) files in `formal/` check the exact integer/rational exponent equations, interval inequalities, and commutative-ring product rearrangements referenced in `CLAIMS.md`. They do **not** prove physical force laws, Bell's theorem, or Weak Equivalence Principle bounds.

## Cross-repository convergence research

The [convergence research collection](research/convergences-20261112/README.md) connects this repository with fractals, physics0 and astr0. It preserves nine exploratory reports, source ledgers, mathematical probes and independent agent reviews.

The collection includes a test specification for nonlinear AeST collapse, distinctions between interference and readable records, a lattice mechanics comparison and methods for combining astronomical evidence. Its scope and next tests are explicit. No nonlinear AeST simulation or new galaxy-data fit is claimed.

## Repository Layout & Verification Commands

All Python scripts use only the Python 3 standard library. Each certificate file in `results/*.json` embeds a `sha256_canonical` field equal to the `sha256` checksum of `json.dumps(payload_without_sha_field, sort_keys=True, separators=(",", ":"))` computed by the generator script that writes it (this is a deterministic content checksum for reproducibility, not a cryptographic signature). Raw file digests are recorded in `SHA256SUMS`.
The root audit scripts use only the Python 3 standard library. The separate convergence research probes declare their NumPy and SymPy dependencies in their own reproduction instructions. Each certificate file in `results/*.json` embeds a `sha256_canonical` field equal to the `sha256` checksum of `json.dumps(payload_without_sha_field, sort_keys=True, separators=(",", ":"))` computed by the generator script that writes it (this is a deterministic content checksum for reproducibility, not a cryptographic signature). Raw file digests are recorded in `SHA256SUMS`.

| Script / Config | Output / Target | Verification Command |
|---|---|---|
Expand Down
40 changes: 40 additions & 0 deletions research/convergences-20261112/PROVENANCE.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,40 @@
# Provenance and claim scope

This collection preserves a broad research pass across Foundation-0/gravity, fractals, physics0 and astr0, completed on 12 November 2026. Its purpose is to find useful connections and discriminating tests across the projects, while preserving the assumptions of each physical or mathematical model.

## Authorship and review

Research coordination and synthesis: gpt-forge, an OpenAI Codex agent working for Ahraz Arifuddin. The nine research agents were explicitly configured as gpt-6-astra with ultra reasoning. Publication preparation used gpt-6.1-sol agents. These are agent-authored exploratory results. Human scientific review remains pending.

The robustness route independently recalculated selected results from the other routes. The robustness and hidden-dynamics agents separately checked the issue-specific AeST identities and their scope. Their independence concerns implementations and review roles. It is not independent empirical replication or human peer review.

## Revisions studied

| Repository | Studied revision |
| --- | --- |
| gravity | [d8c7544](https://github.com/Foundation-0/gravity/tree/d8c7544e89388720fc1c13de816ddb7dd03d2096) |
| fractals | [9669f55](https://github.com/Foundation-0/fractals/tree/9669f5579635c3543f145e8eca86133069ad6f27) |
| physics0 | [76410c3](https://github.com/Foundation-0/physics0/tree/76410c3deebf925f6c51017867dbcef29ff54e8b) |
| astr0 | [607a11e](https://github.com/Foundation-0/astr0/tree/607a11eaa83b2ec7539e0986046c3230406d2b04) |

Those revisions include the earlier acceleration-evolution drafts. The publication branch starts from gravity's later main revision 1185a438dee8878d7580771b4d412b3860c70061. This collection does not review the later Wave 11 additions. Report links retain the revisions actually studied.

The neighboring `*-sources.json` files distinguish primary literature, repository statements, the authors' own derivations and untested conjectures. Where a source was only partly inspected, that limitation remains recorded. Published astronomical examples are credited to their original investigators.

## What the computations establish

The probes check mathematical consequences of stated models. They include symbolic identities, analytic limits, numerical convergence, independent formulations and synthetic inference examples. Reproduction checks verify the published artifacts under declared tolerances. They do not establish the physical correctness of the selected models.

The AeST compensated initial pair is a conditional algebraic witness derived from published linear variables. Its complete canonical initial-data map remains unimplemented. The collection also leaves nonlinear collapse, a healthy specified higher-derivative extension, stress lifetime, thermalization and a cosmologically selected pressure scale uncomputed.

The acceleration-evolution work compares published fitted summaries with a phenomenological model. It supplies no new galaxy-level likelihood or measured evolution exponent. Its source data and covariance requirements remain separate from the synthetic probes in this collection.

## Publication transformations

The public edition retains the nine reports, scientific source ledgers, original probe algorithms, generated results, selected derivations and independent review findings. Machine-specific paths become relative paths or immutable public source links. Exact scientific inputs needed for reproduction are bundled with origin and digest records.

Downloaded copies of third-party papers, temporary renderer output, private operational notes and machine-specific dispatch records are excluded. Their scientific citations and relevant findings remain in the reports. No personal memory store or private instructions are part of this collection.

Historical review hashes identify the pre-publication text reviewed during the research pass. Path and presentation edits change those bytes without turning the reviews into acceptance of later physical work. The publication validation separately checks the portable edition.

The repository's Apache-2.0 license applies to code. Documentation and numerical results use its CC-BY-4.0 license. Primary works retain their original authorship and terms.
Loading
Loading