What's new: a piano part written as code, and accepted by machine
New in the knowledge bases
Section titled “New in the knowledge bases”vocology-knowledge: piano arrangements by a model, accepted by machine (wave 14)
Section titled “vocology-knowledge: piano arrangements by a model, accepted by machine (wave 14)”Every sung exemplar in the studio needs a piano part under the voice. This wave records how a reasoning model, Kimi-K3, wrote that part for two public-domain hymns, Amazing Grace and America the Beautiful, as LilyPond code. It is the second wave promoted from the studio’s research bench, rnd.
The model writes, the gates decide. Each arrangement has an introduction, one pass per verse with a texture that builds, and a coda. It ships only if three machine checks pass:
- LilyPond compiles it with no error or warning;
- the melody is in the piano at its written time, in every verse;
- no sung note is left without a piano note under it.
Both passed, one after a single-line fix. The studio’s director approved both recordings by ear.
What it costs. The prompt is under a cent. The bill is the answer, and most of the answer is the model’s reasoning:
| output tokens (reasoning) | cost | time | |
|---|---|---|---|
| Amazing Grace | 19,510 (13,023) | $0.30 | 3 min |
| America the Beautiful | 67,147 (36,692) | $1.01 | 9 min |
Small slips are normal. Two of the three arrangements the studio has had a model write needed a one-line fix, such as a missing backslash. The compile check catches them, and fixing one line costs less than asking again.
The rights. The model’s licence claims nothing in its outputs, the provider takes only a non-exclusive licence, and the hymns are public domain. So the arrangements could be dedicated CC0. The wave records what each set of terms says and when it was read; it is not legal advice.
Two corrections on the way in. Promotion re-reads every number against the receipts. The bench copy said both briefs were generated from the hymn data, but one was written by hand. It also gave the wrong input price. Both are fixed here, and on the bench.