# C944 — Bounded aggregate identifiability

## Question

Can distinct admissible integer aggregates have both measurements equal?

## Inputs

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

## Sources

```json
[
  "C939",
  "C940",
  "C943"
]
```

## Opened utc

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

## Results

```json
{
  "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

```json
{
  "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`