| { |
| "cells": [ |
| { |
| "id": "arithmetic-fp32", |
| "status": "PASS", |
| "raw_operation": "add", |
| "raw_operation_correct": true, |
| "model_applied": true, |
| "model_predictions": 1, |
| "tdd_cases_passed": 6, |
| "tdd_cases_total": 6, |
| "independent_cases_passed": 6, |
| "native_wall_ms": 11.517041, |
| "native_user_ms": 4.189, |
| "native_system_ms": 6.439, |
| "native_lifetime_peak_rss_bytes": 16809984, |
| "tiny_decision_ms": 0.037583, |
| "tiny_load_ms": 0.229542, |
| "source_sha256": "7896b7f65db047bf077a03920901ff4487576582896f492fabe5d1fc82c1d748", |
| "plan_sha256": "685b22ffb073ad0e8fb597bd008ecbf7dd7696137d3a2e0d9418ab25ee7468e5", |
| "model_metadata_sha256": "9f59507ca7fc88d05995202bdac12fecb056a3b07fc75e09c90f54415d50454e", |
| "weights_sha256": "e9beba7f8c6c33931fa89fcc69407bd4f02c5d23d731b2e8a0ebbf03601f59e8", |
| "raw_receipt_sha256": "8a3b6fb5169c1af0948c72013d0f867fa7732c562228a7d2e5c00d5ed387de85", |
| "generated_source_sha256": "bedff51d4d1a575e51e393af7ff4e77bf7017b989ada4592e36b1d4be58e1a1b", |
| "verification_sha256": "79a058ab858ab7315d5f5fe5e538d71ed62465549b3a6147e44f97b8da3d2709" |
| }, |
| { |
| "id": "arithmetic-ptq_ternary", |
| "status": "PASS", |
| "raw_operation": "add", |
| "raw_operation_correct": true, |
| "model_applied": false, |
| "model_predictions": 1, |
| "tdd_cases_passed": 6, |
| "tdd_cases_total": 6, |
| "independent_cases_passed": 6, |
| "native_wall_ms": 6.490958, |
| "native_user_ms": 3.6, |
| "native_system_ms": 2.027, |
| "native_lifetime_peak_rss_bytes": 16859136, |
| "tiny_decision_ms": 0.041875, |
| "tiny_load_ms": 0.1415, |
| "source_sha256": "7896b7f65db047bf077a03920901ff4487576582896f492fabe5d1fc82c1d748", |
| "plan_sha256": "685b22ffb073ad0e8fb597bd008ecbf7dd7696137d3a2e0d9418ab25ee7468e5", |
| "model_metadata_sha256": "41a5168cb3ef0633edc0a9b05a0f6fafcef4324f05eee728db3b4d321c77d381", |
| "weights_sha256": "005681c525474bb8ec08ffc6e83c43fb27f4c2ed0dd96328b442c2c8caa81fb6", |
| "raw_receipt_sha256": "c78e09817478a9a0229d43dccb85b8bd8c965518aa3e70340fbf30ecb03983ba", |
| "generated_source_sha256": "bedff51d4d1a575e51e393af7ff4e77bf7017b989ada4592e36b1d4be58e1a1b", |
| "verification_sha256": "82d0f31ca3ede76d80511bfa6e3c7b92588dd7571815089a4b9a0807289363ce" |
| }, |
| { |
| "id": "arithmetic-qat_ternary", |
| "status": "PASS", |
| "raw_operation": "add", |
| "raw_operation_correct": true, |
| "model_applied": true, |
| "model_predictions": 1, |
| "tdd_cases_passed": 6, |
| "tdd_cases_total": 6, |
| "independent_cases_passed": 6, |
| "native_wall_ms": 9.140834, |
| "native_user_ms": 5.148, |
| "native_system_ms": 2.951, |
| "native_lifetime_peak_rss_bytes": 16924672, |
| "tiny_decision_ms": 0.063084, |
| "tiny_load_ms": 0.1815, |
| "source_sha256": "7896b7f65db047bf077a03920901ff4487576582896f492fabe5d1fc82c1d748", |
| "plan_sha256": "685b22ffb073ad0e8fb597bd008ecbf7dd7696137d3a2e0d9418ab25ee7468e5", |
| "model_metadata_sha256": "ad058ac2f42f9e02eb3763b4b027d3f5034aac01fa5577d734ac92468dc2a65f", |
| "weights_sha256": "07813d1eef0651c37115a899c7052dc3bbca5c924dca348ecf4e4b6ca35fcf96", |
| "raw_receipt_sha256": "ed3d5ed23a967fa8763e9f51cfedbff7cec4a40554e9ecc9225ba9c9f6c30bdc", |
| "generated_source_sha256": "bedff51d4d1a575e51e393af7ff4e77bf7017b989ada4592e36b1d4be58e1a1b", |
| "verification_sha256": "192b13b4e134f7bc0a46288529e396bc2e77d72ed88e72508772db7ff9327f6f" |
| }, |
| { |
| "id": "boolean-fp32", |
| "status": "PASS", |
| "raw_operation": "less_equal", |
| "raw_operation_correct": true, |
| "model_applied": true, |
| "model_predictions": 1, |
| "tdd_cases_passed": 6, |
| "tdd_cases_total": 6, |
| "independent_cases_passed": 6, |
| "native_wall_ms": 10.036458, |
| "native_user_ms": 5.701, |
| "native_system_ms": 3.112, |
| "native_lifetime_peak_rss_bytes": 16875520, |
| "tiny_decision_ms": 0.061083, |
| "tiny_load_ms": 0.16875, |
| "source_sha256": "1b2e12bc510ec7215f49e84b23cc00e4da3adadd7244030596671d7cb78af6f1", |
| "plan_sha256": "a3f68051f964ee8b2917879e7fcec1d81b0c5bec20a975b2344410b08898e694", |
| "model_metadata_sha256": "9f59507ca7fc88d05995202bdac12fecb056a3b07fc75e09c90f54415d50454e", |
| "weights_sha256": "e9beba7f8c6c33931fa89fcc69407bd4f02c5d23d731b2e8a0ebbf03601f59e8", |
| "raw_receipt_sha256": "070766ffd6f8a8caeb05c1b9e175f2adbf9a00157d6faf870d860ae112466ba5", |
| "generated_source_sha256": "d10295d4d643348152cf2f7656c1558db4feb1b801c615360c273b69b65ceb9f", |
| "verification_sha256": "7d456801d77288b1f2b5d4201ce873cb700d15e6ea258d6578f3819d69a378e2" |
| }, |
| { |
| "id": "boolean-ptq_ternary", |
| "status": "PASS", |
| "raw_operation": "less_equal", |
| "raw_operation_correct": true, |
| "model_applied": true, |
| "model_predictions": 1, |
| "tdd_cases_passed": 6, |
| "tdd_cases_total": 6, |
| "independent_cases_passed": 6, |
| "native_wall_ms": 8.816666, |
| "native_user_ms": 4.918, |
| "native_system_ms": 2.509, |
| "native_lifetime_peak_rss_bytes": 16891904, |
| "tiny_decision_ms": 0.062833, |
| "tiny_load_ms": 0.106333, |
| "source_sha256": "1b2e12bc510ec7215f49e84b23cc00e4da3adadd7244030596671d7cb78af6f1", |
| "plan_sha256": "a3f68051f964ee8b2917879e7fcec1d81b0c5bec20a975b2344410b08898e694", |
| "model_metadata_sha256": "41a5168cb3ef0633edc0a9b05a0f6fafcef4324f05eee728db3b4d321c77d381", |
| "weights_sha256": "005681c525474bb8ec08ffc6e83c43fb27f4c2ed0dd96328b442c2c8caa81fb6", |
| "raw_receipt_sha256": "ce4996a7e8d9081fe8f8427358ac6331a3d6925ae004cd6523f4a5aa5af7a238", |
| "generated_source_sha256": "d10295d4d643348152cf2f7656c1558db4feb1b801c615360c273b69b65ceb9f", |
| "verification_sha256": "83b78e2706e4c850682dc41342924acf22d5773672122c465229c732c4c219c5" |
| }, |
| { |
| "id": "boolean-qat_ternary", |
| "status": "PASS", |
| "raw_operation": "less_equal", |
| "raw_operation_correct": true, |
| "model_applied": true, |
| "model_predictions": 1, |
| "tdd_cases_passed": 6, |
| "tdd_cases_total": 6, |
| "independent_cases_passed": 6, |
| "native_wall_ms": 9.253291, |
| "native_user_ms": 5.52, |
| "native_system_ms": 2.838, |
| "native_lifetime_peak_rss_bytes": 16777216, |
| "tiny_decision_ms": 0.063417, |
| "tiny_load_ms": 0.181625, |
| "source_sha256": "1b2e12bc510ec7215f49e84b23cc00e4da3adadd7244030596671d7cb78af6f1", |
| "plan_sha256": "a3f68051f964ee8b2917879e7fcec1d81b0c5bec20a975b2344410b08898e694", |
| "model_metadata_sha256": "ad058ac2f42f9e02eb3763b4b027d3f5034aac01fa5577d734ac92468dc2a65f", |
| "weights_sha256": "07813d1eef0651c37115a899c7052dc3bbca5c924dca348ecf4e4b6ca35fcf96", |
| "raw_receipt_sha256": "e6a0b01571a49f4148e69324c4f7f74b4d514bb69b37fce9bdb1f08a47757653", |
| "generated_source_sha256": "d10295d4d643348152cf2f7656c1558db4feb1b801c615360c273b69b65ceb9f", |
| "verification_sha256": "82d0f31ca3ede76d80511bfa6e3c7b92588dd7571815089a4b9a0807289363ce" |
| } |
| ], |
| "compiler_revision": "68361e64def5457f0d0e6de972570a9885cceb96", |
| "compiler_sha256": "3f3e632affb55c35449fcdcd0c69fcd8dcd84ec42dcaa488641eb03dd2f2cb50", |
| "external_provider_calls": 0, |
| "go_version": "go1.27.1", |
| "provenance_spec": "https://www.w3.org/TR/prov-o/", |
| "resource_scope": "Native child process wall/CPU and OS lifetime peak RSS; excludes Go replay processes, not host utilization delta", |
| "retries": 0, |
| "schema": "gooo/compiler-dogfood/v1", |
| "scope": "Two disclosed repair-training intents; not holdout or full-domain proof", |
| "status": "PASS", |
| "warmups": 0 |
| } |
|
|
