open-research-protocol 0.3.0
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/AGENT_INTEGRATION.md +94 -0
- package/INSTALL.md +159 -0
- package/LICENSE +22 -0
- package/PROTOCOL.md +140 -0
- package/README.md +312 -0
- package/bin/orp.js +38 -0
- package/cli/orp.py +3595 -0
- package/cone/CONTEXT_LOG.md +33 -0
- package/docs/AGENT_LOOP.md +63 -0
- package/docs/CHOOSING_OR_IGNORING_INSTRUMENTS.md +128 -0
- package/docs/CODA_ORP_CONTRACT.md +222 -0
- package/docs/CORE_ABILITY_REFOCUS_CHECKLIST.md +62 -0
- package/docs/DISCOVER.md +69 -0
- package/docs/EXTERNAL_CONTRIBUTION_GOVERNANCE.md +275 -0
- package/docs/MATHLIB_COLLABORATION_FLOW_PROMPT.md +112 -0
- package/docs/NPM_RELEASE_CHECKLIST.md +55 -0
- package/docs/ORP_V1_ATOMIC_DISCOVERY_EVOLUTION.md +186 -0
- package/docs/OSS_CONTRIBUTION_AGENT_LOOP.md +69 -0
- package/docs/PRESENTATION_BOW.md +100 -0
- package/docs/PROFILE_PACKS.md +227 -0
- package/docs/SUNFLOWER_CODA_PR_GOVERNANCE_MAPPING.md +77 -0
- package/docs/WHY_INSTRUMENTS.md +118 -0
- package/examples/README.md +21 -0
- package/examples/example_claim.md +33 -0
- package/examples/example_failed.md +24 -0
- package/examples/example_verification.md +36 -0
- package/examples/orp.erdos-problems.catalog.yml +88 -0
- package/examples/orp.external-pr-governance.yml +223 -0
- package/examples/orp.sunflower-coda.atomic.yml +144 -0
- package/examples/orp.sunflower-coda.live-compare.yml +181 -0
- package/examples/orp.sunflower-coda.pr-governance.yml +253 -0
- package/examples/packet.problem_scope.example.json +123 -0
- package/examples/reports/README.md +16 -0
- package/examples/reports/sunflower_live_compare_20.RUN_SUMMARY.md +37 -0
- package/examples/reports/sunflower_live_compare_367.RUN_SUMMARY.md +37 -0
- package/examples/reports/sunflower_live_compare_857.RUN_SUMMARY.md +37 -0
- package/llms.txt +58 -0
- package/modules/instruments/ADVERSARIAL/README.md +109 -0
- package/modules/instruments/ADVERSARIAL/TEMPLATE.md +27 -0
- package/modules/instruments/COMPRESSION/README.md +112 -0
- package/modules/instruments/COMPRESSION/TEMPLATE.md +27 -0
- package/modules/instruments/INSTRUMENT_TEMPLATE.md +30 -0
- package/modules/instruments/ORBIT/README.md +124 -0
- package/modules/instruments/ORBIT/TEMPLATE.md +28 -0
- package/modules/instruments/README.md +179 -0
- package/package.json +54 -0
- package/packs/README.md +16 -0
- package/packs/erdos-open-problems/README.md +287 -0
- package/packs/erdos-open-problems/data/README.md +43 -0
- package/packs/erdos-open-problems/data/erdos_open_problems.md +697 -0
- package/packs/erdos-open-problems/data/erdos_problems.active.json +15561 -0
- package/packs/erdos-open-problems/data/erdos_problems.all.json +26289 -0
- package/packs/erdos-open-problems/data/erdos_problems.closed.json +10760 -0
- package/packs/erdos-open-problems/data/erdos_problems.open.json +15561 -0
- package/packs/erdos-open-problems/docs/SUNFLOWER_ADAPTER_DEPENDENCIES.md +63 -0
- package/packs/erdos-open-problems/pack.yml +131 -0
- package/packs/erdos-open-problems/profiles/erdos-problems-catalog-sync.yml.tmpl +99 -0
- package/packs/erdos-open-problems/profiles/sunflower-live-compare.yml.tmpl +188 -0
- package/packs/erdos-open-problems/profiles/sunflower-mathlib-pr-governance.yml.tmpl +253 -0
- package/packs/erdos-open-problems/profiles/sunflower-problem857-discovery-public-repo.yml.tmpl +152 -0
- package/packs/erdos-open-problems/profiles/sunflower-problem857-discovery.yml.tmpl +154 -0
- package/packs/external-pr-governance/README.md +116 -0
- package/packs/external-pr-governance/adapters/formal-conjectures/README.md +35 -0
- package/packs/external-pr-governance/adapters/mathlib/README.md +37 -0
- package/packs/external-pr-governance/pack.yml +146 -0
- package/packs/external-pr-governance/profiles/oss-feedback-hardening.yml.tmpl +92 -0
- package/packs/external-pr-governance/profiles/oss-pr-governance.yml.tmpl +233 -0
- package/packs/issue-smashers/README.md +92 -0
- package/packs/issue-smashers/adapters/formal-conjectures/README.md +17 -0
- package/packs/issue-smashers/adapters/generic-github/README.md +16 -0
- package/packs/issue-smashers/adapters/mathlib/README.md +32 -0
- package/packs/issue-smashers/bootstrap/README.md +19 -0
- package/packs/issue-smashers/bootstrap/setup-issue-smashers.sh +18 -0
- package/packs/issue-smashers/examples/issue-smashers.workspace.yml +24 -0
- package/packs/issue-smashers/pack.yml +178 -0
- package/packs/issue-smashers/profiles/issue-smashers-feedback-hardening.yml.tmpl +102 -0
- package/packs/issue-smashers/profiles/issue-smashers.yml.tmpl +258 -0
- package/scripts/npm-postinstall-check.js +31 -0
- package/scripts/orp +11 -0
- package/scripts/orp-agent-integrate.sh +197 -0
- package/scripts/orp-checkpoint.sh +184 -0
- package/scripts/orp-erdos-problems-sync.py +580 -0
- package/scripts/orp-init.sh +50 -0
- package/scripts/orp-pack-fetch.py +155 -0
- package/scripts/orp-pack-install.py +2273 -0
- package/scripts/orp-pack-render.py +188 -0
- package/spec/v1/LIFECYCLE_MAPPING.md +40 -0
- package/spec/v1/orp.config.schema.json +385 -0
- package/spec/v1/packet.schema.json +552 -0
- package/spec/v1/profile-pack.schema.json +95 -0
- package/templates/CLAIM.md +33 -0
- package/templates/FAILED_TOPIC.md +19 -0
- package/templates/ISSUE_TEMPLATE.md +22 -0
- package/templates/VERIFICATION_RECORD.md +34 -0
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
# Adversarial Lens — Template
|
|
2
|
+
|
|
3
|
+
## Purpose
|
|
4
|
+
- What must be robust, and why?
|
|
5
|
+
|
|
6
|
+
## Forces
|
|
7
|
+
- Inward force (coherence/confidence):
|
|
8
|
+
- Outward force (attack/perturbation):
|
|
9
|
+
|
|
10
|
+
## Distance / Control Parameters
|
|
11
|
+
- Adversary strength / perturbation budget:
|
|
12
|
+
|
|
13
|
+
## Stability Invariants
|
|
14
|
+
- What should remain true under stress?
|
|
15
|
+
|
|
16
|
+
## Failure Signals
|
|
17
|
+
- What would count as a decisive break?
|
|
18
|
+
|
|
19
|
+
## Reframing Moves
|
|
20
|
+
- What counterexample or quantifier flip helps?
|
|
21
|
+
|
|
22
|
+
## Observation Test
|
|
23
|
+
- What new robustness bound or minimal counterexample would count?
|
|
24
|
+
|
|
25
|
+
## Notes
|
|
26
|
+
- (Optional) worst-case scenario:
|
|
27
|
+
|
|
@@ -0,0 +1,112 @@
|
|
|
1
|
+
# Compression Lens
|
|
2
|
+
|
|
3
|
+
> *What survives compression is structure. What vanishes was noise.*
|
|
4
|
+
|
|
5
|
+
The Compression Lens reframes inquiry by asking not whether a system works, but **what remains invariant when description length is reduced**.
|
|
6
|
+
|
|
7
|
+
This instrument is orthogonal to Orbit.
|
|
8
|
+
Where Orbit studies balance under motion, Compression studies **essence under reduction**.
|
|
9
|
+
|
|
10
|
+
---
|
|
11
|
+
|
|
12
|
+
## Purpose
|
|
13
|
+
|
|
14
|
+
Use the Compression Lens when:
|
|
15
|
+
- a system feels complex or over-parameterized,
|
|
16
|
+
- multiple explanations exist,
|
|
17
|
+
- or you suspect hidden structure beneath surface variability.
|
|
18
|
+
|
|
19
|
+
---
|
|
20
|
+
|
|
21
|
+
## Forces
|
|
22
|
+
|
|
23
|
+
- **Inward force:** compression, minimal description, parsimony.
|
|
24
|
+
- **Outward force:** expressiveness, redundancy, flexibility.
|
|
25
|
+
|
|
26
|
+
Too much compression destroys meaning.
|
|
27
|
+
Too little compression hides it.
|
|
28
|
+
|
|
29
|
+
---
|
|
30
|
+
|
|
31
|
+
## Distance / Control Parameters
|
|
32
|
+
|
|
33
|
+
- Compression strength
|
|
34
|
+
- Description length budget
|
|
35
|
+
- Number of retained generators / features
|
|
36
|
+
- Allowed approximation error
|
|
37
|
+
|
|
38
|
+
This lens tunes *how aggressively* information is discarded.
|
|
39
|
+
|
|
40
|
+
---
|
|
41
|
+
|
|
42
|
+
## Stability Invariants
|
|
43
|
+
|
|
44
|
+
Quantities that should persist under healthy compression:
|
|
45
|
+
|
|
46
|
+
- core generators
|
|
47
|
+
- invariant statistics
|
|
48
|
+
- minimal counterexamples
|
|
49
|
+
- structural symmetries
|
|
50
|
+
|
|
51
|
+
If these disappear, compression is too strong.
|
|
52
|
+
|
|
53
|
+
---
|
|
54
|
+
|
|
55
|
+
## Failure Signals
|
|
56
|
+
|
|
57
|
+
- conclusions change wildly with small compression changes
|
|
58
|
+
- different compressions yield incompatible cores
|
|
59
|
+
- essential behavior vanishes early
|
|
60
|
+
|
|
61
|
+
These signal loss of meaning, not discovery.
|
|
62
|
+
|
|
63
|
+
---
|
|
64
|
+
|
|
65
|
+
## Reframing Moves
|
|
66
|
+
|
|
67
|
+
- project onto minimal generating sets
|
|
68
|
+
- replace objects with summaries
|
|
69
|
+
- identify equivalence classes
|
|
70
|
+
- measure description length explicitly
|
|
71
|
+
|
|
72
|
+
Change the question from:
|
|
73
|
+
> “Does this hold?”
|
|
74
|
+
|
|
75
|
+
to:
|
|
76
|
+
> “What cannot be compressed away?”
|
|
77
|
+
|
|
78
|
+
---
|
|
79
|
+
|
|
80
|
+
## Observation Test
|
|
81
|
+
|
|
82
|
+
A new observation under the Compression Lens:
|
|
83
|
+
|
|
84
|
+
- identifies a minimal invariant
|
|
85
|
+
- shows two phenomena compress to the same core
|
|
86
|
+
- proves a lower bound on description length
|
|
87
|
+
|
|
88
|
+
If compression clarifies rather than obscures, the lens is valid.
|
|
89
|
+
|
|
90
|
+
---
|
|
91
|
+
|
|
92
|
+
## Relation to Orbit
|
|
93
|
+
|
|
94
|
+
Orbit asks:
|
|
95
|
+
> Can this system persist under opposing forces?
|
|
96
|
+
|
|
97
|
+
Compression asks:
|
|
98
|
+
> What must exist for persistence to be possible at all?
|
|
99
|
+
|
|
100
|
+
Together, they form a cone of vision:
|
|
101
|
+
- Orbit controls *trajectory*
|
|
102
|
+
- Compression reveals *essence*
|
|
103
|
+
|
|
104
|
+
---
|
|
105
|
+
|
|
106
|
+
## Closing
|
|
107
|
+
|
|
108
|
+
Compression is not simplification.
|
|
109
|
+
It is respect for what cannot be removed.
|
|
110
|
+
|
|
111
|
+
*If it survives compression, it deserves explanation.*
|
|
112
|
+
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
# Compression Lens — Template
|
|
2
|
+
|
|
3
|
+
## Purpose
|
|
4
|
+
- What is being clarified by compression?
|
|
5
|
+
|
|
6
|
+
## Forces
|
|
7
|
+
- Inward force (compression/parsimony):
|
|
8
|
+
- Outward force (expressiveness/redundancy):
|
|
9
|
+
|
|
10
|
+
## Distance / Control Parameters
|
|
11
|
+
- Compression knobs / budgets:
|
|
12
|
+
|
|
13
|
+
## Stability Invariants
|
|
14
|
+
- What should survive reduction?
|
|
15
|
+
|
|
16
|
+
## Failure Signals
|
|
17
|
+
- What changes mean we over-compressed?
|
|
18
|
+
|
|
19
|
+
## Reframing Moves
|
|
20
|
+
- What representation or generator set helps?
|
|
21
|
+
|
|
22
|
+
## Observation Test
|
|
23
|
+
- What new invariant / equivalence / lower bound would count?
|
|
24
|
+
|
|
25
|
+
## Notes
|
|
26
|
+
- (Optional) minimal core found:
|
|
27
|
+
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
# ORP Instrument — Template (process-only)
|
|
2
|
+
|
|
3
|
+
> Constraint: no evidence, no results, no conclusions.
|
|
4
|
+
|
|
5
|
+
## Name
|
|
6
|
+
|
|
7
|
+
## Purpose
|
|
8
|
+
- What kinds of systems/questions does this instrument help with?
|
|
9
|
+
|
|
10
|
+
## Forces
|
|
11
|
+
- What competing pressures does it highlight?
|
|
12
|
+
|
|
13
|
+
## Distance / Control Parameters
|
|
14
|
+
- What knobs can be tuned?
|
|
15
|
+
|
|
16
|
+
## Stability Invariants
|
|
17
|
+
- What quantities indicate persistence/health?
|
|
18
|
+
|
|
19
|
+
## Failure Signals
|
|
20
|
+
- What patterns indicate collapse or invalid framing?
|
|
21
|
+
|
|
22
|
+
## Reframing Moves
|
|
23
|
+
- How does this instrument change perspective?
|
|
24
|
+
|
|
25
|
+
## Observation Test
|
|
26
|
+
- What would count as a *new observation* using this instrument?
|
|
27
|
+
|
|
28
|
+
## Notes
|
|
29
|
+
- (Optional) predicted boundary / corridor:
|
|
30
|
+
|
|
@@ -0,0 +1,124 @@
|
|
|
1
|
+
# ORBIT: a Universal Research Lens
|
|
2
|
+
|
|
3
|
+
> *Stability is not stillness. It is sustained motion under opposing forces.*
|
|
4
|
+
|
|
5
|
+
This lens is a way to step out of default binaries and into dynamics. It does not try to control systems or collapse them into endpoints. It asks how systems **persist**, how they **fail**, and how meaning emerges from **balanced motion**.
|
|
6
|
+
|
|
7
|
+
Use this lens before proofs, before models, before decisions.
|
|
8
|
+
|
|
9
|
+
---
|
|
10
|
+
|
|
11
|
+
## 1) Forces
|
|
12
|
+
**Question:** What pulls the system inward, and what pushes it outward?
|
|
13
|
+
|
|
14
|
+
Identify the two dominant pressures that cannot both be maximized at once.
|
|
15
|
+
|
|
16
|
+
- **Inward force** (structure): constraints, rigidity, shared core, determinism, compression.
|
|
17
|
+
- **Outward force** (entropy): freedom, variability, randomness, expansion, exploration.
|
|
18
|
+
|
|
19
|
+
**Rule:** If one force wins outright, the system collapses.
|
|
20
|
+
|
|
21
|
+
---
|
|
22
|
+
|
|
23
|
+
## 2) Extremes (Failure Modes)
|
|
24
|
+
**Question:** What breaks when we go too far in either direction?
|
|
25
|
+
|
|
26
|
+
- **Too close** (over-structure): brittleness, collapse, triviality, burnout.
|
|
27
|
+
- **Too far** (over-entropy): incoherence, collisions, noise, meaninglessness.
|
|
28
|
+
|
|
29
|
+
**Rule:** Extremes are not solutions; they are diagnostic boundaries.
|
|
30
|
+
|
|
31
|
+
---
|
|
32
|
+
|
|
33
|
+
## 3) Distance (The Orbit Radius)
|
|
34
|
+
**Question:** What parameter controls closeness to either extreme?
|
|
35
|
+
|
|
36
|
+
This is the knob you can tune.
|
|
37
|
+
|
|
38
|
+
Examples:
|
|
39
|
+
- Density / scale
|
|
40
|
+
- Degree imbalance
|
|
41
|
+
- Step size / learning rate
|
|
42
|
+
- Projection depth / conditioning
|
|
43
|
+
- Time horizon
|
|
44
|
+
|
|
45
|
+
**Rule:** Distance is adjustable. The system survives by tuning, not fixing.
|
|
46
|
+
|
|
47
|
+
---
|
|
48
|
+
|
|
49
|
+
## 4) Stability Invariant
|
|
50
|
+
**Question:** What quantity stays bounded when the system is healthy?
|
|
51
|
+
|
|
52
|
+
Choose an invariant that:
|
|
53
|
+
- is measurable,
|
|
54
|
+
- reacts smoothly to distance,
|
|
55
|
+
- and blows up near failure.
|
|
56
|
+
|
|
57
|
+
Examples:
|
|
58
|
+
- Collision count
|
|
59
|
+
- Energy / potential
|
|
60
|
+
- Entropy under constraint
|
|
61
|
+
- Error under perturbation
|
|
62
|
+
|
|
63
|
+
**Rule:** Stability is what persists under motion.
|
|
64
|
+
|
|
65
|
+
---
|
|
66
|
+
|
|
67
|
+
## 5) Instability Signals
|
|
68
|
+
**Question:** How does failure announce itself?
|
|
69
|
+
|
|
70
|
+
Watch for:
|
|
71
|
+
- sudden growth in collisions or conflicts
|
|
72
|
+
- runaway rigidity (forced variables, frozen cores)
|
|
73
|
+
- loss of sensitivity (everything looks the same)
|
|
74
|
+
|
|
75
|
+
**Rule:** Instability is not subtle. It accelerates.
|
|
76
|
+
|
|
77
|
+
---
|
|
78
|
+
|
|
79
|
+
## 6) Reframing (Change Coordinates)
|
|
80
|
+
**Question:** What happens if we change perspective?
|
|
81
|
+
|
|
82
|
+
Instead of forcing control, **switch frames**:
|
|
83
|
+
- condition on a coordinate
|
|
84
|
+
- project onto a lower dimension
|
|
85
|
+
- sample a slice or biased measure
|
|
86
|
+
- slow down or zoom out
|
|
87
|
+
|
|
88
|
+
**Rule:** Choose a frame where chaos becomes measurable and structure becomes unavoidable.
|
|
89
|
+
|
|
90
|
+
---
|
|
91
|
+
|
|
92
|
+
## 7) Observation Test
|
|
93
|
+
**Question:** What would count as a *new observation* in this frame?
|
|
94
|
+
|
|
95
|
+
A good observation:
|
|
96
|
+
- predicts a boundary,
|
|
97
|
+
- explains why extremes fail,
|
|
98
|
+
- or identifies a narrow corridor of persistence.
|
|
99
|
+
|
|
100
|
+
**Rule:** If the lens produces predictions, it belongs in science.
|
|
101
|
+
|
|
102
|
+
---
|
|
103
|
+
|
|
104
|
+
## 8) Docking Principle
|
|
105
|
+
This lens is portable.
|
|
106
|
+
|
|
107
|
+
Apply it when (and only when) a problem presents:
|
|
108
|
+
- competing forces,
|
|
109
|
+
- a tunable distance,
|
|
110
|
+
- and a question about persistence.
|
|
111
|
+
|
|
112
|
+
If it fits, it will **snap into place**.
|
|
113
|
+
|
|
114
|
+
If it doesn’t, keep orbiting.
|
|
115
|
+
|
|
116
|
+
---
|
|
117
|
+
|
|
118
|
+
## Closing
|
|
119
|
+
Meaning is not found at the center.
|
|
120
|
+
It is built by holding a trajectory long enough to create coherence.
|
|
121
|
+
|
|
122
|
+
*Orbit is not avoidance.
|
|
123
|
+
Orbit is precision.*
|
|
124
|
+
|
|
@@ -0,0 +1,28 @@
|
|
|
1
|
+
# Orbit Lens — Template
|
|
2
|
+
|
|
3
|
+
## Forces
|
|
4
|
+
- Inward force (structure):
|
|
5
|
+
- Outward force (entropy):
|
|
6
|
+
|
|
7
|
+
## Extremes (Failure Modes)
|
|
8
|
+
- Too close (over-structure):
|
|
9
|
+
- Too far (over-entropy):
|
|
10
|
+
|
|
11
|
+
## Distance (Orbit Radius)
|
|
12
|
+
- Tunable parameter(s) / knobs:
|
|
13
|
+
|
|
14
|
+
## Stability Invariant
|
|
15
|
+
- What stays bounded when healthy?
|
|
16
|
+
|
|
17
|
+
## Instability Signals
|
|
18
|
+
- What indicates collapse?
|
|
19
|
+
|
|
20
|
+
## Reframing (Change Coordinates)
|
|
21
|
+
- What frame-switch helps?
|
|
22
|
+
|
|
23
|
+
## Observation Test
|
|
24
|
+
- What would count as a new observation?
|
|
25
|
+
|
|
26
|
+
## Notes
|
|
27
|
+
- (Optional) predicted boundary / corridor:
|
|
28
|
+
|
|
@@ -0,0 +1,179 @@
|
|
|
1
|
+
# ORP Instruments Framework
|
|
2
|
+
|
|
3
|
+
> *Truth does not emerge from a single lens. It emerges from well-governed interaction between lenses.*
|
|
4
|
+
|
|
5
|
+
This document defines **what an Instrument is**, **how Instruments integrate with ORP**, and **how anyone can create one**. Orbit is the first instrument — not the only one.
|
|
6
|
+
|
|
7
|
+
---
|
|
8
|
+
|
|
9
|
+
## Quick links
|
|
10
|
+
|
|
11
|
+
- Orbit: `modules/instruments/ORBIT/README.md` · `modules/instruments/ORBIT/TEMPLATE.md`
|
|
12
|
+
- Compression: `modules/instruments/COMPRESSION/README.md` · `modules/instruments/COMPRESSION/TEMPLATE.md`
|
|
13
|
+
- Adversarial: `modules/instruments/ADVERSARIAL/README.md` · `modules/instruments/ADVERSARIAL/TEMPLATE.md`
|
|
14
|
+
- Create a new instrument: `modules/instruments/INSTRUMENT_TEMPLATE.md`
|
|
15
|
+
|
|
16
|
+
## 1) What We Are Building (Plainly)
|
|
17
|
+
|
|
18
|
+
ORP is a protocol for **truth under pressure**.
|
|
19
|
+
|
|
20
|
+
It governs:
|
|
21
|
+
- how claims are stated,
|
|
22
|
+
- how verification is attached,
|
|
23
|
+
- how failures are recorded,
|
|
24
|
+
- how disagreement resolves via evidence, not argument.
|
|
25
|
+
|
|
26
|
+
**Instruments live upstream of this.**
|
|
27
|
+
|
|
28
|
+
An Instrument is a *framing tool* that helps generate better questions, sharper claims, and testable predictions *before* ORP governance begins.
|
|
29
|
+
|
|
30
|
+
ORP does **not** judge instruments.
|
|
31
|
+
ORP only governs what happens *after* an instrument is used.
|
|
32
|
+
|
|
33
|
+
---
|
|
34
|
+
|
|
35
|
+
## 2) Definition: ORP Instrument
|
|
36
|
+
|
|
37
|
+
An **ORP Instrument** is a modular, process-only artifact that:
|
|
38
|
+
|
|
39
|
+
- operates **pre-claim**
|
|
40
|
+
- introduces a **reference frame** for inquiry
|
|
41
|
+
- identifies **forces, parameters, and invariants**
|
|
42
|
+
- produces **testable observations or predictions**
|
|
43
|
+
- never contains evidence or conclusions
|
|
44
|
+
|
|
45
|
+
An instrument may influence *what claims are made*, but never *how they are verified*.
|
|
46
|
+
|
|
47
|
+
---
|
|
48
|
+
|
|
49
|
+
## 3) Non-Negotiable Constraints (Why This Works)
|
|
50
|
+
|
|
51
|
+
Every ORP Instrument must satisfy:
|
|
52
|
+
|
|
53
|
+
1. **Process-only**
|
|
54
|
+
No data, no results, no conclusions.
|
|
55
|
+
|
|
56
|
+
2. **Non-authoritative**
|
|
57
|
+
Instruments do not override claims or verification.
|
|
58
|
+
|
|
59
|
+
3. **Composable**
|
|
60
|
+
Multiple instruments may be applied to the same inquiry.
|
|
61
|
+
|
|
62
|
+
4. **Discardable**
|
|
63
|
+
Instruments may be abandoned without loss of truth.
|
|
64
|
+
|
|
65
|
+
5. **Prediction-generating**
|
|
66
|
+
Must lead to statements that can be verified or falsified downstream.
|
|
67
|
+
|
|
68
|
+
These constraints prevent ideology, lock-in, or protocol drift.
|
|
69
|
+
|
|
70
|
+
---
|
|
71
|
+
|
|
72
|
+
## 4) The Instrument Contract (Template Spec)
|
|
73
|
+
|
|
74
|
+
Every instrument should answer the following:
|
|
75
|
+
|
|
76
|
+
### A) Purpose
|
|
77
|
+
What kind of systems or questions does this instrument help with?
|
|
78
|
+
|
|
79
|
+
### B) Forces
|
|
80
|
+
What competing pressures does this instrument highlight?
|
|
81
|
+
|
|
82
|
+
### C) Distance / Control Parameters
|
|
83
|
+
What knobs can be tuned?
|
|
84
|
+
|
|
85
|
+
### D) Stability Invariants
|
|
86
|
+
What quantities indicate persistence or health?
|
|
87
|
+
|
|
88
|
+
### E) Failure Signals
|
|
89
|
+
What patterns indicate collapse or invalid framing?
|
|
90
|
+
|
|
91
|
+
### F) Reframing Moves
|
|
92
|
+
How does this instrument change perspective?
|
|
93
|
+
|
|
94
|
+
### G) Observation Test
|
|
95
|
+
What would count as a *new observation* using this instrument?
|
|
96
|
+
|
|
97
|
+
---
|
|
98
|
+
|
|
99
|
+
## 5) Orbit Lens (Instrument #1)
|
|
100
|
+
|
|
101
|
+
**Focus:** balance, gradients, persistence, stability under motion.
|
|
102
|
+
|
|
103
|
+
- Forces: structure vs entropy
|
|
104
|
+
- Distance: density, degree, step size, conditioning depth
|
|
105
|
+
- Invariants: bounded collisions, energy, entropy under constraint
|
|
106
|
+
- Failure: collapse into rigidity or noise
|
|
107
|
+
|
|
108
|
+
Orbit establishes the pattern. It is not canonical.
|
|
109
|
+
|
|
110
|
+
---
|
|
111
|
+
|
|
112
|
+
## 6) Future Instruments (Examples, Not Prescriptions)
|
|
113
|
+
|
|
114
|
+
- **Compression Lens** – invariants under minimal description
|
|
115
|
+
- **Adversarial Lens** – worst-case stress and counterexamples
|
|
116
|
+
- **Evolution Lens** – mutation, selection, path dependence
|
|
117
|
+
- **Energy Lens** – cost, dissipation, potential functions
|
|
118
|
+
- **Temporal Lens** – time, accumulation, irreversible steps
|
|
119
|
+
|
|
120
|
+
Each instrument must obey the same contract.
|
|
121
|
+
|
|
122
|
+
---
|
|
123
|
+
|
|
124
|
+
## 7) Integration with ORP Workflow
|
|
125
|
+
|
|
126
|
+
Instruments are optional inputs to claims.
|
|
127
|
+
|
|
128
|
+
**CLAIM.md hook (optional):**
|
|
129
|
+
|
|
130
|
+
> **Instrument(s) used:**
|
|
131
|
+
> (e.g. Orbit Lens, Compression Lens, Adversarial Lens)
|
|
132
|
+
>
|
|
133
|
+
> **Instrument parameters explored (if any):**
|
|
134
|
+
> (brief — distance knob, regime, or slice examined)
|
|
135
|
+
|
|
136
|
+
Claims may reference one or more instruments, but verification ignores the instrument and tests the claim directly.
|
|
137
|
+
|
|
138
|
+
Failed claims remain valuable regardless of instrument choice.
|
|
139
|
+
|
|
140
|
+
---
|
|
141
|
+
|
|
142
|
+
## 8) Where Instruments Live
|
|
143
|
+
|
|
144
|
+
Recommended structure:
|
|
145
|
+
|
|
146
|
+
- `modules/instruments/ORBIT/`
|
|
147
|
+
- `modules/instruments/<NAME>/`
|
|
148
|
+
|
|
149
|
+
Each instrument contains:
|
|
150
|
+
- `README.md` (definition + philosophy)
|
|
151
|
+
- `TEMPLATE.md` (fillable version)
|
|
152
|
+
|
|
153
|
+
ORP core remains unchanged.
|
|
154
|
+
|
|
155
|
+
---
|
|
156
|
+
|
|
157
|
+
## 9) Why This Matters
|
|
158
|
+
|
|
159
|
+
Disagreements move upstream.
|
|
160
|
+
|
|
161
|
+
Instead of arguing outcomes, researchers compare:
|
|
162
|
+
- frames
|
|
163
|
+
- invariants
|
|
164
|
+
- predictions
|
|
165
|
+
|
|
166
|
+
Truth advances by **instrument performance**, not persuasion.
|
|
167
|
+
|
|
168
|
+
---
|
|
169
|
+
|
|
170
|
+
## Closing
|
|
171
|
+
|
|
172
|
+
ORP governs truth.
|
|
173
|
+
Instruments explore reality.
|
|
174
|
+
|
|
175
|
+
No single lens owns understanding.
|
|
176
|
+
But every lens must answer to verification.
|
|
177
|
+
|
|
178
|
+
*Orbit is the first instrument.
|
|
179
|
+
It will not be the last.*
|
package/package.json
ADDED
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
{
|
|
2
|
+
"name": "open-research-protocol",
|
|
3
|
+
"version": "0.3.0",
|
|
4
|
+
"description": "ORP CLI (Open Research Protocol): agent-friendly research workflows, runtime, reports, and pack tooling.",
|
|
5
|
+
"license": "MIT",
|
|
6
|
+
"repository": {
|
|
7
|
+
"type": "git",
|
|
8
|
+
"url": "https://github.com/SproutSeeds/orp.git"
|
|
9
|
+
},
|
|
10
|
+
"homepage": "https://github.com/SproutSeeds/orp#readme",
|
|
11
|
+
"bugs": {
|
|
12
|
+
"url": "https://github.com/SproutSeeds/orp/issues"
|
|
13
|
+
},
|
|
14
|
+
"bin": {
|
|
15
|
+
"orp": "bin/orp.js"
|
|
16
|
+
},
|
|
17
|
+
"files": [
|
|
18
|
+
"bin/",
|
|
19
|
+
"cli/",
|
|
20
|
+
"cone/",
|
|
21
|
+
"docs/",
|
|
22
|
+
"examples/",
|
|
23
|
+
"modules/",
|
|
24
|
+
"packs/",
|
|
25
|
+
"scripts/",
|
|
26
|
+
"spec/",
|
|
27
|
+
"templates/",
|
|
28
|
+
"AGENT_INTEGRATION.md",
|
|
29
|
+
"INSTALL.md",
|
|
30
|
+
"LICENSE",
|
|
31
|
+
"PROTOCOL.md",
|
|
32
|
+
"README.md",
|
|
33
|
+
"llms.txt"
|
|
34
|
+
],
|
|
35
|
+
"engines": {
|
|
36
|
+
"node": ">=18"
|
|
37
|
+
},
|
|
38
|
+
"scripts": {
|
|
39
|
+
"postinstall": "node scripts/npm-postinstall-check.js",
|
|
40
|
+
"test": "python3 -m unittest discover -s tests -v"
|
|
41
|
+
},
|
|
42
|
+
"keywords": [
|
|
43
|
+
"agentic",
|
|
44
|
+
"ai-agents",
|
|
45
|
+
"cli",
|
|
46
|
+
"gates",
|
|
47
|
+
"llms",
|
|
48
|
+
"machine-readable",
|
|
49
|
+
"open-research-protocol",
|
|
50
|
+
"orp",
|
|
51
|
+
"research-automation",
|
|
52
|
+
"research-workflow"
|
|
53
|
+
]
|
|
54
|
+
}
|
package/packs/README.md
ADDED
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
# ORP Packs
|
|
2
|
+
|
|
3
|
+
This directory contains optional downloadable ORP profile packs.
|
|
4
|
+
|
|
5
|
+
- ORP core remains generic.
|
|
6
|
+
- Packs provide domain-specific profile templates.
|
|
7
|
+
|
|
8
|
+
Available packs:
|
|
9
|
+
|
|
10
|
+
- `erdos-open-problems/` — sunflower/Erdos workflow templates (857/20/367 compare, discovery profiles, mathlib PR governance profiles, and Erdos catalog sync profile).
|
|
11
|
+
- `external-pr-governance/` — generic local-first external OSS contribution governance pack with adapter examples.
|
|
12
|
+
|
|
13
|
+
Install through ORP CLI:
|
|
14
|
+
|
|
15
|
+
- `orp pack list`
|
|
16
|
+
- `orp pack install --pack-id erdos-open-problems`
|