Independent research · Human–AI cooperation
HayosoAi brings together philosophical inquiry, formal methods, reproducible mathematics, and software security research.
With care for people and Earth. Each contribution states its question, evidence, and scope.
01 / The philosophical position
How should people and AI cooperate as their understanding, capabilities, and purposes change? The original essay connects that question to responsibility, justified commitments, and life on a shared Earth.
02 / Research record
Epistemic Transition Integrity examines what a system must preserve to revise claims and decisions when their supporting evidence changes.
Formal systems
Correction-sufficient state, decision-theoretic repair, and sequential revision under explicit models.
Mathematical results under declared assumptions; comparative performance remains an open empirical question.
| Topic | Result and scope | Status / sources |
|---|---|---|
| Graffiti³ counterexample families | Explicit families refute C20–C22 and C27–C28 in the manuscript’s specified source version. | PreprintPDF · Supplement (PDF) |
| Semiorder projection bounds | An all-size bound for represented-semiorder ideal projections, under the stated geometric conventions. | PreprintPDF · Supplement (PDF) |
| Erdős–Gyárfás bounds | |A| ≥ 2b + s + 4 for a lexicographically minimal counterexample, with the paper’s degree classes. The global conjecture remains open. | PreprintPDF · Supplement (PDF) |
| Exact totient trajectory | F(400000287233629) = 104 under first-prime stopping. A pointwise certificate; the global problem remains open. | Computational certificateExplorer · Certificate (CSV) |
03 / Software security
CVE-2026-96573
Wordfence Intelligence · Publication confirmed
Read the public advisory04 / Open-source software
Merged into staging ·
Contributed a fix to KeeperHub’s generation-stream error handling, including failed-stream cleanup and regression tests; incorporated reviewer feedback and narrowed scope before merge.
Original issue diagnosis and accepted plan by Yoh5.