Explore inherited invariants across imported subtype boundaries

オープン

#47 2026年9月23日に作成コメント 0 件リアクション 0 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度: 5/5
見積もり時間: 1週間以上
初心者へのやさしさ: 20/100

issue の種類: 機能追加
明瞭さ: 説明が足りない
活発さ: 活発
技術スタック: go
領域: compilers

調査の方向性

This is a design question about cross-model subtype semantics. Start by reading issue #25 to understand the initial implementation of imported subtype boundaries. Examine the code that resolves imported entity identities, likely in a resolver or type-checking module. The research involves understanding the current architecture and proposing rules for invariant propagation, cycle detection, and diagnostics without an implementation plan.

索引モデルが issue の本文から書いたものです。

説明

Context

Issue #25 will allow a local entity to use subtypeOf: scope.Entity for an imported entity. The initial implementation deliberately resolves only the imported entity identity. It does not traverse the imported hierarchy, detect cross-model subtype cycles, or treat imported invariants as satisfying the local subtype’s completeness obligations.

Open question

Should a future version propagate inherited invariants across that boundary? Doing so would make a local lint result depend on imported model semantics and would need clear rules for traversal, cycles, diagnostics, and ownership.

This is intentionally speculative. We do not yet know whether the added semantic coupling is desirable; no implementation is proposed by this issue.

主要言語: Go
スター: 32
フォーク: 5
平均マージ: 2時間 31分
マージ済み PR（30日）: 5

環境構築

コントリビューションガイドを読む

はじめの一歩

issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
リポジトリをフォークし、ブランチを切って変更します。
issue 番号を参照したプルリクエストを送ります。

stacklok/modelith のほかの issue

Skill: author property tests from a model's invariants and actions オープン

enhancement

難易度 2/5 半日初心者へのやさしさ 68/100

stacklok/modelith#5 · 2026年7月1日に作成
Resolve qualified backticked references in prose オープン

難易度 5/5 1週間以上初心者へのやさしさ 20/100

stacklok/modelith#48 · 2026年9月23日に作成
Azure DevOps support for `deps import` オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

stacklok/modelith#44 · コメント 1 件 · 2026年7月30日に作成
deps check: a pinned copy is reported up to date even when a newer release exists オープン

難易度 5/5 1週間以上初心者へのやさしさ 28/100

stacklok/modelith#43 · 2026年7月28日に作成
Lint: an unclosed code fence in block prose swallows the rest of the rendered document オープン

難易度 3/5 1〜2日初心者へのやさしさ 58/100

stacklok/modelith#39 · 2026年7月27日に作成

stacklok/modelith の issue をすべて見る

似ている issue

deck diff fails with "control plane not found: <ref>" for _external control planes オープン

難易度 2/5 1〜3時間初心者へのやさしさ 84/100

Kong/kongctl#2322 · 2026年9月25日に作成

メンテナーはふだん 1 日以内に返信
Remove obsolete ipAllocationPolicy field from containernodepool-subnetworkref test dependency オープン

難易度 1/5 1時間未満初心者へのやさしさ 92/100

GoogleCloudPlatform/k8s-config-connector#13462 · 2026年9月25日に作成

メンテナーはふだん 1 日以内に返信
docs: update shared workspaces guide for the Owner scope switch オープン

難易度 2/5 1〜3時間初心者へのやさしさ 78/100

coder/coder#29955 · コメント 1 件 · 2026年9月25日に作成

メンテナーはふだん 1 日以内に返信
`EFNoLeadingComments` suppresses synthesized leading comments in tsgo; Strada only suppresses source comments オープン

難易度 2/5 1〜3時間初心者へのやさしさ 84/100

microsoft/TypeScript#64453 · 2026年9月25日に作成

メンテナーはふだん 1 日以内に返信
OpenAI-compatible endpoint: response ids have only 999 possible values (chatcmpl-rand.Intn(999)) オープン

難易度 2/5 1〜3時間初心者へのやさしさ 78/100

ollama/ollama#18655 · 2026年9月25日に作成

メンテナーはふだん 1 日以内に返信

Go の issue をもっと見る