Research programs
Each program is presented at its current evidence level. A certificate, internal construction, preregistration, or workflow checkpoint is not promoted into a global theorem, causal claim, novelty claim, or independent review.
Public supporting work
These are current public repositories used by this portfolio. Links resolve to fixed commits or versioned releases so the cited evidence does not drift.
BOUNDED COMPUTATIONAL RESULT — POINTWISE CERTIFICATE F=104
The released certificate establishes F(400000287233629)=104, hence sup_n F(n) >= 104. It does not claim world-record priority, unboundedness, global maximality, basin infinitude, density, inverse-tree completeness, or a solution of the global problem.
Supporting artifact · fixed commit
The legacy repository records the public development line and now points to the clean paper repository. The canonical paper claim remains conditional, and the Erdős–Gyárfás conjecture remains open.
Release hygiene: the historical #64 repository tag named v1.0.0 is not linked because it contains stale #409 material and is not the current #64 publication release.
WORKING TECHNICAL PROGRAM
How can a reasoning system preserve premise governance, provenance, and revision integrity as context changes, evidence is superseded, and computational work is delegated?
The architecture is mature and scoped, and exact finite additive results are stated only with their assumptions. Closure-constrained continuous-cost compression remains an open frontier. Comparative empirical superiority has not been established, and no causal efficacy claim is made. The 37-page v2 document is a working manuscript, not a peer-reviewed publication.
Public artifact: employer-readable program brief. The working technical manuscript remains in private staging pending public-safe review.
PREREGISTERED STUDY — COMPARATIVE RESULTS NOT YET AVAILABLE
Can premise-governed context scheduling be compared fairly with alternative context-management conditions under a fixed evaluation contract?
The public-safe parity scaffold passed 40/40 checks. A broader authored-gold/adversarial development suite passed 208/208 checks. The scopes are distinct, and neither count is efficacy evidence. Comparative execution has not started: zero model runs, no pilot or held-out outcome data, and the Condition C retriever is not frozen. Naturalistic process cases are not causal evidence.
Public artifact: employer-readable program brief.
UNSOLVED / IN PROGRESS — CURRENT ROUTES STOPPED
Can a rigorously typed, computationally checkable route bridge source equation A.1 to a valid Weil-form positivity argument without changing the frozen evaluation contract? “A.1” is the inherited source-formula label; it is not A1_CORE_FRAMEWORK.
RIEMANN HYPOTHESIS STATUS: UNSOLVED / IN PROGRESS. Version 2 was rejected at N06; version 3 stopped at a precise frozen dependency-schema obstruction. There is no accepted EvalW certificate, negative Weil entry, off-line zero, or global positivity theorem. The source-equation-A.1-to-Weil-form bridge remains an internal candidate without formalization or external review.
Public artifact: employer-readable program brief; no proof-candidate source details are released.
Additional programs
ACTIVE RESEARCH — TARGET OPEN
Finite constructions and bounded checks do not establish an unrestricted asymptotic or parametric theorem. Prior-art and theorem-promotion gates remain active.
ACTIVE RESEARCH — TARGET OPEN
No public theorem or certified result is claimed in this portfolio. A public artifact will appear only after the program reaches a verified, appropriately scoped checkpoint.