{"id": "c1016", "title": "C1016 — Source sequence constraint", "filename": "C1016.md", "role": "Research action", "step": 1016, "sha256": "9d8fb80e345b57b5f434dcade8ea2d4cb1dd6f0ae662bd02e185509d1b303873", "bytes": 1521, "origins": ["C480–C1634/Research_Cycles/C0932_C1131/journal.json#C1016"], "download": "/sources/9d8fb80e345b57b5f434dcade8ea2d4cb1dd6f0ae662bd02e185509d1b303873.md", "format": "md", "derived": true, "tags": [], "excerpt": "What does the seven-day total determine once the decrement is retained?", "content": "# C1016 — Source sequence constraint\n\n## Question\n\nWhat does the seven-day total determine once the decrement is retained?\n\n## Inputs\n\n```json\n{\n  \"total\": 189,\n  \"days\": 7,\n  \"decrement\": 1,\n  \"uniform_nonbull\": 17\n}\n```\n\n## Sources\n\n```json\n[\n  \"File58 Sukkot ledger\",\n  \"C1015\"\n]\n```\n\n## Opened utc\n\n2026-09-28T03:58:36.074667+00:00\n\n## Results\n\n```json\n{\n  \"day_totals\": [\n    30,\n    29,\n    28,\n    27,\n    26,\n    25,\n    24\n  ],\n  \"bulls_given_nonbull17\": [\n    13,\n    12,\n    11,\n    10,\n    9,\n    8,\n    7\n  ],\n  \"diagnostic_positive_bull_alternatives\": [\n    [\n      13,\n      12,\n      11,\n      10,\n      9,\n      8,\n      7\n    ],\n    [\n      16,\n      14,\n      12,\n      10,\n      8,\n      6,\n      4\n    ],\n    [\n      19,\n      16,\n      13,\n      10,\n      7,\n      4,\n      1\n    ]\n  ],\n  \"status\": \"decrement1 and nonbull17 retained as source assumptions\"\n}\n```\n\n## Finding\n\nThe 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.\n\n## Reassessment\n\nTest scale and placement recovery on the already published festival walk.\n\n## Checks\n\n```json\n{\n  \"source_totals\": true,\n  \"bull_total\": true,\n  \"alternatives_not_unique\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T03:58:36.074939+00:00\n\n## Record provenance\n\nExact record hash: `184b8df15c6962c0e081e6f669aba29716a3fb06fa999a8c7d05ffeedc47594d`\n\nSource journal: `Research_Cycles/C0932_C1131/journal.json`", "journalDownload": "/sources/f6bdc7aaaaa4fd40f1151b367204ddee7f0f9b77a9c43ae8764831b52d862670.json", "evidenceLinks": [{"id": "d-924db415dff003d2", "title": "File 58"}]}