Research action · Preserved journal reading record

C752 — Derive the finite rounding defect law

Download reading recordDownload source journalOpen in research workspace

Study sequence: Rounded residual fields and counting (C749–C771) · Rounded chronology

C752 — Derive the finite rounding defect law

Question

Can one residue table explain every parts-versus-total defect?

Inputs

{}

Sources

[
  "C749–750; File51a rounding rules"
]

Opened utc

2026-09-28T01:53:30.703808+00:00

Results

{
  "table_b_rows_r_columns": [
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      -5,
      0,
      0
    ],
    [
      0,
      -5,
      -5,
      0,
      0
    ],
    [
      0,
      0,
      0,
      5,
      5
    ],
    [
      0,
      0,
      0,
      5,
      0
    ]
  ],
  "formula": "K(b,r)=Q(b)+Q(r)-Q(b+r)",
  "periodicity": "Q(x+5k)=Q(x)+5k"
}

Finding

Every compatible integer row belongs to one of 25 residue classes; defects are only −5,0,+5. Methuselah and Reu share class(2,2).

Reassessment

Check whether the three traditions add new defect classes within the admitted domains.

Checks

{
  "values": true,
  "periodic_exhaustion": true
}

Closed utc

2026-09-28T01:53:30.706032+00:00

Record provenance

Exact record hash: 5ccd38e85638d691f9012d5c0547fe166baa524b185c348fa0797ba2e05ac2e1

Source journal: Research_Cycles/C0732_C0831/journal.json

Linked sources and evidence

Edition and provenance

C752.md

SHA-256 25f870fb6195400b4941bd0d89b00955c4301f3036c841adc609f6c78e55bf0d

C480–C1634/Research_Cycles/C0732_C0831/journal.json#C752