C944 — Bounded aggregate identifiability

Question

Can distinct admissible integer aggregates have both measurements equal?

Inputs

{
  "digit_bounds": {
    "H": [
      2,
      18
    ],
    "T": [
      0,
      18
    ],
    "U": [
      2,
      18
    ]
  },
  "kernel": [
    10,
    -101,
    10
  ]
}

Sources

[
  "C939",
  "C940",
  "C943"
]

Opened utc

2026-09-28T03:42:54.396310+00:00

Results

{
  "largest_allowed_tens_difference": 18,
  "smallest_nonzero_kernel_tens_difference": 101,
  "aggregate_unique_given_both_totals": true
}

Finding

Within this register, the finite digit box eliminates every nonzero integer kernel move: both totals uniquely identify the aggregate columns.

Reassessment

Determine which individual component details the aggregate still loses.

Checks

{
  "kernel_excluded": true,
  "primitive_kernel": true
}

Closed utc

2026-09-28T03:42:54.396566+00:00

Record provenance

Exact record hash: 41e0234de2c176374e8975c00d2d72b5e93761d57c45b256f5eec6a884ae0161

Source journal: Research_Cycles/C0932_C1131/journal.json