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

Back to manuscript

A scheduled configuration is

where:

  1. is a certified regular geometry or certified one-sided germ;

  2. is its installed packet, and is a table index, or in a semantic continuum description;

  3. fixes the substrate;

  4. are the particle-family and four-face parameters; an unused parameter is inactive metadata;

  5. is an execution/flow clock;

  6. includes incidence mode, source stage, schedule stage, module, and finite controller data;

  7. are separate nonnegative integer permissions;

  8. is an optional classical source token;

  9. specifies abstract locations;

  10. 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

Nearby in this section