diff --git a/docs/PROJECT_MAP.json b/docs/PROJECT_MAP.json index 3a3e6ab6..18f9eb71 100644 --- a/docs/PROJECT_MAP.json +++ b/docs/PROJECT_MAP.json @@ -1,13 +1,13 @@ { "schema": "silversight_project_map_v1", - "generated_at": "2026-06-21T14:45:59.149164+00:00", + "generated_at": "2026-06-21T15:02:44.102031+00:00", "repo": "https://github.com/allaunthefox/SilverSight", "local_path": "/tmp/SilverSight", "summary": { - "total_files": 101, - "lean_files": 51, - "python_files": 21, - "active": 100, + "total_files": 103, + "lean_files": 52, + "python_files": 22, + "active": 102, "quarantined": 1, "archived": 0, "receipt_boundary_files": 4 @@ -78,10 +78,10 @@ "name": "PythonShims", "path": "python", "description": "I/O and feature extraction; no admissibility logic.", - "file_count": 8, + "file_count": 9, "lean_files": 0, - "python_files": 8, - "active": 8, + "python_files": 9, + "active": 9, "quarantined": 0, "archived": 0 }, @@ -403,7 +403,7 @@ "research_stack_source": null, "role": "", "receipt_boundary": false, - "line_count": 2070 + "line_count": 2150 }, { "path": "docs/PROJECT_MAP.md", @@ -417,7 +417,7 @@ "research_stack_source": null, "role": "", "receipt_boundary": false, - "line_count": 189 + "line_count": 190 }, { "path": "docs/RRC_PLACEMENT.md", @@ -1282,12 +1282,13 @@ "SilverSight.AVMIsa.Run", "SilverSight.ReceiptCore", "SilverSight.RRCLogogramProjection", - "SilverSight.RRC.Emit" + "SilverSight.RRC.Emit", + "SilverSight.RRC.Corpus250" ], "research_stack_source": null, "role": "", "receipt_boundary": false, - "line_count": 256 + "line_count": 280 }, { "path": "formal/SilverSight/AVMIsa/Instr.lean", @@ -1433,6 +1434,24 @@ "receipt_boundary": false, "line_count": 213 }, + { + "path": "formal/SilverSight/RRC/Corpus250.lean", + "layer": "other", + "language": "lean", + "kind": "formal", + "module": "SilverSight.RRC.Corpus250", + "build_target": "SilverSightFormal", + "status": "active", + "imports": [ + "SilverSight.RRC.Emit", + "SilverSight.PIST.Classify", + "SilverSight.PIST.Matrices250" + ], + "research_stack_source": null, + "role": "", + "receipt_boundary": false, + "line_count": 3533 + }, { "path": "formal/SilverSight/RRC/Emit.lean", "layer": "other", @@ -1544,7 +1563,7 @@ "research_stack_source": null, "role": "", "receipt_boundary": false, - "line_count": 59 + "line_count": 60 }, { "path": "lean-toolchain", @@ -1574,6 +1593,24 @@ "receipt_boundary": false, "line_count": 6 }, + { + "path": "python/build_corpus250.py", + "layer": "python_shim", + "language": "python", + "kind": "python_shim", + "module": null, + "build_target": null, + "status": "active", + "imports": [ + "__future__", + "argparse", + "pathlib" + ], + "research_stack_source": null, + "role": "", + "receipt_boundary": false, + "line_count": 233 + }, { "path": "python/build_pist_matrices_250.py", "layer": "python_shim", @@ -2076,6 +2113,11 @@ "to": "formal/SilverSight/RRC/Emit.lean", "relation": "imports" }, + { + "from": "formal/SilverSight/AVMIsa/Emit.lean", + "to": "formal/SilverSight/RRC/Corpus250.lean", + "relation": "imports" + }, { "from": "formal/SilverSight/AVMIsa/Instr.lean", "to": "formal/SilverSight/AVMIsa/Value.lean", @@ -2126,6 +2168,21 @@ "to": "Core/SilverSight/FixedPoint.lean", "relation": "imports" }, + { + "from": "formal/SilverSight/RRC/Corpus250.lean", + "to": "formal/SilverSight/RRC/Emit.lean", + "relation": "imports" + }, + { + "from": "formal/SilverSight/RRC/Corpus250.lean", + "to": "formal/SilverSight/PIST/Classify.lean", + "relation": "imports" + }, + { + "from": "formal/SilverSight/RRC/Corpus250.lean", + "to": "formal/SilverSight/PIST/Matrices250.lean", + "relation": "imports" + }, { "from": "formal/SilverSight/RRC/Emit.lean", "to": "formal/SilverSight/RRCLogogramProjection.lean", diff --git a/docs/PROJECT_MAP.md b/docs/PROJECT_MAP.md index 717ee4f5..ec65405c 100644 --- a/docs/PROJECT_MAP.md +++ b/docs/PROJECT_MAP.md @@ -1,6 +1,6 @@ # SilverSight Project Map -**Generated:** 2026-06-21T14:45:59.149164+00:00 +**Generated:** 2026-06-21T15:02:44.102031+00:00 **Source repo:** https://github.com/allaunthefox/SilverSight @@ -8,10 +8,10 @@ ## 1. Project Overview -- **Total tracked files:** 101 -- **Lean files:** 51 -- **Python files:** 21 -- **Active:** 100 | **Quarantined:** 1 | **Archived:** 0 +- **Total tracked files:** 103 +- **Lean files:** 52 +- **Python files:** 22 +- **Active:** 102 | **Quarantined:** 1 | **Archived:** 0 - **Receipt-boundary files:** 4 ## 2. Layer Summary @@ -23,7 +23,7 @@ | PVGS_DQ_Bridge | `formal/PVGS_DQ_Bridge` | 9 | 8 | 1 | 9 | 0 | 0 | Photon-varied Gaussian state dual-quaternion bridge. | | UniversalEncoding | `formal/UniversalEncoding` | 2 | 2 | 0 | 2 | 0 | 0 | Universal math address space and chirality. | | BindingSite | `formal/BindingSite` | 3 | 3 | 0 | 3 | 0 | 0 | Amino-acid / protein binding sketches. | -| PythonShims | `python` | 8 | 0 | 8 | 8 | 0 | 0 | I/O and feature extraction; no admissibility logic. | +| PythonShims | `python` | 9 | 0 | 9 | 9 | 0 | 0 | I/O and feature extraction; no admissibility logic. | | QUBOShims | `qubo` | 5 | 0 | 5 | 5 | 0 | 0 | QUBO/QAOA/Finsler optimization shims. | | Tests | `tests` | 2 | 0 | 2 | 1 | 1 | 0 | Verification fixtures. | | Infrastructure | `.github` | 6 | 0 | 2 | 6 | 0 | 0 | CI workflows and repo scripts. | @@ -94,6 +94,7 @@ | File | Module | Build Target | Status | Receipt Boundary | Research-Stack Source | Role | |------|--------|--------------|--------|------------------|----------------------|------| +| `python/build_corpus250.py` | — | — | active | — | — | — | | `python/build_pist_matrices_250.py` | — | — | active | — | — | — | | `python/chaos_game.py` | — | — | active | — | `4-Infrastructure/shim/chaos_game_16d.py` | 16D chaos-game basin sampler. | | `python/pist_matrix_builder.py` | — | — | active | — | — | — | diff --git a/exe/RrcEmitFixture.lean b/exe/RrcEmitFixture.lean index a02907ac..a40b4bb5 100644 --- a/exe/RrcEmitFixture.lean +++ b/exe/RrcEmitFixture.lean @@ -1,5 +1,5 @@ import SilverSight.AVMIsa.Emit def main : IO UInt32 := do - IO.println SilverSight.AVMIsa.Emit.emitFixtureCorpus + IO.println SilverSight.AVMIsa.Emit.emitCorpus250 return 0 diff --git a/formal/SilverSight/AVMIsa/Emit.lean b/formal/SilverSight/AVMIsa/Emit.lean index 069439d3..61cdaa75 100644 --- a/formal/SilverSight/AVMIsa/Emit.lean +++ b/formal/SilverSight/AVMIsa/Emit.lean @@ -14,6 +14,7 @@ import SilverSight.AVMIsa.Run import SilverSight.ReceiptCore import SilverSight.RRCLogogramProjection import SilverSight.RRC.Emit +import SilverSight.RRC.Corpus250 namespace SilverSight.AVMIsa.Emit @@ -225,6 +226,29 @@ def emitFixtureCorpus : String := s!"\"summary\":{summaryStr}," ++ s!"\"rows\":{classified.rowsJson}}" +open SilverSight.RRC.Corpus250 in +/-- Stamp the full 250-equation corpus: run the alignment gate (RRC.Emit), then + mint an AVM-authority receipt for the whole bundle, and emit JSON. + + The AVM canary suite must pass for the bundle receipt to be valid. + Individual row receipts reflect alignment-gate pass/fail independently. -/ +def emitCorpus250 : String := + let classified := SilverSight.RRC.Emit.emitCorpus "rrc_emit_corpus250_v1" corpus250 + let avmOk := canaryReceipts.all (·.valid) + let bundleReceipt := leanBuildReceipt "avm.rrc_corpus250.bundle" avmOk + let total := classified.totalRows + let passed := classified.candidateRows + let held := total - passed + let summaryStr := + s!"\{\"total\":{total},\"passed_alignment\":{passed},\"held\":{held}," ++ + s!"\"not_promoted\":{total}}" + s!"\{\"schema\":\"avm_rrc_corpus250_v1\"," ++ + s!"\"claim_boundary\":\"admissibility-and-routing-pass-only;not-promoted\"," ++ + s!"\"avm_canaries_passed\":{jsonBool avmOk}," ++ + s!"\"bundle_receipt_valid\":{jsonBool bundleReceipt.valid}," ++ + s!"\"summary\":{summaryStr}," ++ + s!"\"rows\":{classified.rowsJson}}" + -- ───────────────────────────────────────────────────────────────────────────── -- §8 Proof-of-life eval witnesses -- ───────────────────────────────────────────────────────────────────────────── diff --git a/formal/SilverSight/RRC/Corpus250.lean b/formal/SilverSight/RRC/Corpus250.lean new file mode 100644 index 00000000..b61e6ed0 --- /dev/null +++ b/formal/SilverSight/RRC/Corpus250.lean @@ -0,0 +1,3533 @@ +-- 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 diff --git a/lakefile.lean b/lakefile.lean index eb0869e6..2d553e4e 100644 --- a/lakefile.lean +++ b/lakefile.lean @@ -42,6 +42,7 @@ lean_lib «SilverSightRRC» where `SilverSight.RRCLogogramProjection, `SilverSight.ReceiptCore, `SilverSight.RRC.Emit, + `SilverSight.RRC.Corpus250, `SilverSight.AVMIsa.Types, `SilverSight.AVMIsa.Value, `SilverSight.AVMIsa.Instr, diff --git a/python/build_corpus250.py b/python/build_corpus250.py new file mode 100644 index 00000000..ead1b154 --- /dev/null +++ b/python/build_corpus250.py @@ -0,0 +1,233 @@ +#!/usr/bin/env python3 +# /// script +# requires-python = ">=3.10" +# dependencies = [] +# /// +""" +Build formal/SilverSight/RRC/Corpus250.lean from +archive/experimental-shim-probes/rrc_equation_classifier_receipt.json, +merged with 8×8 braid adjacency matrices from +shared-data/rrc_pist_predictions_250_v1.json. + +Python's role: + - read raw features from the classifier receipt + - merge matrices by invariant_receipt.object_id + - emit deterministic Lean source + +Lean's role: + - PIST classification (classifyProxy/classifyExact) from the matrix + - alignment gate via determineAlignment + - receipt stamping and all admissibility/promotion decisions + +Usage: + python3 python/build_corpus250.py + python3 python/build_corpus250.py \ + --receipt /path/to/rrc_equation_classifier_receipt.json \ + --predictions /path/to/rrc_pist_predictions_250_v1.json \ + --out-lean formal/SilverSight/RRC/Corpus250.lean +""" +from __future__ import annotations +import argparse, hashlib, json, sys +from pathlib import Path + + +# classifier JSON shape name → SilverSight.RRCLogogramProjection.RRCShape constructor +SHAPE_MAP = { + "CognitiveLoadField": ".cognitiveLoadField", + "SignalShapedRouteCompiler": ".signalShapedRouteCompiler", + "ProjectableGeometryTopology": ".projectableGeometryTopology", + "CadForceProbeReceipt": ".cadForceProbeReceipt", + "LogogramProjection": ".logogramProjection", + "HoldForUnlawfulOrUnderspecifiedShape": ".holdForUnlawfulOrUnderspecifiedShape", +} + + +def template_key(rrc_kind: str, status: str) -> str: + """Map rrc_kind + classifier status to a page-generator template key.""" + if status == "HOLD": + return "hold" + kind_map = { + "cognitive_field_receipt": "definition", + "compression_route_prior": "master_equation", + "geometry_topology_receipt": "definition", + "cad_force_receipt": "gate", + "logogram_projection": "receipt", + "negative_control": "hold", + } + return kind_map.get(rrc_kind, "definition") + + +def operator_tokens(er: dict) -> list[str]: + """Derive operator/domain tokens from route_hint, rrc_kind, and equation text.""" + tokens = [] + rh = (er.get("route_hint_non_authoritative") or "").strip() + rk = (er.get("rrc_kind") or "").strip() + if rh and rh != "unclassified_equation": + tokens.append(rh) + if rk: + tokens.append(rk) + eq_text = (er.get("equation") or "").lower() + for op in ["exp(", "log(", "max(", "min(", "sum(", "integral", "derivative", + "laplacian", "nabla", "div(", "curl(", "sigmoid", "softmax", + "tanh(", "relu(", "norm(", "dot(", "cross("]: + if op in eq_text: + tokens.append(op.rstrip("(")) + return list(dict.fromkeys(tokens)) + + +def lean_str(s: str) -> str: + s = s.replace("\\", "\\\\").replace('"', '\\"') + return f'"{s}"' + + +def lean_opt(s: str | None) -> str: + return "none" if s is None else f"some {lean_str(s)}" + + +def lean_str_list(xs: list[str]) -> str: + return "[" + ", ".join(lean_str(x) for x in xs) + "]" + + +def load_matrices(path: Path) -> dict[str, list[list[int]]]: + """Load predictions JSON into equation_id → matrix lookup.""" + data = json.loads(path.read_text()) + return { + p.get("equation_id", ""): p.get("matrix_8x8", []) + for p in data.get("predictions", []) + if p.get("equation_id") + } + + +def main() -> int: + parser = argparse.ArgumentParser(description="Generate SilverSight RRC Corpus250.lean") + parser.add_argument( + "--receipt", + type=Path, + default=Path("/home/allaun/Research Stack/archive/experimental-shim-probes/rrc_equation_classifier_receipt.json"), + help="Path to rrc_equation_classifier_receipt.json", + ) + parser.add_argument( + "--predictions", + type=Path, + default=Path("/home/allaun/Research Stack/shared-data/rrc_pist_predictions_250_v1.json"), + help="Path to rrc_pist_predictions_250_v1.json", + ) + parser.add_argument( + "--out-lean", + type=Path, + default=Path("formal/SilverSight/RRC/Corpus250.lean"), + help="Output Lean module path", + ) + args = parser.parse_args() + + receipt = json.loads(args.receipt.read_text()) + eqs = receipt.get("compiled_equations", []) + matrices = load_matrices(args.predictions) + print(f"Loaded {len(eqs)} equations and {len(matrices)} matrices", file=sys.stderr) + + # Deterministic order by equation_id. + eqs_sorted = sorted(eqs, key=lambda eq: eq.get("invariant_receipt", {}).get("object_id", "")) + + # Content hash over the raw corpus data for reproducibility. + content_blob = json.dumps( + [ + { + "object_id": eq.get("invariant_receipt", {}).get("object_id"), + "name": eq.get("equation_record", {}).get("name"), + "shape": eq.get("invariant_receipt", {}).get("shape"), + "status": eq.get("invariant_receipt", {}).get("status"), + "matrix": matrices.get(eq.get("invariant_receipt", {}).get("object_id", "")), + } + for eq in eqs_sorted + ], + sort_keys=True, + separators=(",", ":"), + ).encode("utf-8") + content_hash = hashlib.sha256(content_blob).hexdigest() + + rows: list[str] = [] + for eq in eqs_sorted: + er = eq["equation_record"] + ir = eq["invariant_receipt"] + tw = eq["type_witness"] + + eq_id = ir.get("object_id", "") + name = er.get("name", "") + shape_str = ir.get("shape", "HoldForUnlawfulOrUnderspecifiedShape") + lean_shape = SHAPE_MAP.get(shape_str, ".holdForUnlawfulOrUnderspecifiedShape") + status_str = ir.get("status", "HOLD") + lean_status = ".candidate" if status_str == "CANDIDATE" else ".hold" + rrc_kind = er.get("rrc_kind", "") + weak_cnt = len(tw.get("missing_or_weak_axes") or []) + + op_tokens = operator_tokens(er) + inv_declared = (er.get("domain_type") or "unknown").strip() or "unknown" + bound_conds = (er.get("bind_class") or "unknown").strip() or "unknown" + t_key = template_key(rrc_kind, status_str) + route_hint = er.get("route_hint_non_authoritative") or "unclassified_equation" + t_params = f"route={route_hint};shape={shape_str}" + arxiv_pid = (er.get("arxiv_paper_id") or "").strip() or None + + rows.append( + f" {{ equationId := {lean_str(eq_id)}\n" + f" name := {lean_str(name)}\n" + f" shape := {lean_shape}\n" + f" status := {lean_status}\n" + f" rrcKind := {lean_str(rrc_kind)}\n" + f" weakAxesCnt := {weak_cnt}\n" + f" pistProxyLabel := Option.bind (findMatrix {lean_str(eq_id)}) SilverSight.PIST.Classify.classifyProxy\n" + f" pistExactLabel := Option.bind (findMatrix {lean_str(eq_id)}) SilverSight.PIST.Classify.classifyExact\n" + f" arxivPaperId := {lean_opt(arxiv_pid)}\n" + f" operatorTokens := {lean_str_list(op_tokens)}\n" + f" invariantsDeclared := {lean_str(inv_declared)}\n" + f" boundaryConds := {lean_str(bound_conds)}\n" + f" templateKey := {lean_str(t_key)}\n" + f" templateParams := {lean_str(t_params)} }}" + ) + + lines = [ + "-- 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", + f"-- Content hash (SHA-256): {content_hash}", + f"-- Equation count: {len(rows)}", + "--", + "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 := [", + ",\n".join(rows), + "]", + "", + "end SilverSight.RRC.Corpus250", + "", + ] + + args.out_lean.parent.mkdir(parents=True, exist_ok=True) + args.out_lean.write_text("\n".join(lines)) + print(f"Wrote {args.out_lean} ({len(rows)} rows)", file=sys.stderr) + return 0 + + +if __name__ == "__main__": + sys.exit(main())