{
  "decision": "HOLD",
  "evidence_object": "s3://scqos-governance-evidence-us-east-1/public-proof/codex-readonly-boundary/2026-09-10/ccfeb37d299494d20ffd18e8bd1d4e60486bbb67cb2211e3fa3856509bf76df0/evidence.json",
  "evidence_sha256": "ccfeb37d299494d20ffd18e8bd1d4e60486bbb67cb2211e3fa3856509bf76df0",
  "kms_key_arn": "arn:aws:kms:us-east-1:327453383912:key/5d921b89-944d-46c0-80cc-a492474c50a1",
  "reason": "ALL_INVARIANTS_NOT_SIMULTANEOUSLY_TRUE",
  "receipt_id": "scqos-codex-20260910-ccfeb37d2994",
  "shadow_clone_receipt_id": "76608c65-f3ba-4b96-9881-307dc470be15",
  "signature_b64": "Q+lo6nMCurTWxsHHvxhJxkwaBFtCFJXaqcyb5VVMCacykVnEtvlOhtWxKAH5jeE8SlL/95W03Ie3QlXwfuRyGxlkH7BmBoFFl9yzPvke9U4pB1P6SuImpKEMzl0zJ/FCZwSV6mSjAlDEon/H5T+B5lPsBSSbcmlWVAWg0xQsBx6FwC9MZ45TCbd4urGo8+9u69PgJa4mdW6i6CjpT7SthDZxx7+XIZ0lUWLEOPbu/nC76jy1IVilw39FLZOM37JeMlfG5tZ3XTiuqlEebCWWe2/ur0qVdaljGwg1iiy217khbMqgUVHwXYi4+KslQdckiHViArshMZwR/z5Td/vkURiTUzUvrHg/XIT4QEZCfmRmoLF+ROHGgLC1WARj8aBeGe9Kkhl6+3/1lwKIZBM9f7Pj4d1ng8kYo+6gfHB8AYxzv50GiQVqSY32F96o9aC+mSKxp8pa6UVZ/y91enoP3Qpsm5qbK2mGMMmkHKUPKshx+f+K1GG7hdGSeKfzOUOMvuPwRsYlrS0o5wW2eAxaachGOwIsHOzjBNfn/etJIslVkeagRskPfpiDn8Jw2YLMBOY2a8Vmr46ZRy7eyRyVdVVcCc9aoaqniw5dy3RHgatwmPJZtSFBx/smeTbQf/VCZg8B9deW4+ncBjX99TuIaizucJh/uYvH0wXVTlzEC1Y0Tn0611hnGC/gN5VQalNZkre3v3A4E4oXE+TIpdxNCHQro00aSlRfVCJvEqU5n5D9bmMPld6c5b6W4cF+dVOiZeVtjO690jwJybKEnyFWvgJ9rdl5G25UjukBuJ2xOCeiL0stHl19XlSLjYb0pCwc3LEkVDFMzFys32iMpDga+a2krKRlbGSr+QYdNtytvBL9Ysnqxwo/TqCSN7qGxZRv+UuRwIfSv9Apwb9YKAZVXRc1C1z09JEUp/gj+TJappZpSe2z8BKBd0ZmYK9uiFMaAoMPoF15MkLsjhJzmT1qqZtt9Um2EgGyWZ12N4EprKBAtyNQhGYxAMvbC7TWOMW9egAfOKGyyRSwFpFdSQZ4GSQL5yJMqY8y5Z3E3K26b1QjvSf9vooMAsppxhv6eQ7pEb2KQBVE1xJfnrGDifNQOSxiP3PvU+aIZBzrwWM/nPmpiNsJolmoIWojlEboX/IHgEs9MTX6KKwOW+rXSAOoBhwFlpfsa5EpSg7FeKWH9cCcYCuap9ptzY/NXd4sUPqUEmXGsbsRyZRT/s11zYDc7VOI98vIFHRa2BOWgMzcAWoWf3WeQOGmh9KX5V60jfCtVjGb5r+xgVgP3FT/1rjrqswrF/nbGWBX/1vVXsXq1PjADaK0ea4bBcDTDxGqbzq3hckQBMoaUqdgTvra7yH/n3XwvMqw9RgF6hcRjGzcSLnQpnFOKxZCX7PMT2RViT1iexlAE8c8LNxtgDpnj+o2ZysZzpryB73yDAbr1nxnNVKDfSzS7XjKPRfch8FU5Voz1/EKpOaR4reGKSLr5vlYrbIwOkD4FWbKxcKM+TiJAp5WorkhbzFLj9WnrI5xU3uSG+8J2aRaUh/+pwPb40IwDGDe4egcYlonfm9drYGWlps7OpoMZEMQxSk2TF3Ug246Vbl6Yl8pdzRwCFPxXPwzJOz5dXsZFnXAlpGpZdTHz4YiKDmZGF+Jjn6ISVXcJEfQOqfS0PK1nU3gUn91vnfdavPem3vpKduBZp0WhJe9AYsdhlbd4lmfRFhrkRnB95cz062o04DquZaa5qubp8tdEvIPXdbxBE+MVSeuH6nUge8Jtn1/E/q+B/6wjwLZFfCGPXz86LdnxhzQM309YjiFAKki2R+67ThxvNdu0dwHS6A+dfED9IQ88sOgoUJvTwIS5lUkhTQ4v4OvDZmcm+GH+biL7tqDhG6dIWaOMBlRybk3haEQdR6RxPy01Wlfi27LmUofZ8kOV32GIuiy7MRrs2NIhu4TfLlhF3n9hKoI3S2Tb/tyTnthKC+PxDfwTGUwOpkISvWeLCzKqp9uHI3CobGHSmqJP58Sk1g95UmCSu73gQLUw+xIuH6AToLSqzmFl534sHClek+ZWeqOpP2+O3CR7YwHdaaEVx4a2aG5IPdKVs1V4s7vNtU2qGivqAIkDcFVxRqH0IYbtyLeoHUhwL46pM9cryrWi4z26EB4EPJqDkutpdR2v9EYB2mseZzE1u9yeJVexzFs1OvH3lcFl+GL0h0bE0+b2HyNfFIX31TCy8KynEIb4RMPZT0Uj/eJCUENNJzBKCRxNbajoQV6RsbchsnWkWcBuccBg/xBQyjgwQMP97YL2AW+bCnA1DRmivTK9FUiP2ZAoyR9ZHlIO6QhuJcdRhmITjOttG0LrUR4/o5ad26KcihdwscBIu1DKdorQWrxJMedVo2dyn3e8nTG3tH0AidAbB0FJHsc4kDS/OUfsrhO2I/gMDOErA1uojdWdO1CFt9NxrxmcKrb1BCs73ZKM3HPOPn7RidhEVqmEVI05vPzRV5pDbF7qOwR2JlTi+tjaaiCWy3WGRBNQ8CAA0tcWIceAJmCirTFjARbQVkmD6PmTH9JL7vMWGdMX+pW3cKlKcNCc2Kf0d27Cc83sLaoEjwM4hkUizsL7d7Qo9OiOEjuQO9/ypBEn8rSW76Oc2apjioV0i5ogNiS6HJ9PovgUu5o3lt0g3cdELk6ACMKI+QQ66cUjQ/5QIO+6uitgkJs7eFsx8TGQg0V7Uud95Lkfw5LLpuc5dLZfUVHyhVbJSafrkv/bzVftvlxNLseBCd02AREljvulFOYlYhjG7lPudAW0OTTNqh4EfWlu5utLJC+3iNnmF32XqyRYBmXV7HJ7QjSZKA9do1xOWQMZSfO0rO4kfxtFN5Nw1omwop4cQLAx8r+qPNIkR6Bgfv+N85zm2PJBkJMlMz9OcXgLHo6RuxA4W1tFK1Sr9qgAznoU+sfS5n+5KdmSOpF2d5gyCH8/Gc5tPGKB6rIGGn3pK35Cknqr3neIT2lv96k47Iec6wTVN8rPrDDgC0vo7Z7oa9KBjilJsHUh/wJ3twBwsY8eS+xibP61pRHhFq6LrVcv+qD2TEG8iterle1MlmL7IJNQEjPbruGm424WQNga6aqChlW/fZj4JN7yGEpkstIjgw+euoJUeZ6KtqrfBQboaMTHFA6mj6pkSaWtsAVLbE0zli/gwapunVgM3STx1o3+TsqKeAUDulsg5ZRN3tW9HSeFycSWwChIxJ2ccAcDcZaH5J251RpbiGb3hVbQZyn6iHF6W+u6myuBbCZY18bAlyo5bPdMZ6zno8TMBGPBBWp+groZPDsJEQ+/TLxqWx4XcN0SnHMhrZRJeW0Nx77cmUZZW3cMLRiy9XU+XE9mwLncITFbIljSWfhm9DgaqVwjtLb11KLqx1Zi1u/n49m9+TI/y+2T23GvIjD/XkjuX0Kl7gb6YqKW3DwIxJd0PMv4XXSwEADfNaofRz3GorXHUqAMjciSZtBrC3NpZJ3Iep/pmRfE/QVyu6r8gUzr5JhQClQ88YPLPkeRzAMzjoPqzGPHOQd1M8MdXFdtf2JScqDEnU1GCbXqJZj6615enq725GKiOOIo+zF7nSNYtq8pLmaOh25eHYFycQYLV7Me7Oe6fcIRXmlpZUvVR5B97Ht+EPmawYOFP+P+tm36SBeeq01cTLLbv4hZG/u/Iztczbxz2f6hGRkmP3JtqkMmCBoVhr0BKjchLqSrT65g27K2ePViLHVvSk/QMwjNb9yIKF0Wax7+W5Uf4KZq3ayorg5gM6FUIynlYWjCKWAedU4XGlWpclBEb90BDdits4PFWcIa7mDnvbpzEkX1jj1W+w3OYRpOEfXiDXx1xv+pJy65QS81UJE+bQquaznLlGWflMw65Epnz/XQ+5krHF7niS5aVql0jqt3HBA6pC3xXbk0pPti/pHQ8kU6KNpx4dddn0EzLpZ59/hmYWXtptN+Dw2A9BQvxonrWKl+k34sqOIrR1IrQZQqcxr9LTVhXJNa8luwS3uVPIM3Njg1KzM47GBMZG3Udef4wLJdQTQA3919mEo1I2Hm/1Zt6ChG67xA8mgzW15GvdIbeJdJPtTSqi/1rE43DM1YX0CluPo193/9guTzrlqknJlw4BSPuLMbE7n1joYikBqXtwGXQLbRliiZsTbSEfrC7eFWG54YTHM1oOkwKjdVJvYYFBlV+v2dbpc1xJxUMCP9yMwhVUBj6mm+BUo7WxbqLq2qOAeyXDBxT7oZKItKS/y5meS9Ic5Da0t5vbrjfVunYsJVeXefV0ZKieNaLSV6lLk7pYyvpUIyzx8ONBniy4qebSGU5VvZjlP6G+mhTxIGjJbLnswcdPu+/wKLnV6tcLO0AEaM0Jth+dIdoO1DjJbhO0wNkZrr7G+0dnl8QAAAAAAAAAAAAAAAAAABg4VGR4p",
  "signing_algorithm": "ML_DSA_SHAKE_256"
}