back to table · edit · history · where entries came from · files · download
3950 bytes, as of the version from 2026-10-29 07:20. Recorded here, not run.
{
"table": "T603",
"run": "20261029T070407Z",
"skill_manifest": "agents/runs/20261029T070407Z-build-skills/manifest.json",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
}
],
"numerical_result": {
"status": "PASS",
"entries": 40,
"minimum_relative_accuracy_bits_150": 500,
"measure": {
"entries": 40,
"longest": 173,
"longest_at": [
2,
"logdet"
],
"block_kb": 8.607421875
},
"exactness": [],
"independent_agrees_with": []
},
"source_and_relation_result": {
"status": "PASS",
"sphere_dimensions": 20,
"rounded_source_values": 20
},
"dowker_discrepancy": {
"dowker_p7": {
"spectral_derivative_difference": "[-0.6376951068409565490106071990273847174525726263101483132123646032213257773634596299131868736685988235347527593551991004907469035892654639396973036128826827579616532478789236 +/- 5.45e-173]",
"corrected_constant": "-1",
"printed_constant": "+1/2",
"printed_minus_spectral": "3/2",
"reconciled": true
}
},
"sources": {
"cunha-freitas.html": "8ad8b96c979734f55bbf0a0d915b2723afce54b92116f8ea3fabd1e71f1a79eb",
"dowker.pdf": "9691784d17ef011880822cfd192b77ab328df14ba0b7f3eabfb0509bd9ef0396"
},
"algorithm_notes": "Primary: finite Theorem 3.2 with exact coefficients and Arb at 150 and 200 working decimal digits. Independent: direct shifted spectral continuation with explicit pole cancellation, Arb at 240 digits and an absolute truncation bound below 1e-170. Both use Arb special-function primitives, but no generator code or combinatorial coefficients are shared. Controls and finite widths are enforced. The independent actor critique remains separate.",
"source_files": {
"generate.py": "42226aa3ee26dd9330c1970dbbf2a244403674381ba639d0e4b4dd88fdb2b381",
"independent.py": "7c2204fed805a9fc0c7601adf2a22e27d56c22b8739a4cd4578f3bf6da8a4752",
"checks.py": "c348cae5c98f578fe73ba5e387e71d8a7a6280ba1e032679440d3b30607b8d54",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"relations.py": "cdd68259aa7610b5df00d8faf42c322e7319aac8f13e5a177c2f81bd8346a83e",
"readback.py": "74da17b7b629e46d0ee56938b6eb9f208ba8226db01b18e943f5a24122725c34",
"argument-selection.md": "692465fb6865b8075bb2d950d9472654714f694add77c1bc0a7e85f2add3d302",
"source-check-notes.md": "22352f6cbebeb9141d8585578232b84acce64df8320c82b30e7b1cda95da18f0"
},
"stored_verification": {
"status": "PASS",
"entries": 40,
"ordered_selection_matches": true,
"maximum_stored_value_characters": 104
},
"audit": {
"tid": "T603",
"title": "Dirichlet spectral determinants of Laplacians on hemispheres",
"findings": [
"parameter convention takes 2 names (det, logdet), each carrying entries of its own, so this reads as 2 tables sharing one title and one value column. If those are 2 named quantities, make 2 tables and relate them in Similar tables; if they are one object in several parts, or one number in several conventions, say so in the definition and leave them together"
],
"clean": false
},
"audit_resolution": "The definition explicitly states the permitted invertible convention exception; the remaining structural advisory does not parse that exception.",
"selection_fingerprint": {
"table": "T603",
"selection_sha256": "4976e1ad8ea4ba145cfbe9a07f4eb9336779e96da52d920676b76ddd559bbf16",
"generator_files": {
"generate.py": "42226aa3ee26dd9330c1970dbbf2a244403674381ba639d0e4b4dd88fdb2b381"
}
},
"stored_document_sha256": "71fd33a4f1c3bf3d659edbb967f3d4d9de81db9bcecfd2205f90ea243018d62a"
}