Roadmap search

Versions, deliverables, workstreams, tasks, and pages

Beskid

Jump to a Beskid service

HomeSpecificationBookpckgTrackerNexus
← CatalogView on beskid-lang.org

Incremental scheduling and determinism

featureStandard

src/content/docs/platform-spec/compiler/compiler-mods/incremental-scheduling-determinism/index.mdx

import SpecPageHeader from '@beskid/beskid-ui/platform-spec/SpecPageHeader.astro';

<SpecPageHeader status="Standard" ownerName="Piotr Mikstacki" ownerEmail="pmikstacki@cybernomad.it" submitterName="Piotr Mikstacki" submitterEmail="pmikstacki@cybernomad.it" />

This feature hub defines invalidation keys, cache boundaries, and replay for mod pipelines and Mod projects.

Language alignment

Maps Collector scope strategies (narrow vs workspace-wide) to concrete dependency graph width and dirty-set propagation.

Implementation anchors

  • compiler/crates/beskid_analysis/src/analysis/rules/staged/ — precedent for staged invalidation.
  • compiler/crates/beskid_lsp/ — incremental document models and rescan triggers.

Decisions

No open decisions. Closed choices are normative ADRs under adr/ (D-COMP-MODS-0007 … D-COMP-MODS-0009); use the reader ADRs tab for expandable detail.