HayosoAiResearch portfolio

Methods

Research methods

Each claim is paired with its assumptions, evidence, checks and correction history.

Research procedure

  1. Specify the question, assumptions and stopping conditions.
  2. Separate candidate arguments from established claims.
  3. Inspect sources and proof obligations.
  4. Check implementations on declared domains and deliberate-error controls.
  5. Reopen claims that lose necessary support; retain unaffected or alternatively supported claims.
  6. Release versioned artifacts with exact scope and reproduction instructions.

Research record

HayosoAi brings together philosophical inquiry, formal methods, reproducible mathematics, and published software security research. Each work identifies the sources, assumptions, and evidence supporting its results.

Papers and releases provide the arguments and source materials. Required third-party attribution and license terms accompany the relevant artifacts.

Reproducibility

Preserve source versions, failed checks and frozen releases. Report the input domain, environment, runtime, controls and expected outputs.

Proofs, finite checks, file hashes and public releases support distinct claims. Empirical efficacy requires an appropriate comparison.