Limited verification materials for 'Block-based programming with and without AI generation: A state-transition analysis'

This deposit provides limited, non-identifying materials for auditing the aggregate analyses reported in the manuscript “Block-based programming with and without AI generation: A state-transition analysis.” The package contains aggregate result tables, operational definitions, analysis-window and sampling rules, action mappings, robustness summaries, figure-source tables, frozen-input hashes, generic synthetic examples, a rule-level canonicalization specification, checker-family semantics with two representative predicates, deterministic generation-episode classification pseudocode, and scripts for regenerating Figures 2–6 from the disclosed aggregate source tables. The deposit does not include participant-level classroom traces, participant codes, full session identifiers, raw intent text, readable screen content, production source code, exact task configurations, prompt builders, generation, merge, or fallback implementation, the full checker predicate implementation, canonicalization source code, provenance storage, or platform-specific reconstruction components. The package supports aggregate verification of the reported estimands, denominators, episode taxonomy, robustness summaries, measurement definitions, and figure-source values. It does not support end-to-end reproduction of the proprietary platform or participant-level analyses. Documentation, data, and specifications are released under CC BY-NC 4.0; the plotting scripts are released under the MIT License (see SOFTWARE_LICENSE.md).