C749 — Freeze the three rounding domains
Question
Which row operations and domains may be compared?
Inputs
{}
Sources
[
"File51a §§3.4,16.1–16.2; File18 regular tables"
]
Opened utc
2026-09-28T01:52:29.839395+00:00
Results
{
"packet": {
"path": "model/rounding_inputs.json",
"sha256": "1c34bdf733d5822070359212b1fc1bedd09747e2ea47ae613a45570546f1aaf4",
"bytes": 50661
},
"row_counts": {
"MT_native_OFF": 26,
"LXX_native_ON": 27,
"SP_native_OFF": 26
},
"operations": [
"Q(b) regular births",
"Q(b)+Q(r) theoretical regular lifespan",
"Q(L) cumulative lifespan"
],
"restrictions": [
"SP inclusive counts retain count type",
"Jacob b=91 belongs to Joseph collateral",
"four final b inputs withheld"
]
}
Finding
Rounded is three typed row operations, followed by path accumulation. A missing or collateral begetting input cannot become a trunk edge.
Reassessment
Reconstruct both MT lifespan operators over every admitted row.
Checks
{
"counts": true,
"withheld": true
}
Closed utc
2026-09-28T01:52:29.841524+00:00
Record provenance
Exact record hash: c58b31829a73df4b0189eec20ae868a9ff5ae35b45e112d9e252256fc7bf59ca
Source journal: Research_Cycles/C0732_C0831/journal.json