{
  "retrieved_utc": "2026-10-10 21:20:30 UTC",
  "execution_phase_seal_unchanged": true,
  "external_source_code_executed": false,
  "MySQL_tag": "mysql-5.6.50",
  "MySQL_tag_resolved_commit": "9bb243a3fa252257468bbcd98f668bfe15bed48c",
  "PHP_runtime_observed": "7.3.33 / mysqlnd 5.0.12-dev; upstream PHP source tag matches version but binary source-build identity not independently proven",
  "sources": [
    {
      "id": "mysql-field",
      "url": "https://github.com/mysql/mysql-server/blob/9bb243a3fa252257468bbcd98f668bfe15bed48c/sql/field.cc",
      "read_via": "official raw web reader",
      "lines": [
        "4028-4062",
        "4072-4084",
        "4101-4139",
        "4290-4334"
      ],
      "supports": "String parse double, truncate/quantize/clip before binary32 store; physical val_real/val_str distinctions"
    },
    {
      "id": "mysql-rint",
      "url": "https://github.com/mysql/mysql-server/blob/9bb243a3fa252257468bbcd98f668bfe15bed48c/include/my_global.h",
      "lines": [
        "1055-1085"
      ],
      "supports": "Portable rint fallback nearest-even, comment identifies glibc round-to-nearest mode; actual target FENV still not measured"
    },
    {
      "id": "mysql-protocol",
      "url": "https://github.com/mysql/mysql-server/blob/9bb243a3fa252257468bbcd98f668bfe15bed48c/sql/protocol.cc",
      "lines": [
        "1009-1017",
        "1254-1272"
      ],
      "supports": "Text vs binary protocol; binary float carries4 bytes and binary double8, decimals not applied by binary store"
    },
    {
      "id": "mysql-SUM",
      "url": "https://github.com/mysql/mysql-server/blob/9bb243a3fa252257468bbcd98f668bfe15bed48c/sql/item_sum.cc",
      "lines": [
        "1292-1312",
        "1330-1350",
        "1369-1386"
      ],
      "supports": "REAL_RESULT sum path uses real argument values; cannot replace computed aggregates with physical-column display rounding"
    },
    {
      "id": "mysql-field-type",
      "url": "https://github.com/mysql/mysql-server/blob/9bb243a3fa252257468bbcd98f668bfe15bed48c/sql/field.h",
      "lines": [
        "1367-1382",
        "1474-1495"
      ],
      "supports": "REAL numeric context, fixed/not_fixed field metadata and truncate declaration"
    },
    {
      "id": "php-ps-float",
      "url": "https://github.com/php/php-src/blob/php-7.3.33/ext/mysqlnd/mysqlnd_ps_codec.c",
      "lines": [
        "163-194"
      ],
      "supports": "ps_fetch_float invokes mysql_float_to_double with field decimals; ps_fetch_double directly takes double"
    },
    {
      "id": "php-float-getter",
      "url": "https://github.com/php/php-src/blob/php-7.3.33/ext/mysqlnd/mysql_float_to_double.h",
      "lines": [
        "28-43"
      ],
      "supports": "FLOAT4 -> fixed-decimal formatted string or FLT_DIG significant formatting -> zend_strtod"
    },
    {
      "id": "DM-types",
      "url": "https://eco.dameng.com/document/dm/zh-cn/pm/dm8_sql-data-types-operators.html",
      "lines": [
        "162-202"
      ],
      "supports": "REAL binary precision24; omitted FLOAT precision53; docs are current vendor semantics, target REAL not yet tested"
    },
    {
      "id": "DM-round",
      "url": "https://eco.dameng.com/document/dm/zh-cn/pm/function.html",
      "section": "8.1 ROUND / TO_BINARY_FLOAT / CAST",
      "supports": "ROUND/trunc options and CAST family; does not prove exact target binary half-tie implementation"
    },
    {
      "id": "mysql-tag-identity",
      "url": "https://api.github.com/repos/mysql/mysql-server/git/ref/tags/mysql-5.6.50",
      "supports": "Tag object is resolved commit9bb243a3..."
    }
  ],
  "not_relied_on": [
    "Exa returned unrelated current ff05628a source; ignored for5.6.50 claims",
    "Community posts excluded; official vendor docs only"
  ],
  "fetch_failures_not_DB_failures": [
    "Jina GitHub body request timeout25s",
    "git ls-remote HTTP2 framing error",
    "direct raw curl six downloads connection-reset35; no source byte hashes claimed",
    "guessed DM dm-sql-data-types/data-types paths unavailable; replaced with verified vendor DMSQL types page",
    "OpenGroup rint page unavailable; no claim based on it"
  ],
  "source_name_precision": "round_to_field absent in inspected5.6.50 field.cc/field.h, truncate_double absent in inspectedmy_base.h; actual verified implementation called Field_real::truncate. No claim those identifiers absent from entire repository."
}