Skip to content

Update iets3-os-developer skill (round 2) - #1885

Merged
kbirken merged 1 commit into
maintenance/mps20241from
feature/know_how_skills_update_round2
Jul 29, 2026
Merged

Update iets3-os-developer skill (round 2)#1885
kbirken merged 1 commit into
maintenance/mps20241from
feature/know_how_skills_update_round2

Conversation

@kbirken

@kbirken kbirken commented Jul 23, 2026

Copy link
Copy Markdown
Member

Summary

Second round of updates to the repo-shipped iets3-os-developer agent skill (.claude/skills/iets3-os-developer/). Documentation-only change (Markdown files); no models or code are touched. The knowledge base is extended with content mined from further merged PRs and consolidated against the current repo state.

Changes

  • Variability: split the former monolithic variability.md along the language layers — it now serves as an architecture overview, with details moved to three new reference files: variability-featuremodel.md (checking rules, tree/diagram editor, constraints), variability-configuration.md (editors, consistency rules, update/propagation machinery, inheritance, combination extension points), and variability-artifacts.md (the IVAA extension surface in artifacts.base, renamers, filtering errors, caches, skeleton trees, for-all-variants runtime).
  • KernelF: added the design contract from the KernelF paper (goals, effects tracking, option/attempt transparency, extension surface) and a verified language map (lang-core / lang-advanced / lang-stateful / tracing, interpreter-per-language and genjava conventions).
  • Physical units: extended with SI unit libraries, typesystem, implicit conversions, and conversion internals.
  • Components: new components.md with the module map of the org.iets3.components.* DSL group, including the functional components that moved from core.
  • Misc: added the structural map of the remaining DSL groups (analysis, assessment, trace, safety, contextfilter, req/glossary, core.*, linters) plus build/publishing and interpreter-test infrastructure notes; companion-PR details for cross-repo work.
  • SKILL.md: updated the reference-file index and trigger description accordingly.

Comment thread .claude/skills/iets3-os-developer/references/components.md Outdated
Comment thread .claude/skills/iets3-os-developer/references/components.md
Comment thread .claude/skills/iets3-os-developer/references/misc.md Outdated
@arimer
arimer self-requested a review July 29, 2026 19:54
Design goals, effects/caching pitfall, number-type rationale,
option/attempt evolution, extension surface; verified concept
geography incl. tracing group; note paper-era renames.

Split variability.md along language layers
Umbrella (architecture) plus featuremodel, configuration, and
artifacts files mirroring the module structure; references updated.

Document artifact extension surface in artifacts.base
IVAA/varpoint interface inventory with public-API warning;
pointer to the dev-guide recipe in the core repo.

Update os-developer skill: structural DSL maps + companion-PR details
New components.md, expr language map, DSL-group map; ForAllVariantsImpl,
DefaultRenamer/ConsistentRenamer.

Consolidate skill content against current repo state
Fix outdated legacy-editor claim (#1632), wrong model locations,
actual API/test-model names.

Update os-developer skill from 14 more mined PRs
Physunits internals, interpreter test infra, for-all-variants runtime,
config inheritance, language architecture, Maven publishing.

Update iets3-os-developer skill from PR mining (25 PRs total)
@arimer
arimer force-pushed the feature/know_how_skills_update_round2 branch from a458c42 to f26a22e Compare July 29, 2026 20:00
@arimer

arimer commented Jul 29, 2026

Copy link
Copy Markdown
Member

squashed commits.

@kbirken
kbirken merged commit 6a1f269 into maintenance/mps20241 Jul 29, 2026
2 checks passed
@kbirken
kbirken deleted the feature/know_how_skills_update_round2 branch July 29, 2026 21:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants