Add configuration setting to enable late IB inclusion

Author: SupernaviX

data/simulation/config.d.ts

@@ -24,7 +24,6 @@ export interface Config {
   "cleanup-policies": CleanupPolicies;
 
   // Leios Protocol Configuration
-  /** Only supported by Rust simulation. */
   "leios-variant": LeiosVariant;
   "leios-stage-length-slots": bigint;
   "leios-stage-active-voting-slots": bigint;
@@ -35,6 +34,12 @@ export interface Config {
    *
    * Only supported by Haskell simulation. */
   "leios-vote-send-recv-stages": boolean;
+  /**
+   * Extends Leios so that EB producers include IBs directly from previous pipelines
+   * where no certified EB was observed.
+   * 
+   * Only supported by Rust simulation. */
+  "leios-late-ib-inclusion": boolean;
   /**
    * The expected time it takes a header to fully diffuse across the network.
    * This is Δhdr from the Leios paper.

data/simulation/config.default.yaml

@@ -26,6 +26,7 @@ leios-variant: short
 leios-stage-length-slots: 20
 leios-stage-active-voting-slots: 1
 leios-vote-send-recv-stages: false
+leios-late-ib-inclusion: false
 leios-header-diffusion-time-ms: 1000.0
 # TODO: revise default
 praos-chain-quality: 20

data/simulation/config.schema.json

@@ -251,6 +251,10 @@
       "description": "The expected time it takes a header to fully diffuse across the network.\nThis is Δhdr from the Leios paper.",
       "type": "number"
     },
+    "leios-late-ib-inclusion": {
+      "description": "Extends Leios so that EB producers include IBs directly from previous pipelines\nwhere no certified EB was observed.\n\nOnly supported by Rust simulation.",
+      "type": "boolean"
+    },
     "leios-stage-active-voting-slots": {
       "additionalProperties": false,
       "properties": {},
@@ -262,8 +266,7 @@
       "type": "number"
     },
     "leios-variant": {
-      "$ref": "#/definitions/LeiosVariant",
-      "description": "Only supported by Rust simulation."
+      "$ref": "#/definitions/LeiosVariant"
     },
     "leios-vote-send-recv-stages": {
       "description": "Determines whether a Leios pipeline has separate Vote (Send) and Vote (Recv) stages.\nIf this is set to `true`, it is recommended to set `leios-stage-active-voting-slots`\nto be equal to `leios-stage-length-slots`.\n\nOnly supported by Haskell simulation.",