{
  "schema": "wang-narrative-assets-v1",
  "product": "canonical-pages",
  "case": {
    "id": "pipeline-sat-v2",
    "expected_status": "sat",
    "source_sha256": "3caaa6b29ac988fb4f51cc7071202d83ea1591ba6170e683b6da449cb3641542"
  },
  "identities": {
    "source_formula": "3caaa6b29ac988fb4f51cc7071202d83ea1591ba6170e683b6da449cb3641542",
    "formula_snapshot": "5098eb9a85adebf28757b1368e9307fdb5fea0617de3256b717ead1af1d67815",
    "tileset": "462a102690c420bfe52a634e7b365a6be3bfcf59169f0acd96264831196723fa",
    "region": "aad4dc7dcb46ed070995bf975248a7f2f0bf27d69db3eb653208d08c5826199a",
    "provenance": "6abbea9333509f852d59ed9be943d76380a49bfbdcf0f1c13e923e9ec4c4f3e2",
    "boolean_z3_summary": "c0213b57faade9f61c7b0f31813f0b91322a7484d383d7971e3f554dbc4ae214",
    "reference_trace_manifest": "2134fe7587b71ca245b7e2820c5cbcc1c9d469ac537f246a6021108b776e2f57",
    "reference_trace": "4a3ad4cbb476949a61db74dbc22696bc8ef69cb9e6226b816495a0b10322628c",
    "reference_solution": "2273f58cda026dca73c0dfa25c960e01296ac1e34ae6accbddf5be29034d156a",
    "optimized_trace_manifest": "9646e24077890a86e32b4d974d18c6a60b2de7dc2612beac39ab455dc9493699",
    "optimized_trace": "92e4389e7eba41fa9c075b21f1dc19700c2a039add2d7449b01c83d163525bc0",
    "optimized_solution": "9c02aea7867d26514d013dc44ea1d7e105ae86ddeef1ff247e0311e3c030377d",
    "wang_z3_summary": "a150dc76e2193d9ae65e165b8555df4b269afcbe572c6d55026a97d0765fb62b"
  },
  "animations": {
    "pipeline_overview": {
      "owner": "/pipeline/",
      "semantic_label": "observed",
      "caption": "One validated v2 capture in fixed component order.",
      "alt_text": "The captured formula moves through Boolean Z3, Yang-Zhang reduction, both native solvers, Wang Z3, verification, and presentation.",
      "source_contract": "wang-run-dossier-v2#named-components",
      "source_sha256": "2a2a1c54008b554e064ed8b692255303e8085848a9b9b6e28bf0c89cad3bf7e5",
      "producer": "dossier.narrative_assets",
      "validator": "formats.run_dossier_v2_bundle.load_run_dossier_v2",
      "compositor": "renderer.wang_narrative.render_overview_assets",
      "scope": {
        "complete": true,
        "selected": true,
        "truncated": false
      },
      "animation": {
        "path": "pipeline-overview/trace.gif",
        "sha256": "1d31c465992d628ac71ac14e46b95d101822614994601cdeb72995e0b1ce0026",
        "media_type": "image/gif"
      },
      "fallback": {
        "path": "pipeline-overview/frame-07.png",
        "sha256": "64dad3808af1eea35e2c9cd0c215ef29f233e85302ede9ff7d84a76c12e98b89",
        "media_type": "image/png"
      },
      "contact_sheet": {
        "path": "pipeline-overview/contact-sheet.png",
        "sha256": "fdaaa8be19a0fd41c5f1d0b5a821e718e25dfa353d0b9153f335cfc2fec9b5d9",
        "media_type": "image/png"
      },
      "frames": [
        {
          "path": "pipeline-overview/frame-00.png",
          "sha256": "035a5fe720745671248735debc42c740184db64be179980b4fcd114ccfc7d6f3",
          "media_type": "image/png"
        },
        {
          "path": "pipeline-overview/frame-01.png",
          "sha256": "fe7eaa84ded05e5533ea25b4eaadafd31091f5681328fecb6d30e8ae2858483e",
          "media_type": "image/png"
        },
        {
          "path": "pipeline-overview/frame-02.png",
          "sha256": "029e39336d3d260a79678af335ce54057ef17c5a5b2f24046b04ef9d551c3a4a",
          "media_type": "image/png"
        },
        {
          "path": "pipeline-overview/frame-03.png",
          "sha256": "09c9083358fc315addbc57a3e2fc6e6cf5761112f45e32cfbaf4ba4814b3f4aa",
          "media_type": "image/png"
        },
        {
          "path": "pipeline-overview/frame-04.png",
          "sha256": "c700039e4ab4ed89307ee724438162dc90f6b94c2a2d578c4b1fa09b82d621df",
          "media_type": "image/png"
        },
        {
          "path": "pipeline-overview/frame-05.png",
          "sha256": "32cdce895826db4fa70e9c61c7f0fcf46dbfb26ae1551893cbe108e3c030a927",
          "media_type": "image/png"
        },
        {
          "path": "pipeline-overview/frame-06.png",
          "sha256": "4305a3ad57f955e9fbecdc26e26ae84f16629c1e562b9fcbe309d4f2057bc52a",
          "media_type": "image/png"
        },
        {
          "path": "pipeline-overview/frame-07.png",
          "sha256": "64dad3808af1eea35e2c9cd0c215ef29f233e85302ede9ff7d84a76c12e98b89",
          "media_type": "image/png"
        }
      ]
    },
    "boolean_z3": {
      "owner": "/components/boolean-z3/",
      "semantic_label": "encoding-order",
      "caption": "Real source clauses become occurrence-preserving exactly-one sums before the copied assignment is shown.",
      "alt_text": "Four frames place each source-order clause beside its occurrence-preserving sum and then show the copied Boolean assignment.",
      "source_contract": "z3-encoding-summary-v1+cm13-formula-snapshot-v1",
      "source_sha256": "443107cf841a421b27105e73a195923f7f090cf3a2856eb46a136bbb4bad9130",
      "producer": "formats.z3_encoding_summary.build_boolean_z3_summary",
      "validator": "renderer.wang_z3_summary.load_z3_encoding_summary+renderer.wang_snapshot.load_explainability_bundle",
      "compositor": "renderer.wang_z3_summary.render_boolean_z3_assets",
      "scope": {
        "complete": true,
        "selected": false,
        "truncated": false
      },
      "animation": {
        "path": "boolean-z3/trace.gif",
        "sha256": "290ad9c63b64415e1f83ffefb97d9d8593654dc529d68853ce40a10e85888b39",
        "media_type": "image/gif"
      },
      "fallback": {
        "path": "boolean-z3/frame-03.png",
        "sha256": "060ee65fcef35b18dc49192a0ae0f433fa5c30db378f49acf0f15a8bd6ce24db",
        "media_type": "image/png"
      },
      "contact_sheet": {
        "path": "boolean-z3/contact-sheet.png",
        "sha256": "2d330793fb4d546a01b0f29f601642f91cc4c577142be2d6fa1af0a3f2c73c36",
        "media_type": "image/png"
      },
      "frames": [
        {
          "path": "boolean-z3/frame-00.png",
          "sha256": "739820cf4d523e9ed6841c3725ba08feaba69c534c5781c02c325e303e6102d4",
          "media_type": "image/png"
        },
        {
          "path": "boolean-z3/frame-01.png",
          "sha256": "11b0b649664579804342c110804af54355caa04edc4400e2c2b1a58647654ec4",
          "media_type": "image/png"
        },
        {
          "path": "boolean-z3/frame-02.png",
          "sha256": "c820feeb9158ae92853b5b0a4ed528d249e19af88e50ea740527604deb049688",
          "media_type": "image/png"
        },
        {
          "path": "boolean-z3/frame-03.png",
          "sha256": "060ee65fcef35b18dc49192a0ae0f433fa5c30db378f49acf0f15a8bd6ce24db",
          "media_type": "image/png"
        }
      ]
    },
    "region_construction": {
      "owner": "/components/yang-zhang/",
      "semantic_label": "canonical-construction",
      "caption": "Native Yang-Zhang gadget spans accumulated over the observed region.",
      "alt_text": "Six frames reveal variable, forwarding, crossover, and clause gadget spans on the same region.",
      "source_contract": "wang-reduction-explanation-v1",
      "source_sha256": "6abbea9333509f852d59ed9be943d76380a49bfbdcf0f1c13e923e9ec4c4f3e2",
      "producer": "formats.solver_trace_snapshot.dump_solver_trace_bundle",
      "validator": "renderer.wang_snapshot.load_explainability_bundle",
      "compositor": "renderer.wang_algorithm_animation.render_builder_assets",
      "scope": {
        "complete": true,
        "selected": true,
        "truncated": false
      },
      "animation": {
        "path": "region-construction/trace.gif",
        "sha256": "a6b613caa9dd2e03f3f54eebca68afb9702abb0385264dbec38dbc6ea875c096",
        "media_type": "image/gif"
      },
      "fallback": {
        "path": "region-construction/frame-05.png",
        "sha256": "02f7533d2eec1db663cf6fc56edac6f2878db7d60f507e037a269030f74a9af4",
        "media_type": "image/png"
      },
      "contact_sheet": {
        "path": "region-construction/contact-sheet.png",
        "sha256": "5277088651813aa1d613bbfa6f2453fa11dd3563ea9e2f92cf40c9ed76569f33",
        "media_type": "image/png"
      },
      "frames": [
        {
          "path": "region-construction/frame-00.png",
          "sha256": "d2bc3a4c1290cfa06301ea2abd894392589f5c2709ff2a9fb64fdd9b6d83c12d",
          "media_type": "image/png"
        },
        {
          "path": "region-construction/frame-01.png",
          "sha256": "ee53f7d0a6a72240d00b7373ca3ac1a5b539be6b924ee9762585c3f1dab91d06",
          "media_type": "image/png"
        },
        {
          "path": "region-construction/frame-02.png",
          "sha256": "550d15195c87c0274e557e59d900efb48f249dcab00f1fda7977aa90fadad09a",
          "media_type": "image/png"
        },
        {
          "path": "region-construction/frame-03.png",
          "sha256": "2293e1dbdf6725d46068d25b9027a19d3364cb53882af12a102899ac5f56532c",
          "media_type": "image/png"
        },
        {
          "path": "region-construction/frame-04.png",
          "sha256": "546a8e3dcc444dc2f6352c3ee929f9595b0e7132f225f31b3019e0fb4f0c7248",
          "media_type": "image/png"
        },
        {
          "path": "region-construction/frame-05.png",
          "sha256": "02f7533d2eec1db663cf6fc56edac6f2878db7d60f507e037a269030f74a9af4",
          "media_type": "image/png"
        }
      ]
    },
    "reference_trace": {
      "owner": "/components/reference-solver/",
      "semantic_label": "observed",
      "caption": "Selected semantic milestones from the complete reference trace.",
      "alt_text": "Observed reference domain states at root, propagation, decision, search, and result milestones.",
      "source_contract": "wang-explain-manifest-v3",
      "source_sha256": "2134fe7587b71ca245b7e2820c5cbcc1c9d469ac537f246a6021108b776e2f57",
      "producer": "formats.solver_trace_snapshot.dump_solver_trace_bundle",
      "validator": "renderer.wang_trace.load_trace_bundle",
      "compositor": "renderer.wang_trace_render.render_trace_assets",
      "scope": {
        "complete": true,
        "selected": true,
        "truncated": false
      },
      "animation": {
        "path": "reference-trace/trace.gif",
        "sha256": "a60882c8ec69a3be22099fb3f9e3358eadcf0d45188f1f10f9968a9970bcd66a",
        "media_type": "image/gif"
      },
      "fallback": {
        "path": "reference-trace/frame-002517.png",
        "sha256": "4978c3e4d5abdd3c5368a65c5e3ef85d03c55eaac39784eeceb045f2d1f40b9f",
        "media_type": "image/png"
      },
      "contact_sheet": {
        "path": "reference-trace/contact-sheet.png",
        "sha256": "2f4a8eda4ae3ac1c0108afac2706b5f26173c2f7a1de3390f21f6f9504fb7757",
        "media_type": "image/png"
      },
      "frames": [
        {
          "path": "reference-trace/frame-000000.png",
          "sha256": "1d7af8868cc259961984f235aa50d3c6eac71f876b1eefc2a24a2b8bf5ea0cc6",
          "media_type": "image/png"
        },
        {
          "path": "reference-trace/frame-000001.png",
          "sha256": "a27d027e851fadce2fd74c87f832235630043833303ed9ba701d247b8d2c6af4",
          "media_type": "image/png"
        },
        {
          "path": "reference-trace/frame-001258.png",
          "sha256": "961e475c123dddd908b92fd43d5115db8706e541cbf80f2e05b049c3aa58dd29",
          "media_type": "image/png"
        },
        {
          "path": "reference-trace/frame-002516.png",
          "sha256": "2ff86d94be387e0bc76acd1a39cdcfc7fc34c9cd9136a3b66d01553738abb459",
          "media_type": "image/png"
        },
        {
          "path": "reference-trace/frame-002517.png",
          "sha256": "4978c3e4d5abdd3c5368a65c5e3ef85d03c55eaac39784eeceb045f2d1f40b9f",
          "media_type": "image/png"
        },
        {
          "path": "reference-trace/frame-002518.png",
          "sha256": "bc3e3c8bec1c05fec23ed42ac7165e21274cafdca094242cebe3116ce11013de",
          "media_type": "image/png"
        },
        {
          "path": "reference-trace/frame-002519.png",
          "sha256": "88cc8d17d86df21449f0121e5aa6e11500ae5f4792c7596d833e08f92121b3b6",
          "media_type": "image/png"
        },
        {
          "path": "reference-trace/frame-002893.png",
          "sha256": "87489d6158ac3dd559debca79b8cee4670f9d3ae5a78adf05f5dc19f5072bd92",
          "media_type": "image/png"
        },
        {
          "path": "reference-trace/frame-002894.png",
          "sha256": "1b08307c075207102a7a09253bbf4a6e2c57337abfcf3823d5795925dffe9557",
          "media_type": "image/png"
        },
        {
          "path": "reference-trace/frame-002895.png",
          "sha256": "ae7f5261d4dc73f5ad634100194ae9ba2f94cc771a33ac01e4f209dba9987138",
          "media_type": "image/png"
        }
      ]
    },
    "optimized_trace": {
      "owner": "/components/optimized-solver/",
      "semantic_label": "observed",
      "caption": "Selected semantic milestones from the complete optimized trace.",
      "alt_text": "Observed optimized domain states at root, propagation, decision, search, and result milestones.",
      "source_contract": "wang-explain-manifest-v3",
      "source_sha256": "9646e24077890a86e32b4d974d18c6a60b2de7dc2612beac39ab455dc9493699",
      "producer": "formats.solver_trace_snapshot.dump_solver_trace_bundle",
      "validator": "renderer.wang_trace.load_trace_bundle",
      "compositor": "renderer.wang_trace_render.render_trace_assets",
      "scope": {
        "complete": true,
        "selected": true,
        "truncated": false
      },
      "animation": {
        "path": "optimized-trace/trace.gif",
        "sha256": "ecfe5481d400be9cbcef94ae4317eaacf2a81d8c67a84e596c1ee6e758d2a5bc",
        "media_type": "image/gif"
      },
      "fallback": {
        "path": "optimized-trace/frame-002562.png",
        "sha256": "c52991c9699a016a58de7ef959362bd92bd28907153e68e2ed430fc62d856f9b",
        "media_type": "image/png"
      },
      "contact_sheet": {
        "path": "optimized-trace/contact-sheet.png",
        "sha256": "dd898619c4110ae38276dfa9efae006a65297cbfb46172569c7cb0347827d7ef",
        "media_type": "image/png"
      },
      "frames": [
        {
          "path": "optimized-trace/frame-000000.png",
          "sha256": "88685c108d41a398f370f94020da0daecbee9952721539a8af9b52f38057bca7",
          "media_type": "image/png"
        },
        {
          "path": "optimized-trace/frame-000001.png",
          "sha256": "1cabd9372179c361bf67ae29bfde923a3158886bf58136bf904034538335f232",
          "media_type": "image/png"
        },
        {
          "path": "optimized-trace/frame-001281.png",
          "sha256": "df00288e4d8f37b5164a3636bf581fd26af0bed690dc5193d52f04f4da50d8e8",
          "media_type": "image/png"
        },
        {
          "path": "optimized-trace/frame-002561.png",
          "sha256": "03254e8f3df055900fe5db3dd732f19fc25bb4513e4d0a3bffd44b78b2379478",
          "media_type": "image/png"
        },
        {
          "path": "optimized-trace/frame-002562.png",
          "sha256": "c52991c9699a016a58de7ef959362bd92bd28907153e68e2ed430fc62d856f9b",
          "media_type": "image/png"
        },
        {
          "path": "optimized-trace/frame-002563.png",
          "sha256": "d69dcbc775b2358e90ca46edbf94aab66ed3f9d7aeaa8e2dae12f7767f1fd6e3",
          "media_type": "image/png"
        },
        {
          "path": "optimized-trace/frame-002564.png",
          "sha256": "b76d96ea437b14bcf29e29ea72c30f6699883c465c55b5f8ad16dfdd8ce78a70",
          "media_type": "image/png"
        },
        {
          "path": "optimized-trace/frame-002938.png",
          "sha256": "3ae2884356dbe57629602f30f0e3c2e5ee4aed8791543ee1d101f7efa55576a5",
          "media_type": "image/png"
        },
        {
          "path": "optimized-trace/frame-002939.png",
          "sha256": "71ba23b538689616bde0861a84773d8d0fd2525f11df5f374e8d831e11ae4878",
          "media_type": "image/png"
        },
        {
          "path": "optimized-trace/frame-002940.png",
          "sha256": "e3c088c8786084864a40ad1f27923c53ee7032dc50255384f6c8862740018e40",
          "media_type": "image/png"
        }
      ]
    },
    "wang_z3": {
      "owner": "/components/wang-z3/",
      "semantic_label": "encoding-order",
      "caption": "A real cell shows its shared term, canonical tile tuple, boundary equality, and returned model projection.",
      "alt_text": "Five frames show adjacent canonical Wang tiles sharing an internal edge, one exposed boundary equality, and the copied model projection.",
      "source_contract": "z3-encoding-summary-v1+wang-tileset-snapshot-v1+wang-region-snapshot-v1",
      "source_sha256": "20ee144c6d2fdd3073268493962ab26fa77352ffd933edcb8ae5883a2da30a60",
      "producer": "formats.z3_encoding_summary.build_wang_z3_summary",
      "validator": "renderer.wang_z3_summary.load_z3_encoding_summary+renderer.wang_snapshot.load_explainability_bundle",
      "compositor": "renderer.wang_z3_summary.render_wang_z3_assets",
      "scope": {
        "complete": true,
        "selected": false,
        "truncated": false
      },
      "animation": {
        "path": "wang-z3/trace.gif",
        "sha256": "c1500fcb6d10a57d2ebfd06d1ff3706ef43515c17e87f1eae17c05504c3fcc95",
        "media_type": "image/gif"
      },
      "fallback": {
        "path": "wang-z3/frame-04.png",
        "sha256": "3ace3dfb03fcf59a9efcd7144a578a1829063aece843afd788d14c4a2683e8d6",
        "media_type": "image/png"
      },
      "contact_sheet": {
        "path": "wang-z3/contact-sheet.png",
        "sha256": "636331cc6eb7e95860940163bed16b4511a295acaa04c7bfeacb1472fbdd2797",
        "media_type": "image/png"
      },
      "frames": [
        {
          "path": "wang-z3/frame-00.png",
          "sha256": "9278d4b8ae494d5c0209255ed97accf9a837c938f17209faca4934a31a9600c4",
          "media_type": "image/png"
        },
        {
          "path": "wang-z3/frame-01.png",
          "sha256": "0e288b1dfaf23ab02efd279fc0f1cd099d563b54cab8661da597f1daa90c5206",
          "media_type": "image/png"
        },
        {
          "path": "wang-z3/frame-02.png",
          "sha256": "a2764408118c1a689fb6120227ebf65c98a4b0fe2199df9b1e9cbaea5084231a",
          "media_type": "image/png"
        },
        {
          "path": "wang-z3/frame-03.png",
          "sha256": "4a40037a52e2a1f566210691d2631e98ec48c5a65a9590eb8d057e1b58bf524c",
          "media_type": "image/png"
        },
        {
          "path": "wang-z3/frame-04.png",
          "sha256": "3ace3dfb03fcf59a9efcd7144a578a1829063aece843afd788d14c4a2683e8d6",
          "media_type": "image/png"
        }
      ]
    },
    "verification": {
      "owner": "/components/verification/",
      "semantic_label": "observed",
      "caption": "Six named checker receipts with concrete tiling rules and the recorded native extraction beside its source cells.",
      "alt_text": "Six frames show all checker receipts, valid tile IDs, TILE_NONE, internal and boundary equality, and copied extracted Boolean values beside variable-gadget cells.",
      "source_contract": "wang-run-dossier-v2#verification",
      "source_sha256": "0db020dc7688a9705b9167bc1c8f248cf7d96aaa14b0378a9cb1afa192280f77",
      "producer": "formats.run_dossier_v2_builder.build_run_dossier_v2",
      "validator": "formats.run_dossier_v2.validate_run_dossier_v2+renderer.wang_snapshot.load_explainability_bundle+renderer.wang_square.load_wang_presentation+renderer.wang_narrative._load_verification",
      "compositor": "renderer.wang_narrative.render_verification_assets",
      "scope": {
        "complete": true,
        "selected": false,
        "truncated": false
      },
      "animation": {
        "path": "verification/trace.gif",
        "sha256": "17e5315e406f3fc8e038745ffc812595a4f3de9af5fb471e6ced26771f67b097",
        "media_type": "image/gif"
      },
      "fallback": {
        "path": "verification/frame-05.png",
        "sha256": "121e3cb762a91cc2404528697a7bb2927c1a0d905687f879353cc898a638f08d",
        "media_type": "image/png"
      },
      "contact_sheet": {
        "path": "verification/contact-sheet.png",
        "sha256": "1cd81f5c081dfebd4bfea97b2bb101596013ecd084f1b9d488fcb3a261ec0661",
        "media_type": "image/png"
      },
      "frames": [
        {
          "path": "verification/frame-00.png",
          "sha256": "944a39c26c2700f9f716e040330d32dd7d0ca7784f5302501dbd082189d8a31d",
          "media_type": "image/png"
        },
        {
          "path": "verification/frame-01.png",
          "sha256": "f1dd42d52f589802e8a922fb7a48d14440625c3a1954cdac61ce4c53cc91af2b",
          "media_type": "image/png"
        },
        {
          "path": "verification/frame-02.png",
          "sha256": "e59d927f8cde58643b96796df0750a4eb2311037d89c011c2dcd73a108dd225a",
          "media_type": "image/png"
        },
        {
          "path": "verification/frame-03.png",
          "sha256": "46be248236b557ed7bf6d95add80743a3781b0041bd62fe31145cc864848513d",
          "media_type": "image/png"
        },
        {
          "path": "verification/frame-04.png",
          "sha256": "2facd8bd6ef82b4ca1978e79ecde3926b0da0bd032509c40ae76bf793a9b5a63",
          "media_type": "image/png"
        },
        {
          "path": "verification/frame-05.png",
          "sha256": "121e3cb762a91cc2404528697a7bb2927c1a0d905687f879353cc898a638f08d",
          "media_type": "image/png"
        }
      ]
    },
    "witness_presentation": {
      "owner": "/components/visualization/",
      "semantic_label": "verified-transformation",
      "caption": "Verified square witness, exact generalized overlay, and checked hex port.",
      "alt_text": "Four frames move from the verified square witness through generalized recognition to the checked hex presentation.",
      "source_contract": "wang-solution-v1+wang-generalized-tiles-v1+checked-square-to-hex",
      "source_sha256": "30e43f79c5967c481c781ae975327c1af9cf8a941677d65841fe20f06aa34af0",
      "producer": "formats.solver_trace_snapshot.dump_solver_trace_bundle",
      "validator": "renderer.wang_square.load_wang_presentation+renderer.wang_generalized.recognize_generalized_tiles+renderer.wang_hex_port.check_square_to_hex",
      "compositor": "renderer.wang_narrative.render_witness_assets",
      "scope": {
        "complete": true,
        "selected": false,
        "truncated": false
      },
      "animation": {
        "path": "presentation/trace.gif",
        "sha256": "3970c8041433a5890abab123ea798958ad2a5585c120ec55d5ea5ea39e01bea3",
        "media_type": "image/gif"
      },
      "fallback": {
        "path": "presentation/frame-03.png",
        "sha256": "5ed4f7caf4a7861bee2491d731a920a3b57e290f95160a6cb89b43726898895d",
        "media_type": "image/png"
      },
      "contact_sheet": {
        "path": "presentation/contact-sheet.png",
        "sha256": "629ba185b848736233fe94bb7aaaacc732d5951275e49e033a481fbfae5e9b2e",
        "media_type": "image/png"
      },
      "frames": [
        {
          "path": "presentation/frame-00.png",
          "sha256": "6477ff5949fbca64bbd7a1bfd0bbdddd7b70b5d49bb0a38cb66fda42fa8ca404",
          "media_type": "image/png"
        },
        {
          "path": "presentation/frame-01.png",
          "sha256": "99ae1ad713a145b30584ae6a4c633ab7fec628c9584a82a4606dc3569fd79392",
          "media_type": "image/png"
        },
        {
          "path": "presentation/frame-02.png",
          "sha256": "66ac9205f335945d4b33d38f04d681e868c6e6787fd85609c94ad98afd8b2ba1",
          "media_type": "image/png"
        },
        {
          "path": "presentation/frame-03.png",
          "sha256": "5ed4f7caf4a7861bee2491d731a920a3b57e290f95160a6cb89b43726898895d",
          "media_type": "image/png"
        }
      ]
    },
    "optimized_mechanisms": {
      "owner": "/components/optimized-solver/",
      "semantic_label": "didactic",
      "caption": "Six concrete panels show the retained serial mechanisms and their private state changes.",
      "alt_text": "Seven didactic frames show stack, trail, ownership, byte-support, queue, and lazy-MRV state, ending with a static summary.",
      "source_contract": "wang-optimized-mechanisms-v1",
      "source_sha256": "5f0c6e1f80601f6112ae8e358fe8029fa3d94fd260693edf0b37ea474419f212",
      "producer": "renderer/data/optimized-mechanisms-v1.json",
      "validator": "renderer.wang_algorithm_animation._load_optimizations",
      "compositor": "renderer.wang_algorithm_animation.render_optimized_assets",
      "scope": {
        "complete": true,
        "selected": false,
        "truncated": false
      },
      "animation": {
        "path": "optimized-mechanisms/trace.gif",
        "sha256": "38900fb618a515356dea06f49d9ee2979dc4f9c5a1b6babe50bea826cfb160dc",
        "media_type": "image/gif"
      },
      "fallback": {
        "path": "optimized-mechanisms/frame-06.png",
        "sha256": "ae75b855e86226425029e47ee8181422055aba3090780b77971c4dfa0c08f3b4",
        "media_type": "image/png"
      },
      "contact_sheet": {
        "path": "optimized-mechanisms/contact-sheet.png",
        "sha256": "0c666b14cf833667d909ca0fc5b90d6b645965c07a13edd4b985a4e25e999562",
        "media_type": "image/png"
      },
      "frames": [
        {
          "path": "optimized-mechanisms/frame-00.png",
          "sha256": "8748a66f41eae4555c33a8cf9d9faba66cd03a16b4f699eac4573465ce2c6e9d",
          "media_type": "image/png"
        },
        {
          "path": "optimized-mechanisms/frame-01.png",
          "sha256": "9b6fb67517ea898f50834df7a454bdbcea861edfa37f8b4e78f5b214f468fb07",
          "media_type": "image/png"
        },
        {
          "path": "optimized-mechanisms/frame-02.png",
          "sha256": "f6b593a65672250c4cac9245b01fd67a6b4f4899a68bf84de425ee2e9e7bfa65",
          "media_type": "image/png"
        },
        {
          "path": "optimized-mechanisms/frame-03.png",
          "sha256": "918836e1819f0ad01cbff69c1ec24807f411aa127fa27d90810ce1900d9f668a",
          "media_type": "image/png"
        },
        {
          "path": "optimized-mechanisms/frame-04.png",
          "sha256": "9405f7ab37e6d0afa7d160a0466ff418aeae9ddb1c4e54c48e5455a504c87b24",
          "media_type": "image/png"
        },
        {
          "path": "optimized-mechanisms/frame-05.png",
          "sha256": "95782f84c20ca407d1f97a14904a416580efd37f4f2e4523d0d81e94135423a2",
          "media_type": "image/png"
        },
        {
          "path": "optimized-mechanisms/frame-06.png",
          "sha256": "ae75b855e86226425029e47ee8181422055aba3090780b77971c4dfa0c08f3b4",
          "media_type": "image/png"
        }
      ]
    }
  },
  "statics": {
    "home_preview": {
      "owner": "/",
      "semantic_label": "observed",
      "caption": "Selected verified SAT square output for the captured instance.",
      "alt_text": "A compact square Wang witness preview for the captured SAT source.",
      "source_contract": "wang-solution-v1",
      "source_sha256": "2273f58cda026dca73c0dfa25c960e01296ac1e34ae6accbddf5be29034d156a",
      "producer": "dossier.narrative_assets",
      "validator": "formats.run_dossier_v2_bundle.load_run_dossier_v2",
      "compositor": "renderer.wang_narrative.render_overview_assets",
      "artifact": {
        "path": "pipeline-overview/home-preview.png",
        "sha256": "9bfa6d1fa0113ef57f6fc5ba927cfdf29a1484a2c5a17e7993dc7b2ecd4c8415",
        "media_type": "image/png"
      }
    },
    "worked_example": {
      "owner": "/worked-example/",
      "semantic_label": "observed",
      "caption": "Eight-stage overview with readable decision, construction, verification, square-witness, and checked-hex details.",
      "alt_text": "An eight-stage overview followed by enlarged Boolean decision, Yang-Zhang construction, six verification receipts, verified square witness, and checked hex presentation panels.",
      "source_contract": "wang-run-dossier-v2#named-components",
      "source_sha256": "2a2a1c54008b554e064ed8b692255303e8085848a9b9b6e28bf0c89cad3bf7e5",
      "producer": "dossier.narrative_assets",
      "validator": "formats.run_dossier_v2_bundle.load_run_dossier_v2",
      "compositor": "renderer.wang_narrative.render_overview_assets",
      "artifact": {
        "path": "pipeline-overview/worked-example.png",
        "sha256": "3d6db9aa32c2fa81baa166ce1e6efef4df6e522b0c5826c1e865f1b6adcfad2b",
        "media_type": "image/png"
      }
    },
    "formula": {
      "owner": "/worked-example/",
      "semantic_label": "observed",
      "caption": "Parsed formula snapshot for the named canonical source.",
      "alt_text": "The parsed CM1-in-3 formula and its source-order clauses.",
      "source_contract": "cm13-formula-snapshot-v1",
      "source_sha256": "5098eb9a85adebf28757b1368e9307fdb5fea0617de3256b717ead1af1d67815",
      "producer": "dossier.narrative_assets",
      "validator": "renderer.wang_snapshot.load_explainability_bundle",
      "compositor": "renderer.wang_snapshot.render_pipeline_snapshot",
      "artifact": {
        "path": "formula.png",
        "sha256": "381879859d1987cb8b2b6e7b65ed9e51d9580972e8d87ea118c1b21c5e2b6c11",
        "media_type": "image/png"
      }
    },
    "generalized_sheet": {
      "owner": "/components/tileset/",
      "semantic_label": "canonical-construction",
      "caption": "The exact 14 generalized tiles decomposed into 23 positional atomic IDs.",
      "alt_text": "A sheet of fourteen Yang-Zhang generalized tiles with internal seams and atomic identifiers.",
      "source_contract": "wang-generalized-tiles-v1+wang-tileset-snapshot-v1",
      "source_sha256": "ce7331049b9bbec8e481bef7e332eaa6e10b6232351282c120dc5d460b218c0d",
      "producer": "dossier.narrative_assets",
      "validator": "renderer.wang_snapshot.load_explainability_bundle+renderer.wang_generalized.check_canonical_atomic_tileset",
      "compositor": "renderer.wang_narrative.render_generalized_assets",
      "artifact": {
        "path": "generalized-tiles/sheet.png",
        "sha256": "753b1042553aa8dfe347fada252bd7cbed1b8cb2f41b4b40d08864da282d7830",
        "media_type": "image/png"
      }
    },
    "atomic_legend": {
      "owner": "/components/tileset/",
      "semantic_label": "canonical-construction",
      "caption": "All 23 atomic IDs with symbolic paper colors and generalized roles.",
      "alt_text": "A semantic legend for twenty-three positional Wang tiles and their edge colors.",
      "source_contract": "wang-generalized-tiles-v1+wang-tileset-snapshot-v1",
      "source_sha256": "ce7331049b9bbec8e481bef7e332eaa6e10b6232351282c120dc5d460b218c0d",
      "producer": "dossier.narrative_assets",
      "validator": "renderer.wang_snapshot.load_explainability_bundle+renderer.wang_generalized.check_canonical_atomic_tileset",
      "compositor": "renderer.wang_narrative.render_generalized_assets",
      "artifact": {
        "path": "generalized-tiles/atomic-legend.png",
        "sha256": "1ab2b18cc270ecbcfe87d899192ed618670607153ca648cd32fad9ce16390bea",
        "media_type": "image/png"
      }
    },
    "square_presentation": {
      "owner": "/components/visualization/",
      "semantic_label": "observed",
      "caption": "The independently verified square witness with atomic IDs and boundaries.",
      "alt_text": "The complete square Wang witness for the captured SAT source.",
      "source_contract": "wang-solution-v1",
      "source_sha256": "2273f58cda026dca73c0dfa25c960e01296ac1e34ae6accbddf5be29034d156a",
      "producer": "dossier.narrative_assets",
      "validator": "renderer.wang_square.load_wang_presentation",
      "compositor": "renderer.wang_narrative.render_witness_assets",
      "artifact": {
        "path": "presentation/square.png",
        "sha256": "6bfdf8b9545e35a54d1f64b2477235488b270027f3c10775cf3fa41dd0530707",
        "media_type": "image/png"
      }
    },
    "generalized_presentation": {
      "owner": "/components/visualization/",
      "semantic_label": "canonical-construction",
      "caption": "Exact generalized contours over the same verified square witness.",
      "alt_text": "The square witness grouped into exact Yang-Zhang generalized tile occurrences.",
      "source_contract": "wang-solution-v1+wang-generalized-tiles-v1",
      "source_sha256": "5df89e1b413106a7d61478194eb0f37d3a68a3add1da16b2158e391ad943c10e",
      "producer": "dossier.narrative_assets",
      "validator": "renderer.wang_square.load_wang_presentation+renderer.wang_generalized.recognize_generalized_tiles",
      "compositor": "renderer.wang_narrative.render_witness_assets",
      "artifact": {
        "path": "presentation/generalized.png",
        "sha256": "86fe403887af74ac642afcf834e2a8fd79643c68297aa6b5371752fd45ebd2a1",
        "media_type": "image/png"
      }
    },
    "hex_presentation": {
      "owner": "/components/visualization/",
      "semantic_label": "verified-transformation",
      "caption": "The checked Basire/Culik square-to-hex port of the same witness.",
      "alt_text": "A pointy-top hex presentation preserving the square witness cells, edges, and boundary.",
      "source_contract": "wang-solution-v1+checked-square-to-hex",
      "source_sha256": "308c9bfa297bde34b6c85711f3c21e5d42604b5356863700dff65305b8a16c4e",
      "producer": "dossier.narrative_assets",
      "validator": "renderer.wang_square.load_wang_presentation+renderer.wang_hex_port.check_square_to_hex",
      "compositor": "renderer.wang_narrative.render_witness_assets",
      "artifact": {
        "path": "presentation/hex.png",
        "sha256": "0f5a968eaa8175b699739823318f6f12fed8ec28be148f3338ec7e8120bbc554",
        "media_type": "image/png"
      }
    },
    "presentation_status": null
  },
  "pdf_milestones": {
    "selector": "semantic-milestones-v1",
    "region_construction": [
      "region-construction/frame-00.png",
      "region-construction/frame-01.png",
      "region-construction/frame-02.png",
      "region-construction/frame-03.png",
      "region-construction/frame-04.png",
      "region-construction/frame-05.png"
    ],
    "reference_trace": [
      "reference-trace/frame-000000.png",
      "reference-trace/frame-000001.png",
      "reference-trace/frame-001258.png",
      "reference-trace/frame-002516.png",
      "reference-trace/frame-002517.png",
      "reference-trace/frame-002518.png",
      "reference-trace/frame-002519.png",
      "reference-trace/frame-002893.png",
      "reference-trace/frame-002894.png",
      "reference-trace/frame-002895.png"
    ],
    "optimized_trace": [
      "optimized-trace/frame-000000.png",
      "optimized-trace/frame-000001.png",
      "optimized-trace/frame-001281.png",
      "optimized-trace/frame-002561.png",
      "optimized-trace/frame-002562.png",
      "optimized-trace/frame-002563.png",
      "optimized-trace/frame-002564.png",
      "optimized-trace/frame-002938.png",
      "optimized-trace/frame-002939.png",
      "optimized-trace/frame-002940.png"
    ],
    "end_to_end": [
      "pipeline-overview/frame-00.png",
      "pipeline-overview/frame-01.png",
      "pipeline-overview/frame-02.png",
      "pipeline-overview/frame-03.png",
      "pipeline-overview/frame-04.png",
      "pipeline-overview/frame-05.png",
      "pipeline-overview/frame-06.png",
      "pipeline-overview/frame-07.png"
    ]
  }
}