Tone Generation

2026-09-18 01:17:36 -05:00
parent 64eac2f11e
commit 80873a0896
39 changed files with 1624 additions and 52 deletions
@@ -52,8 +52,10 @@ def engrave_tree(root: Path, fonts: Path) -> None:
        rasterize_page(page, family).save(target, format='PNG')
        check_page(target)
        entries.append({'path': destination.name + '/' + name, 'sha256': hashlib.sha256(target.read_bytes()).hexdigest()})
-      music = {k: v for k, v in document.items() if k != 'schema_version'}
+      music = {k: v for k, v in document.items() if k not in ('schema_version', 'playback')}
      bundle = {'schema_version': 3, 'music': music, 'presentation': {'engine': ENGINE_NAME, 'engine_version': ENGINE_VERSION, 'style_sha256': layout.fingerprint, 'width': PAGE_WIDTH, 'height': PAGE_HEIGHT, 'pages': entries}}
+      if 'playback' in document:
+        bundle['playback'] = document['playback']
      path.write_text(json.dumps(bundle, indent=2, ensure_ascii=False) + '\n', encoding='utf-8')
    except ValueError as error:
      raise EngravingError(f'{path.relative_to(root)}: {error}') from error