{"id": "c833", "title": "C833 — Freeze the complete File58 list objects", "filename": "C833.md", "role": "Research action", "step": 833, "sha256": "e45be0e45b45612effddeadff72c0b579b1df79f613863a32eecf68c4830f05e", "bytes": 1206, "origins": ["C480–C1634/Research_Cycles/C0832_C0931/journal.json#C833"], "download": "/sources/e45be0e45b45612effddeadff72c0b579b1df79f613863a32eecf68c4830f05e.md", "format": "md", "derived": true, "tags": ["Covenant"], "excerpt": "Which literal tables and declared orders are the inputs to the holdout?", "content": "# C833 — Freeze the complete File58 list objects\n\n## Question\n\nWhich literal tables and declared orders are the inputs to the holdout?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"File58 §§3–5,7,13\"\n]\n```\n\n## Opened utc\n\n2026-09-28T02:29:29.450301+00:00\n\n## Results\n\n```json\n{\n  \"packet\": {\n    \"path\": \"model/list_inputs.json\",\n    \"sha256\": \"9884a95572290132effce69c3a16e362d9c298c9a9b4c6bded06545f449dd2f1\",\n    \"bytes\": 14983\n  },\n  \"literal_table_rows\": {\n    \"category\": 8,\n    \"leviticus\": 3,\n    \"feast_scale\": 6,\n    \"full_scale\": 7,\n    \"forward\": 8,\n    \"reverse\": 8,\n    \"esau\": 9,\n    \"clean_walk\": 6\n  }\n}\n```\n\n## Finding\n\nThe complete category, sequence and partition tables are frozen with source line locators. Subsequent tests can distinguish source inputs from generated consequences.\n\n## Reassessment\n\nReconstruct the whole seven-day Sukkot count matrix.\n\n## Checks\n\n```json\n{\n  \"category_rows\": true,\n  \"esau_rows\": true,\n  \"forward_reverse\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T02:29:29.452448+00:00\n\n## Record provenance\n\nExact record hash: `e8ec16d1723c6ad48b322a0546e1b22ae93d79cf00cf3588770b6b1a56356089`\n\nSource journal: `Research_Cycles/C0832_C0931/journal.json`", "journalDownload": "/sources/6a37be4e218f9f467cbde5e9db3723ce9c79dc78cc97d1a289422b96cb9971e0.json", "evidenceLinks": [{"id": "d-9884a95572290132", "title": "model/list_inputs.json"}, {"id": "d-924db415dff003d2", "title": "File 58"}]}