Function leaf_stdin

zisk/host/src/main.rs:477–491

Build the 3-slice leaf-guest stdin: range + env bytes + reuse check-list. `check_list` is a packed list of primary addresses (`Address::pack`) to check; empty means "range mode" (use `[start,end)`). A non-empty list puts the guest in reuse mode, checking only those work items.

(
  start: u32,
  end: u32,
  env_bytes: &[u8],
  check_list: &[u8],
)

        "  store: skipping {idx}.proof (no .asm witness; re-prove to refresh)"
      );
      continue;
    };
    let mut subjects: Vec<Address> = Address::unpack(&cov).collect();
    subjects.sort_unstable();
    subjects.dedup();
    let mut assumptions: Vec<Address> = Address::unpack(&asm).collect();
    assumptions.sort_unstable();
    assumptions.dedup();
    out.push(StoredProof { blob, subjects, assumptions });
  }
  out
}

/// Build the 3-slice leaf-guest stdin: range + env bytes + reuse check-list.
///
/// `check_list` is a packed list of primary addresses (`Address::pack`) to
/// check; empty means "range mode" (use `[start,end)`). A non-empty list puts
/// the guest in reuse mode, checking only those work items.