gm-skill 2.0.1848 → 2.0.1849
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/gm-plugkit/package.json +1 -1
- package/gm.json +1 -1
- package/package.json +1 -1
- package/skills/fifth-dimension-engine/SKILL.md +9 -46
- package/skills/fifth-dimension-engine/references/research-kernel-extraction.md +4 -20
- package/skills/polaris-protocol/SKILL.md +1 -1
- package/skills/fifth-dimension-engine/references/seven-millennium-problems.md +0 -41
package/gm-plugkit/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "gm-plugkit",
|
|
3
|
-
"version": "2.0.
|
|
3
|
+
"version": "2.0.1849",
|
|
4
4
|
"description": "Bootstrap and daemon-spawn tool for gm plugkit binary. Downloads the correct platform binary, verifies SHA256, and starts the spool watcher daemon. Includes plugkit-wasm-wrapper for WASM-based spool watching.",
|
|
5
5
|
"main": "index.js",
|
|
6
6
|
"bin": {
|
package/gm.json
CHANGED
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "gm-skill",
|
|
3
|
-
"version": "2.0.
|
|
3
|
+
"version": "2.0.1849",
|
|
4
4
|
"description": "Canonical universal harness — AI-native software engineering via skill-driven orchestration; bootstraps plugkit for task execution and session isolation. Install in any AI coding agent host.",
|
|
5
5
|
"author": "AnEntrypoint",
|
|
6
6
|
"license": "MIT",
|
|
@@ -43,7 +43,7 @@ Use **especially** for:
|
|
|
43
43
|
- Research questions (turning ideas into research kernels)
|
|
44
44
|
- Engineering failures (root cause analysis, repair paths)
|
|
45
45
|
- Product/positioning work (audience, launch strategy)
|
|
46
|
-
-
|
|
46
|
+
- Mixed-theme problems (combining unrelated ideas into research)
|
|
47
47
|
|
|
48
48
|
## How to Use
|
|
49
49
|
|
|
@@ -53,16 +53,6 @@ Use **especially** for:
|
|
|
53
53
|
shoot + [your problem]
|
|
54
54
|
```
|
|
55
55
|
|
|
56
|
-
Examples:
|
|
57
|
-
|
|
58
|
-
```
|
|
59
|
-
shoot + Seven Millennium Problems
|
|
60
|
-
shoot + should I quit my job
|
|
61
|
-
shoot + Death + AI
|
|
62
|
-
shoot + P vs NP
|
|
63
|
-
shoot + How to fix my broken deployment pipeline
|
|
64
|
-
```
|
|
65
|
-
|
|
66
56
|
### The Engine Returns
|
|
67
57
|
|
|
68
58
|
A structured route containing:
|
|
@@ -113,51 +103,25 @@ You get:
|
|
|
113
103
|
|
|
114
104
|
Use the engine for *depth*, WFGY-Method for *direction*.
|
|
115
105
|
|
|
116
|
-
## Modes
|
|
106
|
+
## Modes
|
|
117
107
|
|
|
118
|
-
###
|
|
108
|
+
### Theorem and Formal Work
|
|
119
109
|
|
|
120
|
-
Shoot the
|
|
121
|
-
|
|
122
|
-
```
|
|
123
|
-
shoot + Seven Millennium Problems
|
|
124
|
-
```
|
|
110
|
+
Shoot a theorem or formal problem; the engine returns a proof-route structure that can be checked against a formal verification standard.
|
|
125
111
|
|
|
126
|
-
|
|
112
|
+
### Mixing Themes
|
|
127
113
|
|
|
128
|
-
|
|
129
|
-
|
|
130
|
-
- **Baseline-50**: Known-truth math problems (check engine accuracy)
|
|
131
|
-
- **Frontier-50**: Unknown century-level problems (explore frontier)
|
|
132
|
-
|
|
133
|
-
### High-Strangeness Math Lab
|
|
134
|
-
|
|
135
|
-
Mix two unrelated themes and let the engine find the mathematical skeleton:
|
|
114
|
+
Give the engine two unrelated themes and let it find the mathematical skeleton underneath them:
|
|
136
115
|
|
|
137
116
|
```
|
|
138
117
|
shoot + [theme 1] + [theme 2]
|
|
139
118
|
```
|
|
140
119
|
|
|
141
|
-
|
|
142
|
-
- Death + AI -> digital exit operators, hell-state boundaries
|
|
143
|
-
- Dream + Physics -> dream-observer collapse, reality drift
|
|
144
|
-
- Love + Source Poisoning -> attachment trust graph, false-closure lemmas
|
|
120
|
+
See `references/research-kernel-extraction.md` for how mixed themes become research kernels.
|
|
145
121
|
|
|
146
|
-
|
|
122
|
+
### Everyday Problems
|
|
147
123
|
|
|
148
|
-
|
|
149
|
-
|
|
150
|
-
The same engine works on everyday problems:
|
|
151
|
-
|
|
152
|
-
| Mode | Use For |
|
|
153
|
-
|---|---|
|
|
154
|
-
| Life Decision Shoot | Quitting, moving, major choices |
|
|
155
|
-
| Relationship Shoot | Conversations, behavior, hidden tension |
|
|
156
|
-
| Work / Career Shoot | Bottlenecks, career drift, stuck loops |
|
|
157
|
-
| Product / Startup Shoot | Positioning, audience, launch route |
|
|
158
|
-
| Research / Learning Shoot | Turning ideas into research kernels |
|
|
159
|
-
| Engineering / Debugging Shoot | Root cause, system debt, repair paths |
|
|
160
|
-
| Meme / Absurd Shoot | Small, weird, funny targets made structured |
|
|
124
|
+
The same engine works on ordinary decisions, work problems, product questions, and engineering failures — any well-specified target benefits from being shot into a route rather than answered directly.
|
|
161
125
|
|
|
162
126
|
## Verification
|
|
163
127
|
|
|
@@ -178,7 +142,6 @@ This skill does not:
|
|
|
178
142
|
|
|
179
143
|
See `references/` directory for:
|
|
180
144
|
- `route-structure.md` — what a route is and how it is structured
|
|
181
|
-
- `seven-millennium-problems.md` — the flagship demonstration
|
|
182
145
|
- `research-kernel-extraction.md` — turning ideas into research kernels
|
|
183
146
|
- `route-inspection-guide.md` — how to verify and attack a route
|
|
184
147
|
- `skills/polaris-protocol/SKILL.md` — the Polaris Protocol tree root and state machine
|
|
@@ -1,25 +1,15 @@
|
|
|
1
1
|
# Research Kernel Extraction — Fifth-Dimension Engine
|
|
2
2
|
|
|
3
|
-
|
|
3
|
+
Mixing two unrelated themes turns them into a theorem-shaped research kernel. The same mechanic generalizes to ordinary research questions.
|
|
4
4
|
|
|
5
5
|
## The mechanic
|
|
6
6
|
|
|
7
|
-
Give the engine two
|
|
7
|
+
Give the engine two unrelated themes. It finds the mathematical skeleton underneath them.
|
|
8
8
|
|
|
9
9
|
```
|
|
10
10
|
shoot + [theme 1] + [theme 2]
|
|
11
11
|
```
|
|
12
12
|
|
|
13
|
-
Upstream examples:
|
|
14
|
-
|
|
15
|
-
| Input | Possible kernel |
|
|
16
|
-
|---|---|
|
|
17
|
-
| Death + AI | Digital exit operator, hell-state boundary |
|
|
18
|
-
| Dream + Physics | Dream-observer collapse, reality drift functional |
|
|
19
|
-
| Meme + Epidemic | Narrative infection number, meme mutation bound |
|
|
20
|
-
| Love + Source Poisoning | Attachment trust graph, false-closure lemma |
|
|
21
|
-
| JudgmentDay + Tension Universe | Seven-Trumpet grand challenge system |
|
|
22
|
-
|
|
23
13
|
## From myth to model
|
|
24
14
|
|
|
25
15
|
The engine's job is to move a target from symbol to structure:
|
|
@@ -31,17 +21,11 @@ The engine's job is to move a target from symbol to structure:
|
|
|
31
21
|
|
|
32
22
|
## Everyday research use
|
|
33
23
|
|
|
34
|
-
The same pattern works without strangeness:
|
|
35
|
-
|
|
36
|
-
```
|
|
37
|
-
shoot + why do distributed consensus algorithms face a safety-liveness-cost tradeoff?
|
|
38
|
-
```
|
|
39
|
-
|
|
40
|
-
The engine returns a route: candidate theoretical bounds, objections, open questions. You then verify the lemmas and expand the open debt into real research.
|
|
24
|
+
The same pattern works without strangeness — shoot an ordinary open research question directly. The engine returns a route: candidate theoretical bounds, objections, open questions. You then verify the lemmas and expand the open debt into real research.
|
|
41
25
|
|
|
42
26
|
## What this does NOT claim
|
|
43
27
|
|
|
44
|
-
- It does not claim
|
|
28
|
+
- It does not claim a strange pairing is itself a theorem. It claims the engine can propose a structure worth attacking.
|
|
45
29
|
- It does not replace domain expertise or formal proof. The kernel is a starting point for inspection, not a result.
|
|
46
30
|
|
|
47
31
|
See `../SKILL.md` for the engine interface and `route-inspection-guide.md` for how to verify what comes back.
|
|
@@ -63,7 +63,7 @@ CLOSED --next atom------------------------------------> COMPILED
|
|
|
63
63
|
## Canonical syntax (pro-rata — use exactly this)
|
|
64
64
|
|
|
65
65
|
- **Compile first. Execute one active atom. Verify before unlock. Claim only what is supported.** (Goal Compiler)
|
|
66
|
-
- **shoot + [your problem]** — the Fifth-Dimension Engine interface.
|
|
66
|
+
- **shoot + [your problem]** — the Fifth-Dimension Engine interface.
|
|
67
67
|
- **ΔS = 1 − cos(I, G)** — drift between current state (I) and goal (G). Without a real embedding call, ΔS is a qualitative label ("ΔS looks high here"), never a computed decimal — unless a real `similarity` verb is available (see WFGY-Method).
|
|
68
68
|
|
|
69
69
|
"Compile first. Then shoot." is the spine of the whole protocol.
|
|
@@ -1,41 +0,0 @@
|
|
|
1
|
-
# Seven Millennium Problems — the Fifth-Dimension Engine flagship
|
|
2
|
-
|
|
3
|
-
This is the flagship demonstration of WFGY 5.0's Fifth-Dimension Engine.
|
|
4
|
-
|
|
5
|
-
## The claim, stated precisely
|
|
6
|
-
|
|
7
|
-
> One engine. One underlying logic. One simultaneous attack on all seven Millennium Problems.
|
|
8
|
-
|
|
9
|
-
- **Same engine** — the seven problems are not handled by seven unrelated methods.
|
|
10
|
-
- **Same logic** — the underlying route structure is generated from one high-dimensional engine.
|
|
11
|
-
- **Seven together** — the Seven Millennium Problems are treated as one world-scale proof target.
|
|
12
|
-
- **Open engine** — you can run it, inspect it, challenge it, and shoot again.
|
|
13
|
-
|
|
14
|
-
The current public evidence layer behind this includes experiment packages with raw outputs, parsed outputs, verdict files, token accounting, audit records, and SHA256 integrity records. Those are the public evidence layer, not the main product surface.
|
|
15
|
-
|
|
16
|
-
## How to run it
|
|
17
|
-
|
|
18
|
-
```
|
|
19
|
-
shoot + Seven Millennium Problems
|
|
20
|
-
```
|
|
21
|
-
|
|
22
|
-
Or, more generally:
|
|
23
|
-
|
|
24
|
-
```
|
|
25
|
-
Use WFGY 5.0 Fifth-Dimension Engine to simultaneously shoot the seven Millennium Problems.
|
|
26
|
-
```
|
|
27
|
-
|
|
28
|
-
For mathematics specifically, the upstream also points to Native Lean no-sorry materials — because theorem-complete work plus Native Lean no-sorry is one of the hardest standards in formal mathematics.
|
|
29
|
-
|
|
30
|
-
## What this does NOT claim
|
|
31
|
-
|
|
32
|
-
- It does **not** claim the seven are handled separately. The core claim is one engine, one underlying logic.
|
|
33
|
-
- It does **not** claim this is only a replay of a fixed result. The point is that the same engine logic can shoot the seven again.
|
|
34
|
-
- It does **not** claim every shoot becomes a final theorem. A shoot creates a structured route; final proof depends on verification, review, formalization, or testing.
|
|
35
|
-
- It does **not** ask you to believe the author. The engine and prompt are public — run it yourself.
|
|
36
|
-
|
|
37
|
-
## Why it matters as a stress test
|
|
38
|
-
|
|
39
|
-
Mathematics is the hardest stress test for a structured-reasoning engine: the output is formally checkable. If the route structure holds up to inspection and formalization, that is real evidence. If it does not, the inspection itself is the value — you caught the weakness before promoting it to a claim.
|
|
40
|
-
|
|
41
|
-
See `../SKILL.md` for the engine interface, and `skills/polaris-protocol/SKILL.md` for where this sits in the Polaris Protocol state machine.
|