-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathMANIFEST.sha256
More file actions
25 lines (25 loc) · 2.41 KB
/
Copy pathMANIFEST.sha256
File metadata and controls
25 lines (25 loc) · 2.41 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
3a1c00dfb8c3bfeeea5727783747b0a8d350ad01cde1aaaf7dd1f8afca233915 ./Makefile
847afa9a306f9389ec6a95392027d63c2057b1faff74c832a092f634f26818a3 ./README.md
097fbd096cee3ae2cc758eb6f805577fe985b77050197e613bf273a27b75a550 ./asm/xi_full_engine_kernel.S
136ae0eb3c56408eab93fd35bc2930956949d07704c4afd1c478bc7489759cf3 ./asm/xi_graph_tick.S
238332147228596b191563666d2fac1c2e9ea51a52fc5b8b0c29604b91bc9759 ./docs/CONTRADICTION_REPORT.md
de89183e709856ad33fde612791e1399848eb2c69f95296a6a4e40d150e2219e ./docs/WORK_ORDER.md
451eabe3903227a636e0748732c18c06d516e69d302e32c937cc012e9f0b3ba4 ./docs/spec.md
f7e0884e99e86c2ec7906f501ce032a9f6beda8220dab8a45b43496e8a5b7c4b ./include/pcvdm/xigraph.h
63ef98a72ea4cb38d9aef9cd309f072f845b1829aece57378d8f7c3854c63efe ./notebooks/xigraph_verification.ipynb
d4dac0c5ca3a8c060c7ed765361a2e7b24377c290c556950202fe23dcc088954 ./run_artifacts/xigraph_birth_edges.csv
382b12800621e666f3c9d8eabef9123aae4cab40389d5692a1bdda04b653732d ./run_artifacts/xigraph_birth_node_snapshot.csv
35b091140b08ae520be441df28ea0906612073942f4fa35f236229ef4a28c076 ./run_artifacts/xigraph_birth_summary.json
747da975e75f58623fdf08a8106061ddbffd645616461e11e8889f4ca85c4968 ./run_artifacts/xigraph_birth_timeline.csv
efad483428df0c8c8caf50a490e662e053c94524b664d106deb4dce88ba6e630 ./run_artifacts/xigraph_edges.csv
adf3033d01d887ddf7905dc221191b63d55470a6e049c491fbc0aeb0bb857201 ./run_artifacts/xigraph_node_snapshot.csv
597df8c92d93512fb860d63310d03dd3a188559028a87ca93a7487e1363a5c51 ./run_artifacts/xigraph_summary.json
2e8c8f8671b3a9113c58682264f50503c2cf880fe43034aefed1fa2b277679c5 ./run_artifacts/xigraph_timeline.csv
a684622e122bb964a087a5c4fe95bb77ff26f52b644f44f1a5b17cdc9116842d ./src/application/xigraph_engine.c
46e67aec2fde9ab6c94832de3ad0d0e7e272a49a435bb9f1a3e35d2184d57342 ./src/domain/xi_state.h
d6d64b500f5b11ebfdf58e79edd792038738d77feabd6a7f31816051e1dcf94f ./src/domain/xigraph_types.h
4efe31f5e89007b1b49d36c9dff311362206f7980896f15f1b81e1373550929f ./src/presentation/xigraph_runner.c
fa41a66fc1b6b835c21f8af1679f47b8658d822b1bfc33eb0807da1470a8f54c ./tests/application/test_xigraph.c
dd51ff384b03e637664c5213cc1efdd6de7ab862418d1df790329f73a21795df ./verification/XiGraphCarryHierarchy.lean
301addd716d1604ffdcf9700a0bd0ed382f9e25e6b1ed0c983b70766bdd05c8c ./verification/xigraph_sympy_audit.py
80496843d688f342524f10b4586ee497554600011bfeffc9ce5b362992e0f40f ./verification/xigraph_sympy_audit_report.json