{ "evidence": [ { "bundle": { "claim_boundary": { "admission": "admitted", "status": "reference-validated", "validity_domain": { "note": "Stochastic-computing forward pass; reference-validated only against the bit-true NumPy floor for a fixed seed, not against a third-party SNN simulator." } }, "evidence_kind": "measured", "numeric_provenance": { "active_backend": "rust", "reference_backend": "numpy" }, "prov": { "activity": { "ended": "2026-07-02T14:06:00+00:00", "host": "aaarthuus (local workstation)", "started": "2026-07-02T14:05:00+00:00", "studio": "sc-neurocore", "verb": "simulate" }, "agent": { "operator": "scpn-studio-keeper", "studio_version": "3.15.35" }, "entity": { "digest": "d987f18c4b4b0e8f34e1c142fee12b7e3ef01a7cc0e5b542e064564e7e1c1165", "id": "sc-neurocore/sc-inference/d987f18c4b4b0e8f34e1c142fee12b7e3ef01a7cc0e5b542e064564e7e1c1165" } }, "ro_crate_profile": "scpn-studio/0.1", "schema": "studio.sc-inference.v1", "scpn_evidence_level": 3 }, "id": "sc-neurocore-sc-inference-parity", "seal": { "attestation": null, "content_digest": "sha256:7b7ea48cc5df3f2f36b867b6f3d1249c389626fc32bcde7e72dcee1fde87e803", "exactness_class": "bit-exact", "grader": { "name": "scpn-studio-web-regrade", "version": "1" }, "signature": { "alg": "Ed25519+ML-DSA-65", "key_id": "sha256:8e59ea1452e127dd32e886b3e634cb68064f9c326c9f74682eb81389901d92bc", "sig": "AAAAQO/dHYVmGYg3nwix9mUF7hwWLUnIUQErpAjzI9NlnwbBoYPF7kXuhtcShZB1poWiURh+dd99HQklJIawcXQpuQ4Yox57AicVOWXQIOONw2AGqlm1Y0zHKu6ruh0Z5Rq5qOc5pKz/KVRe4tQTcJtmFTfGoQ+KL5w5fRj0c8BG02GoUQlMIOmbSj+Yi/5KyT+pw6PuUzQDffpNSR85UTxtCiE1XZ16bBGVQhVYU80+nc9INqYk3Y+aOD0yuz30HSvt4QhVZPMpaH+jVEf3mwdGKV8Q+/kGL84+JA0GGzFJGGP6UjYaxHLwAC12s3NAvLm4VS36KrQ/Z9n4VLjw41t4rVV7NL8SOs5L6CKONWGaY/r2/km+QHoLwz98YrpSb8UQGy/7hJ7vT+hRMqd0Mb1l4+mTYQ03/6RXK9+uEJc4EomRq64xcSvEDUeu559vyI1z+Ct+0oGGVp9hPVDraTfO3oew7VkNL09WKt+cw8TkyADqpXFS9IStMRmkU0eoYskP1Hc/yMirEnwaz/41r31454jDfyusQTeAOo4oRBq8nJMq8WQrwf2xkkZJe3FYIL2gcGrWB+HRtG4t+18ZratJ1uOh2DZj6jrSlW24ItYNcqJvmHSwJl1u443wnxAeEl3uSXzPJd1eFFktaLJwZj6NnA/e70AviZcsY96Rrf/l7XWm+X+3q7o6ZL2vF+ux3fqiLpS6tnyKN0rnMjlvhvm8RQ7s0srB/5hNJ5B9AZAf/JzQ74fcsxUsoKyezn9oi0Ha/AsC7YI1mo7aZe/cOjDZude+2dAyes6u9qoW415DvFkDfnnvCQbg01dLCwbL6w8LGHFv9KR0/6+ML4x0m+O4nyNK45YkMrXaj/3OJM3Xga/KcUkj9ORXrnscYxiZxRAqPZuwqcc68ktocYuj3OtjyXAUPFxZQP9pkLnj00iFaWABXKE0wOAuTOOoZ6OXOxuugh8wsLgcKAjtWBz5DiRmv2TjcOkhsP/QnSHVhMnAdmDNaN5XtOy4CBfRJsgpMUEDcpGoGIOI9oYkRWhHdntlFCPk2ZswCmiLBdUyal4ZG4RvG0R3AMX5ZpBwkKvYjNvGtVcm0prhEi90FXMj5rS42V+A6PpYI8EVrOe7VaBI7q2dBLTmNCgwDvTJYvzrzfh7t97SS68/Mmv9UnFnoubVZZooXap0DABnQtliozSwI2fI8dkW4AvDjf5PICFOHs0qYzqBgAKJ26cgN64ZigK4VeEFHwB4fXgtVmviyTAyEfLjFCfd52BC0gGdLfIJKGBxd5sY3//8dQI+HiC2vfxnJQsg2bFDMGTv4GloIopz7rE/ZXIZ7WzfFJ13cOLrH3jGMJRz5Eqoj8gYUEjhKQPiqdhtnKr/kbeI2LeSKcrDMPJlmc3zkBPo/R4wCXcDvE2WGNeNl51Hqq1KvB3fvqr4yhwz8dAozvNCIC6XRUSt0qZLCW4+ZCOdVRa5hDX+eVJMI4HxA5qqrA/s/1M8fIgl6RIwaAhlBwWOQIS8saRuoWZL36HTVPDbJ6cmnnSDs3C1P1srebXhP2Z2ctUeotekht+hEUOU9BUNwK8KRn/1bWr35ONHICEUFZk/DfFGJQ1Mo0+a//aYe6n6xF8ty/5qVGs9cAN4iyT4YgU7ZQLLFFLdFGTDDLUqcCx91Ii6+KkaUekrfiU1gYzcp1IX3kXxTnIysD5JDwoWDthN9OSm8myRu4s0IqhtiyK5ShuOA77y+26fHfYLHtRmoUDhLrJyWWcks0E9VuCQj7YqWepuLS3gI4arUWp52b4HS9xUOrgJS5jvRlIbJPnMqMHVQpzu/O6/Fi+szRAoV97Dq1HKZX9BKSJnlZXGvJO8KhMxEYSGisVoZ/n7FXoOIlhEnpFuDCUIPjyteN27bRiGizCkNsMBhQA4rzc/P3MGFeshyY4+ywUppCvXiKqrd2QkVtR7fozeLGDNbjOTiKH+WUW6JuaALEm1PUvQc3iL6ERgP5HG5rRzObP9WVNyrbZnbFK3YHls2ss7jkh/ZpyO8jM0CYIjVJrneMbI2MocflrXmqhth9ZhoO8RiWKiKi02ULdsqdgMam9Us3FCxzwLIndEnSGXBPp2UkeHebNq9CokfjKTT33ZPun7PQnRmbjOtl/Fdrlad1PyUVarllxdCBmc3cUK7q4YiyMgX3fVuzKqsPdn+8vSucvj9YhpBgHHOgcAq67EoyEpQDfa4CojgEt0Wl5Nvpp2TV2aJZkw3vPDT0eQNzbmYUhR1dk3n1RC8KbBEU33DRbnyat1hUeTMAFN+em+rygfQckuTGxB45f28IXnfyj/vZORPWJNKbtCArkp4XdJWiF+DJ/a/aTtFqz4MzU2Q2zJFhPftcrseVl/cHck5H88j1sQyljOri31bmYN2Przu10MkO6oQgJHCkLbOk5RRwBtA4+MkhUQ91WInkdQV8GLuFXMSHO4ZQ5Bmdar8D/YSuINQE20JOYJh1YfR79OdCzR55tSOXD2p4R6ZNXC4h6v1QUBzYu/C9b9+b/pSTK55iZ7pOc226F6RQQiSJLQZPe+8VNQ5sBFkfBB7+mJ7ZpFClAMH9pdbsYzAGRH62PZfs4f4Uox+y/stk9rFYDeadq318l9Yc1XZBayReUfVE3Z7lRtQ7ocpdHG5lq8YZn4LOia+HsRPyQQF+IFhTnHSIIl8CdIkBkvVzznF4yIbtHQGJe/JIBy5QUW8cisCqArheFf9c+NKPO8DwWr50z4jHTc4f+xJXcdyWLeMkLr8tOw5Qh1lj5GNwh3nwtphMwU+2Nv5NGblF3D89/bWK68ldAHOB24+Lo7oruaWItoqMeKsq8ALCuJPh/t/Gee6l9d/BT6oahC0bBLC8kgyXM1035cS271dLa3ixYow2LqumUGDAde8Wr40xbwmumCkI71zNahRq4eeeCu66R+RAgx99Ow2R1pSIz+xd1m9W0TgFYkc8BMhD0u9tImUTNSp/P6DHAYPDm3yb6MhwwpDr42EdjRljBlUYnY/qFDDC/ZZreVfymhiDe4uz6REtmfM9fyc/HccjuDIn8uXNZjrYPX6I9dEuth9cj4M8DoXP7K8MI6MBuQDVp8SbzaMCFWrOWUw5DYOWvxQPU/dK0q4koxpNwnse1HFK9NEu/Jggh9MbsGmszq9VxLP3hivC7zns6nXzXuU5osCNWtRAL68+oHrAYO0HgwN3yU06mzb+Q9H0jJQw96LX0qL9AE9gJTs91xhSeo25J/y1S3Iy435UE+EFG2dZiD/Y7kCnVMpp1wgJPUBRXMMHlmkZMOY1BlSnJQFfkRoqu1JOOo2rWJh6CB6Rar6yRBwmV5TogBCqzKhDUalLj2xT6164C/mGTHpznrXKxtxpy1/NRet75E+SRwR6xzgha8kg10pVrbNu7aIpF8ctgiEwdqUo6BJfuLemK3pD0sLKM+2KqOOG2vsNG9n1p6BEjRRx9f4gu/n9wY7mZqeo9487FcFmpOanxjZQ+x2nXiNYwdwykzO6/jaJfS0q54Ic5gE4Jevzzlut8zdJqTbqeRxQSleGJcpPtnJZNb6sa9CnL5m233zHvS0UwhsHYU5GQY3aclERlHWDzOEilvz2B5B/wza8S9X9oV13cYMqKFOI32CdlCrkgwwWSEGfvANtlx56Z+lDupSMALivjEDgl3bPaaXYX66MhBxL9WS8LJX3N9l0bsnp7Cs6dO7s0EgGy53uGHn0mi0tSeCiuEycmuBmQZcdse4O0uvtw7guU+lF/rR79n3TzEYuN5xhDsZM7s/NhEhn5bzvQVKzKiM9fXXJlHVCE94jUuE1RiOGFrdk1SscQ5pnG+5MtCzc6oPafCQQv5LHlpwQ1rZau36GUV3zMTbsX+FamKy09L08fQwpp46wmYYgADi4bo7/6wbjNgVxhy3by5iob4wXlVI8S6+vSUcsWU5oSvCBWntHgNwK4M5bTYu5H8lCTjYG7CU65ZN738G9kNvAGEdo10Y1VZijpYDaShYPjmK1PJwE9q6JXyWIGYjORJzUo622kkbknnM9x6yJeTpVLtS20ktRceUzeL2zYd+EMpWOPIx/fT1HzWy+UX/7RCkUsVlaXsMf6EOHJ95nkp/obJuzoEVxeUIZfBgaXkqVlBYNxdCeeS6al8Wxes+XTcujYxrEuY+lKRhBwNuyAj0eVMTuvgzVa67XSKjDq3IpMSzhfjGQA0CqyDF1XoxPnmDWjz0f0Ekn4wMYSThENvZE4XgVdHScBzLFKNNyAuCLGjANP8XpyAl+D6u7SVaYBOwKqaw8lBmkfdF+GCl4tVRTXxtowwGNHfy78Iy4IcxXWXXbx1LlMe0w087Zr16NxERm4PIYQ7g/20xztBDBF7EIrfjnUW9pxW6+J+qZmx4RRVq8X/sxZwBtopP837BkvNxEbOtgF1BS8vo7FXpxbVpkPz6ilDoQxcZbLWBh8nME+F2iePnNrg9wwNLGuw2OQLEyZEkJOanAAAAAAAAAAAAAAAAAAAAAAAAAADCA8VHCQ=" }, "unit": { "claim_boundary": { "admission": "admitted", "status": "reference-validated", "validity_domain": { "note": "Stochastic-computing forward pass; reference-validated only against the bit-true NumPy floor for a fixed seed, not against a third-party SNN simulator." } }, "evidence_kind": "measured", "numeric_provenance": { "active_backend": "rust", "reference_backend": "numpy" }, "prov": { "activity": { "ended": "2026-07-02T14:06:00+00:00", "host": "aaarthuus (local workstation)", "started": "2026-07-02T14:05:00+00:00", "studio": "sc-neurocore", "verb": "simulate" }, "agent": { "operator": "scpn-studio-keeper", "studio_version": "3.15.35" }, "entity": { "digest": "d987f18c4b4b0e8f34e1c142fee12b7e3ef01a7cc0e5b542e064564e7e1c1165", "id": "sc-neurocore/sc-inference/d987f18c4b4b0e8f34e1c142fee12b7e3ef01a7cc0e5b542e064564e7e1c1165" } }, "ro_crate_profile": "scpn-studio/0.1", "schema": "studio.sc-inference.v1", "scpn_evidence_level": 3 }, "verifiability_mode": "recompute" } }, { "bundle": { "cases": [ { "dimension": 1, "error": "0.0", "operation_family": "cosim-bit-exact", "status": "pass" } ], "claim_boundary": { "admission": "admitted", "status": "reference-validated", "validity_domain": { "note": "Bit-exact Q8.8 reference vs synthesised RTL co-simulation on the named device; hardware-validated for that fixed-point network, not a general floating-point accuracy guarantee." } }, "evidence_kind": "hardware-validated", "physical_contract": { "grid": { "device": "xc7z020clg400-1", "ff_used": 670, "lut_used": 990 }, "units": { "clock": "MHz", "ff": "count", "lut": "count", "wns": "ns" } }, "prov": { "activity": { "ended": "2026-07-02T14:10:00+00:00", "host": "Vivado 2025.2 synthesis; iverilog cosim on aaarthuus", "started": "2026-04-13T03:32:55+00:00", "studio": "sc-neurocore", "verb": "synthesise" }, "agent": { "operator": "scpn-studio-keeper", "studio_version": "3.15.35" }, "entity": { "digest": "28d85f4aa68e9de014fd26ad3052dc0b713b32b31ef70c96048ebd56eaf1301b", "id": "sc-neurocore/fpga-deployment/28d85f4aa68e9de014fd26ad3052dc0b713b32b31ef70c96048ebd56eaf1301b" } }, "ro_crate_profile": "scpn-studio/0.1", "schema": "studio.fpga-deployment.v1", "scpn_evidence_level": 3, "substrate": "fpga" }, "id": "sc-neurocore-fpga-shd-synthesis", "seal": { "attestation": null, "content_digest": "sha256:4e22f9955ba6ea086f3216ca2f30c6aaa176cd24fbd8fe5747d393767399ae0b", "exactness_class": "bit-exact", "grader": { "name": "scpn-studio-web-regrade", "version": "1" }, "signature": { "alg": "Ed25519+ML-DSA-65", "key_id": "sha256:8e59ea1452e127dd32e886b3e634cb68064f9c326c9f74682eb81389901d92bc", "sig": "AAAAQIhTOeaYIR8vurwmSW0fWZmY5X7IFNswRSF/yqW7u1f9v/D9gLGSUeEkb/bU3WgjNy1htNE5hdBtJbnKLiSSdQovbgBywVzRLMZf4jV7X48QQBUX+YNZmgGS2RiiA687scOSDwa/2dLE6jXjt+FJdFSz9BrFWOHxyKbqV52BvHwKePN3qFvbQA4en2X/OtfqTDwJVErL+AtzWLS4RYxPi6oqxCPMlr3mBg2IZKqtmvY0KNoJeUv4+0BqAUMhPvP/6BaMaMBKvgGgPnulKAVGRcAWqBgX4quhNe80ehUW9p4QFst0lY9I7XJYwnGD4zMmdt2/RdgFouiwAbzsHW5Y4h7Lgn+MOe8yCJ0jPT1ombRmYVxStzvJAF1O0WbuiLVVuPWZ5KEzU2l5+njECrdSnZyWD4EjICLNwXK9S+/5OB4viBtX2NAw2G4bnHgAquwJ8ZIcAuKDKaO8erjeUdVTVuNMggm3NSbpfvQlkuEw20cKpE6A/QGO9F1i9hBmxK2F7WhzPAmZ7jbxPbHJCfa2f9G1AA2QjnT10K/MboJN054gqTKu9JXbybzdmImsOa3DxrGQFZznpf4AzA4VxH0JiLjuE1PnGvG+XIITeO91m1Q6PLI1nEsSex9kP5/u+WnxonK8LDXubIHQUsfOLGWdMnR4Yyxg1s25uNpQt0ADMZgqtjb5lBuK7mSuGGNwJuSf9AAp9lLGOOIYs7lSi6pYvB/UgusEBRp54v4e0aKdLyFGhYyhBmZq4/uBIUAPd5uRUuObKcQblajzBvRQw+rmJR9ySm830YBrmD2Ja/vgmv1y+HTLyjJnrNolOlHlZDrAkjrPAaNPeB9JvAQd4lxni0ExIrQHWubycV9ly1Qx2MSHkwA3KHcRywVWuavxHztq+fSCUg5RQHgWBYeER7LlQ5pwPu8rTJ5h+dGy6vpswBDwNIM2QXlHa33Qn1muuib3c3N52BKia+/R6ibGxd1TDnGToAW9BWNBYksB3jegYJHVR5KLVw4Dvc9CMnW8UG1PZfycpNAkZZsprltm5EmfITPRg2qOwnqk462KAgaWbS9gVXyLdOADlto1BK/pr/Ku17/Q/iEc2B3e4tNgw/y19xRLS9WqKxud+Rvp8TLap/dLDReMXwDZ25ydM1309gikLtmQE3yHW7nAjLF0v2q19eH1sduqgV8IfmK0W8iWMmpB+Jm5+TFh5ZhGdItY+neLItL069dkvAR2p+KIPJnWrUi1UaasrFx2OxF3TSNMTomtvi+VsAVX7PpO9IRNqHaxvhR0xDzH/PaILtw+BT6mddUT58h0bXgxDl8vILoE0+iEmzfI0gw/qNrIAsgQJMXW4MSNOghzhmfBQQqRaV+6LoMUtiPoTaVPfMsnaeOSKSLP07r9ABee5Z/Ys5C+CzEQzMLUX+rk49JVCaU26LUdapdSQCiISkXSHkGY8UZvywP5OwMFOO3tqRJ3/lMHU+Gfk6EiSZufODDf69Da9mlXXcEXjdtYuLuMnfsLmP1Dbyv7wCJIomXfVWjBoxSS18ZlYwWLC2T1b5LgAvdIgSKnxXGIKUdYo6EGVHh6WPNTmxDKoLEtowmNSWoBr/9UPLTKXAlvvTiIBT/9Wy56mlxC+pLHz7t6lLzwwq4InuCwO1OXCjFnsBCcJjuuWHmDIufZJVGYDpyOhJHGhmR6qra/Xt0XU35io4AxpmV91x7bDsnGuuNr6zw2CruNgyenXm1+sgWXJtQxUp2oqzHyBh5h/YUv6T9PeFqQa6meI1NPAnzsezurGxz9KTVMwwlL1C3wEzxksGrDCIv7O0K+SjVB7RkbgDlDoLNUSi007ea4FbV8xVIR4PxH/PR4526boioCfPaL2Vh6fdvJ94IWUfxpXE+j5G+WCVDScga53RRrchd0OXTfk/LjJpOcOR6K50G+nRbwthUku6SNuj+PnxvKlLcMcvE4AytytUePZc5d/zvjtZe4+BKuVAvbya5QX0s6RdaaylrQiCdvLg8l0qfpqkBJeZwWMGle4L0pfQuntLBen+7A+zDlsKOKARILYqeEtbdg4HrIInUaeWVVskA4THcTIDrAb3b5Fj1/LZwSY5JObXft70yGOhc+9Tc54L/R2NDqVqlS0WbKk7mwsvE3z9SYZ2+JqveSYQe4mE3YOZwusDm7PG6fBuZ5/Afhac8FQt9OFvC4v8A2l9LK/kmLxD47Kgmg3Xe7mgS2uskQ9zMeD2AewEP6QdLe1pddu7ABZ0yJnGDzCmjccH/fIzRA299c6GPd5UOtIrcFPeBYeUJ9zzM9d9EM8I0z8LBELvWZOwhqui9x+SgvQjmjZFr/ujKLu2EIISAXrkA0YCP9t4DMRVZdJxAFrw8F8oQ0i69uP9ANv4DeQqh/XG0luhfQFyqpYjAxu/Am6oSonPUOZgSuw+WHzBgCot75gIGoiN09deW1UDb9kKaMsm0cvYFV1O2mKAO9iYYIgPXlzJWL5j7MLxQTbyN1xCch4PKULKQxWMNfkQmHuv6Uor5ig5w2/h3MGPcem6+5Rx53tMJ5F1AZzEU9v9LGqnHwoSi0lBrwQhbiyNIbfJgEng30wrsvEc6IjZJWAhCRVbBFo5LQ6cCsMkvh/d0aI0AKFn/Fi0gvRiWdXMqpiV2COCszTrmOO76HYERXtpSqGCn0yxaO1IhdeRlAfz61r7ftFbzEn7gL0zqAsCaN5+vSXAomlFI2dH/UJnOSiSxV5N7iYUhLXdHynp6a13GD4a4bP49ZXMBIwS5lp6Rh5bmUwW1LnNLW0sAIrnYKqvPn3m0vZiFcBrBekT0UiNDACARlUJ4zoaLluv5z5tlBJCcqU16+PUj6SYLq8H7VZE3uoNorRYIdUG1y54wEYO1eB2rvf8uaBdSBJu2i3M39QVpNCiikjnuxLXO0o8vjK2x2NEvpUNay51NAcfZ3HCgw6rede+psgHkhX24jyz/J4yA16rFm4gqFDI489TNnE8AmGoJrZBm9u6IwJaxhBsEM5JrqGeWE61fzLLK/t7thhkY/+6ag5UBQPxxnbnxC9QPePLQpxrNPLjHRhAcucvB6agZlwufWPAqZy5UA9RbhJgY4ftD1AIglyYArOOz2ALqq4ixUfAGWPVdZi6asgOzQT43c8KbDLjLM2LkfuZbfAiyGL+r2x5hv649KpkBuL8J9WmR+ZIc8DW1SR/jNeuVcAXSBUqCWdHa+BVsFTykXutRQc9TFtoyf0c/3/dIJTnMYdFsLCFHzzvBbXRidkUFqH5oRGxeRGUrr20QwoDDBXUn0aduSt1GNFrAyKOxpgzj3hkTB75vltDXmmttxuzUQaAAR4ZI6AkUrbkB6qb63lclAl7EO/vRa01rJnfiBlvUsFqO3VChcj9B0Bg1BAp7x2mvZWlDhD33ajAMDDeSd44gh4tnLpNXJxE5LwP62tlnTpJfxtGE7QNylAFlB/6o8aFnB/aigDgcjV8yQQVvsRqw7R2GLJFSH7VxBZ9S2/swwD//UgNMET6QMUvB86cvPWxtc9ZIiDoRFhVHJzZ7n2AW/b+6aEYVfqZ0bmpWaPRo8NYk0xa5FarYmko3evLpX8WQdj9ySVkfjd9UshpgkNkYHMfDPhqD4PZZP6H5ue7teCJm3zBo3Ay43Zzf89OlK/U4SE2hQENh1a/4NODhOOx3wmALDMfRa4sQmoxZgYnTAGL4btpa9dPRyxRCpQYlLBe9oXiMTSjEiYn6CvoTS1nKhonQ8CEe/vB5VaWLDhNyIYLoEGzXerL19v+/TpmxY4hFVocNWXtTwLK6N65i+2rMPgCS2sht4BI0XN+U5hzpz+nMrWsAEXWIX9WnNZV/2SH6Je4/hyOH5mzmu0Hx1xH5I1WP/5y1KR16jgrlNhCl5tkBOLCRbJC02dEpMpn2JWdDlLLn6O0BAeQ9EpsBWJdYeJk5gUIlL9IZ5zLKb3FMwoK78VMD25RmKqfUiSznFg1UWOKmcfl2WW8+mVSeIT1/xLlmzlpcRoLgX8hyXvKDtkuvjupccQekrKlioa61oYHlgYW2ZDcoyTvL9kdaO0m7XRQXmiJwBMZMm2CNjqZQy0MKXjqzQ5zdVSGiPCNtbRaSMKcO9EhRUIDw4u72DRaUCE18ipGXCuvfK3HupTZ1VmKMuAU85vEAQwOAXLBQ9hVpUAsES+sWIL0xgvGtBkq66j49DSYFSgWeo7f2v44i79NHzmrYi7TLnjZD+EfhAXNqvkfmCkXQi5ZZ0XdwlJYcj1evgXBjLh9MaqXk9AetRxHIJI9jKKQWFUI22ib6hjBZz6RfeC1r61BjzeMWRiv3lCmar5VACZ9jHr3yqi+G4ab2BYH7EMJfOSFXllrT7Eq0+toVzdywUNloBovF4GiRTP/XqlRuG/dhM5hsvSy8L+sFE56MHT+NOTGLvHJmASJco+vmZ4GALiTldYHi0yNr1M2VudczrHi1qmqCzyAplZ3ugxsvdQ2elsr/S8PcJFi1FYWZvcJGuAAAAAAAAAAAIDhUdJS8=" }, "unit": { "cases": [ { "dimension": 1, "error": "0.0", "operation_family": "cosim-bit-exact", "status": "pass" } ], "claim_boundary": { "admission": "admitted", "status": "reference-validated", "validity_domain": { "note": "Bit-exact Q8.8 reference vs synthesised RTL co-simulation on the named device; hardware-validated for that fixed-point network, not a general floating-point accuracy guarantee." } }, "evidence_kind": "hardware-validated", "physical_contract": { "grid": { "device": "xc7z020clg400-1", "ff_used": 670, "lut_used": 990 }, "units": { "clock": "MHz", "ff": "count", "lut": "count", "wns": "ns" } }, "prov": { "activity": { "ended": "2026-07-02T14:10:00+00:00", "host": "Vivado 2025.2 synthesis; iverilog cosim on aaarthuus", "started": "2026-04-13T03:32:55+00:00", "studio": "sc-neurocore", "verb": "synthesise" }, "agent": { "operator": "scpn-studio-keeper", "studio_version": "3.15.35" }, "entity": { "digest": "28d85f4aa68e9de014fd26ad3052dc0b713b32b31ef70c96048ebd56eaf1301b", "id": "sc-neurocore/fpga-deployment/28d85f4aa68e9de014fd26ad3052dc0b713b32b31ef70c96048ebd56eaf1301b" } }, "ro_crate_profile": "scpn-studio/0.1", "schema": "studio.fpga-deployment.v1", "scpn_evidence_level": 3, "substrate": "fpga" }, "verifiability_mode": "recompute" } } ], "studios": [ { "architecture_map": { "backends": [ { "dispatch_order": 1, "language": "Rust", "name": "rust", "role": "hot kernels (scpn_quantum_engine, 171 PyO3)", "status": "runtime-active" }, { "dispatch_order": 2, "language": "Julia", "name": "julia", "role": "order-parameter / mean-field (juliacall)", "status": "build-available" }, { "dispatch_order": 3, "language": "Python", "name": "python", "role": "guaranteed numerical floor", "status": "runtime-active" }, { "dispatch_order": 4, "language": "Python", "name": "qiskit-runtime", "role": "IBM Quantum execution", "status": "declared" }, { "dispatch_order": 5, "language": "Python", "name": "provider-hal", "role": "16 approval-gated provider adapters", "status": "declared" } ], "boundaries": { "bounded": [ "whole-program AD compiler (scalar + static dense-linalg, fail-closed)", "tensor-network evolution (nearest-neighbour only)", "analysis (small-N exact)" ], "closed": [ "lab-control instrumentation", "broad quantum advantage (classical faster/more accurate at n<=16)" ], "executed": [ "Hamiltonian compilation", "Trotter/VQE/analysis on simulators", "IBM Runtime (approval-gated)", "error mitigation", "evidence ledger", "ML-DSA signing", "QRNG" ], "feasibility_only": [ "pulse-level optimal control", "analog/neutral-atom execution", "real-time intra-shot feedback", "FPGA/HLS deployment", "NV-magnetometry hardware" ] }, "capabilities": [ { "domain": "Compilation", "name": "kuramoto-compilation", "status": "wired", "tier": "core" }, { "domain": "Simulation", "name": "quantum-evolution", "status": "wired", "tier": "core" }, { "domain": "Analysis", "name": "synchronisation-analysis", "status": "wired", "tier": "core" }, { "domain": "Analysis", "name": "effective-coupling-invariant", "status": "wired", "tier": "core" }, { "domain": "Mitigation", "name": "error-mitigation", "status": "wired", "tier": "core" }, { "domain": "QEC", "name": "qec-offline-readiness", "status": "wired", "tier": "extended" }, { "domain": "Hardware", "name": "hardware-execution", "status": "wired", "tier": "core" }, { "domain": "Provenance", "name": "evidence-ledger", "status": "wired", "tier": "core" }, { "domain": "Differentiable", "name": "whole-program-ad", "status": "library-only", "tier": "extended" }, { "domain": "Simulation", "name": "tensor-network-evolution", "status": "library-only", "tier": "extended" }, { "domain": "Control", "name": "pulse-level-control", "status": "feasibility-only", "tier": "research" }, { "domain": "Hardware", "name": "analog-execution", "status": "feasibility-only", "tier": "research" } ], "cross_repo": [ { "adapter": "bridge.snn_adapter", "sibling": "sc-neurocore", "wire_format": "spike trains <-> Ry angles / quantum dense layer" }, { "adapter": "bridge.control_plasma_knm", "sibling": "scpn-control", "wire_format": "plasma-native K/omega -> KuramotoProblem" }, { "adapter": "bridge.fusion_core_frc", "sibling": "scpn-fusion-core", "wire_format": "FRC equilibrium -> pulsed-shot QAOA surrogate" }, { "adapter": "bridge.orchestrator_adapter; bridge.scpn_upde_edge", "sibling": "scpn-phase-orchestrator", "wire_format": "orchestrator state <-> UPDEPhaseArtifact; knm.scpn-upde K_nm/omega edge; quantum R -> advance/hold/rollback" } ], "interfaces": [ { "entry": "scpn-bench = scpn_quantum_control.bench_cli:main", "kind": "cli" }, { "entry": "scpn-verify-hardware-packs = scpn_quantum_control.hardware_result_packs:main", "kind": "cli" }, { "entry": "scpn-generate-hardware-pack-evidence = scpn_quantum_control.hardware_result_pack_evidence:main", "kind": "cli" }, { "entry": "scpn-provider-smoke = scpn_quantum_control.hardware.provider_smoke:main", "kind": "cli" }, { "entry": "scpn-biological-qec-report = scpn_quantum_control.qec.biological_cli:main", "kind": "cli" }, { "entry": "scpn-emit-studio-manifest = scpn_quantum_control.studio.federation:main", "kind": "cli" }, { "entry": "scpn_quantum_control", "kind": "library" }, { "entry": "docs/_generated/studio_manifest.json", "kind": "studio_feed" } ], "pipeline_stages": [ { "inputs": [ "K_nm:(n,n) float64 square+finite+symmetric", "omega:(n,)", "metadata:json" ], "outputs": [ "KuramotoProblem (frozen, diagonal zeroed)" ], "processing_model": "validate + freeze; K symmetrised (K+K.T)/2", "stage": "problem" }, { "inputs": [ "KuramotoProblem" ], "outputs": [ "SparsePauliOp (XY)", "dense (2^n,2^n) complex128", "sparse CSC" ], "processing_model": "Kuramoto->XY: K sin(theta_j-theta_i) -> -J(XX+YY), omega -> -h Z", "stage": "hamiltonian" }, { "inputs": [ "KuramotoProblem", "time", "trotter_steps" ], "outputs": [ "QuantumCircuit", "Statevector", "trajectory" ], "processing_model": "Lie/Suzuki Trotter synthesis", "stage": "circuit" }, { "inputs": [ "circuit", "shots", "approval_id" ], "outputs": [ "raw counts", "job_id", "provenance dossier" ], "processing_model": "SamplerV2 / provider HAL (approval-gated, fail-closed)", "stage": "execution" }, { "inputs": [ "counts", "per-scale estimates + standard errors" ], "outputs": [ "mitigated estimate", "uncertainty interval" ], "processing_model": "ZNE/PEC/DD/readout/Z2 + propagated uncertainty", "stage": "mitigation" }, { "inputs": [ "counts dict", "Statevector", "dense H" ], "outputs": [ "order parameter R", "witnesses", "OTOC", "DLA parity", "metrics" ], "processing_model": "small-N exact diagonalisation gated by dense_budget", "stage": "analysis" }, { "inputs": [ "observables", "provenance" ], "outputs": [ "claim-classified, artefact-backed evidence" ], "processing_model": "five-class hardware-status ledger", "stage": "ledger" } ], "verb_substrates": { "analyse": [ "classical-reference", "numerical-model", "simulator" ], "execute": [ "hardware-unmitigated", "hardware-mitigated" ] }, "version": "architecture-map.v2", "wire_formats": [ { "name": "KuramotoProblem", "schema_ref": "scpn_quantum_control.bridge.kuramoto_problem (frozen K_nm/omega problem)" }, { "name": "studio-evidence", "schema_ref": "scpn_quantum_control.studio.evidence_bundle (schema-B EvidenceBundle emitter for ledger + hardware packs)" }, { "name": "studio.coupling-invariant.v1", "schema_ref": "scpn_quantum_control.studio.coupling_invariant (effective K_nm coupling invariant source inventory with mandatory UQ)" }, { "name": "UPDEPhaseArtifact", "schema_ref": "scpn_quantum_control.bridge.orchestrator_adapter (quantum R -> advance/hold/rollback)" }, { "name": "knm.scpn-upde", "schema_ref": "scpn_quantum_control.bridge.scpn_upde_edge (16-oscillator K_nm/omega edge; computational-agreement only)" }, { "name": "spike-train<->Ry", "schema_ref": "scpn_quantum_control.bridge.snn_adapter (sc-neurocore spike trains <-> Ry angles)" } ] }, "schema_a": { "content_digest": "sha256:369e5a6c5df881ee502ffa7d6872d522e1047e21f099ad4f5cd55035e9f8fe59", "contract_era": "v1", "enumeration": "language-agnostic", "evidence_types": [ "studio.kuramoto-compilation.v1", "studio.quantum-evolution.v1", "studio.sync-analysis.v1", "studio.dla-parity.v1", "studio.coupling-invariant.v1", "studio.physics-validation.v1", "studio.qec-readiness.v1", "studio.native-speedup.v1", "studio.benchmark-databank.v1", "studio.evidence-replay.v1", "studio.mitigation.v1", "studio.hardware-result-pack.v1", "studio.qpu-result-pack.v1", "studio.xy-compile-recompute.v1", "studio.differentiation-evidence.v1" ], "platform_sdk": ">=0.9,<0.12", "protocol_version": "1", "studio": "scpn-quantum-control", "studio_version": "0.10.0", "transport_profile": "local-first", "ui_module": { "exposes": [ "./QuantumStudioPanel" ], "federation": "scpn_quantum_control", "remote_entry": "https://www.anulum.org/studios/scpn-quantum-control/remoteEntry.js" }, "verbs": [ { "backends": [ "rust", "qiskit", "python" ], "fidelity": "first-principles", "produces": [ "studio.kuramoto-compilation.v1", "studio.xy-compile-recompute.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "interactive" }, "verb": "compile" }, { "backends": [ "qiskit", "rust", "python" ], "fidelity": "first-principles", "produces": [ "studio.quantum-evolution.v1" ], "safety_tier": "research", "side_effect": "simulated", "timing": { "class": "batch" }, "verb": "simulate" }, { "backends": [ "numpy", "rust" ], "fidelity": "analytic", "produces": [ "studio.sync-analysis.v1", "studio.dla-parity.v1", "studio.coupling-invariant.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "analyse" }, { "backends": [ "python" ], "fidelity": "analytic", "produces": [ "studio.physics-validation.v1", "studio.qec-readiness.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "validate" }, { "backends": [ "rust", "python" ], "fidelity": "analytic", "produces": [ "studio.native-speedup.v1", "studio.benchmark-databank.v1" ], "safety_tier": "research", "side_effect": "simulated", "timing": { "class": "batch" }, "verb": "benchmark" }, { "backends": [ "python" ], "fidelity": "analytic", "produces": [ "studio.evidence-replay.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "replay" }, { "backends": [ "python", "rust" ], "fidelity": "analytic", "produces": [ "studio.differentiation-evidence.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "differentiate" }, { "backends": [ "numpy" ], "fidelity": "analytic", "produces": [ "studio.mitigation.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "mitigate" }, { "backends": [ "qiskit-runtime", "provider-hal" ], "fidelity": "first-principles", "produces": [ "studio.hardware-result-pack.v1", "studio.qpu-result-pack.v1" ], "safety_tier": "certified", "side_effect": "live-hardware", "timing": { "class": "batch" }, "verb": "execute" } ] } }, { "architecture_map": { "backends": [ { "dispatch_order": 5, "language": "Python", "name": "numpy", "role": "bit-true floor for SC inference", "status": "runtime-active" }, { "dispatch_order": 1, "language": "Rust", "name": "rust", "role": "SIMD SC inference + integrators + analysis + IR emit (sc_neurocore_engine, PyO3)", "status": "runtime-active" }, { "dispatch_order": 2, "language": "Mojo", "name": "mojo", "role": "per-package SIMD kernels (accel/mojo); NOT registered in accel/backend.py selector", "status": "declared" }, { "dispatch_order": 3, "language": "Julia", "name": "julia", "role": "per-package kernels (accel/julia); reference ODEs; NOT in canonical selector", "status": "declared" }, { "dispatch_order": 4, "language": "Go", "name": "go", "role": "per-package kernels (accel/go); NOT in canonical selector", "status": "declared" }, { "dispatch_order": 0, "language": "Python/LLVM", "name": "numba", "role": "JIT bit-pack / MAC hot paths (accel extra)", "status": "build-available" }, { "dispatch_order": 0, "language": "CUDA", "name": "cupy", "role": "GPU device arrays for layers (gpu extra)", "status": "build-available" }, { "dispatch_order": 0, "language": "Python/XLA", "name": "jax", "role": "dense layer + SCPN holonomic adapters (jax extra)", "status": "build-available" }, { "dispatch_order": 0, "language": "Python/C++", "name": "torch", "role": "surrogate-gradient training, ANN->SNN conversion (training extra)", "status": "build-available" }, { "dispatch_order": 0, "language": "C/MPI", "name": "mpi4py", "role": "distributed network simulation (mpi extra)", "status": "build-available" }, { "dispatch_order": 0, "language": "Verilog", "name": "fpga-rtl", "role": "synthesisable SC hardware (hdl/, silicon-proven SHD)", "status": "build-available" } ], "boundaries": { "bounded": [ "Network Rust/MPI paths cover a subset (plasticity/FIM/spike-gating are Python-only)", "polyglot julia/go/mojo kernels are real but reachable only per-package, not via the canonical selector" ], "closed": [ "speculative sci-fi modules are NOT in src/ (confined to repo-root research/, not importable as sc_neurocore.*)" ], "executed": [ "SC inference rust/numpy bit-identical for fixed seed (accel/backend.py)", "SHD pipeline proven on silicon: Zynq XC7Z020, 1317 LUT / 2.5%, cosim bit-exact" ], "feasibility_only": [ "per-language speed multipliers asserted only in docstrings (e.g. Mojo 27-214x) lack stored measured artefacts", "research-tier device-substrate models (spintronic LLG not integrated; photonic circuit symbolic)" ] }, "capabilities": [ { "domain": "Acceleration & polyglot", "name": "_native", "status": "wired", "tier": "core" }, { "domain": "Acceleration & polyglot", "name": "accel", "status": "wired", "tier": "core" }, { "domain": "SCPN integration", "name": "adapters", "status": "wired", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "analog_bridge", "status": "library-only", "tier": "core" }, { "domain": "Analysis, explainability & profiling", "name": "analysis", "status": "library-only", "tier": "research" }, { "domain": "EDA / ASIC / verification", "name": "asic_flow", "status": "library-only", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "audio", "status": "library-only", "tier": "research" }, { "domain": "Training & optimisation", "name": "augmentation", "status": "library-only", "tier": "core" }, { "domain": "Training & optimisation", "name": "autofit", "status": "library-only", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "bci_studio", "status": "library-only", "tier": "core" }, { "domain": "Wire contracts & harnesses", "name": "benchmarks", "status": "library-only", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "bio", "status": "library-only", "tier": "research" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "bioware", "status": "library-only", "tier": "core" }, { "domain": "Acceleration & polyglot", "name": "bridges", "status": "library-only", "tier": "core" }, { "domain": "Quantum & cognition", "name": "chaos", "status": "feasibility-only", "tier": "research" }, { "domain": "Hardware compiler & IR", "name": "chip_compiler", "status": "library-only", "tier": "core" }, { "domain": "EDA / ASIC / verification", "name": "chiplet", "status": "library-only", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "comm", "status": "library-only", "tier": "core" }, { "domain": "Hardware compiler & IR", "name": "compiler", "status": "wired", "tier": "core" }, { "domain": "SC substrate & arithmetic", "name": "compression", "status": "library-only", "tier": "core" }, { "domain": "Plasticity & continual learning", "name": "continual", "status": "library-only", "tier": "core" }, { "domain": "Plasticity & continual learning", "name": "contrastive", "status": "library-only", "tier": "core" }, { "domain": "Safety, security & resilience", "name": "control", "status": "library-only", "tier": "core" }, { "domain": "SC substrate & arithmetic", "name": "conversion", "status": "wired", "tier": "core" }, { "domain": "SC substrate & arithmetic", "name": "core", "status": "wired", "tier": "core" }, { "domain": "Analysis, explainability & profiling", "name": "dashboard", "status": "library-only", "tier": "research" }, { "domain": "Interop, serving & deployment", "name": "datasets", "status": "library-only", "tier": "core" }, { "domain": "Analysis, explainability & profiling", "name": "debug", "status": "library-only", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "digital_twin", "status": "library-only", "tier": "core" }, { "domain": "Plasticity & continual learning", "name": "distillation", "status": "library-only", "tier": "core" }, { "domain": "SC substrate & arithmetic", "name": "doctor", "status": "library-only", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "drivers", "status": "library-only", "tier": "research" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "edge", "status": "library-only", "tier": "core" }, { "domain": "SC substrate & arithmetic", "name": "encoding", "status": "wired", "tier": "core" }, { "domain": "Analysis, explainability & profiling", "name": "energy", "status": "library-only", "tier": "core" }, { "domain": "Analysis, explainability & profiling", "name": "energy_accounting", "status": "library-only", "tier": "core" }, { "domain": "Network & dynamics", "name": "ensembles", "status": "library-only", "tier": "core" }, { "domain": "Network & dynamics", "name": "event_driven", "status": "library-only", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "evo_substrate", "status": "library-only", "tier": "core" }, { "domain": "Wire contracts & harnesses", "name": "experimental", "status": "library-only", "tier": "core" }, { "domain": "Wire contracts & harnesses", "name": "experiments", "status": "library-only", "tier": "research" }, { "domain": "Analysis, explainability & profiling", "name": "explain", "status": "library-only", "tier": "core" }, { "domain": "Analysis, explainability & profiling", "name": "explainability", "status": "library-only", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "export", "status": "library-only", "tier": "core" }, { "domain": "Safety, security & resilience", "name": "fault_injection", "status": "library-only", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "federated", "status": "stub", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "federation", "status": "library-only", "tier": "core" }, { "domain": "Plasticity & continual learning", "name": "few_shot", "status": "library-only", "tier": "core" }, { "domain": "EDA / ASIC / verification", "name": "formal", "status": "library-only", "tier": "core" }, { "domain": "Network & dynamics", "name": "fusion", "status": "library-only", "tier": "core" }, { "domain": "Safety, security & resilience", "name": "generative", "status": "library-only", "tier": "research" }, { "domain": "Network & dynamics", "name": "graphs", "status": "library-only", "tier": "core" }, { "domain": "Hardware compiler & IR", "name": "hardware", "status": "wired", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "hdc", "status": "library-only", "tier": "core" }, { "domain": "Hardware compiler & IR", "name": "hdl", "status": "wired", "tier": "core" }, { "domain": "Hardware compiler & IR", "name": "hdl_gen", "status": "wired", "tier": "core" }, { "domain": "Plasticity & continual learning", "name": "homeostasis", "status": "library-only", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "hub", "status": "stub", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "hypervisor", "status": "stub", "tier": "core" }, { "domain": "Safety, security & resilience", "name": "identity", "status": "library-only", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "integrations", "status": "library-only", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "interfaces", "status": "library-only", "tier": "research" }, { "domain": "Hardware compiler & IR", "name": "ir", "status": "wired", "tier": "core" }, { "domain": "Network & dynamics", "name": "layers", "status": "wired", "tier": "core" }, { "domain": "Plasticity & continual learning", "name": "learning", "status": "wired", "tier": "core" }, { "domain": "SC substrate & arithmetic", "name": "math", "status": "wired", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "memristor", "status": "library-only", "tier": "core" }, { "domain": "Plasticity & continual learning", "name": "meta_plasticity", "status": "library-only", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "model_zoo", "status": "library-only", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "models", "status": "library-only", "tier": "core" }, { "domain": "Training & optimisation", "name": "nas", "status": "library-only", "tier": "core" }, { "domain": "Network & dynamics", "name": "network", "status": "wired", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "neuro_symbolic", "status": "library-only", "tier": "core" }, { "domain": "Neurons & synapses", "name": "neurons", "status": "wired", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "nir_bridge", "status": "wired", "tier": "core" }, { "domain": "Plasticity & continual learning", "name": "online_learning", "status": "library-only", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "optics", "status": "library-only", "tier": "research" }, { "domain": "Training & optimisation", "name": "optimizer", "status": "library-only", "tier": "core" }, { "domain": "Quantum & cognition", "name": "physics", "status": "feasibility-only", "tier": "research" }, { "domain": "Interop, serving & deployment", "name": "pipeline", "status": "library-only", "tier": "core" }, { "domain": "Safety, security & resilience", "name": "privacy", "status": "library-only", "tier": "core" }, { "domain": "Analysis, explainability & profiling", "name": "profiler", "status": "library-only", "tier": "core" }, { "domain": "Analysis, explainability & profiling", "name": "profiling", "status": "library-only", "tier": "core" }, { "domain": "Wire contracts & harnesses", "name": "proto", "status": "library-only", "tier": "core" }, { "domain": "Training & optimisation", "name": "qat", "status": "library-only", "tier": "core" }, { "domain": "Quantum & cognition", "name": "quantum", "status": "library-only", "tier": "core" }, { "domain": "Quantum & cognition", "name": "quantum_cognition", "status": "feasibility-only", "tier": "core" }, { "domain": "Neurons & synapses", "name": "recorders", "status": "wired", "tier": "core" }, { "domain": "Network & dynamics", "name": "reservoir", "status": "library-only", "tier": "core" }, { "domain": "Network & dynamics", "name": "residual", "status": "library-only", "tier": "core" }, { "domain": "Safety, security & resilience", "name": "resilience", "status": "library-only", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "robotics", "status": "library-only", "tier": "research" }, { "domain": "EDA / ASIC / verification", "name": "safety_cert", "status": "stub", "tier": "core" }, { "domain": "SCPN integration", "name": "scpn", "status": "wired", "tier": "core" }, { "domain": "Safety, security & resilience", "name": "security", "status": "library-only", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "sensors", "status": "library-only", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "serve", "status": "stub", "tier": "core" }, { "domain": "Safety, security & resilience", "name": "sleep", "status": "library-only", "tier": "research" }, { "domain": "Training & optimisation", "name": "snn_optimizer", "status": "library-only", "tier": "core" }, { "domain": "SC substrate & arithmetic", "name": "solvers", "status": "library-only", "tier": "core" }, { "domain": "Neurons & synapses", "name": "sources", "status": "wired", "tier": "core" }, { "domain": "Network & dynamics", "name": "spatial", "status": "library-only", "tier": "core" }, { "domain": "Spike coding & DSP", "name": "spike_codec", "status": "wired", "tier": "core" }, { "domain": "Spike coding & DSP", "name": "spike_dsp", "status": "library-only", "tier": "core" }, { "domain": "Spike coding & DSP", "name": "spike_gnn", "status": "library-only", "tier": "core" }, { "domain": "Spike coding & DSP", "name": "spike_norm", "status": "library-only", "tier": "core" }, { "domain": "Spike coding & DSP", "name": "spike_ode", "status": "library-only", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "spintronic", "status": "library-only", "tier": "core" }, { "domain": "SC substrate & arithmetic", "name": "stochastic_doctor", "status": "wired", "tier": "core" }, { "domain": "Interop, serving & deployment", "name": "studio", "status": "library-only", "tier": "core" }, { "domain": "Safety, security & resilience", "name": "swarm", "status": "library-only", "tier": "research" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "symbolic", "status": "library-only", "tier": "core" }, { "domain": "Neurons & synapses", "name": "synapses", "status": "wired", "tier": "core" }, { "domain": "Network & dynamics", "name": "temporal_hierarchy", "status": "library-only", "tier": "core" }, { "domain": "Network & dynamics", "name": "topology", "status": "library-only", "tier": "core" }, { "domain": "Training & optimisation", "name": "training", "status": "library-only", "tier": "core" }, { "domain": "Plasticity & continual learning", "name": "transfer", "status": "library-only", "tier": "core" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "transformers", "status": "library-only", "tier": "core" }, { "domain": "SC substrate & arithmetic", "name": "utils", "status": "wired", "tier": "core" }, { "domain": "EDA / ASIC / verification", "name": "uvm_gen", "status": "stub", "tier": "core" }, { "domain": "EDA / ASIC / verification", "name": "verification", "status": "stub", "tier": "core" }, { "domain": "Analysis, explainability & profiling", "name": "viz", "status": "library-only", "tier": "research" }, { "domain": "Neuromorphic substrates & physical I/O", "name": "world_model", "status": "library-only", "tier": "research" } ], "cross_repo": [ { "adapter": "accel.get_backend().sc_forward", "sibling": "SCPN-CONTROL", "wire_format": "sc_forward" }, { "adapter": "nir_bridge", "sibling": "NIR ecosystem (Norse/snnTorch/SpikingJelly/Sinabs/Rockpool)", "wire_format": "nir" }, { "adapter": "hdl/pynq/sc_shd_driver.py", "sibling": "FPGA host (PYNQ-Z2)", "wire_format": "hil-telemetry" } ], "interfaces": [ { "entry": "sc-neurocore = sc_neurocore.cli:main", "kind": "cli" }, { "entry": "import sc_neurocore (lazy PEP 562 public API)", "kind": "library" }, { "entry": "sc_neurocore.studio (FastAPI; ~113 /api endpoints)", "kind": "rest" } ], "pipeline_stages": [ { "inputs": [ "float values" ], "outputs": [ "bitstream (uint8 0/1 or packed uint64)" ], "processing_model": "LFSR (x^16+x^14+x^13+x^11+1) or Sobol/Halton quasi-random encoding", "stage": "encode" }, { "inputs": [ "bitstreams", "fixed-point weights (Q8.8)" ], "outputs": [ "spikes", "membrane voltages" ], "processing_model": "multiply = AND (unipolar) / XNOR (bipolar [-1,1]); scaled-add = MUX; fixed-point LIF neurons; packed AND + popcount", "stage": "sc-primitives" }, { "inputs": [ "populations", "CSR projections", "stimuli" ], "outputs": [ "spike trains", "voltages", "firing rates" ], "processing_model": "clock-driven step loop: apply stimuli -> CSR matvec -> population.step_all -> record -> STDP -> optional FIM sync (network/network.py:203)", "stage": "network" }, { "inputs": [ "spike trains" ], "outputs": [ "statistics", "decoded signals", "compressed spike codes" ], "processing_model": "spike-train statistics (rate/correlation/information/dimensionality/decoding), BCI spike codecs", "stage": "analyse-decode" }, { "inputs": [ "neuron equations / IR graph" ], "outputs": [ ".v/.sv RTL", "MLIR" ], "processing_model": "SC-NIR build -> fixed-point quantisation -> AST->Verilog -> HDL bundle -> top assembly (SYSTEM_MAP \u00a76)", "stage": "compile-rtl" }, { "inputs": [ "RTL" ], "outputs": [ "FPGA bitstream (.bit+.hwh)", "ASIC PDK deck" ], "processing_model": "Yosys -> nextpnr/OpenROAD / Vivado -> PYNQ-Z2; ASIC flow SKY130/GF180/TSMC28/Intel16 (silicon-proven: SHD on Zynq XC7Z020)", "stage": "synthesise-deploy" } ], "version": "architecture-map.v2", "wire_formats": [ { "name": "sc_forward", "schema_ref": "sc_neurocore.accel.get_backend().sc_forward (packed-dense SC inference, bit-identical rust/numpy)" }, { "name": "nir", "schema_ref": "sc_neurocore.nir_bridge.from_nir/to_nir (NIR graph, 18/18 primitives)" }, { "name": "hil-telemetry", "schema_ref": "proto/core.proto + proto/telemetry.proto (Tensor / BitstreamMetadata / HILFrame)" } ] }, "schema_a": { "content_digest": "sha256:2623169357cf4bf0331312817a8dd370c6c97008ed76d8531c18583558258ab7", "contract_era": "v1", "enumeration": "language-agnostic", "evidence_types": [ "studio.backend-benchmark.v1", "studio.bitstream-encoding.v1", "studio.cosim-parity.v1", "studio.fpga-deployment.v1", "studio.rtl-compilation.v1", "studio.sc-inference.v1", "studio.spike-analysis.v1" ], "platform_sdk": ">=0.9,<0.10", "protocol_version": "1", "studio": "sc-neurocore", "studio_version": "3.15.35", "transport_profile": "local-first", "verbs": [ { "backends": [ "numpy", "rust" ], "produces": [ "studio.bitstream-encoding.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "interactive" }, "verb": "encode" }, { "backends": [ "numpy", "rust" ], "fidelity": "first-principles", "produces": [ "studio.sc-inference.v1" ], "safety_tier": "research", "side_effect": "simulated", "timing": { "class": "batch" }, "verb": "simulate" }, { "backends": [ "numpy", "rust" ], "produces": [ "studio.spike-analysis.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "analyse" }, { "backends": [ "numpy", "rust" ], "produces": [ "studio.backend-benchmark.v1" ], "safety_tier": "research", "side_effect": "simulated", "timing": { "class": "batch" }, "verb": "benchmark" }, { "backends": [ "python" ], "produces": [ "studio.cosim-parity.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "validate" }, { "backends": [ "python" ], "produces": [ "studio.rtl-compilation.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "compile" }, { "backends": [ "python" ], "produces": [ "studio.fpga-deployment.v1" ], "safety_tier": "research", "side_effect": "simulated", "timing": { "class": "batch" }, "verb": "synthesise" }, { "backends": [ "python" ], "produces": [ "studio.fpga-deployment.v1" ], "safety_tier": "research", "side_effect": "live-hardware", "timing": { "class": "batch" }, "verb": "deploy" } ] } }, { "schema_a": { "content_digest": "sha256:81e6d14878828a63c488313b37498c2f337771b8697095ff330a211eb1c0b8b1", "contract_era": "v1", "enumeration": "language-agnostic", "evidence_types": [ "studio.controller-latency.v1", "studio.controller-run.v1", "studio.disruption-mitigation.v1", "studio.disruption-prediction.v1", "studio.efit-reconstruction.v1", "studio.equilibrium-analysis.v1", "studio.geometry-neutral-replay.v1", "studio.parity-refutation.v1", "studio.phase-sync-monitor.v1", "studio.physics-validation.v1", "studio.safety-certificate.v1", "studio.scenario-simulation.v1" ], "platform_sdk": ">=0.1,<0.9", "protocol_version": "1", "studio": "scpn-control", "studio_version": "0.22.0", "transport_profile": "local-first", "ui_module": { "exposes": [ "./ControlStudioPanel" ], "federation": "module-federation-2", "remote_entry": "scpn_control_studio/remoteEntry.js" }, "verbs": [ { "backends": [ "python", "rust" ], "fidelity": "reduced-order", "produces": [ "studio.efit-reconstruction.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "interactive" }, "verb": "reconstruct" }, { "backends": [ "python", "rust" ], "fidelity": "reduced-order", "produces": [ "studio.scenario-simulation.v1" ], "safety_tier": "research", "side_effect": "simulated", "timing": { "class": "batch" }, "verb": "simulate" }, { "backends": [ "python" ], "produces": [ "studio.equilibrium-analysis.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "analyse" }, { "backends": [ "python" ], "produces": [ "studio.physics-validation.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "validate" }, { "backends": [ "python", "rust" ], "produces": [ "studio.controller-latency.v1" ], "safety_tier": "research", "side_effect": "simulated", "timing": { "class": "batch" }, "verb": "benchmark" }, { "backends": [ "python" ], "produces": [ "studio.geometry-neutral-replay.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "replay" }, { "backends": [ "python", "rust" ], "fidelity": "reduced-order", "produces": [ "studio.controller-run.v1" ], "safety_tier": "certified", "side_effect": "live-hardware", "timing": { "class": "realtime", "deadline_us": 5.0, "schedulability": "declared" }, "verb": "regulate" }, { "backends": [ "python" ], "produces": [ "studio.safety-certificate.v1" ], "safety_tier": "certified", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "certify" }, { "backends": [ "python" ], "fidelity": "reduced-order", "produces": [ "studio.disruption-prediction.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "interactive" }, "verb": "predict" }, { "backends": [ "python" ], "produces": [ "studio.disruption-mitigation.v1" ], "safety_tier": "certified", "side_effect": "live-hardware", "timing": { "class": "interactive" }, "verb": "mitigate" }, { "backends": [ "python" ], "produces": [ "studio.phase-sync-monitor.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "interactive" }, "verb": "monitor" }, { "backends": [ "python", "rust" ], "fidelity": "reduced-order", "produces": [ "studio.parity-refutation.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "verify" } ] } }, { "architecture_map": { "backends": [ { "dispatch_order": 1, "language": "Rust", "name": "rust", "role": "hot kernels across 10 workspace crates via the mif-ffi PyO3 bridge", "status": "runtime-active" }, { "dispatch_order": 2, "language": "Python", "name": "python", "role": "guaranteed numerical floor and reference", "status": "runtime-active" }, { "dispatch_order": 3, "language": "Julia", "name": "julia", "role": "CLI parity/measurement surface (SCPNMIFCore)", "status": "build-available" }, { "dispatch_order": 4, "language": "Mojo", "name": "mojo", "role": "compiled CLI parity for the rate decode and Doppler derivative", "status": "parity-cli" }, { "dispatch_order": 5, "language": "Go", "name": "go", "role": "DAQ transport parity mock (go/daqmock)", "status": "parity-cli" }, { "dispatch_order": null, "language": "SystemVerilog", "name": "systemverilog", "role": "synthesisable trigger/sensor RTL with Verilator cosimulation", "status": "rtl-cosim" }, { "dispatch_order": null, "language": "SymbiYosys", "name": "symbiyosys", "role": "open-tool formal proof engine for the MIF-010 property set", "status": "formal-open-tool" } ], "boundaries": { "bounded": [ "merge-window classification reports the ballistic-closure upper bound; the reconnection speedup is FUSION-owned (FUS-C.6)", "Faraday recovery runs over a prescribed expansion trajectory, not self-consistent plasma evolution", "kinematic safety certificate is a sampled-envelope check of the Lean invariant" ], "closed": [ "Hall-MHD / FRC equilibrium / MRTI / self-consistent compression (SCPN-FUSION-CORE)", "Petri-net runtime / NMPC / replay (SCPN-CONTROL)", "SNN->Verilog / Q8.8 SNN encoder / AER router HDL (SC-NEUROCORE)", "reusable Swarmalator / coherence-monitor primitives (SCPN-PHASE-ORCHESTRATOR)" ], "executed": [ "FRC kinematic merging and the merge-trigger decision", "pulsed-shot lifecycle FSM", "series-RLC capacitor bank", "AER sensor bridge and diagnostics conditioning", "byte-stable DAQ replay", "Q8.8 Python<->Verilator cosimulation", "open-tool formal safety/liveness and bounded cycle-latency timing" ], "hardware_gated": [ "sub-50 ns wall-clock timing closure (post-route STA, MIF-013)", "ZU3EG/ZU9EG Vivado synthesis", "the full 70-property formal set", "live coil-fire actuation (owned by the Hub live-hardware gate)" ] }, "capabilities": [ { "domain": "Kinematic", "name": "merge-trigger-decision", "status": "wired", "tier": "core" }, { "domain": "Kinematic", "name": "moving-frame-kinematics", "status": "wired", "tier": "core" }, { "domain": "Kinematic", "name": "merge-window-monitor", "status": "wired", "tier": "core" }, { "domain": "Kinematic", "name": "kinematic-safety-certificate", "status": "wired", "tier": "core" }, { "domain": "Lifecycle", "name": "pulsed-shot-lifecycle", "status": "wired", "tier": "core" }, { "domain": "Lifecycle", "name": "capacitor-bank", "status": "wired", "tier": "core" }, { "domain": "Lifecycle", "name": "plasmoid-merger-petri-net", "status": "wired", "tier": "core" }, { "domain": "Sensor", "name": "aer-sensor-bridge", "status": "wired", "tier": "core" }, { "domain": "Sensor", "name": "diagnostics-conditioning", "status": "wired", "tier": "core" }, { "domain": "Sensor", "name": "daq-replay", "status": "wired", "tier": "core" }, { "domain": "Physics", "name": "faraday-recovery", "status": "wired", "tier": "core" }, { "domain": "FPGA", "name": "adc-spike-quantiser", "status": "rtl", "tier": "core" }, { "domain": "FPGA", "name": "trigger-fabric-fast-veto", "status": "rtl", "tier": "core" }, { "domain": "Formal", "name": "timing-aware-formal-tier", "status": "partial", "tier": "core" }, { "domain": "Verification", "name": "q88-cosimulation", "status": "wired", "tier": "core" }, { "domain": "Kinematic", "name": "merge-window-predictor", "status": "roadmap", "tier": "extended" }, { "domain": "Interop", "name": "standards-interop", "status": "contract", "tier": "extended" } ], "cross_repo": [ { "adapter": "physics.fusion_frc_contract; physics.fusion_merge_window_replay", "sibling": "scpn-fusion-core", "wire_format": "prescribed FRC equilibrium / compression-stroke inputs (FUS-C.6) -> merge-trigger recovery" }, { "adapter": "consumed (not duplicated)", "sibling": "scpn-control", "wire_format": "Petri-net runtime, NMPC, replay, neuro-symbolic controller owned by CONTROL" }, { "adapter": "aer sensor bridge interop", "sibling": "sc-neurocore", "wire_format": "SNN->Verilog, Q8.8 SNN encoder, AER router HDL owned by SC-NEUROCORE" }, { "adapter": "kinematic upstream-pending surfaces", "sibling": "scpn-phase-orchestrator", "wire_format": "reusable Swarmalator / coherence-monitor primitives owned by PHASE-ORCHESTRATOR" }, { "adapter": "deferred MIF-lane surfaces", "sibling": "scpn-quantum-control", "wire_format": "QRNG, PQC trigger signer, FRC QAOA cost, pulse-to-HLS owned by QUANTUM" } ], "interfaces": [ { "entry": "scpn-mif = scpn_mif_core.cli:main", "kind": "cli" }, { "entry": "scpn_mif_core", "kind": "library" }, { "entry": "docs/_generated/studio_manifest.json", "kind": "studio_feed" }, { "entry": "scpn_mif_core_studio/remoteEntry.js", "exposes": [ "./MifStudioPanel" ], "federation": "module-federation-2", "kind": "ui_module" } ], "pipeline_stages": [ { "inputs": [ "MergeTriggerScenario (two-plasmoid kinematic state, specs, bank, PulseSpec)" ], "outputs": [ "validated typed scenario" ], "processing_model": "typed construction + fail-closed validation", "stage": "scenario" }, { "inputs": [ "MergeTriggerScenario" ], "outputs": [ "moving-frame [theta, z] trajectory" ], "processing_model": "MIF-002 moving-frame UPDE integration", "stage": "kinematics" }, { "inputs": [ "moving-frame trace", "merge-window spec" ], "outputs": [ "phase+spatial lock verdict", "merge-window trace" ], "processing_model": "MIF-003 merge-window monitor (availability window)", "stage": "lock" }, { "inputs": [ "approach trajectory", "safety spec" ], "outputs": [ "kinematic safety certificate" ], "processing_model": "MIF-011 sampled axial-separation envelope (Lean-anchored)", "stage": "safety" }, { "inputs": [ "capacitor-bank spec", "requested PulseSpec" ], "outputs": [ "bank feasibility verdict" ], "processing_model": "MIF-005 series-RLC bank with stored-energy accounting", "stage": "feasibility" }, { "inputs": [ "prescribed ExpansionTrajectory (FUSION-owned)", "carrier spec" ], "outputs": [ "Faraday recovery report (optional)" ], "processing_model": "MIF-009 closed-form Faraday back-EMF over prescribed expansion", "stage": "recovery" }, { "inputs": [ "lock verdict", "safety certificate", "bank feasibility" ], "outputs": [ "MergeTriggerReport: FIRE / ABORT_UNSAFE / HOLD_NO_LOCK / ABORT_BANK_INFEASIBLE" ], "processing_model": "instability-preemption gate over the composed kernels", "stage": "decision" } ], "verb_substrates": { "benchmark": [ "rust", "python" ], "cosimulate": [ "python" ], "evaluate": [ "rust", "python" ], "prove": [ "symbiyosys" ] }, "version": "architecture-map.v2", "wire_formats": [ { "name": "MergeTriggerScenario", "schema_ref": "scpn_mif_core.merge_trigger (typed two-plasmoid scenario -> decision input)" }, { "name": "MergeTriggerReport", "schema_ref": "scpn_mif_core.merge_trigger (FIRE/ABORT/HOLD outcome + traces + certificates)" }, { "name": "aer-spike-q88", "schema_ref": "scpn_mif_core.aer (address, t_ns, polarity spike events; Q8.8 amplitude)" }, { "name": "daq-frame", "schema_ref": "scpn_mif_core.daq (byte-stable UDP-multicast and PCIe-DMA-ring replay frames)" }, { "name": "trigger-io", "schema_ref": "scpn_mif_core.interop.trigger_io (White Rabbit timestamps, EPICS channels, ingress/egress latency)" }, { "name": "imas-mapping", "schema_ref": "scpn_mif_core.interop.imas_mapping (MIF input signals -> IMAS IDS names)" }, { "name": "trigger-latency-budget", "schema_ref": "bench/results/trigger_latency_budget.json (decomposed sensor-edge -> trigger-edge budget)" } ] }, "schema_a": { "content_digest": "sha256:f8a0cd2d02b984358ffb0f33b1efcd40cc40e13baee9aa068bcf5e82607c7e4a", "contract_era": "v1", "enumeration": "language-agnostic", "evidence_types": [ "studio.benchmark.v1", "studio.cosim.v1", "studio.formal-proof.v1", "studio.merge-trigger.v1" ], "platform_sdk": ">=0.10,<0.11", "protocol_version": "1", "studio": "scpn-mif-core", "studio_version": "0.1.0", "transport_profile": "local-first", "ui_module": { "exposes": [ "./MifStudioPanel" ], "federation": "module-federation-2", "remote_entry": "scpn_mif_core_studio/remoteEntry.js" }, "verbs": [ { "backends": [ "rust", "python" ], "fidelity": "reduced-order", "produces": [ "studio.merge-trigger.v1" ], "safety_tier": "research", "side_effect": "simulated", "timing": { "class": "batch" }, "verb": "evaluate" }, { "backends": [ "symbiyosys" ], "produces": [ "studio.formal-proof.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "prove" }, { "backends": [ "python" ], "produces": [ "studio.cosim.v1" ], "safety_tier": "research", "side_effect": "simulated", "timing": { "class": "batch" }, "verb": "cosimulate" }, { "backends": [ "rust", "python" ], "produces": [ "studio.benchmark.v1" ], "safety_tier": "research", "side_effect": "read-only", "timing": { "class": "batch" }, "verb": "benchmark" } ] } } ] }