issues Search Results · language:Dune language:Python language:C# language:JavaScript language:JavaScript language:Python
Filter by
46.9M results
Impact: Low for decision-level benchmarking; matters for control-level studies · Effort: High · Priority: 11 (roadmap)
No waves or sea state. For decision/COLREGs-level benchmarking this is a minor omission, ...
enhancement
priority: low
simulator
v2-roadmap
captv89
Goal. Situate this work honestly in the MUB(6) literature.
Do. Anchor on the current authoritative survey, McNulty and Weigert, Mutually Unbiased Bases in Composite Dimensions: A
Review (arXiv:2410.23997), ...
survey
InvariantSystems
Goal. Make the Z₆² Weyl board readable on its own.
Do. Write a short note (a few pages) on Board B: the 12 full lines, the almost-disjoint cap at 3, the 24 maximal
triples, and the CRT factorization, ...
document
Goal. Resolve the d=10 room. The wall is measured (defect ≈ 0.0225) but the closed-form hunt (PSLQ at high precision)
found nothing.
Do. Either find the exact algebraic value (and prove attainment), or ...
extend
Goal. Make the second wall two-sided. T1 currently has an exact attainment witness (W(T1) = (1163+38√3)/1265) but no
matching global upper bound.
Do. Construct an exact PSD certificate for W(T1) − f_{T1} ...
extend
Goal. Carry more of the proof into the kernel. Today the combinatorial spine is Lean (lean/Mub6Lemmas: WordCount,
RookBound, CatalogIncidence, IChingBoardCap); the analytic chain is exact Python but not ...
formalize
Plugin Info
{
name : astrbot_plugin_deepseekstats ,
display_name : DeepSeek余额查询与报警 ,
desc : 查询DeepSeek API余额，支持多Key轮询、白名单管理、余额不足自动报警。 ,
author : xiaotang01 ,
repo : https://github.com/xiaotang01/astrbot_plugin_deepseekstats ...
xiaotang666
Goal. A second, independent implementation of max f ≤ W.
Do. Re-implement the certificate check (identity + PSD-on-kernel-complement) in Sage, Julia, Lean, or Magma, ideally
rebuilding the canonical triple ...
audit
Goal. Re-check the global-wall identity from the stored Q without using the bundle s verifier.
Do. Load evidence/global-wall-certificate-Q-exact.json.gz yourself (441×441 symmetric over Q(√2,√3), upper ...
audit
Goal. Confirm the load-bearing theorem reproduces off the author s machine.
Do. From the artifact bundle root: sha256sum -c SHA256SUMS, then make verify-global, then python3
python/mub6_d6_wall_attainment_exact.py. ...
good-first-brick
reproduce
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.