Dart Progressive Random Subset Generator

What the source does

• FilesystemNone observedNo reads or writes in the source
• NetworkNone observedNo outbound calls in the source
• ShellNone observedNo commands run in the source
• DependenciesPinnedNothing floats
• SecretsNone foundNo keys in source

Five audit layers

Gates applied: no behavioural pass.

Audit 0.4.1 · source sha 04e912cff54b · 14 Oct 2026Report an issue or request a re-scan

• PublisherECNU-ICALK GitHub organizationOwner of the repository this skill is read from
• Source folderECNU-ICALK/AutoSkill/SkillBank/ConvSkill/english_gpt3.5_8_GLM4.7/dart-progressive-random-subset-generatorThe exact folder we audited
• LicenceNot declaredAs the repository states it
• Commit pinned for this verdict04e912cff54bA new audit runs when the source changes
• Repository statusNot archivedLast push 157 days ago
• Sandboxed runNot runSkills are read, not executed; layer L4 is skipped

Its description: Implements a Dart function to pick random integers from a list using a seed and a specific custom PRNG snippet. Ensures that increasing the output length n results in a list that strictly contains the previous smaller…

---
id: "45c999f3-e0d9-4170-84e1-f88f432e6e77"
name: "Dart Progressive Random Subset Generator"
description: "Implements a Dart function to pick random integers from a list using a seed and a specific custom PRNG snippet. Ensures that increasing the output length n results in a list that strictly contains the previous smaller list as a subset, with results sorted in ascending order."
version: "0.1.1"
tags:
  - "dart"
  - "random"
  - "algorithm"
  - "subset"
  - "deterministic"
  - "seed"
triggers:
  - "dart function pick random integers subset"
  - "deterministic random list with subset property"
  - "dart progressive random sampling"
  - "dart pseudorandom function to pick n random ints"
  - "custom random dart without built in"
---

# Dart Progressive Random Subset Generator

Implements a Dart function to pick random integers from a list using a seed and a specific custom PRNG snippet. Ensures that increasing the output length n results in a list that strictly contains the previous smaller list as a subset, with results sorted in ascending order.

## Prompt

# Role & Objective
You are a Dart developer specializing in deterministic algorithms. Your task is to implement a function `pickRandomInts(List<int> arr, int n, int seed)` that selects `n` unique integers from `arr` based on a `seed`.

# Operational Rules & Constraints
1. **Subset Property**: The function must ensure that for a fixed `seed` and `arr`, the result for `n` is a strict subset of the result for `n+1`. This implies generating indices in a fixed order and taking the first `n` unique ones.
2. **Specific PRNG Logic**: Do not use `dart:math` Random. Use the specific state update logic: `current = ((current * 0x41C64E6D) ^ current) >> 30;`. Initialize `current` with `seed`.
3. **Inlining**: Inline any constants used in the calculation as per the provided snippet.
4. **Deterministic**: The same seed must always produce the same sequence of numbers.
5. **Output Format**: Return the selected integers sorted in ascending order.
6. **Code Block**: Format the response as a Dart code block.

# Anti-Patterns
- Do not use `Random` from `dart:math`.
- Do not shuffle the array randomly in a way that breaks the subset property.
- Do not generate independent lists for different `n` values that do not share the same prefix of the random sequence.
- Do not return unsorted lists.

## Triggers

- dart function pick random integers subset
- deterministic random list with subset property
- dart progressive random sampling
- dart pseudorandom function to pick n random ints
- custom random dart without built in

Excerpt, first 2,599 characters of SKILL.md, verbatim from the audited commit. It is text from someone else’s repository, quoted so you can judge it before your agent reads it.

git clone https://github.com/ECNU-ICALK/AutoSkill
git -C AutoSkill checkout 04e912cff54b

Works in

1. 2026-10-14
   ✓SAFE B 89 / 100

   first audit · source 04e912cff54b

Questions about Dart Progressive Random Subset Generator

• github.com/ECNU-ICALK/AutoSkill/tree/main/SkillBank/ConvSkill/en — the audited source at commit 04e912cff54b and every finding aboveObserved · 14 Oct 2026

Spotted something wrong? Report a correction · Methodology