brandonrdug/holonics
Holonics documents an in-progress mathematical and computational research programme in which Claude and Codex produce code, proofs and records under the maintainer’s direction. Documentation describes intended use; research outcomes were not independently evaluated.
L2Research workflow (workflow level, not a quality rating) Source: Repository-documented Outcome: Not empirically evaluated here
Research applicability
Holonics documents an in-progress mathematical and computational research programme in which Claude and Codex produce code, proofs and records under the maintainer’s direction.
Getting started
Editorial suggestion: read the primary source and limitations before adapting any method; no installation or trial performed.
Maintenance
Source snapshot checked 2026-11-01; ongoing maintenance, installed behavior and current-version parity not generally verified.
License
Consult original licence and data/provider terms; source access is not reuse clearance. No licence/rights audit or installation was performed.
Workflow & human oversight
Scoped L2: The maintainer sets direction; agents make and record technical/mathematical decisions; changes follow code gates, touched-law tests and Lean builds. This supports a connected human-directed research production process. README does not establish researcher-defined safety/stopping conditions and validation of conclusions sufficient for L4; L3 planning/tool supervision boundaries are incomplete. Human control/boundary: The maintainer sets direction; agents make and record technical/mathematical decisions; changes follow code gates, touched-law tests and Lean builds. This supports a connected human-directed research production process. README does not establish researcher-defined safety/stopping conditions and validation of conclusions sufficient for L4; L3 planning/tool supervision boundaries are incomplete.
Workflow level is not an evidence score; higher is not better evidence.
Approach
Holonics documents an in-progress mathematical and computational research programme in which Claude and Codex produce code, proofs and records under the maintainer’s direction. Documented steps: Holonics documents an in-progress mathematical and computational research programme in which Claude and Codex produce code, proofs and records under the maintainer’s direction.
Outcomes (as reported by the originating team)
Author reports or documentation only, not independently reproduced. No independent reproduction was performed here.
Limitations
Core scientific claims are the project’s proposals and scoped records, not established general results. Major conjectures remain unsolved; the intended Athena product does not exist yet. Rust, Lean and optional CUDA setup vary by task.
Reproducibility
Primary-source text was read and preserved with provenance hashes. No candidate code, model, benchmark, data upload or claimed outcome was executed/reproduced.
Adoption requirements
Verify research scope, data rights, tool requirements and outputs before use; these editorial suggestions were not executed.
Comments
No comments yet.
Add a comment
Comments are held for moderation before appearing. Critical or corrective comments are welcome — especially evidence that an entry overstates what has been verified.