JacobLinCool/softchart-barscript

BarScript (experimental preview) — C1.3, denominator augmentation, seed 1234

Audio log-mel + a bar grid → a Taiko no Tatsujin chart, decoded under a finite-state grammar over bar-scoped plan, skeleton and realization stages.

BarScript is the release name of this charting model; it is also the name of the bar-scoped multi-stage token encoding it decodes into. It is a preview under evaluation, published so it can be tried, not as a finished model: the champion comparison below is inconclusive, and §2 lists measured defects — one of which fires a pre-registered kill condition. The seven published SoftChart 1.x models are a separate, unaffected line.

source checkpoint	runs/sc2_c1_v13_s1234/best.pt
sha256	44980bf64b1611ea73c1433c41adceff7596cfeece30dfaad5d228eae4a14e6e
seed / step	1234 / 96 000 of 100 000
best validation CE	0.5769365892960475
parameters	9 107 291
shipped weights	bfloat16 safetensors, 18.2 MB (fp32 checkpoint preserved in the run dir)
training data	JacobLinCool/taiko-1000-parsed-clean, revision b72da4616d643018e81f372cea06ce51349285e0
label spec	barscript_labels_v1, frozen, shipped as spec.json (sha1 cd876768…)
training flags vs C1	--cal-axes big span density · --balance-exclude-big · --denom-augment 0.5 --denom-augment-mode lattice
external pretraining	none

This card is written for THIS checkpoint. Every number below was measured on C1.3's own generations under the serving code this package ships (generate.py md5 73b6e49b…, min_onset_gap_sec = 0.020). Nothing is inherited from the C1 card. Where an item on the C1 card has no C1.3 measurement, it is marked not measured on this arm rather than carried over.

Read the KNOWN LIMITATIONS section before using any number above it. This model has real, measured defects, one of which fires a pre-registered kill condition, and its difficulty ladder is roughly 25 coverage points less nested than an authored one.

---

0. Status: the champion comparison is inconclusive

scripts/sc2_gates.py champion, three pairings on one serving code base (experiments/sc2_eval/FINAL_CHAMPION.md §1):

pairing	champion_verdict	reason code
C1.2 vs C1	inconclusive	no_seed_replicate
C1.3 vs C1	inconclusive	no_seed_replicate
C1.3 vs C1.2	inconclusive	no_seed_replicate

MIN_SEEDS_FOR_VERDICT is 2 in both arms and C1.3 has one seed. The rule fires before any metric is read. No arm has been declared champion.

What the clause ledger says, which is one-directional: C1.3 passes the required §4 clause plan_token_calibration, which C1 fails on both its seeds. No clause is passed by C1 and failed by C1.3. The two a2 span clauses fail on all four arms and belong to the campaign, not to this checkpoint.

The shipping rationale, the two named compromises and the decision rule for choosing a different checkpoint are in experiments/sc2_eval/SHIP_DECISION.md.

Gate items on the 71-chart hard+oni population, this arm against the C1 seed-1234 arm under identical code:

	C1	C1.3
fail / pass / na	9 / 10 / 6	8 / 11 / 6
newly passing	—	control_own_axis_density, control_named_regression_density_big_count
newly failing	—	a2_span_placement_fit (knife-edge, §2.6)

---

1. What it does

• Input — 128-bin log-mel at 22 050 Hz (preprocessor_config.json freezes the exact decode/STFT/mel contract), plus a bar grid with explicit measure edges, exact rational meters and per-bar lattice denominators.
• Conditions — course, authored level, density bucket, and the split-axis knobs big_rate / span_rate / stream / sync.
• Output — a BarScript token stream decoded under BarscriptFSM, exported as TJA on the 96-slot lattice.
• Family decoding — generate_chart_family decodes a song's courses as one nested ladder, hardest first, each easier course biased toward its harder sibling's onsets. Off by default; the campaign's headline population was decoded independently (§2.1).

Capabilities this checkpoint carries (config.json:capabilities): aux, beat_head (hi-res), hierarchical_ctx, axis_knobs, sync_token, stage_emb, span_duration_head, tempo_head, rich_section_stats. It carries no style, sibling, ctx, plan-prefix, slot, dual, align, mask_infill, func_time, global_ctx or complexity conditioning; requests on those axes reach nothing.

What works

Evidence marks: ● n ≥ 71 charts with a measured C1 seed band; ◐ n = 19–71 charts or 8–12 sweep cells, one seed; ○ n < 19 or a CI covering zero.

axis	this checkpoint	reference	mark
Density knob — median within-song ρ 0.850, sign p 0.0078, 8/8 cells positive, +1.413 nps first→last, 12 % monotone adjacency	C1 moves the chart +0.024 / +0.151 nps over the same range and fails the gate; C1 seed-to-seed Δρ 0.003 (p 1.000)	8 songs × 5 buckets, oni	◐
big_rate knob — ρ 1.000, p 0.00049, 91.7 % monotone, and calibrated: true — mean absolute bucket error 0.533, within ±1 bucket 93.3 %	first axis in the whole campaign to clear calibrated; C1 0.533 vs 1.200 / 0.967	12 songs × 5 buckets, oni	◐
span_rate knob — ρ 0.810, p 0.0117, calibrated: true, mean abs err 1.483; and unlike C1 it no longer drags hit density with it	C1's span knob flags onset_nps / hit_nps / n_onsets as interference; C1.3 flags only the definitional span_count	12 songs × 5 buckets, oni	◐
Span budget — 739 spans against the authored 762 (0.970×); span_rate_gen_per_min gap to authored 0.049 against a C1 seed band of 0.198	C1 1.160–1.244×, C1.2 1.259×	97 charts	●
FSM guarantees — 0 unclosed, 0 orphan ends, 0 swallowed hits over 739 generated spans	holds on all four arms	97 charts	●
Placement does not degrade — precision 0.6477 (C1 band 0.6480–0.6502), median |offset| 0 ms, exact_slot_lift_over_null 1.1755 (above the C1 band), long-song drift tests significant 2 vs C1's 6 / 5	see §2.3 for why apparent recall drops	71 charts	●
Accent over-emission reduced furthest — pooled hard+oni big share 0.0873 against C1's 0.1082 / 0.1027 (3.3 seed bands) and an authored 0.0589	still outside the pre-registered stop window 0.045–0.075	71 charts	●
Cheaper — 1 618.6 tokens/chart, 19.22 tokens/bar, max_window_tokens_p99 449	C1 1 731.2 / 20.51 / 515	71 charts	●
Deployment grid repaired — on a forced /16 BPM grid, notes ÷ authored 1.130 / 1.112 / 1.067 / 1.027 and onset F1 0.333 / 0.374 / 0.466 / 0.580	C1 1.688 / 1.461 / 1.297 / 1.210 and F1 0.318 / 0.376 / 0.477 / 0.599; C1.3 beats C1.2 on 12 of 12 deployable cells	13 songs × 4 courses, one seed	◐
Empty-bar declaration restored — /16 empty bars 12.82 / 8.60 / 4.55 / 3.14 % against C1.2's 5.96 / 3.23 / 1.08 / 0.33 %, sign-significant on 3 of 4 courses	authored 15.69 / 12.30 / 9.08 / 6.27 %	13 songs	◐

---

2. KNOWN LIMITATIONS

Nothing in this section is softened. Where a limitation is invisible to the gate suite, that is said.

2.1 The difficulty ladder is 25–32 coverage points less nested than authored

Coverage = the fraction of the easier chart's notes that have a note in the harder chart within tolerance. Two decode modes, two different numbers, and both belong on the record.

adjacent pair	authored charts	independent decode (package default)	family decode β = 2 (authored grid)	family decode β = 2 (/16 deploy grid)
easy → normal	0.970	0.658	0.730	0.726
normal → hard	0.979	0.667	0.797	0.811
hard → oni	0.985	0.660	0.822	0.834

Independent-decode figures: FINAL_CHAMPION.md §8.1, n = 13 / 13 / 35 songs, one seed, same serving code as this package (●/◐). Family-decode figures: C13_PREDICTION.md §3.3, n = 13 songs, one seed (◐).

Five things make this worse than the headline:

• nesting_coverage and hand_agreement FAIL the family gate on every arm measured, C1 included. difficulty_monotonicity passes on all of them.
• C1.3 is slightly worse than C1 here. C1's independent-decode coverage on the same population is 0.690 / 0.704 / 0.737; C1.3 is −0.032 / −0.037 / −0.077 against C1 seed bands of 0.010 / 0.021 / 0.025. The move is small against the ~0.30 gap to authored that every arm shares, but it is in the wrong direction.
• Hand agreement at coinciding hits is near chance on hard→oni: C1.3 0.539 against a marginal-chance null of 0.500 and an authored 0.753. When two generated courses agree that a note belongs somewhere, which drum they pick is near-independent across courses.
• The /16 figure overstates the model's nesting. The same checkpoint on a /96 grid drops to 0.649 / 0.730 / 0.752, worse on 11–12 of 13 songs (p = .003 / .022 / .022). A coarse lattice manufactures agreement by leaving few places to disagree (C13_PREDICTION.md §5.2).
• family_bias = 2.0 / family_hand_bias = 1.5 are PROVISIONAL — described in generate.py as logit offsets on a decoder never trained at that setting, and never calibrated against the authored target.

2.2 The note-type channel carries almost no information

71 charts, 22 260 matched slots (FINAL_CHAMPION.md §5.2, ●).

quantity	this model	its own floor	corpus §2.1 floor
4-way accuracy	0.4776	majority 0.5559	majority 4-way 0.563
— margin over majority	−0.0783, 95 % CI [−0.1022, −0.0530]
hand accuracy	0.5493	always-don 0.5975	always-don 0.620
— margin	−0.0482, CI [−0.0721, −0.0229]
MI(generated; authored), 4-way	0.01028 bits	—	0.79 % of H(authored) = 1.300 bits
MI, hand	0.00534 bits	—	0.55 % of 0.972 bits

• The model sits below its own majority floor on both endpoints, and below the campaign's corpus baselines (56.3 % / 62.0 %), which are a fixed reference line from a separate 59 961-hit census, not this population.
• The honest caveat, which cuts the other way. The published floors are argmax predictors scored against a temperature-1.0 top-p-0.95 sample. Against the sampler-appropriate i.i.d. floor (Σ p² = 0.4582 4-way, 0.5190 hand) this model is above baseline by +0.0194 and +0.0303 — the largest 4-way excess of any arm in the campaign. Both readings belong on the record.
• MI is flat at ~0.010–0.012 bits on all four arms (seed band 0.0008). The accuracy differences between arms are marginal-matching, not information.
• Accuracies are conditional on coverage 0.6442 (precision side) / 0.5842 (recall side); more than a third of generated hits have no authored partner, and coverage is 9 % lower than C1's, so this population is smaller and differently selected than C1's.
• No inter-charter agreement ceiling exists for this split — no (song, course) carries two independent authored charts — so 100 % is not a legitimate target and is not used as one.
• Greedy re-decoding was not repeated on this arm. The C1-era finding that greedy closes part of the gap at an unacceptable motif_reuse cost is not measured on this arm and must not be quoted for it.

2.3 The note budget is 9 % short, and it is the whole of the apparent timing regression

	C1 (s1234 / s4321)	C1.3
onset_precision	0.6480 / 0.6502	0.6477
note budget (gen ÷ authored notes)	1.0046 / 0.9912	0.9069
onset_recall	0.6510 / 0.6445	0.5874
frac_of_authored_within_jnd	0.6463 / 0.6397	0.5840
type_coverage_recall	0.6465 / 0.6401	0.5842

precision × budget equals onset_recall to four decimals on every arm, by construction. Those three "timing" rows are one quantity, and it is the note budget, not placement: precision is inside the C1 seed band, median offset is 0 ms, exact_slot_lift_over_null is above the band, and significant drift tests fall from 6 / 5 to 2.

The shortfall itself is a real regression and its cause is unknown. It appears on both C1.2 and C1.3, so it belongs to the --cal-axes / --balance-exclude-big pair rather than to the denominator augmentation. It is the largest practical regression in this release.

2.4 Raising density squeezes drumrolls out — this is the compromise a user can hit

Median spans/min over eight oni songs, per requested density bucket (authored 3.885; FINAL_CHAMPION.md §4.3, 8 songs × 5 buckets, ◐):

requested density	0	3	7	11	15
C1 (s1234)	3.629	3.055	4.153	2.818	2.971
C1.3	3.550	4.413	2.172	2.727	1.279

ρ(density → span_per_min) = −0.759, sign p 0.0078, first→last −2.443 /min. At the top of the density request C1.3 delivers 33 % of the authored span rate; C1 delivers 76–79 %, C1.2 44 %.

• Do not advertise the density knob at its top setting until this is fixed.
• There is a named suspect: cal_span never left 0.1667 on either challenger, so this is plausibly a calibration term that never trained rather than an intrinsic cost of the knob.
• The mirror image is a gain: C1.3's span_rate knob no longer drags hit density, which C1's does.

2.5 Absolute bucket calibration is still wrong on the density axis

axis	exact bucket	within ±1	mean abs error	mean signed	calibrated
density	5.0 %	25.0 %	4.125	−1.075	false
big_rate	53.3 %	93.3 %	0.533	+0.267	true
span_rate	—	—	1.483	—	true

The density knob orders the request correctly and lands in the wrong bucket, under-shooting by ~1 bucket on average — more than C1.2 does. Rank control is real; absolute density targeting is not delivered.

Note the cost that comes with the big_rate calibration win: C1.3 has the shortest big_rate ladder of any arm (first→last +0.159 against C1's 0.183 / 0.224), so the top of that request now delivers less accent than C1's did.

2.6 It fails its own span-quality gate and triggers a pre-registered kill condition

71 charts hard+oni (467 closed spans) and 26 charts easy+normal (272):

axis	hard+oni	easy+normal
duration_low_tail	fail (rate verdict passes; balloon 0.250 beats = 0.75× the shortest authored balloon, roll 0.250 = 0.60×)	fail (balloon 0.250 beats = 0.20× the shortest authored balloon; 45/159 balloons below authored support)
forced_close	fail — 7 / 467 = 1.499 % (0 unclosed, 7 clamp-forced)	fail — 7 / 272 = 2.574 %
over_span_max	fail — one balloon 7.72 s = 1.19× the 6.5 s ceiling	fail — one balloon 7.58 s = 1.17×
placement_fit	fail — AUC 0.560 (CI [0.529, 0.593]) against a 0.56 floor; authored reference 0.668	pass — AUC 0.604
orphans / swallowed / rate / duration	pass	pass
a2_kill_condition_not_triggered	fail — the kill condition FIRED	fail

The pre-registered kill condition (SOFTCHART2_DESIGN.md §4-A2) reads: rate is calibrated but placement/length quality is bad → concede that the bar-scoped commitment mechanism is insufficient and escalate to an independent span-state objective. It fires on all four arms, including C1. Shipping does not discharge it.

placement_fit is a knife-edge, not a finding. C1.2 passes at 0.561 and C1.3 fails at 0.560 with CIs overlapping every other arm across their whole width. One thousandth of AUC decides the verdict. It is reported, not used.

2.7 One span in seven is a micro-span

All generated spans, 97 charts, FINAL_CHAMPION.md §2 (●):

	n spans	p1	p5	p50	p90	min	share < 0.25 s
authored	762	0.177	0.273	0.963	2.419	0.083	3.8 %
this model	739	0.089	0.150	0.818	2.258	0.072	14.7 %

Per course: easy 6.6 %, normal 8.1 %, hard 13.7 %, oni 25.2 % — authored 3.0 / 3.3 / 2.1 / 7.1 %.

• C1.3 does not inherit C1.2's worsening (16.4 %); 14.7 % is exactly at the top of the C1 seed band (13.6–14.7 %). It is not an improvement either.
• Mechanism is known and unfixed on every arm. Duration bucket 0 is open at the bottom; 123 of C1.3's 739 spans sit in it, at a median 0.5 beats against the authored 0.917.
• The shipped floor does not fix it. span_min_sec / span_min_beats fired 263 times (span_close_floor) plus 33 carries across 97 charts and the < 0.25 s share is still 14.7 %.
• The mitigation is unbuilt. span_bucket0_profile is null in this package because scripts/build_span_bucket0_profile.py has never been run on the train split. This is the shortest available fix and it is not in the box.
• The gate cannot see it directly. a2_span_duration compares p50/p90/p99 only and passes; duration_low_tail catches the support violation but not the rate (its rate verdict passes on this arm).
• On a /16 deployment grid the same quantity is 14.7 / 12.4 / 30.6 / 21.8 % — hard is untouched by the augmentation and is the worst cell in the release.

2.8 The deployment grid has a two-role conflict that no checkpoint dissolves

BAR_DENOM is simultaneously an input the grid supplies and a trained output token the model reads as a density announcement. bar_denoms="supplied", the shipped default, teacher-forces it.

13 songs × 4 courses, one seed, --cond authored, C13_PREDICTION.md:

easy / normal / hard / oni	authored grid	forced /16	/96	/24
notes ÷ authored	0.917 / 0.919 / 0.875 / 0.899	1.130 / 1.112 / 1.067 / 1.027	0.944 / 0.950 / 0.943 / 1.027	1.102 / 1.070 / 0.950 / 0.921
onset F1	0.613 / 0.565 / 0.595 / 0.647	0.333 / 0.374 / 0.466 / 0.580	0.303 / 0.325 / 0.393 / 0.535	0.342 / 0.370 / 0.442 / 0.542
genuine triplets (den 3/6/12/24) %	1.13 / 2.48 / 6.34 / 9.43	0.00 (arithmetically impossible)	3.45 / 5.78 / 10.57 / 11.46	14.13 / 20.31 / 28.57 / 38.70
ultra-fine (den 48/96) %	~0	0.00	11.53 / 13.22 / 15.62 / 6.60	0.00
nesting (family β = 2)	0.730 / 0.797 / 0.822	0.726 / 0.811 / 0.834	0.649 / 0.730 / 0.752	0.714 / 0.769 / 0.779

Authored triplet rates for reference: 4.20 / 5.72 / 7.43 / 9.95 %; ultra-fine ~0.00 %.

The recommended deployment configuration is --grid bpm --grid-bpm-denom 16 with the package default bar_denoms="supplied". Its two costs, stated plainly: triplets are exactly 0 and cannot be otherwise, and hard micro-spans stay at 30.6 % against an authored 2.1 %.

Four consequences a deployer must carry:

• Deployment costs 10–46 % of onset F1 relative to the authored grid: easy −46 %, normal −34 %, hard −22 %, oni −10 %. Every --grid authored number in this card is therefore optimistic for a user who supplies only BPM.
• p90 |offset| is 0 ms on the authored grid and 14.6–36.7 ms on the bpm grids. That residual belongs to the bar edges; no denominator choice touches it.
• The model's off-dyadic rate is a property of the model, not the lattice. Given any 3-divisible grid it puts 2–3× the authored share off the dyadic grid; the grid only decides whether that mass gets called "triplets" (/24) or "ultra-fine jitter" (/96). This is a training-side defect and no deployment grid fixes it.
• The gate suite cannot score the deployment path. robustness.py:629-642 raises ContractError on uniform-BPM arms, so every gate timing metric is null for the path the model ships on; the /16 figures above come from timing.py, a second implementation that reproduces the gate on the authored grid.

The deploy_bpm_grid profile in this package is NOT the recommendation. It sets bar_denoms="model", bar_denom_mask="div96", per DEPLOY_GRID_FIX.md §7 — a recommendation made explicitly conditional on C1.3 failing, which it did not. That arm was measured on C1 only: density 1.06 / 1.08 / 0.97 / 1.01 and nesting 0.635 / 0.706 / 0.778. It has never been run on this checkpoint. The profile is kept because it is implemented and because the arm is the obvious next experiment, not because it is advised here.

One contradiction inside this package, stated so nobody has to find it. config.json:serving_profiles.deploy_bpm_grid.basis still quotes DEPLOY_GRID_FIX.md §7 verbatim, including the words "Recommended now", and still carries C1's nesting figures. That string is generated by scripts/sc2_package.py, which is read-only for this release. This section supersedes it. The generated string is left intact rather than silently diverging from the shipped code.

2.9 Playability floor: gaps no human hand can play

Recomputed on this arm's own events, 71 charts hard+oni, generated vs authored on the same songs (producer experiments/sc2_eval/ship_c13/playability.py, records .../records/playability_all_arms.json; ●):

	this model	authored
inter-onset gaps < 40 ms	102 across 29 charts	2 across 1 chart
— as a share of adjacent pairs	0.296 % (102 / 34 484)	0.0053 % (2 / 38 032)
gaps below the series record 29.4118 ms	19	0
shortest gap	20.8 ms (the serving floor)	39.7 ms
peak burst in any 1 s window	17 notes	15 notes

C1 on the same population: 151 gaps (0.395 %), shortest 16.7 ms, peak 22 notes/s. C1.3 is better on every row and still 56× the authored rate.

• min_onset_gap_sec = 0.020 is a degeneracy guard, not a fix: it is set below the fastest thing the series has shipped (29.4118 ms, TAIKO-TONGUE-TWISTER oni, BPM 170, 48th notes) precisely so it cannot refuse a chart the domain writes. It fired 125 times across 97 charts with 0 fail-opens. A mask cannot fix a distribution.
• The generate.py constant comment quotes the generated sub-40 ms rate as ~0.35 % against ~0.045 % authored. That authored figure does not reconcile with the 0.0053 % measured here, and the two have never been put on the same denominator. The excess is 8× on the comment's accounting and 56× on this one.
• Good news that replaces a C1-card claim. The C1 card reported the model placing hits in 19.6 % of sub-0.25 s scaffolding bars. Under today's serving floors this arm places 0 hits in all 112 such bars across 97 charts, exactly as the authored side does; degenerate_bar_hits_blocked fired 12 times with 0 fail-opens.

2.10 Pattern proxies regress against C1 on hard+oni

71 charts, one code version, C1 band = |s1234 − s4321| (FINAL_CHAMPION.md §3):

metric (lower is better)	C1 mean	C1 band	C1.3	×band	relative
motif_reuse_gap	0.3630	0.0042	0.4222	+14.1	+16.3 %
compression_gap	0.0976	0.0006	0.1116	+23.3	+14.3 %
motif_ref_marginal_js	0.0331	0.0046	0.0452	+2.6	+36.6 %
ioi_js_per_chart	0.0295	0.0006	0.0352	+9.7	+19.3 %
ul_4gram_js_per_chart	0.2402	0.0055	0.2530	+2.3	+5.3 %
class_4gram_js_per_chart	0.1337	0.0080	0.1357	+0.2	+1.5 %

The ×band column overstates the case — several bands are under 1 % of their own level — so the relative column is the honest one. On motif_reuse the bootstrap CIs are nonetheless disjoint: C1 [−0.392, −0.334] / [−0.388, −0.334] against C1.3 [−0.447, −0.396]. The regression is real and not seed noise.

Four bounds, all measured, none of them a dismissal:

• It does not happen on easy+normal. Every pattern proxy there is inside the C1 seed band, motif_reuse_gap is marginally better than C1's mean, and class_4gram_js is better on both challengers.
• The decomposition puts the loss on rhythm and hand, while the accent layer improves: rhythm 0.1251 → 0.1640, hand 0.1774 → 0.2102, accent 0.0606 → 0.0480.
• ioi_js_per_chart is where the augmentation shows up — it reads the exact rational IOI lattice, and it is C1.3's worst pattern metric relative to C1.2 (+9.7 band against +1.5).
• The proxy reads mostly a channel carrying ~0.010 bits about the authored type (§2.2), and it has never been validated against a listener. It is quoted because §4 names it, not because it is strong.

Realized motif_reuse is 0.3165 against an authored 0.7387 — under half the authored repetition.

2.11 The note-type marginal, and one C1 finding that does NOT reproduce

Big notes are 1.48× the authored rate pooled hard+oni (0.0873 vs 0.0589), worst on the easiest course:

course	authored	C1.3	C1 (s1234 / s4321)
easy	18.80 %	26.22 % (1.40×)	32.68 % / 29.65 %
normal	11.75 %	17.41 % (1.48×)	19.21 % / 20.77 %
hard	7.38 %	10.61 % (1.44×)	13.11 % / 12.73 %
oni	4.88 %	7.40 % (1.52×)	9.29 % / 8.58 %

The pre-registered stop window (0.045–0.075 pooled hard+oni) is not met.

The C1 card's §2.8 claim does not reproduce here and is corrected. On C1 the realized class marginal was 13× closer to the training loss weights than to the corpus. On C1.3 it is the other way round: JS(gen ‖ authored) = 0.00588 against JS(gen ‖ class-weight prediction) = 0.00746 (JS(authored ‖ weights) = 0.01452). --balance-exclude-big moved the marginal off the loss weights and toward the corpus. The log-log fit of realized share against class weight collapses from slope 0.378 (ρ 0.436) on C1 to slope 0.078 (ρ 0.156) on C1.3.

2.12 Fine-lattice, tuplet and syncopation accuracy are much worse than average

robustness.py timing strata, 71 charts, exact-slot rate (overall 0.5840):

stratum	n authored	exact-slot	C1 (s1234)
lattice step 11.6–23.2 ms	114	0.342	0.456
lattice step 23.2–46.4 ms	790	0.443	0.465
lattice step ≥ 92.9 ms	24 228	0.594	0.651
positions with a denominator divisible by 3	3 480	0.345	0.496
syncopation band 0 → band 5	20 846 → 1 669	0.615 → 0.434	0.672 → 0.514
local IOI 25–50 ms	189	0.402	—
BPM > 250	2 570	0.499	—

Every stratum is lower than C1's, which is the note-budget effect of §2.3 acting on a per-stratum recall, but the shape is the finding: tuplet positions and fast lattice steps are 0.24 below the overall rate, and accuracy decays monotonically with syncopation.

2.13 Smaller, but on the record

finding	number	n	source
long_song_no_drift fails	2 of 21 metrics significant at BH q ≤ 0.05 (dens_signed_err, plan_dens_bucket_tvd) — C1 fails 6 / 5	71 charts	robustness.json ●
Harness-level generation failures	6 of 71 song-courses refused (#BRANCHSTART and non-representable meters); 1 chart exported gen_tja = null — identical to C1 on the same population	71 charts	index.json ●
Slot-export off-lattice events	8 across 97 charts (C1: 5) — the documented contract path, not a crash	97 charts	decoder counters ●
escape_hatch fires	91 times across 97 charts (C1: 84)	97 charts	decoder counters ●
Generation wall time	9.29 s/chart, 4.33 s per audio-minute — contended, the GPU was shared, quoted as a declaration only	71 charts	●
Complete-bar rest placement	not measured on this arm (C1: Jaccard 0.474, recall 0.623)	—	—
Greedy-decode contrast	not measured on this arm	—	—
Micro-span seed sensitivity	not measured on this arm (C1: 24.0 % vs 32.4 % across two sampling seeds on 19 oni charts)	—	—

2.14 The evidence base is thinner than it looks

• One seed. Every number in this card is n = 1 in the training seed. The C1 seed band quoted throughout is C1's, used as a reproducibility scale; it is a range over n = 2 and carries no confidence statement.
• easy and normal are evaluated on 13 songs. The 71-chart population is hard + oni only; the easy/normal population is 26 charts from 13 songs, and its seed band is 4–5× wider than hard+oni's.
• Every difficulty-family and deployment-grid number is 13 songs, one seed (◐). Every knob sweep is 8–12 songs × 5 buckets (◐).
• At these sizes a gate pass carries little information. Worked example from this campaign: the big_share_of_hits gate flips between two C1 training seeds while the failing seed's point estimate is smaller. At n = 36 that gate cannot rank checkpoints, and no pass/fail on it should be quoted as evidence for any arm.
• Nothing here is audio-referenced except a2_span_placement_fit. Every other quantity is chart-vs-chart on the exact rational lattice or on hit order. No timing window and no game judgement parameter appears anywhere in this path.
• best_val is comparable across C1 / C1.2 / C1.3 (one training cache) and not comparable to C1.1 or to any arm on a different cache. C1.3's 0.5769 is 2.9 % worse than C1.2's 0.5605; that was the registered trade and the deployment side won it.
• No plan-neutral arm was generated, so the plan_neutral_fallback §4 clause is na and the ledger is incomplete by one required clause.

2.15 Serving regime: what motif_constraint: auto resolves to, and why it matters less here

motif_constraint: "auto" resolves to OFF for this checkpoint: the training cache's barscript_md5 (634e3dc3…) differs from the serving barscript.py (9afc715a…), so the gold sequences it trained on never satisfied the MOTIF hard constraint. train_serve_matched = true — OFF is the train/serve-matched choice and it is the right default.

Unlike the C1 package, this card needs no correction for it. Every number in this card was measured with the constraint OFF, i.e. under exactly this package's resolved default; the 20 evaluation runs all record serving_fsm.motif_constraint: off, verified: true. In particular motif_ref_marginal_js here is 0.0452 (hard+oni) and 0.0114 (easy+normal), both measured OFF.

Two things that still belong on the record:

• The ON/OFF blast radius was measured on C1 only, where switching the constraint on moved motif_ref_marginal_js 0.0311 → 0.0189 (−39 %). On the C1 package the shipped default therefore makes the correct value 0.0311, not the 0.0189 in the older tables. That contrast has never been measured on C1.3, so no ON-constraint number should be quoted for this checkpoint.
• Serving under the constraint ON would be train/serve mismatched for this checkpoint and is not a supported configuration.

---

3. Serving contract

Every value below is in config.json:serving, with its justification in config.json:serving_basis. Pass them explicitly — the package's serving_kwargs() does — so the recorded contract is the one that reaches the decoder.

parameter	value	one-line basis
min_onset_gap_sec	0.020	Degeneracy guard, not a corpus percentile. Must stay strictly below the series record of 29.4118 ms (BPM 170, 48ths). Two earlier corpus-derived values (0.0395, 0.0300) were both wrong. See §2.9.
degenerate_bar_sec	0.25	Authored charts place zero hits in any bar under 0.375 s (3 010 bars). Largest round threshold with zero counterexamples and 1.5× margin; identical to the gate's threshold. Blocks hits only, never span geometry.
span_min_sec / span_min_beats	0.0833 / 1⁄3	Authored population minima. Fail-open, counted. Does not fix §2.7.
span_bucket0_profile	null	Not built — see §2.7.
family_bias / family_hand_bias / family_mode	2.0 / 1.5 / bias	Provisional, never calibrated — see §2.1. Family decode is opt-in.
motif_constraint	auto → resolves off here	Train/serve matching by barscript.py md5 — see §2.15.
bar_denoms / bar_denom_mask	supplied / lattice	The evaluated regime, and the recommended deployment regime on a uniform /16 grid. The deploy_bpm_grid profile exists but is not recommended for this checkpoint — see §2.8.
greedy / temperature / top_p	false / 1.0 / 0.95	As evaluated.
plan_temperature	null (follows temperature)	Never exercised in evaluation; shipped unset rather than tuned.

_has_sync must be forced on at load. train.py records sync_token=False while the training prefix carries the SYNC slot, so a loader that trusts the recorded flag drops the slot and every sync bucket reaches the decoder as an identical prefix. The package loader does this and records why in config.json:serving_prefix_fix. This is a workaround; the fix belongs in train.py.

Recommended deployment configuration

--grid bpm --grid-bpm-denom 16          # uniform /16 grid
bar_denoms = "supplied"                 # the package default
motif_constraint = auto  -> off         # resolved at package time
family decode: optional; β = 2.0 / 1.5 is provisional

Expected behaviour under it, 13 songs × 4 courses, one seed: notes within 13 / 11 / 7 / 3 % of authored; onset F1 0.333 / 0.374 / 0.466 / 0.580; zero triplets; hard micro-spans ~30 %.

---

4. Weights are bfloat16

Training ran bf16 autocast and CUDA inference runs bf16 autocast, so fp32 storage carried no information the forward pass could use — the argument the v1.5 release made and verified. Measured cast cost: max absolute delta 0.00711 on frontend.2.weight (0.349 % of that tensor's max) over 9 107 291 float elements.

This is an argument about the compute dtype, not a proof that the two checkpoints decode identically. Sampling is chaotic in the logits, so individual charts can differ. The paired fp32-vs-bf16 evaluation has not been repeated for BarScript. The fp32 checkpoint is preserved in the source run directory and is the reference for any bit-level comparison.

---

5. Provenance

serving code	generate.py md5 73b6e49b00fb60f3229c8539bc7a1029; all 18 src/softchart/*.py md5s in config.json:code.module_md5
evaluation harness	sc2_generate_eval_v2_2_serving_floors, contract sc2_eval_v2
evaluation runs	20 run indices, 1 028 charts, one serving_floors signature, comparable: true, 6/6 floor counters present
headline population	71 charts hard+oni (36 songs) + 26 charts easy+normal (13 songs), --cond authored, --grid authored, seed 1
deployment population	13 songs × 4 courses × 10 arms, --cond authored, one serving tree, one signature
label spec	spec.json, field-for-field equal to the cache manifest's copy (spec_parameters_match_cache_manifest: true)
uploaded	no (release_manifest.json: "uploaded": false)

Reports: experiments/sc2_eval/SHIP_DECISION.md, experiments/sc2_eval/FINAL_CHAMPION.md, experiments/sc2_eval/C13_PREDICTION.md, experiments/sc2_eval/C12_EVAL.md, experiments/sc2_eval/DEPLOY_GRID_FIX.md.