back to table · edit · history · where entries came from · files · download
7171 bytes, as of the version from 2026-10-29 07:39 (current). Recorded here, not run.
{
"table": "T603",
"skill_manifest": "agents/runs/20261029T073226Z-repair-skills/manifest.json",
"skill_sha256": {
"local": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"live": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
},
"generator_sha256": "42226aa3ee26dd9330c1970dbbf2a244403674381ba639d0e4b4dd88fdb2b381",
"stored_entries_checked": 40,
"minimum_accuracy_bits": 500,
"enumeration_matches_in_order": true,
"controls": [
"d=1 spectral zeta derivative",
"d=1 determinant 2*pi",
"displayed d=2 and d=3 formulas"
],
"scope": "Same-generator interval verification and low-dimension controls; no new values, no independent argument-review verdict.",
"sage_version": "10.9",
"python_version": "3.12.3",
"rows": [
{
"params": {
"d": "1",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 512
},
{
"params": {
"d": "1",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 513
},
{
"params": {
"d": "2",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 511
},
{
"params": {
"d": "2",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 510
},
{
"params": {
"d": "3",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 511
},
{
"params": {
"d": "3",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 510
},
{
"params": {
"d": "4",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 510
},
{
"params": {
"d": "4",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 507
},
{
"params": {
"d": "5",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 511
},
{
"params": {
"d": "5",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 507
},
{
"params": {
"d": "6",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 510
},
{
"params": {
"d": "6",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 505
},
{
"params": {
"d": "7",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 510
},
{
"params": {
"d": "7",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 506
},
{
"params": {
"d": "8",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 510
},
{
"params": {
"d": "8",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 503
},
{
"params": {
"d": "9",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 510
},
{
"params": {
"d": "9",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 500
},
{
"params": {
"d": "10",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 510
},
{
"params": {
"d": "10",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 505
},
{
"params": {
"d": "11",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 509
},
{
"params": {
"d": "11",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 504
},
{
"params": {
"d": "12",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 510
},
{
"params": {
"d": "12",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 505
},
{
"params": {
"d": "13",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 509
},
{
"params": {
"d": "13",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 505
},
{
"params": {
"d": "14",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 510
},
{
"params": {
"d": "14",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 506
},
{
"params": {
"d": "15",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 509
},
{
"params": {
"d": "15",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 506
},
{
"params": {
"d": "16",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 509
},
{
"params": {
"d": "16",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 506
},
{
"params": {
"d": "17",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 509
},
{
"params": {
"d": "17",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 506
},
{
"params": {
"d": "18",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 510
},
{
"params": {
"d": "18",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 506
},
{
"params": {
"d": "19",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 509
},
{
"params": {
"d": "19",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 505
},
{
"params": {
"d": "20",
"convention": "det"
},
"contained_in_stored_interval": true,
"accuracy_bits": 509
},
{
"params": {
"d": "20",
"convention": "logdet"
},
"contained_in_stored_interval": true,
"accuracy_bits": 506
}
]
}