Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
55 commits
Select commit Hold shift + click to select a range
200d402
Add research memory tool and SiYuan, Vikunja skills
mghasemi Mar 15, 2026
3837fe9
Add new paper on Positive Semidefinite Mean Polynomials
mghasemi Mar 15, 2026
7412b41
Add main manuscript on positive semidefinite mean polynomials and res…
mghasemi Mar 16, 2026
cf906c8
Add Phase 1 Week 1 Source-of-Truth Consolidation document
mghasemi Mar 16, 2026
f95f622
Add NotebookLM integration scripts and prompts for querying and manag…
mghasemi Mar 24, 2026
10d3ba0
Remove deprecated SDP and SONC classes, and associated files; add the…
mghasemi Apr 4, 2026
2353b8b
Add main LaTeX document for "The Cone Generated by Positive Semidefin…
mghasemi Apr 4, 2026
4e5c6ee
Update mean polynomials manuscript and phase 2 remainder plan; add de…
mghasemi Apr 4, 2026
da22d68
Update mean polynomials manuscript and theorem ledger; fix citation U…
mghasemi Apr 4, 2026
ca2961f
Add ZIMI skill implementation and unit tests for searching and readin…
mghasemi Apr 4, 2026
1fa1a03
Add LightRAG query skill and CLI tool for querying the research graph
mghasemi Apr 14, 2026
056355c
Add Research Orchestrator agent and prompt for multi-source research …
mghasemi Apr 14, 2026
2b3775c
Add Research Program Manager agent and related prompts for program in…
mghasemi Apr 14, 2026
e3821fc
feat: Integrate Wolfram|Alpha for mathematical verification and compu…
mghasemi Apr 19, 2026
be2b935
feat: Add Lean4 Assistant and related tooling for theorem formalizati…
mghasemi Apr 19, 2026
a84e01a
Add Phase 3 benchmark scripts and diagnostics
mghasemi Apr 22, 2026
fc3988a
Refactor code structure for improved readability and maintainability
mghasemi Apr 22, 2026
a8c495e
Update Phase 3 Pilot Results and Add New Cases
mghasemi Apr 22, 2026
f148787
Add SONC diagnostics summary, ADR security wrapper, and CX-2 transfor…
mghasemi Apr 26, 2026
c44bebd
Update d=6, n=5 L-C1 escalation results and documentation
mghasemi Apr 26, 2026
a39a261
Enhance documentation and integrate Phase 4 updates in manuscript and…
mghasemi Apr 26, 2026
cb95a6d
Add local neighborhood analysis scripts and results
mghasemi Apr 26, 2026
303803c
Enhance theorem ledger and results documentation with new findings an…
mghasemi Apr 26, 2026
32f825c
Add immediate execution tracker and session notes for OP1, OP2, and OP3
mghasemi Apr 28, 2026
0dd6991
Refactor OP2 theorem-stage evaluation with Delta_support criterion
mghasemi Apr 28, 2026
5f252eb
Update mean_polynomials_main.tex and op1_escalation_decision_memo.md …
mghasemi Apr 28, 2026
266f4d2
Update Vikunja URL and API token in configuration files
mghasemi May 1, 2026
a64e482
Implement SOS+SONC relaxation module based on Moritz Schick's PhD thesis
mghasemi Jun 13, 2026
eddcb33
Update documentation and build process: modify Makefile for latexmk s…
mghasemi Jun 13, 2026
b9525f8
Update documentation: enhance code.rst with additional modules, remov…
mghasemi Jun 13, 2026
718388a
Update .gitignore to exclude virtual environment files and add IRENE_…
mghasemi Jul 10, 2026
5afe903
[Fix: DSDP] Phase 1 stabilization: correct PSD guard clause (q > p), …
Jul 12, 2026
131b9ef
[WIP] DSDP Phase 2: exact lcm(q,p) construction for mean certificates
Jul 12, 2026
08623bd
[WIP] Phase 3: product-depth hierarchy expansion (depth >= 2)
Jul 13, 2026
2824623
[Fix: DSDP] Phase 15: Fix KKT space mismatch in _build_diff_kkt_momen…
Jul 13, 2026
f7335b9
[Chore: IreneRewrite] Clean up repository — remove research experimen…
Aug 5, 2026
1dfbefd
[WIP] P3.5: Newton polytope pruning for sparse monomial bases
Aug 8, 2026
e557612
[Chore: IreneRewrite] Phase 3 modules (border_basis, sparsity, newton…
Aug 8, 2026
8cdf302
[Chore: CI] P4.3 GitHub Actions CI pipeline — pytest+coverage matrix,…
Aug 8, 2026
66c1042
[Chore: P4.1] Add Docker Compose CI pipeline for multi-Python testing
Aug 8, 2026
e6e5327
[Fix: P5 speed + CI] Close 87% of performance gap vs original Irene; …
Aug 9, 2026
ed26d87
[WIP] P5.9: Docker CI + GitHub Actions
Aug 9, 2026
0c51c26
[WIP] Modernize rewrite branch: backend selection, quotient-basis opt…
Aug 9, 2026
9dea642
[Chore] IreneRewrite documentation v1.3.0: hybrid reduction theorem, …
Aug 10, 2026
3c00ce3
[Fix: docs] v1.3.1 — Replace raw 2693716 with .. math:: in sdp.rst; f…
Aug 10, 2026
4c0e446
[Fix: docs] v1.3.1 — pdflatex+lmodern+textcomp+upquote preamble; fix …
Aug 10, 2026
9b6e5e5
[Fix: docs] v1.3.1 — Python 2→3 print syntax in pyprox_measures; lmod…
Aug 10, 2026
af7ce46
Move top-level tests into tests and convert to pytest modules
Aug 10, 2026
10ad54b
Update gitignore and untrack local/generated artifacts
Aug 10, 2026
dd80773
Update IreneRewrite.pdf with latest changes
Aug 10, 2026
93cbcef
Refactor: update numpy imports and enhance setup configuration for pa…
Aug 10, 2026
48b53a7
Initial plan
Copilot Aug 10, 2026
8a8ec21
Merge remote-tracking branch 'refs/remotes/origin/rewrite' into copil…
Copilot Aug 10, 2026
72c668b
Fix: relax numpy and scipy version pins for Python 3.10 compatibility
Copilot Aug 10, 2026
01b3441
Fix: add explicit permissions to CI workflow (security best practice)
Copilot Aug 10, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
37 changes: 37 additions & 0 deletions .dockerignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
# Virtual environments
.venv/
__pycache__/
*.pyc
*.pyo

# Git
.git/
.gitignore

# IDE / editors
.vscode/
.idea/
*.swp
*.swo

# Documentation (not needed in test image)
reports/
plan_master.md
execution_log.md
README.rst
create_tasks.py
siyuan_push.py

# Coverage output (mounted as volume anyway)
coverage-results/
htmlcov/
.coverage
coverage.xml

# Benchmark results (bind-mounted from host)
benchmarks/results/*.json
benchmarks/results/*.csv

# Examples and auxiliary
examples/
pyProximation/
Loading