{"id": "c1043", "title": "C1043 — Complete Covenant constraint basis", "filename": "C1043.md", "role": "Research action", "step": 1043, "sha256": "787aca313b54301024a9f006b1f5204c066a988ef759fd4c05174d98cc8c6836", "bytes": 1090, "origins": ["C480–C1634/Research_Cycles/C0932_C1131/journal.json#C1043"], "download": "/sources/787aca313b54301024a9f006b1f5204c066a988ef759fd4c05174d98cc8c6836.md", "format": "md", "derived": true, "tags": ["Covenant"], "excerpt": "How many independent equations remain in the nine selected claims?", "content": "# C1043 — Complete Covenant constraint basis\n\n## Question\n\nHow many independent equations remain in the nine selected claims?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"C1035–C1042\"\n]\n```\n\n## Opened utc\n\n2026-09-28T04:04:43.497923+00:00\n\n## Results\n\n```json\n{\n  \"constraint_basis\": {\n    \"path\": \"model/covenant_claim_basis.json\",\n    \"sha256\": \"813a015778b6da7bd56c32e93d1b37f4a6ff47ff75a18d511613542ebcc064e7\",\n    \"bytes\": 1791\n  },\n  \"rank\": 8,\n  \"free_dimensions\": 5\n}\n```\n\n## Finding\n\nNine selected claims reduce to eight equations in the variable local model. Path identities and fixed-source-dependent equivalences are classified separately.\n\n## Reassessment\n\nIdentify what the prominent numerical normalizations add beyond these relations.\n\n## Checks\n\n```json\n{\n  \"rank_eight\": true,\n  \"first_eight_basis\": true,\n  \"all_source_residuals\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T04:04:43.506144+00:00\n\n## Record provenance\n\nExact record hash: `748bf5304a475136efe37b5c566c01fe51910530e8ad481228ccd0601286d72d`\n\nSource journal: `Research_Cycles/C0932_C1131/journal.json`", "journalDownload": "/sources/f6bdc7aaaaa4fd40f1151b367204ddee7f0f9b77a9c43ae8764831b52d862670.json", "evidenceLinks": [{"id": "d-813a015778b6da7b", "title": "model/covenant_claim_basis.json"}]}