{ "status": "completed", "cases": [ { "name": "synthetic_four_overlap_fragments", "input_origin": "synthetic", "input": { "strings": [ { "id": "s0", "hex": "616263646566" }, { "id": "s1", "hex": "646566676869" }, { "id": "s2", "hex": "6768696a6b6c" }, { "id": "s3", "hex": "6b6c6d6e6f70" } ], "model": { "alphabet": "bytes", "containment": "exact_contiguous_substring", "lookup": "stable_ID_offset_and_length", "terminators": "not_required", "mutability": "immutable", "additional_constraints": "none" } }, "packing": { "status": "bounded_comparison_completed", "input_items": 4, "input_literal_bytes": 24, "maximal_distinct_nonempty_literals": 4, "methods": { "original_concatenation": { "blob_hex": "6162636465666465666768696768696a6b6c6b6c6d6e6f70", "blob_bytes": 24, "complete_artifact_hex": "535350310000000400000018027330000000000000000602733100000006000000060273320000000c0000000602733300000012000000066162636465666465666768696768696a6b6c6b6c6d6e6f70", "complete_artifact_bytes": 80, "index_and_header_bytes": 56, "positions": [ { "id": "s0", "offset": 0, "length": 6 }, { "id": "s1", "offset": 6, "length": 6 }, { "id": "s2", "offset": 12, "length": 6 }, { "id": "s3", "offset": 18, "length": 6 } ], "artifact_sha256": "85d08ca6d414619ffe19bc24b037fabdc0cd3574052f3276dfb177dc4dccee25", "compressed_complete_artifact_bytes": { "gzip": 75, "zlib": 63, "xz": 116 }, "roundtrip_checked": true }, "deduplicated_concatenation": { "blob_hex": "6162636465666465666768696768696a6b6c6b6c6d6e6f70", "blob_bytes": 24, "complete_artifact_hex": "535350310000000400000018027330000000000000000602733100000006000000060273320000000c0000000602733300000012000000066162636465666465666768696768696a6b6c6b6c6d6e6f70", "complete_artifact_bytes": 80, "index_and_header_bytes": 56, "positions": [ { "id": "s0", "offset": 0, "length": 6 }, { "id": "s1", "offset": 6, "length": 6 }, { "id": "s2", "offset": 12, "length": 6 }, { "id": "s3", "offset": 18, "length": 6 } ], "artifact_sha256": "85d08ca6d414619ffe19bc24b037fabdc0cd3574052f3276dfb177dc4dccee25", "compressed_complete_artifact_bytes": { "gzip": 75, "zlib": 63, "xz": 116 }, "roundtrip_checked": true }, "contained_string_concatenation": { "blob_hex": "6162636465666465666768696768696a6b6c6b6c6d6e6f70", "blob_bytes": 24, "complete_artifact_hex": "535350310000000400000018027330000000000000000602733100000006000000060273320000000c0000000602733300000012000000066162636465666465666768696768696a6b6c6b6c6d6e6f70", "complete_artifact_bytes": 80, "index_and_header_bytes": 56, "positions": [ { "id": "s0", "offset": 0, "length": 6 }, { "id": "s1", "offset": 6, "length": 6 }, { "id": "s2", "offset": 12, "length": 6 }, { "id": "s3", "offset": 18, "length": 6 } ], "artifact_sha256": "85d08ca6d414619ffe19bc24b037fabdc0cd3574052f3276dfb177dc4dccee25", "compressed_complete_artifact_bytes": { "gzip": 75, "zlib": 63, "xz": 116 }, "roundtrip_checked": true }, "maximum_overlap_greedy": { "blob_hex": "6162636465666768696a6b6c6d6e6f70", "blob_bytes": 16, "complete_artifact_hex": "5353503100000004000000100273300000000000000006027331000000030000000602733200000006000000060273330000000a000000066162636465666768696a6b6c6d6e6f70", "complete_artifact_bytes": 72, "index_and_header_bytes": 56, "positions": [ { "id": "s0", "offset": 0, "length": 6 }, { "id": "s1", "offset": 3, "length": 6 }, { "id": "s2", "offset": 6, "length": 6 }, { "id": "s3", "offset": 10, "length": 6 } ], "artifact_sha256": "4d647d1273e08db22c05e282840ffa0194e00625c6cf7c77bc72adf5c9b89e6a", "compressed_complete_artifact_bytes": { "gzip": 69, "zlib": 57, "xz": 112 }, "roundtrip_checked": true }, "exact_tiny_overlap_DP": { "blob_hex": "6162636465666768696a6b6c6d6e6f70", "blob_bytes": 16, "complete_artifact_hex": "5353503100000004000000100273300000000000000006027331000000030000000602733200000006000000060273330000000a000000066162636465666768696a6b6c6d6e6f70", "complete_artifact_bytes": 72, "index_and_header_bytes": 56, "positions": [ { "id": "s0", "offset": 0, "length": 6 }, { "id": "s1", "offset": 3, "length": 6 }, { "id": "s2", "offset": 6, "length": 6 }, { "id": "s3", "offset": 10, "length": 6 } ], "artifact_sha256": "4d647d1273e08db22c05e282840ffa0194e00625c6cf7c77bc72adf5c9b89e6a", "compressed_complete_artifact_bytes": { "gzip": 69, "zlib": 57, "xz": 112 }, "roundtrip_checked": true } }, "method_statuses": { "maximum_overlap_greedy": "complete", "exact_tiny_overlap_DP": "complete" }, "exact_optimum_bytes": 16, "greedy_factor_two_on_this_exact_instance": true, "work": 226, "work_budget": 2000000, "source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "interpretation": "Conventional bounded baselines and exact tiny DP. Source factor-two construction is not maximum-overlap greedy and is not implemented here. Caps count overlap-candidate tests/DP transitions, not character operations, native preprocessing, compression memory or time. SSP1 includes IDs and offset/length index; it supports immutable byte views including embedded zero, not drop-in C strings. Compressed artifacts require whole-artifact decompression; no random-access latency or customer value was measured." }, "source_count_stage": { "status": "complete_count_stage", "forced_counts": { "61": 1, "6162": 1, "616263": 1, "61626364": 1, "6162636465": 1, "616263646566": 1, "62": 1, "6263": 1, "626364": 1, "62636465": 1, "6263646566": 1, "63": 1, "6364": 1, "636465": 1, "63646566": 1, "64": 1, "6465": 1, "646566": 1, "64656667": 1, "6465666768": 1, "646566676869": 1, "65": 1, "6566": 1, "656667": 1, "65666768": 1, "6566676869": 1, "66": 1, "6667": 1, "666768": 1, "66676869": 1, "67": 1, "6768": 1, "676869": 1, "6768696a": 1, "6768696a6b": 1, "6768696a6b6c": 1, "68": 1, "6869": 1, "68696a": 1, "68696a6b": 1, "68696a6b6c": 1, "69": 1, "696a": 1, "696a6b": 1, "696a6b6c": 1, "6a": 1, "6a6b": 1, "6a6b6c": 1, "6b": 1, "6b6c": 1, "6b6c6d": 1, "6b6c6d6e": 1, "6b6c6d6e6f": 1, "6b6c6d6e6f70": 1, "6c": 1, "6c6d": 1, "6c6d6e": 1, "6c6d6e6f": 1, "6c6d6e6f70": 1, "6d": 1, "6d6e": 1, "6d6e6f": 1, "6d6e6f70": 1, "6e": 1, "6e6f": 1, "6e6f70": 1, "6f": 1, "6f70": 1, "70": 1 }, "paper_derived_lower_bound": 16, "base_edges": [ { "from_hex": "", "to_hex": "61", "direction": "up", "multiplicity": 1 }, { "from_hex": "61", "to_hex": "6162", "direction": "up", "multiplicity": 1 }, { "from_hex": "6162", "to_hex": "616263", "direction": "up", "multiplicity": 1 }, { "from_hex": "616263", "to_hex": "61626364", "direction": "up", "multiplicity": 1 }, { "from_hex": "61626364", "to_hex": "6162636465", "direction": "up", "multiplicity": 1 }, { "from_hex": "6162636465", "to_hex": "616263646566", "direction": "up", "multiplicity": 1 }, { "from_hex": "616263646566", "to_hex": "6263646566", "direction": "down", "multiplicity": 1 }, { "from_hex": "6263646566", "to_hex": "63646566", "direction": "down", "multiplicity": 1 }, { "from_hex": "63646566", "to_hex": "646566", "direction": "down", "multiplicity": 1 }, { "from_hex": "646566", "to_hex": "64656667", "direction": "up", "multiplicity": 1 }, { "from_hex": "64656667", "to_hex": "6465666768", "direction": "up", "multiplicity": 1 }, { "from_hex": "6465666768", "to_hex": "646566676869", "direction": "up", "multiplicity": 1 }, { "from_hex": "646566676869", "to_hex": "6566676869", "direction": "down", "multiplicity": 1 }, { "from_hex": "6566676869", "to_hex": "66676869", "direction": "down", "multiplicity": 1 }, { "from_hex": "66676869", "to_hex": "676869", "direction": "down", "multiplicity": 1 }, { "from_hex": "676869", "to_hex": "6768696a", "direction": "up", "multiplicity": 1 }, { "from_hex": "6768696a", "to_hex": "6768696a6b", "direction": "up", "multiplicity": 1 }, { "from_hex": "6768696a6b", "to_hex": "6768696a6b6c", "direction": "up", "multiplicity": 1 }, { "from_hex": "6768696a6b6c", "to_hex": "68696a6b6c", "direction": "down", "multiplicity": 1 }, { "from_hex": "68696a6b6c", "to_hex": "696a6b6c", "direction": "down", "multiplicity": 1 }, { "from_hex": "696a6b6c", "to_hex": "6a6b6c", "direction": "down", "multiplicity": 1 }, { "from_hex": "6a6b6c", "to_hex": "6b6c", "direction": "down", "multiplicity": 1 }, { "from_hex": "6b6c", "to_hex": "6b6c6d", "direction": "up", "multiplicity": 1 }, { "from_hex": "6b6c6d", "to_hex": "6b6c6d6e", "direction": "up", "multiplicity": 1 }, { "from_hex": "6b6c6d6e", "to_hex": "6b6c6d6e6f", "direction": "up", "multiplicity": 1 }, { "from_hex": "6b6c6d6e6f", "to_hex": "6b6c6d6e6f70", "direction": "up", "multiplicity": 1 }, { "from_hex": "6b6c6d6e6f70", "to_hex": "6c6d6e6f70", "direction": "down", "multiplicity": 1 }, { "from_hex": "6c6d6e6f70", "to_hex": "6d6e6f70", "direction": "down", "multiplicity": 1 }, { "from_hex": "6d6e6f70", "to_hex": "6e6f70", "direction": "down", "multiplicity": 1 }, { "from_hex": "6e6f70", "to_hex": "6f70", "direction": "down", "multiplicity": 1 }, { "from_hex": "6f70", "to_hex": "70", "direction": "down", "multiplicity": 1 }, { "from_hex": "70", "to_hex": "", "direction": "down", "multiplicity": 1 } ], "source_family": "128", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "full_source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "reduced_input_bytes": 24, "scope": "Only the forced occurrence recursion and balanced base-graph formulas from source section 02. Lower-bound validity uses the paper argument, not an executed proof checker. Full periodic layers, requests, links, cycle opening and output construction are unimplemented. Finite comparison evidence is separate.", "limits": { "reduced_input_bytes": 128, "distinct_substrings": 512, "charged_work": 2000000 }, "work_interpretation": "Conservative character/rule/lookup charges; native preprocessing, Python object/storage costs and output encoding are excluded. No source polynomial runtime or byte-memory guarantee.", "base_graph_balanced": true, "distinct_substrings_including_empty": 70, "period_rule_records": 0, "work": 5316, "required_strings_hex": [ "616263646566", "646566676869", "6768696a6b6c", "6b6c6d6e6f70" ] } }, { "name": "synthetic_periodic_windows", "input_origin": "synthetic", "input": { "strings": [ { "id": "s0", "hex": "616263646566" }, { "id": "s1", "hex": "626364656667" }, { "id": "s2", "hex": "636465666768" }, { "id": "s3", "hex": "646566676869" }, { "id": "s4", "hex": "65666768696a" }, { "id": "s5", "hex": "666768696a6b" }, { "id": "s6", "hex": "6768696a6b6c" }, { "id": "s7", "hex": "68696a6b6c6d" }, { "id": "s8", "hex": "696a6b6c6d6e" }, { "id": "s9", "hex": "6a6b6c6d6e6f" }, { "id": "s10", "hex": "6b6c6d6e6f70" }, { "id": "s11", "hex": "6c6d6e6f7071" }, { "id": "s12", "hex": "6d6e6f707161" }, { "id": "s13", "hex": "6e6f70716162" }, { "id": "s14", "hex": "6f7071616263" }, { "id": "s15", "hex": "707161626364" }, { "id": "s16", "hex": "716162636465" } ], "model": { "alphabet": "bytes", "containment": "exact_contiguous_substring", "lookup": "stable_ID_offset_and_length", "terminators": "not_required", "mutability": "immutable", "additional_constraints": "none" } }, "packing": { "status": "bounded_comparison_completed", "input_items": 17, "input_literal_bytes": 102, "maximal_distinct_nonempty_literals": 17, "methods": { "original_concatenation": { "blob_hex": "61626364656662636465666763646566676864656667686965666768696a666768696a6b6768696a6b6c68696a6b6c6d696a6b6c6d6e6a6b6c6d6e6f6b6c6d6e6f706c6d6e6f70716d6e6f7071616e6f707161626f7071616263707161626364716162636465", "blob_bytes": 102, "complete_artifact_hex": "535350310000001100000066027330000000000000000602733100000006000000060273320000000c00000006027333000000120000000602733400000018000000060273350000001e0000000602733600000024000000060273370000002a0000000602733800000030000000060273390000003600000006037331300000003c00000006037331310000004200000006037331320000004800000006037331330000004e00000006037331340000005400000006037331350000005a0000000603733136000000600000000661626364656662636465666763646566676864656667686965666768696a666768696a6b6768696a6b6c68696a6b6c6d696a6b6c6d6e6a6b6c6d6e6f6b6c6d6e6f706c6d6e6f70716d6e6f7071616e6f707161626f7071616263707161626364716162636465", "complete_artifact_bytes": 308, "index_and_header_bytes": 206, "positions": [ { "id": "s0", "offset": 0, "length": 6 }, { "id": "s1", "offset": 6, "length": 6 }, { "id": "s2", "offset": 12, "length": 6 }, { "id": "s3", "offset": 18, "length": 6 }, { "id": "s4", "offset": 24, "length": 6 }, { "id": "s5", "offset": 30, "length": 6 }, { "id": "s6", "offset": 36, "length": 6 }, { "id": "s7", "offset": 42, "length": 6 }, { "id": "s8", "offset": 48, "length": 6 }, { "id": "s9", "offset": 54, "length": 6 }, { "id": "s10", "offset": 60, "length": 6 }, { "id": "s11", "offset": 66, "length": 6 }, { "id": "s12", "offset": 72, "length": 6 }, { "id": "s13", "offset": 78, "length": 6 }, { "id": "s14", "offset": 84, "length": 6 }, { "id": "s15", "offset": 90, "length": 6 }, { "id": "s16", "offset": 96, "length": 6 } ], "artifact_sha256": "70661442affa64b9bad77d6112cdfa803515704c10bfd9cac82cdf65cdb86277", "compressed_complete_artifact_bytes": { "gzip": 163, "zlib": 151, "xz": 180 }, "roundtrip_checked": true }, "deduplicated_concatenation": { "blob_hex": "61626364656662636465666763646566676864656667686965666768696a666768696a6b6768696a6b6c68696a6b6c6d696a6b6c6d6e6a6b6c6d6e6f6b6c6d6e6f706c6d6e6f70716d6e6f7071616e6f707161626f7071616263707161626364716162636465", "blob_bytes": 102, "complete_artifact_hex": "535350310000001100000066027330000000000000000602733100000006000000060273320000000c00000006027333000000120000000602733400000018000000060273350000001e0000000602733600000024000000060273370000002a0000000602733800000030000000060273390000003600000006037331300000003c00000006037331310000004200000006037331320000004800000006037331330000004e00000006037331340000005400000006037331350000005a0000000603733136000000600000000661626364656662636465666763646566676864656667686965666768696a666768696a6b6768696a6b6c68696a6b6c6d696a6b6c6d6e6a6b6c6d6e6f6b6c6d6e6f706c6d6e6f70716d6e6f7071616e6f707161626f7071616263707161626364716162636465", "complete_artifact_bytes": 308, "index_and_header_bytes": 206, "positions": [ { "id": "s0", "offset": 0, "length": 6 }, { "id": "s1", "offset": 6, "length": 6 }, { "id": "s2", "offset": 12, "length": 6 }, { "id": "s3", "offset": 18, "length": 6 }, { "id": "s4", "offset": 24, "length": 6 }, { "id": "s5", "offset": 30, "length": 6 }, { "id": "s6", "offset": 36, "length": 6 }, { "id": "s7", "offset": 42, "length": 6 }, { "id": "s8", "offset": 48, "length": 6 }, { "id": "s9", "offset": 54, "length": 6 }, { "id": "s10", "offset": 60, "length": 6 }, { "id": "s11", "offset": 66, "length": 6 }, { "id": "s12", "offset": 72, "length": 6 }, { "id": "s13", "offset": 78, "length": 6 }, { "id": "s14", "offset": 84, "length": 6 }, { "id": "s15", "offset": 90, "length": 6 }, { "id": "s16", "offset": 96, "length": 6 } ], "artifact_sha256": "70661442affa64b9bad77d6112cdfa803515704c10bfd9cac82cdf65cdb86277", "compressed_complete_artifact_bytes": { "gzip": 163, "zlib": 151, "xz": 180 }, "roundtrip_checked": true }, "contained_string_concatenation": { "blob_hex": "61626364656662636465666763646566676864656667686965666768696a666768696a6b6768696a6b6c68696a6b6c6d696a6b6c6d6e6a6b6c6d6e6f6b6c6d6e6f706c6d6e6f70716d6e6f7071616e6f707161626f7071616263707161626364716162636465", "blob_bytes": 102, "complete_artifact_hex": "535350310000001100000066027330000000000000000602733100000006000000060273320000000c00000006027333000000120000000602733400000018000000060273350000001e0000000602733600000024000000060273370000002a0000000602733800000030000000060273390000003600000006037331300000003c00000006037331310000004200000006037331320000004800000006037331330000004e00000006037331340000005400000006037331350000005a0000000603733136000000600000000661626364656662636465666763646566676864656667686965666768696a666768696a6b6768696a6b6c68696a6b6c6d696a6b6c6d6e6a6b6c6d6e6f6b6c6d6e6f706c6d6e6f70716d6e6f7071616e6f707161626f7071616263707161626364716162636465", "complete_artifact_bytes": 308, "index_and_header_bytes": 206, "positions": [ { "id": "s0", "offset": 0, "length": 6 }, { "id": "s1", "offset": 6, "length": 6 }, { "id": "s2", "offset": 12, "length": 6 }, { "id": "s3", "offset": 18, "length": 6 }, { "id": "s4", "offset": 24, "length": 6 }, { "id": "s5", "offset": 30, "length": 6 }, { "id": "s6", "offset": 36, "length": 6 }, { "id": "s7", "offset": 42, "length": 6 }, { "id": "s8", "offset": 48, "length": 6 }, { "id": "s9", "offset": 54, "length": 6 }, { "id": "s10", "offset": 60, "length": 6 }, { "id": "s11", "offset": 66, "length": 6 }, { "id": "s12", "offset": 72, "length": 6 }, { "id": "s13", "offset": 78, "length": 6 }, { "id": "s14", "offset": 84, "length": 6 }, { "id": "s15", "offset": 90, "length": 6 }, { "id": "s16", "offset": 96, "length": 6 } ], "artifact_sha256": "70661442affa64b9bad77d6112cdfa803515704c10bfd9cac82cdf65cdb86277", "compressed_complete_artifact_bytes": { "gzip": 163, "zlib": 151, "xz": 180 }, "roundtrip_checked": true }, "maximum_overlap_greedy": { "blob_hex": "6162636465666768696a6b6c6d6e6f70716162636465", "blob_bytes": 22, "complete_artifact_hex": "5353503100000011000000160273300000000000000006027331000000010000000602733200000002000000060273330000000300000006027334000000040000000602733500000005000000060273360000000600000006027337000000070000000602733800000008000000060273390000000900000006037331300000000a00000006037331310000000b00000006037331320000000c00000006037331330000000d00000006037331340000000e00000006037331350000000f000000060373313600000010000000066162636465666768696a6b6c6d6e6f70716162636465", "complete_artifact_bytes": 228, "index_and_header_bytes": 206, "positions": [ { "id": "s0", "offset": 0, "length": 6 }, { "id": "s1", "offset": 1, "length": 6 }, { "id": "s2", "offset": 2, "length": 6 }, { "id": "s3", "offset": 3, "length": 6 }, { "id": "s4", "offset": 4, "length": 6 }, { "id": "s5", "offset": 5, "length": 6 }, { "id": "s6", "offset": 6, "length": 6 }, { "id": "s7", "offset": 7, "length": 6 }, { "id": "s8", "offset": 8, "length": 6 }, { "id": "s9", "offset": 9, "length": 6 }, { "id": "s10", "offset": 10, "length": 6 }, { "id": "s11", "offset": 11, "length": 6 }, { "id": "s12", "offset": 12, "length": 6 }, { "id": "s13", "offset": 13, "length": 6 }, { "id": "s14", "offset": 14, "length": 6 }, { "id": "s15", "offset": 15, "length": 6 }, { "id": "s16", "offset": 16, "length": 6 } ], "artifact_sha256": "950d2a6636ffb5495b811c543c66db8828e02aa34ea65c2e2caf783b775c5d09", "compressed_complete_artifact_bytes": { "gzip": 138, "zlib": 126, "xz": 168 }, "roundtrip_checked": true } }, "method_statuses": { "maximum_overlap_greedy": "complete", "exact_tiny_overlap_DP": "outside_exact_item_cap" }, "exact_optimum_bytes": null, "greedy_factor_two_on_this_exact_instance": null, "work": 8422, "work_budget": 2000000, "source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "interpretation": "Conventional bounded baselines and exact tiny DP. Source factor-two construction is not maximum-overlap greedy and is not implemented here. Caps count overlap-candidate tests/DP transitions, not character operations, native preprocessing, compression memory or time. SSP1 includes IDs and offset/length index; it supports immutable byte views including embedded zero, not drop-in C strings. Compressed artifacts require whole-artifact decompression; no random-access latency or customer value was measured." }, "source_count_stage": { "status": "complete_count_stage", "forced_counts": { "61": 1, "6162": 1, "616263": 1, "61626364": 1, "6162636465": 1, "616263646566": 1, "62": 1, "6263": 1, "626364": 1, "62636465": 1, "6263646566": 1, "626364656667": 1, "63": 1, "6364": 1, "636465": 1, "63646566": 1, "6364656667": 1, "636465666768": 1, "64": 1, "6465": 1, "646566": 1, "64656667": 1, "6465666768": 1, "646566676869": 1, "65": 1, "6566": 1, "656667": 1, "65666768": 1, "6566676869": 1, "65666768696a": 1, "66": 1, "6667": 1, "666768": 1, "66676869": 1, "666768696a": 1, "666768696a6b": 1, "67": 1, "6768": 1, "676869": 1, "6768696a": 1, "6768696a6b": 1, "6768696a6b6c": 1, "68": 1, "6869": 1, "68696a": 1, "68696a6b": 1, "68696a6b6c": 1, "68696a6b6c6d": 1, "69": 1, "696a": 1, "696a6b": 1, "696a6b6c": 1, "696a6b6c6d": 1, "696a6b6c6d6e": 1, "6a": 1, "6a6b": 1, "6a6b6c": 1, "6a6b6c6d": 1, "6a6b6c6d6e": 1, "6a6b6c6d6e6f": 1, "6b": 1, "6b6c": 1, "6b6c6d": 1, "6b6c6d6e": 1, "6b6c6d6e6f": 1, "6b6c6d6e6f70": 1, "6c": 1, "6c6d": 1, "6c6d6e": 1, "6c6d6e6f": 1, "6c6d6e6f70": 1, "6c6d6e6f7071": 1, "6d": 1, "6d6e": 1, "6d6e6f": 1, "6d6e6f70": 1, "6d6e6f7071": 1, "6d6e6f707161": 1, "6e": 1, "6e6f": 1, "6e6f70": 1, "6e6f7071": 1, "6e6f707161": 1, "6e6f70716162": 1, "6f": 1, "6f70": 1, "6f7071": 1, "6f707161": 1, "6f70716162": 1, "6f7071616263": 1, "70": 1, "7071": 1, "707161": 1, "70716162": 1, "7071616263": 1, "707161626364": 1, "71": 1, "7161": 1, "716162": 1, "71616263": 1, "7161626364": 1, "716162636465": 1 }, "paper_derived_lower_bound": 17, "base_edges": [ { "from_hex": "6162636465", "to_hex": "616263646566", "direction": "up", "multiplicity": 1 }, { "from_hex": "616263646566", "to_hex": "6263646566", "direction": "down", "multiplicity": 1 }, { "from_hex": "6263646566", "to_hex": "626364656667", "direction": "up", "multiplicity": 1 }, { "from_hex": "626364656667", "to_hex": "6364656667", "direction": "down", "multiplicity": 1 }, { "from_hex": "6364656667", "to_hex": "636465666768", "direction": "up", "multiplicity": 1 }, { "from_hex": "636465666768", "to_hex": "6465666768", "direction": "down", "multiplicity": 1 }, { "from_hex": "6465666768", "to_hex": "646566676869", "direction": "up", "multiplicity": 1 }, { "from_hex": "646566676869", "to_hex": "6566676869", "direction": "down", "multiplicity": 1 }, { "from_hex": "6566676869", "to_hex": "65666768696a", "direction": "up", "multiplicity": 1 }, { "from_hex": "65666768696a", "to_hex": "666768696a", "direction": "down", "multiplicity": 1 }, { "from_hex": "666768696a", "to_hex": "666768696a6b", "direction": "up", "multiplicity": 1 }, { "from_hex": "666768696a6b", "to_hex": "6768696a6b", "direction": "down", "multiplicity": 1 }, { "from_hex": "6768696a6b", "to_hex": "6768696a6b6c", "direction": "up", "multiplicity": 1 }, { "from_hex": "6768696a6b6c", "to_hex": "68696a6b6c", "direction": "down", "multiplicity": 1 }, { "from_hex": "68696a6b6c", "to_hex": "68696a6b6c6d", "direction": "up", "multiplicity": 1 }, { "from_hex": "68696a6b6c6d", "to_hex": "696a6b6c6d", "direction": "down", "multiplicity": 1 }, { "from_hex": "696a6b6c6d", "to_hex": "696a6b6c6d6e", "direction": "up", "multiplicity": 1 }, { "from_hex": "696a6b6c6d6e", "to_hex": "6a6b6c6d6e", "direction": "down", "multiplicity": 1 }, { "from_hex": "6a6b6c6d6e", "to_hex": "6a6b6c6d6e6f", "direction": "up", "multiplicity": 1 }, { "from_hex": "6a6b6c6d6e6f", "to_hex": "6b6c6d6e6f", "direction": "down", "multiplicity": 1 }, { "from_hex": "6b6c6d6e6f", "to_hex": "6b6c6d6e6f70", "direction": "up", "multiplicity": 1 }, { "from_hex": "6b6c6d6e6f70", "to_hex": "6c6d6e6f70", "direction": "down", "multiplicity": 1 }, { "from_hex": "6c6d6e6f70", "to_hex": "6c6d6e6f7071", "direction": "up", "multiplicity": 1 }, { "from_hex": "6c6d6e6f7071", "to_hex": "6d6e6f7071", "direction": "down", "multiplicity": 1 }, { "from_hex": "6d6e6f7071", "to_hex": "6d6e6f707161", "direction": "up", "multiplicity": 1 }, { "from_hex": "6d6e6f707161", "to_hex": "6e6f707161", "direction": "down", "multiplicity": 1 }, { "from_hex": "6e6f707161", "to_hex": "6e6f70716162", "direction": "up", "multiplicity": 1 }, { "from_hex": "6e6f70716162", "to_hex": "6f70716162", "direction": "down", "multiplicity": 1 }, { "from_hex": "6f70716162", "to_hex": "6f7071616263", "direction": "up", "multiplicity": 1 }, { "from_hex": "6f7071616263", "to_hex": "7071616263", "direction": "down", "multiplicity": 1 }, { "from_hex": "7071616263", "to_hex": "707161626364", "direction": "up", "multiplicity": 1 }, { "from_hex": "707161626364", "to_hex": "7161626364", "direction": "down", "multiplicity": 1 }, { "from_hex": "7161626364", "to_hex": "716162636465", "direction": "up", "multiplicity": 1 }, { "from_hex": "716162636465", "to_hex": "6162636465", "direction": "down", "multiplicity": 1 } ], "source_family": "128", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "full_source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "reduced_input_bytes": 102, "scope": "Only the forced occurrence recursion and balanced base-graph formulas from source section 02. Lower-bound validity uses the paper argument, not an executed proof checker. Full periodic layers, requests, links, cycle opening and output construction are unimplemented. Finite comparison evidence is separate.", "limits": { "reduced_input_bytes": 128, "distinct_substrings": 512, "charged_work": 2000000 }, "work_interpretation": "Conservative character/rule/lookup charges; native preprocessing, Python object/storage costs and output encoding are excluded. No source polynomial runtime or byte-memory guarantee.", "base_graph_balanced": true, "distinct_substrings_including_empty": 103, "period_rule_records": 0, "work": 9282, "required_strings_hex": [ "616263646566", "626364656667", "636465666768", "646566676869", "65666768696a", "666768696a6b", "6768696a6b6c", "68696a6b6c6d", "696a6b6c6d6e", "6a6b6c6d6e6f", "6b6c6d6e6f70", "6c6d6e6f7071", "6d6e6f707161", "6e6f70716162", "6f7071616263", "707161626364", "716162636465" ] } }, { "name": "synthetic_greedy_gap", "input_origin": "synthetic", "input": { "strings": [ { "id": "s0", "hex": "61616161" }, { "id": "s1", "hex": "61616162" }, { "id": "s2", "hex": "61626161" }, { "id": "s3", "hex": "61626162" } ], "model": { "alphabet": "bytes", "containment": "exact_contiguous_substring", "lookup": "stable_ID_offset_and_length", "terminators": "not_required", "mutability": "immutable", "additional_constraints": "none" } }, "packing": { "status": "bounded_comparison_completed", "input_items": 4, "input_literal_bytes": 16, "maximal_distinct_nonempty_literals": 4, "methods": { "original_concatenation": { "blob_hex": "61616161616161626162616161626162", "blob_bytes": 16, "complete_artifact_hex": "535350310000000400000010027330000000000000000402733100000004000000040273320000000800000004027333000000060000000461616161616161626162616161626162", "complete_artifact_bytes": 72, "index_and_header_bytes": 56, "positions": [ { "id": "s0", "offset": 0, "length": 4 }, { "id": "s1", "offset": 4, "length": 4 }, { "id": "s2", "offset": 8, "length": 4 }, { "id": "s3", "offset": 6, "length": 4 } ], "artifact_sha256": "faeed5380ccea34c2bd7e22c7a6ab1fb39336ea054d6ce41e98070e84bfc18d6", "compressed_complete_artifact_bytes": { "gzip": 60, "zlib": 48, "xz": 100 }, "roundtrip_checked": true }, "deduplicated_concatenation": { "blob_hex": "61616161616161626162616161626162", "blob_bytes": 16, "complete_artifact_hex": "535350310000000400000010027330000000000000000402733100000004000000040273320000000800000004027333000000060000000461616161616161626162616161626162", "complete_artifact_bytes": 72, "index_and_header_bytes": 56, "positions": [ { "id": "s0", "offset": 0, "length": 4 }, { "id": "s1", "offset": 4, "length": 4 }, { "id": "s2", "offset": 8, "length": 4 }, { "id": "s3", "offset": 6, "length": 4 } ], "artifact_sha256": "faeed5380ccea34c2bd7e22c7a6ab1fb39336ea054d6ce41e98070e84bfc18d6", "compressed_complete_artifact_bytes": { "gzip": 60, "zlib": 48, "xz": 100 }, "roundtrip_checked": true }, "contained_string_concatenation": { "blob_hex": "61616161616161626162616161626162", "blob_bytes": 16, "complete_artifact_hex": "535350310000000400000010027330000000000000000402733100000004000000040273320000000800000004027333000000060000000461616161616161626162616161626162", "complete_artifact_bytes": 72, "index_and_header_bytes": 56, "positions": [ { "id": "s0", "offset": 0, "length": 4 }, { "id": "s1", "offset": 4, "length": 4 }, { "id": "s2", "offset": 8, "length": 4 }, { "id": "s3", "offset": 6, "length": 4 } ], "artifact_sha256": "faeed5380ccea34c2bd7e22c7a6ab1fb39336ea054d6ce41e98070e84bfc18d6", "compressed_complete_artifact_bytes": { "gzip": 60, "zlib": 48, "xz": 100 }, "roundtrip_checked": true }, "maximum_overlap_greedy": { "blob_hex": "61616161626161626162", "blob_bytes": 10, "complete_artifact_hex": "53535031000000040000000a027330000000000000000402733100000001000000040273320000000300000004027333000000060000000461616161626161626162", "complete_artifact_bytes": 66, "index_and_header_bytes": 56, "positions": [ { "id": "s0", "offset": 0, "length": 4 }, { "id": "s1", "offset": 1, "length": 4 }, { "id": "s2", "offset": 3, "length": 4 }, { "id": "s3", "offset": 6, "length": 4 } ], "artifact_sha256": "e6f30b497b9a1b1ebc471f4ff02d88e476aab333d521d63a60671b4f0870ee4c", "compressed_complete_artifact_bytes": { "gzip": 60, "zlib": 48, "xz": 100 }, "roundtrip_checked": true }, "exact_tiny_overlap_DP": { "blob_hex": "616261626161616162", "blob_bytes": 9, "complete_artifact_hex": "5353503100000004000000090273300000000400000004027331000000050000000402733200000002000000040273330000000000000004616261626161616162", "complete_artifact_bytes": 65, "index_and_header_bytes": 56, "positions": [ { "id": "s0", "offset": 4, "length": 4 }, { "id": "s1", "offset": 5, "length": 4 }, { "id": "s2", "offset": 2, "length": 4 }, { "id": "s3", "offset": 0, "length": 4 } ], "artifact_sha256": "4ff9afc7e9ea1d264386cf759327fc011a3e55dfb1ae138969ed890ac85d7b8c", "compressed_complete_artifact_bytes": { "gzip": 58, "zlib": 46, "xz": 100 }, "roundtrip_checked": true } }, "method_statuses": { "maximum_overlap_greedy": "complete", "exact_tiny_overlap_DP": "complete" }, "exact_optimum_bytes": 9, "greedy_factor_two_on_this_exact_instance": true, "work": 158, "work_budget": 2000000, "source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "interpretation": "Conventional bounded baselines and exact tiny DP. Source factor-two construction is not maximum-overlap greedy and is not implemented here. Caps count overlap-candidate tests/DP transitions, not character operations, native preprocessing, compression memory or time. SSP1 includes IDs and offset/length index; it supports immutable byte views including embedded zero, not drop-in C strings. Compressed artifacts require whole-artifact decompression; no random-access latency or customer value was measured." }, "source_count_stage": { "status": "complete_count_stage", "forced_counts": { "61": 5, "6161": 3, "616161": 2, "61616161": 1, "61616162": 1, "616162": 1, "6162": 2, "616261": 2, "61626161": 1, "61626162": 1, "62": 2, "6261": 2, "626161": 1, "626162": 1 }, "paper_derived_lower_bound": 7, "base_edges": [ { "from_hex": "6161", "to_hex": "616161", "direction": "up", "multiplicity": 1 }, { "from_hex": "616161", "to_hex": "61616161", "direction": "up", "multiplicity": 1 }, { "from_hex": "61616161", "to_hex": "616161", "direction": "down", "multiplicity": 1 }, { "from_hex": "616161", "to_hex": "61616162", "direction": "up", "multiplicity": 1 }, { "from_hex": "61616162", "to_hex": "616162", "direction": "down", "multiplicity": 1 }, { "from_hex": "616162", "to_hex": "6162", "direction": "down", "multiplicity": 1 }, { "from_hex": "6162", "to_hex": "616261", "direction": "up", "multiplicity": 2 }, { "from_hex": "616261", "to_hex": "61626161", "direction": "up", "multiplicity": 1 }, { "from_hex": "61626161", "to_hex": "626161", "direction": "down", "multiplicity": 1 }, { "from_hex": "616261", "to_hex": "61626162", "direction": "up", "multiplicity": 1 }, { "from_hex": "61626162", "to_hex": "626162", "direction": "down", "multiplicity": 1 }, { "from_hex": "626161", "to_hex": "6161", "direction": "down", "multiplicity": 1 }, { "from_hex": "626162", "to_hex": "6162", "direction": "down", "multiplicity": 1 } ], "source_family": "128", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "full_source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "reduced_input_bytes": 16, "scope": "Only the forced occurrence recursion and balanced base-graph formulas from source section 02. Lower-bound validity uses the paper argument, not an executed proof checker. Full periodic layers, requests, links, cycle opening and output construction are unimplemented. Finite comparison evidence is separate.", "limits": { "reduced_input_bytes": 128, "distinct_substrings": 512, "charged_work": 2000000 }, "work_interpretation": "Conservative character/rule/lookup charges; native preprocessing, Python object/storage costs and output encoding are excluded. No source polynomial runtime or byte-memory guarantee.", "base_graph_balanced": true, "distinct_substrings_including_empty": 15, "period_rule_records": 13, "work": 556, "required_strings_hex": [ "61616161", "61616162", "61626161", "61626162" ] } }, { "name": "runtime_python_keywords", "input_origin": "current Python standard-library keyword list", "input": { "strings": [ { "id": "s0", "hex": "46616c7365" }, { "id": "s1", "hex": "4e6f6e65" }, { "id": "s2", "hex": "54727565" }, { "id": "s3", "hex": "616e64" }, { "id": "s4", "hex": "6173" }, { "id": "s5", "hex": "617373657274" }, { "id": "s6", "hex": "6173796e63" }, { "id": "s7", "hex": "6177616974" }, { "id": "s8", "hex": "627265616b" }, { "id": "s9", "hex": "636c617373" }, { "id": "s10", "hex": "636f6e74696e7565" }, { "id": "s11", "hex": "646566" }, { "id": "s12", "hex": "64656c" }, { "id": "s13", "hex": "656c6966" }, { "id": "s14", "hex": "656c7365" }, { "id": "s15", "hex": "657863657074" }, { "id": "s16", "hex": "66696e616c6c79" }, { "id": "s17", "hex": "666f72" }, { "id": "s18", "hex": "66726f6d" }, { "id": "s19", "hex": "676c6f62616c" }, { "id": "s20", "hex": "6966" }, { "id": "s21", "hex": "696d706f7274" }, { "id": "s22", "hex": "696e" }, { "id": "s23", "hex": "6973" }, { "id": "s24", "hex": "6c616d626461" }, { "id": "s25", "hex": "6e6f6e6c6f63616c" }, { "id": "s26", "hex": "6e6f74" }, { "id": "s27", "hex": "6f72" }, { "id": "s28", "hex": "70617373" }, { "id": "s29", "hex": "7261697365" }, { "id": "s30", "hex": "72657475726e" }, { "id": "s31", "hex": "747279" }, { "id": "s32", "hex": "7768696c65" }, { "id": "s33", "hex": "77697468" }, { "id": "s34", "hex": "7969656c64" } ], "model": { "alphabet": "bytes", "containment": "exact_contiguous_substring", "lookup": "stable_ID_offset_and_length", "terminators": "not_required", "mutability": "immutable", "additional_constraints": "none" } }, "packing": { "status": "bounded_comparison_completed", "input_items": 35, "input_literal_bytes": 155, "maximal_distinct_nonempty_literals": 30, "methods": { "original_concatenation": { "blob_hex": "46616c73654e6f6e6554727565616e6461736173736572746173796e636177616974627265616b636c617373636f6e74696e756564656664656c656c6966656c736565786365707466696e616c6c79666f7266726f6d676c6f62616c6966696d706f7274696e69736c616d6264616e6f6e6c6f63616c6e6f746f7270617373726169736572657475726e7472797768696c65776974687969656c64", "blob_bytes": 155, "complete_artifact_hex": "53535031000000230000009b0273300000000000000005027331000000050000000402733200000009000000040273330000000d000000030273340000001000000002027335000000120000000602733600000018000000050273370000001d0000000502733800000022000000050273390000002700000005037331300000002c00000008037331310000003400000003037331320000003700000003037331330000003a00000004037331340000003e00000004037331350000004200000006037331360000004800000007037331370000004f00000003037331380000005200000004037331390000005600000006037332300000003c00000002037332310000005e00000006037332320000003000000002037332330000006600000002037332340000006800000006037332350000006e00000008037332360000007600000003037332370000005000000002037332380000007b00000004037332390000007f00000005037333300000008400000006037333310000008a00000003037333320000008d0000000503733333000000920000000403733334000000960000000546616c73654e6f6e6554727565616e6461736173736572746173796e636177616974627265616b636c617373636f6e74696e756564656664656c656c6966656c736565786365707466696e616c6c79666f7266726f6d676c6f62616c6966696d706f7274696e69736c616d6264616e6f6e6c6f63616c6e6f746f7270617373726169736572657475726e7472797768696c65776974687969656c64", "complete_artifact_bytes": 577, "index_and_header_bytes": 422, "positions": [ { "id": "s0", "offset": 0, "length": 5 }, { "id": "s1", "offset": 5, "length": 4 }, { "id": "s2", "offset": 9, "length": 4 }, { "id": "s3", "offset": 13, "length": 3 }, { "id": "s4", "offset": 16, "length": 2 }, { "id": "s5", "offset": 18, "length": 6 }, { "id": "s6", "offset": 24, "length": 5 }, { "id": "s7", "offset": 29, "length": 5 }, { "id": "s8", "offset": 34, "length": 5 }, { "id": "s9", "offset": 39, "length": 5 }, { "id": "s10", "offset": 44, "length": 8 }, { "id": "s11", "offset": 52, "length": 3 }, { "id": "s12", "offset": 55, "length": 3 }, { "id": "s13", "offset": 58, "length": 4 }, { "id": "s14", "offset": 62, "length": 4 }, { "id": "s15", "offset": 66, "length": 6 }, { "id": "s16", "offset": 72, "length": 7 }, { "id": "s17", "offset": 79, "length": 3 }, { "id": "s18", "offset": 82, "length": 4 }, { "id": "s19", "offset": 86, "length": 6 }, { "id": "s20", "offset": 60, "length": 2 }, { "id": "s21", "offset": 94, "length": 6 }, { "id": "s22", "offset": 48, "length": 2 }, { "id": "s23", "offset": 102, "length": 2 }, { "id": "s24", "offset": 104, "length": 6 }, { "id": "s25", "offset": 110, "length": 8 }, { "id": "s26", "offset": 118, "length": 3 }, { "id": "s27", "offset": 80, "length": 2 }, { "id": "s28", "offset": 123, "length": 4 }, { "id": "s29", "offset": 127, "length": 5 }, { "id": "s30", "offset": 132, "length": 6 }, { "id": "s31", "offset": 138, "length": 3 }, { "id": "s32", "offset": 141, "length": 5 }, { "id": "s33", "offset": 146, "length": 4 }, { "id": "s34", "offset": 150, "length": 5 } ], "artifact_sha256": "c9c98ec5a19b9172a70e2b2ffaff51ff46308416b677964cc6e53d250dab4ada", "compressed_complete_artifact_bytes": { "gzip": 350, "zlib": 338, "xz": 352 }, "roundtrip_checked": true }, "deduplicated_concatenation": { "blob_hex": "46616c73654e6f6e6554727565616e6461736173736572746173796e636177616974627265616b636c617373636f6e74696e756564656664656c656c6966656c736565786365707466696e616c6c79666f7266726f6d676c6f62616c6966696d706f7274696e69736c616d6264616e6f6e6c6f63616c6e6f746f7270617373726169736572657475726e7472797768696c65776974687969656c64", "blob_bytes": 155, "complete_artifact_hex": "53535031000000230000009b0273300000000000000005027331000000050000000402733200000009000000040273330000000d000000030273340000001000000002027335000000120000000602733600000018000000050273370000001d0000000502733800000022000000050273390000002700000005037331300000002c00000008037331310000003400000003037331320000003700000003037331330000003a00000004037331340000003e00000004037331350000004200000006037331360000004800000007037331370000004f00000003037331380000005200000004037331390000005600000006037332300000003c00000002037332310000005e00000006037332320000003000000002037332330000006600000002037332340000006800000006037332350000006e00000008037332360000007600000003037332370000005000000002037332380000007b00000004037332390000007f00000005037333300000008400000006037333310000008a00000003037333320000008d0000000503733333000000920000000403733334000000960000000546616c73654e6f6e6554727565616e6461736173736572746173796e636177616974627265616b636c617373636f6e74696e756564656664656c656c6966656c736565786365707466696e616c6c79666f7266726f6d676c6f62616c6966696d706f7274696e69736c616d6264616e6f6e6c6f63616c6e6f746f7270617373726169736572657475726e7472797768696c65776974687969656c64", "complete_artifact_bytes": 577, "index_and_header_bytes": 422, "positions": [ { "id": "s0", "offset": 0, "length": 5 }, { "id": "s1", "offset": 5, "length": 4 }, { "id": "s2", "offset": 9, "length": 4 }, { "id": "s3", "offset": 13, "length": 3 }, { "id": "s4", "offset": 16, "length": 2 }, { "id": "s5", "offset": 18, "length": 6 }, { "id": "s6", "offset": 24, "length": 5 }, { "id": "s7", "offset": 29, "length": 5 }, { "id": "s8", "offset": 34, "length": 5 }, { "id": "s9", "offset": 39, "length": 5 }, { "id": "s10", "offset": 44, "length": 8 }, { "id": "s11", "offset": 52, "length": 3 }, { "id": "s12", "offset": 55, "length": 3 }, { "id": "s13", "offset": 58, "length": 4 }, { "id": "s14", "offset": 62, "length": 4 }, { "id": "s15", "offset": 66, "length": 6 }, { "id": "s16", "offset": 72, "length": 7 }, { "id": "s17", "offset": 79, "length": 3 }, { "id": "s18", "offset": 82, "length": 4 }, { "id": "s19", "offset": 86, "length": 6 }, { "id": "s20", "offset": 60, "length": 2 }, { "id": "s21", "offset": 94, "length": 6 }, { "id": "s22", "offset": 48, "length": 2 }, { "id": "s23", "offset": 102, "length": 2 }, { "id": "s24", "offset": 104, "length": 6 }, { "id": "s25", "offset": 110, "length": 8 }, { "id": "s26", "offset": 118, "length": 3 }, { "id": "s27", "offset": 80, "length": 2 }, { "id": "s28", "offset": 123, "length": 4 }, { "id": "s29", "offset": 127, "length": 5 }, { "id": "s30", "offset": 132, "length": 6 }, { "id": "s31", "offset": 138, "length": 3 }, { "id": "s32", "offset": 141, "length": 5 }, { "id": "s33", "offset": 146, "length": 4 }, { "id": "s34", "offset": 150, "length": 5 } ], "artifact_sha256": "c9c98ec5a19b9172a70e2b2ffaff51ff46308416b677964cc6e53d250dab4ada", "compressed_complete_artifact_bytes": { "gzip": 350, "zlib": 338, "xz": 352 }, "roundtrip_checked": true }, "contained_string_concatenation": { "blob_hex": "46616c73654e6f6e6554727565616e646173736572746173796e636177616974627265616b636c617373636f6e74696e756564656664656c656c6966656c736565786365707466696e616c6c79666f7266726f6d676c6f62616c696d706f72746c616d6264616e6f6e6c6f63616c6e6f7470617373726169736572657475726e7472797768696c65776974687969656c64", "blob_bytes": 145, "complete_artifact_hex": "5353503100000023000000910273300000000000000005027331000000050000000402733200000009000000040273330000000d000000030273340000001000000002027335000000100000000602733600000016000000050273370000001b0000000502733800000020000000050273390000002500000005037331300000002a00000008037331310000003200000003037331320000003500000003037331330000003800000004037331340000003c00000004037331350000004000000006037331360000004600000007037331370000004d00000003037331380000005000000004037331390000005400000006037332300000003a00000002037332310000005a00000006037332320000002e00000002037332330000007700000002037332340000006000000006037332350000006600000008037332360000006e00000003037332370000004e00000002037332380000007100000004037332390000007500000005037333300000007a00000006037333310000008000000003037333320000008300000005037333330000008800000004037333340000008c0000000546616c73654e6f6e6554727565616e646173736572746173796e636177616974627265616b636c617373636f6e74696e756564656664656c656c6966656c736565786365707466696e616c6c79666f7266726f6d676c6f62616c696d706f72746c616d6264616e6f6e6c6f63616c6e6f7470617373726169736572657475726e7472797768696c65776974687969656c64", "complete_artifact_bytes": 567, "index_and_header_bytes": 422, "positions": [ { "id": "s0", "offset": 0, "length": 5 }, { "id": "s1", "offset": 5, "length": 4 }, { "id": "s2", "offset": 9, "length": 4 }, { "id": "s3", "offset": 13, "length": 3 }, { "id": "s4", "offset": 16, "length": 2 }, { "id": "s5", "offset": 16, "length": 6 }, { "id": "s6", "offset": 22, "length": 5 }, { "id": "s7", "offset": 27, "length": 5 }, { "id": "s8", "offset": 32, "length": 5 }, { "id": "s9", "offset": 37, "length": 5 }, { "id": "s10", "offset": 42, "length": 8 }, { "id": "s11", "offset": 50, "length": 3 }, { "id": "s12", "offset": 53, "length": 3 }, { "id": "s13", "offset": 56, "length": 4 }, { "id": "s14", "offset": 60, "length": 4 }, { "id": "s15", "offset": 64, "length": 6 }, { "id": "s16", "offset": 70, "length": 7 }, { "id": "s17", "offset": 77, "length": 3 }, { "id": "s18", "offset": 80, "length": 4 }, { "id": "s19", "offset": 84, "length": 6 }, { "id": "s20", "offset": 58, "length": 2 }, { "id": "s21", "offset": 90, "length": 6 }, { "id": "s22", "offset": 46, "length": 2 }, { "id": "s23", "offset": 119, "length": 2 }, { "id": "s24", "offset": 96, "length": 6 }, { "id": "s25", "offset": 102, "length": 8 }, { "id": "s26", "offset": 110, "length": 3 }, { "id": "s27", "offset": 78, "length": 2 }, { "id": "s28", "offset": 113, "length": 4 }, { "id": "s29", "offset": 117, "length": 5 }, { "id": "s30", "offset": 122, "length": 6 }, { "id": "s31", "offset": 128, "length": 3 }, { "id": "s32", "offset": 131, "length": 5 }, { "id": "s33", "offset": 136, "length": 4 }, { "id": "s34", "offset": 140, "length": 5 } ], "artifact_sha256": "46e7c86b69745dff90b69c9eb6253130a26c827dfc0ffb13fa34380c7a36bc25", "compressed_complete_artifact_bytes": { "gzip": 337, "zlib": 325, "xz": 348 }, "roundtrip_checked": true }, "maximum_overlap_greedy": { "blob_hex": "46616c73656c73657863657074727969656c646566696e616c6c794e6f6e65547275656173796e636c6173736572746177616974627265616b636f6e74696e756566726f6d676c6f62616c616d6264616e64656c69666f7261697365696d706f72746e6f747061737372657475726e6f6e6c6f63616c7768696c6577697468", "blob_bytes": 127, "complete_artifact_hex": "53535031000000230000007f02733000000000000000050273310000001b000000040273320000001f000000040273330000004f000000030273340000002300000002027335000000290000000602733600000023000000050273370000002f0000000502733800000034000000050273390000002700000005037331300000003900000008037331310000001200000003037331320000005100000003037331330000005200000004037331340000000400000004037331350000000700000006037331360000001400000007037331370000005500000003037331380000004100000004037331390000004500000006037332300000005400000002037332310000005c00000006037332320000001500000002037332330000005900000002037332340000004a00000006037332350000006e00000008037332360000006200000003037332370000005600000002037332380000006500000004037332390000005700000005037333300000006900000006037333310000000c00000003037333320000007600000005037333330000007b00000004037333340000000e0000000546616c73656c73657863657074727969656c646566696e616c6c794e6f6e65547275656173796e636c6173736572746177616974627265616b636f6e74696e756566726f6d676c6f62616c616d6264616e64656c69666f7261697365696d706f72746e6f747061737372657475726e6f6e6c6f63616c7768696c6577697468", "complete_artifact_bytes": 549, "index_and_header_bytes": 422, "positions": [ { "id": "s0", "offset": 0, "length": 5 }, { "id": "s1", "offset": 27, "length": 4 }, { "id": "s2", "offset": 31, "length": 4 }, { "id": "s3", "offset": 79, "length": 3 }, { "id": "s4", "offset": 35, "length": 2 }, { "id": "s5", "offset": 41, "length": 6 }, { "id": "s6", "offset": 35, "length": 5 }, { "id": "s7", "offset": 47, "length": 5 }, { "id": "s8", "offset": 52, "length": 5 }, { "id": "s9", "offset": 39, "length": 5 }, { "id": "s10", "offset": 57, "length": 8 }, { "id": "s11", "offset": 18, "length": 3 }, { "id": "s12", "offset": 81, "length": 3 }, { "id": "s13", "offset": 82, "length": 4 }, { "id": "s14", "offset": 4, "length": 4 }, { "id": "s15", "offset": 7, "length": 6 }, { "id": "s16", "offset": 20, "length": 7 }, { "id": "s17", "offset": 85, "length": 3 }, { "id": "s18", "offset": 65, "length": 4 }, { "id": "s19", "offset": 69, "length": 6 }, { "id": "s20", "offset": 84, "length": 2 }, { "id": "s21", "offset": 92, "length": 6 }, { "id": "s22", "offset": 21, "length": 2 }, { "id": "s23", "offset": 89, "length": 2 }, { "id": "s24", "offset": 74, "length": 6 }, { "id": "s25", "offset": 110, "length": 8 }, { "id": "s26", "offset": 98, "length": 3 }, { "id": "s27", "offset": 86, "length": 2 }, { "id": "s28", "offset": 101, "length": 4 }, { "id": "s29", "offset": 87, "length": 5 }, { "id": "s30", "offset": 105, "length": 6 }, { "id": "s31", "offset": 12, "length": 3 }, { "id": "s32", "offset": 118, "length": 5 }, { "id": "s33", "offset": 123, "length": 4 }, { "id": "s34", "offset": 14, "length": 5 } ], "artifact_sha256": "2d2387b9d4135605927cf621cc3e084a6dca271b2c33910abc6c0e046b1260d4", "compressed_complete_artifact_bytes": { "gzip": 322, "zlib": 310, "xz": 336 }, "roundtrip_checked": true } }, "method_statuses": { "maximum_overlap_greedy": "complete", "exact_tiny_overlap_DP": "outside_exact_item_cap" }, "exact_optimum_bytes": null, "greedy_factor_two_on_this_exact_instance": null, "work": 39552, "work_budget": 2000000, "source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "interpretation": "Conventional bounded baselines and exact tiny DP. Source factor-two construction is not maximum-overlap greedy and is not implemented here. Caps count overlap-candidate tests/DP transitions, not character operations, native preprocessing, compression memory or time. SSP1 includes IDs and offset/length index; it supports immutable byte views including embedded zero, not drop-in C strings. Compressed artifacts require whole-artifact decompression; no random-access latency or customer value was measured." }, "source_count_stage": { "status": "outside_reduced_length_cap", "forced_counts": null, "paper_derived_lower_bound": null, "base_edges": null, "source_family": "128", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "full_source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "reduced_input_bytes": 145, "scope": "Only the forced occurrence recursion and balanced base-graph formulas from source section 02. Lower-bound validity uses the paper argument, not an executed proof checker. Full periodic layers, requests, links, cycle opening and output construction are unimplemented. Finite comparison evidence is separate.", "limits": { "reduced_input_bytes": 128, "distinct_substrings": 512, "charged_work": 2000000 }, "work_interpretation": "Conservative character/rule/lookup charges; native preprocessing, Python object/storage costs and output encoding are excluded. No source polynomial runtime or byte-memory guarantee.", "work": 0 } }, { "name": "public_source_discipline_labels", "input_origin": "public pinned repository metadata", "input": { "strings": [ { "id": "s0", "hex": "416c6765627261" }, { "id": "s1", "hex": "416c6765627261696320616e6420636f6d706c65782067656f6d65747279" }, { "id": "s2", "hex": "436f6d62696e61746f72696373" }, { "id": "s3", "hex": "436f6e76657820616e64206d65747269632067656f6d65747279" }, { "id": "s4", "hex": "446966666572656e7469616c2067656f6d65747279" }, { "id": "s5", "hex": "44796e616d6963616c2073797374656d7320616e64206572676f646963207468656f7279" }, { "id": "s6", "hex": "46756e6374696f6e616c20616e616c79736973" }, { "id": "s7", "hex": "47726f7570207468656f7279" }, { "id": "s8", "hex": "4d617468656d61746963616c206c6f676963" }, { "id": "s9", "hex": "4d617468656d61746963616c2070687973696373" }, { "id": "s10", "hex": "4e756d626572207468656f7279" }, { "id": "s11", "hex": "4f70657261746f7220616c676562726173" }, { "id": "s12", "hex": "5061727469616c20646966666572656e7469616c206571756174696f6e73" }, { "id": "s13", "hex": "50726f626162696c69747920616e6420737461746973746963616c206d656368616e696373" }, { "id": "s14", "hex": "5265616c20616e6420636f6d706c657820616e616c79736973" }, { "id": "s15", "hex": "5468656f7265746963616c20636f6d707574657220736369656e6365" }, { "id": "s16", "hex": "546f706f6c6f6779" } ], "model": { "alphabet": "bytes", "containment": "exact_contiguous_substring", "lookup": "stable_ID_offset_and_length", "terminators": "not_required", "mutability": "immutable", "additional_constraints": "none" } }, "packing": { "status": "bounded_comparison_completed", "input_items": 17, "input_literal_bytes": 360, "maximal_distinct_nonempty_literals": 16, "methods": { "original_concatenation": { "blob_hex": "416c6765627261416c6765627261696320616e6420636f6d706c65782067656f6d65747279436f6d62696e61746f72696373436f6e76657820616e64206d65747269632067656f6d65747279446966666572656e7469616c2067656f6d6574727944796e616d6963616c2073797374656d7320616e64206572676f646963207468656f727946756e6374696f6e616c20616e616c7973697347726f7570207468656f72794d617468656d61746963616c206c6f6769634d617468656d61746963616c20706879736963734e756d626572207468656f72794f70657261746f7220616c6765627261735061727469616c20646966666572656e7469616c206571756174696f6e7350726f626162696c69747920616e6420737461746973746963616c206d656368616e6963735265616c20616e6420636f6d706c657820616e616c797369735468656f7265746963616c20636f6d707574657220736369656e6365546f706f6c6f6779", "blob_bytes": 360, "complete_artifact_hex": "5353503100000011000001680273300000000000000007027331000000070000001e027332000000250000000d027333000000320000001a0273340000004c0000001502733500000061000000240273360000008500000013027337000000980000000c027338000000a400000012027339000000b60000001403733130000000ca0000000d03733131000000d70000001103733132000000e80000001e037331330000010600000025037331340000012b0000001903733135000001440000001c037331360000016000000008416c6765627261416c6765627261696320616e6420636f6d706c65782067656f6d65747279436f6d62696e61746f72696373436f6e76657820616e64206d65747269632067656f6d65747279446966666572656e7469616c2067656f6d6574727944796e616d6963616c2073797374656d7320616e64206572676f646963207468656f727946756e6374696f6e616c20616e616c7973697347726f7570207468656f72794d617468656d61746963616c206c6f6769634d617468656d61746963616c20706879736963734e756d626572207468656f72794f70657261746f7220616c6765627261735061727469616c20646966666572656e7469616c206571756174696f6e7350726f626162696c69747920616e6420737461746973746963616c206d656368616e6963735265616c20616e6420636f6d706c657820616e616c797369735468656f7265746963616c20636f6d707574657220736369656e6365546f706f6c6f6779", "complete_artifact_bytes": 566, "index_and_header_bytes": 206, "positions": [ { "id": "s0", "offset": 0, "length": 7 }, { "id": "s1", "offset": 7, "length": 30 }, { "id": "s2", "offset": 37, "length": 13 }, { "id": "s3", "offset": 50, "length": 26 }, { "id": "s4", "offset": 76, "length": 21 }, { "id": "s5", "offset": 97, "length": 36 }, { "id": "s6", "offset": 133, "length": 19 }, { "id": "s7", "offset": 152, "length": 12 }, { "id": "s8", "offset": 164, "length": 18 }, { "id": "s9", "offset": 182, "length": 20 }, { "id": "s10", "offset": 202, "length": 13 }, { "id": "s11", "offset": 215, "length": 17 }, { "id": "s12", "offset": 232, "length": 30 }, { "id": "s13", "offset": 262, "length": 37 }, { "id": "s14", "offset": 299, "length": 25 }, { "id": "s15", "offset": 324, "length": 28 }, { "id": "s16", "offset": 352, "length": 8 } ], "artifact_sha256": "f9f036bd53b6a9afb506d18d50f1fcb0074ff154d30a869c3adabac8be0e014d", "compressed_complete_artifact_bytes": { "gzip": 368, "zlib": 356, "xz": 392 }, "roundtrip_checked": true }, "deduplicated_concatenation": { "blob_hex": "416c6765627261416c6765627261696320616e6420636f6d706c65782067656f6d65747279436f6d62696e61746f72696373436f6e76657820616e64206d65747269632067656f6d65747279446966666572656e7469616c2067656f6d6574727944796e616d6963616c2073797374656d7320616e64206572676f646963207468656f727946756e6374696f6e616c20616e616c7973697347726f7570207468656f72794d617468656d61746963616c206c6f6769634d617468656d61746963616c20706879736963734e756d626572207468656f72794f70657261746f7220616c6765627261735061727469616c20646966666572656e7469616c206571756174696f6e7350726f626162696c69747920616e6420737461746973746963616c206d656368616e6963735265616c20616e6420636f6d706c657820616e616c797369735468656f7265746963616c20636f6d707574657220736369656e6365546f706f6c6f6779", "blob_bytes": 360, "complete_artifact_hex": "5353503100000011000001680273300000000000000007027331000000070000001e027332000000250000000d027333000000320000001a0273340000004c0000001502733500000061000000240273360000008500000013027337000000980000000c027338000000a400000012027339000000b60000001403733130000000ca0000000d03733131000000d70000001103733132000000e80000001e037331330000010600000025037331340000012b0000001903733135000001440000001c037331360000016000000008416c6765627261416c6765627261696320616e6420636f6d706c65782067656f6d65747279436f6d62696e61746f72696373436f6e76657820616e64206d65747269632067656f6d65747279446966666572656e7469616c2067656f6d6574727944796e616d6963616c2073797374656d7320616e64206572676f646963207468656f727946756e6374696f6e616c20616e616c7973697347726f7570207468656f72794d617468656d61746963616c206c6f6769634d617468656d61746963616c20706879736963734e756d626572207468656f72794f70657261746f7220616c6765627261735061727469616c20646966666572656e7469616c206571756174696f6e7350726f626162696c69747920616e6420737461746973746963616c206d656368616e6963735265616c20616e6420636f6d706c657820616e616c797369735468656f7265746963616c20636f6d707574657220736369656e6365546f706f6c6f6779", "complete_artifact_bytes": 566, "index_and_header_bytes": 206, "positions": [ { "id": "s0", "offset": 0, "length": 7 }, { "id": "s1", "offset": 7, "length": 30 }, { "id": "s2", "offset": 37, "length": 13 }, { "id": "s3", "offset": 50, "length": 26 }, { "id": "s4", "offset": 76, "length": 21 }, { "id": "s5", "offset": 97, "length": 36 }, { "id": "s6", "offset": 133, "length": 19 }, { "id": "s7", "offset": 152, "length": 12 }, { "id": "s8", "offset": 164, "length": 18 }, { "id": "s9", "offset": 182, "length": 20 }, { "id": "s10", "offset": 202, "length": 13 }, { "id": "s11", "offset": 215, "length": 17 }, { "id": "s12", "offset": 232, "length": 30 }, { "id": "s13", "offset": 262, "length": 37 }, { "id": "s14", "offset": 299, "length": 25 }, { "id": "s15", "offset": 324, "length": 28 }, { "id": "s16", "offset": 352, "length": 8 } ], "artifact_sha256": "f9f036bd53b6a9afb506d18d50f1fcb0074ff154d30a869c3adabac8be0e014d", "compressed_complete_artifact_bytes": { "gzip": 368, "zlib": 356, "xz": 392 }, "roundtrip_checked": true }, "contained_string_concatenation": { "blob_hex": "416c6765627261696320616e6420636f6d706c65782067656f6d65747279436f6d62696e61746f72696373436f6e76657820616e64206d65747269632067656f6d65747279446966666572656e7469616c2067656f6d6574727944796e616d6963616c2073797374656d7320616e64206572676f646963207468656f727946756e6374696f6e616c20616e616c7973697347726f7570207468656f72794d617468656d61746963616c206c6f6769634d617468656d61746963616c20706879736963734e756d626572207468656f72794f70657261746f7220616c6765627261735061727469616c20646966666572656e7469616c206571756174696f6e7350726f626162696c69747920616e6420737461746973746963616c206d656368616e6963735265616c20616e6420636f6d706c657820616e616c797369735468656f7265746963616c20636f6d707574657220736369656e6365546f706f6c6f6779", "blob_bytes": 353, "complete_artifact_hex": "5353503100000011000001610273300000000000000007027331000000000000001e0273320000001e0000000d0273330000002b0000001a02733400000045000000150273350000005a000000240273360000007e00000013027337000000910000000c0273380000009d00000012027339000000af0000001403733130000000c30000000d03733131000000d00000001103733132000000e10000001e03733133000000ff00000025037331340000012400000019037331350000013d0000001c037331360000015900000008416c6765627261696320616e6420636f6d706c65782067656f6d65747279436f6d62696e61746f72696373436f6e76657820616e64206d65747269632067656f6d65747279446966666572656e7469616c2067656f6d6574727944796e616d6963616c2073797374656d7320616e64206572676f646963207468656f727946756e6374696f6e616c20616e616c7973697347726f7570207468656f72794d617468656d61746963616c206c6f6769634d617468656d61746963616c20706879736963734e756d626572207468656f72794f70657261746f7220616c6765627261735061727469616c20646966666572656e7469616c206571756174696f6e7350726f626162696c69747920616e6420737461746973746963616c206d656368616e6963735265616c20616e6420636f6d706c657820616e616c797369735468656f7265746963616c20636f6d707574657220736369656e6365546f706f6c6f6779", "complete_artifact_bytes": 559, "index_and_header_bytes": 206, "positions": [ { "id": "s0", "offset": 0, "length": 7 }, { "id": "s1", "offset": 0, "length": 30 }, { "id": "s2", "offset": 30, "length": 13 }, { "id": "s3", "offset": 43, "length": 26 }, { "id": "s4", "offset": 69, "length": 21 }, { "id": "s5", "offset": 90, "length": 36 }, { "id": "s6", "offset": 126, "length": 19 }, { "id": "s7", "offset": 145, "length": 12 }, { "id": "s8", "offset": 157, "length": 18 }, { "id": "s9", "offset": 175, "length": 20 }, { "id": "s10", "offset": 195, "length": 13 }, { "id": "s11", "offset": 208, "length": 17 }, { "id": "s12", "offset": 225, "length": 30 }, { "id": "s13", "offset": 255, "length": 37 }, { "id": "s14", "offset": 292, "length": 25 }, { "id": "s15", "offset": 317, "length": 28 }, { "id": "s16", "offset": 345, "length": 8 } ], "artifact_sha256": "0ec2d8d2ffabcd70bbe6154f8580aba602016ba1e6cf44f5b397b2586dadc3ee", "compressed_complete_artifact_bytes": { "gzip": 365, "zlib": 353, "xz": 388 }, "roundtrip_checked": true }, "maximum_overlap_greedy": { "blob_hex": "416c6765627261696320616e6420636f6d706c65782067656f6d65747279436f6d62696e61746f72696373436f6e76657820616e64206d65747269632067656f6d65747279446966666572656e7469616c2067656f6d6574727944796e616d6963616c2073797374656d7320616e64206572676f646963207468656f727946756e6374696f6e616c20616e616c7973697347726f7570207468656f72794d617468656d61746963616c206c6f6769634d617468656d61746963616c20706879736963734e756d626572207468656f72794f70657261746f7220616c6765627261735061727469616c20646966666572656e7469616c206571756174696f6e7350726f626162696c69747920616e6420737461746973746963616c206d656368616e6963735265616c20616e6420636f6d706c657820616e616c797369735468656f7265746963616c20636f6d707574657220736369656e6365546f706f6c6f6779", "blob_bytes": 353, "complete_artifact_hex": "5353503100000011000001610273300000000000000007027331000000000000001e0273320000001e0000000d0273330000002b0000001a02733400000045000000150273350000005a000000240273360000007e00000013027337000000910000000c0273380000009d00000012027339000000af0000001403733130000000c30000000d03733131000000d00000001103733132000000e10000001e03733133000000ff00000025037331340000012400000019037331350000013d0000001c037331360000015900000008416c6765627261696320616e6420636f6d706c65782067656f6d65747279436f6d62696e61746f72696373436f6e76657820616e64206d65747269632067656f6d65747279446966666572656e7469616c2067656f6d6574727944796e616d6963616c2073797374656d7320616e64206572676f646963207468656f727946756e6374696f6e616c20616e616c7973697347726f7570207468656f72794d617468656d61746963616c206c6f6769634d617468656d61746963616c20706879736963734e756d626572207468656f72794f70657261746f7220616c6765627261735061727469616c20646966666572656e7469616c206571756174696f6e7350726f626162696c69747920616e6420737461746973746963616c206d656368616e6963735265616c20616e6420636f6d706c657820616e616c797369735468656f7265746963616c20636f6d707574657220736369656e6365546f706f6c6f6779", "complete_artifact_bytes": 559, "index_and_header_bytes": 206, "positions": [ { "id": "s0", "offset": 0, "length": 7 }, { "id": "s1", "offset": 0, "length": 30 }, { "id": "s2", "offset": 30, "length": 13 }, { "id": "s3", "offset": 43, "length": 26 }, { "id": "s4", "offset": 69, "length": 21 }, { "id": "s5", "offset": 90, "length": 36 }, { "id": "s6", "offset": 126, "length": 19 }, { "id": "s7", "offset": 145, "length": 12 }, { "id": "s8", "offset": 157, "length": 18 }, { "id": "s9", "offset": 175, "length": 20 }, { "id": "s10", "offset": 195, "length": 13 }, { "id": "s11", "offset": 208, "length": 17 }, { "id": "s12", "offset": 225, "length": 30 }, { "id": "s13", "offset": 255, "length": 37 }, { "id": "s14", "offset": 292, "length": 25 }, { "id": "s15", "offset": 317, "length": 28 }, { "id": "s16", "offset": 345, "length": 8 } ], "artifact_sha256": "0ec2d8d2ffabcd70bbe6154f8580aba602016ba1e6cf44f5b397b2586dadc3ee", "compressed_complete_artifact_bytes": { "gzip": 365, "zlib": 353, "xz": 388 }, "roundtrip_checked": true } }, "method_statuses": { "maximum_overlap_greedy": "complete", "exact_tiny_overlap_DP": "outside_exact_item_cap" }, "exact_optimum_bytes": null, "greedy_factor_two_on_this_exact_instance": null, "work": 23620, "work_budget": 2000000, "source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "interpretation": "Conventional bounded baselines and exact tiny DP. Source factor-two construction is not maximum-overlap greedy and is not implemented here. Caps count overlap-candidate tests/DP transitions, not character operations, native preprocessing, compression memory or time. SSP1 includes IDs and offset/length index; it supports immutable byte views including embedded zero, not drop-in C strings. Compressed artifacts require whole-artifact decompression; no random-access latency or customer value was measured." }, "source_count_stage": { "status": "outside_reduced_length_cap", "forced_counts": null, "paper_derived_lower_bound": null, "base_edges": null, "source_family": "128", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "full_source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "reduced_input_bytes": 353, "scope": "Only the forced occurrence recursion and balanced base-graph formulas from source section 02. Lower-bound validity uses the paper argument, not an executed proof checker. Full periodic layers, requests, links, cycle opening and output construction are unimplemented. Finite comparison evidence is separate.", "limits": { "reduced_input_bytes": 128, "distinct_substrings": 512, "charged_work": 2000000 }, "work_interpretation": "Conservative character/rule/lookup charges; native preprocessing, Python object/storage costs and output encoding are excluded. No source polynomial runtime or byte-memory guarantee.", "work": 0 } }, { "name": "public_source_first_forty_eight_family_titles", "input_origin": "public pinned repository metadata", "input": { "strings": [ { "id": "s0", "hex": "4d696c6e65e280997320726174696f6e616c69747920636f6e6a65637475726520616e6420616c67656272616963207370656369616c697a6174696f6e" }, { "id": "s1", "hex": "5468652066756c6c2042534420666f726d756c612066726f6d206c6f772053656c6d657220636f72616e6b" }, { "id": "s2", "hex": "5468652071756173692d5269656d616e6e206879706f746865736973" }, { "id": "s3", "hex": "48696c62657274e28099732074656e74682070726f626c656d206f76657220e2849a" }, { "id": "s4", "hex": "4972726174696f6e616c697479206f6620436174616c616ee280997320636f6e7374616e74" }, { "id": "s5", "hex": "476f6c6466656c64e280997320636f6e6a6563747572653a2064656e73697469657320616e64206d65616e20616e616c797469632072616e6b" }, { "id": "s6", "hex": "4f7264696e6172792074776f2d706f696e7420636f7272656c6174696f6e7320616e642074686520636f7272656374656420456c6c696f747420636f6e6a656374757265" }, { "id": "s7", "hex": "5468652044656c69676e65e280934472696e66656c6420636f6e6a656374757265" }, { "id": "s8", "hex": "46756e6374696f6e2d6669656c64207265636f6e737472756374696f6e2066726f6d204d696c6e6f72204b2d7468656f727920616e642047616c6f69732064617461" }, { "id": "s9", "hex": "556e726573747269637465642070726f2d6d6f64756c617269747920617420746865207072696d652074776f" }, { "id": "s10", "hex": "5072696d652d666163746f722073746174697374696373206f66202460702d316024" }, { "id": "s11", "hex": "496e646570656e64656e74206c617267657374207072696d6520666163746f7273206f6620636f6e736563757469766520696e746567657273" }, { "id": "s12", "hex": "4f73746d616e6ee280997320696e766572736520476f6c646261636820636f6e6a656374757265" }, { "id": "s13", "hex": "526573747269637465642067656f6d6574726963204c616e676c616e64732c20676c6f62616c2041727468757220656e68616e63656d656e74732c20616e642067656e657269632052616d616e756a616e" }, { "id": "s14", "hex": "546f7275732d7061636b65742065717569646973747269627574696f6e20696e207072696d652c20717561727469632c20616e64207365787469632064656772656573" }, { "id": "s15", "hex": "5a696c626572e2809350696e6b20696e206162656c69616e2076617269657469657320616e64207468652053696567656c207468726565666f6c64" }, { "id": "s16", "hex": "546865206972726174696f6e616c697479206578706f6e656e74206f66203c693ecf803c2f693e2069732032" }, { "id": "s17", "hex": "546865204d617267756c6973e28093506c61746f6e6f7620636f6e6a656374757265206f76657220676c6f62616c206669656c6473" }, { "id": "s18", "hex": "546865206c6f63616c203c693e703c2f693e2d616469632073656374696f6e20636f6e6a65637475726520616e6420676c6f62616c20636f6e73657175656e636573" }, { "id": "s19", "hex": "5371756172656672656520717561727469637320616e6420706f7765722d6672656520706f6c796e6f6d69616c2076616c756573" }, { "id": "s20", "hex": "412071756164726174696320626f756e6420666f72204a61636f62737468616ce28099732066756e6374696f6e" }, { "id": "s21", "hex": "546865207765616b20696e686f6d6f67656e656f75732044756666696ee2809353636861656666657220636f6e6a656374757265" }, { "id": "s22", "hex": "506174746572736f6e2773206669727374206d6f6d656e7420666f722063756269632047617573732073756d73" }, { "id": "s23", "hex": "416e206173796d70746f74696320666f726d756c6120666f7220746865206e756d626572206f6620746f7469656e7473" }, { "id": "s24", "hex": "53686f727420456779707469616e206672616374696f6e73" }, { "id": "s25", "hex": "506f736974697665206c6f7765722064656e73697479206f66206c61726765207072696d652067617073" }, { "id": "s26", "hex": "506f74656e7469616c20696e74656772616c2064656e73697479206f6e2063757276652063686172616374657220766172696574696573" }, { "id": "s27", "hex": "556e69666f726d6c7920626f756e64656420636f6d706f6e656e7473206f6620476175737369616e2d7072696d6520677261706873" }, { "id": "s28", "hex": "5072696d697469766520726f6f747320666f722065766572792061646d69737369626c6520696e74656765722062617365" }, { "id": "s29", "hex": "4d6f64756c6172697479206f6620656c6c697074696320637572766573206f76657220696d6167696e61727920717561647261746963206669656c6473" }, { "id": "s30", "hex": "556368696461e280997320636f6e6a65637475726520666f72206f70656e20686f6d6f6d6f72706869736d73206f662047616c6f69732067726f757073" }, { "id": "s31", "hex": "54686520726174696f6e616c20486f64676520636f6e6a65637475726520666f7220434d206162656c69616e20766172696574696573" }, { "id": "s32", "hex": "496974616b6120737562616464697469766974792c20766172696174696f6e2c20616e64206c6f6761726974686d69632061646469746976697479" }, { "id": "s33", "hex": "4c6f67206162756e64616e636520666f7220636f6d70616374204bc3a4686c65722073706163657320756e646572206c6f6761726974686d696320496974616b612073756261646469746976697479" }, { "id": "s34", "hex": "4c6f672d63616e6f6e6963616c207468726565666f6c64206162756e64616e636520696e206e756d65726963616c2064696d656e73696f6e206f6e65" }, { "id": "s35", "hex": "4e756d65726963616c2073656d69616d706c656e65737320616e642067656e6572616c697a6564206d696e696d616c206d6f64656c73" }, { "id": "s36", "hex": "546865206f7264696e6172792d646f75626c652d706f696e7420766f6c756d6520676170" }, { "id": "s37", "hex": "46756a697461e280997320667265656e65737320636f6e6a656374757265" }, { "id": "s38", "hex": "4e6167617461e280997320636f6e6a65637475726520616e64206d6178696d616c20536573686164726920636f6e7374616e7473" }, { "id": "s39", "hex": "426c6f6368e280997320636f6e6a65637475726520666f7220636f6d706c6578207375726661636573" }, { "id": "s40", "hex": "48797065726bc3a4686c65722053595a20616e642070726f6a6563746976652d7370616365206261736573" }, { "id": "s41", "hex": "4f6b6120636c617373696669636174696f6e20666f72206d696e696d616c20636f6d7061637420636f6d706c65782073757266616365733a204b6f64616972612064696d656e73696f6e207a65726f20616e6420636c61737320564949" }, { "id": "s42", "hex": "3c693e503c2f693e203d203c693e573c2f693e20666f722066697865642d64657465726d696e616e7420534c3c7375623e3c693e6e3c2f693e3c2f7375623e206d6f64756c6920737061636573" }, { "id": "s43", "hex": "546865206571756976617269616e7420636f686f6d6f6c6f676963616c2048696b69746120636f6e6a656374757265" }, { "id": "s44", "hex": "536861666172657669636820636f756e7465726578616d706c657320696e2064696d656e73696f6e2074776f20616e642077697468206c617267652066756e64616d656e74616c2067726f7570" }, { "id": "s45", "hex": "5a617269736b692063616e63656c6c6174696f6e20616e6420616666696e6520666962726174696f6e73206f7665722074686520636f6d706c6578206e756d62657273" }, { "id": "s46", "hex": "412063686172616374657269737469632d7a65726f20636f756e7465726578616d706c6520746f204c69706d616ee280935a617269736b69" }, { "id": "s47", "hex": "4120737461626c652d636f6f7264696e61746520636f756e7465726578616d706c6520696e20666f7572207661726961626c6573" } ], "model": { "alphabet": "bytes", "containment": "exact_contiguous_substring", "lookup": "stable_ID_offset_and_length", "terminators": "not_required", "mutability": "immutable", "additional_constraints": "none" } }, "packing": { "status": "bounded_comparison_completed", "input_items": 48, "input_literal_bytes": 2535, "maximal_distinct_nonempty_literals": 48, "methods": { "original_concatenation": { "blob_hex": "4d696c6e65e280997320726174696f6e616c69747920636f6e6a65637475726520616e6420616c67656272616963207370656369616c697a6174696f6e5468652066756c6c2042534420666f726d756c612066726f6d206c6f772053656c6d657220636f72616e6b5468652071756173692d5269656d616e6e206879706f74686573697348696c62657274e28099732074656e74682070726f626c656d206f76657220e2849a4972726174696f6e616c697479206f6620436174616c616ee280997320636f6e7374616e74476f6c6466656c64e280997320636f6e6a6563747572653a2064656e73697469657320616e64206d65616e20616e616c797469632072616e6b4f7264696e6172792074776f2d706f696e7420636f7272656c6174696f6e7320616e642074686520636f7272656374656420456c6c696f747420636f6e6a6563747572655468652044656c69676e65e280934472696e66656c6420636f6e6a65637475726546756e6374696f6e2d6669656c64207265636f6e737472756374696f6e2066726f6d204d696c6e6f72204b2d7468656f727920616e642047616c6f69732064617461556e726573747269637465642070726f2d6d6f64756c617269747920617420746865207072696d652074776f5072696d652d666163746f722073746174697374696373206f66202460702d316024496e646570656e64656e74206c617267657374207072696d6520666163746f7273206f6620636f6e736563757469766520696e7465676572734f73746d616e6ee280997320696e766572736520476f6c646261636820636f6e6a656374757265526573747269637465642067656f6d6574726963204c616e676c616e64732c20676c6f62616c2041727468757220656e68616e63656d656e74732c20616e642067656e657269632052616d616e756a616e546f7275732d7061636b65742065717569646973747269627574696f6e20696e207072696d652c20717561727469632c20616e642073657874696320646567726565735a696c626572e2809350696e6b20696e206162656c69616e2076617269657469657320616e64207468652053696567656c207468726565666f6c64546865206972726174696f6e616c697479206578706f6e656e74206f66203c693ecf803c2f693e2069732032546865204d617267756c6973e28093506c61746f6e6f7620636f6e6a656374757265206f76657220676c6f62616c206669656c6473546865206c6f63616c203c693e703c2f693e2d616469632073656374696f6e20636f6e6a65637475726520616e6420676c6f62616c20636f6e73657175656e6365735371756172656672656520717561727469637320616e6420706f7765722d6672656520706f6c796e6f6d69616c2076616c756573412071756164726174696320626f756e6420666f72204a61636f62737468616ce28099732066756e6374696f6e546865207765616b20696e686f6d6f67656e656f75732044756666696ee2809353636861656666657220636f6e6a656374757265506174746572736f6e2773206669727374206d6f6d656e7420666f722063756269632047617573732073756d73416e206173796d70746f74696320666f726d756c6120666f7220746865206e756d626572206f6620746f7469656e747353686f727420456779707469616e206672616374696f6e73506f736974697665206c6f7765722064656e73697479206f66206c61726765207072696d652067617073506f74656e7469616c20696e74656772616c2064656e73697479206f6e2063757276652063686172616374657220766172696574696573556e69666f726d6c7920626f756e64656420636f6d706f6e656e7473206f6620476175737369616e2d7072696d65206772617068735072696d697469766520726f6f747320666f722065766572792061646d69737369626c6520696e746567657220626173654d6f64756c6172697479206f6620656c6c697074696320637572766573206f76657220696d6167696e61727920717561647261746963206669656c6473556368696461e280997320636f6e6a65637475726520666f72206f70656e20686f6d6f6d6f72706869736d73206f662047616c6f69732067726f75707354686520726174696f6e616c20486f64676520636f6e6a65637475726520666f7220434d206162656c69616e20766172696574696573496974616b6120737562616464697469766974792c20766172696174696f6e2c20616e64206c6f6761726974686d696320616464697469766974794c6f67206162756e64616e636520666f7220636f6d70616374204bc3a4686c65722073706163657320756e646572206c6f6761726974686d696320496974616b6120737562616464697469766974794c6f672d63616e6f6e6963616c207468726565666f6c64206162756e64616e636520696e206e756d65726963616c2064696d656e73696f6e206f6e654e756d65726963616c2073656d69616d706c656e65737320616e642067656e6572616c697a6564206d696e696d616c206d6f64656c73546865206f7264696e6172792d646f75626c652d706f696e7420766f6c756d652067617046756a697461e280997320667265656e65737320636f6e6a6563747572654e6167617461e280997320636f6e6a65637475726520616e64206d6178696d616c20536573686164726920636f6e7374616e7473426c6f6368e280997320636f6e6a65637475726520666f7220636f6d706c657820737572666163657348797065726bc3a4686c65722053595a20616e642070726f6a6563746976652d73706163652062617365734f6b6120636c617373696669636174696f6e20666f72206d696e696d616c20636f6d7061637420636f6d706c65782073757266616365733a204b6f64616972612064696d656e73696f6e207a65726f20616e6420636c617373205649493c693e503c2f693e203d203c693e573c2f693e20666f722066697865642d64657465726d696e616e7420534c3c7375623e3c693e6e3c2f693e3c2f7375623e206d6f64756c6920737061636573546865206571756976617269616e7420636f686f6d6f6c6f676963616c2048696b69746120636f6e6a656374757265536861666172657669636820636f756e7465726578616d706c657320696e2064696d656e73696f6e2074776f20616e642077697468206c617267652066756e64616d656e74616c2067726f75705a617269736b692063616e63656c6c6174696f6e20616e6420616666696e6520666962726174696f6e73206f7665722074686520636f6d706c6578206e756d62657273412063686172616374657269737469632d7a65726f20636f756e7465726578616d706c6520746f204c69706d616ee280935a617269736b694120737461626c652d636f6f7264696e61746520636f756e7465726578616d706c6520696e20666f7572207661726961626c6573", "blob_bytes": 2535, "complete_artifact_hex": "5353503100000030000009e7027330000000000000003d0273310000003d0000002b027332000000680000001c0273330000008400000022027334000000a600000025027335000000cb00000039027336000001040000004402733700000148000000210273380000016900000042027339000001ab0000002c03733130000001d70000002203733131000001f90000003903733132000002320000002703733133000002590000005103733134000002aa0000004303733135000002ed0000003b03733136000003280000002c03733137000003540000003503733138000003890000004203733139000003cb0000003403733230000003ff0000002d037332310000042c0000003403733232000004600000002d037332330000048d0000003003733234000004bd0000001803733235000004d50000002a03733236000004ff00000037037332370000053600000035037332380000056b00000031037332390000059c0000003d03733330000005d90000003d037333310000061600000036037333320000064c0000003b03733333000006870000004f03733334000006d60000003c037333350000071200000036037333360000074800000024037333370000076c0000001e037333380000078a0000003403733339000007be0000002903733430000007e70000002b03733431000008120000005d037334320000086f0000004d03733433000008bc0000002f03733434000008eb0000004d037334350000093800000043037334360000097b0000003803733437000009b3000000344d696c6e65e280997320726174696f6e616c69747920636f6e6a65637475726520616e6420616c67656272616963207370656369616c697a6174696f6e5468652066756c6c2042534420666f726d756c612066726f6d206c6f772053656c6d657220636f72616e6b5468652071756173692d5269656d616e6e206879706f74686573697348696c62657274e28099732074656e74682070726f626c656d206f76657220e2849a4972726174696f6e616c697479206f6620436174616c616ee280997320636f6e7374616e74476f6c6466656c64e280997320636f6e6a6563747572653a2064656e73697469657320616e64206d65616e20616e616c797469632072616e6b4f7264696e6172792074776f2d706f696e7420636f7272656c6174696f6e7320616e642074686520636f7272656374656420456c6c696f747420636f6e6a6563747572655468652044656c69676e65e280934472696e66656c6420636f6e6a65637475726546756e6374696f6e2d6669656c64207265636f6e737472756374696f6e2066726f6d204d696c6e6f72204b2d7468656f727920616e642047616c6f69732064617461556e726573747269637465642070726f2d6d6f64756c617269747920617420746865207072696d652074776f5072696d652d666163746f722073746174697374696373206f66202460702d316024496e646570656e64656e74206c617267657374207072696d6520666163746f7273206f6620636f6e736563757469766520696e7465676572734f73746d616e6ee280997320696e766572736520476f6c646261636820636f6e6a656374757265526573747269637465642067656f6d6574726963204c616e676c616e64732c20676c6f62616c2041727468757220656e68616e63656d656e74732c20616e642067656e657269632052616d616e756a616e546f7275732d7061636b65742065717569646973747269627574696f6e20696e207072696d652c20717561727469632c20616e642073657874696320646567726565735a696c626572e2809350696e6b20696e206162656c69616e2076617269657469657320616e64207468652053696567656c207468726565666f6c64546865206972726174696f6e616c697479206578706f6e656e74206f66203c693ecf803c2f693e2069732032546865204d617267756c6973e28093506c61746f6e6f7620636f6e6a656374757265206f76657220676c6f62616c206669656c6473546865206c6f63616c203c693e703c2f693e2d616469632073656374696f6e20636f6e6a65637475726520616e6420676c6f62616c20636f6e73657175656e6365735371756172656672656520717561727469637320616e6420706f7765722d6672656520706f6c796e6f6d69616c2076616c756573412071756164726174696320626f756e6420666f72204a61636f62737468616ce28099732066756e6374696f6e546865207765616b20696e686f6d6f67656e656f75732044756666696ee2809353636861656666657220636f6e6a656374757265506174746572736f6e2773206669727374206d6f6d656e7420666f722063756269632047617573732073756d73416e206173796d70746f74696320666f726d756c6120666f7220746865206e756d626572206f6620746f7469656e747353686f727420456779707469616e206672616374696f6e73506f736974697665206c6f7765722064656e73697479206f66206c61726765207072696d652067617073506f74656e7469616c20696e74656772616c2064656e73697479206f6e2063757276652063686172616374657220766172696574696573556e69666f726d6c7920626f756e64656420636f6d706f6e656e7473206f6620476175737369616e2d7072696d65206772617068735072696d697469766520726f6f747320666f722065766572792061646d69737369626c6520696e746567657220626173654d6f64756c6172697479206f6620656c6c697074696320637572766573206f76657220696d6167696e61727920717561647261746963206669656c6473556368696461e280997320636f6e6a65637475726520666f72206f70656e20686f6d6f6d6f72706869736d73206f662047616c6f69732067726f75707354686520726174696f6e616c20486f64676520636f6e6a65637475726520666f7220434d206162656c69616e20766172696574696573496974616b6120737562616464697469766974792c20766172696174696f6e2c20616e64206c6f6761726974686d696320616464697469766974794c6f67206162756e64616e636520666f7220636f6d70616374204bc3a4686c65722073706163657320756e646572206c6f6761726974686d696320496974616b6120737562616464697469766974794c6f672d63616e6f6e6963616c207468726565666f6c64206162756e64616e636520696e206e756d65726963616c2064696d656e73696f6e206f6e654e756d65726963616c2073656d69616d706c656e65737320616e642067656e6572616c697a6564206d696e696d616c206d6f64656c73546865206f7264696e6172792d646f75626c652d706f696e7420766f6c756d652067617046756a697461e280997320667265656e65737320636f6e6a6563747572654e6167617461e280997320636f6e6a65637475726520616e64206d6178696d616c20536573686164726920636f6e7374616e7473426c6f6368e280997320636f6e6a65637475726520666f7220636f6d706c657820737572666163657348797065726bc3a4686c65722053595a20616e642070726f6a6563746976652d73706163652062617365734f6b6120636c617373696669636174696f6e20666f72206d696e696d616c20636f6d7061637420636f6d706c65782073757266616365733a204b6f64616972612064696d656e73696f6e207a65726f20616e6420636c617373205649493c693e503c2f693e203d203c693e573c2f693e20666f722066697865642d64657465726d696e616e7420534c3c7375623e3c693e6e3c2f693e3c2f7375623e206d6f64756c6920737061636573546865206571756976617269616e7420636f686f6d6f6c6f676963616c2048696b69746120636f6e6a656374757265536861666172657669636820636f756e7465726578616d706c657320696e2064696d656e73696f6e2074776f20616e642077697468206c617267652066756e64616d656e74616c2067726f75705a617269736b692063616e63656c6c6174696f6e20616e6420616666696e6520666962726174696f6e73206f7665722074686520636f6d706c6578206e756d62657273412063686172616374657269737469632d7a65726f20636f756e7465726578616d706c6520746f204c69706d616ee280935a617269736b694120737461626c652d636f6f7264696e61746520636f756e7465726578616d706c6520696e20666f7572207661726961626c6573", "complete_artifact_bytes": 3113, "index_and_header_bytes": 578, "positions": [ { "id": "s0", "offset": 0, "length": 61 }, { "id": "s1", "offset": 61, "length": 43 }, { "id": "s2", "offset": 104, "length": 28 }, { "id": "s3", "offset": 132, "length": 34 }, { "id": "s4", "offset": 166, "length": 37 }, { "id": "s5", "offset": 203, "length": 57 }, { "id": "s6", "offset": 260, "length": 68 }, { "id": "s7", "offset": 328, "length": 33 }, { "id": "s8", "offset": 361, "length": 66 }, { "id": "s9", "offset": 427, "length": 44 }, { "id": "s10", "offset": 471, "length": 34 }, { "id": "s11", "offset": 505, "length": 57 }, { "id": "s12", "offset": 562, "length": 39 }, { "id": "s13", "offset": 601, "length": 81 }, { "id": "s14", "offset": 682, "length": 67 }, { "id": "s15", "offset": 749, "length": 59 }, { "id": "s16", "offset": 808, "length": 44 }, { "id": "s17", "offset": 852, "length": 53 }, { "id": "s18", "offset": 905, "length": 66 }, { "id": "s19", "offset": 971, "length": 52 }, { "id": "s20", "offset": 1023, "length": 45 }, { "id": "s21", "offset": 1068, "length": 52 }, { "id": "s22", "offset": 1120, "length": 45 }, { "id": "s23", "offset": 1165, "length": 48 }, { "id": "s24", "offset": 1213, "length": 24 }, { "id": "s25", "offset": 1237, "length": 42 }, { "id": "s26", "offset": 1279, "length": 55 }, { "id": "s27", "offset": 1334, "length": 53 }, { "id": "s28", "offset": 1387, "length": 49 }, { "id": "s29", "offset": 1436, "length": 61 }, { "id": "s30", "offset": 1497, "length": 61 }, { "id": "s31", "offset": 1558, "length": 54 }, { "id": "s32", "offset": 1612, "length": 59 }, { "id": "s33", "offset": 1671, "length": 79 }, { "id": "s34", "offset": 1750, "length": 60 }, { "id": "s35", "offset": 1810, "length": 54 }, { "id": "s36", "offset": 1864, "length": 36 }, { "id": "s37", "offset": 1900, "length": 30 }, { "id": "s38", "offset": 1930, "length": 52 }, { "id": "s39", "offset": 1982, "length": 41 }, { "id": "s40", "offset": 2023, "length": 43 }, { "id": "s41", "offset": 2066, "length": 93 }, { "id": "s42", "offset": 2159, "length": 77 }, { "id": "s43", "offset": 2236, "length": 47 }, { "id": "s44", "offset": 2283, "length": 77 }, { "id": "s45", "offset": 2360, "length": 67 }, { "id": "s46", "offset": 2427, "length": 56 }, { "id": "s47", "offset": 2483, "length": 52 } ], "artifact_sha256": "fc86b5e0ff136892602b96e7518bd1d884eaf4f029e7052a57d44e778fba6fc3", "compressed_complete_artifact_bytes": { "gzip": 1685, "zlib": 1673, "xz": 1616 }, "roundtrip_checked": true }, "deduplicated_concatenation": { "blob_hex": "3c693e503c2f693e203d203c693e573c2f693e20666f722066697865642d64657465726d696e616e7420534c3c7375623e3c693e6e3c2f693e3c2f7375623e206d6f64756c6920737061636573412063686172616374657269737469632d7a65726f20636f756e7465726578616d706c6520746f204c69706d616ee280935a617269736b69412071756164726174696320626f756e6420666f72204a61636f62737468616ce28099732066756e6374696f6e4120737461626c652d636f6f7264696e61746520636f756e7465726578616d706c6520696e20666f7572207661726961626c6573416e206173796d70746f74696320666f726d756c6120666f7220746865206e756d626572206f6620746f7469656e7473426c6f6368e280997320636f6e6a65637475726520666f7220636f6d706c657820737572666163657346756a697461e280997320667265656e65737320636f6e6a65637475726546756e6374696f6e2d6669656c64207265636f6e737472756374696f6e2066726f6d204d696c6e6f72204b2d7468656f727920616e642047616c6f69732064617461476f6c6466656c64e280997320636f6e6a6563747572653a2064656e73697469657320616e64206d65616e20616e616c797469632072616e6b48696c62657274e28099732074656e74682070726f626c656d206f76657220e2849a48797065726bc3a4686c65722053595a20616e642070726f6a6563746976652d7370616365206261736573496974616b6120737562616464697469766974792c20766172696174696f6e2c20616e64206c6f6761726974686d69632061646469746976697479496e646570656e64656e74206c617267657374207072696d6520666163746f7273206f6620636f6e736563757469766520696e7465676572734972726174696f6e616c697479206f6620436174616c616ee280997320636f6e7374616e744c6f67206162756e64616e636520666f7220636f6d70616374204bc3a4686c65722073706163657320756e646572206c6f6761726974686d696320496974616b6120737562616464697469766974794c6f672d63616e6f6e6963616c207468726565666f6c64206162756e64616e636520696e206e756d65726963616c2064696d656e73696f6e206f6e654d696c6e65e280997320726174696f6e616c69747920636f6e6a65637475726520616e6420616c67656272616963207370656369616c697a6174696f6e4d6f64756c6172697479206f6620656c6c697074696320637572766573206f76657220696d6167696e61727920717561647261746963206669656c64734e6167617461e280997320636f6e6a65637475726520616e64206d6178696d616c20536573686164726920636f6e7374616e74734e756d65726963616c2073656d69616d706c656e65737320616e642067656e6572616c697a6564206d696e696d616c206d6f64656c734f6b6120636c617373696669636174696f6e20666f72206d696e696d616c20636f6d7061637420636f6d706c65782073757266616365733a204b6f64616972612064696d656e73696f6e207a65726f20616e6420636c617373205649494f7264696e6172792074776f2d706f696e7420636f7272656c6174696f6e7320616e642074686520636f7272656374656420456c6c696f747420636f6e6a6563747572654f73746d616e6ee280997320696e766572736520476f6c646261636820636f6e6a656374757265506174746572736f6e2773206669727374206d6f6d656e7420666f722063756269632047617573732073756d73506f736974697665206c6f7765722064656e73697479206f66206c61726765207072696d652067617073506f74656e7469616c20696e74656772616c2064656e73697479206f6e20637572766520636861726163746572207661726965746965735072696d652d666163746f722073746174697374696373206f66202460702d3160245072696d697469766520726f6f747320666f722065766572792061646d69737369626c6520696e74656765722062617365526573747269637465642067656f6d6574726963204c616e676c616e64732c20676c6f62616c2041727468757220656e68616e63656d656e74732c20616e642067656e657269632052616d616e756a616e536861666172657669636820636f756e7465726578616d706c657320696e2064696d656e73696f6e2074776f20616e642077697468206c617267652066756e64616d656e74616c2067726f757053686f727420456779707469616e206672616374696f6e735371756172656672656520717561727469637320616e6420706f7765722d6672656520706f6c796e6f6d69616c2076616c7565735468652044656c69676e65e280934472696e66656c6420636f6e6a656374757265546865204d617267756c6973e28093506c61746f6e6f7620636f6e6a656374757265206f76657220676c6f62616c206669656c6473546865206571756976617269616e7420636f686f6d6f6c6f676963616c2048696b69746120636f6e6a6563747572655468652066756c6c2042534420666f726d756c612066726f6d206c6f772053656c6d657220636f72616e6b546865206972726174696f6e616c697479206578706f6e656e74206f66203c693ecf803c2f693e2069732032546865206c6f63616c203c693e703c2f693e2d616469632073656374696f6e20636f6e6a65637475726520616e6420676c6f62616c20636f6e73657175656e636573546865206f7264696e6172792d646f75626c652d706f696e7420766f6c756d65206761705468652071756173692d5269656d616e6e206879706f74686573697354686520726174696f6e616c20486f64676520636f6e6a65637475726520666f7220434d206162656c69616e20766172696574696573546865207765616b20696e686f6d6f67656e656f75732044756666696ee2809353636861656666657220636f6e6a656374757265546f7275732d7061636b65742065717569646973747269627574696f6e20696e207072696d652c20717561727469632c20616e64207365787469632064656772656573556368696461e280997320636f6e6a65637475726520666f72206f70656e20686f6d6f6d6f72706869736d73206f662047616c6f69732067726f757073556e69666f726d6c7920626f756e64656420636f6d706f6e656e7473206f6620476175737369616e2d7072696d6520677261706873556e726573747269637465642070726f2d6d6f64756c617269747920617420746865207072696d652074776f5a617269736b692063616e63656c6c6174696f6e20616e6420616666696e6520666962726174696f6e73206f7665722074686520636f6d706c6578206e756d626572735a696c626572e2809350696e6b20696e206162656c69616e2076617269657469657320616e64207468652053696567656c207468726565666f6c64", "blob_bytes": 2535, "complete_artifact_hex": "5353503100000030000009e7027330000003490000003d027331000007450000002b027332000008020000001c027333000001d80000002202733400000299000000250273350000019f000000390273360000048a00000044027337000006c0000000210273380000015d000000420273390000093d0000002c03733130000005830000002203733131000002600000003903733132000004ce0000002703733133000005d60000005103733134000008880000004303733135000009ac0000003b03733136000007700000002c03733137000006e100000035037331380000079c00000042037331390000068c0000003403733230000000850000002d03733231000008540000003403733232000004f50000002d03733233000000e60000003003733234000006740000001803733235000005220000002a037332360000054c0000003703733237000009080000003503733238000005a50000003103733239000003860000003d03733330000008cb0000003d037333310000081e0000003603733332000002250000003b03733333000002be0000004f037333340000030d0000003c03733335000003f70000003603733336000007de00000024037333370000013f0000001e03733338000003c30000003403733339000001160000002903733430000001fa0000002b037334310000042d0000005d03733432000000000000004d03733433000007160000002f03733434000006270000004d037334350000096900000043037334360000004d0000003803733437000000b2000000343c693e503c2f693e203d203c693e573c2f693e20666f722066697865642d64657465726d696e616e7420534c3c7375623e3c693e6e3c2f693e3c2f7375623e206d6f64756c6920737061636573412063686172616374657269737469632d7a65726f20636f756e7465726578616d706c6520746f204c69706d616ee280935a617269736b69412071756164726174696320626f756e6420666f72204a61636f62737468616ce28099732066756e6374696f6e4120737461626c652d636f6f7264696e61746520636f756e7465726578616d706c6520696e20666f7572207661726961626c6573416e206173796d70746f74696320666f726d756c6120666f7220746865206e756d626572206f6620746f7469656e7473426c6f6368e280997320636f6e6a65637475726520666f7220636f6d706c657820737572666163657346756a697461e280997320667265656e65737320636f6e6a65637475726546756e6374696f6e2d6669656c64207265636f6e737472756374696f6e2066726f6d204d696c6e6f72204b2d7468656f727920616e642047616c6f69732064617461476f6c6466656c64e280997320636f6e6a6563747572653a2064656e73697469657320616e64206d65616e20616e616c797469632072616e6b48696c62657274e28099732074656e74682070726f626c656d206f76657220e2849a48797065726bc3a4686c65722053595a20616e642070726f6a6563746976652d7370616365206261736573496974616b6120737562616464697469766974792c20766172696174696f6e2c20616e64206c6f6761726974686d69632061646469746976697479496e646570656e64656e74206c617267657374207072696d6520666163746f7273206f6620636f6e736563757469766520696e7465676572734972726174696f6e616c697479206f6620436174616c616ee280997320636f6e7374616e744c6f67206162756e64616e636520666f7220636f6d70616374204bc3a4686c65722073706163657320756e646572206c6f6761726974686d696320496974616b6120737562616464697469766974794c6f672d63616e6f6e6963616c207468726565666f6c64206162756e64616e636520696e206e756d65726963616c2064696d656e73696f6e206f6e654d696c6e65e280997320726174696f6e616c69747920636f6e6a65637475726520616e6420616c67656272616963207370656369616c697a6174696f6e4d6f64756c6172697479206f6620656c6c697074696320637572766573206f76657220696d6167696e61727920717561647261746963206669656c64734e6167617461e280997320636f6e6a65637475726520616e64206d6178696d616c20536573686164726920636f6e7374616e74734e756d65726963616c2073656d69616d706c656e65737320616e642067656e6572616c697a6564206d696e696d616c206d6f64656c734f6b6120636c617373696669636174696f6e20666f72206d696e696d616c20636f6d7061637420636f6d706c65782073757266616365733a204b6f64616972612064696d656e73696f6e207a65726f20616e6420636c617373205649494f7264696e6172792074776f2d706f696e7420636f7272656c6174696f6e7320616e642074686520636f7272656374656420456c6c696f747420636f6e6a6563747572654f73746d616e6ee280997320696e766572736520476f6c646261636820636f6e6a656374757265506174746572736f6e2773206669727374206d6f6d656e7420666f722063756269632047617573732073756d73506f736974697665206c6f7765722064656e73697479206f66206c61726765207072696d652067617073506f74656e7469616c20696e74656772616c2064656e73697479206f6e20637572766520636861726163746572207661726965746965735072696d652d666163746f722073746174697374696373206f66202460702d3160245072696d697469766520726f6f747320666f722065766572792061646d69737369626c6520696e74656765722062617365526573747269637465642067656f6d6574726963204c616e676c616e64732c20676c6f62616c2041727468757220656e68616e63656d656e74732c20616e642067656e657269632052616d616e756a616e536861666172657669636820636f756e7465726578616d706c657320696e2064696d656e73696f6e2074776f20616e642077697468206c617267652066756e64616d656e74616c2067726f757053686f727420456779707469616e206672616374696f6e735371756172656672656520717561727469637320616e6420706f7765722d6672656520706f6c796e6f6d69616c2076616c7565735468652044656c69676e65e280934472696e66656c6420636f6e6a656374757265546865204d617267756c6973e28093506c61746f6e6f7620636f6e6a656374757265206f76657220676c6f62616c206669656c6473546865206571756976617269616e7420636f686f6d6f6c6f676963616c2048696b69746120636f6e6a6563747572655468652066756c6c2042534420666f726d756c612066726f6d206c6f772053656c6d657220636f72616e6b546865206972726174696f6e616c697479206578706f6e656e74206f66203c693ecf803c2f693e2069732032546865206c6f63616c203c693e703c2f693e2d616469632073656374696f6e20636f6e6a65637475726520616e6420676c6f62616c20636f6e73657175656e636573546865206f7264696e6172792d646f75626c652d706f696e7420766f6c756d65206761705468652071756173692d5269656d616e6e206879706f74686573697354686520726174696f6e616c20486f64676520636f6e6a65637475726520666f7220434d206162656c69616e20766172696574696573546865207765616b20696e686f6d6f67656e656f75732044756666696ee2809353636861656666657220636f6e6a656374757265546f7275732d7061636b65742065717569646973747269627574696f6e20696e207072696d652c20717561727469632c20616e64207365787469632064656772656573556368696461e280997320636f6e6a65637475726520666f72206f70656e20686f6d6f6d6f72706869736d73206f662047616c6f69732067726f757073556e69666f726d6c7920626f756e64656420636f6d706f6e656e7473206f6620476175737369616e2d7072696d6520677261706873556e726573747269637465642070726f2d6d6f64756c617269747920617420746865207072696d652074776f5a617269736b692063616e63656c6c6174696f6e20616e6420616666696e6520666962726174696f6e73206f7665722074686520636f6d706c6578206e756d626572735a696c626572e2809350696e6b20696e206162656c69616e2076617269657469657320616e64207468652053696567656c207468726565666f6c64", "complete_artifact_bytes": 3113, "index_and_header_bytes": 578, "positions": [ { "id": "s0", "offset": 841, "length": 61 }, { "id": "s1", "offset": 1861, "length": 43 }, { "id": "s2", "offset": 2050, "length": 28 }, { "id": "s3", "offset": 472, "length": 34 }, { "id": "s4", "offset": 665, "length": 37 }, { "id": "s5", "offset": 415, "length": 57 }, { "id": "s6", "offset": 1162, "length": 68 }, { "id": "s7", "offset": 1728, "length": 33 }, { "id": "s8", "offset": 349, "length": 66 }, { "id": "s9", "offset": 2365, "length": 44 }, { "id": "s10", "offset": 1411, "length": 34 }, { "id": "s11", "offset": 608, "length": 57 }, { "id": "s12", "offset": 1230, "length": 39 }, { "id": "s13", "offset": 1494, "length": 81 }, { "id": "s14", "offset": 2184, "length": 67 }, { "id": "s15", "offset": 2476, "length": 59 }, { "id": "s16", "offset": 1904, "length": 44 }, { "id": "s17", "offset": 1761, "length": 53 }, { "id": "s18", "offset": 1948, "length": 66 }, { "id": "s19", "offset": 1676, "length": 52 }, { "id": "s20", "offset": 133, "length": 45 }, { "id": "s21", "offset": 2132, "length": 52 }, { "id": "s22", "offset": 1269, "length": 45 }, { "id": "s23", "offset": 230, "length": 48 }, { "id": "s24", "offset": 1652, "length": 24 }, { "id": "s25", "offset": 1314, "length": 42 }, { "id": "s26", "offset": 1356, "length": 55 }, { "id": "s27", "offset": 2312, "length": 53 }, { "id": "s28", "offset": 1445, "length": 49 }, { "id": "s29", "offset": 902, "length": 61 }, { "id": "s30", "offset": 2251, "length": 61 }, { "id": "s31", "offset": 2078, "length": 54 }, { "id": "s32", "offset": 549, "length": 59 }, { "id": "s33", "offset": 702, "length": 79 }, { "id": "s34", "offset": 781, "length": 60 }, { "id": "s35", "offset": 1015, "length": 54 }, { "id": "s36", "offset": 2014, "length": 36 }, { "id": "s37", "offset": 319, "length": 30 }, { "id": "s38", "offset": 963, "length": 52 }, { "id": "s39", "offset": 278, "length": 41 }, { "id": "s40", "offset": 506, "length": 43 }, { "id": "s41", "offset": 1069, "length": 93 }, { "id": "s42", "offset": 0, "length": 77 }, { "id": "s43", "offset": 1814, "length": 47 }, { "id": "s44", "offset": 1575, "length": 77 }, { "id": "s45", "offset": 2409, "length": 67 }, { "id": "s46", "offset": 77, "length": 56 }, { "id": "s47", "offset": 178, "length": 52 } ], "artifact_sha256": "ff73aafefd018d829d9f4c5bacd0c50cfaddde05d5f43fa3c4e9e5de756bb318", "compressed_complete_artifact_bytes": { "gzip": 1701, "zlib": 1689, "xz": 1664 }, "roundtrip_checked": true }, "contained_string_concatenation": { "blob_hex": "3c693e503c2f693e203d203c693e573c2f693e20666f722066697865642d64657465726d696e616e7420534c3c7375623e3c693e6e3c2f693e3c2f7375623e206d6f64756c6920737061636573412063686172616374657269737469632d7a65726f20636f756e7465726578616d706c6520746f204c69706d616ee280935a617269736b69412071756164726174696320626f756e6420666f72204a61636f62737468616ce28099732066756e6374696f6e4120737461626c652d636f6f7264696e61746520636f756e7465726578616d706c6520696e20666f7572207661726961626c6573416e206173796d70746f74696320666f726d756c6120666f7220746865206e756d626572206f6620746f7469656e7473426c6f6368e280997320636f6e6a65637475726520666f7220636f6d706c657820737572666163657346756a697461e280997320667265656e65737320636f6e6a65637475726546756e6374696f6e2d6669656c64207265636f6e737472756374696f6e2066726f6d204d696c6e6f72204b2d7468656f727920616e642047616c6f69732064617461476f6c6466656c64e280997320636f6e6a6563747572653a2064656e73697469657320616e64206d65616e20616e616c797469632072616e6b48696c62657274e28099732074656e74682070726f626c656d206f76657220e2849a48797065726bc3a4686c65722053595a20616e642070726f6a6563746976652d7370616365206261736573496974616b6120737562616464697469766974792c20766172696174696f6e2c20616e64206c6f6761726974686d69632061646469746976697479496e646570656e64656e74206c617267657374207072696d6520666163746f7273206f6620636f6e736563757469766520696e7465676572734972726174696f6e616c697479206f6620436174616c616ee280997320636f6e7374616e744c6f67206162756e64616e636520666f7220636f6d70616374204bc3a4686c65722073706163657320756e646572206c6f6761726974686d696320496974616b6120737562616464697469766974794c6f672d63616e6f6e6963616c207468726565666f6c64206162756e64616e636520696e206e756d65726963616c2064696d656e73696f6e206f6e654d696c6e65e280997320726174696f6e616c69747920636f6e6a65637475726520616e6420616c67656272616963207370656369616c697a6174696f6e4d6f64756c6172697479206f6620656c6c697074696320637572766573206f76657220696d6167696e61727920717561647261746963206669656c64734e6167617461e280997320636f6e6a65637475726520616e64206d6178696d616c20536573686164726920636f6e7374616e74734e756d65726963616c2073656d69616d706c656e65737320616e642067656e6572616c697a6564206d696e696d616c206d6f64656c734f6b6120636c617373696669636174696f6e20666f72206d696e696d616c20636f6d7061637420636f6d706c65782073757266616365733a204b6f64616972612064696d656e73696f6e207a65726f20616e6420636c617373205649494f7264696e6172792074776f2d706f696e7420636f7272656c6174696f6e7320616e642074686520636f7272656374656420456c6c696f747420636f6e6a6563747572654f73746d616e6ee280997320696e766572736520476f6c646261636820636f6e6a656374757265506174746572736f6e2773206669727374206d6f6d656e7420666f722063756269632047617573732073756d73506f736974697665206c6f7765722064656e73697479206f66206c61726765207072696d652067617073506f74656e7469616c20696e74656772616c2064656e73697479206f6e20637572766520636861726163746572207661726965746965735072696d652d666163746f722073746174697374696373206f66202460702d3160245072696d697469766520726f6f747320666f722065766572792061646d69737369626c6520696e74656765722062617365526573747269637465642067656f6d6574726963204c616e676c616e64732c20676c6f62616c2041727468757220656e68616e63656d656e74732c20616e642067656e657269632052616d616e756a616e536861666172657669636820636f756e7465726578616d706c657320696e2064696d656e73696f6e2074776f20616e642077697468206c617267652066756e64616d656e74616c2067726f757053686f727420456779707469616e206672616374696f6e735371756172656672656520717561727469637320616e6420706f7765722d6672656520706f6c796e6f6d69616c2076616c7565735468652044656c69676e65e280934472696e66656c6420636f6e6a656374757265546865204d617267756c6973e28093506c61746f6e6f7620636f6e6a656374757265206f76657220676c6f62616c206669656c6473546865206571756976617269616e7420636f686f6d6f6c6f676963616c2048696b69746120636f6e6a6563747572655468652066756c6c2042534420666f726d756c612066726f6d206c6f772053656c6d657220636f72616e6b546865206972726174696f6e616c697479206578706f6e656e74206f66203c693ecf803c2f693e2069732032546865206c6f63616c203c693e703c2f693e2d616469632073656374696f6e20636f6e6a65637475726520616e6420676c6f62616c20636f6e73657175656e636573546865206f7264696e6172792d646f75626c652d706f696e7420766f6c756d65206761705468652071756173692d5269656d616e6e206879706f74686573697354686520726174696f6e616c20486f64676520636f6e6a65637475726520666f7220434d206162656c69616e20766172696574696573546865207765616b20696e686f6d6f67656e656f75732044756666696ee2809353636861656666657220636f6e6a656374757265546f7275732d7061636b65742065717569646973747269627574696f6e20696e207072696d652c20717561727469632c20616e64207365787469632064656772656573556368696461e280997320636f6e6a65637475726520666f72206f70656e20686f6d6f6d6f72706869736d73206f662047616c6f69732067726f757073556e69666f726d6c7920626f756e64656420636f6d706f6e656e7473206f6620476175737369616e2d7072696d6520677261706873556e726573747269637465642070726f2d6d6f64756c617269747920617420746865207072696d652074776f5a617269736b692063616e63656c6c6174696f6e20616e6420616666696e6520666962726174696f6e73206f7665722074686520636f6d706c6578206e756d626572735a696c626572e2809350696e6b20696e206162656c69616e2076617269657469657320616e64207468652053696567656c207468726565666f6c64", "blob_bytes": 2535, "complete_artifact_hex": "5353503100000030000009e7027330000003490000003d027331000007450000002b027332000008020000001c027333000001d80000002202733400000299000000250273350000019f000000390273360000048a00000044027337000006c0000000210273380000015d000000420273390000093d0000002c03733130000005830000002203733131000002600000003903733132000004ce0000002703733133000005d60000005103733134000008880000004303733135000009ac0000003b03733136000007700000002c03733137000006e100000035037331380000079c00000042037331390000068c0000003403733230000000850000002d03733231000008540000003403733232000004f50000002d03733233000000e60000003003733234000006740000001803733235000005220000002a037332360000054c0000003703733237000009080000003503733238000005a50000003103733239000003860000003d03733330000008cb0000003d037333310000081e0000003603733332000002250000003b03733333000002be0000004f037333340000030d0000003c03733335000003f70000003603733336000007de00000024037333370000013f0000001e03733338000003c30000003403733339000001160000002903733430000001fa0000002b037334310000042d0000005d03733432000000000000004d03733433000007160000002f03733434000006270000004d037334350000096900000043037334360000004d0000003803733437000000b2000000343c693e503c2f693e203d203c693e573c2f693e20666f722066697865642d64657465726d696e616e7420534c3c7375623e3c693e6e3c2f693e3c2f7375623e206d6f64756c6920737061636573412063686172616374657269737469632d7a65726f20636f756e7465726578616d706c6520746f204c69706d616ee280935a617269736b69412071756164726174696320626f756e6420666f72204a61636f62737468616ce28099732066756e6374696f6e4120737461626c652d636f6f7264696e61746520636f756e7465726578616d706c6520696e20666f7572207661726961626c6573416e206173796d70746f74696320666f726d756c6120666f7220746865206e756d626572206f6620746f7469656e7473426c6f6368e280997320636f6e6a65637475726520666f7220636f6d706c657820737572666163657346756a697461e280997320667265656e65737320636f6e6a65637475726546756e6374696f6e2d6669656c64207265636f6e737472756374696f6e2066726f6d204d696c6e6f72204b2d7468656f727920616e642047616c6f69732064617461476f6c6466656c64e280997320636f6e6a6563747572653a2064656e73697469657320616e64206d65616e20616e616c797469632072616e6b48696c62657274e28099732074656e74682070726f626c656d206f76657220e2849a48797065726bc3a4686c65722053595a20616e642070726f6a6563746976652d7370616365206261736573496974616b6120737562616464697469766974792c20766172696174696f6e2c20616e64206c6f6761726974686d69632061646469746976697479496e646570656e64656e74206c617267657374207072696d6520666163746f7273206f6620636f6e736563757469766520696e7465676572734972726174696f6e616c697479206f6620436174616c616ee280997320636f6e7374616e744c6f67206162756e64616e636520666f7220636f6d70616374204bc3a4686c65722073706163657320756e646572206c6f6761726974686d696320496974616b6120737562616464697469766974794c6f672d63616e6f6e6963616c207468726565666f6c64206162756e64616e636520696e206e756d65726963616c2064696d656e73696f6e206f6e654d696c6e65e280997320726174696f6e616c69747920636f6e6a65637475726520616e6420616c67656272616963207370656369616c697a6174696f6e4d6f64756c6172697479206f6620656c6c697074696320637572766573206f76657220696d6167696e61727920717561647261746963206669656c64734e6167617461e280997320636f6e6a65637475726520616e64206d6178696d616c20536573686164726920636f6e7374616e74734e756d65726963616c2073656d69616d706c656e65737320616e642067656e6572616c697a6564206d696e696d616c206d6f64656c734f6b6120636c617373696669636174696f6e20666f72206d696e696d616c20636f6d7061637420636f6d706c65782073757266616365733a204b6f64616972612064696d656e73696f6e207a65726f20616e6420636c617373205649494f7264696e6172792074776f2d706f696e7420636f7272656c6174696f6e7320616e642074686520636f7272656374656420456c6c696f747420636f6e6a6563747572654f73746d616e6ee280997320696e766572736520476f6c646261636820636f6e6a656374757265506174746572736f6e2773206669727374206d6f6d656e7420666f722063756269632047617573732073756d73506f736974697665206c6f7765722064656e73697479206f66206c61726765207072696d652067617073506f74656e7469616c20696e74656772616c2064656e73697479206f6e20637572766520636861726163746572207661726965746965735072696d652d666163746f722073746174697374696373206f66202460702d3160245072696d697469766520726f6f747320666f722065766572792061646d69737369626c6520696e74656765722062617365526573747269637465642067656f6d6574726963204c616e676c616e64732c20676c6f62616c2041727468757220656e68616e63656d656e74732c20616e642067656e657269632052616d616e756a616e536861666172657669636820636f756e7465726578616d706c657320696e2064696d656e73696f6e2074776f20616e642077697468206c617267652066756e64616d656e74616c2067726f757053686f727420456779707469616e206672616374696f6e735371756172656672656520717561727469637320616e6420706f7765722d6672656520706f6c796e6f6d69616c2076616c7565735468652044656c69676e65e280934472696e66656c6420636f6e6a656374757265546865204d617267756c6973e28093506c61746f6e6f7620636f6e6a656374757265206f76657220676c6f62616c206669656c6473546865206571756976617269616e7420636f686f6d6f6c6f676963616c2048696b69746120636f6e6a6563747572655468652066756c6c2042534420666f726d756c612066726f6d206c6f772053656c6d657220636f72616e6b546865206972726174696f6e616c697479206578706f6e656e74206f66203c693ecf803c2f693e2069732032546865206c6f63616c203c693e703c2f693e2d616469632073656374696f6e20636f6e6a65637475726520616e6420676c6f62616c20636f6e73657175656e636573546865206f7264696e6172792d646f75626c652d706f696e7420766f6c756d65206761705468652071756173692d5269656d616e6e206879706f74686573697354686520726174696f6e616c20486f64676520636f6e6a65637475726520666f7220434d206162656c69616e20766172696574696573546865207765616b20696e686f6d6f67656e656f75732044756666696ee2809353636861656666657220636f6e6a656374757265546f7275732d7061636b65742065717569646973747269627574696f6e20696e207072696d652c20717561727469632c20616e64207365787469632064656772656573556368696461e280997320636f6e6a65637475726520666f72206f70656e20686f6d6f6d6f72706869736d73206f662047616c6f69732067726f757073556e69666f726d6c7920626f756e64656420636f6d706f6e656e7473206f6620476175737369616e2d7072696d6520677261706873556e726573747269637465642070726f2d6d6f64756c617269747920617420746865207072696d652074776f5a617269736b692063616e63656c6c6174696f6e20616e6420616666696e6520666962726174696f6e73206f7665722074686520636f6d706c6578206e756d626572735a696c626572e2809350696e6b20696e206162656c69616e2076617269657469657320616e64207468652053696567656c207468726565666f6c64", "complete_artifact_bytes": 3113, "index_and_header_bytes": 578, "positions": [ { "id": "s0", "offset": 841, "length": 61 }, { "id": "s1", "offset": 1861, "length": 43 }, { "id": "s2", "offset": 2050, "length": 28 }, { "id": "s3", "offset": 472, "length": 34 }, { "id": "s4", "offset": 665, "length": 37 }, { "id": "s5", "offset": 415, "length": 57 }, { "id": "s6", "offset": 1162, "length": 68 }, { "id": "s7", "offset": 1728, "length": 33 }, { "id": "s8", "offset": 349, "length": 66 }, { "id": "s9", "offset": 2365, "length": 44 }, { "id": "s10", "offset": 1411, "length": 34 }, { "id": "s11", "offset": 608, "length": 57 }, { "id": "s12", "offset": 1230, "length": 39 }, { "id": "s13", "offset": 1494, "length": 81 }, { "id": "s14", "offset": 2184, "length": 67 }, { "id": "s15", "offset": 2476, "length": 59 }, { "id": "s16", "offset": 1904, "length": 44 }, { "id": "s17", "offset": 1761, "length": 53 }, { "id": "s18", "offset": 1948, "length": 66 }, { "id": "s19", "offset": 1676, "length": 52 }, { "id": "s20", "offset": 133, "length": 45 }, { "id": "s21", "offset": 2132, "length": 52 }, { "id": "s22", "offset": 1269, "length": 45 }, { "id": "s23", "offset": 230, "length": 48 }, { "id": "s24", "offset": 1652, "length": 24 }, { "id": "s25", "offset": 1314, "length": 42 }, { "id": "s26", "offset": 1356, "length": 55 }, { "id": "s27", "offset": 2312, "length": 53 }, { "id": "s28", "offset": 1445, "length": 49 }, { "id": "s29", "offset": 902, "length": 61 }, { "id": "s30", "offset": 2251, "length": 61 }, { "id": "s31", "offset": 2078, "length": 54 }, { "id": "s32", "offset": 549, "length": 59 }, { "id": "s33", "offset": 702, "length": 79 }, { "id": "s34", "offset": 781, "length": 60 }, { "id": "s35", "offset": 1015, "length": 54 }, { "id": "s36", "offset": 2014, "length": 36 }, { "id": "s37", "offset": 319, "length": 30 }, { "id": "s38", "offset": 963, "length": 52 }, { "id": "s39", "offset": 278, "length": 41 }, { "id": "s40", "offset": 506, "length": 43 }, { "id": "s41", "offset": 1069, "length": 93 }, { "id": "s42", "offset": 0, "length": 77 }, { "id": "s43", "offset": 1814, "length": 47 }, { "id": "s44", "offset": 1575, "length": 77 }, { "id": "s45", "offset": 2409, "length": 67 }, { "id": "s46", "offset": 77, "length": 56 }, { "id": "s47", "offset": 178, "length": 52 } ], "artifact_sha256": "ff73aafefd018d829d9f4c5bacd0c50cfaddde05d5f43fa3c4e9e5de756bb318", "compressed_complete_artifact_bytes": { "gzip": 1701, "zlib": 1689, "xz": 1664 }, "roundtrip_checked": true }, "maximum_overlap_greedy": { "blob_hex": "3c693e503c2f693e203d203c693e573c2f693e20666f722066697865642d64657465726d696e616e7420534c3c7375623e3c693e6e3c2f693e3c2f7375623e206d6f64756c6920737061636573412063686172616374657269737469632d7a65726f20636f756e7465726578616d706c6520746f204c69706d616ee280935a617269736b692063616e63656c6c6174696f6e20616e6420616666696e6520666962726174696f6e73206f7665722074686520636f6d706c6578206e756d62657273412071756164726174696320626f756e6420666f72204a61636f62737468616ce28099732066756e6374696f6e4120737461626c652d636f6f7264696e61746520636f756e7465726578616d706c6520696e20666f7572207661726961626c6573416e206173796d70746f74696320666f726d756c6120666f7220746865206e756d626572206f6620746f7469656e7473426c6f6368e280997320636f6e6a65637475726520666f7220636f6d706c657820737572666163657346756a697461e280997320667265656e65737320636f6e6a65637475726546756e6374696f6e2d6669656c64207265636f6e737472756374696f6e2066726f6d204d696c6e6f72204b2d7468656f727920616e642047616c6f69732064617461476f6c6466656c64e280997320636f6e6a6563747572653a2064656e73697469657320616e64206d65616e20616e616c797469632072616e6b48696c62657274e28099732074656e74682070726f626c656d206f76657220e2849a48797065726bc3a4686c65722053595a20616e642070726f6a6563746976652d73706163652062617365734972726174696f6e616c697479206f6620436174616c616ee280997320636f6e7374616e744c6f67206162756e64616e636520666f7220636f6d70616374204bc3a4686c65722073706163657320756e646572206c6f6761726974686d696320496974616b6120737562616464697469766974792c20766172696174696f6e2c20616e64206c6f6761726974686d696320616464697469766974794c6f672d63616e6f6e6963616c207468726565666f6c64206162756e64616e636520696e206e756d65726963616c2064696d656e73696f6e206f6e654d696c6e65e280997320726174696f6e616c69747920636f6e6a65637475726520616e6420616c67656272616963207370656369616c697a6174696f6e4d6f64756c6172697479206f6620656c6c697074696320637572766573206f76657220696d6167696e61727920717561647261746963206669656c64734e6167617461e280997320636f6e6a65637475726520616e64206d6178696d616c20536573686164726920636f6e7374616e74734e756d65726963616c2073656d69616d706c656e65737320616e642067656e6572616c697a6564206d696e696d616c206d6f64656c734f6b6120636c617373696669636174696f6e20666f72206d696e696d616c20636f6d7061637420636f6d706c65782073757266616365733a204b6f64616972612064696d656e73696f6e207a65726f20616e6420636c617373205649496e646570656e64656e74206c617267657374207072696d6520666163746f7273206f6620636f6e736563757469766520696e7465676572734f7264696e6172792074776f2d706f696e7420636f7272656c6174696f6e7320616e642074686520636f7272656374656420456c6c696f747420636f6e6a6563747572654f73746d616e6ee280997320696e766572736520476f6c646261636820636f6e6a656374757265506174746572736f6e2773206669727374206d6f6d656e7420666f722063756269632047617573732073756d73506f736974697665206c6f7765722064656e73697479206f66206c61726765207072696d652067617073506f74656e7469616c20696e74656772616c2064656e73697479206f6e20637572766520636861726163746572207661726965746965735072696d652d666163746f722073746174697374696373206f66202460702d3160245072696d697469766520726f6f747320666f722065766572792061646d69737369626c6520696e74656765722062617365526573747269637465642067656f6d6574726963204c616e676c616e64732c20676c6f62616c2041727468757220656e68616e63656d656e74732c20616e642067656e657269632052616d616e756a616e536861666172657669636820636f756e7465726578616d706c657320696e2064696d656e73696f6e2074776f20616e642077697468206c617267652066756e64616d656e74616c2067726f757053686f727420456779707469616e206672616374696f6e735371756172656672656520717561727469637320616e6420706f7765722d6672656520706f6c796e6f6d69616c2076616c7565735468652044656c69676e65e280934472696e66656c6420636f6e6a656374757265546865204d617267756c6973e28093506c61746f6e6f7620636f6e6a656374757265206f76657220676c6f62616c206669656c6473546865206571756976617269616e7420636f686f6d6f6c6f676963616c2048696b69746120636f6e6a6563747572655468652066756c6c2042534420666f726d756c612066726f6d206c6f772053656c6d657220636f72616e6b546865206972726174696f6e616c697479206578706f6e656e74206f66203c693ecf803c2f693e2069732032546865206c6f63616c203c693e703c2f693e2d616469632073656374696f6e20636f6e6a65637475726520616e6420676c6f62616c20636f6e73657175656e636573546865206f7264696e6172792d646f75626c652d706f696e7420766f6c756d65206761705468652071756173692d5269656d616e6e206879706f74686573697354686520726174696f6e616c20486f64676520636f6e6a65637475726520666f7220434d206162656c69616e20766172696574696573546865207765616b20696e686f6d6f67656e656f75732044756666696ee2809353636861656666657220636f6e6a656374757265546f7275732d7061636b65742065717569646973747269627574696f6e20696e207072696d652c20717561727469632c20616e64207365787469632064656772656573556368696461e280997320636f6e6a65637475726520666f72206f70656e20686f6d6f6d6f72706869736d73206f662047616c6f69732067726f757073556e69666f726d6c7920626f756e64656420636f6d706f6e656e7473206f6620476175737369616e2d7072696d6520677261706873556e726573747269637465642070726f2d6d6f64756c617269747920617420746865207072696d652074776f5a696c626572e2809350696e6b20696e206162656c69616e2076617269657469657320616e64207468652053696567656c207468726565666f6c64", "blob_bytes": 2507, "complete_artifact_hex": "5353503100000030000009cb027330000003380000003d0273310000076c0000002b027332000008290000001c02733300000214000000220273340000026100000025027335000001db00000039027336000004b100000044027337000006e7000000210273380000019900000042027339000009640000002c03733130000005aa0000002203733131000004780000003903733132000004f50000002703733133000005fd0000005103733134000008af0000004303733135000009900000003b03733136000007970000002c03733137000007080000003503733138000007c30000004203733139000006b30000003403733230000000c10000002d037332310000087b00000034037332320000051c0000002d037332330000012200000030037332340000069b0000001803733235000005490000002a037332360000057300000037037332370000092f0000003503733238000005cc0000003103733239000003750000003d03733330000008f20000003d03733331000008450000003603733332000002c10000003b03733333000002860000004f03733334000002fc0000003c03733335000003e600000036037333360000080500000024037333370000017b0000001e03733338000003b20000003403733339000001520000002903733430000002360000002b037334310000041c0000005d03733432000000000000004d037334330000073d0000002f037334340000064e0000004d037334350000007e00000043037334360000004d0000003803733437000000ee000000343c693e503c2f693e203d203c693e573c2f693e20666f722066697865642d64657465726d696e616e7420534c3c7375623e3c693e6e3c2f693e3c2f7375623e206d6f64756c6920737061636573412063686172616374657269737469632d7a65726f20636f756e7465726578616d706c6520746f204c69706d616ee280935a617269736b692063616e63656c6c6174696f6e20616e6420616666696e6520666962726174696f6e73206f7665722074686520636f6d706c6578206e756d62657273412071756164726174696320626f756e6420666f72204a61636f62737468616ce28099732066756e6374696f6e4120737461626c652d636f6f7264696e61746520636f756e7465726578616d706c6520696e20666f7572207661726961626c6573416e206173796d70746f74696320666f726d756c6120666f7220746865206e756d626572206f6620746f7469656e7473426c6f6368e280997320636f6e6a65637475726520666f7220636f6d706c657820737572666163657346756a697461e280997320667265656e65737320636f6e6a65637475726546756e6374696f6e2d6669656c64207265636f6e737472756374696f6e2066726f6d204d696c6e6f72204b2d7468656f727920616e642047616c6f69732064617461476f6c6466656c64e280997320636f6e6a6563747572653a2064656e73697469657320616e64206d65616e20616e616c797469632072616e6b48696c62657274e28099732074656e74682070726f626c656d206f76657220e2849a48797065726bc3a4686c65722053595a20616e642070726f6a6563746976652d73706163652062617365734972726174696f6e616c697479206f6620436174616c616ee280997320636f6e7374616e744c6f67206162756e64616e636520666f7220636f6d70616374204bc3a4686c65722073706163657320756e646572206c6f6761726974686d696320496974616b6120737562616464697469766974792c20766172696174696f6e2c20616e64206c6f6761726974686d696320616464697469766974794c6f672d63616e6f6e6963616c207468726565666f6c64206162756e64616e636520696e206e756d65726963616c2064696d656e73696f6e206f6e654d696c6e65e280997320726174696f6e616c69747920636f6e6a65637475726520616e6420616c67656272616963207370656369616c697a6174696f6e4d6f64756c6172697479206f6620656c6c697074696320637572766573206f76657220696d6167696e61727920717561647261746963206669656c64734e6167617461e280997320636f6e6a65637475726520616e64206d6178696d616c20536573686164726920636f6e7374616e74734e756d65726963616c2073656d69616d706c656e65737320616e642067656e6572616c697a6564206d696e696d616c206d6f64656c734f6b6120636c617373696669636174696f6e20666f72206d696e696d616c20636f6d7061637420636f6d706c65782073757266616365733a204b6f64616972612064696d656e73696f6e207a65726f20616e6420636c617373205649496e646570656e64656e74206c617267657374207072696d6520666163746f7273206f6620636f6e736563757469766520696e7465676572734f7264696e6172792074776f2d706f696e7420636f7272656c6174696f6e7320616e642074686520636f7272656374656420456c6c696f747420636f6e6a6563747572654f73746d616e6ee280997320696e766572736520476f6c646261636820636f6e6a656374757265506174746572736f6e2773206669727374206d6f6d656e7420666f722063756269632047617573732073756d73506f736974697665206c6f7765722064656e73697479206f66206c61726765207072696d652067617073506f74656e7469616c20696e74656772616c2064656e73697479206f6e20637572766520636861726163746572207661726965746965735072696d652d666163746f722073746174697374696373206f66202460702d3160245072696d697469766520726f6f747320666f722065766572792061646d69737369626c6520696e74656765722062617365526573747269637465642067656f6d6574726963204c616e676c616e64732c20676c6f62616c2041727468757220656e68616e63656d656e74732c20616e642067656e657269632052616d616e756a616e536861666172657669636820636f756e7465726578616d706c657320696e2064696d656e73696f6e2074776f20616e642077697468206c617267652066756e64616d656e74616c2067726f757053686f727420456779707469616e206672616374696f6e735371756172656672656520717561727469637320616e6420706f7765722d6672656520706f6c796e6f6d69616c2076616c7565735468652044656c69676e65e280934472696e66656c6420636f6e6a656374757265546865204d617267756c6973e28093506c61746f6e6f7620636f6e6a656374757265206f76657220676c6f62616c206669656c6473546865206571756976617269616e7420636f686f6d6f6c6f676963616c2048696b69746120636f6e6a6563747572655468652066756c6c2042534420666f726d756c612066726f6d206c6f772053656c6d657220636f72616e6b546865206972726174696f6e616c697479206578706f6e656e74206f66203c693ecf803c2f693e2069732032546865206c6f63616c203c693e703c2f693e2d616469632073656374696f6e20636f6e6a65637475726520616e6420676c6f62616c20636f6e73657175656e636573546865206f7264696e6172792d646f75626c652d706f696e7420766f6c756d65206761705468652071756173692d5269656d616e6e206879706f74686573697354686520726174696f6e616c20486f64676520636f6e6a65637475726520666f7220434d206162656c69616e20766172696574696573546865207765616b20696e686f6d6f67656e656f75732044756666696ee2809353636861656666657220636f6e6a656374757265546f7275732d7061636b65742065717569646973747269627574696f6e20696e207072696d652c20717561727469632c20616e64207365787469632064656772656573556368696461e280997320636f6e6a65637475726520666f72206f70656e20686f6d6f6d6f72706869736d73206f662047616c6f69732067726f757073556e69666f726d6c7920626f756e64656420636f6d706f6e656e7473206f6620476175737369616e2d7072696d6520677261706873556e726573747269637465642070726f2d6d6f64756c617269747920617420746865207072696d652074776f5a696c626572e2809350696e6b20696e206162656c69616e2076617269657469657320616e64207468652053696567656c207468726565666f6c64", "complete_artifact_bytes": 3085, "index_and_header_bytes": 578, "positions": [ { "id": "s0", "offset": 824, "length": 61 }, { "id": "s1", "offset": 1900, "length": 43 }, { "id": "s2", "offset": 2089, "length": 28 }, { "id": "s3", "offset": 532, "length": 34 }, { "id": "s4", "offset": 609, "length": 37 }, { "id": "s5", "offset": 475, "length": 57 }, { "id": "s6", "offset": 1201, "length": 68 }, { "id": "s7", "offset": 1767, "length": 33 }, { "id": "s8", "offset": 409, "length": 66 }, { "id": "s9", "offset": 2404, "length": 44 }, { "id": "s10", "offset": 1450, "length": 34 }, { "id": "s11", "offset": 1144, "length": 57 }, { "id": "s12", "offset": 1269, "length": 39 }, { "id": "s13", "offset": 1533, "length": 81 }, { "id": "s14", "offset": 2223, "length": 67 }, { "id": "s15", "offset": 2448, "length": 59 }, { "id": "s16", "offset": 1943, "length": 44 }, { "id": "s17", "offset": 1800, "length": 53 }, { "id": "s18", "offset": 1987, "length": 66 }, { "id": "s19", "offset": 1715, "length": 52 }, { "id": "s20", "offset": 193, "length": 45 }, { "id": "s21", "offset": 2171, "length": 52 }, { "id": "s22", "offset": 1308, "length": 45 }, { "id": "s23", "offset": 290, "length": 48 }, { "id": "s24", "offset": 1691, "length": 24 }, { "id": "s25", "offset": 1353, "length": 42 }, { "id": "s26", "offset": 1395, "length": 55 }, { "id": "s27", "offset": 2351, "length": 53 }, { "id": "s28", "offset": 1484, "length": 49 }, { "id": "s29", "offset": 885, "length": 61 }, { "id": "s30", "offset": 2290, "length": 61 }, { "id": "s31", "offset": 2117, "length": 54 }, { "id": "s32", "offset": 705, "length": 59 }, { "id": "s33", "offset": 646, "length": 79 }, { "id": "s34", "offset": 764, "length": 60 }, { "id": "s35", "offset": 998, "length": 54 }, { "id": "s36", "offset": 2053, "length": 36 }, { "id": "s37", "offset": 379, "length": 30 }, { "id": "s38", "offset": 946, "length": 52 }, { "id": "s39", "offset": 338, "length": 41 }, { "id": "s40", "offset": 566, "length": 43 }, { "id": "s41", "offset": 1052, "length": 93 }, { "id": "s42", "offset": 0, "length": 77 }, { "id": "s43", "offset": 1853, "length": 47 }, { "id": "s44", "offset": 1614, "length": 77 }, { "id": "s45", "offset": 126, "length": 67 }, { "id": "s46", "offset": 77, "length": 56 }, { "id": "s47", "offset": 238, "length": 52 } ], "artifact_sha256": "6b6a453549717333d483c764ca6d622e3df378d62847f0ed048a0ab706c5b617", "compressed_complete_artifact_bytes": { "gzip": 1685, "zlib": 1673, "xz": 1648 }, "roundtrip_checked": true } }, "method_statuses": { "maximum_overlap_greedy": "complete", "exact_tiny_overlap_DP": "outside_exact_item_cap" }, "exact_optimum_bytes": null, "greedy_factor_two_on_this_exact_instance": null, "work": 1623147, "work_budget": 2000000, "source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "interpretation": "Conventional bounded baselines and exact tiny DP. Source factor-two construction is not maximum-overlap greedy and is not implemented here. Caps count overlap-candidate tests/DP transitions, not character operations, native preprocessing, compression memory or time. SSP1 includes IDs and offset/length index; it supports immutable byte views including embedded zero, not drop-in C strings. Compressed artifacts require whole-artifact decompression; no random-access latency or customer value was measured." }, "source_count_stage": { "status": "outside_reduced_length_cap", "forced_counts": null, "paper_derived_lower_bound": null, "base_edges": null, "source_family": "128", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "full_source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "reduced_input_bytes": 2535, "scope": "Only the forced occurrence recursion and balanced base-graph formulas from source section 02. Lower-bound validity uses the paper argument, not an executed proof checker. Full periodic layers, requests, links, cycle opening and output construction are unimplemented. Finite comparison evidence is separate.", "limits": { "reduced_input_bytes": 128, "distinct_substrings": 512, "charged_work": 2000000 }, "work_interpretation": "Conservative character/rule/lookup charges; native preprocessing, Python object/storage costs and output encoding are excluded. No source polynomial runtime or byte-memory guarantee.", "work": 0 } }, { "name": "synthetic_UTF8_zero_duplicate_views", "input_origin": "synthetic", "input": { "strings": [ { "id": "s0", "hex": "c3a9" }, { "id": "s1", "hex": "65cc81" }, { "id": "s2", "hex": "0061" }, { "id": "s3", "hex": "610062" }, { "id": "s4", "hex": "0061" }, { "id": "s5", "hex": "" } ], "model": { "alphabet": "bytes", "containment": "exact_contiguous_substring", "lookup": "stable_ID_offset_and_length", "terminators": "not_required", "mutability": "immutable", "additional_constraints": "none" } }, "packing": { "status": "bounded_comparison_completed", "input_items": 6, "input_literal_bytes": 12, "maximal_distinct_nonempty_literals": 4, "methods": { "original_concatenation": { "blob_hex": "c3a965cc8100616100620061", "blob_bytes": 12, "complete_artifact_hex": "53535031000000060000000c027330000000000000000202733100000002000000030273320000000500000002027333000000070000000302733400000005000000020273350000000000000000c3a965cc8100616100620061", "complete_artifact_bytes": 90, "index_and_header_bytes": 78, "positions": [ { "id": "s0", "offset": 0, "length": 2 }, { "id": "s1", "offset": 2, "length": 3 }, { "id": "s2", "offset": 5, "length": 2 }, { "id": "s3", "offset": 7, "length": 3 }, { "id": "s4", "offset": 5, "length": 2 }, { "id": "s5", "offset": 0, "length": 0 } ], "artifact_sha256": "6035eef396fe1e3b58853a4e04c1b150ed9a8b4e64cd6873d36fd68c88dc45a4", "compressed_complete_artifact_bytes": { "gzip": 76, "zlib": 64, "xz": 116 }, "roundtrip_checked": true }, "deduplicated_concatenation": { "blob_hex": "006161006265cc81c3a9", "blob_bytes": 10, "complete_artifact_hex": "53535031000000060000000a027330000000080000000202733100000005000000030273320000000000000002027333000000020000000302733400000000000000020273350000000000000000006161006265cc81c3a9", "complete_artifact_bytes": 88, "index_and_header_bytes": 78, "positions": [ { "id": "s0", "offset": 8, "length": 2 }, { "id": "s1", "offset": 5, "length": 3 }, { "id": "s2", "offset": 0, "length": 2 }, { "id": "s3", "offset": 2, "length": 3 }, { "id": "s4", "offset": 0, "length": 2 }, { "id": "s5", "offset": 0, "length": 0 } ], "artifact_sha256": "eee7ffa1557b611351f9933b49f560f5f1e45fa645cb2cbe99faa9e132c6f823", "compressed_complete_artifact_bytes": { "gzip": 73, "zlib": 61, "xz": 112 }, "roundtrip_checked": true }, "contained_string_concatenation": { "blob_hex": "006161006265cc81c3a9", "blob_bytes": 10, "complete_artifact_hex": "53535031000000060000000a027330000000080000000202733100000005000000030273320000000000000002027333000000020000000302733400000000000000020273350000000000000000006161006265cc81c3a9", "complete_artifact_bytes": 88, "index_and_header_bytes": 78, "positions": [ { "id": "s0", "offset": 8, "length": 2 }, { "id": "s1", "offset": 5, "length": 3 }, { "id": "s2", "offset": 0, "length": 2 }, { "id": "s3", "offset": 2, "length": 3 }, { "id": "s4", "offset": 0, "length": 2 }, { "id": "s5", "offset": 0, "length": 0 } ], "artifact_sha256": "eee7ffa1557b611351f9933b49f560f5f1e45fa645cb2cbe99faa9e132c6f823", "compressed_complete_artifact_bytes": { "gzip": 73, "zlib": 61, "xz": 112 }, "roundtrip_checked": true }, "maximum_overlap_greedy": { "blob_hex": "0061006265cc81c3a9", "blob_bytes": 9, "complete_artifact_hex": "5353503100000006000000090273300000000700000002027331000000040000000302733200000000000000020273330000000100000003027334000000000000000202733500000000000000000061006265cc81c3a9", "complete_artifact_bytes": 87, "index_and_header_bytes": 78, "positions": [ { "id": "s0", "offset": 7, "length": 2 }, { "id": "s1", "offset": 4, "length": 3 }, { "id": "s2", "offset": 0, "length": 2 }, { "id": "s3", "offset": 1, "length": 3 }, { "id": "s4", "offset": 0, "length": 2 }, { "id": "s5", "offset": 0, "length": 0 } ], "artifact_sha256": "f699010f29de5d6d5d8f32239e52fd564606288ee78b3c431e08ba77d3110a07", "compressed_complete_artifact_bytes": { "gzip": 73, "zlib": 61, "xz": 112 }, "roundtrip_checked": true }, "exact_tiny_overlap_DP": { "blob_hex": "c3a965cc8100610062", "blob_bytes": 9, "complete_artifact_hex": "535350310000000600000009027330000000000000000202733100000002000000030273320000000500000002027333000000060000000302733400000005000000020273350000000000000000c3a965cc8100610062", "complete_artifact_bytes": 87, "index_and_header_bytes": 78, "positions": [ { "id": "s0", "offset": 0, "length": 2 }, { "id": "s1", "offset": 2, "length": 3 }, { "id": "s2", "offset": 5, "length": 2 }, { "id": "s3", "offset": 6, "length": 3 }, { "id": "s4", "offset": 5, "length": 2 }, { "id": "s5", "offset": 0, "length": 0 } ], "artifact_sha256": "305dfde48e6a4fb7c0771afd752c6835ae4c3aceda41f12cda72de69bbed4d1f", "compressed_complete_artifact_bytes": { "gzip": 73, "zlib": 61, "xz": 112 }, "roundtrip_checked": true } }, "method_statuses": { "maximum_overlap_greedy": "complete", "exact_tiny_overlap_DP": "complete" }, "exact_optimum_bytes": 9, "greedy_factor_two_on_this_exact_instance": true, "work": 118, "work_budget": 2000000, "source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "interpretation": "Conventional bounded baselines and exact tiny DP. Source factor-two construction is not maximum-overlap greedy and is not implemented here. Caps count overlap-candidate tests/DP transitions, not character operations, native preprocessing, compression memory or time. SSP1 includes IDs and offset/length index; it supports immutable byte views including embedded zero, not drop-in C strings. Compressed artifacts require whole-artifact decompression; no random-access latency or customer value was measured." }, "source_count_stage": { "status": "complete_count_stage", "forced_counts": { "00": 2, "0061": 1, "0062": 1, "61": 1, "6100": 1, "610062": 1, "62": 1, "65": 1, "65cc": 1, "65cc81": 1, "81": 1, "a9": 1, "c3": 1, "c3a9": 1, "cc": 1, "cc81": 1 }, "paper_derived_lower_bound": 9, "base_edges": [ { "from_hex": "", "to_hex": "00", "direction": "up", "multiplicity": 1 }, { "from_hex": "00", "to_hex": "0061", "direction": "up", "multiplicity": 1 }, { "from_hex": "0061", "to_hex": "61", "direction": "down", "multiplicity": 1 }, { "from_hex": "0062", "to_hex": "62", "direction": "down", "multiplicity": 1 }, { "from_hex": "61", "to_hex": "6100", "direction": "up", "multiplicity": 1 }, { "from_hex": "6100", "to_hex": "610062", "direction": "up", "multiplicity": 1 }, { "from_hex": "610062", "to_hex": "0062", "direction": "down", "multiplicity": 1 }, { "from_hex": "62", "to_hex": "", "direction": "down", "multiplicity": 1 }, { "from_hex": "", "to_hex": "65", "direction": "up", "multiplicity": 1 }, { "from_hex": "65", "to_hex": "65cc", "direction": "up", "multiplicity": 1 }, { "from_hex": "65cc", "to_hex": "65cc81", "direction": "up", "multiplicity": 1 }, { "from_hex": "65cc81", "to_hex": "cc81", "direction": "down", "multiplicity": 1 }, { "from_hex": "81", "to_hex": "", "direction": "down", "multiplicity": 1 }, { "from_hex": "a9", "to_hex": "", "direction": "down", "multiplicity": 1 }, { "from_hex": "", "to_hex": "c3", "direction": "up", "multiplicity": 1 }, { "from_hex": "c3", "to_hex": "c3a9", "direction": "up", "multiplicity": 1 }, { "from_hex": "c3a9", "to_hex": "a9", "direction": "down", "multiplicity": 1 }, { "from_hex": "cc81", "to_hex": "81", "direction": "down", "multiplicity": 1 } ], "source_family": "128", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "full_source_factor_two_algorithm_implemented": false, "source_proof_verification": "not_run", "formal_program_verification": "not_run", "reduced_input_bytes": 10, "scope": "Only the forced occurrence recursion and balanced base-graph formulas from source section 02. Lower-bound validity uses the paper argument, not an executed proof checker. Full periodic layers, requests, links, cycle opening and output construction are unimplemented. Finite comparison evidence is separate.", "limits": { "reduced_input_bytes": 128, "distinct_substrings": 512, "charged_work": 2000000 }, "work_interpretation": "Conservative character/rule/lookup charges; native preprocessing, Python object/storage costs and output encoding are excluded. No source polynomial runtime or byte-memory guarantee.", "base_graph_balanced": true, "distinct_substrings_including_empty": 17, "period_rule_records": 0, "work": 596, "required_strings_hex": [ "0061", "610062", "65cc81", "c3a9" ] } } ], "scope": "Seven public-metadata/runtime/synthetic literal groups; full SSP1 bytes include stable IDs and offsets/lengths. No source full factor-two backend, linker run, customer corpus, latency, deployment or profitability validation." }