C946 — Regular allocation formula

Question

Which two-core allocations preserve the forced regular aggregate?

Inputs

{
  "H": 2,
  "T": 6,
  "U": 10
}

Sources

[
  "C939",
  "C945"
]

Opened utc

2026-09-28T03:43:14.703926+00:00

Results

{
  "first_core": "100 + 10t + u",
  "second_core": "100 + 10(6−t) + (10−u)",
  "bounds": "0≤t≤6; 1≤u≤9; integers",
  "status": "algebraic diagnostic, not chronology admission"
}

Finding

The aggregate fixes both hundreds digits and the sums of tens and units, while allowing internal digit allocation. The source-appointed boundary supplies information absent from the two totals.

Reassessment

Check whether weighted conservation alone forces the same cumulative branch.

Checks

{
  "entire_parameterization_valid": true,
  "source_recovered": true
}

Closed utc

2026-09-28T03:43:14.704347+00:00

Record provenance

Exact record hash: ec809a4c419f2a83b6888cda86cd49986fbde7085eda640d059057703688bf38

Source journal: Research_Cycles/C0932_C1131/journal.json