C1016 — Source sequence constraint

Question

What does the seven-day total determine once the decrement is retained?

Inputs

{
  "total": 189,
  "days": 7,
  "decrement": 1,
  "uniform_nonbull": 17
}

Sources

[
  "File58 Sukkot ledger",
  "C1015"
]

Opened utc

2026-09-28T03:58:36.074667+00:00

Results

{
  "day_totals": [
    30,
    29,
    28,
    27,
    26,
    25,
    24
  ],
  "bulls_given_nonbull17": [
    13,
    12,
    11,
    10,
    9,
    8,
    7
  ],
  "diagnostic_positive_bull_alternatives": [
    [
      13,
      12,
      11,
      10,
      9,
      8,
      7
    ],
    [
      16,
      14,
      12,
      10,
      8,
      6,
      4
    ],
    [
      19,
      16,
      13,
      10,
      7,
      4,
      1
    ]
  ],
  "status": "decrement1 and nonbull17 retained as source assumptions"
}

Finding

The source decrement1 and total189 determine30…24; the retained nonbull17 then gives13…7. Total70 alone permits other positive arithmetic bull sequences, so the source decrement carries information.

Reassessment

Test scale and placement recovery on the already published festival walk.

Checks

{
  "source_totals": true,
  "bull_total": true,
  "alternatives_not_unique": true
}

Closed utc

2026-09-28T03:58:36.074939+00:00

Record provenance

Exact record hash: 184b8df15c6962c0e081e6f669aba29716a3fb06fa999a8c7d05ffeedc47594d

Source journal: Research_Cycles/C0932_C1131/journal.json