Trace insertion sort as one event per executed line of a fixed Python listing

baltor_insertion_sort_trace

Trace insertion sort as one event per executed line of a fixed Python listing with array snapshots, highlight indices and comparison, shift and write counters checked against inversion identities, plus a sourced note on insertion sort inside introsort.

Files, names only

LICENSE 1.0 KB
SKILL.md 1.5 KB
contracts/input.schema.json 760 bytes
contracts/output.schema.json 4.4 KB
examples/example.expected.json 8.5 KB
examples/example.input.json 104 bytes
references/README.md 3.2 KB
references/provenance.json 4.3 KB
scripts/tool.py 10.6 KB
verification/test_tool.py 8.4 KB

Full files in your harness.

What it takes and gives

Command: python3 -B scripts/tool.py < examples/example.input.json
Input fields: values
Test: python3 -B -m unittest discover -s verification -p 'test_*.py' -v
Files: SKILL.md, contracts/input.schema.json, contracts/output.schema.json, scripts/tool.py
Placed for: Claude Code, Codex, OpenCode, Pi

Details

Kind: Skill
Licence: MIT
Declared effects: reads files, runs commands
Placed for: Claude Code, Codex, OpenCode, Pi
Source: docs/architecture/NORTH-STAR.md
Size: 10 files, 42.9 KB
Identity: baltor_insertion_sort_trace
Version: 10d9575ca77fbd7c7d36dc00d953874d20c379a2b5e29a28c4e82fe76f9343cb

The version is the SHA-256 of the item your harness downloads; every file in it names its own checksum.

Where it is shown

Algorithms that show their workDeterministic skills

Related components

Something wrong with this item, its rights or its safety? Report it on the support page, or from your harness after a download.