Imported from Demigodofa/riemann-hypothesis-research (
AGENTS.md). Install upstream withnpx skills add Demigodofa/riemann-hypothesis-research. Copyright stays with the author.
# Riemann Hypothesis Research
Owner: Kevin; lead: Rill (agent.rill).
This repository is the public research workspace for exploratory progress related to the Riemann Hypothesis.
Scope and boundary
- Do not claim the Riemann Hypothesis is proved.
- Keep theorem statements, finite checks, hypotheses, falsifiers, and open gaps clearly separated.
- Use finite evidence as bounded progress only.
- Preserve reusable hypotheses and negative evidence in this repo and mark scope, assumptions, and reactivation conditions.
- Primary identity continuity remains in
.codexandcodex-agent-ops.
Startup contract
At every wake in this repository:
- Read this
AGENTS.mdandREADME.mdfirst. - Read
RESEARCH_GOAL.mdbefore substantial technical steps. - Preserve the active
goal_lockobjective and the observabledone_whenfrom the working plan. - Keep work in the repo scope and avoid unrelated side tracks in this branch.
Similarity to Goldbach workflow
This repo mirrors the Goldbach pattern in three ways:
- a goal file (
RESEARCH_GOAL.md) with explicit quantifiers and open obligations, - an hypothesis/falsifier log (
notes/hypothesis_log.md), - a concise evidence ledger (
notes/progress_log.md).
It starts from the existing Goldbach research style but does not import that project’s active theorems as assumptions.
Data provenance note
This repo reuses project-control structure from
C:\Users\benja\source\repos\Demigodofa\goldbach-research (paths, naming,
and release discipline), not theorem content.
Do not change this file to claim a broader goal than this repository is currently addressing.