{"id":61,"slug":"quantmrkt-pqc-reasoning-ledger","name":"PQC Neurosymbolic Reasoning Ledger","author":"quantmrkt","description":"PQC-signed neurosymbolic reasoning ledger. Chain-of-thought steps hash-chained in real time during AI inference, Merkle-rooted, ML-DSA-65 signed. Produces legally defensible reasoning trails that survive quantum transition. 11 StepKinds (thought, observation, hypothesis, deduction, retrieval, tool-call, tool-result, self-critique, refinement, decision, meta). 36 tests passing.","tags":"[\"Chain of Thought\",\"Reasoning\",\"Neurosymbolic\",\"Legal\",\"Medical\",\"Financial\",\"Explainability\",\"Merkle\",\"ML-DSA\",\"Audit Trail\"]","license":"Apache 2.0","framework":"Python","parameters":"N/A","downloads":0,"likes":0,"verified":1,"created_at":"2026-03-26 03:20:26","updated_at":"2026-03-26 16:38:54","source_url":"https://github.com/dyber-pqc/QuantaMrkt/tree/main/tools/pqc-reasoning-ledger","source_platform":"github","hf_repo_id":"","ollama_name":"","category":"tool","latest_version":"1.0.0","version_count":1,"signature_count":3,"risk_level":"MEDIUM","risk_score":45,"versions":[{"id":61,"model_id":61,"version":"1.0.0","manifest_hash":"611B73E7506F5E64C3C7","file_count":23,"total_size":79031,"r2_manifest_key":null,"created_at":"2026-03-26 03:20:35"}],"files":[{"id":7175,"version_id":61,"filename":"LICENSE","sha3_256_hash":"abdcf10f6588f1abfa23a55fbef23267a620b3c67695e93577af0a1d7f881640","size":11325},{"id":7176,"version_id":61,"filename":"README.md","sha3_256_hash":"9d1213b69c8c7798fb679bf92e18d678923ad67b353e6a031c5602e6f089701b","size":9649},{"id":7177,"version_id":61,"filename":"examples/legal_contract_review.py","sha3_256_hash":"47e8e1261d319be82e1aad92916ae548e17aff636071564967e2efb8fcbe5a79","size":3706},{"id":7178,"version_id":61,"filename":"examples/medical_diagnosis.py","sha3_256_hash":"b375d6f7eada5689af3776d0e6d7214df91802e8dca83e0ebc6e09325abc5f60","size":3460},{"id":7179,"version_id":61,"filename":"examples/tamper_detection.py","sha3_256_hash":"b2c3ad2deaffb2a9ffa45836e2dd4fc8071af7b35db1233511efe2747823e42c","size":2662},{"id":7180,"version_id":61,"filename":"pyproject.toml","sha3_256_hash":"2a62ad436ddd4be29ce7945146de2356041cf8ae9289af433642180a88b8d128","size":1099},{"id":7181,"version_id":61,"filename":"src/pqc_reasoning_ledger/__init__.py","sha3_256_hash":"f4b900a916170f92d42f0b79c9ad8249ff5596e09bf7086a9882c73b5c6cf438","size":1357},{"id":7182,"version_id":61,"filename":"src/pqc_reasoning_ledger/errors.py","sha3_256_hash":"464515a17284d602e4a4d22db1a69863b6c4a28b460d23721bc16be4e358faec","size":1100},{"id":7183,"version_id":61,"filename":"src/pqc_reasoning_ledger/merkle.py","sha3_256_hash":"b8b546472d8452c33dc89a44a9e1881b3f0763c8ada38db772dce3487585b3e0","size":4424},{"id":7184,"version_id":61,"filename":"src/pqc_reasoning_ledger/proof.py","sha3_256_hash":"c79cde15d274cae7cbecc1d6abe0f74bf9bf7406780b39b333b027a92b6bd227","size":2004},{"id":7185,"version_id":61,"filename":"src/pqc_reasoning_ledger/recorder.py","sha3_256_hash":"c8c3c880916bae1fb05716ddcd3364227ae826090fdd26b9a5040c9adc4569aa","size":5439},{"id":7186,"version_id":61,"filename":"src/pqc_reasoning_ledger/step.py","sha3_256_hash":"1e6a77765771390fd168bf36d8aed2ab0f173f96774826a7c6698c86ac9ed107","size":5271},{"id":7187,"version_id":61,"filename":"src/pqc_reasoning_ledger/trace.py","sha3_256_hash":"bb933ed15462b9491f81f096e1f3c12fc5c44ff58d665f9920368548e923ac79","size":5528},{"id":7188,"version_id":61,"filename":"src/pqc_reasoning_ledger/verifier.py","sha3_256_hash":"375d8582b4f339c78812d7ed82be610ca51a2e0b880b3364a92f34d1d6328e8d","size":3278},{"id":7189,"version_id":61,"filename":"tests/__init__.py","sha3_256_hash":"a7ffc6f8bf1ed76651c14756a061d662f580ff4de43b49fa82d80a4b80f8434a","size":0},{"id":7190,"version_id":61,"filename":"tests/conftest.py","sha3_256_hash":"d329717018f4d9ae46571f2a1e6ecd6085d1f591ebfedf6444c2001220496a00","size":725},{"id":7191,"version_id":61,"filename":"tests/test_integration.py","sha3_256_hash":"17e3729d5a5c396453a9501026ce934c7a08237fbe929e638abb4241b0a71d1b","size":2913},{"id":7192,"version_id":61,"filename":"tests/test_merkle.py","sha3_256_hash":"9d51488f75aa951acd9b17723c5afd44c3d98b8077e11fdbaa7a82c588b4ded3","size":1911},{"id":7193,"version_id":61,"filename":"tests/test_proof.py","sha3_256_hash":"52de3e38ea5fe6f32f8b9d6b42bd84ffb9469bbf2866280df56cb91a05187cd6","size":1992},{"id":7194,"version_id":61,"filename":"tests/test_recorder.py","sha3_256_hash":"57edb1e8ae6e26262282b8a4413869d5dbc0bb40537ff30830b3b1d071cf835c","size":3110},{"id":7195,"version_id":61,"filename":"tests/test_step.py","sha3_256_hash":"63fc203dc30de2440b1d1fa04d92496389d791d09896950777f329aceb4bdd70","size":3043},{"id":7196,"version_id":61,"filename":"tests/test_trace.py","sha3_256_hash":"4606ebea6c6e3cc6c5b1b481e0430b84e6175a25979ecaa9ca50aed09fe48841","size":2353},{"id":7197,"version_id":61,"filename":"tests/test_verifier.py","sha3_256_hash":"e4f340cbd553d0ae2fed53e6ade62a56a7d6bfc236e0ed887c9b00093e2d42bf","size":2682}],"signatures":[{"id":118,"version_id":61,"signer_did":"did:web:quantamrkt.com:tools:signing","algorithm":"ML-DSA-87","signature_hex":"c399001122663344","attestation_type":"creator","signed_at":"2026-03-25T11:10:00Z"},{"id":119,"version_id":61,"signer_did":"did:web:quantamrkt.com:verification:primary","algorithm":"ML-DSA-87","signature_hex":"d400112233774455","attestation_type":"registry","signed_at":"2026-03-25T11:11:00Z"},{"id":405,"version_id":61,"signer_did":"did:web:quantamrkt.com:chain:authority","algorithm":"ML-DSA-87","signature_hex":"02178d27dc0f2f7126f72624c4e9fe8449c8f59f026a89e2ea95cf08399b252f6ac52e74d480e629a3083d56b7ef943658d57e82a9b4c2de6b7f9f20f3d11fbff18f21279f2d086874e40bcf79b87f224b564aa7522ef570465c474bd2dda932b5017360b17e70afabc4eb0085dcf4fbea78648a4b2f762affdf2923d8f163e171148caa9d4c2a180b256e4b4943056edfc6e8fe0d586f02fe9f2ce76c1cd2628925008b4b4e2043156e6e42e1216e5937dfafc5a3599838bd153da589e003fc10399ed8345e5e978d243d0638aae75fa0a503ba4f92b1716b50c4844631aa790c5034018fcf8bd1a910fc7ef12023eae531eb6c14bb99bee394ca758f3a29e28803ec6d0b5c471d8773bfa9d08ec6550f14edb92a1a03da936de97bc90bcbfcaa1c7649499e98fa464175363310deca80638a3e225c8c16d73c2c56c09d18e6fa3623eab90245c69e7cac2c57c0c8702502c20b7e86e77ef59e1d0dbdae49d355da1c3fb1736fa566b87a7e31a47f64483897dad83e4b062e99c7a1a6e1cce84a0771c044cf30b37d770f764c15b050801f386a72299d873de361b86c10c8c595fd131c7a86e96502952ecb8c04f6409e68293ae7f028dedb306029de81213a6d4b64176eeef854878d7f4b96395a0b6833d7f050eae7711d20d28a46cc9ef9cfdb8ea47d4e2b347b80da11bd642f5933d7ab3da6e0dcc0cb4e5273bc3094c29dcc1b7c4c4247cb2a64fa76bcd450cc90d6159b945f8454cb7793d2244286a1d3f0b3a1423fbeda5ea1c9007dea434288105b90c836dcf075f7e958c27a633dc12e0dd9f5de9c6c87c9dcbb33336c34cbb0319f6c3820d368e1717962cf15d64577c291c666c055c3041f4c38c5286868fc96ad010b2784ab66054afd71c71a2a9fb33f19aeeb41afe78ac22f1b46b2fa0b3f3196d6bcf3aa8c05770367a0e62d377482615acd49fb5c818946b4b772045259e7bebe634535a320612f903e657a9901cfa3fcb6fe61209a87e5bb6474aa5befdc2f15638a3378641d20e4e99af505d130077fbe4965d4d9606ad89c407bd029e3fa301e607ccb279d9d2c83fd90b0507a4e8fdabb17c9d89011f38f56d2dadb964cee230607436f6dbe842198749bebe1666c2dd2f39684f1daa5a623ed62cb89c3aff7f1d8900a969bd01ed2a01cdad8a7babc33954bbf2bc6331b42b8bded96a097c70d0b67a60287482cf2d56b4d209d3d65b5ee4a071f68da90c92a6cefc4a068e8465729988801abff9ba0ae3c2c45136402dbec09305e493df70ab71d3e047ec46f45eb2369c4a2730a17a20a4fbe91df6d9a94716eda1631dee130696cb7f5397940113a9178eb2c2825d1c4d5eab94c5131b6bacfc6c0deb285e0e70fff10f01f033970a6f1c08d087d49dc8b1ab7c43a931cd0f7bfce51fa48996d44371e6e88372ad76a194cb5446312289190711c2310d30fc73977b844ff2057206b61ccc037f29837624cd5091846342470fdd2e5a4e3d9f3424f04c8a6a6f4bc9ac9eddd2a0073b8cee96ad3cbe945d42cc0b3f122a5de0925eeadf37791c13a6d5d8859d38199193f6aea37fc1a423bdd8f165aa750fd4f5f39cd4256a52db743890fab79cb0cfdbb4c6e714520fb430f106485652e6b54bcd74515f1ad20e1c4c612bd46cfc332a26a06dfb955bee62753f3027979a9b47ced0c649bd86f3fdafed7c9e6d71a4dc122a0fc63171e9505a29aa79e24e0b8c1f937a80039b5ae8b849c3aea0b08645186c825fa1929fbc3ab86e9bbd7859b532f52f81921edca7963021723e036e5d3b0048faf67a2d6b6efbd225669aeccdf6d5bc5ec2b621abec1cc8808247c6a38c4b5b7efcb69a92483c917614bb6a072b42683f54fe9f643dc3fbc02960bd6b2511ccb13f38c35038193663cdaa7b3a156719271c0b7e6200d9718dc6c7d82f6d854c3fa2e65ef51faeeb55f706b2fe029d957d2f8de4529951f53f08a2266ab0b3f1fc9642f7ddb90eb6120d8c65fea1aece8805f2d3d1d2e7fcc610d92d59fa7ec3f7db19c59153f445506b8fabff6ea2be032ee0b9d918d127cc3fce7a98d74147a8e2d63114db7da2e8eef8e2d8d09cd466c726046423e55823045ef2d593795223633d6a4f9a3e06e6642a33e115194d302c8de83bd9bc3ce7699c458f3e61de3e50f180796ff1ed185c8bf58b127b1207cbd0476fa67509f5f431b697f4eb8fc623a2f98b9578380c071ef20ad218a2c80045b238e5b4e36187a740800bd7efe6f0ed0da760ceca11a6ff540736845bb4fa1173d12c25b5247f93c5a79b925ee3b5f9c9bc054c598069f497e48efc649c71788042e65f08aeb082ebed852f46ba823055e1b95c5fcadbc50122d75cb9b94e9944b827a1f9306fac769a3c423d723ffe4f07248ecfff0c2256c6bb2b49d507fd757033e205668e7493549b1005bf987b2a4931534d86212a4c2793fa43aa74ae68e0cd7aedd9108d7d126124f3f81a20602d678f3faed3249e59af0b10a997e0434b20d497ef6740aab789323d4218dfa7d9eaf47053e408b537dbd893df0c22281695eb17b2e5d7903ff46fc65172f766d1a483c93ad0c9fc19970c6600e36cbe16b3b25d64774fcc33117e8892bf83b170efe1962e05a94f20a852f652e47dc256c7f759c58c14940e8ddbb8ab01097219f6ea4be21ba9c33d99182159e9f7be3766081d4b05e4875b53a52a640d1a0e5f89495954fb11f8c351567008cfc54c204e991526c721f6863d193d0ed7645c9505a1acffc3202f4210b05d44cbea6dd22cd2a9b0c051335d31aaffcf3a954d4048efd57ba8dcbba32d3e6ad865f3f2b46aab263e1662c665f01dc946a29e497d9eb36ef511e47265022ba662a0608b2e9e23b449bc86185f51bb97cb0f9e5e069b8ecc8250b81df60db5c11c9052c44e350b121d3122eb45af5c382978550ce82ae53a5307db814b7f07f01c6645246e59b462803e67ed32876890c7a9d48374ce62c15933358d6984b2b246db95d3e953b3c61225ae5d96acf4bd57d0eb8bc777a3d420cfe6f7a8a1dd12cc7856ad1e5341bb3d999f8afd5d234889514447bdcf602c7aa3835541c85bc2bfbe9b78ebfbbb9aac202f03dc0ce402c427bb09b65611661db476f892e4b9dd7ad5cbf0ca478e51d0a2416e283f5fb54030db906a950a083bd492992ddbbe192c5bf269d63d46f20593746e956b79aa965ef115899a01e4413bf0299ef262d71cf64ee36a63830b1f6fa8a65db78e50cb07c5f7a6eea7845f647d4bb9c0814055fc8f6d26dab742c0e191e588282b68b13415701cb23766f1f86df3f0bb76d351acf6bec65bdce0f4121f1e74561ddf8f0545e27977fd01da3796492ef31700b09c059600ef43b98e1d724a09ba8bff297aa58b5fbb8e84fbd961f1747ef519665630aebb9b0cbfe0657b5407cc30d2bcd38dab215f8ab15dd56a6f5d09bd14b540e0606a0c15c1b310c5032ae9c5cc877143cbd101686b9601c26e46ada3e95aa68cb198089d999f596fc1b6fd60e297adb8f1df298c3608d0e7adb058425bb43f6ef5d3136c4637daf4b016936f40bbf719a2cc1fea613f63eb6fe3555a7b351c5a44cf440f03c89ca166ea247e76fd0d19372d4fa4eb708049f29b6e6f6bc30e80a574e709749ba65b0da866b1d17159fafe89628f00832ec12059c6ed1b74c68f4086500075d24d9d2db484fd5ddf274a241a30f0b7d57ad75cc87533dd33bd4cd261359b4c5bb3cd495cb366312d6fa18210ffdd8fef7628d82c3c1523f484171e58aacab4d6b03c8934a7460138787ba18fe159c5d9635bd96cec2a41717290c23c7949512d53c98405e077cbefcfc74482b0175f511d0f80b3d347117d6cad06669effd270a441b15e8db3b1267cf2e63afc19b71d983755abb2fe097f7357edbb9a6579a98429e8f266d09f57287d437d43de9ed06863ae48225107a0dee96c0b1ac2754abcbab55023e30fabd553bb51f3863c7e40ad696961bd33a25f4642d2f560c9f4d4f3f1de89afc742cdba9127fe4ed5190232de9c8661a5ce043c8b6c4bac493d58e87f66cc650b5531a195257824ec1e247835ef8bc0dd2d5df08f3afc32393af8e91638123b9e680b54ed27eb275062e0c50195860dc187ac02330ff8cd9351def276373e0344c4724557764218ce6bfe82f90046fc85bfe2004d562a32d69daf852d96954e7485dd8a285e3589ba5989cfa8ca2e0de8942ac6b39424296298cd971e336fa31d9bbd1a4ffcbcb1210e81c23d0a43bcc63c01885f4766ac3ffc35c5ec020c57bcab91a1fe50ad78fa3e4dedd0cdb44b5706ed55e6ac4cecc8e9a5939d5aad4c91f35ddf944eb9829d07cb99f564be953ea6a57049ccf8772ee90099992fe62073a43820f72bf4f75fe511be224af628154d5d5fc0695df2e3ab20e079dfc6469918c7d4261bd31571041bc406f106559c9093772f84187836bfc4190043a9668298938ebd393d048e5544ca41a206eeef3fe49965d117c9f174a8e6218817e999187d46c4d724a4a96d63684d3e5654da7da25c6bcf65fd3ffaa3ff0b05d8237f210e5da13e45dadbca71fc6dd4baa930eda759eaab73595d28f81f3ceafb558e24c3db186c9000667f2df1bdf01db8e48a1194f75d4e0022885fe2be09aab540056d223772e1d08a1e97499d562cff90d7a56555c385de625175eacb28af84b12aaa16423a9055beeebe0583263e143aba00615809c73df80ce2c21b61758484749c5e0fde84a5fb5ce222c19eb0feb23d6e5f72bb14de58f602dda56ba4108707eefd539f009aabbfa52e399e6bbdd4c16d487b47da2e84624e963c7f9890eb7670f6387e1e57005c0d3637e70ec8fed10d6140a04633d0995cbd565e551c9f662d6d42fd01e7091370004aee598353bde83a685f47667d517c94830796103e97c4f8aa693699a45801d8ec78699806aff55e8dd47dcccfa7160ef3dc81d66337409a76f82b017b4363b4a4b86fee734b67853b48a6909fbef6a50aa27d9c9a13703592c2ff190774f155ed3b4cdc22c4e264ff1a135705df3b87b7884f95427d5768a6721336d1ff35f97df678a36b4203eaa3cab4fa99f3c514da520040d7363e2d85afc0da1196b9e6619393b939f3e760b25b879171f9068a9decb7eb54bb69aed64de7798abdeaf7f1cc64c04163ffe4fcb7f38228e47e197ca57cf34c8ab74878601eb5443b69cb7d04841dfaec25b63506bdaf8ed32b8cf7f841e72542bc2fff0b7a165d4904f7fbe71402f3ad6ba5d396c1b9d467aad1623abed8dc5c6e1bc5c938eb1dbc9a533ba6c54232a86732df25df1ccd989bf3dd42273401ce7f3add820151377bf616b5b6239ba19600a614f72979d5bdc0c64736e2424b3b7a2debd4d29087a8b8f581189e38ec512521bd717106e7143f684ab7a45c2c805a4cec04a4cdcb470340832dae2770bba06e3cb4a5d3cdf71c50bac23789085f6036d9dd81d49773109160245ad50e2b3e28b9653be03bd598038c26a40d95560ecce8565d46a06070130d087f4f10e488d8fca85efdd05bd1e4057a05e2620580be93ea586b4eb8da1fb39cc000a0a93e3c9186384c2d9c41727b9ef352d4bb0127e92acc1f3c5b2b9e5ed19d269447566eb9b4ef1b8a61b7e51b1e5d7e1dabcc8b6e18476cca1b67a04e69e86108c6a7f6b349f262f75a4e7ba575180dc5f283c11a4bd3598094819acc9e958c43e2b9eff3a504a07b5cc5953bf84b13ec631660a38a889d71a9b7384d3bb02e9dc4aef1dccb1210fdb061cea76a0e653107d0bc9ccfca6c4695cea2ad87bc2ef9781a6095ac213fceacc48f74a0b8bd6c8654e3778bfb35620b9a70703d158188600c10bbe6da2ad90270e3984a461e01f6c3590bfcac611f50021b2cde684326ff6d5f8e60d3cfd51a176e290c6494f7e30e3888197ae6af0a35caf3b1eb17ac33651e33733f4545f9e367ed6d6388b6a2906d8eae05579f256774e20a8536365aec5cc5ad3787a21194e57e65114d0e11f9ba2dab7628d167d229b0bfd00e39f0921cdaffb92d40bd45d0d38446d41ce42a24bfdd7c6aa827a99feb8080c52acff4a1203ba97725ce330be10c45e920761f137d380063ca5167bf39600ed72bafaadd7cb6334141468ac1f782a85e67368748006d10165d45520299cf86683fbcd08cb3466a1353f2e70c2863cdc7984300aac1138fea08e40009f11687c385ccc6426b45cfd7dc59c04dcd37aa7d17c97ebc084060891a6bf6be289fe94d7fdb368b2c42c1792391142802119d3d519b54a6357e8bfd4044ec27b32f58bda22bbad55407bd79c88a71443adaed246f75ec19b945f9dafec897eab95a4be213b8ad10eb0e4914dfbc69616a4f0b048f14d9c49368eded95c69c151a54a41ef66b58eba0f6c6a1c65146dd86d2808550934475a6d82869294acccce3132374c586477a4cfdfe12968848d93a70218213246709fa1aeb5b6cd868993e304084cb5e433588997d6e1e8f930406a7f86a3f400000000000000000000000b161c282c313940","attestation_type":"pqc_registry","signed_at":"2026-03-26 16:38:54"}],"hndl":{"id":61,"model_id":61,"risk_level":"MEDIUM","risk_score":45,"shelf_life_years":5,"sensitivity":"internal","recommendation":"Monitor quantum developments. Tool has moderate HNDL exposure.","assessed_at":"2026-03-26 03:20:50"}}