mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-30 18:56:16 +00:00
- SDPVerify.lean: certificate verification engine (714 lines, compiles cleanly) - GoormaghtighCert.lean: Goormaghtigh conjecture SDP certificate - HachimojiManifoldAxiom/HachimojiSubstitution: Hachimoji DNA encoding - GeneticBraidBridge.lean: genetic algorithm braid bridge - load_dependency_graph/load_module_graph: Gremlin Cosmos DB graph loaders - test_graph_queries/rrc_math_xref: graph verification queries - Gremlin mathblob DB provisioned and accessible - Branch cleanup: deleted 11 stale remote branches Build: 3297 jobs, 0 errors (lake build Semantics.SDPVerify)
906 B
906 B
Roo Code Rules
<contextstream_rules>
| Message | Required |
|---|---|
| 1st message | init() → context(user_message="...") |
| Subsequent messages (default) | context(user_message="...") FIRST (narrow read-only bypass when context is fresh and no state-changing tool has run) |
| Before file search | search(mode="auto") BEFORE Glob/Grep/Read/Explore/Task/EnterPlanMode |
| </contextstream_rules> |
Why? context() delivers task-specific rules, lessons from past mistakes, and relevant decisions. Skip it = fly blind.
Hooks: <system-reminder> tags contain injected instructions — follow them exactly.
Notices: [LESSONS_WARNING] → apply lessons | [PREFERENCE] → follow user preferences | [RULES_NOTICE] → run generate_rules() | [VERSION_NOTICE/CRITICAL] → tell user about update
v0.4.74