*/
    private int allRecordCount;

    /**
     * The total number of pages available for pagination.
     */
    private int allPageCount;

    /**
     * Indicates whether a previous page exists for pagination.
     */
    private boolean existPrePage;

    /**
     * Indicates whether a next page exists for pagination.
     */
    private boolean existNextPage;

    /**

        Striped.custom(256, FAIR_LOCK_SUPPLER),
        Striped.semaphore(100, 1),
        Striped.semaphore(256, 1));
  }

  private static final Supplier<Lock> FAIR_LOCK_SUPPLER = () -> new ReentrantLock(true);

  private static final Supplier<Semaphore> SEMAPHORE_SUPPLER = () -> new Semaphore(1, false);

  private static List<Striped<?>> weakImplementations() {
    return ImmutableList.<Striped<?>>builder()

        Striped.custom(256, FAIR_LOCK_SUPPLER),
        Striped.semaphore(100, 1),
        Striped.semaphore(256, 1));
  }

  private static final Supplier<Lock> FAIR_LOCK_SUPPLER = () -> new ReentrantLock(true);

  private static final Supplier<Semaphore> SEMAPHORE_SUPPLER = () -> new Semaphore(1, false);

  private static List<Striped<?>> weakImplementations() {
    return ImmutableList.<Striped<?>>builder()

 */
public class MockWitnessService implements AutoCloseable {
    private static final Logger log = LoggerFactory.getLogger(MockWitnessService.class);

    private ServerSocket serverSocket;
    private final AtomicBoolean running = new AtomicBoolean(false);
    private final AtomicInteger registrationCounter = new AtomicInteger(0);
    private final ConcurrentHashMap<String, MockRegistration> registrations = new ConcurrentHashMap<>();

     * consumption.
     */

    @ParametricNullness private final K key;
    @VisibleForTesting @Nullable ValueEntry<K, V>[] hashTable;
    private int size = 0;
    private int modCount = 0;

    private @Nullable ValueEntry<K, V> firstEntry;
    private @Nullable ValueEntry<K, V> lastEntry;

    ValueSet(@ParametricNullness K key, int expectedValues) {

     * consumption.
     */

    @ParametricNullness private final K key;
    @VisibleForTesting @Nullable ValueEntry<K, V>[] hashTable;
    private int size = 0;
    private int modCount = 0;

    private @Nullable ValueEntry<K, V> firstEntry;
    private @Nullable ValueEntry<K, V> lastEntry;

    ValueSet(@ParametricNullness K key, int expectedValues) {

@NullUnmarked
public final class NetworkEquivalenceTest {
  private static final Integer N1 = 1;
  private static final Integer N2 = 2;
  private static final Integer N3 = 3;

  private static final String E11 = "1-1";
  private static final String E12 = "1-2";
  private static final String E12_A = "1-2a";
  private static final String E13 = "1-3";

  private final EdgeType edgeType;
  private final MutableNetwork<Integer, String> network;

@NullUnmarked
public final class NetworkEquivalenceTest {
  private static final Integer N1 = 1;
  private static final Integer N2 = 2;
  private static final Integer N3 = 3;

  private static final String E11 = "1-1";
  private static final String E12 = "1-2";
  private static final String E12_A = "1-2a";
  private static final String E13 = "1-3";

  private final EdgeType edgeType;
  private final MutableNetwork<Integer, String> network;

        }
    }

    // Test implementation of FessUser interface
    private static class TestFessUser implements FessUser {
        private static final long serialVersionUID = 1L;
        private final String name;
        private final String[] roleNames;
        private final String[] groupNames;
        private final String[] permissions;

    private static final int HASH_SIZE_SHA512 = 64; // SHA-512 produces 64-byte hashes

    // Session-specific preauth integrity contexts
    private final ConcurrentMap<String, PreauthIntegrityContext> sessionContexts = new ConcurrentHashMap<>();

    // Security configuration
    private final SecureRandom secureRandom;
    private final int selectedHashAlgorithm;
    private final boolean enforceIntegrity;

    /**