Manuscript VIII-C@3 · VIII-C-v3.tex · definition · 3b070436
Definition: Scheduled configuration
Configurations, clocks, and command domains · lines 591–627
VIII-C@3#def:configuration
A scheduled configuration is
where:
is a certified regular geometry or certified one-sided germ;
is its installed packet, and is a table index, or in a semantic continuum description;
fixes the substrate;
are the particle-family and four-face parameters; an unused parameter is inactive metadata;
is an execution/flow clock;
includes incidence mode, source stage, schedule stage, module, and finite controller data;
are separate nonnegative integer permissions;
is an optional classical source token;
specifies abstract locations;
reserves geometric resources separately from spectator, location, and implementation-history storage.
For profile ,
Collar mode has an active parameter , holds fixed and regular, and uses its already installed refined dictionary. Profile uses its own slice module and dictionary.
No command changes profile, silently refines the dictionary, or uses implementation history as a source observable.
Displayed formulas in this passage
unlabeled · line 594
unlabeled · line 618