# C1016 — Source sequence constraint

## Question

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

## Inputs

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

## Sources

```json
[
  "File58 Sukkot ledger",
  "C1015"
]
```

## Opened utc

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

## Results

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

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