e3a7cb4c8d4def6fcf3ae8d3a59026f902e83265deb5154cecffcd81118d1196  ISQL_M_F16_F24_PINNING.md
2cafdca7d83e7d5f0c251cf97ff44fcbcf105d0c40d6cfbcdd871450f9a79aca  MVP_ARCHITECTURE.md
05bde742fe2939371e728bee320a218ff2ac6def5286f7e23d9b6c0d4ef3b51c  NIPG_DEMO.md
68bf236654208eaba5ede0b65fe4c936cf7dc49eafb8cb5f310c7a3f0a4b6344  NOVA_LANGUAGE_BOOTSTRAP_HARNESS.md
22a11eacb3ecdac19edf8c715aac88180d50fbcc0405f5d883eff61c67f17d87  PRACTICAL_PIPELINE_DEMO.md
c46351906d48230ec4939d1e2994d9624aae0690c2b142d1c24614a932a3abe8  PSMR_INTEGRATION.md
52e38197c199e2d4b24563f3a110ec6deffc91d8aa047222bceae7e125fed811  README.md
8df6f845f4cb5ce3bd419cbc2817acdc15a33e2114a8c87507da1f23bc37373d  RELEASE_NOTES_v0.1.md
dd767508c0743cea948e6cb9cc6424528b1eea57ecf908e0948c97fd676c9444  RELEASE_NOTES_v0.2.md
19a7b3464b2881c0e4590572c295a7fe7f17450bd97dbce5ae687a89f7fdf688  RELEASE_NOTES_v0.3.md
bf9123b5648b0f9f532c8d6cd169143069819fcc0b215c758559ce47d4fb06bc  RELEASE_NOTES_v0.4.md
a236ef6fb0033f83023cf42f377795b317ef0429f30bd951892911a9cb4e22f9  RELEASE_NOTES_v0.5.md
42f2bb6b615e885d93b8732831de6a76855c87e52a4c975dc77c1cb9e8a650d0  ROADMAP.md
3410001724b59ff285e6abc23da08a6be3a44a28871754c9db17e5d22a87b0d5  SOUNDNESS_CHAIN_DEMO.md
99e8e3fb353cc2bad62c13e6b3d03b058c6f47f0cf31c9aa60cc6878ba3e86dd  UPSTREAM_EXECUTION_HARNESS.md
abe73c9895cdf3f89abe812d6fd672935e487d260ce71ee988a8094f5f93172e  VALIDATION.json
875c1ec7df199c64a8a14110bdd2119892df01be887105c6337a6e86afee67f5  VALIDATION.md
e1da3dcd4ca64428da5c2c80a7b76a048081f07368a6d41fed0e1e3ca47d74ce  actual_objects/actual_autodiff.json
a9e24928878a5ef0f068e7c36da8ca831765736b94b9228213819de21a898477  actual_objects/actual_execution_trace.json
5f6db4a1a02a859f10be828268d5db7942f8da475389879399b988cf177cc462  actual_objects/actual_memory.json
6cf8888020c9912bfd98cab81eb210b5fe55d5f008fa27e053aed28c699c4ba6  actual_objects/actual_nova_language_bootstrap.json
a5e1ffe62861c9ec6462beca5c9dc34bbb346b8f3fcc38d80779da6b5acdb55c  actual_objects/actual_patch_result.json
c3e19d4ff204dd8ecab551031aa565c6f88631f1d942c0e77bd1ad6aef410027  benchmarks/BENCHMARK_V03.json
476fdc92ee4bafe0073fa8a02b5c0909b4f0de81ccf43c0b0c3f5a46b6a43414  benchmarks/BENCHMARK_V04.json
50f30d0ac6743b97f97fcfd276cd16f394fb0e215aaf2d114329f167894c1ca7  benchmarks/BENCHMARK_V05.json
f3a5f288969c6b83d679d56f388e7788524a2fa868026888eeafa34a36198e4c  benchmarks/README.md
b4bd20df5f659e1b143541452b5397de76d89d9484a1edcec708adfa1f63b6f7  benchmarks/README_v05.md
9e135f9e0e6b3b6c509c45243b7cecaad7cfc0fa105b6295d383258b6fb02af1  demo_outputs_v05/demo_nipg_v05.json
db1b3cd6399dad36cc02e2ac11c8a6e2f85b5f0b13303ba048d8ce268068d29b  demo_outputs_v05/f16_f24_chain_fixture.json
2f2b87ab896a86447aafab9b7ea8584bc7bd6c0f3671d53168081ebb46e274a6  demo_outputs_v05/psmr_ingest.json
185fc8ef1d8ad200cbf6b33cab13193576011a952f4cd7b1d1a7e38e3617c08e  demo_outputs_v05/psmr_nipg_adapter_result_v05.json
23912b0eb75e713ef8fe3f9c3e6605c7ceae6f463bf464986884383e09b48214  demo_outputs_v05/psmr_query_subgraph_operator.json
4afb00595ebcb12f8c97fbc50cdaa7be0872dbf79b898ce36f3631467c7265c2  demo_outputs_v05/psmr_subgraph_f24_certificate.json
2ecd0dd1127ed36be6f111881e90ff7caee834bd36f0c4c9680eaba24706fe20  demo_outputs_v05/psmr_subgraph_o03.json
1365aa1431de3cf819bf940bb67bfd681d815b66da57f3a94e855b37e6fa48f8  demo_outputs_v05/psmr_unknowns.json
45fabd7556958851dbf051332e23220fa035dd99f286c130f7696eb3b98b5cc5  demo_outputs_v05/psmr_workspace_create.json
ffd8895f932b824ef31caddbf24746bf2ed7a0c80af8597bfcf7b85f29d6d9fa  demo_outputs_v05/psmr_workspace_describe.json
8f799428521602b702c8806684198265c26d59e81b2968687304a27c899952cd  demo_outputs_v05/soundness_f24.json
ccc5580ba0ab360e9ece6722740c6a8ff2f865511afe95c111e616473fd015b8  demo_outputs_v05/soundness_generated_graph.json
291a87906242ee1bdca2000204237f7524b65126fcdfe31865a0a102cffcdbf0  demo_outputs_v05/soundness_o03.json
c80c96e81116e663a6ef90b2ec2f00dcafe36bd6fc8f653aba4635e6e48e3aab  docs/NIPG_NOVA_ISQL_Native_Program_Graph_Architecture_v0.1.md
7ea71e403b626b7549e04a81d7205f32afa27e27ce9f753c6a545bae0e158347  fixtures/isql_f15_profile.json
430d682a917abfc4370f2556cc1dd174d804e0eb19a9d9329b0793c1b392fd44  fixtures/isql_f15_source.json
09672b53a4d6081683c5b977ecede7b3a673559ec970e3e5465a318725d524f5  fixtures/isql_f16_profile.json
02e8544d0ab47c51a9a31ef6b90cc0be0f528e0a6baeb25d90348c08a02c5798  fixtures/isql_f17_profile.json
e387afce849aaf79e9223e49da0255f8738bbddfd96aebec669842584c53a7b5  fixtures/isql_f18_profile.json
b62938cff9136029b41a06cc0c65a5b644e71ca70092d4d938bb49f49ef60aad  fixtures/isql_f19_profile.json
4a4a2986026505c566f38c34e174bb5967941e91973d56c205f7465719d834c4  fixtures/isql_f20_profile.json
d93191be5eb28c871cbffa352092151b894ddb8efba8a7afb56f30bfe3e8959b  fixtures/isql_f21_profile.json
de9dcd58bd6c3b17cde39561e9fd4111dc177c378208c1afdd37950a214f412d  fixtures/isql_f22_profile.json
bdc5ac46da06d5b1e98fa13141f9344830e71a95c146864a11ea520831557762  fixtures/isql_f23_profile.json
a41a0e1d5e2b667cefb4cd287033e3e3c90badbb5d109fa2b08e88739846865a  fixtures/isql_f24_profile.json
bc1a554acffde00a149434d4a5727b193e9a634b0625ffb4a1bedd71e9baa03d  fixtures/isql_soundness_chain_v05.json
3a32a89b64ef464f0281567475611a1bdb6e7df836f3871153dfad976fec9412  fixtures/nova_autodiff_contract.json
857e2385a528dd1396b72604913df69ea0a5f98dd7ab1b27666fcefbe90b4a50  fixtures/nova_differentiable_inputs.json
6c0a8a70009ae1137495aa3ae0ece9f319da7180cb1329e1b12cc3c05abdcb8e  fixtures/nova_differentiable_linear.json
5eec9a4bb57807b528836e3d16302183bdacfcb4330bc1efe31f9db1b00b312a  fixtures/nova_differentiable_parameters.json
dc9d18359a58e54e76111e103a7fd58512fafa70e0e47fe1581c47314bf9a563  fixtures/nova_edited_graph.json
a8312ca4a096e9d60d6ccb571310df7f1ab1715f3710ca6a5aba2a8fd94cf953  fixtures/nova_editing_base_project.json
cf10a098ae56fec0874ae20bc2f58d8b4998a4bb59bf4fc0ae03056953ea679b  fixtures/nova_graphpatch_contract.json
c51e470f958f00142c3ab66710c81abe4361346c505c850f4c4a3646a3dc862e  fixtures/nova_language_PL0_LANGUAGE_SPEC.md
0420aec1322f57a5d07f07bab2a126bbcb6329ec2ef649351b0f46459ed5ba5f  fixtures/nova_language___init__.py
6014b6c678957c6df7e4430c4334f129e8694876a6335b3eb675262404667962  fixtures/nova_language___main__.py
f215948e14e8764e41b001a7bc44e4f0357c78906fea7253d04910f4907b84f6  fixtures/nova_language_pins_v04.json
4db06da26410c98a029f2e15ac8700fc226ab2dde88da02a960ed787ddb7f925  fixtures/nova_language_pl0_contract_v04.json
a992dedfa201484feba01fb7f8051199acffeb597a6ab2de5b750711352278ef  fixtures/nova_language_pyproject.toml
34729ba03050fe790e86220d0b3c078af7abf4b40cf46c6a7755c525d90b4cd2  fixtures/nova_language_test_smoke.py
d770e80c59bba43a49745d093d19d5bb143ee8f22e5cce08ed745680a463de44  fixtures/nova_memory_plan_contract.json
79168e64976b2c149dee8562353b91ceff5d347ce8df55d5f1cb739e1b837313  fixtures/nova_node_ops.json
6e95543c53f25db7d18d4dd5b990c9f1e73b2f3987b82ca2be941b6cd98aaafb  fixtures/upstream_execution_pins_v03.json
0b9ae41fec57358d3c5e985c4a3b484bb99711822b70e17afb1285d454d431b0  fixtures/upstream_pins.json
74c65bf9372be4fbfee48752613ba2c4de4a39dde5ae397de0547cc5bc2ca730  nipg.py
01b13474d6c13db36e49bf2b99f0c15fa29ed2c9de9facae1c3cadd4d14ac3ed  nipg/__init__.py
23836d2536ef9fbab170b9bac613f60375c274e459ac92132c7f2696e5d85eea  nipg/builder.py
5002fb76c0aac5d77be405f09ee1fa799f840cf767ce83ac8e2aff053376fb9d  nipg/cli.py
e8baf0db91c55c6f512d9483e429f622e0bb4e00c13ee40bcfe961d627556240  nipg/generate_actual.py
77d965cfcaaf1953842f02af805ea72d12de6d7193801f6190f2999e927459eb  nipg/nova_exec_harness.py
ac2d08905163dade17e32e43bfb9575f3137072f8aaf4b29e5a4ec243e0142b8  nipg/nova_language_harness.py
d771c86634b22db970d71dad4f9ce8caf2eee93054884ea83737848bfa13bf33  nipg/provider.py
68c5da0ee164c005b21431465687d5b67ea366e3f76865ea325f6f6850b2c3bf  nipg/query.py
481c9c1bca800547e37c65c3e9400893082f33573c48002c70d0ab07fc083814  nipg/util.py
34edd44b707d2a6cbc48844bd075f14c1d978b0c0ae908b1f678ab6f8c747963  psmr_demo_workspace_v05/active_state.json
a89b0743f012bb00519e4f913e10629fd7721582f1aeed151d441c2fb7a2f022  psmr_demo_workspace_v05/candidate_verification.json
0653b94de03808d30b4c631c3344a111466ad3cde03f7dcf81d8acd7655fc285  psmr_demo_workspace_v05/delta_validation.json
d73f5d4962af9f051dbe932617db5aaaf9375ca5924a249810a3bc72016332d6  psmr_demo_workspace_v05/deltas.json
86e702ff4eb2033bc823a1bbf2c456c99f528634ba4df329e23f7e88f8fb575e  psmr_demo_workspace_v05/dynamic_verification.json
7530852103c6d7a586e635a4327d619181976789dcf121ae07fc91dfd793ade1  psmr_demo_workspace_v05/effect_apply.json
6a919656514e07786c26c804ac1d309ee87a7d217f3ace08011ab173c4616322  psmr_demo_workspace_v05/effect_reviews.json
bea4dce813e3de48fae557d58bfaa56615181bfb7e82a7273bdd1fbebdec4e57  psmr_demo_workspace_v05/effect_rollback.json
4aca1cd694b93662737637d5df740a9274ebaa04b7432fb97889ed0eb9d6b733  psmr_demo_workspace_v05/evidence.json
4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945  psmr_demo_workspace_v05/findings.json
44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a  psmr_demo_workspace_v05/impact.json
bb842205fdc2a80567c33029c67914c2a7be672250d27bf87c5df86fd6a5ea17  psmr_demo_workspace_v05/ingestions/ing_8fdf7b1ed0570313457a/payloads/external_graph_0.json
ea6b2f6c2a527a5f48d29101399c8688dccb01dc4afb7d0cd9d9efe0bf0d7f21  psmr_demo_workspace_v05/ingestions/ing_8fdf7b1ed0570313457a/provider_result.json
84fc6e6d668a6b6827c03ef0ad83e66d2596e3f0fe2fbbdb5168d18375f59a63  psmr_demo_workspace_v05/link_reconciliation.json
c64617f4607a93e29ee18a29ea2f839303f58545d18933fcf2317453d778ef96  psmr_demo_workspace_v05/link_reviews.json
8de1be8bbf00cd769e42f63dee3484c52a77a275a2c6eee7976efe5d8729b8bb  psmr_demo_workspace_v05/links.json
50846833290b744bd0fa4eb6848cc7f5699ae0f3d6cfe37d1ade2a728ceaed19  psmr_demo_workspace_v05/motifs.json
4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945  psmr_demo_workspace_v05/objects.json
3a146b3e1caf974851fb3373e8a817ea79138e8132727a5c971c98063a659223  psmr_demo_workspace_v05/projection_candidates.json
24f0ab31ad5acb99fcac24a8894c97917251df62d62cdcda1f11533a9d2ef2e9  psmr_demo_workspace_v05/projection_previews.json
83f434b956e403810f56dd6295f44410ecc3a9cc4de105322d5b9f6ec8edc215  psmr_demo_workspace_v05/roundtrip_verification.json
c6ce083a07f4e527cb80f2995156088d71e4d415d89a546c0479cfe45d1a30f5  psmr_demo_workspace_v05/semantic_commits.json
dec3abda8b44b076ff7d87d06a0681b66226e6a156187af585b59d6661e29355  psmr_demo_workspace_v05/test_executions.json
6bced9ec1f56c623a5abefc6e0b740fa433ddb5397890ed1e9c52eea0405f0fd  psmr_demo_workspace_v05/workspace.json
a68fe0a8d2049a15af397b363ced959b43f02aef334fa32b4f60fba0b08838ca  pyproject.toml
b605c8dc45001b12b27c5d858597f944645e05a75c0b2d766e95c87bf3ac3f99  run.ps1
7aa3611f14e345bbaabfbcf9a80cfdc30041ad629c646dbd974fc394bbefffb3  schemas/nipg-nova-isql-program-v0.1.schema.json
ee73747f87f506bbac2177eeddb5d48e2415ffe2b8b1063d3912d636093950e3  schemas/nipg-nova-isql-program-v0.2.schema.json
b136074d8f59db06c489dd57728502f4e30c0ba9db6c240370e84598b298eba7  schemas/nipg-nova-isql-program-v0.3.schema.json
b237a5ea0d98a7853c71455bb3f6f9ef7c7866a53c0826a26ae7d950bd551c79  schemas/nipg-nova-isql-program-v0.4.schema.json
b1855cc60b836ce98b6e800b10fa6af98cf244e4212bafcb1d0842aeb44d8d22  schemas/nipg-nova-isql-program-v0.5.schema.json
18b775b16e2d96b28a0d042bec995c3d2b9ad631e2bebb12276330fc2bfc36f5  tests/test_nipg_v02.py
fb73e72b9a6148a647e6c02817caff23e9599781e825133c9cbc9e9d36fff2e8  tests/test_nipg_v03.py
36ce2b0a21473a4f56db504403b3fa51206ebf1d8c07e03ff11e9384d375f387  tests/test_nipg_v04.py
a1dc36e8d0bfa470cf34693d1c6e0e7d73f33b1b137ad087aa8ed5ae19e7a043  tests/test_nipg_v05.py
