From 1dbdfd8802cb3efba08b5f703b9f876cf51e94d8 Mon Sep 17 00:00:00 2001 From: allaunthefox Date: Wed, 1 Jul 2026 21:27:43 +0000 Subject: [PATCH] fix: reclassify 278-row manifold with exact CharPoly classifier MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit formal/SilverSight/RRC/Q16_16Manifold.lean: - All 278 rows now use classifyExactCharPoly instead of classifyExact - Fixes 19 peripheral matrices (exact ρ=1.0) that power iteration misclassified as LogogramProjection (actual: CognitiveLoadField) - Eliminates power iteration non-convergence bug from the pipeline python/build_manifold.py: - Updated to emit classifyExactCharPoly in generated Lean code - Future manifold regeneration will use exact classifier This completes the migration from power iteration to exact eigenvalue computation for the entire 278-row fixture corpus. --- formal/SilverSight/RRC/Q16_16Manifold.lean | 556 ++++++++++----------- python/build_manifold.py | 4 +- 2 files changed, 280 insertions(+), 280 deletions(-) diff --git a/formal/SilverSight/RRC/Q16_16Manifold.lean b/formal/SilverSight/RRC/Q16_16Manifold.lean index a8aef296..351a71ef 100644 --- a/formal/SilverSight/RRC/Q16_16Manifold.lean +++ b/formal/SilverSight/RRC/Q16_16Manifold.lean @@ -38,7 +38,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_01ab6e9c32652d06") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_01ab6e9c32652d06") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_01ab6e9c32652d06") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -56,7 +56,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_01f85e831660c26e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_01f85e831660c26e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_01f85e831660c26e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -74,7 +74,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_0252524b379eac41") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_0252524b379eac41") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_0252524b379eac41") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -92,7 +92,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_03c5ca134c799e06") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_03c5ca134c799e06") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_03c5ca134c799e06") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -110,7 +110,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_04ac9264dcd7c6c1") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_04ac9264dcd7c6c1") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_04ac9264dcd7c6c1") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -128,7 +128,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_05370b4783a8bd6a") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_05370b4783a8bd6a") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_05370b4783a8bd6a") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -146,7 +146,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_05407e13b79c062b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_05407e13b79c062b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_05407e13b79c062b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -164,7 +164,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_0606dcb042ba0e6f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_0606dcb042ba0e6f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_0606dcb042ba0e6f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -182,7 +182,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_0606dcb042ba0e6f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_0606dcb042ba0e6f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_0606dcb042ba0e6f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -200,7 +200,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_0606dcb042ba0e6f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_0606dcb042ba0e6f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_0606dcb042ba0e6f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -218,7 +218,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_068487b9141c4fb6") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_068487b9141c4fb6") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_068487b9141c4fb6") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -236,7 +236,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_079917209598b9e1") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_079917209598b9e1") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_079917209598b9e1") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 41 100 @@ -254,7 +254,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_07b0a4a6f75d86b4") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_07b0a4a6f75d86b4") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_07b0a4a6f75d86b4") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -272,7 +272,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_07bd7750aa9c1698") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_07bd7750aa9c1698") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_07bd7750aa9c1698") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -290,7 +290,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_0abce0721f473201") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_0abce0721f473201") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_0abce0721f473201") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -308,7 +308,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_0d19ee61a2cd8497") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_0d19ee61a2cd8497") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_0d19ee61a2cd8497") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -326,7 +326,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_0ddb4aae4fd1d8d5") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_0ddb4aae4fd1d8d5") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_0ddb4aae4fd1d8d5") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -344,7 +344,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_0edd7758873784a5") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_0edd7758873784a5") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_0edd7758873784a5") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 1 2 @@ -362,7 +362,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_1038b814e5a78435") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_1038b814e5a78435") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_1038b814e5a78435") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -380,7 +380,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_10c072664568b78d") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_10c072664568b78d") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_10c072664568b78d") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -398,7 +398,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_10dfe03d2d21bf90") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_10dfe03d2d21bf90") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_10dfe03d2d21bf90") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -416,7 +416,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_114c66f1878ac7b8") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_114c66f1878ac7b8") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_114c66f1878ac7b8") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -434,7 +434,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_12d5519ce1a35889") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_12d5519ce1a35889") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_12d5519ce1a35889") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -452,7 +452,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_12d678b6dc94f9d6") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_12d678b6dc94f9d6") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_12d678b6dc94f9d6") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -470,7 +470,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_131b32c8ed70796c") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_131b32c8ed70796c") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_131b32c8ed70796c") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -488,7 +488,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_14fd73dcf1af02b8") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_14fd73dcf1af02b8") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_14fd73dcf1af02b8") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -506,7 +506,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_1523798f49d3e916") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_1523798f49d3e916") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_1523798f49d3e916") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -524,7 +524,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_16a8e172297c28a7") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_16a8e172297c28a7") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_16a8e172297c28a7") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -542,7 +542,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_17cb89b04d825252") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_17cb89b04d825252") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_17cb89b04d825252") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -560,7 +560,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_181e73a390899053") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_181e73a390899053") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_181e73a390899053") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -578,7 +578,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_185011f4d6cf6a2b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_185011f4d6cf6a2b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_185011f4d6cf6a2b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -596,7 +596,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_185011f4d6cf6a2b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_185011f4d6cf6a2b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_185011f4d6cf6a2b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -614,7 +614,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_1975033c8fbea2a4") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_1975033c8fbea2a4") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_1975033c8fbea2a4") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -632,7 +632,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_1b1de15c4bbf2d2e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_1b1de15c4bbf2d2e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_1b1de15c4bbf2d2e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -650,7 +650,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_1d0a752af1946515") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_1d0a752af1946515") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_1d0a752af1946515") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -668,7 +668,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_1f12deb00ad16d8f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_1f12deb00ad16d8f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_1f12deb00ad16d8f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -686,7 +686,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_1f5af7e9fb2b518f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_1f5af7e9fb2b518f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_1f5af7e9fb2b518f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -704,7 +704,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_1f912c8afa928326") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_1f912c8afa928326") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_1f912c8afa928326") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -722,7 +722,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_1f912c8afa928326") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_1f912c8afa928326") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_1f912c8afa928326") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -740,7 +740,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_1f912c8afa928326") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_1f912c8afa928326") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_1f912c8afa928326") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -758,7 +758,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_1fe1cbc05827ec00") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_1fe1cbc05827ec00") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_1fe1cbc05827ec00") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -776,7 +776,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_20b0dce68b1ff729") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_20b0dce68b1ff729") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_20b0dce68b1ff729") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -794,7 +794,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_20f6a9ed1c2675da") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_20f6a9ed1c2675da") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_20f6a9ed1c2675da") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -812,7 +812,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_217148f607dfe5ff") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_217148f607dfe5ff") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_217148f607dfe5ff") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -830,7 +830,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_21c2954626a5661d") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_21c2954626a5661d") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_21c2954626a5661d") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -848,7 +848,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_251255e3132f5533") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_251255e3132f5533") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_251255e3132f5533") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -866,7 +866,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_25d3e2f91df8c0a0") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_25d3e2f91df8c0a0") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_25d3e2f91df8c0a0") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 1 2 @@ -884,7 +884,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_282beac067cdee85") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_282beac067cdee85") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_282beac067cdee85") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -902,7 +902,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_295fb47f2cd6ddfb") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_295fb47f2cd6ddfb") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_295fb47f2cd6ddfb") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -920,7 +920,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_296f8ca4495edd26") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_296f8ca4495edd26") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_296f8ca4495edd26") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -938,7 +938,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_2c1d4c645f0025fb") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_2c1d4c645f0025fb") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_2c1d4c645f0025fb") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -956,7 +956,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_2ee35bd32d933ac7") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_2ee35bd32d933ac7") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_2ee35bd32d933ac7") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 23 50 @@ -974,7 +974,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_2ee9bc98d2a7c773") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_2ee9bc98d2a7c773") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_2ee9bc98d2a7c773") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -992,7 +992,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_2efd637f1e4bd389") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_2efd637f1e4bd389") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_2efd637f1e4bd389") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1010,7 +1010,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_2f24d8cc16590af0") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_2f24d8cc16590af0") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_2f24d8cc16590af0") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1028,7 +1028,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_2f44e729b9d25d34") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_2f44e729b9d25d34") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_2f44e729b9d25d34") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1046,7 +1046,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_2f9d4e3b2060b799") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_2f9d4e3b2060b799") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_2f9d4e3b2060b799") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1064,7 +1064,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_310ec3a93d82b04e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_310ec3a93d82b04e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_310ec3a93d82b04e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1082,7 +1082,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3305fd3254a89e5b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3305fd3254a89e5b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3305fd3254a89e5b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1100,7 +1100,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_35e1c2bc2da6d854") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_35e1c2bc2da6d854") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_35e1c2bc2da6d854") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -1118,7 +1118,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3654d8cd243cde2b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3654d8cd243cde2b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3654d8cd243cde2b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1136,7 +1136,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_372fdc0c8b995ef2") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_372fdc0c8b995ef2") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_372fdc0c8b995ef2") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1154,7 +1154,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3823a73f30463f6e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3823a73f30463f6e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3823a73f30463f6e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1172,7 +1172,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_39d59d35fd9672a0") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_39d59d35fd9672a0") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_39d59d35fd9672a0") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1190,7 +1190,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3a60fca57229c15b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3a60fca57229c15b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3a60fca57229c15b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1208,7 +1208,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3ad1c4d008fc910b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3ad1c4d008fc910b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3ad1c4d008fc910b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 1 2 @@ -1226,7 +1226,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3c97cd0a63059c60") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3c97cd0a63059c60") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3c97cd0a63059c60") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1244,7 +1244,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3db7a0150185b5a1") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3db7a0150185b5a1") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3db7a0150185b5a1") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1262,7 +1262,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3e634eac50426ea3") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3e634eac50426ea3") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3e634eac50426ea3") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -1280,7 +1280,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3e9910b639adf295") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3e9910b639adf295") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3e9910b639adf295") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1298,7 +1298,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3ed73c5849372e40") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3ed73c5849372e40") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3ed73c5849372e40") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1316,7 +1316,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3f87b53694e706e9") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3f87b53694e706e9") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3f87b53694e706e9") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1334,7 +1334,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3f87d2c06726bc30") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3f87d2c06726bc30") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3f87d2c06726bc30") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -1352,7 +1352,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3fbf8213151eae2f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3fbf8213151eae2f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3fbf8213151eae2f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1370,7 +1370,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_3fc5864a199b7aa9") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_3fc5864a199b7aa9") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_3fc5864a199b7aa9") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1388,7 +1388,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_434ad4a173c4cb24") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_434ad4a173c4cb24") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_434ad4a173c4cb24") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1406,7 +1406,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_4430cc5b9ebb8311") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_4430cc5b9ebb8311") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_4430cc5b9ebb8311") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1424,7 +1424,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_45606d1f25dd6aa5") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_45606d1f25dd6aa5") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_45606d1f25dd6aa5") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1442,7 +1442,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_45606d1f25dd6aa5") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_45606d1f25dd6aa5") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_45606d1f25dd6aa5") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1460,7 +1460,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_45b2907bd442578f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_45b2907bd442578f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_45b2907bd442578f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1478,7 +1478,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_4795802d1dfe8dc9") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_4795802d1dfe8dc9") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_4795802d1dfe8dc9") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1496,7 +1496,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_4b0eb5baf8d88582") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_4b0eb5baf8d88582") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_4b0eb5baf8d88582") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1514,7 +1514,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_4b6cfeff599d0583") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_4b6cfeff599d0583") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_4b6cfeff599d0583") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1532,7 +1532,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "logogram_projection" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_4c87c96f612f6100") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_4c87c96f612f6100") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_4c87c96f612f6100") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 11 25 @@ -1550,7 +1550,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_4cab00eaeac59782") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_4cab00eaeac59782") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_4cab00eaeac59782") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1568,7 +1568,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_4d8a407792ae463c") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_4d8a407792ae463c") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_4d8a407792ae463c") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1586,7 +1586,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_50659e00428d753c") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_50659e00428d753c") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_50659e00428d753c") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1604,7 +1604,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_5193efd26258bc51") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_5193efd26258bc51") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_5193efd26258bc51") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1622,7 +1622,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_5281edbc9d70f191") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_5281edbc9d70f191") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_5281edbc9d70f191") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1640,7 +1640,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_535b43060096e699") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_535b43060096e699") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_535b43060096e699") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1658,7 +1658,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_535b43060096e699") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_535b43060096e699") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_535b43060096e699") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1676,7 +1676,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_535b43060096e699") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_535b43060096e699") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_535b43060096e699") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1694,7 +1694,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_56bc9e8becb7bcba") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_56bc9e8becb7bcba") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_56bc9e8becb7bcba") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1712,7 +1712,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_56d979e780ead00b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_56d979e780ead00b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_56d979e780ead00b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1730,7 +1730,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_57188e85cab23a67") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_57188e85cab23a67") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_57188e85cab23a67") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 1 2 @@ -1748,7 +1748,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_59c14acaba40cdc9") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_59c14acaba40cdc9") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_59c14acaba40cdc9") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1766,7 +1766,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_5a01598605abcd3f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_5a01598605abcd3f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_5a01598605abcd3f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1784,7 +1784,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_5d1fa53e2bceba76") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_5d1fa53e2bceba76") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_5d1fa53e2bceba76") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1802,7 +1802,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_5d39c74f1cbc3aab") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_5d39c74f1cbc3aab") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_5d39c74f1cbc3aab") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1820,7 +1820,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_5e10957e0cbb9de8") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_5e10957e0cbb9de8") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_5e10957e0cbb9de8") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -1838,7 +1838,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_5ece89b86c865faf") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_5ece89b86c865faf") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_5ece89b86c865faf") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1856,7 +1856,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_603b460ebf696fbb") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_603b460ebf696fbb") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_603b460ebf696fbb") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1874,7 +1874,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_613c8a56dee0f83a") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_613c8a56dee0f83a") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_613c8a56dee0f83a") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1892,7 +1892,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_64f81fa3c4725d4e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_64f81fa3c4725d4e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_64f81fa3c4725d4e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1910,7 +1910,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_64f81fa3c4725d4e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_64f81fa3c4725d4e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_64f81fa3c4725d4e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1928,7 +1928,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_66f6066b3fb74fcb") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_66f6066b3fb74fcb") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_66f6066b3fb74fcb") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1946,7 +1946,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_673652a4317dd847") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_673652a4317dd847") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_673652a4317dd847") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -1964,7 +1964,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_685a03c6c1db609e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_685a03c6c1db609e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_685a03c6c1db609e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -1982,7 +1982,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_685a969028ff5c50") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_685a969028ff5c50") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_685a969028ff5c50") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2000,7 +2000,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_68ac9a041d842bcf") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_68ac9a041d842bcf") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_68ac9a041d842bcf") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2018,7 +2018,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_68bc5f8d951cef23") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_68bc5f8d951cef23") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_68bc5f8d951cef23") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2036,7 +2036,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_6a952cb84d6e1fbf") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_6a952cb84d6e1fbf") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_6a952cb84d6e1fbf") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2054,7 +2054,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_6abda80c652b80c8") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_6abda80c652b80c8") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_6abda80c652b80c8") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2072,7 +2072,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_6d33c14a88eb0a12") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_6d33c14a88eb0a12") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_6d33c14a88eb0a12") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2090,7 +2090,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_6d33c14a88eb0a12") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_6d33c14a88eb0a12") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_6d33c14a88eb0a12") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2108,7 +2108,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_6d33c14a88eb0a12") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_6d33c14a88eb0a12") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_6d33c14a88eb0a12") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2126,7 +2126,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_6dcfafa9019b29a2") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_6dcfafa9019b29a2") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_6dcfafa9019b29a2") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2144,7 +2144,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_6f8b200d29180003") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_6f8b200d29180003") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_6f8b200d29180003") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 1 2 @@ -2162,7 +2162,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cad_force_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_7076f5bdea119531") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_7076f5bdea119531") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_7076f5bdea119531") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2180,7 +2180,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_7106bb20125b3d6f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_7106bb20125b3d6f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_7106bb20125b3d6f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2198,7 +2198,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_71dd02d32f3e59b0") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_71dd02d32f3e59b0") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_71dd02d32f3e59b0") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2216,7 +2216,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_72b416376f1bf5b0") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_72b416376f1bf5b0") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_72b416376f1bf5b0") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 11 25 @@ -2234,7 +2234,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_74c2bb3396094843") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_74c2bb3396094843") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_74c2bb3396094843") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2252,7 +2252,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_7533d46cedd4a4c5") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_7533d46cedd4a4c5") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_7533d46cedd4a4c5") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2270,7 +2270,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_75b10c1207c769bb") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_75b10c1207c769bb") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_75b10c1207c769bb") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2288,7 +2288,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_7731084327989290") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_7731084327989290") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_7731084327989290") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2306,7 +2306,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_774c019464fd328c") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_774c019464fd328c") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_774c019464fd328c") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2324,7 +2324,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_77bd06f725c27b4d") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_77bd06f725c27b4d") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_77bd06f725c27b4d") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2342,7 +2342,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_78fb56a55b615659") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_78fb56a55b615659") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_78fb56a55b615659") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2360,7 +2360,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_795413454087e025") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_795413454087e025") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_795413454087e025") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2378,7 +2378,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_7956fd7c6e98638a") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_7956fd7c6e98638a") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_7956fd7c6e98638a") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 1 2 @@ -2396,7 +2396,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_7995b3bdb3f05ce3") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_7995b3bdb3f05ce3") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_7995b3bdb3f05ce3") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2414,7 +2414,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_7995b3bdb3f05ce3") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_7995b3bdb3f05ce3") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_7995b3bdb3f05ce3") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2432,7 +2432,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_7995b3bdb3f05ce3") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_7995b3bdb3f05ce3") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_7995b3bdb3f05ce3") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2450,7 +2450,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_7a38c905340961db") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_7a38c905340961db") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_7a38c905340961db") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2468,7 +2468,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_7cdf1c3e052e1f33") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_7cdf1c3e052e1f33") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_7cdf1c3e052e1f33") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2486,7 +2486,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8018bcedc9b84a9d") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8018bcedc9b84a9d") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8018bcedc9b84a9d") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2504,7 +2504,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_80edc83f7fb3d80e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_80edc83f7fb3d80e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_80edc83f7fb3d80e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2522,7 +2522,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_810420419a4025f0") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_810420419a4025f0") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_810420419a4025f0") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2540,7 +2540,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_811d99697e055c2b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_811d99697e055c2b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_811d99697e055c2b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -2558,7 +2558,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_81ad5c64ecea2574") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_81ad5c64ecea2574") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_81ad5c64ecea2574") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2576,7 +2576,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_82aaddc592cb524f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_82aaddc592cb524f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_82aaddc592cb524f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2594,7 +2594,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_84f94841b9e9578b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_84f94841b9e9578b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_84f94841b9e9578b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2612,7 +2612,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8500000bbf612a0e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8500000bbf612a0e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8500000bbf612a0e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2630,7 +2630,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8500000bbf612a0e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8500000bbf612a0e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8500000bbf612a0e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2648,7 +2648,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8500000bbf612a0e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8500000bbf612a0e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8500000bbf612a0e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2666,7 +2666,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_85435dde0bcc5cfd") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_85435dde0bcc5cfd") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_85435dde0bcc5cfd") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 1 2 @@ -2684,7 +2684,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_86ccde7bfd669b77") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_86ccde7bfd669b77") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_86ccde7bfd669b77") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -2702,7 +2702,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_87b4887fb400c8c8") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_87b4887fb400c8c8") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_87b4887fb400c8c8") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2720,7 +2720,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_891a81dfc968f58e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_891a81dfc968f58e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_891a81dfc968f58e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2738,7 +2738,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_891a81dfc968f58e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_891a81dfc968f58e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_891a81dfc968f58e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -2756,7 +2756,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8a05e2496e67848b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8a05e2496e67848b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8a05e2496e67848b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -2774,7 +2774,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8a4d6790faf66d6b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8a4d6790faf66d6b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8a4d6790faf66d6b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -2792,7 +2792,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8acff8093805680f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8acff8093805680f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8acff8093805680f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2810,7 +2810,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8b812bf47cc024b4") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8b812bf47cc024b4") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8b812bf47cc024b4") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2828,7 +2828,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8b812bf47cc024b4") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8b812bf47cc024b4") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8b812bf47cc024b4") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2846,7 +2846,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8b812bf47cc024b4") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8b812bf47cc024b4") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8b812bf47cc024b4") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2864,7 +2864,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8beb9cc11e59ff37") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8beb9cc11e59ff37") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8beb9cc11e59ff37") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2882,7 +2882,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8c569cbfc2385eab") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8c569cbfc2385eab") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8c569cbfc2385eab") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -2900,7 +2900,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_8ffeff0c4877aa25") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_8ffeff0c4877aa25") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_8ffeff0c4877aa25") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2918,7 +2918,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9064d88b17992de3") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9064d88b17992de3") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9064d88b17992de3") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2936,7 +2936,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_90bbd1bf7d23655e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_90bbd1bf7d23655e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_90bbd1bf7d23655e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -2954,7 +2954,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9166088a2f79f059") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9166088a2f79f059") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9166088a2f79f059") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -2972,7 +2972,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_931cb5c74aaade03") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_931cb5c74aaade03") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_931cb5c74aaade03") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 51 100 @@ -2990,7 +2990,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9781272a1dff3d7d") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9781272a1dff3d7d") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9781272a1dff3d7d") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3008,7 +3008,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9817626505a4fedf") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9817626505a4fedf") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9817626505a4fedf") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3026,7 +3026,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_982c784b74af6c5c") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_982c784b74af6c5c") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_982c784b74af6c5c") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3044,7 +3044,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_98b0599e8c46c1bf") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_98b0599e8c46c1bf") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_98b0599e8c46c1bf") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3062,7 +3062,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9a468347631152ce") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9a468347631152ce") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9a468347631152ce") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3080,7 +3080,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9a468347631152ce") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9a468347631152ce") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9a468347631152ce") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3098,7 +3098,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9a468347631152ce") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9a468347631152ce") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9a468347631152ce") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3116,7 +3116,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9c22fd7b336c5904") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9c22fd7b336c5904") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9c22fd7b336c5904") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3134,7 +3134,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9c2c0d5c61628eb5") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9c2c0d5c61628eb5") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9c2c0d5c61628eb5") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3152,7 +3152,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9d1897c1a7967172") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9d1897c1a7967172") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9d1897c1a7967172") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3170,7 +3170,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9d485a8333644b3b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9d485a8333644b3b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9d485a8333644b3b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3188,7 +3188,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_9f67a9105f9e0e3c") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_9f67a9105f9e0e3c") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_9f67a9105f9e0e3c") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3206,7 +3206,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_a109587e866701dc") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_a109587e866701dc") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_a109587e866701dc") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3224,7 +3224,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_a4348738394b0597") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_a4348738394b0597") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_a4348738394b0597") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3242,7 +3242,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_a4adf8b5cc0e5c73") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_a4adf8b5cc0e5c73") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_a4adf8b5cc0e5c73") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3260,7 +3260,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_a4adf8b5cc0e5c73") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_a4adf8b5cc0e5c73") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_a4adf8b5cc0e5c73") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3278,7 +3278,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_a4adf8b5cc0e5c73") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_a4adf8b5cc0e5c73") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_a4adf8b5cc0e5c73") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3296,7 +3296,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_a59af904a8ad739f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_a59af904a8ad739f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_a59af904a8ad739f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3314,7 +3314,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_a5dae5efe3dc9a94") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_a5dae5efe3dc9a94") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_a5dae5efe3dc9a94") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3332,7 +3332,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_a5fbdc2a7f09759e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_a5fbdc2a7f09759e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_a5fbdc2a7f09759e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3350,7 +3350,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_a91ed081e55a7adc") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_a91ed081e55a7adc") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_a91ed081e55a7adc") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3368,7 +3368,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_a91f2f772995a9b9") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_a91f2f772995a9b9") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_a91f2f772995a9b9") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3386,7 +3386,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_a9bdc40d07c74659") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_a9bdc40d07c74659") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_a9bdc40d07c74659") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -3404,7 +3404,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_aaddd26cf129e0ff") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_aaddd26cf129e0ff") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_aaddd26cf129e0ff") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3422,7 +3422,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_aafdb23c6c8cb77a") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_aafdb23c6c8cb77a") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_aafdb23c6c8cb77a") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3440,7 +3440,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_ac1a7a22801b7d77") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_ac1a7a22801b7d77") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_ac1a7a22801b7d77") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -3458,7 +3458,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_ae70c43fd815392e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_ae70c43fd815392e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_ae70c43fd815392e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3476,7 +3476,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_aef93abc672b8e29") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_aef93abc672b8e29") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_aef93abc672b8e29") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3494,7 +3494,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_b20eddced9a6b7da") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_b20eddced9a6b7da") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_b20eddced9a6b7da") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 1 2 @@ -3512,7 +3512,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_b2fc5edc90c4c538") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_b2fc5edc90c4c538") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_b2fc5edc90c4c538") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3530,7 +3530,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_b639be44c38e19f1") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_b639be44c38e19f1") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_b639be44c38e19f1") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3548,7 +3548,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_b650dd7bdbcd9bcb") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_b650dd7bdbcd9bcb") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_b650dd7bdbcd9bcb") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3566,7 +3566,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_b720db642290ed9d") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_b720db642290ed9d") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_b720db642290ed9d") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3584,7 +3584,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_b8bfc827c0fd3d28") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_b8bfc827c0fd3d28") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_b8bfc827c0fd3d28") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3602,7 +3602,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_b97583b24c3b2936") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_b97583b24c3b2936") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_b97583b24c3b2936") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3620,7 +3620,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_b975f510c14227e3") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_b975f510c14227e3") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_b975f510c14227e3") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3638,7 +3638,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_b9eb3119b4d99483") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_b9eb3119b4d99483") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_b9eb3119b4d99483") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -3656,7 +3656,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_bb071a3f64f90363") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_bb071a3f64f90363") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_bb071a3f64f90363") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3674,7 +3674,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_bb62cba4864b0def") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_bb62cba4864b0def") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_bb62cba4864b0def") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3692,7 +3692,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_bcd458bef84fe2a2") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_bcd458bef84fe2a2") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_bcd458bef84fe2a2") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3710,7 +3710,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_bd8bcf9cb663c096") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_bd8bcf9cb663c096") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_bd8bcf9cb663c096") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3728,7 +3728,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_bedb0334896533f3") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_bedb0334896533f3") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_bedb0334896533f3") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3746,7 +3746,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_bf1b905e94089ddc") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_bf1b905e94089ddc") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_bf1b905e94089ddc") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3764,7 +3764,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_bf9f2062b96a9d25") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_bf9f2062b96a9d25") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_bf9f2062b96a9d25") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -3782,7 +3782,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_bfd316d8427b2f6c") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_bfd316d8427b2f6c") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_bfd316d8427b2f6c") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3800,7 +3800,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c221ccc2bc9ccc45") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c221ccc2bc9ccc45") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c221ccc2bc9ccc45") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3818,7 +3818,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c3dde450e7ce933a") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c3dde450e7ce933a") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c3dde450e7ce933a") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3836,7 +3836,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c3f6aa5efce88262") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c3f6aa5efce88262") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c3f6aa5efce88262") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3854,7 +3854,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c5417aae2492b416") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c5417aae2492b416") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c5417aae2492b416") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3872,7 +3872,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c56ffe8dd188e331") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c56ffe8dd188e331") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c56ffe8dd188e331") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3890,7 +3890,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c57a3f3edc39ddd3") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c57a3f3edc39ddd3") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c57a3f3edc39ddd3") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3908,7 +3908,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c5a00dead68e12a0") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c5a00dead68e12a0") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c5a00dead68e12a0") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3926,7 +3926,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c704bc7e7c531303") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c704bc7e7c531303") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c704bc7e7c531303") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3944,7 +3944,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c8b7f0fe52ef32fe") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c8b7f0fe52ef32fe") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c8b7f0fe52ef32fe") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3962,7 +3962,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c8d2e5596d91ebbd") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c8d2e5596d91ebbd") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c8d2e5596d91ebbd") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3980,7 +3980,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c8d2e5596d91ebbd") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c8d2e5596d91ebbd") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c8d2e5596d91ebbd") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -3998,7 +3998,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_c8d2e5596d91ebbd") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_c8d2e5596d91ebbd") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_c8d2e5596d91ebbd") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4016,7 +4016,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_ca946ab1632d585c") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_ca946ab1632d585c") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_ca946ab1632d585c") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4034,7 +4034,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_cabf5eab335f2d23") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_cabf5eab335f2d23") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_cabf5eab335f2d23") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4052,7 +4052,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_cbefaa1738883221") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_cbefaa1738883221") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_cbefaa1738883221") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4070,7 +4070,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_cc8b5f7c4742473c") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_cc8b5f7c4742473c") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_cc8b5f7c4742473c") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4088,7 +4088,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_cd4dfc767616524d") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_cd4dfc767616524d") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_cd4dfc767616524d") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4106,7 +4106,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_ce049f9298cfb095") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_ce049f9298cfb095") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_ce049f9298cfb095") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4124,7 +4124,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_cf576a1cfbd9da63") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_cf576a1cfbd9da63") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_cf576a1cfbd9da63") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4142,7 +4142,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d07532a1db76d958") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d07532a1db76d958") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d07532a1db76d958") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4160,7 +4160,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d24270e4be19de76") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d24270e4be19de76") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d24270e4be19de76") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4178,7 +4178,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d356d2da175a4185") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d356d2da175a4185") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d356d2da175a4185") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4196,7 +4196,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d4e90c1cd69ef948") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d4e90c1cd69ef948") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d4e90c1cd69ef948") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4214,7 +4214,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d521b2282dde0c38") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d521b2282dde0c38") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d521b2282dde0c38") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4232,7 +4232,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d618a97b4f87abe9") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d618a97b4f87abe9") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d618a97b4f87abe9") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4250,7 +4250,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d726df3a6c9943ff") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d726df3a6c9943ff") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d726df3a6c9943ff") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -4268,7 +4268,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d75b1352c39fe13e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d75b1352c39fe13e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d75b1352c39fe13e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4286,7 +4286,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d76203fbca4e9b81") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d76203fbca4e9b81") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d76203fbca4e9b81") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4304,7 +4304,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d767dc5b5996f6dc") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d767dc5b5996f6dc") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d767dc5b5996f6dc") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4322,7 +4322,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d93085afc737effa") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d93085afc737effa") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d93085afc737effa") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4340,7 +4340,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_d9785ef71690f60b") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_d9785ef71690f60b") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_d9785ef71690f60b") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4358,7 +4358,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_dd01aec7b2c20774") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_dd01aec7b2c20774") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_dd01aec7b2c20774") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -4376,7 +4376,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_dd3140340d9c9a33") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_dd3140340d9c9a33") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_dd3140340d9c9a33") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4394,7 +4394,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_decad728fbd76456") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_decad728fbd76456") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_decad728fbd76456") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4412,7 +4412,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_def9542a5004dc68") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_def9542a5004dc68") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_def9542a5004dc68") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4430,7 +4430,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_df9f885395884594") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_df9f885395884594") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_df9f885395884594") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -4448,7 +4448,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e0ac7e1847f830a3") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e0ac7e1847f830a3") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e0ac7e1847f830a3") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4466,7 +4466,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e22543ef62f2494e") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e22543ef62f2494e") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e22543ef62f2494e") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4484,7 +4484,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e25b46d22b7ca0f1") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e25b46d22b7ca0f1") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e25b46d22b7ca0f1") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4502,7 +4502,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e2f1f1f142418961") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e2f1f1f142418961") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e2f1f1f142418961") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4520,7 +4520,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e43c6929cd3bc3bf") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e43c6929cd3bc3bf") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e43c6929cd3bc3bf") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4538,7 +4538,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e43c6929cd3bc3bf") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e43c6929cd3bc3bf") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e43c6929cd3bc3bf") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4556,7 +4556,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e43c6929cd3bc3bf") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e43c6929cd3bc3bf") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e43c6929cd3bc3bf") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4574,7 +4574,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e4b70a718fcfb1ab") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e4b70a718fcfb1ab") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e4b70a718fcfb1ab") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4592,7 +4592,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e517db2c50e19613") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e517db2c50e19613") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e517db2c50e19613") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 1 2 @@ -4610,7 +4610,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e58f768224fb1bbe") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e58f768224fb1bbe") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e58f768224fb1bbe") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4628,7 +4628,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e5f58db6423d2f9c") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e5f58db6423d2f9c") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e5f58db6423d2f9c") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4646,7 +4646,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e672df600fa82b76") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e672df600fa82b76") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e672df600fa82b76") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4664,7 +4664,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e6a6d86ede20e5ad") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e6a6d86ede20e5ad") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e6a6d86ede20e5ad") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4682,7 +4682,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e6b902735f906c33") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e6b902735f906c33") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e6b902735f906c33") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4700,7 +4700,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_e9cff20a11527ba0") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_e9cff20a11527ba0") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_e9cff20a11527ba0") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4718,7 +4718,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_ea1df518da53e850") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_ea1df518da53e850") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_ea1df518da53e850") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4736,7 +4736,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_ec7566b5d400a6fb") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_ec7566b5d400a6fb") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_ec7566b5d400a6fb") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4754,7 +4754,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_ecf3ddf7af735ee6") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_ecf3ddf7af735ee6") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_ecf3ddf7af735ee6") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4772,7 +4772,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_ef9d2a2f3c8de320") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_ef9d2a2f3c8de320") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_ef9d2a2f3c8de320") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4790,7 +4790,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_f010fb33997b8f51") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_f010fb33997b8f51") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_f010fb33997b8f51") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4808,7 +4808,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_f010fb33997b8f51") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_f010fb33997b8f51") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_f010fb33997b8f51") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4826,7 +4826,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_f010fb33997b8f51") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_f010fb33997b8f51") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_f010fb33997b8f51") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4844,7 +4844,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cad_force_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_f112b5836bdbd47d") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_f112b5836bdbd47d") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_f112b5836bdbd47d") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4862,7 +4862,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_f26b20a02d1cf105") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_f26b20a02d1cf105") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_f26b20a02d1cf105") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4880,7 +4880,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_f4249695d9de4adc") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_f4249695d9de4adc") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_f4249695d9de4adc") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 2 5 residualRisk := Q16_16.ofRatio 3 10 @@ -4898,7 +4898,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_f46446cfb0f8d5b1") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_f46446cfb0f8d5b1") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_f46446cfb0f8d5b1") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 51 100 @@ -4916,7 +4916,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_f5bb28753a2271dd") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_f5bb28753a2271dd") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_f5bb28753a2271dd") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 43 100 @@ -4934,7 +4934,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "compression_route_prior" weakAxesCnt := 0 pistProxyLabel := Option.bind (findMatrix "rrc_eq_f691b1b9f433854f") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_f691b1b9f433854f") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_f691b1b9f433854f") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.ofRatio 1 5 residualRisk := Q16_16.ofRatio 47 100 @@ -4952,7 +4952,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "cognitive_field_receipt" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_f6ecffdb3a584bc6") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_f6ecffdb3a584bc6") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_f6ecffdb3a584bc6") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4970,7 +4970,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_f9a9276cb08dd3bb") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_f9a9276cb08dd3bb") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_f9a9276cb08dd3bb") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -4988,7 +4988,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_fc46c7ee6a40460d") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_fc46c7ee6a40460d") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_fc46c7ee6a40460d") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -5006,7 +5006,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "negative_control" weakAxesCnt := 1 pistProxyLabel := Option.bind (findMatrix "rrc_eq_fe98a523c9c0b821") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_fe98a523c9c0b821") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_fe98a523c9c0b821") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 @@ -5024,7 +5024,7 @@ def allFixtures : List FixtureRow := [ rrcKind := "geometry_topology_receipt" weakAxesCnt := 2 pistProxyLabel := Option.bind (findMatrix "rrc_eq_feea4fcff27bd600") (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8) - pistExactLabel := Option.bind (findMatrix "rrc_eq_feea4fcff27bd600") (SilverSight.PIST.ClassifyN.classifyExact 8) + pistExactLabel := Option.bind (findMatrix "rrc_eq_feea4fcff27bd600") (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8) arxivPaperId := none ncObserved := Q16_16.zero residualRisk := Q16_16.ofRatio 27 50 diff --git a/python/build_manifold.py b/python/build_manifold.py index ce470587..20f3a81c 100644 --- a/python/build_manifold.py +++ b/python/build_manifold.py @@ -15,7 +15,7 @@ Python's role: - emit deterministic Lean source Lean's role: - - PIST classification (classifyProxy/classifyExact) from the matrix + - PIST classification (classifyProxy/classifyExactCharPoly) from the matrix - alignment gate via determineAlignment - receipt stamping and all admissibility/promotion decisions @@ -194,7 +194,7 @@ def main() -> int: f" rrcKind := {lean_str(rrc_kind)}\n" f" weakAxesCnt := {weak_cnt}\n" f" pistProxyLabel := Option.bind (findMatrix {lean_str(eq_id)}) (SilverSight.PIST.ClassifyN.classifyProxy SilverSight.PIST.ClassifyN.hashTable8)\n" - f" pistExactLabel := Option.bind (findMatrix {lean_str(eq_id)}) (SilverSight.PIST.ClassifyN.classifyExact 8)\n" + f" pistExactLabel := Option.bind (findMatrix {lean_str(eq_id)}) (SilverSight.PIST.ClassifyN.classifyExactCharPoly 8)\n" f" arxivPaperId := {lean_opt(arxiv_pid)}\n" f" ncObserved := {lean_q16_16(nc_strength)}\n" f" residualRisk := {lean_q16_16(residual_risk)}\n"