diff --git a/0-Core-Formalism/lean/Semantics/Semantics/AVMIsa/Emit.lean b/0-Core-Formalism/lean/Semantics/Semantics/AVMIsa/Emit.lean index e3f35533..c66ff3bb 100644 --- a/0-Core-Formalism/lean/Semantics/Semantics/AVMIsa/Emit.lean +++ b/0-Core-Formalism/lean/Semantics/Semantics/AVMIsa/Emit.lean @@ -13,6 +13,7 @@ import Semantics.AVMIsa.Run import Semantics.ReceiptCore import Semantics.RRCLogogramProjection +import Semantics.RRC.Corpus278 namespace Semantics.AVMIsa.Emit @@ -186,7 +187,46 @@ def emit : EmitResult := json := jsonBody } -- ───────────────────────────────────────────────────────────────────────────── --- §7 Proof-of-life eval witnesses +-- §7 RRC corpus stamping (278-equation corpus → AVM-stamped receipt bundle) +-- +-- Architecture: +-- Semantics.RRC.Corpus278 — raw features (Python-supplied, no decisions) +-- Semantics.RRC.Emit — alignment gate (Lean classifies) +-- Semantics.AVMIsa.Emit — AVM stamps final receipt + emits JSON (here) +-- +-- The AVM is the sole output boundary. RRC.Emit feeds it; AVMIsa.Emit +-- stamps it. Promotion remains not_promoted at this stage. +-- ───────────────────────────────────────────────────────────────────────────── + +open Semantics.RRC.Emit in +open Semantics.RRC.Corpus278 in +/-- Stamp the 278-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 emitRrcCorpus278 : String := + -- 1. Classify all 278 rows through the alignment gate + let classified := emitCorpus "rrc_corpus278_v1" corpus278 + -- 2. Run AVM canaries — AVM must be live for the bundle to be valid + let avmOk := canaryReceipts.all (·.valid) + -- 3. Mint AVM-authority bundle receipt + let bundleReceipt := leanBuildReceipt "avm.rrc_corpus278.bundle" avmOk + -- 4. Compute summary statistics + let total := classified.totalRows + let passed := classified.candidateRows + let held := total - passed + -- 5. Emit JSON — AVM is the output boundary + s!"\{\"schema\":\"avm_rrc_corpus278_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\":\{\"total\":{total},\"passed_alignment\":{passed},\"held\":{held}," ++ + s!"\"not_promoted\":{total}}}," ++ + s!"\"rows\":{classified.json}}" + +-- ───────────────────────────────────────────────────────────────────────────── +-- §8 Proof-of-life eval witnesses -- ───────────────────────────────────────────────────────────────────────────── -- Individual canary checks @@ -197,7 +237,16 @@ def emit : EmitResult := -- Receipt validity #eval canaryReceipts.map (fun r => (r.targetId, r.valid)) --- Full JSON bundle (the "rainbow raccoon compiler" output) +-- Full canary JSON bundle (the "rainbow raccoon compiler" output) #eval emit.json +-- 278-equation corpus: AVM stamps the bundle, RRC.Emit classifies rows +-- (summary only — full JSON is ~200KB) +open Semantics.RRC.Emit in +open Semantics.RRC.Corpus278 in +#eval + let r := emitCorpus "rrc_corpus278_v1" corpus278 + (r.totalRows, r.candidateRows, r.totalRows - r.candidateRows) + -- expect: (278, , ) + end Semantics.AVMIsa.Emit diff --git a/0-Core-Formalism/lean/Semantics/Semantics/RRC/Corpus278.lean b/0-Core-Formalism/lean/Semantics/Semantics/RRC/Corpus278.lean new file mode 100644 index 00000000..4dfe1f04 --- /dev/null +++ b/0-Core-Formalism/lean/Semantics/Semantics/RRC/Corpus278.lean @@ -0,0 +1,3639 @@ +-- Semantics.RRC.Corpus278 — AUTO-GENERATED by build_corpus278.py +-- DO NOT EDIT BY HAND. Regenerate with: +-- python3 4-Infrastructure/shim/build_corpus278.py +-- +-- Python role: raw feature extraction only. +-- Lean role: alignment gate, receipt stamping, all output decisions. +-- +-- Source: archive/experimental-shim-probes/rrc_equation_classifier_receipt.json +-- Equation count: 278 + +import Semantics.RRC.Emit + +namespace Semantics.RRC.Corpus278 + +open Semantics.RRC.Emit +open Semantics.RRCLogogramProjection +open Semantics.ReceiptCore + +/-- Full 278-equation corpus from rrc_equation_classifier_receipt.json. + Each row carries raw features only; the alignment gate in + Semantics.RRC.Emit.emitCorpus makes all admissibility decisions. -/ +def corpus278 : List FixtureRow := [ + { equationId := "rrc_eq_86ccde7bfd669b77" + name := "bandwidth_adjusted_threshold" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_cabf5eab335f2d23" + name := "bandwidth_overflow" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "max"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_5d39c74f1cbc3aab" + name := "effective_cognitive_load" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_aaddd26cf129e0ff" + name := "emotional_gate" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_931cb5c74aaade03" + name := "emotional_load" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_bf9f2062b96a9d25" + name := "emotional_offload" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "max"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_9817626505a4fedf" + name := "historical_emotional_barrier" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_01ab6e9c32652d06" + name := "historical_emotional_temperature" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_90bbd1bf7d23655e" + name := "overflow_gate" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_f46446cfb0f8d5b1" + name := "raw_cognitive_load" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "max"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_72b416376f1bf5b0" + name := "threshold" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_85435dde0bcc5cfd" + name := "total_protective_load" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_2efd637f1e4bd389" + name := "trauma_adjusted_emotional_barrier" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_0abce0721f473201" + name := "trauma_adjusted_emotional_temperature" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_ae70c43fd815392e" + name := "trauma_adjusted_offload_efficiency" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_df9f885395884594" + name := "trauma_adjusted_threshold" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_ac1a7a22801b7d77" + name := "core_equations" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["transfold", "compression_route_prior", "exp", "log", "max", "sigmoid"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=transfold;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_296f8ca4495edd26" + name := "field_mapping" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["magnetic_signal", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=magnetic_signal;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_dd01aec7b2c20774" + name := "source_domain" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["transfold", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=transfold;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_1038b814e5a78435" + name := "target_domain" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["transfold", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=transfold;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_811d99697e055c2b" + name := "heat_loss" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["transfold", "compression_route_prior", "max"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=transfold;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_8c569cbfc2385eab" + name := "magnetic_projection" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["transfold", "compression_route_prior", "sigmoid"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=transfold;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_35e1c2bc2da6d854" + name := "overflow_gate" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["control_signal", "cognitive_field_receipt", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=control_signal;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_8a05e2496e67848b" + name := "signal_load" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "log"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_3f87d2c06726bc30" + name := "core_equations" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["transfold", "compression_route_prior", "exp", "log", "max", "sigmoid"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=transfold;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_3e634eac50426ea3" + name := "field_mapping" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["magnetic_signal", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=magnetic_signal;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_8a4d6790faf66d6b" + name := "source_domain" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["transfold", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=transfold;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_673652a4317dd847" + name := "target_domain" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["transfold", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=transfold;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_f691b1b9f433854f" + name := "heat_loss" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["transfold", "compression_route_prior", "max"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=transfold;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_5e10957e0cbb9de8" + name := "magnetic_projection" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["transfold", "compression_route_prior", "sigmoid"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=transfold;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_b9eb3119b4d99483" + name := "overflow_gate" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["control_signal", "cognitive_field_receipt", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=control_signal;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_a9bdc40d07c74659" + name := "signal_load" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "log"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_2ee35bd32d933ac7" + name := "counted_total" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_e517db2c50e19613" + name := "hard_target_rule" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_f4249695d9de4adc" + name := "hutter_route_metastate" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "master_equation" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_6f8b200d29180003" + name := "lower_bound" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_d76203fbca4e9b81" + name := "metastate_transfold" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["transfold", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=transfold;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_079917209598b9e1" + name := "promotion_rule" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_0edd7758873784a5" + name := "prune_rule" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_372fdc0c8b995ef2" + name := "source_equation_surface" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_5193efd26258bc51" + name := "UQGET_Hubble_Tension" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "geometric_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_64f81fa3c4725d4e" + name := "UQGET_Structure_Tension" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "geometric_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_e43c6929cd3bc3bf" + name := "UQGET_Statistical_Fit" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "geometric_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_6d33c14a88eb0a12" + name := "LASSO_MOGAT_GAT_Propagation" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_1f912c8afa928326" + name := "LASSO_MOGAT_Attention_Coefficient" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control", "softmax", "relu"] + invariantsDeclared := "informational_bind" + 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 := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "thermodynamic_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_9a468347631152ce" + name := "Multiphasic_Allometry_Quadratic" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "thermodynamic_bind" + boundaryConds := "unknown" + 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 := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "thermodynamic_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_7995b3bdb3f05ce3" + name := "Affine_Mapping_LTSF_Linear_Layer" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "informational_bind" + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "informational_bind" + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_8500000bbf612a0e" + name := "Affine_Mapping_Scaled_Periodic" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "informational_bind" + 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 := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "thermodynamic_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_0606dcb042ba0e6f" + name := "MOF_CO2_Reduction_Formic_Acid" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "thermodynamic_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_185011f4d6cf6a2b" + name := "MOF_CO2_Reduction_6e_Methanol" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "thermodynamic_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_891a81dfc968f58e" + name := "MOF_CO2_Reduction_8e_Methane" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "thermodynamic_bind" + boundaryConds := "unknown" + 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 := none + pistExactLabel := none + operatorTokens := ["chaotic_couch", "compression_route_prior"] + invariantsDeclared := "thermodynamic_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=chaotic_couch;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_64f81fa3c4725d4e" + name := "Intrinsic_Load_LI" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_e43c6929cd3bc3bf" + name := "NES_GCL_Square_Wave_Compression" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_6d33c14a88eb0a12" + name := "NES_OISC_GCL_LUT_Architecture" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["control_signal", "cognitive_field_receipt"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=control_signal;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_1f912c8afa928326" + name := "Unified_Shader_GCL_Audio_Stack" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_535b43060096e699" + name := "Unified_Cartridge_Controller_Stack" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["control_signal", "cognitive_field_receipt"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=control_signal;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_9a468347631152ce" + name := "Topological_NanoKernel_UART_Stack" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_c8d2e5596d91ebbd" + name := "NES_Sound_Line_DSP_Math" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_7995b3bdb3f05ce3" + name := "Unified_Metaprobe_Collapse" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_a4adf8b5cc0e5c73" + name := "Final_Unified_Math_Collapse" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_f010fb33997b8f51" + name := "Voltage_Computational_Substrate" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "informational_bind" + 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 := none + pistExactLabel := none + operatorTokens := ["control_signal", "cognitive_field_receipt"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=control_signal;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_8b812bf47cc024b4" + name := "Quad_Sampled_Scanlines" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["control_signal", "cognitive_field_receipt"] + invariantsDeclared := "informational_bind" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=control_signal;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_0606dcb042ba0e6f" + name := "Microgrid_Voxel_Emulation" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["control_signal", "cognitive_field_receipt"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=control_signal;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_e43c6929cd3bc3bf" + name := "Extraneous_Load_LE" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_6d33c14a88eb0a12" + name := "Germane_Load_LG" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt", "log"] + invariantsDeclared := "LAYER_B_ROUTING" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_1f912c8afa928326" + name := "Routing_Load_LR" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_B_ROUTING" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_535b43060096e699" + name := "Memory_Load_LM" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_B_ROUTING" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_9a468347631152ce" + name := "Total_Cognitive_Load" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_c8d2e5596d91ebbd" + name := "Cognitive_Efficiency" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_7995b3bdb3f05ce3" + name := "Regret_Adjusted_Load" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_a4adf8b5cc0e5c73" + name := "Basin_Conditional_Load" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_f010fb33997b8f51" + name := "MoE_Predictor_Distribution" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cognitive_load", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=cognitive_load;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_8500000bbf612a0e" + name := "Pressure_Piling" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_E_VERIFICATION" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_8b812bf47cc024b4" + name := "Hugoniot_Temperature" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_0606dcb042ba0e6f" + name := "Pressure_Ionization" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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_185011f4d6cf6a2b" + name := "Energy_Recovery_Efficiency" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_E_VERIFICATION" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_891a81dfc968f58e" + name := "Q_Factor" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_E_VERIFICATION" + boundaryConds := "thermodynamic_bind" + templateKey := "definition" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_45606d1f25dd6aa5" + name := "Coupling_Weight" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_39d59d35fd9672a0" + name := "Rotational_Alignment" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_3db7a0150185b5a1" + name := "Spatial_Proximity" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + 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_982c784b74af6c5c" + name := "Interaction_Force" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_H_ALGEBRA" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_d93085afc737effa" + name := "Energy_Function" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_e4b70a718fcfb1ab" + name := "Frame_Evolution_Discrete" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_H_ALGEBRA" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_aafdb23c6c8cb77a" + name := "Frame_Evolution_Continuous" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_H_ALGEBRA" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_6abda80c652b80c8" + name := "Energy_Monotonicity_Theorem" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_H_ALGEBRA" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_251255e3132f5533" + name := "Temporal_Weight" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_12d5519ce1a35889" + name := "Complete_Weight_5Factor" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + 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_98b0599e8c46c1bf" + name := "Temporal_Force" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_2f44e729b9d25d34" + name := "Temporal_Evolution" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_795413454087e025" + name := "Temporal_Stability" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_D_INVARIANTS" + 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 := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_310ec3a93d82b04e" + name := "Mu_Seed_Cardinality" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_D_INVARIANTS" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_10c072664568b78d" + name := "Fractal_Occupancy" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_D_INVARIANTS" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_a91f2f772995a9b9" + name := "Total_Formal_State_Space" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_B_ROUTING" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_1f12deb00ad16d8f" + name := "Reachable_State_Space" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_03c5ca134c799e06" + name := "Wave_Packet_State" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_56bc9e8becb7bcba" + name := "Throat_Condition" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_BRAID" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_e672df600fa82b76" + name := "Multi_Factor_Coupling_Weight" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_BRAID" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_bd8bcf9cb663c096" + name := "Holonomy_Accumulation" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_BRAID" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_2ee9bc98d2a7c773" + name := "Non_Euclidean_Distance" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_9064d88b17992de3" + name := "Trixal_Axes" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_cf576a1cfbd9da63" + name := "Shannon_Entropy" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "thermodynamic_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 := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "thermodynamic_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 := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_c8b7f0fe52ef32fe" + name := "Entropy_Gradient" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_H_ALGEBRA" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_71dd02d32f3e59b0" + name := "Mutual_Information_Extracted" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_d07532a1db76d958" + name := "Carnot_Efficiency" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_B_ROUTING" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_7533d46cedd4a4c5" + name := "Work_Extraction" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_1f5af7e9fb2b518f" + name := "Irreversibility_Metric" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_685a03c6c1db609e" + name := "Thermodynamic_Length" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_B_ROUTING" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_4cab00eaeac59782" + name := "Thermodynamic_Depth" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_4c87c96f612f6100" + name := "Stamp_Code" + shape := .logogramProjection + status := .hold + rrcKind := "logogram_projection" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "logogram_projection"] + invariantsDeclared := "LAYER_B_ROUTING" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=LogogramProjection" }, + { equationId := "rrc_eq_25d3e2f91df8c0a0" + name := "Arrhenius_Temperature_Factor" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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_3ad1c4d008fc910b" + name := "Blacks_Equation_EM" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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_10dfe03d2d21bf90" + name := "Coffin_Manson_Fatigue" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "thermodynamic_bind" + templateKey := "definition" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_b8bfc827c0fd3d28" + name := "Landauer_Limit" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_20b0dce68b1ff729" + name := "Entropy_Generation_Rate" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_E_VERIFICATION" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_e58f768224fb1bbe" + name := "BitFlip_Gradient_5D" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_D_INVARIANTS" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_9166088a2f79f059" + name := "SEU_BitFlip_Rate" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_f6ecffdb3a584bc6" + name := "Stress_Decay" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_3fbf8213151eae2f" + name := "Remaining_Useful_Life" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_7731084327989290" + name := "Homeostatic_Stress_Injection" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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_613c8a56dee0f83a" + name := "Exact_Int_to_FP_Cast" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_D_INVARIANTS" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_dd3140340d9c9a33" + name := "Safe_Narrowing_Proof" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_D_INVARIANTS" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_1fe1cbc05827ec00" + name := "RISCV_Instruction_Latency" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_D_INVARIANTS" + boundaryConds := "thermodynamic_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_78fb56a55b615659" + name := "Photon_Energy" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "physical_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_ec7566b5d400a6fb" + name := "Subband_Spacing" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "physical_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_cc8b5f7c4742473c" + name := "Cascade_Gain" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "physical_bind" + 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 := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "physical_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_b975f510c14227e3" + name := "Injection_Efficiency" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "physical_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_9d1897c1a7967172" + name := "Atmospheric_Windows" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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_45b2907bd442578f" + name := "Tuning_Range" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_G_ENERGY" + boundaryConds := "physical_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_7956fd7c6e98638a" + name := "Mutual_Information_Signal" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_21c2954626a5661d" + name := "kNN_MI_Prediction" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "LAYER_B_ROUTING" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_8018bcedc9b84a9d" + name := "Surprise_Metric" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + 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_0d19ee61a2cd8497" + name := "Structure_Yield" + shape := .signalShapedRouteCompiler + status := .hold + rrcKind := "compression_route_prior" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_e2f1f1f142418961" + name := "Weighted_Feature_Distance" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "LAYER_B_ROUTING" + boundaryConds := "informational_bind" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_7076f5bdea119531" + name := "DAG_Force_Equilibrium" + shape := .cadForceProbeReceipt + status := .hold + rrcKind := "cad_force_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cad_force", "cad_force_receipt"] + invariantsDeclared := "LAYER_C_BRAID" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=cad_force;shape=CadForceProbeReceipt" }, + { equationId := "rrc_eq_f112b5836bdbd47d" + name := "Constitutive_Law" + shape := .cadForceProbeReceipt + status := .hold + rrcKind := "cad_force_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cad_force", "cad_force_receipt"] + invariantsDeclared := "LAYER_C_BRAID" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=cad_force;shape=CadForceProbeReceipt" }, + { equationId := "rrc_eq_59c14acaba40cdc9" + name := "DAG_Global_Validity" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_BRAID" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_f9a9276cb08dd3bb" + name := "Cosine_Similarity" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_K_SIGNAL" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_bf1b905e94089ddc" + name := "Gradient_Alignment" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_K_SIGNAL" + 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 := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_K_SIGNAL" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_7cdf1c3e052e1f33" + name := "Metric_Tensor_From_Circumferences" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_20f6a9ed1c2675da" + name := "Line_Element" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_68ac9a041d842bcf" + name := "Christoffel_Symbols_2D" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_e9cff20a11527ba0" + name := "Geodesic_Step_Symplectic_Euler" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_77bd06f725c27b4d" + name := "Stereographic_Chart_Transition" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_9f67a9105f9e0e3c" + name := "Chirality_Algebra" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_d726df3a6c9943ff" + name := "BLINK_GATE_Ternary_Clock" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 0 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["control_signal", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "control_bind" + templateKey := "definition" + templateParams := "route=control_signal;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_feea4fcff27bd600" + name := "Geodesic_Step_Verlet" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 2 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "geometry_topology_receipt"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "geometric_bind" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" }, + { equationId := "rrc_eq_c3f6aa5efce88262" + name := "Waveprobe_Risk_Function" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["control_signal", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_F_CONTROL" + boundaryConds := "control_bind" + templateKey := "hold" + templateParams := "route=control_signal;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_4430cc5b9ebb8311" + name := "Waveprobe_Heat_Evolution" + shape := .cognitiveLoadField + status := .hold + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["thermodynamic_energy", "cognitive_field_receipt"] + invariantsDeclared := "LAYER_F_CONTROL" + boundaryConds := "control_bind" + templateKey := "hold" + templateParams := "route=thermodynamic_energy;shape=CognitiveLoadField" }, + { equationId := "rrc_eq_a4348738394b0597" + name := "extracted_md_equation_0" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_bb071a3f64f90363" + name := "extracted_md_equation_1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_5a01598605abcd3f" + name := "extracted_md_equation_2" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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 := none + pistExactLabel := none + 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 := none + pistExactLabel := none + 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 := none + pistExactLabel := none + 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 := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + 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 := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_685a969028ff5c50" + name := "extracted_md_equation_10" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + 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 := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_decad728fbd76456" + name := "extracted_md_equation_13" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control"] + 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 := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_2f24d8cc16590af0" + name := "extracted_md_equation_17" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_5ece89b86c865faf" + name := "extracted_md_equation_18" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_bfd316d8427b2f6c" + name := "extracted_md_equation_19" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_12d678b6dc94f9d6" + name := "extracted_md_equation_20" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_0252524b379eac41" + name := "extracted_md_equation_21" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_8acff8093805680f" + name := "extracted_md_equation_22" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_3305fd3254a89e5b" + name := "extracted_md_equation_24" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_3654d8cd243cde2b" + name := "extracted_md_equation_26" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_e5f58db6423d2f9c" + name := "extracted_md_equation_27" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_bedb0334896533f3" + name := "extracted_md_equation_29" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_cbefaa1738883221" + name := "extracted_md_equation_30" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_fc46c7ee6a40460d" + name := "extracted_md_equation_32" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control", "exp"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_0ddb4aae4fd1d8d5" + name := "extracted_md_equation_33" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_81ad5c64ecea2574" + name := "extracted_md_equation_34" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_aef93abc672b8e29" + name := "extracted_md_equation_35" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_ef9d2a2f3c8de320" + name := "extracted_md_equation_37" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + 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 := none + pistExactLabel := none + operatorTokens := ["compression_route", "compression_route_prior"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" }, + { equationId := "rrc_eq_4b6cfeff599d0583" + name := "extracted_md_equation_39" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_b639be44c38e19f1" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_d24270e4be19de76" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_b20eddced9a6b7da" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_9c22fd7b336c5904" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_2f9d4e3b2060b799" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_56d979e780ead00b" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_e22543ef62f2494e" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_603b460ebf696fbb" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_17cb89b04d825252" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_7106bb20125b3d6f" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_b650dd7bdbcd9bcb" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_b97583b24c3b2936" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_d521b2282dde0c38" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_282beac067cdee85" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_07b0a4a6f75d86b4" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_295fb47f2cd6ddfb" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_1d0a752af1946515" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_3a60fca57229c15b" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_e25b46d22b7ca0f1" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_14fd73dcf1af02b8" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_e6a6d86ede20e5ad" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_a5fbdc2a7f09759e" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_b2fc5edc90c4c538" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_05370b4783a8bd6a" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_d356d2da175a4185" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_d9785ef71690f60b" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_74c2bb3396094843" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_5281edbc9d70f191" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_3fc5864a199b7aa9" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_04ac9264dcd7c6c1" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_4795802d1dfe8dc9" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_3823a73f30463f6e" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_774c019464fd328c" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_c221ccc2bc9ccc45" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_16a8e172297c28a7" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_50659e00428d753c" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_d618a97b4f87abe9" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_ce049f9298cfb095" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_ea1df518da53e850" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_a91ed081e55a7adc" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_3c97cd0a63059c60" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_114c66f1878ac7b8" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_1975033c8fbea2a4" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_66f6066b3fb74fcb" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_75b10c1207c769bb" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_07bd7750aa9c1698" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_c704bc7e7c531303" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_9781272a1dff3d7d" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_1b1de15c4bbf2d2e" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_f26b20a02d1cf105" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_87b4887fb400c8c8" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_d767dc5b5996f6dc" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_4d8a407792ae463c" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_68bc5f8d951cef23" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control", "log"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_181e73a390899053" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_b720db642290ed9d" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control", "log"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_3e9910b639adf295" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_8beb9cc11e59ff37" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_9d485a8333644b3b" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_6dcfafa9019b29a2" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_810420419a4025f0" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_3ed73c5849372e40" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_84f94841b9e9578b" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_e0ac7e1847f830a3" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_068487b9141c4fb6" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_8ffeff0c4877aa25" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_2c1d4c645f0025fb" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_05407e13b79c062b" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_d4e90c1cd69ef948" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_131b32c8ed70796c" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_e6b902735f906c33" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_c5417aae2492b416" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_c3dde450e7ce933a" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_d75b1352c39fe13e" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_80edc83f7fb3d80e" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" }, + { equationId := "rrc_eq_bcd458bef84fe2a2" + name := "arXiv:2604.21919v1" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 1 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["negative_control"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" } +] + +end Semantics.RRC.Corpus278 diff --git a/0-Core-Formalism/lean/Semantics/Semantics/RRC/Emit.lean b/0-Core-Formalism/lean/Semantics/Semantics/RRC/Emit.lean index 9ac371d7..72cdd325 100644 --- a/0-Core-Formalism/lean/Semantics/Semantics/RRC/Emit.lean +++ b/0-Core-Formalism/lean/Semantics/Semantics/RRC/Emit.lean @@ -64,24 +64,42 @@ inductive Promotion where Fields match the invariant_receipt + equation_record structure from rrc_equation_classifier_receipt.json: - - equationId: "rrc_eq_" stable object identifier - - name: human-readable equation name - - shape: RRC routing shape (from RRCLogogramProjection.RRCShape) - - status: witness status (candidate or hold) - - rrcKind: classifier receipt kind tag - - weakAxesCnt: count of weak (missing) projection axes — proxy for receipt_density gap - - pistProxyLabel: PIST proxy classifier output (if any) - - pistExactLabel: PIST exact classifier output (if any) + - equationId: "rrc_eq_" stable object identifier + - name: human-readable equation name + - shape: RRC routing shape (from RRCLogogramProjection.RRCShape) + - status: witness status (candidate or hold) + - rrcKind: classifier receipt kind tag + - weakAxesCnt: count of weak (missing) projection axes — proxy for receipt_density gap + - pistProxyLabel: PIST proxy classifier output (if any) + - pistExactLabel: PIST exact classifier output (if any) + + Generator fields (for EN9wiki page generation): + - operatorTokens: operator/domain tokens derived from route_hint and rrc_kind + e.g. ["cognitive_load", "exponential_decay"] + - invariantsDeclared: declared invariant family from domain_type + e.g. "LAYER_G_ENERGY" or "unknown" + - boundaryConds: binding class / boundary condition family + e.g. "thermodynamic_bind" or "unknown" + - templateKey: which page-generator template applies + e.g. "definition", "master_equation", "gate", "receipt", "hold" + - templateParams: compact parameter string for deterministic rendering + e.g. "route=cognitive_load;shape=CognitiveLoadField" -/ structure FixtureRow where - equationId : String - name : String - shape : RRCShape - status : WitnessStatus - rrcKind : String - weakAxesCnt : Nat - pistProxyLabel : Option String -- None when PIST has no prediction - pistExactLabel : Option String + equationId : String + name : String + shape : RRCShape + status : WitnessStatus + rrcKind : String + weakAxesCnt : Nat + pistProxyLabel : Option String -- None when PIST has no prediction + pistExactLabel : Option String + -- Generator fields + operatorTokens : List String -- domain/operator token list + invariantsDeclared : String -- declared invariant family or "unknown" + boundaryConds : String -- binding class or "unknown" + templateKey : String -- page-generator template key + templateParams : String -- compact rendering parameter string deriving Repr -- ───────────────────────────────────────────────────────────────────────────── @@ -146,15 +164,21 @@ def alignmentWarnings (status : AlignmentStatus) : List String := -- ───────────────────────────────────────────────────────────────────────────── structure RrcRow where - equationId : String - name : String - shape : RRCShape - status : WitnessStatus - alignmentStatus : AlignmentStatus - alignmentScore : Nat -- integer, denominator 100 - promotion : Promotion - warnings : List String - receipt : Receipt + equationId : String + name : String + shape : RRCShape + status : WitnessStatus + alignmentStatus : AlignmentStatus + alignmentScore : Nat -- integer, denominator 100 + promotion : Promotion + warnings : List String + receipt : Receipt + -- Generator fields (passed through from FixtureRow) + operatorTokens : List String + invariantsDeclared : String + boundaryConds : String + templateKey : String + templateParams : String deriving Repr def compileRow (row : FixtureRow) : RrcRow := @@ -163,15 +187,20 @@ def compileRow (row : FixtureRow) : RrcRow := let warnings := alignmentWarnings aStatus let passed := aStatus != .missingPrediction && aStatus != .alignmentWarning let receipt := leanBuildReceipt row.equationId passed - { equationId := row.equationId - name := row.name - shape := row.shape - status := row.status - alignmentStatus := aStatus - alignmentScore := aScore - promotion := .notPromoted - warnings := warnings - receipt := receipt } + { equationId := row.equationId + name := row.name + shape := row.shape + status := row.status + alignmentStatus := aStatus + alignmentScore := aScore + promotion := .notPromoted + warnings := warnings + receipt := receipt + operatorTokens := row.operatorTokens + invariantsDeclared := row.invariantsDeclared + boundaryConds := row.boundaryConds + templateKey := row.templateKey + templateParams := row.templateParams } -- ───────────────────────────────────────────────────────────────────────────── -- §6 Fixture corpus — 6 canonical rows, one per RRCShape @@ -187,69 +216,99 @@ def compileRow (row : FixtureRow) : RrcRow := /-- CognitiveLoadField — CANDIDATE, proxy=LogogramProjection (PIST mismatch) -/ def fixtureClf : FixtureRow := - { equationId := "rrc_eq_86ccde7bfd669b77" - name := "bandwidth_adjusted_threshold" - shape := .cognitiveLoadField - status := .candidate - rrcKind := "cognitive_field_receipt" - weakAxesCnt := 7 - pistProxyLabel := some "LogogramProjection" - pistExactLabel := some "LogogramProjection" } + { equationId := "rrc_eq_86ccde7bfd669b77" + name := "bandwidth_adjusted_threshold" + shape := .cognitiveLoadField + status := .candidate + rrcKind := "cognitive_field_receipt" + weakAxesCnt := 7 + pistProxyLabel := some "LogogramProjection" + pistExactLabel := some "LogogramProjection" + operatorTokens := ["cognitive_load", "exponential_decay", "threshold_reweighting"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "definition" + templateParams := "route=cognitive_load;shape=CognitiveLoadField" } /-- SignalShapedRouteCompiler — CANDIDATE, proxy=LogogramProjection (PIST mismatch) -/ def fixtureSsrc : FixtureRow := - { equationId := "rrc_eq_ac1a7a22801b7d77" - name := "core_equations" - shape := .signalShapedRouteCompiler - status := .candidate - rrcKind := "compression_route_prior" - weakAxesCnt := 6 - pistProxyLabel := some "LogogramProjection" - pistExactLabel := some "LogogramProjection" } + { equationId := "rrc_eq_ac1a7a22801b7d77" + name := "core_equations" + shape := .signalShapedRouteCompiler + status := .candidate + rrcKind := "compression_route_prior" + weakAxesCnt := 6 + pistProxyLabel := some "LogogramProjection" + pistExactLabel := some "LogogramProjection" + operatorTokens := ["compression_route", "signal_shaped"] + invariantsDeclared := "LAYER_A_COMPRESSION" + boundaryConds := "geometric_bind" + templateKey := "master_equation" + templateParams := "route=compression_route;shape=SignalShapedRouteCompiler" } /-- LogogramProjection — HOLD, proxy=LogogramProjection (exact alignment) -/ def fixtureLp : FixtureRow := - { equationId := "rrc_eq_4c87c96f612f6100" - name := "Stamp_Code" - shape := .logogramProjection - status := .hold - rrcKind := "logogram_projection" - weakAxesCnt := 9 - pistProxyLabel := some "LogogramProjection" - pistExactLabel := some "LogogramProjection" } + { equationId := "rrc_eq_4c87c96f612f6100" + name := "Stamp_Code" + shape := .logogramProjection + status := .hold + rrcKind := "logogram_projection" + weakAxesCnt := 9 + pistProxyLabel := some "LogogramProjection" + pistExactLabel := some "LogogramProjection" + operatorTokens := ["logogram_projection"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "receipt" + templateParams := "route=logogram_projection;shape=LogogramProjection" } /-- ProjectableGeometryTopology — HOLD, no PIST prediction (missing) -/ def fixturePgt : FixtureRow := - { equationId := "rrc_eq_5193efd26258bc51" - name := "UQGET_Hubble_Tension" - shape := .projectableGeometryTopology - status := .hold - rrcKind := "geometry_topology_receipt" - weakAxesCnt := 8 - pistProxyLabel := none - pistExactLabel := none } + { equationId := "rrc_eq_5193efd26258bc51" + name := "UQGET_Hubble_Tension" + shape := .projectableGeometryTopology + status := .hold + rrcKind := "geometry_topology_receipt" + weakAxesCnt := 8 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["geometry_topology", "hubble_tension"] + invariantsDeclared := "LAYER_C_TOPOLOGY" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=geometry_topology;shape=ProjectableGeometryTopology" } /-- CadForceProbeReceipt — HOLD, no PIST prediction (missing) -/ def fixtureCad : FixtureRow := - { equationId := "rrc_eq_7076f5bdea119531" - name := "DAG_Force_Equilibrium" - shape := .cadForceProbeReceipt - status := .hold - rrcKind := "cad_force_receipt" - weakAxesCnt := 8 - pistProxyLabel := none - pistExactLabel := none } + { equationId := "rrc_eq_7076f5bdea119531" + name := "DAG_Force_Equilibrium" + shape := .cadForceProbeReceipt + status := .hold + rrcKind := "cad_force_receipt" + weakAxesCnt := 8 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["cad_force", "dag_equilibrium"] + invariantsDeclared := "unknown" + boundaryConds := "physical_bind" + templateKey := "gate" + templateParams := "route=cad_force;shape=CadForceProbeReceipt" } /-- HoldForUnlawfulOrUnderspecifiedShape — HOLD, no PIST prediction (missing) -/ def fixtureHold : FixtureRow := - { equationId := "rrc_eq_6d33c14a88eb0a12" - name := "LASSO_MOGAT_GAT_Propagation" - shape := .holdForUnlawfulOrUnderspecifiedShape - status := .hold - rrcKind := "negative_control" - weakAxesCnt := 9 - pistProxyLabel := none - pistExactLabel := none } + { equationId := "rrc_eq_6d33c14a88eb0a12" + name := "LASSO_MOGAT_GAT_Propagation" + shape := .holdForUnlawfulOrUnderspecifiedShape + status := .hold + rrcKind := "negative_control" + weakAxesCnt := 9 + pistProxyLabel := none + pistExactLabel := none + operatorTokens := ["unclassified_equation"] + invariantsDeclared := "unknown" + boundaryConds := "unknown" + templateKey := "hold" + templateParams := "route=unclassified_equation;shape=HoldForUnlawfulOrUnderspecifiedShape" } def fixtureCorpus : List FixtureRow := [fixtureClf, fixtureSsrc, fixtureLp, fixturePgt, fixtureCad, fixtureHold] @@ -298,7 +357,12 @@ private def jRrcRow (r : RrcRow) : String := s!"\"alignment_score\":{r.alignmentScore}," ++ s!"\"promotion\":{jPromotion r.promotion}," ++ s!"\"warnings\":{jStrList r.warnings}," ++ - s!"\"receipt_valid\":{jBool r.receipt.valid}}" + s!"\"receipt_valid\":{jBool r.receipt.valid}," ++ + s!"\"operator_tokens\":{jStrList r.operatorTokens}," ++ + s!"\"invariants_declared\":{jStr r.invariantsDeclared}," ++ + s!"\"boundary_conds\":{jStr r.boundaryConds}," ++ + s!"\"template_key\":{jStr r.templateKey}," ++ + s!"\"template_params\":{jStr r.templateParams}}" private def jRowList (rs : List RrcRow) : String := "[" ++ String.intercalate "," (rs.map jRrcRow) ++ "]" @@ -314,17 +378,20 @@ structure EmitResult where json : String deriving Repr -def emitFixture : EmitResult := - let rows := fixtureCorpus.map compileRow +/-- Generic corpus emitter: compile any list of FixtureRows and emit a + labelled JSON receipt. Used by both `emitFixture` (6 canonical rows) + and `emitCorpus278` (full 278-equation corpus in Semantics.RRC.Corpus278). -/ +def emitCorpus (schema : String) (corpus : List FixtureRow) : EmitResult := + let rows := corpus.map compileRow let candidates := rows.filter (·.receipt.valid) let summary := s!"\{\"total\":{rows.length}," ++ s!"\"passed_alignment\":{candidates.length}," ++ s!"\"not_promoted\":{rows.length}," ++ - s!"\"schema\":\"rrc_emit_fixture_v1\"," ++ + s!"\"schema\":{jStr schema}," ++ s!"\"claim_boundary\":\"admissibility-and-routing-pass-only\"}" let json := - s!"\{\"schema\":\"rrc_emit_fixture_v1\"," ++ + s!"\{\"schema\":{jStr schema}," ++ s!"\"claim_boundary\":\"admissibility-and-routing-pass-only\"," ++ s!"\"summary\":{summary}," ++ s!"\"rows\":{jRowList rows}}" @@ -333,6 +400,9 @@ def emitFixture : EmitResult := candidateRows := candidates.length json := json } +def emitFixture : EmitResult := + emitCorpus "rrc_emit_fixture_v1" fixtureCorpus + -- ───────────────────────────────────────────────────────────────────────────── -- §9 Eval witnesses -- ───────────────────────────────────────────────────────────────────────────── diff --git a/0-Core-Formalism/lean/Semantics/lakefile.toml b/0-Core-Formalism/lean/Semantics/lakefile.toml index dc901f8a..3b1380f4 100644 --- a/0-Core-Formalism/lean/Semantics/lakefile.toml +++ b/0-Core-Formalism/lean/Semantics/lakefile.toml @@ -21,16 +21,18 @@ name = "Semantics" # ── Compiler: blessed RRC compiler surface ──────────────────────────────────── # Fast CI target. Only these modules form the "functional Rainbow Raccoon # Compiler" proof-of-life: -# Semantics.RRC.Emit — fixture corpus → alignment gate → JSON (Goal A+) -# Semantics.AVMIsa.Emit — AVM canaries → receipt → RRC projection → JSON (Goal A) +# Semantics.RRC.Emit — fixture corpus → alignment gate → JSON (Goal A+) +# Semantics.AVMIsa.Emit — AVM canaries → RRC → JSON (Goal A); sole output boundary +# also stamps Semantics.RRC.Corpus278 (278-equation corpus) +# Semantics.RRC.Corpus278 — raw 278-equation features (Python-supplied, Lean-gated) # Libraries (imported by roots, not roots themselves): -# Semantics.AVMIsa.* — ISA, types, step, run -# Semantics.ReceiptCore — receipt ledger, promotion gates +# Semantics.AVMIsa.* — ISA, types, step, run +# Semantics.ReceiptCore — receipt ledger, promotion gates # Semantics.RRCLogogramProjection — projection/merge/lane theorems -# Semantics.FixedPoint — Q16_16, Q0_16 (no Float in compute paths) +# Semantics.FixedPoint — Q16_16, Q0_16 (no Float in compute paths) [[lean_lib]] name = "Compiler" -roots = ["Semantics.RRC.Emit", "Semantics.AVMIsa.Emit"] +roots = ["Semantics.RRC.Emit", "Semantics.AVMIsa.Emit", "Semantics.RRC.Corpus278"] [[lean_lib]] name = "PIST" diff --git a/4-Infrastructure/shim/build_corpus278.py b/4-Infrastructure/shim/build_corpus278.py new file mode 100644 index 00000000..169f0fd0 --- /dev/null +++ b/4-Infrastructure/shim/build_corpus278.py @@ -0,0 +1,161 @@ +#!/usr/bin/env python3 +# /// script +# requires-python = ">=3.10" +# dependencies = [] +# /// +""" +Build Semantics/RRC/Corpus278.lean from rrc_equation_classifier_receipt.json. + +Python's role: read raw fields, map to stable IDs, derive generator tokens. +Lean's role: alignment gate, receipt stamping, all output decisions. +""" +from __future__ import annotations +import hashlib, json, re, sys +from pathlib import Path + +ROOT = Path("/home/allaun/Research Stack") +RECEIPT_JSON = ROOT / "archive/experimental-shim-probes/rrc_equation_classifier_receipt.json" +OUT_LEAN = ROOT / "0-Core-Formalism/lean/Semantics/Semantics/RRC/Corpus278.lean" + +# ── shape mapping (classifier JSON → Lean RRCShape constructor) ────────────── +SHAPE_MAP = { + "CognitiveLoadField": ".cognitiveLoadField", + "SignalShapedRouteCompiler": ".signalShapedRouteCompiler", + "ProjectableGeometryTopology": ".projectableGeometryTopology", + "CadForceProbeReceipt": ".cadForceProbeReceipt", + "LogogramProjection": ".logogramProjection", + "HoldForUnlawfulOrUnderspecifiedShape": ".holdForUnlawfulOrUnderspecifiedShape", +} + +# ── template_key logic (rrc_kind → template) ───────────────────────────────── +def template_key(rrc_kind: str, status: str) -> str: + 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") + +# ── operator token derivation (route_hint + rrc_kind + equation text) ───────── +def operator_tokens(er: dict) -> list[str]: + 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) + # Extract simple operator keywords from equation text + 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)) # deduplicate, preserve order + +# ── string escaping for Lean ────────────────────────────────────────────────── +def lean_str(s: str) -> str: + s = s.replace("\\", "\\\\").replace('"', '\\"') + return f'"{s}"' + +def lean_opt(s: str | None) -> str: + if s is None: + return "none" + return f"some {lean_str(s)}" + +def lean_str_list(xs: list[str]) -> str: + return "[" + ", ".join(lean_str(x) for x in xs) + "]" + +# ── stable equation ID ──────────────────────────────────────────────────────── +def stable_id(raw_id: str) -> str: + h = hashlib.sha256(raw_id.encode()).hexdigest()[:16] + return f"rrc_eq_{h}" + +# ── main ────────────────────────────────────────────────────────────────────── +def main() -> None: + d = json.loads(RECEIPT_JSON.read_text()) + eqs = d["compiled_equations"] + print(f"Loaded {len(eqs)} equations", file=sys.stderr) + + lines: list[str] = [] + lines.append("-- Semantics.RRC.Corpus278 — AUTO-GENERATED by build_corpus278.py") + lines.append("-- DO NOT EDIT BY HAND. Regenerate with:") + lines.append("-- python3 4-Infrastructure/shim/build_corpus278.py") + lines.append("--") + lines.append("-- Python role: raw feature extraction only.") + lines.append("-- Lean role: alignment gate, receipt stamping, all output decisions.") + lines.append("--") + lines.append("-- Source: archive/experimental-shim-probes/rrc_equation_classifier_receipt.json") + lines.append(f"-- Equation count: {len(eqs)}") + lines.append("") + lines.append("import Semantics.RRC.Emit") + lines.append("") + lines.append("namespace Semantics.RRC.Corpus278") + lines.append("") + lines.append("open Semantics.RRC.Emit") + lines.append("open Semantics.RRCLogogramProjection") + lines.append("open Semantics.ReceiptCore") + lines.append("") + lines.append("/-- Full 278-equation corpus from rrc_equation_classifier_receipt.json.") + lines.append(" Each row carries raw features only; the alignment gate in") + lines.append(" Semantics.RRC.Emit.emitCorpus makes all admissibility decisions. -/") + lines.append("def corpus278 : List FixtureRow := [") + + row_strs: list[str] = [] + for eq in eqs: + er = eq["equation_record"] + ir = eq["invariant_receipt"] + tw = eq["type_witness"] + + raw_id = er["equation_id"] + eq_id = stable_id(raw_id) + name = er["name"] + shape_str = ir["shape"] + lean_shape = SHAPE_MAP.get(shape_str, ".holdForUnlawfulOrUnderspecifiedShape") + status_str = ir["status"] + 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 []) + + # Generator fields + 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) + t_params = f"route={er.get('route_hint_non_authoritative','unclassified_equation') or 'unclassified_equation'};shape={shape_str}" + + row = ( + 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 := none\n" + f" pistExactLabel := none\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)} }}" + ) + row_strs.append(row) + + lines.append(",\n".join(row_strs)) + lines.append("]") + lines.append("") + lines.append("end Semantics.RRC.Corpus278") + lines.append("") + + OUT_LEAN.write_text("\n".join(lines)) + print(f"Wrote {OUT_LEAN}", file=sys.stderr) + print(f"Total rows: {len(row_strs)}", file=sys.stderr) + +if __name__ == "__main__": + main()