-- SilverSight.RRC.Corpus250 — AUTO-GENERATED by python/build_corpus250.py
-- DO NOT EDIT BY HAND. Regenerate with:
--   python3 python/build_corpus250.py
--
-- Python role: raw feature extraction + matrix merge.
-- Lean role: PIST classification, alignment gate (determineAlignment),
--            receipt stamping, and all admissibility/promotion decisions.
--
-- Source: rrc_equation_classifier_receipt.json
-- Matrices: rrc_pist_predictions_250_v1.json
-- Content hash (SHA-256): 0f66a6e11d0a4d2bc39f29e22309164c091c4b1167f7de913da0187e0ecedb16
-- Equation count: 250
--
import SilverSight.RRC.Emit
import SilverSight.PIST.Classify
import SilverSight.PIST.Matrices250

namespace SilverSight.RRC.Corpus250

open SilverSight.RRC.Emit
open SilverSight.RRCLogogramProjection
open SilverSight.ReceiptCore
open SilverSight.PIST.Matrices250

/-- Full 250-equation corpus from rrc_equation_classifier_receipt.json,
    merged with 8×8 braid adjacency matrices from
    rrc_pist_predictions_250_v1.json.
    Each row carries raw features only; the alignment gate in
    SilverSight.RRC.Emit.emitCorpus makes all admissibility decisions. -/
def corpus250 : List FixtureRow := [
  { equationId          := "rrc_eq_01ab6e9c32652d06"
    name                := "historical_emotional_temperature"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_01ab6e9c32652d06") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_01ab6e9c32652d06") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1912.03193"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_01f85e831660c26e"
    name                := "historical_offload_efficiency"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_01f85e831660c26e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_01f85e831660c26e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0706.0426"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_0252524b379eac41"
    name                := "extracted_md_equation_21"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_0252524b379eac41") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_0252524b379eac41") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0153"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_03c5ca134c799e06"
    name                := "Wave_Packet_State"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_03c5ca134c799e06") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_03c5ca134c799e06") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0708.4247"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_04ac9264dcd7c6c1"
    name                := "eq_7d5beabf91af"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_04ac9264dcd7c6c1") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_04ac9264dcd7c6c1") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_05370b4783a8bd6a"
    name                := "eq_23fc8ebaf9c8"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_05370b4783a8bd6a") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_05370b4783a8bd6a") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_05407e13b79c062b"
    name                := "eq_fb10b15989ea"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_05407e13b79c062b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_05407e13b79c062b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_0606dcb042ba0e6f"
    name                := "MOF_CO2_Reduction_Formic_Acid"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_0606dcb042ba0e6f") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_0606dcb042ba0e6f") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2503.02291"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "thermodynamic_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_068487b9141c4fb6"
    name                := "eq_2edfb68a37ab"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_068487b9141c4fb6") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_068487b9141c4fb6") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_079917209598b9e1"
    name                := "promotion_rule"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_079917209598b9e1") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_079917209598b9e1") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["compression_route", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=compression_route;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_07b0a4a6f75d86b4"
    name                := "eq_927277d74e65"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_07b0a4a6f75d86b4") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_07b0a4a6f75d86b4") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_07bd7750aa9c1698"
    name                := "eq_44bf0ed184c8"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_07bd7750aa9c1698") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_07bd7750aa9c1698") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_0abce0721f473201"
    name                := "trauma_adjusted_emotional_temperature"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_0abce0721f473201") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_0abce0721f473201") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1510.05289"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_0d19ee61a2cd8497"
    name                := "Structure_Yield"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_0d19ee61a2cd8497") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_0d19ee61a2cd8497") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:geometry"
    operatorTokens      := ["compression_route", "compression_route_prior"]
    invariantsDeclared  := "LAYER_A_COMPRESSION"
    boundaryConds       := "informational_bind"
    templateKey         := "hold"
    templateParams      := "route=compression_route;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_0ddb4aae4fd1d8d5"
    name                := "extracted_md_equation_33"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_0ddb4aae4fd1d8d5") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_0ddb4aae4fd1d8d5") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0707.1132"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_0edd7758873784a5"
    name                := "prune_rule"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_0edd7758873784a5") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_0edd7758873784a5") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "wannier:Cu"
    operatorTokens      := ["compression_route", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=compression_route;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_1038b814e5a78435"
    name                := "target_domain"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_1038b814e5a78435") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_1038b814e5a78435") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2504.13967"
    operatorTokens      := ["transfold", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=transfold;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_10c072664568b78d"
    name                := "Fractal_Occupancy"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_10c072664568b78d") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_10c072664568b78d") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "wannier:Cu"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_D_INVARIANTS"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_10dfe03d2d21bf90"
    name                := "Coffin_Manson_Fatigue"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_10dfe03d2d21bf90") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_10dfe03d2d21bf90") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1005.0449"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "definition"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_114c66f1878ac7b8"
    name                := "eq_139255306999"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_114c66f1878ac7b8") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_114c66f1878ac7b8") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:graph_theory"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_12d5519ce1a35889"
    name                := "Complete_Weight_5Factor"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_12d5519ce1a35889") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_12d5519ce1a35889") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt", "exp"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_12d678b6dc94f9d6"
    name                := "extracted_md_equation_20"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_12d678b6dc94f9d6") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_12d678b6dc94f9d6") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1812.02344"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_131b32c8ed70796c"
    name                := "eq_837e24a6c715"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_131b32c8ed70796c") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_131b32c8ed70796c") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_14fd73dcf1af02b8"
    name                := "eq_0cd087779e75"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_14fd73dcf1af02b8") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_14fd73dcf1af02b8") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:calculus_analysis"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_1523798f49d3e916"
    name                := "extracted_md_equation_6"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_1523798f49d3e916") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_1523798f49d3e916") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1004.3286"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_16a8e172297c28a7"
    name                := "eq_51e4f2d85951"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_16a8e172297c28a7") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_16a8e172297c28a7") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_17cb89b04d825252"
    name                := "eq_9b66cadab83a"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_17cb89b04d825252") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_17cb89b04d825252") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_181e73a390899053"
    name                := "eq_6a72df8385b3"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_181e73a390899053") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_181e73a390899053") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:graph_theory"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_185011f4d6cf6a2b"
    name                := "MOF_CO2_Reduction_6e_Methanol"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_185011f4d6cf6a2b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_185011f4d6cf6a2b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.1220"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "thermodynamic_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_1975033c8fbea2a4"
    name                := "eq_2a06ffe17253"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_1975033c8fbea2a4") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_1975033c8fbea2a4") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:calculus_analysis"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_1b1de15c4bbf2d2e"
    name                := "eq_1abc29f7b624"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_1b1de15c4bbf2d2e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_1b1de15c4bbf2d2e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:graph_theory"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_1d0a752af1946515"
    name                := "eq_532f38944289"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_1d0a752af1946515") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_1d0a752af1946515") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_1f12deb00ad16d8f"
    name                := "Reachable_State_Space"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_1f12deb00ad16d8f") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_1f12deb00ad16d8f") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["geometry_topology", "compression_route_prior"]
    invariantsDeclared  := "LAYER_A_COMPRESSION"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_1f5af7e9fb2b518f"
    name                := "Irreversibility_Metric"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_1f5af7e9fb2b518f") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_1f5af7e9fb2b518f") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0707.3285"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_1f912c8afa928326"
    name                := "LASSO_MOGAT_Attention_Coefficient"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_1f912c8afa928326") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_1f912c8afa928326") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1404.0404"
    operatorTokens      := ["negative_control", "softmax", "relu"]
    invariantsDeclared  := "informational_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_1fe1cbc05827ec00"
    name                := "RISCV_Instruction_Latency"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_1fe1cbc05827ec00") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_1fe1cbc05827ec00") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0904.3765"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_D_INVARIANTS"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_20b0dce68b1ff729"
    name                := "Entropy_Generation_Rate"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_20b0dce68b1ff729") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_20b0dce68b1ff729") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_E_VERIFICATION"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_20f6a9ed1c2675da"
    name                := "Line_Element"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_20f6a9ed1c2675da") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_20f6a9ed1c2675da") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "geom:riemannian_geometry"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_217148f607dfe5ff"
    name                := "Phase_Accumulation"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_217148f607dfe5ff") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_217148f607dfe5ff") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "wannier:Cu"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_K_SIGNAL"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_21c2954626a5661d"
    name                := "kNN_MI_Prediction"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_21c2954626a5661d") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_21c2954626a5661d") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2206.03555"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "LAYER_B_ROUTING"
    boundaryConds       := "informational_bind"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_251255e3132f5533"
    name                := "Temporal_Weight"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_251255e3132f5533") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_251255e3132f5533") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.2119"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_25d3e2f91df8c0a0"
    name                := "Arrhenius_Temperature_Factor"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_25d3e2f91df8c0a0") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_25d3e2f91df8c0a0") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0708.3335"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt", "exp"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_282beac067cdee85"
    name                := "eq_5be87eaf6cff"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_282beac067cdee85") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_282beac067cdee85") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "wannier:Cu"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_295fb47f2cd6ddfb"
    name                := "eq_353043888999"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_295fb47f2cd6ddfb") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_295fb47f2cd6ddfb") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:calculus_analysis"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_296f8ca4495edd26"
    name                := "field_mapping"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_296f8ca4495edd26") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_296f8ca4495edd26") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:graph_theory"
    operatorTokens      := ["magnetic_signal", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=magnetic_signal;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_2c1d4c645f0025fb"
    name                := "eq_10a508b9d741"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_2c1d4c645f0025fb") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_2c1d4c645f0025fb") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_2ee35bd32d933ac7"
    name                := "counted_total"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_2ee35bd32d933ac7") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_2ee35bd32d933ac7") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2004.10048"
    operatorTokens      := ["compression_route", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=compression_route;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_2ee9bc98d2a7c773"
    name                := "Non_Euclidean_Distance"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_2ee9bc98d2a7c773") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_2ee9bc98d2a7c773") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_2efd637f1e4bd389"
    name                := "trauma_adjusted_emotional_barrier"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_2efd637f1e4bd389") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_2efd637f1e4bd389") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1404.0404"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_2f24d8cc16590af0"
    name                := "extracted_md_equation_17"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_2f24d8cc16590af0") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_2f24d8cc16590af0") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0710.0544"
    operatorTokens      := ["negative_control", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_2f44e729b9d25d34"
    name                := "Temporal_Evolution"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_2f44e729b9d25d34") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_2f44e729b9d25d34") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0903.4243"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_2f9d4e3b2060b799"
    name                := "eq_290815ff34ff"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_2f9d4e3b2060b799") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_2f9d4e3b2060b799") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_310ec3a93d82b04e"
    name                := "Mu_Seed_Cardinality"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_310ec3a93d82b04e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_310ec3a93d82b04e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2105.07025"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_D_INVARIANTS"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_3305fd3254a89e5b"
    name                := "extracted_md_equation_24"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3305fd3254a89e5b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3305fd3254a89e5b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1203.6223"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_35e1c2bc2da6d854"
    name                := "overflow_gate"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_35e1c2bc2da6d854") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_35e1c2bc2da6d854") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1112.0348"
    operatorTokens      := ["control_signal", "cognitive_field_receipt", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=control_signal;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_3654d8cd243cde2b"
    name                := "extracted_md_equation_26"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3654d8cd243cde2b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3654d8cd243cde2b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1011_3864"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_372fdc0c8b995ef2"
    name                := "source_equation_surface"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_372fdc0c8b995ef2") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_372fdc0c8b995ef2") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1510.01783"
    operatorTokens      := ["compression_route", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=compression_route;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_3823a73f30463f6e"
    name                := "eq_3b521e5a6156"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3823a73f30463f6e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3823a73f30463f6e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_39d59d35fd9672a0"
    name                := "Rotational_Alignment"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_39d59d35fd9672a0") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_39d59d35fd9672a0") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0706.3044"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_3a60fca57229c15b"
    name                := "eq_fdfae5689dd4"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3a60fca57229c15b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3a60fca57229c15b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_3ad1c4d008fc910b"
    name                := "Blacks_Equation_EM"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3ad1c4d008fc910b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3ad1c4d008fc910b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0903.2918"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt", "exp"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_3c97cd0a63059c60"
    name                := "eq_25b43848714b"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3c97cd0a63059c60") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3c97cd0a63059c60") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_3db7a0150185b5a1"
    name                := "Spatial_Proximity"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3db7a0150185b5a1") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3db7a0150185b5a1") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.2771"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt", "exp"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_3e634eac50426ea3"
    name                := "field_mapping"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3e634eac50426ea3") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3e634eac50426ea3") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:graph_theory"
    operatorTokens      := ["magnetic_signal", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=magnetic_signal;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_3e9910b639adf295"
    name                := "eq_f05cdb2173e0"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3e9910b639adf295") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3e9910b639adf295") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_3ed73c5849372e40"
    name                := "eq_f4aab7b26b55"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3ed73c5849372e40") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3ed73c5849372e40") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_3f87b53694e706e9"
    name                := "extracted_md_equation_3"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3f87b53694e706e9") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3f87b53694e706e9") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0604"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_3f87d2c06726bc30"
    name                := "core_equations"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3f87d2c06726bc30") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3f87d2c06726bc30") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["transfold", "compression_route_prior", "exp", "log", "max", "sigmoid"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=transfold;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_3fbf8213151eae2f"
    name                := "Remaining_Useful_Life"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3fbf8213151eae2f") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3fbf8213151eae2f") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0706.0426"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_3fc5864a199b7aa9"
    name                := "eq_60b71803ce04"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_3fc5864a199b7aa9") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_3fc5864a199b7aa9") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_434ad4a173c4cb24"
    name                := "extracted_md_equation_31"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_434ad4a173c4cb24") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_434ad4a173c4cb24") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "astro-ph/0605306"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_4430cc5b9ebb8311"
    name                := "Waveprobe_Heat_Evolution"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_4430cc5b9ebb8311") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_4430cc5b9ebb8311") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0806.4228"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_F_CONTROL"
    boundaryConds       := "control_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_45606d1f25dd6aa5"
    name                := "COUCH_Equation"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_45606d1f25dd6aa5") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_45606d1f25dd6aa5") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0705.4036"
    operatorTokens      := ["chaotic_couch", "compression_route_prior"]
    invariantsDeclared  := "thermodynamic_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=chaotic_couch;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_45b2907bd442578f"
    name                := "Tuning_Range"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_45b2907bd442578f") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_45b2907bd442578f") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "physical_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_4795802d1dfe8dc9"
    name                := "eq_8daf48607920"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_4795802d1dfe8dc9") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_4795802d1dfe8dc9") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_4b0eb5baf8d88582"
    name                := "extracted_md_equation_12"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_4b0eb5baf8d88582") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_4b0eb5baf8d88582") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2402.06713"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_4b6cfeff599d0583"
    name                := "extracted_md_equation_39"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_4b6cfeff599d0583") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_4b6cfeff599d0583") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_4c87c96f612f6100"
    name                := "Stamp_Code"
    shape               := .logogramProjection
    status              := .hold
    rrcKind             := "logogram_projection"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_4c87c96f612f6100") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_4c87c96f612f6100") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:probability"
    operatorTokens      := ["thermodynamic_energy", "logogram_projection"]
    invariantsDeclared  := "LAYER_B_ROUTING"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=LogogramProjection" },
  { equationId          := "rrc_eq_4cab00eaeac59782"
    name                := "Thermodynamic_Depth"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_4cab00eaeac59782") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_4cab00eaeac59782") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.2439"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_4d8a407792ae463c"
    name                := "eq_d14e04ca5ba0"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_4d8a407792ae463c") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_4d8a407792ae463c") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_50659e00428d753c"
    name                := "eq_51dad4a7954a"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_50659e00428d753c") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_50659e00428d753c") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_5193efd26258bc51"
    name                := "UQGET_Hubble_Tension"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_5193efd26258bc51") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_5193efd26258bc51") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2504.16869"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "geometric_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_5281edbc9d70f191"
    name                := "eq_ab6c35762bc8"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_5281edbc9d70f191") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_5281edbc9d70f191") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:linear_algebra"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_535b43060096e699"
    name                := "Multiphasic_Allometry_LogLog_Scaling"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_535b43060096e699") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_535b43060096e699") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "thermodynamic_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_56bc9e8becb7bcba"
    name                := "Throat_Condition"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_56bc9e8becb7bcba") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_56bc9e8becb7bcba") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0981"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_BRAID"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_56d979e780ead00b"
    name                := "eq_5ea587928ed3"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_56d979e780ead00b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_56d979e780ead00b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "domain:Mathematics -> Precalculus -> Exponential Functions"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_57188e85cab23a67"
    name                := "extracted_md_equation_38"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_57188e85cab23a67") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_57188e85cab23a67") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1704.03594"
    operatorTokens      := ["compression_route", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=compression_route;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_59c14acaba40cdc9"
    name                := "DAG_Global_Validity"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_59c14acaba40cdc9") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_59c14acaba40cdc9") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0901.1337"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_BRAID"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_5a01598605abcd3f"
    name                := "extracted_md_equation_2"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_5a01598605abcd3f") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_5a01598605abcd3f") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2104.04404"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_5d1fa53e2bceba76"
    name                := "extracted_md_equation_5"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_5d1fa53e2bceba76") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_5d1fa53e2bceba76") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0706_1254"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_5d39c74f1cbc3aab"
    name                := "effective_cognitive_load"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_5d39c74f1cbc3aab") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_5d39c74f1cbc3aab") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1404.0404"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_5e10957e0cbb9de8"
    name                := "magnetic_projection"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_5e10957e0cbb9de8") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_5e10957e0cbb9de8") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2404.07346"
    operatorTokens      := ["transfold", "compression_route_prior", "sigmoid"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=transfold;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_5ece89b86c865faf"
    name                := "extracted_md_equation_18"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_5ece89b86c865faf") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_5ece89b86c865faf") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1506.07314"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_603b460ebf696fbb"
    name                := "eq_ed91aac060fd"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_603b460ebf696fbb") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_603b460ebf696fbb") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_613c8a56dee0f83a"
    name                := "Exact_Int_to_FP_Cast"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_613c8a56dee0f83a") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_613c8a56dee0f83a") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0838"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_D_INVARIANTS"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_64f81fa3c4725d4e"
    name                := "UQGET_Structure_Tension"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_64f81fa3c4725d4e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_64f81fa3c4725d4e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2203.08045"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "geometric_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_66f6066b3fb74fcb"
    name                := "eq_e598d78992b5"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_66f6066b3fb74fcb") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_66f6066b3fb74fcb") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:linear_algebra"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_673652a4317dd847"
    name                := "target_domain"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_673652a4317dd847") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_673652a4317dd847") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2504.13967"
    operatorTokens      := ["transfold", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=transfold;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_685a03c6c1db609e"
    name                := "Thermodynamic_Length"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_685a03c6c1db609e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_685a03c6c1db609e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.1804"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_B_ROUTING"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_685a969028ff5c50"
    name                := "extracted_md_equation_10"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_685a969028ff5c50") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_685a969028ff5c50") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "geom:riemannian_geometry"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_68ac9a041d842bcf"
    name                := "Christoffel_Symbols_2D"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_68ac9a041d842bcf") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_68ac9a041d842bcf") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "geom:riemannian_geometry"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_68bc5f8d951cef23"
    name                := "eq_405936ddfb9b"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_68bc5f8d951cef23") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_68bc5f8d951cef23") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:calculus_analysis"
    operatorTokens      := ["negative_control", "log"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_6a952cb84d6e1fbf"
    name                := "extracted_md_equation_15"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_6a952cb84d6e1fbf") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_6a952cb84d6e1fbf") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1203.6223"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_6abda80c652b80c8"
    name                := "Energy_Monotonicity_Theorem"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_6abda80c652b80c8") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_6abda80c652b80c8") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "geom:riemannian_geometry"
    operatorTokens      := ["thermodynamic_energy", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_H_ALGEBRA"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_6d33c14a88eb0a12"
    name                := "NES_OISC_GCL_LUT_Architecture"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_6d33c14a88eb0a12") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_6d33c14a88eb0a12") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0181"
    operatorTokens      := ["control_signal", "cognitive_field_receipt"]
    invariantsDeclared  := "informational_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=control_signal;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_6dcfafa9019b29a2"
    name                := "eq_e2dad9249b00"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_6dcfafa9019b29a2") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_6dcfafa9019b29a2") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_6f8b200d29180003"
    name                := "lower_bound"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_6f8b200d29180003") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_6f8b200d29180003") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["compression_route", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=compression_route;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_7076f5bdea119531"
    name                := "DAG_Force_Equilibrium"
    shape               := .cadForceProbeReceipt
    status              := .hold
    rrcKind             := "cad_force_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_7076f5bdea119531") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_7076f5bdea119531") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0712.0185"
    operatorTokens      := ["cad_force", "cad_force_receipt"]
    invariantsDeclared  := "LAYER_C_BRAID"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=cad_force;shape=CadForceProbeReceipt" },
  { equationId          := "rrc_eq_7106bb20125b3d6f"
    name                := "eq_6fd0d43c1e15"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_7106bb20125b3d6f") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_7106bb20125b3d6f") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:graph_theory"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_71dd02d32f3e59b0"
    name                := "Mutual_Information_Extracted"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_71dd02d32f3e59b0") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_71dd02d32f3e59b0") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "wannier:Cu"
    operatorTokens      := ["thermodynamic_energy", "compression_route_prior"]
    invariantsDeclared  := "LAYER_A_COMPRESSION"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_72b416376f1bf5b0"
    name                := "threshold"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_72b416376f1bf5b0") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_72b416376f1bf5b0") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0901.1383"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_74c2bb3396094843"
    name                := "eq_5034975bc936"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_74c2bb3396094843") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_74c2bb3396094843") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_7533d46cedd4a4c5"
    name                := "Work_Extraction"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_7533d46cedd4a4c5") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_7533d46cedd4a4c5") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0761"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_75b10c1207c769bb"
    name                := "eq_14f71a50573b"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_75b10c1207c769bb") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_75b10c1207c769bb") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_7731084327989290"
    name                := "Homeostatic_Stress_Injection"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_7731084327989290") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_7731084327989290") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1404.0404"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt", "max"]
    invariantsDeclared  := "LAYER_E_VERIFICATION"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_774c019464fd328c"
    name                := "eq_7cf504583516"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_774c019464fd328c") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_774c019464fd328c") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_77bd06f725c27b4d"
    name                := "Stereographic_Chart_Transition"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_77bd06f725c27b4d") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_77bd06f725c27b4d") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_78fb56a55b615659"
    name                := "Photon_Energy"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_78fb56a55b615659") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_78fb56a55b615659") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0179"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "physical_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_795413454087e025"
    name                := "Temporal_Stability"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_795413454087e025") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_795413454087e025") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.2467"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_D_INVARIANTS"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_7956fd7c6e98638a"
    name                := "Mutual_Information_Signal"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_7956fd7c6e98638a") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_7956fd7c6e98638a") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0808.2703"
    operatorTokens      := ["compression_route", "compression_route_prior"]
    invariantsDeclared  := "LAYER_A_COMPRESSION"
    boundaryConds       := "informational_bind"
    templateKey         := "hold"
    templateParams      := "route=compression_route;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_7995b3bdb3f05ce3"
    name                := "Affine_Mapping_LTSF_Linear_Layer"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_7995b3bdb3f05ce3") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_7995b3bdb3f05ce3") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:linear_algebra"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "informational_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_7a38c905340961db"
    name                := "extracted_md_equation_8"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_7a38c905340961db") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_7a38c905340961db") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_7cdf1c3e052e1f33"
    name                := "Metric_Tensor_From_Circumferences"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_7cdf1c3e052e1f33") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_7cdf1c3e052e1f33") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_8018bcedc9b84a9d"
    name                := "Surprise_Metric"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_8018bcedc9b84a9d") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_8018bcedc9b84a9d") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0901.4306"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt", "log"]
    invariantsDeclared  := "LAYER_B_ROUTING"
    boundaryConds       := "informational_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_80edc83f7fb3d80e"
    name                := "eq_bc5bda52965a"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_80edc83f7fb3d80e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_80edc83f7fb3d80e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_810420419a4025f0"
    name                := "eq_2b301ef1b6ca"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_810420419a4025f0") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_810420419a4025f0") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_811d99697e055c2b"
    name                := "heat_loss"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_811d99697e055c2b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_811d99697e055c2b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2405.01244"
    operatorTokens      := ["transfold", "compression_route_prior", "max"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=transfold;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_81ad5c64ecea2574"
    name                := "extracted_md_equation_34"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_81ad5c64ecea2574") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_81ad5c64ecea2574") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1203.6223"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_82aaddc592cb524f"
    name                := "extracted_md_equation_14"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_82aaddc592cb524f") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_82aaddc592cb524f") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "geom:curvature_invariants"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_84f94841b9e9578b"
    name                := "eq_1a6dee6dca2f"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_84f94841b9e9578b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_84f94841b9e9578b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_8500000bbf612a0e"
    name                := "Palette_DSP_Slave"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_8500000bbf612a0e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_8500000bbf612a0e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1501.05033"
    operatorTokens      := ["control_signal", "cognitive_field_receipt"]
    invariantsDeclared  := "informational_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=control_signal;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_85435dde0bcc5cfd"
    name                := "total_protective_load"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_85435dde0bcc5cfd") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_85435dde0bcc5cfd") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1404.0404"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_86ccde7bfd669b77"
    name                := "bandwidth_adjusted_threshold"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_86ccde7bfd669b77") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_86ccde7bfd669b77") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0901.1383"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_87b4887fb400c8c8"
    name                := "eq_2a47fee92e98"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_87b4887fb400c8c8") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_87b4887fb400c8c8") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_891a81dfc968f58e"
    name                := "MOF_CO2_Reduction_8e_Methane"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_891a81dfc968f58e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_891a81dfc968f58e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1402.6770"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "thermodynamic_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_8a05e2496e67848b"
    name                := "signal_load"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_8a05e2496e67848b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_8a05e2496e67848b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2210.00935"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt", "log"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_8a4d6790faf66d6b"
    name                := "source_domain"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_8a4d6790faf66d6b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_8a4d6790faf66d6b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2210.02698"
    operatorTokens      := ["transfold", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=transfold;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_8acff8093805680f"
    name                := "extracted_md_equation_22"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_8acff8093805680f") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_8acff8093805680f") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1801.03570"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_8b812bf47cc024b4"
    name                := "MOF_CO2_Reduction_2e_Electrochemistry"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_8b812bf47cc024b4") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_8b812bf47cc024b4") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0709.1174"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "thermodynamic_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_8beb9cc11e59ff37"
    name                := "eq_f93b08fedbc0"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_8beb9cc11e59ff37") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_8beb9cc11e59ff37") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_8c569cbfc2385eab"
    name                := "magnetic_projection"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_8c569cbfc2385eab") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_8c569cbfc2385eab") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2209.13332"
    operatorTokens      := ["transfold", "compression_route_prior", "sigmoid"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=transfold;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_8ffeff0c4877aa25"
    name                := "eq_7957e0f2cb86"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_8ffeff0c4877aa25") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_8ffeff0c4877aa25") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_9064d88b17992de3"
    name                := "Trixal_Axes"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_9064d88b17992de3") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_9064d88b17992de3") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0705.0626"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_90bbd1bf7d23655e"
    name                := "overflow_gate"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_90bbd1bf7d23655e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_90bbd1bf7d23655e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_9166088a2f79f059"
    name                := "SEU_BitFlip_Rate"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_9166088a2f79f059") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_9166088a2f79f059") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0805.0430"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_931cb5c74aaade03"
    name                := "emotional_load"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_931cb5c74aaade03") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_931cb5c74aaade03") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1103.3904"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_9781272a1dff3d7d"
    name                := "eq_3fe8c2f5d04f"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_9781272a1dff3d7d") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_9781272a1dff3d7d") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_9817626505a4fedf"
    name                := "historical_emotional_barrier"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_9817626505a4fedf") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_9817626505a4fedf") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1404.0404"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_982c784b74af6c5c"
    name                := "Interaction_Force"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_982c784b74af6c5c") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_982c784b74af6c5c") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0909.2552"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_H_ALGEBRA"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_98b0599e8c46c1bf"
    name                := "Temporal_Force"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_98b0599e8c46c1bf") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_98b0599e8c46c1bf") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1011.5524"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_9a468347631152ce"
    name                := "Multiphasic_Allometry_Quadratic"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_9a468347631152ce") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_9a468347631152ce") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:linear_algebra"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "thermodynamic_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_9c22fd7b336c5904"
    name                := "eq_416bbe45bfd1"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_9c22fd7b336c5904") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_9c22fd7b336c5904") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_9c2c0d5c61628eb5"
    name                := "extracted_md_equation_16"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_9c2c0d5c61628eb5") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_9c2c0d5c61628eb5") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_9d1897c1a7967172"
    name                := "Atmospheric_Windows"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_9d1897c1a7967172") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_9d1897c1a7967172") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0706.4389"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt", "exp"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "physical_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_9d485a8333644b3b"
    name                := "eq_d0869069ce0f"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_9d485a8333644b3b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_9d485a8333644b3b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_9f67a9105f9e0e3c"
    name                := "Chirality_Algebra"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_9f67a9105f9e0e3c") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_9f67a9105f9e0e3c") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0201"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_a109587e866701dc"
    name                := "Temporal_Entropy"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_a109587e866701dc") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_a109587e866701dc") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0709.4204"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_a4348738394b0597"
    name                := "extracted_md_equation_0"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_a4348738394b0597") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_a4348738394b0597") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0604"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_a4adf8b5cc0e5c73"
    name                := "Affine_Mapping_Time_Series_Decomposition"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_a4adf8b5cc0e5c73") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_a4adf8b5cc0e5c73") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "informational_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_a59af904a8ad739f"
    name                := "extracted_md_equation_11"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_a59af904a8ad739f") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_a59af904a8ad739f") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "geom:riemannian_geometry"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_a5dae5efe3dc9a94"
    name                := "extracted_md_equation_7"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_a5dae5efe3dc9a94") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_a5dae5efe3dc9a94") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1206.2374"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_a5fbdc2a7f09759e"
    name                := "eq_ea9b6d38a8a0"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_a5fbdc2a7f09759e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_a5fbdc2a7f09759e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:linear_algebra"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_a91ed081e55a7adc"
    name                := "eq_36e95d88ecbd"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_a91ed081e55a7adc") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_a91ed081e55a7adc") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_a91f2f772995a9b9"
    name                := "Total_Formal_State_Space"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_a91f2f772995a9b9") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_a91f2f772995a9b9") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_B_ROUTING"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_a9bdc40d07c74659"
    name                := "signal_load"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_a9bdc40d07c74659") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_a9bdc40d07c74659") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2210.00935"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt", "log"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_aaddd26cf129e0ff"
    name                := "emotional_gate"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_aaddd26cf129e0ff") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_aaddd26cf129e0ff") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_aafdb23c6c8cb77a"
    name                := "Frame_Evolution_Continuous"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_aafdb23c6c8cb77a") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_aafdb23c6c8cb77a") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "geom:riemannian_geometry"
    operatorTokens      := ["thermodynamic_energy", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_H_ALGEBRA"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_ac1a7a22801b7d77"
    name                := "core_equations"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_ac1a7a22801b7d77") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_ac1a7a22801b7d77") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["transfold", "compression_route_prior", "exp", "log", "max", "sigmoid"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=transfold;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_ae70c43fd815392e"
    name                := "trauma_adjusted_offload_efficiency"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_ae70c43fd815392e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_ae70c43fd815392e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1101.4207"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_aef93abc672b8e29"
    name                := "extracted_md_equation_35"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_aef93abc672b8e29") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_aef93abc672b8e29") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2201_05971"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_b20eddced9a6b7da"
    name                := "eq_fcd40dc2de7c"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_b20eddced9a6b7da") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_b20eddced9a6b7da") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "domain:Mathematics -> Algebra -> Functional Equations -> Other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_b2fc5edc90c4c538"
    name                := "eq_e0537400fa96"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_b2fc5edc90c4c538") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_b2fc5edc90c4c538") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:abstract_algebra"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_b639be44c38e19f1"
    name                := "eq_21f33f411006"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_b639be44c38e19f1") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_b639be44c38e19f1") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:graph_theory"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_b650dd7bdbcd9bcb"
    name                := "eq_8605b7c5ccdb"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_b650dd7bdbcd9bcb") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_b650dd7bdbcd9bcb") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_b720db642290ed9d"
    name                := "eq_52e8897befaf"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_b720db642290ed9d") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_b720db642290ed9d") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control", "log"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_b8bfc827c0fd3d28"
    name                := "Landauer_Limit"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_b8bfc827c0fd3d28") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_b8bfc827c0fd3d28") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:calculus_analysis"
    operatorTokens      := ["thermodynamic_energy", "compression_route_prior"]
    invariantsDeclared  := "LAYER_A_COMPRESSION"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_b97583b24c3b2936"
    name                := "eq_dbd7ee74be20"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_b97583b24c3b2936") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_b97583b24c3b2936") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_b975f510c14227e3"
    name                := "Injection_Efficiency"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_b975f510c14227e3") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_b975f510c14227e3") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.1178"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "physical_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_b9eb3119b4d99483"
    name                := "overflow_gate"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_b9eb3119b4d99483") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_b9eb3119b4d99483") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1112.0348"
    operatorTokens      := ["control_signal", "cognitive_field_receipt", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=control_signal;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_bb071a3f64f90363"
    name                := "extracted_md_equation_1"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_bb071a3f64f90363") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_bb071a3f64f90363") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0421"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_bb62cba4864b0def"
    name                := "extracted_md_equation_9"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_bb62cba4864b0def") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_bb62cba4864b0def") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_bcd458bef84fe2a2"
    name                := "eq_d4a2926485bb"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_bcd458bef84fe2a2") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_bcd458bef84fe2a2") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_bd8bcf9cb663c096"
    name                := "Holonomy_Accumulation"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_bd8bcf9cb663c096") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_bd8bcf9cb663c096") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "wannier:Cu"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_BRAID"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_bedb0334896533f3"
    name                := "extracted_md_equation_29"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_bedb0334896533f3") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_bedb0334896533f3") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2006.06267"
    operatorTokens      := ["negative_control", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_bf1b905e94089ddc"
    name                := "Gradient_Alignment"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_bf1b905e94089ddc") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_bf1b905e94089ddc") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0807.1582"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_K_SIGNAL"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_bf9f2062b96a9d25"
    name                := "emotional_offload"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_bf9f2062b96a9d25") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_bf9f2062b96a9d25") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0710.0672"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt", "max"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_bfd316d8427b2f6c"
    name                := "extracted_md_equation_19"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_bfd316d8427b2f6c") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_bfd316d8427b2f6c") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0709.3678"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_c221ccc2bc9ccc45"
    name                := "eq_b5bc1ffd9091"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_c221ccc2bc9ccc45") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_c221ccc2bc9ccc45") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_c3dde450e7ce933a"
    name                := "eq_717ace3c9565"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_c3dde450e7ce933a") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_c3dde450e7ce933a") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_c3f6aa5efce88262"
    name                := "Waveprobe_Risk_Function"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_c3f6aa5efce88262") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_c3f6aa5efce88262") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1610.03041"
    operatorTokens      := ["control_signal", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_F_CONTROL"
    boundaryConds       := "control_bind"
    templateKey         := "hold"
    templateParams      := "route=control_signal;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_c5417aae2492b416"
    name                := "eq_21f71c6c28c7"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_c5417aae2492b416") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_c5417aae2492b416") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_c56ffe8dd188e331"
    name                := "extracted_md_equation_23"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_c56ffe8dd188e331") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_c56ffe8dd188e331") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0838"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_c57a3f3edc39ddd3"
    name                := "extracted_md_equation_25"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_c57a3f3edc39ddd3") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_c57a3f3edc39ddd3") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0705.1414"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_c5a00dead68e12a0"
    name                := "extracted_md_equation_4"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_c5a00dead68e12a0") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_c5a00dead68e12a0") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0604"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_c704bc7e7c531303"
    name                := "eq_4c772de7743a"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_c704bc7e7c531303") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_c704bc7e7c531303") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_c8b7f0fe52ef32fe"
    name                := "Entropy_Gradient"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_c8b7f0fe52ef32fe") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_c8b7f0fe52ef32fe") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "wannier:Cu"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_H_ALGEBRA"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_c8d2e5596d91ebbd"
    name                := "Multiphasic_Allometry_Instantaneous_Slope"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_c8d2e5596d91ebbd") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_c8d2e5596d91ebbd") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:linear_algebra"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "thermodynamic_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_ca946ab1632d585c"
    name                := "Temperature_Tuning"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_ca946ab1632d585c") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_ca946ab1632d585c") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "wannier:GaAs"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "physical_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_cabf5eab335f2d23"
    name                := "bandwidth_overflow"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_cabf5eab335f2d23") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_cabf5eab335f2d23") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0808.1508"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt", "max"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_cbefaa1738883221"
    name                := "extracted_md_equation_30"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_cbefaa1738883221") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_cbefaa1738883221") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2401.07679"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_cc8b5f7c4742473c"
    name                := "Cascade_Gain"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_cc8b5f7c4742473c") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_cc8b5f7c4742473c") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "physical_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_cd4dfc767616524d"
    name                := "Kolmogorov_Estimate"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_cd4dfc767616524d") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_cd4dfc767616524d") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.1029"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_ce049f9298cfb095"
    name                := "eq_6c7adf4f4e98"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_ce049f9298cfb095") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_ce049f9298cfb095") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:linear_algebra"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_cf576a1cfbd9da63"
    name                := "Shannon_Entropy"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_cf576a1cfbd9da63") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_cf576a1cfbd9da63") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0465"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_d07532a1db76d958"
    name                := "Carnot_Efficiency"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d07532a1db76d958") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d07532a1db76d958") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:abstract_algebra"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_B_ROUTING"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_d24270e4be19de76"
    name                := "eq_14d74623112c"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d24270e4be19de76") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d24270e4be19de76") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_d356d2da175a4185"
    name                := "eq_8b4895ac1c7e"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d356d2da175a4185") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d356d2da175a4185") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_d4e90c1cd69ef948"
    name                := "eq_984644a6b0db"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d4e90c1cd69ef948") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d4e90c1cd69ef948") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_d521b2282dde0c38"
    name                := "eq_9138cc21d6e4"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d521b2282dde0c38") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d521b2282dde0c38") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_d618a97b4f87abe9"
    name                := "eq_10109834ac3a"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d618a97b4f87abe9") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d618a97b4f87abe9") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_d726df3a6c9943ff"
    name                := "BLINK_GATE_Ternary_Clock"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d726df3a6c9943ff") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d726df3a6c9943ff") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0811.4100"
    operatorTokens      := ["control_signal", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "control_bind"
    templateKey         := "definition"
    templateParams      := "route=control_signal;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_d75b1352c39fe13e"
    name                := "eq_ccca83f09f70"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d75b1352c39fe13e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d75b1352c39fe13e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_d76203fbca4e9b81"
    name                := "metastate_transfold"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d76203fbca4e9b81") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d76203fbca4e9b81") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["transfold", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=transfold;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_d767dc5b5996f6dc"
    name                := "eq_4a18868e412a"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d767dc5b5996f6dc") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d767dc5b5996f6dc") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_d93085afc737effa"
    name                := "Energy_Function"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d93085afc737effa") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d93085afc737effa") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["thermodynamic_energy", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_d9785ef71690f60b"
    name                := "eq_25d49db81014"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_d9785ef71690f60b") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_d9785ef71690f60b") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_dd01aec7b2c20774"
    name                := "source_domain"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_dd01aec7b2c20774") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_dd01aec7b2c20774") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1502.02973"
    operatorTokens      := ["transfold", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=transfold;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_dd3140340d9c9a33"
    name                := "Safe_Narrowing_Proof"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_dd3140340d9c9a33") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_dd3140340d9c9a33") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0706.2859"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_D_INVARIANTS"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_decad728fbd76456"
    name                := "extracted_md_equation_13"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_decad728fbd76456") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_decad728fbd76456") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1801.03570"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_def9542a5004dc68"
    name                := "extracted_md_equation_36"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_def9542a5004dc68") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_def9542a5004dc68") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0037"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_df9f885395884594"
    name                := "trauma_adjusted_threshold"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_df9f885395884594") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_df9f885395884594") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1701.00142"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_e0ac7e1847f830a3"
    name                := "eq_0698ebc502ab"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e0ac7e1847f830a3") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e0ac7e1847f830a3") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_e22543ef62f2494e"
    name                := "eq_e1646b712978"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e22543ef62f2494e") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e22543ef62f2494e") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_e25b46d22b7ca0f1"
    name                := "eq_9138aeb94292"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e25b46d22b7ca0f1") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e25b46d22b7ca0f1") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_e2f1f1f142418961"
    name                := "Weighted_Feature_Distance"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e2f1f1f142418961") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e2f1f1f142418961") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1110.5454"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "LAYER_B_ROUTING"
    boundaryConds       := "informational_bind"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_e43c6929cd3bc3bf"
    name                := "NES_GCL_Square_Wave_Compression"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e43c6929cd3bc3bf") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e43c6929cd3bc3bf") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0838"
    operatorTokens      := ["compression_route", "compression_route_prior"]
    invariantsDeclared  := "informational_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=compression_route;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_e4b70a718fcfb1ab"
    name                := "Frame_Evolution_Discrete"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e4b70a718fcfb1ab") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e4b70a718fcfb1ab") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1108.4993"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_H_ALGEBRA"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_e517db2c50e19613"
    name                := "hard_target_rule"
    shape               := .signalShapedRouteCompiler
    status              := .hold
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e517db2c50e19613") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e517db2c50e19613") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["compression_route", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=compression_route;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_e58f768224fb1bbe"
    name                := "BitFlip_Gradient_5D"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e58f768224fb1bbe") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e58f768224fb1bbe") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0904.3223"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_D_INVARIANTS"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_e5f58db6423d2f9c"
    name                := "extracted_md_equation_27"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e5f58db6423d2f9c") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e5f58db6423d2f9c") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1012.1409"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_e672df600fa82b76"
    name                := "Multi_Factor_Coupling_Weight"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e672df600fa82b76") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e672df600fa82b76") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1410_1050"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_BRAID"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_e6a6d86ede20e5ad"
    name                := "eq_5593e036fe6f"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e6a6d86ede20e5ad") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e6a6d86ede20e5ad") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "wannier:Cu"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_e6b902735f906c33"
    name                := "eq_e54ad45a68cb"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e6b902735f906c33") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e6b902735f906c33") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_e9cff20a11527ba0"
    name                := "Geodesic_Step_Symplectic_Euler"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_e9cff20a11527ba0") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_e9cff20a11527ba0") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_ea1df518da53e850"
    name                := "eq_dde05d0258ec"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_ea1df518da53e850") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_ea1df518da53e850") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2604.21919"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_ec7566b5d400a6fb"
    name                := "Subband_Spacing"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_ec7566b5d400a6fb") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_ec7566b5d400a6fb") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "physical_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_ecf3ddf7af735ee6"
    name                := "Thermodynamic_Entropy"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_ecf3ddf7af735ee6") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_ecf3ddf7af735ee6") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0842"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_ef9d2a2f3c8de320"
    name                := "extracted_md_equation_37"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_ef9d2a2f3c8de320") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_ef9d2a2f3c8de320") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1012.1409"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_f010fb33997b8f51"
    name                := "Affine_Mapping_Periodic_Theorem"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_f010fb33997b8f51") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_f010fb33997b8f51") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:combinatorics"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "informational_bind"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_f112b5836bdbd47d"
    name                := "Constitutive_Law"
    shape               := .cadForceProbeReceipt
    status              := .hold
    rrcKind             := "cad_force_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_f112b5836bdbd47d") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_f112b5836bdbd47d") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0611"
    operatorTokens      := ["cad_force", "cad_force_receipt"]
    invariantsDeclared  := "LAYER_C_BRAID"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=cad_force;shape=CadForceProbeReceipt" },
  { equationId          := "rrc_eq_f26b20a02d1cf105"
    name                := "eq_f4bc63354f27"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_f26b20a02d1cf105") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_f26b20a02d1cf105") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_f4249695d9de4adc"
    name                := "hutter_route_metastate"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_f4249695d9de4adc") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_f4249695d9de4adc") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["compression_route", "compression_route_prior"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=compression_route;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_f46446cfb0f8d5b1"
    name                := "raw_cognitive_load"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_f46446cfb0f8d5b1") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_f46446cfb0f8d5b1") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_f5bb28753a2271dd"
    name                := "residual_stress"
    shape               := .cognitiveLoadField
    status              := .candidate
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_f5bb28753a2271dd") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_f5bb28753a2271dd") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0712.0932"
    operatorTokens      := ["cognitive_load", "cognitive_field_receipt", "max"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "definition"
    templateParams      := "route=cognitive_load;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_f691b1b9f433854f"
    name                := "heat_loss"
    shape               := .signalShapedRouteCompiler
    status              := .candidate
    rrcKind             := "compression_route_prior"
    weakAxesCnt         := 0
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_f691b1b9f433854f") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_f691b1b9f433854f") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2311.05306"
    operatorTokens      := ["transfold", "compression_route_prior", "max"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "master_equation"
    templateParams      := "route=transfold;shape=SignalShapedRouteCompiler" },
  { equationId          := "rrc_eq_f6ecffdb3a584bc6"
    name                := "Stress_Decay"
    shape               := .cognitiveLoadField
    status              := .hold
    rrcKind             := "cognitive_field_receipt"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_f6ecffdb3a584bc6") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_f6ecffdb3a584bc6") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "0704.0305"
    operatorTokens      := ["thermodynamic_energy", "cognitive_field_receipt"]
    invariantsDeclared  := "LAYER_G_ENERGY"
    boundaryConds       := "thermodynamic_bind"
    templateKey         := "hold"
    templateParams      := "route=thermodynamic_energy;shape=CognitiveLoadField" },
  { equationId          := "rrc_eq_f9a9276cb08dd3bb"
    name                := "Cosine_Similarity"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_f9a9276cb08dd3bb") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_f9a9276cb08dd3bb") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_K_SIGNAL"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" },
  { equationId          := "rrc_eq_fc46c7ee6a40460d"
    name                := "extracted_md_equation_32"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_fc46c7ee6a40460d") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_fc46c7ee6a40460d") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "1012.1409"
    operatorTokens      := ["negative_control", "exp"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_fe98a523c9c0b821"
    name                := "extracted_md_equation_28"
    shape               := .holdForUnlawfulOrUnderspecifiedShape
    status              := .hold
    rrcKind             := "negative_control"
    weakAxesCnt         := 1
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_fe98a523c9c0b821") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_fe98a523c9c0b821") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "2005.06614"
    operatorTokens      := ["negative_control"]
    invariantsDeclared  := "unknown"
    boundaryConds       := "unknown"
    templateKey         := "hold"
    templateParams      := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" },
  { equationId          := "rrc_eq_feea4fcff27bd600"
    name                := "Geodesic_Step_Verlet"
    shape               := .projectableGeometryTopology
    status              := .hold
    rrcKind             := "geometry_topology_receipt"
    weakAxesCnt         := 2
    pistProxyLabel      := Option.bind (findMatrix "rrc_eq_feea4fcff27bd600") SilverSight.PIST.Classify.classifyProxy
    pistExactLabel      := Option.bind (findMatrix "rrc_eq_feea4fcff27bd600") SilverSight.PIST.Classify.classifyExact
    arxivPaperId        := some "theorem:other"
    operatorTokens      := ["geometry_topology", "geometry_topology_receipt"]
    invariantsDeclared  := "LAYER_C_TOPOLOGY"
    boundaryConds       := "geometric_bind"
    templateKey         := "hold"
    templateParams      := "route=geometry_topology;shape=ProjectableGeometryTopology" }
]

end SilverSight.RRC.Corpus250
