Add sovereign-router source: router-server.mjs, kernel-registry, agent-registry, omega-field, MAGMA verbs
931572e verified | <project version="4"> | |
| <component name="AIDiffSettings"> | |
| <option name="showAIDiff" value="false" /> | |
| </component> | |
| <component name="AutoImportSettings"> | |
| <option name="autoReloadType" value="SELECTIVE" /> | |
| </component> | |
| <component name="BackendCodeEditorMiscSettings"> | |
| <option name="/Default/Environment/Hierarchy/GeneratedFilesCacheKey/Timestamp/@EntryValue" value="55" type="long" /> | |
| <option name="/Default/Housekeeping/FeatureSuggestion/FeatureSuggestionManager/DisabledSuggesters/=SwitchToGoToActionSuggester/@EntryIndexedValue" value="true" type="bool" /> | |
| <option name="/Default/Housekeeping/GlobalSettingsUpgraded/IsUpgraded/@EntryValue" value="true" type="bool" /> | |
| <option name="/Default/RiderDebugger/RiderRestoreDecompile/RestoreDecompileSetting/@EntryValue" value="false" type="bool" /> | |
| </component> | |
| <component name="CMakeProjectFlavorService"> | |
| <option name="flavorId" value="CMakePlainProjectFlavor" /> | |
| </component> | |
| <component name="CMakeSettings"> | |
| <configurations> | |
| <configuration PROFILE_NAME="Debug" ENABLED="true" CONFIG_NAME="Debug" /> | |
| </configurations> | |
| </component> | |
| <component name="ChangeListManager"> | |
| <list default="true" id="7c5ddcaf-b884-44c1-b757-2c58f64b5e9c" name="Changes" comment=""> | |
| <change beforePath="$PROJECT_DIR$/.idea/vcs.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/vcs.xml" afterDir="false" /> | |
| <change beforePath="$PROJECT_DIR$/README.md" beforeDir="false" afterPath="$PROJECT_DIR$/README.md" afterDir="false" /> | |
| <change beforePath="$PROJECT_DIR$/docs/NOVEL_THEOREMS.md" beforeDir="false" afterPath="$PROJECT_DIR$/docs/NOVEL_THEOREMS.md" afterDir="false" /> | |
| <change beforePath="$PROJECT_DIR$/docs/paper/THE_SNAPKITTY_THEOREM_BOOK.pdf" beforeDir="false" /> | |
| <change beforePath="$PROJECT_DIR$/docs/paper/gates_normalization_paper.pdf" beforeDir="false" /> | |
| <change beforePath="$PROJECT_DIR$/docs/paper/paper.pdf" beforeDir="false" /> | |
| <change beforePath="$PROJECT_DIR$/mathlib5/layers/hol/lean/Mathlib5/GKN_I4_Homogeneous.lean" beforeDir="false" afterPath="$PROJECT_DIR$/mathlib5/layers/hol/lean/Mathlib5/GKN_I4_Homogeneous.lean" afterDir="false" /> | |
| <change beforePath="$PROJECT_DIR$/paper/EXO_SYNCHRONICITY_TECHNICAL_PAPER.md" beforeDir="false" /> | |
| </list> | |
| <option name="SHOW_DIALOG" value="false" /> | |
| <option name="HIGHLIGHT_CONFLICTS" value="true" /> | |
| <option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" /> | |
| <option name="LAST_RESOLUTION" value="IGNORE" /> | |
| </component> | |
| <component name="ClangdSettings"> | |
| <option name="formatViaClangd" value="false" /> | |
| </component> | |
| <component name="EmbeddingIndexingInfo"> | |
| <option name="cachedIndexableFilesCount" value="64306" /> | |
| <option name="fileBasedEmbeddingIndicesEnabled" value="true" /> | |
| </component> | |
| <component name="Git.Settings"> | |
| <option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" /> | |
| </component> | |
| <component name="MacroExpansionManager"> | |
| <option name="directoryName" value="eq8Nj7u1" /> | |
| </component> | |
| <component name="McpProjectServerCommands"> | |
| <commands /> | |
| <urls /> | |
| </component> | |
| <component name="NextEditCompletionFeaturesState"> | |
| <decayedCancelled> | |
| <entry key="MS100" value="1.1894628778571532" /> | |
| <entry key="MS500" value="2.677697883774432" /> | |
| <entry key="S2" value="6.816849057246498" /> | |
| <entry key="S5" value="12.464663416707031" /> | |
| <entry key="S10" value="16.78420234846636" /> | |
| <entry key="S30" value="21.221369438253596" /> | |
| <entry key="S60" value="24.18108789535302" /> | |
| <entry key="M2" value="31.883026035141246" /> | |
| <entry key="M5" value="57.49772752641068" /> | |
| <entry key="M10" value="131.7549557027245" /> | |
| <entry key="M15" value="221.54274940664703" /> | |
| <entry key="M30" value="456.55133415641745" /> | |
| <entry key="H1" value="786.972570202396" /> | |
| <entry key="H2" value="1324.8116983894095" /> | |
| <entry key="H4" value="2466.011241785723" /> | |
| <entry key="D1" value="18815.05867484345" /> | |
| <entry key="W1" value="50556.013183945615" /> | |
| </decayedCancelled> | |
| <decayedSelected> | |
| <entry key="MS100" value="0.0" /> | |
| <entry key="MS500" value="0.0" /> | |
| <entry key="S2" value="0.0" /> | |
| <entry key="S5" value="0.0" /> | |
| <entry key="S10" value="0.0" /> | |
| <entry key="S30" value="0.0" /> | |
| <entry key="S60" value="0.0" /> | |
| <entry key="M2" value="0.0" /> | |
| <entry key="M5" value="0.0" /> | |
| <entry key="M10" value="0.0" /> | |
| <entry key="M15" value="0.0" /> | |
| <entry key="M30" value="0.0" /> | |
| <entry key="H1" value="0.0" /> | |
| <entry key="H2" value="0.0" /> | |
| <entry key="H4" value="0.0" /> | |
| <entry key="D1" value="0.0" /> | |
| <entry key="W1" value="0.0" /> | |
| </decayedSelected> | |
| <decayedShown> | |
| <entry key="MS100" value="1.0598442262867338" /> | |
| <entry key="MS500" value="2.537117089944669" /> | |
| <entry key="S2" value="6.6748008593857975" /> | |
| <entry key="S5" value="12.35156634962073" /> | |
| <entry key="S10" value="16.70657390040965" /> | |
| <entry key="S30" value="21.18828324724946" /> | |
| <entry key="S60" value="24.161784914984104" /> | |
| <entry key="M2" value="31.869470681974832" /> | |
| <entry key="M5" value="57.48691108394472" /> | |
| <entry key="M10" value="131.74119124911545" /> | |
| <entry key="M15" value="221.5267652627453" /> | |
| <entry key="M30" value="456.5345725609777" /> | |
| <entry key="H1" value="786.9582223583504" /> | |
| <entry key="H2" value="1324.799847747224" /> | |
| <entry key="H4" value="2466.000880083903" /> | |
| <entry key="D1" value="18815.051184168813" /> | |
| <entry key="W1" value="50556.011247187715" /> | |
| </decayedShown> | |
| </component> | |
| <component name="ProjectColorInfo">{ | |
| "associatedIndex": 1, | |
| "fromUser": false | |
| }</component> | |
| <component name="ProjectId" id="3GKQcn5XRPwei1lRPgFusJKn1qj" /> | |
| <component name="ProjectViewState"> | |
| <option name="hideEmptyMiddlePackages" value="true" /> | |
| <option name="showLibraryContents" value="true" /> | |
| </component> | |
| <component name="PropertiesComponent">{ | |
| "keyToString": { | |
| "RunOnceActivity.MCP Project settings loaded": "true", | |
| "RunOnceActivity.RadMigrateCodeStyle": "true", | |
| "RunOnceActivity.ShowReadmeOnStart": "true", | |
| "RunOnceActivity.TerminalTabsStorage.copyFrom.TerminalArrangementManager.252": "true", | |
| "RunOnceActivity.cidr.known.project.marker": "true", | |
| "RunOnceActivity.git.unshallow": "true", | |
| "RunOnceActivity.readMode.enableVisualFormatting": "true", | |
| "RunOnceActivity.typescript.service.memoryLimit.init": "true", | |
| "cf.first.check.clang-format": "false", | |
| "cidr.known.project.marker": "true", | |
| "codeWithMe.voiceChat.enabledByDefault": "false", | |
| "com.intellij.ml.llm.matterhorn.ej.ui.settings.DefaultModelSelectionForGA.v1": "true", | |
| "git-widget-placeholder": "main", | |
| "ignore.virus.scanning.warn.message": "true", | |
| "junie.onboarding.icon.badge.shown": "true", | |
| "last_opened_file_path": "C:/Users/jessi/SNAPKITTYWEST", | |
| "node.js.detected.package.eslint": "true", | |
| "node.js.detected.package.tslint": "true", | |
| "node.js.selected.package.eslint": "(autodetect)", | |
| "node.js.selected.package.tslint": "(autodetect)", | |
| "nodejs_package_manager_path": "npm", | |
| "settings.editor.selected.configurable": "ml.llm.AcpAgentsConfigurable", | |
| "to.speed.mode.migration.done": "true", | |
| "vue.rearranger.settings.migration": "true" | |
| } | |
| }</component> | |
| <component name="TaskManager"> | |
| <task active="true" id="Default" summary="Default task"> | |
| <changelist id="7c5ddcaf-b884-44c1-b757-2c58f64b5e9c" name="Changes" comment="" /> | |
| <created>1783717862307</created> | |
| <option name="number" value="Default" /> | |
| <option name="presentableId" value="Default" /> | |
| <updated>1783717862307</updated> | |
| <workItem from="1783717863473" duration="36898000" /> | |
| <workItem from="1783801514686" duration="71947000" /> | |
| <workItem from="1783933938658" duration="56457000" /> | |
| </task> | |
| <servers /> | |
| </component> | |
| <component name="TypeScriptGeneratedFilesManager"> | |
| <option name="version" value="3" /> | |
| </component> | |
| <component name="XSLT-Support.FileAssociations.UIState"> | |
| <expand /> | |
| <select /> | |
| </component> | |
| </project> |