Task 241 — Classical Algorithm Execution Trace Visualization

CLRS-30 v1.0.0 · Pipeline v0.1.0 · Workflow 3.5 Gate B Ready · Nancy · 2026-08-09
OWNER PASSEVALUATOR REVIEW REQUESTED

Task contract. Keep the official CLRS initial array, graph, or text/pattern state unchanged in Input. Target begins with the same clean second, then visualizes every official time-indexed hint through the record's true lengths and ends on the official output.

30published algorithms
1,000official train trajectories per algorithm
5explicit Gate B renderer schemas
8Gate B samples

Current lifecycle status. Ready PR #507 is aligned to current dev at exact head c747f703. Owner PASS is officially recorded for all eight samples and 24 checks; MJXWANG is requested for independent Human Evaluator review. Binary-search samples explicitly state the lower-bound problem and label the official result as LOWER-BOUND INDEX. Open the synchronized canonical Gate B review. Full generation and Final writes have not started.

Input → target preview

Representative canonical Gate B evidence. These published exact-head videos demonstrate array-pointer decoding, weighted shortest-path state, and the two KMP phases. The complete eight-sample packet is available on the canonical review page above.

1. Insertion sort — linked predecessor order

train/insertion_sort/0 · 16 official hint states · 96 frames · 12 FPS
INPUT: unchanged initial array
TARGET: official i, j, and decoded pred_h order

2. Dijkstra — queue, settled set, distance, and parent

train/dijkstra/0 · 17 official hint states · 96 frames · 12 FPS
INPUT: unchanged weighted graph and source
TARGET: official u, in_queue, mark, d, and pi_h

3. KMP — prefix table then text matching

train/kmp_matcher/0 · 13 official hint states · 96 frames · 12 FPS
INPUT: unchanged text and pattern symbols
TARGET: official prefix, reset, alignment, and match probes

Identity and provenance

DatasetDeepMind CLRS Algorithmic Reasoning Benchmark / CLRS-30
Official sourcegoogle-deepmind/clrs and CLRS30_v1.0.0 publisher archive
PaperThe CLRS Algorithmic Reasoning Benchmark, ICML 2022
Published scale30 algorithms; the official train split exposes 1,000 trajectories per algorithm at problem size 16, approximately 30,000 train records
Verified local sourceComplete publisher archive, 85,628,509 bytes
Archive SHA-2567743b2f14459c34eb25f1eb6a70047924634bfd00f2ddf5872456b75f73c93b3
Repository licenseApache License 2.0; publisher citation guidance is retained

Native formats and annotation semantics

Native itemMeaningTask 241 use
input_*Initial arrays, targets, graphs, edge weights, sources, text, and patternsComplete clean Input state
hint_*Padded time-indexed algorithm probesChronological Target animation, truncated to true lengths
output_*Official algorithm result such as permutation predecessor, return index, graph parent, or matchFinal Target state
lengthsTrue trajectory length before paddingExact visible hint-state count
CLRS30_v1.0.0 / <algorithm>_<split>
├── input_*   → initial state
├── hint_*    → T × probes
├── lengths   → true T
└── output_*  → official result

canonical identity = revision / split / algorithm / record_index

V2V conversion

OutputConstruction
input_video.mp4Eight-second hold of the complete official initial state.
target_video.mp4Frames 0–11 preserve the initial state; frames 12–95 map every official hint state chronologically and finish on the official output.
prompt.txtAlgorithm-specific wording explicitly names visible probe types, colors, and presentation order.
metadata.jsonMetadata 1.2 binding revision, split, algorithm, record index, true length, per-tensor SHA-256 values, media facts, fingerprint, and exact producing commit.

Gate B selection

AlgorithmRecordsVisible official probes
Insertion sort0, 7i, j, pred_h, final pred
Binary search0, 11low, mid, high, final return
BFS0, 9reach_h, pi_h, final pi
Dijkstra0u, in_queue, mark, d, pi_h, final pi
KMP matcher0phase, i, q, k, s, reset masks, pi, final match

Quality gates and boundaries

Pipeline → final four-file contract

official CLRS archive → verify frozen archive SHA-256
→ load exact split / algorithm / record_index
→ truncate every hint tensor to official lengths
→ schema-specific deterministic array / graph / string renderer
→ clean initial Input + chronological hint-driven Target
→ H.264/yuv420p pair + exact prompt.txt + Metadata 1.2 metadata.json
→ automated media/source/resume checks → Gate B human review
→ only after dual Gate B PASS and merge: separately authorize Full and Gate C

Completeness and source verification

CheckResult
Official source and paperVerified and recorded
Archive identity85,628,509 bytes; SHA-256 7743b2f14459…93b3
Canonical Validation8 samples / 32 payload objects / 979,020 bytes; run 8eb4287b…0ebdc
Task tests7/7 PASS
Workflow control-planePASS on Ready PR #507 exact head c747f703
Canonical review evidenceEvidence eeca3409…34b85; synchronized playback and 17/17 hosted resources verified
Human reviewOwner PASS; MJXWANG requested; Evaluator decision pending
Production Final0 samples; Full generation is not authorized