Chủ sở hữu

ymm-oss

Đã lập chỉ mục 9 kho mã nguồn · Xem trên GitHub

ios-training
ゆめみ iOS研修

Swift · 313 star
flutter-training-template
ゆめみ Flutter 研修

Dart · 163 star
fsl
AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.

Rust · 27 star
flutter-yumemi-lints
Customizable Linter library which enforces coding standards and best practice for Flutter apps, packages

Dart · 20 star
android-training-template

Kotlin · 17 star
daigirin-template
A template repository to make yumemi-daigirin books

TypeScript · 14 star
flutter-yumemi-lints-tools

Dart · 5 star
kmp-training
KMP/CMPの研修リポジトリ

Kotlin · 3 star
droidkaigi2026-Quiz-App

Kotlin · 3 star

Đang mở Tất cả

[Draft] roadmap: ship the Agent Skills through a signed packslip, and make mise a first-class route Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

ymm-oss/fsl#1082 · Mở ngày 18/9/2026
[ruleset drift] main safety and CI diverged from .github/ruleset-contract.json Đang mở

ci/ruleset-drift

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 64/100

ymm-oss/fsl#1081 · 4 bình luận · Mở ngày 17/9/2026
aikidosec-safe-chain.yml の修正 Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100

ymm-oss/daigirin-template#417 · Mở ngày 17/9/2026
（暫定対応）vivliostyle の標準テーマを v2 に固定する Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 64/100

ymm-oss/daigirin-template#416 · Mở ngày 17/9/2026
fix(sweep): a sound spec with any `reachable` always reports `sweep_failed`, because `insufficient_depth` cells count as counterexamples Đang mở

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 75/100

ymm-oss/fsl#1080 · 1 bình luận · Mở ngày 17/9/2026
meta(agents): gate the AGENTS.md / repository-contract split that #1073 verified by hand Đang mở

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100

ymm-oss/fsl#1077 · Mở ngày 17/9/2026
fslc-lsp has no way to report its version, so an installed language server cannot be identified Đang mở

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 76/100

ymm-oss/fsl#1074 · Mở ngày 16/9/2026
test: issue_250 fixture roots collide the same way #1061 did (domain_expand_source reaches 3 tests with one name) Đang mở

bug

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100

ymm-oss/fsl#1069 · Mở ngày 16/9/2026
fix(kernel): `kernel` skips `validate_db`, so it accepts a dbsystem document `check` rejects Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

ymm-oss/fsl#1059 · Mở ngày 15/9/2026
design(spec-domains): two accepted documents disagree on whether an undeclared `values` name is rejected Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

ymm-oss/fsl#1058 · Mở ngày 15/9/2026
WASM lane reads `from \"…\"` inside an .fsl comment as an import and fails with ENOENT Đang mở

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 65/100

ymm-oss/fsl#1056 · Mở ngày 15/9/2026
No gate exercises the claims corpus's deep properties, its property-free saga, or its edit-site rationales Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 42/100

ymm-oss/fsl#1055 · Mở ngày 15/9/2026
observability: an unwritable cache root silently disables verify caching Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

ymm-oss/fsl#1054 · Mở ngày 15/9/2026
design(runtime): two explicit-state searches, only one of them bounded by size Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

ymm-oss/fsl#1050 · Mở ngày 15/9/2026
test(corpus): the Verdict Conservation Law sweeps check and verify but not diff Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

ymm-oss/fsl#1049 · Mở ngày 15/9/2026
hooks: cargo_lock.py's Git-common-dir lock is unreachable from a sandboxed linked worktree, blocking cargo and herdr alike Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 38/100

ymm-oss/fsl#1046 · 1 bình luận · Mở ngày 15/9/2026
test(fifo): cleanup loop unwraps the writer outcome on a race with is_finished(), reddening required lanes Đang mở

bug

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 76/100

ymm-oss/fsl#1040 · 1 bình luận · Mở ngày 15/9/2026
docs(ledger): ledger.rs:514 cites a `classify_source` section that #996 removes Đang mở

bug

Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 84/100

ymm-oss/fsl#1037 · Mở ngày 14/9/2026
meta(ci): native Z3 4.16 (windows-latest) の 60分予算は余裕27%で、同一内容の再実行が61m/44mと振れて打ち切られた Đang mở

ai-discovered bug

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

ymm-oss/fsl#1025 · Mở ngày 9/9/2026
verify(cache): seam の verdict を cache に入れるかの判断を確定する（#1002 で reachable になった2値） Đang mở

ai-discovered bug

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

ymm-oss/fsl#1022 · 2 bình luận · Mở ngày 9/9/2026
html(report): status_class の catch-all が未知の verdict を中立バッジにする（#1002 で impl_violated が初めて到達した） Đang mở

ai-discovered bug

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

ymm-oss/fsl#1021 · 1 bình luận · Mở ngày 9/9/2026
test(parity): check_rust_full_envelope.py が母集団 43/43 で落ち、実在の差分1件を覆っている Đang mở

ai-discovered bug

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

ymm-oss/fsl#1019 · Mở ngày 9/9/2026
fix(cli): unreferenced_requirement の hint が typed annotation と init を名指ししていない Đang mở

ai-discovered bug

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

ymm-oss/fsl#1017 · Mở ngày 8/9/2026
test(parity): #94 acceptance test pins only the frozen Python reference, not the native CLI Đang mở

ai-discovered bug

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100

ymm-oss/fsl#1010 · Mở ngày 7/9/2026
design(verify): define inline implements semantics for --property, --exclude-properties, and --from-state Đang mở

ai-discovered bug

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

ymm-oss/fsl#1008 · Mở ngày 7/9/2026
test(site): strip_js_comments の状態遷移ごとの境界 control が不足している（必須 context が依存する手書きパーサ） Đang mở

ai-discovered

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100

ymm-oss/fsl#1006 · 1 bình luận · Mở ngày 7/9/2026
fix(diagnostics): no_user_invariants が「implicit type bounds しか検査していない」と偽って報告する（同一 envelope に leads_to / reachables が入っている） Đang mở

ai-discovered bug

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

ymm-oss/fsl#1004 · Mở ngày 7/9/2026
fix(examples): 旗艦 e2e chain の README が凍結 Python (.venv/bin/python -m fslc) を権威として教え、逐語 assert がそれを固定している Đang mở

ai-discovered bug

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

ymm-oss/fsl#999 · Mở ngày 7/9/2026
fix(examples): --deadlock ignore を教える実行例が examples 配下の12ファイル・36箇所に残っている（#979 の e2e 以外の全数） Đang mở

ai-discovered bug

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

ymm-oss/fsl#998 · Mở ngày 7/9/2026
spike(evidence-binding): 最初の producer/consumer を1組決め、必要な artifact binding と証跡帰属の粒度を逆算する Đang mở

needs-evidence spike

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

ymm-oss/fsl#994 · 1 bình luận · Mở ngày 7/9/2026
docs(refine): chain の隣接検査と直接合成検査を同値とする記述を直す Đang mở

ai-discovered documentation

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

ymm-oss/fsl#991 · 1 bình luận · Mở ngày 6/9/2026
docs(RUST-PORTING): decide the fate of check_rust_full_envelope.py's frozen-Python comparison edge Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100

ymm-oss/fsl#988 · 1 bình luận · Mở ngày 4/9/2026
perf(ci): evaluate trimming debug info to shrink the semantic-mutation / rust-native-z3 Actions caches Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

ymm-oss/fsl#984 · Mở ngày 4/9/2026
fix(codex): cargo_lock.py reports a signalled shell as 247 instead of the POSIX 128+N Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 86/100

ymm-oss/fsl#983 · Mở ngày 4/9/2026
fix(e2e): 旗艦 e2e chain の公開手順が不要な --deadlock ignore を教えており、逐語 assert がそれを固定している Đang mở

ai-discovered bug

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100

ymm-oss/fsl#979 · 1 bình luận · Mở ngày 3/9/2026
docs(docs-site): Playground の verify 経路をローカルで検証できない(docs/intro/fsl-wasm/ のビルド前提が未文書化) Đang mở

ai-discovered

Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 88/100

ymm-oss/fsl#977 · Mở ngày 3/9/2026
test(tooling): require invocation-unique scratch roots with ownership-checked cleanup Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 38/100

ymm-oss/fsl#963 · Mở ngày 1/9/2026
meta(test-quality): 検出器・比較・inventory の false green を fail closed にする Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 32/100

ymm-oss/fsl#956 · Mở ngày 30/8/2026
meta(mutation): 実装 mutation testing の accepted pilot を verify_bounded_config の leadsTo 3 decision へ拡張する Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 68/100

ymm-oss/fsl#953 · Mở ngày 30/8/2026
docs(agents): 「投入した」を「実行した」と報告する誤りと、コミット前の hunk 分類を AGENTS.md の規則にする Đang mở

documentation

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100

ymm-oss/fsl#948 · Mở ngày 28/8/2026
design(cli): verify の result クラス↔process exit 対応が単一オーナーを持たず、テスト側の束縛強度に依存している Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

ymm-oss/fsl#901 · 1 bình luận · Mở ngày 25/8/2026
design(lints): deny clippy::expect_used/unwrap_used in library crates to block panics crossing the public API boundary Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 45/100

ymm-oss/fsl#899 · Mở ngày 25/8/2026
docs(case-study): property-first 分散leaseモデルから実装回帰テストまでを示す Đang mở

ai-discovered documentation track:D

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 45/100

ymm-oss/fsl#887 · Mở ngày 24/8/2026
design(language): 環境仮定を保証から分離し、runtime evidence に結び付ける Đang mở

ai-discovered enhancement spike track:E

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 28/100

ymm-oss/fsl#886 · Mở ngày 24/8/2026
内部表現が「公開契約で既に閉じている集合」を型に載せていない（演算子 `String`、`KernelModel` の外部構築） Đang mở

ai-discovered enhancement

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 45/100

ymm-oss/fsl#859 · Mở ngày 21/8/2026
spike(corpus): accepted surface syntax のゼロ使用箇所を positive/negative control または明示的非対象へ分類する Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

ymm-oss/fsl#849 · Mở ngày 20/8/2026
`fslc testplan`: bounded exhaustive conformance vector から実装テストを選択・生成する（negative 271件が現在未使用） Đang mở

ai-discovered enhancement

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

ymm-oss/fsl#844 · Mở ngày 20/8/2026
到達状態では決して偽にできない guard 節を depth 非依存で検出する（`validation` 宣言 + 帰納 lane） Đang mở

ai-discovered enhancement

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

ymm-oss/fsl#842 · Mở ngày 20/8/2026
fsl-lsp: some COMPLETION_KEYWORD_EXCLUSIONS members sit in a group whose stated reason does not describe their grammar role Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

ymm-oss/fsl#838 · Mở ngày 20/8/2026
vivliostyle.config.js の title と author を generate.yml などで設定する Đang mở

help wanted

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

ymm-oss/daigirin-template#400 · Mở ngày 19/8/2026

Đang hiển thị 100 mục mới nhất

Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.

Mở bộ lọc nâng cao

ymm-oss

Đang hiển thị 100 mục mới nhất

Nhận issue mới trong hộp thư của bạn