@mcptoolshop/research-os 0.3.1 → 0.3.3
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/CHANGELOG.md +181 -0
- package/README.es.md +101 -71
- package/README.fr.md +88 -58
- package/README.hi.md +85 -59
- package/README.it.md +99 -73
- package/README.ja.md +88 -58
- package/README.md +7 -3
- package/README.pt-BR.md +85 -59
- package/README.zh.md +104 -74
- package/dist/cli.js +123 -40
- package/dist/cli.js.map +1 -1
- package/dist/index.d.ts +13 -1
- package/dist/index.js +28 -26
- package/dist/index.js.map +1 -1
- package/package.json +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -2,6 +2,187 @@
|
|
|
2
2
|
|
|
3
3
|
All notable changes to `research-os` are documented here.
|
|
4
4
|
|
|
5
|
+
## [0.3.3] — 2026-05-10
|
|
6
|
+
|
|
7
|
+
Tight release. **Gate-semantics clarity, not behavior change.** Two
|
|
8
|
+
diagnostic improvements earned by Pack-3 (Godot export/runtime
|
|
9
|
+
durability, Experiment 3 pack #3 of 3, frozen 2026-05-10): F-43 (gate
|
|
10
|
+
accumulation diagnostic) and F-41 (monopoly check reword). Existing
|
|
11
|
+
pass/fail semantics for source-floor checks UNCHANGED. All four frozen
|
|
12
|
+
packs in research-packs continue to verify-pack with byte-identical
|
|
13
|
+
receipt fingerprints under v0.3.3.
|
|
14
|
+
|
|
15
|
+
### Added
|
|
16
|
+
|
|
17
|
+
- **Section-scoped diagnostic counts in gate output (F-43).** Gate
|
|
18
|
+
output now carries `section_primary` and `section_independent_publishers`
|
|
19
|
+
alongside the existing pack-wide counts. Section reports and audit
|
|
20
|
+
rollups display both views. Operators can now see, per section, how
|
|
21
|
+
many publishers contribute section-locally vs how many the
|
|
22
|
+
cumulative pack-wide source set carries.
|
|
23
|
+
|
|
24
|
+
*Gate pass/fail behavior is unchanged. v0.3.3 makes the source-floor
|
|
25
|
+
evidence legible by reporting both pack-wide and section-scoped
|
|
26
|
+
counts.*
|
|
27
|
+
|
|
28
|
+
Earned by Pack-3 Sessions 4–7 (Godot pack), where five sections of
|
|
29
|
+
identical single-publisher canonical-engine shape received different
|
|
30
|
+
waiver outcomes purely based on run-order — Section 01 (run first,
|
|
31
|
+
pack thin) needed dual waiver; Sections 02 + 04 + 05 + 06 + 07 (run
|
|
32
|
+
later, pack accumulated 6+ publishers) needed 0 waivers. The
|
|
33
|
+
difference was real (pack-wide counts at gate-run time), but the
|
|
34
|
+
diagnostic didn't show operators which view drove the decision.
|
|
35
|
+
|
|
36
|
+
### Changed
|
|
37
|
+
|
|
38
|
+
- **`no_source_cluster_monopoly` reworded from WARN to informational
|
|
39
|
+
diagnostic (F-41).** The check fired WARN on every single-source
|
|
40
|
+
claim across Pack-3 (confirmed 7×) regardless of explicit publisher
|
|
41
|
+
attribution on source cards. Each research-os claim is grounded to
|
|
42
|
+
one source span by design, so every claim is structurally
|
|
43
|
+
"single-publisher sourced." The WARN didn't carry actionable signal —
|
|
44
|
+
publisher diversity is already enforced by `min_independent_publishers`
|
|
45
|
+
at the source-card level.
|
|
46
|
+
|
|
47
|
+
*Because research-os claims are usually grounded to one source span,
|
|
48
|
+
single-source claim attribution is expected. Source diversity should
|
|
49
|
+
be judged from the section/pack source floor, not from a per-claim
|
|
50
|
+
"monopoly" warning.*
|
|
51
|
+
|
|
52
|
+
The check is preserved (not removed) so its diagnostic stays visible.
|
|
53
|
+
It now passes with an explanatory message rather than firing a
|
|
54
|
+
warning.
|
|
55
|
+
|
|
56
|
+
### Compatibility
|
|
57
|
+
|
|
58
|
+
- All four frozen packs (`research-os-self-dogfood`,
|
|
59
|
+
`comfyui-workflow-durability`, `xrpl-creator-token-durability`,
|
|
60
|
+
`godot-export-runtime-durability`) verify-pack with byte-identical
|
|
61
|
+
receipt sha256 under v0.3.3.
|
|
62
|
+
- Manifest format, freeze receipt format, claim-reviews.jsonl
|
|
63
|
+
semantics, F-36 effective-accepted-claims helper — all UNCHANGED.
|
|
64
|
+
- New diagnostic fields are additive. Existing tooling that reads
|
|
65
|
+
gate output continues to function.
|
|
66
|
+
|
|
67
|
+
### Tests
|
|
68
|
+
|
|
69
|
+
- 558 → **570 passing** (+12). Lint clean; typecheck clean; build
|
|
70
|
+
clean.
|
|
71
|
+
- 4-pack regression confirmed: ComfyUI sha256
|
|
72
|
+
`d71943c6...09c79038eb`, dogfood sha256 `368d2361...142ef1fd5d466`,
|
|
73
|
+
XRPL sha256 `6511a044...725259a5`, Godot sha256
|
|
74
|
+
`55a65792...6cf41235` — all stable.
|
|
75
|
+
|
|
76
|
+
### Out of scope (deferred to later releases)
|
|
77
|
+
|
|
78
|
+
- F-40 (source-type classification stability across authoritative
|
|
79
|
+
docs).
|
|
80
|
+
- F-42 / F-44 (operator-playbook documentation for JS-rendered
|
|
81
|
+
vendor doc alternates).
|
|
82
|
+
- F-37 product side (admission emits `.gitattributes` snippet).
|
|
83
|
+
- F-46 (manifest version display: init-time vs publish-time).
|
|
84
|
+
|
|
85
|
+
These are real frictions earned during Pack-3, but v0.3.3 ships with a
|
|
86
|
+
single coherent spine. They will land in their own scoped releases.
|
|
87
|
+
|
|
88
|
+
## [0.3.2] — 2026-05-09
|
|
89
|
+
|
|
90
|
+
Tight release. One real, tested, dogfooded improvement: normalized
|
|
91
|
+
accepted-claim accounting for `pack publish` admission. Earned by
|
|
92
|
+
Experiment 3 XRPL pack Session K — frozen-pack admission refused on
|
|
93
|
+
a closure-ledger seam disagreement (Section 07 had 24 raw
|
|
94
|
+
`accepted_for_synthesis` rows but only 19 unique `claim_id`s due to
|
|
95
|
+
overlapping reviewer windows). The strict equality check between
|
|
96
|
+
`claim-reviews.jsonl` count and `pack-audit.json::accepted_claims`
|
|
97
|
+
was overcounting duplicates as a refusal trigger. Fix is structural:
|
|
98
|
+
a single canonical "effective accepted set" definition, applied at
|
|
99
|
+
admission, with the legacy audit count preserved (Law 15) but
|
|
100
|
+
demoted from refusal to soft warn when it disagrees with the
|
|
101
|
+
effective set. F-35 (cross-section-map waiver-dependency mismatch)
|
|
102
|
+
deferred to its own scoped release; the helper's normalization
|
|
103
|
+
shape doesn't naturally generalize to operator-authored waiver
|
|
104
|
+
entries.
|
|
105
|
+
|
|
106
|
+
### Added
|
|
107
|
+
|
|
108
|
+
- **`getEffectiveAcceptedClaimIds(reviews)` helper** at
|
|
109
|
+
[`src/closure-ledger/effective-accepted.ts`](src/closure-ledger/effective-accepted.ts)
|
|
110
|
+
— pure-function module. Also exports `getEffectiveDecisionMap` and
|
|
111
|
+
`findIncompatibleDecisions` for downstream consumers that need the
|
|
112
|
+
latest decision per `claim_id` or want to detect incompatible
|
|
113
|
+
duplicate decisions at the same timestamp. The product rule
|
|
114
|
+
(advisor-locked): *Accepted claims = unique `claim_id`s whose
|
|
115
|
+
latest canonical review decision is `accepted_for_synthesis`.*
|
|
116
|
+
Latest-decision-wins precedence per `claim_id` (ISO-8601
|
|
117
|
+
timestamps compare lexicographically). Pattern mirrors
|
|
118
|
+
`cowork/derive.ts`'s active-blocker derivation (Pattern 2:
|
|
119
|
+
latest-status-wins).
|
|
120
|
+
|
|
121
|
+
### Fixed
|
|
122
|
+
|
|
123
|
+
- **Pack publish admission contract: normalized accepted-claim
|
|
124
|
+
accounting (F-36).** When `claim-reviews.jsonl` contains
|
|
125
|
+
overlapping reviewer windows, the same `claim_id` can legitimately
|
|
126
|
+
receive multiple `accepted_for_synthesis` records. Pack publish
|
|
127
|
+
admission now derives the effective accepted set per section using
|
|
128
|
+
latest-decision-wins precedence per `claim_id`, instead of strict
|
|
129
|
+
equality against the legacy `pack-audit.json::accepted_claims` raw
|
|
130
|
+
count. Frozen packs whose legacy audit count differs from the
|
|
131
|
+
effective set now admit with a warning rather than refusing — the
|
|
132
|
+
legacy audit file is preserved (Law 15 immutability) while the
|
|
133
|
+
archive manifest reflects the normalized count. Refusal cases kept
|
|
134
|
+
hard: phantom `claim_id` (accepted but absent from `claims.jsonl`),
|
|
135
|
+
incompatible duplicate decisions (same `claim_id` + same
|
|
136
|
+
`created_at` with different decision values), and section gate not
|
|
137
|
+
synthesis-eligible.
|
|
138
|
+
|
|
139
|
+
The new soft-warn line:
|
|
140
|
+
|
|
141
|
+
```
|
|
142
|
+
section <id>: legacy pack-audit.json accepted_claims (...) differs
|
|
143
|
+
from effective accepted set (...). Using effective count in
|
|
144
|
+
manifest. Legacy audit count preserved in pack/audits/pack-audit.json
|
|
145
|
+
(immutable per Law 15).
|
|
146
|
+
```
|
|
147
|
+
|
|
148
|
+
This is **not** a publish failure when the effective accepted set
|
|
149
|
+
is valid. It means pack publish is preserving the frozen audit
|
|
150
|
+
file while normalizing the archive manifest.
|
|
151
|
+
|
|
152
|
+
### Tests
|
|
153
|
+
|
|
154
|
+
- 540 → **558 passing** (+18). All 57 test files green; lint clean;
|
|
155
|
+
typecheck clean; build clean.
|
|
156
|
+
- 9 helper unit tests at
|
|
157
|
+
`test/closure-ledger/effective-accepted.test.ts` covering empty
|
|
158
|
+
input, duplicate-row dedup, latest-wins precedence in both
|
|
159
|
+
directions, out-of-order resolution, decision-map exposure,
|
|
160
|
+
incompatible-decision detection (with and without timestamp
|
|
161
|
+
collisions), and identical-timestamp agreement.
|
|
162
|
+
- 9 admission integration tests at
|
|
163
|
+
`test/pack-publish/f36-admission.test.ts` covering duplicate
|
|
164
|
+
accepted dedup, soft-warn (not refuse) on legacy mismatch,
|
|
165
|
+
effective-count manifest write, phantom-claim refusal,
|
|
166
|
+
incompatible-decision refusal, non-synthesis-eligible-gate
|
|
167
|
+
refusal, claims.jsonl-absent warn, repair-then-accept resolution,
|
|
168
|
+
later-rejected removal from accepted set, and tiny-fixture
|
|
169
|
+
regression.
|
|
170
|
+
|
|
171
|
+
### Validated against frozen packs
|
|
172
|
+
|
|
173
|
+
- **XRPL creator-token durability** (Experiment 3 pack #2 of 3):
|
|
174
|
+
smoke test admits cleanly. Section 07 surfaces the expected single
|
|
175
|
+
warning (legacy=24, effective=19). Total
|
|
176
|
+
`accepted_claims = 251`. `verify-pack` PASS.
|
|
177
|
+
- **ComfyUI workflow durability** (Experiment 1 pack):
|
|
178
|
+
regression PASS, sha256 fingerprint stable.
|
|
179
|
+
- **research-os self-dogfood** (Experiment 0 pack):
|
|
180
|
+
regression PASS, sha256 fingerprint stable.
|
|
181
|
+
|
|
182
|
+
The fix is a strict superset of prior admission discipline. Packs
|
|
183
|
+
whose effective count already matched legacy admit identically.
|
|
184
|
+
Only XRPL hits the new soft-warn path.
|
|
185
|
+
|
|
5
186
|
## [0.3.1] — 2026-05-09
|
|
6
187
|
|
|
7
188
|
Tight release. One real, tested, dogfooded improvement: section-scoped
|
package/README.es.md
CHANGED
|
@@ -7,7 +7,7 @@
|
|
|
7
7
|
</p>
|
|
8
8
|
|
|
9
9
|
<p align="center">
|
|
10
|
-
<a href="https://github.com/mcp-tool-shop-org/research-os/releases/tag/v0.
|
|
10
|
+
<a href="https://github.com/mcp-tool-shop-org/research-os/releases/tag/v0.3.3"><img src="https://img.shields.io/badge/version-0.3.3-blue" alt="version 0.3.3"></a>
|
|
11
11
|
<a href="https://github.com/mcp-tool-shop-org/research-os/actions/workflows/ci.yml"><img src="https://github.com/mcp-tool-shop-org/research-os/actions/workflows/ci.yml/badge.svg" alt="CI"></a>
|
|
12
12
|
<a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-green" alt="MIT License"></a>
|
|
13
13
|
<img src="https://img.shields.io/badge/node-%E2%89%A520-brightgreen" alt="Node ≥20">
|
|
@@ -16,80 +16,37 @@
|
|
|
16
16
|
|
|
17
17
|
# research-os
|
|
18
18
|
|
|
19
|
-
Una herramienta de línea de comandos (CLI) que transforma un tema
|
|
19
|
+
Una herramienta de línea de comandos (CLI) que transforma un tema amplio en un "**paquete de investigación**" estructurado: un repositorio organizado donde Claude, Cowork o un conjunto de herramientas pueden trabajar durante horas sin generar información falsa ni distorsionar la investigación.
|
|
20
20
|
|
|
21
21
|
## ¿Qué es?
|
|
22
22
|
|
|
23
|
-
`research-os` es la capa de control entre "quiero investigar X" y una base de evidencia
|
|
23
|
+
`research-os` es la capa de control entre "quiero investigar X" y una base de evidencia estructurada y verificable. Separa las ideas iniciales de la recopilación de evidencia, la extracción de datos de la evaluación de la información, la detección de contradicciones de la resolución de contradicciones, y las decisiones de revisión de la síntesis. Cada paso escribe en un registro de solo escritura; cada decisión sobre la validez se calcula a partir de esos registros, no se afirma directamente.
|
|
24
24
|
|
|
25
|
-
No es un generador de informes. No es un marco de orquestación de modelos de lenguaje (LLM). No escribe la síntesis por usted. Impone las condiciones bajo las cuales la síntesis puede comenzar.
|
|
25
|
+
No es un generador de informes. No es un marco de orquestación de modelos de lenguaje grandes (LLM). No escribe la síntesis por usted. Impone las condiciones bajo las cuales la síntesis puede comenzar.
|
|
26
26
|
|
|
27
|
-
|
|
27
|
+
Los paquetes finalizados se archivan en [`mcp-tool-shop-org/research-packs`](https://github.com/mcp-tool-shop-org/research-packs). Están disponibles, con dos paquetes iniciales. Consulte [`docs/roadmap.md`](docs/roadmap.md) para conocer la hoja de ruta de la versión 1.0.
|
|
28
28
|
|
|
29
|
-
|
|
29
|
+
La versión 0.1 se ha sometido a pruebas exhaustivas en dos proyectos piloto. El primero, "research-os investigando su propia especificación", encontró siete errores antes del lanzamiento de la versión 0.1.0, cada uno de los cuales requirió una corrección de código y la creación de una regla o patrón de integración. El segundo (Experimento 1: Durabilidad del flujo de trabajo de ComfyUI, 11 sesiones, un dominio sin superposición de vocabulario con research-os) se completó el 9 de mayo de 2026: el paquete se finalizó, el archivo está disponible, y la regla 2 se implementó mediante el commit `22b5dba`. La documentación del proyecto piloto 0.1 se encuentra en [`docs/dogfood-proof.md`](docs/dogfood-proof.md); la documentación del Experimento 1 se encuentra en [`docs/experiment-1-proof.md`](docs/experiment-1-proof.md). Manual de usuario: <https://mcp-tool-shop-org.github.io/research-os/handbook/>.
|
|
30
30
|
|
|
31
|
-
|
|
32
|
-
|---|-----|
|
|
33
|
-
| 1 | No hay síntesis antes de la verdad de la fuente. |
|
|
34
|
-
| 2 | La recopilación es evidencia; la extracción es interpretación. |
|
|
35
|
-
| 3 | Los modelos pueden interpretar fragmentos de la fuente; no pueden crear fragmentos de evidencia. |
|
|
36
|
-
| 4 | La extracción puede generar demasiada información; la síntesis no puede heredar esa abundancia. |
|
|
37
|
-
| 5 | El mapeo de contradicciones revela tensiones; no resuelve, sintetiza ni decide qué afirmación es correcta. |
|
|
38
|
-
| 6 | Las restricciones deciden si una sección es elegible para la síntesis. No sintetizan ni ocultan los fallos. |
|
|
39
|
-
| 7 | La revisión crítica evalúa la integridad de la investigación. No sintetiza ni reescribe la verdad de la fuente. |
|
|
40
|
-
| 8 | La indexación hace que la verdad de la investigación sea consultable. No crea nueva verdad ni se convierte en la fuente oficial. |
|
|
41
|
-
| 9 | La transferencia a Cowork genera instrucciones operativas a partir de la verdad de la investigación. No crea verdad ni evita las restricciones. |
|
|
42
|
-
| 10 | El espacio de trabajo de síntesis organiza la verdad de la investigación aceptada para Cowork. No crea síntesis ni evita el modo de transferencia. |
|
|
43
|
-
| 11 | La auditoría del paquete agrega la verdad de la investigación existente. No crea nueva verdad ni oculta la evidencia a nivel de sección. |
|
|
44
|
-
| 12 | El descubrimiento propone pistas; solo la recopilación produce evidencia. |
|
|
45
|
-
| 13 | Un revisor no es confiable hasta que las pruebas de fallos demuestran su capacidad de recuperación. |
|
|
46
|
-
| 14 | La abundancia de afirmaciones no es sinónimo de calidad de la investigación. Las afirmaciones deben ser validadas antes de poder competir para la síntesis. |
|
|
47
|
-
| 15 | La congelación fija la verdad de la investigación completada. No completa la investigación inconclusa ni convierte el estado de reparación en evidencia. |
|
|
48
|
-
| 16 | Las exenciones relajan las restricciones de la fuente; no pueden crear evidencia. |
|
|
49
|
-
|
|
50
|
-
**Ley 3** — el modelo de lenguaje nunca crea texto de evidencia. `research-os` crea un registro de extractos determinista (con identificadores estables como `ex_<id_hex_de_la_fuente>_001`); el modelo de lenguaje elige los identificadores de los extractos; `research-os` copia el texto literal. La clase de error "parafrasear como cita" es estructuralmente imposible.
|
|
51
|
-
|
|
52
|
-
**Ley 14** — entre la extracción y la revisión, `research-os claim triage` elimina duplicados, limita la contribución por fuente y reserva los candidatos de bajo rendimiento. El triage NO modifica `claims.jsonl`; las afirmaciones reservadas permanecen en el registro canónico.
|
|
31
|
+
## Instalación
|
|
53
32
|
|
|
54
|
-
|
|
33
|
+
**Requisitos:** Node.js ≥ 20.
|
|
55
34
|
|
|
56
|
-
```
|
|
57
|
-
|
|
58
|
-
→ gather
|
|
59
|
-
→ claim extract
|
|
60
|
-
→ claim audit-density
|
|
61
|
-
→ claim triage
|
|
62
|
-
→ contradict map
|
|
63
|
-
→ contradict resolve
|
|
64
|
-
→ review
|
|
65
|
-
→ review-promote
|
|
66
|
-
→ gate
|
|
67
|
-
→ section report
|
|
68
|
-
→ audit
|
|
69
|
-
→ index build
|
|
70
|
-
→ cowork handoff
|
|
71
|
-
→ synth workspace
|
|
72
|
-
→ freeze
|
|
35
|
+
```bash
|
|
36
|
+
npm install -g @mcptoolshop/research-os
|
|
73
37
|
```
|
|
74
38
|
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
Esta es la alternativa estructural a *búsqueda → resumen → informe detallado*. La cadena es el producto.
|
|
78
|
-
|
|
79
|
-
## Instalación
|
|
80
|
-
|
|
81
|
-
**Requisitos:** Node.js ≥ 20.
|
|
39
|
+
Para los colaboradores que construyen desde el código fuente:
|
|
82
40
|
|
|
83
41
|
```bash
|
|
84
|
-
# From source (v0.1.0 is not yet published to npm)
|
|
85
42
|
git clone https://github.com/mcp-tool-shop-org/research-os.git
|
|
86
43
|
cd research-os
|
|
87
44
|
npm install
|
|
88
45
|
npm run build
|
|
89
|
-
npm link
|
|
46
|
+
npm link
|
|
90
47
|
```
|
|
91
48
|
|
|
92
|
-
##
|
|
49
|
+
## Comienzo rápido
|
|
93
50
|
|
|
94
51
|
```bash
|
|
95
52
|
# Create a new research-pack
|
|
@@ -119,41 +76,114 @@ research-os index build --all
|
|
|
119
76
|
research-os cowork handoff
|
|
120
77
|
research-os synth workspace # only if handoff returned synthesis_ready
|
|
121
78
|
research-os freeze
|
|
79
|
+
|
|
80
|
+
# Export to the research-packs archive
|
|
81
|
+
research-os pack publish \
|
|
82
|
+
--to <research-packs>/packages/<name>
|
|
83
|
+
```
|
|
84
|
+
|
|
85
|
+
**Para un ejemplo práctico**, consulte el paquete de demostración en `research-os-packs/research-os-spec/`: cada elemento, cada registro, cada evaluación, cada huella digital de la versión final, todo en el disco en registros de solo escritura. Ese paquete es el que generó `docs/dogfood-proof.md`.
|
|
86
|
+
|
|
87
|
+
**Requiere [ollama-intern-mcp](https://github.com/mcp-tool-shop-org/ollama-intern-mcp) ejecutándose localmente** para la extracción, la evaluación, la revisión y el descubrimiento de información mediante modelos de lenguaje. El modelo predeterminado es `hermes3:8b`; cámbielo con `OLLAMA_INTERN_MODEL=<modelo>`. Establezca `OLLAMA_HOST` si Ollama no se ejecuta en el valor predeterminado `localhost:11434`.
|
|
88
|
+
|
|
89
|
+
## Las 16 reglas fundamentales
|
|
90
|
+
|
|
91
|
+
| # | Regla |
|
|
92
|
+
|---|-----|
|
|
93
|
+
| 1 | No se puede realizar una síntesis sin una fuente verificada. |
|
|
94
|
+
| 2 | La recopilación es evidencia; la extracción es interpretación. |
|
|
95
|
+
| 3 | Los modelos pueden interpretar fragmentos de la fuente; no pueden crear fragmentos de evidencia. |
|
|
96
|
+
| 4 | La extracción puede generar demasiada información; la síntesis no puede heredar esa abundancia. |
|
|
97
|
+
| 5 | El mapeo de contradicciones revela tensiones; no resuelve, sintetiza ni decide qué afirmación es correcta. |
|
|
98
|
+
| 6 | Las restricciones deciden si una sección es elegible para la síntesis. No realizan la síntesis ni ocultan los fallos. |
|
|
99
|
+
| 7 | La revisión crítica evalúa la integridad de la investigación. No realiza la síntesis ni reescribe la fuente verificada. |
|
|
100
|
+
| 8 | La indexación permite buscar información verificada. No crea nueva información ni se convierte en la fuente oficial. |
|
|
101
|
+
| 9 | La transferencia a Cowork genera instrucciones operativas a partir de la información verificada. No crea información ni evita las restricciones. |
|
|
102
|
+
| 10 | El espacio de trabajo de síntesis organiza la información verificada para Cowork. No crea la síntesis ni evita el modo de transferencia. |
|
|
103
|
+
| 11 | La auditoría del paquete recopila la información verificada existente. No crea nueva información ni oculta la evidencia a nivel de sección. |
|
|
104
|
+
| 12 | El descubrimiento propone ideas; solo la recopilación produce evidencia. |
|
|
105
|
+
| 13 | Un revisor no se considera confiable hasta que se demuestran fallos y se verifica su capacidad de recuperación. |
|
|
106
|
+
| 14 | La abundancia de afirmaciones no garantiza la calidad de la investigación. Las afirmaciones deben ser evaluadas antes de poder ser consideradas para su síntesis. |
|
|
107
|
+
| 15 | La función de "congelación" asegura la integridad de la investigación finalizada. No completa investigaciones incompletas ni convierte un estado de reparación en evidencia. |
|
|
108
|
+
| 16 | Las exenciones relajan las restricciones de origen; sin embargo, no pueden generar evidencia. |
|
|
109
|
+
|
|
110
|
+
**Ley 3** — El modelo de lenguaje (LLM) nunca genera texto de evidencia. `research-os` crea un registro determinista de extractos (con identificadores estables como `ex_<id_hex_de_la_fuente>_001`); el LLM selecciona los identificadores de los extractos; `research-os` copia el texto literal. La clase de error "parafraseo como cita" es estructuralmente imposible.
|
|
111
|
+
|
|
112
|
+
**Ley 14** — Entre la extracción y la revisión, `research-os claim triage` elimina duplicados, limita la contribución por fuente y reserva los candidatos de bajo valor. El triage NO modifica `claims.jsonl`; las afirmaciones reservadas permanecen en el registro canónico.
|
|
113
|
+
|
|
114
|
+
## La cadena de flujo de trabajo v0.1
|
|
115
|
+
|
|
116
|
+
```
|
|
117
|
+
discover
|
|
118
|
+
→ gather
|
|
119
|
+
→ claim extract
|
|
120
|
+
→ claim audit-density
|
|
121
|
+
→ claim triage
|
|
122
|
+
→ contradict map
|
|
123
|
+
→ contradict resolve
|
|
124
|
+
→ review
|
|
125
|
+
→ review-promote
|
|
126
|
+
→ gate
|
|
127
|
+
→ section report
|
|
128
|
+
→ audit
|
|
129
|
+
→ index build
|
|
130
|
+
→ cowork handoff
|
|
131
|
+
→ synth workspace
|
|
132
|
+
→ freeze
|
|
122
133
|
```
|
|
123
134
|
|
|
124
|
-
|
|
135
|
+
Cada paso es un comando de la interfaz de línea de comandos (CLI). Cada paso escribe en archivos que solo se pueden añadir. Ningún paso sintetiza, resuelve o crea nueva verdad; estos invariantes se aplican y no se confían en ellos. La revisión acepta, rechaza o solicita correcciones para las afirmaciones candidatas; la función de "puerta" utiliza estas decisiones de revisión para calcular la "elegibilidad para la síntesis"; la función de "congelación" es el último control de integridad que se niega a marcar un paquete como completado a menos que todas las capas estén de acuerdo. Consulte [docs/dogfood-proof.md](docs/dogfood-proof.md) para la prueba de la cadena v0.1 que garantiza la integridad de extremo a extremo.
|
|
125
136
|
|
|
126
|
-
|
|
137
|
+
Esta es la alternativa estructural a *búsqueda → resumen → informe detallado*. La cadena es el producto.
|
|
127
138
|
|
|
128
139
|
## Glosario
|
|
129
140
|
|
|
130
141
|
| Término | Significado |
|
|
131
142
|
|------|---------|
|
|
132
|
-
| `research-os` | El plano de control / CLI /
|
|
133
|
-
| `research-pack` | El
|
|
143
|
+
| `research-os` | El plano de control / CLI / puertas / ley de orquestación (este repositorio) |
|
|
144
|
+
| `research-pack` | El artefacto de repositorio generado para un esfuerzo de investigación. |
|
|
134
145
|
| `research section` | Una unidad de investigación delimitada dentro de un paquete. |
|
|
135
|
-
| `research receipt` | Prueba de que una sección ha superado las comprobaciones de origen/afirmación/
|
|
146
|
+
| `research receipt` | Prueba de que una sección ha superado las comprobaciones de origen/afirmación/puerta. |
|
|
136
147
|
|
|
137
148
|
## Seguridad
|
|
138
149
|
|
|
139
|
-
`research-os` es una herramienta de línea de comandos que funciona principalmente
|
|
150
|
+
`research-os` es una herramienta de línea de comandos que funciona principalmente de forma local. Lee y escribe archivos dentro del directorio del paquete de investigación al que se le indica, y (cuando se utiliza `gather`) realiza solicitudes HTTP salientes para obtener las URL de origen que se proporcionan. No: ejecuta un servidor, acepta conexiones entrantes, almacena credenciales ni envía datos de telemetría. No se escriben secretos en los artefactos del paquete. Consulte [SECURITY.md](SECURITY.md) para obtener la política de notificación de vulnerabilidades.
|
|
140
151
|
|
|
141
152
|
## Estado
|
|
142
153
|
|
|
143
|
-
**v0.
|
|
154
|
+
**v0.3.3** — Publicada en npm como `@mcptoolshop/research-os@0.3.3`, 10 de mayo de 2026. Incluye mejoras en la claridad de la semántica de las "gates" obtenidas gracias a Pack-3 (durabilidad de la exportación/ejecución de Godot, Experimento 3, paquete #3 de 3). La salida de la "gate" ahora incluye el publicador y los conteos específicos de la sección, junto con los conteos generales del paquete (F-43); se ha reformulado `no_source_cluster_monopoly` de una advertencia a un diagnóstico informativo (F-41). **El comportamiento de aprobación/rechazo no ha cambiado; los paquetes congelados existentes se verifican byte a byte.** 570/570 pruebas de vitest superadas. Consulte [CHANGELOG.md](CHANGELOG.md) y [`docs/section-scoped-waivers.md`](docs/section-scoped-waivers.md).
|
|
155
|
+
|
|
156
|
+
**v0.3.2** — Publicada en npm como `@mcptoolshop/research-os@0.3.2`, 9 de mayo de 2026. Incluye una normalización de la contabilización de "accepted claims" que tiene en cuenta la admisión de `pack publish`. La estricta comparación de igualdad entre `claim-reviews.jsonl` y `pack-audit.json::accepted_claims` se ha reemplazado por una comparación de conjuntos efectivos: las "accepted claims" son identificadores únicos (`claim_id`) cuya última decisión de revisión canónica es "accepted_for_synthesis" (la última decisión prevalece por `claim_id`). Los paquetes congelados cuya cuenta de auditoría heredada difiere del conjunto efectivo ahora se admiten con una advertencia en lugar de ser rechazados; el archivo de auditoría heredado se conserva tal cual (Ley 15), mientras que el manifiesto del archivo refleja la cuenta normalizada. El rechazo sigue siendo absoluto para los identificadores de reclamación fantasma, las decisiones duplicadas incompatibles y las "gates" que no son elegibles para la síntesis. Obtenido gracias al Experimento 3, paquete XRPL, Sesión K: el "pack publish" fue rechazado debido a una discrepancia real en el registro de cierre (la Sección 07 tenía 24 filas "accepted_for_synthesis" pero solo 19 identificadores únicos (`claim_id`) debido a ventanas de revisión superpuestas). 558/558 pruebas de vitest superadas. Consulte [CHANGELOG.md](CHANGELOG.md) y [`docs/pack-publish.md`](docs/pack-publish.md).
|
|
144
157
|
|
|
145
|
-
|
|
158
|
+
**v0.3.1** — Publicado en npm como `@mcptoolshop/research-os@0.3.1`, 9 de mayo de 2026. Incluye exenciones de origen con ámbito de sección (`primary_source_waiver.section_waivers[]`) y un reconocimiento por parte del revisor, de modo que una detección de "monopolio de la fuente" a nivel de sección se convierte en una advertencia visible en lugar de redirigir automáticamente todas las afirmaciones a "necesita reparación de la fuente". Obtenido mediante el experimento 3 del paquete XRPL, sesión 2: las secciones de protocolo canónico (cadenas de una sola base, especificaciones de API de jardín vallado, documentos de organismos de normalización) invirtieron la suposición de que la diversidad de editores es un indicador de la calidad de la verdad. 540/540 pruebas de vitest superadas. Consulte [CHANGELOG.md](CHANGELOG.md) y [`docs/section-scoped-waivers.md`](docs/section-scoped-waivers.md).
|
|
146
159
|
|
|
147
|
-
|
|
148
|
-
|
|
149
|
-
-
|
|
150
|
-
|
|
160
|
+
**Exenciones de origen con ámbito de sección** — Utilícelas cuando la diversidad de editores es estructuralmente incompatible con la fuente de verdad de la sección, no cuando una sección simplemente no ha logrado encontrar suficientes fuentes. Incluye un campo "razón" con control de esquema y una lista no vacía de "controles compensatorios". La política del paquete `primary_source_waiver_allowed: false` bloquea tanto las exenciones a nivel de paquete como las exenciones con ámbito de sección. El truco anterior a la v0.3.1 de `min_independent_publishers: 0` a nivel de paquete está ahora obsoleto; los paquetes congelados existentes siguen siendo válidos según sus recibos existentes. Consulte [`docs/section-scoped-waivers.md`](docs/section-scoped-waivers.md) y el [manual de operación de los paquetes de investigación](https://github.com/mcp-tool-shop-org/research-packs/blob/main/docs/operator-playbook.md).
|
|
161
|
+
|
|
162
|
+
**v0.3.0** — publicado el 2026-05-09. Se incluyó la opción `--detector <auto|heuristic|ollama-intern>` en `contradict map` (corrección F-09 de bloqueo de cadena del Experimento 3, Sesión 1, paquete XRPL). 527/527 pruebas vitest superadas. La selección del detector ahora es una opción explícita para el operador, en lugar de una variable de entorno dependiente del estado; el modo se muestra claramente en cada ejecución. Consulte [`docs/contradict-map.md`](docs/contradict-map.md).
|
|
163
|
+
|
|
164
|
+
**v0.2.0** — publicado el 2026-05-09. Se incluyeron el paquete `research-os pack publish` (Experimento 2) y la corrección del predicado de preparación del Patrón 2. 515/515 pruebas vitest superadas. Consulte [CHANGELOG.md](CHANGELOG.md). Los paquetes congelados se exportan al archivo canónico `research-packs` con un solo comando; el contrato de admisión se aplica mediante código, no mediante una lista de verificación. Consulte [`docs/pack-publish.md`](docs/pack-publish.md).
|
|
165
|
+
|
|
166
|
+
**v0.1.0** — paquete de prueba interna congelado el 2026-05-08. El paquete en `research-os-packs/research-os-spec/` (repositorio hermano) alcanzó el estado de congelación con 296 afirmaciones aceptadas en 8 secciones, 17 gestionadas, 30 anuladas por el operador, 0 bloqueadores de reparación activos, 0 contradicciones sin resolver, y todas las condiciones (`synthesis_eligible=true`) cumplidas. Seis leyes fundamentales acumuladas. Consulte [`docs/dogfood-proof.md`](docs/dogfood-proof.md) para obtener los siete hallazgos y las huellas digitales de la recepción de la congelación.
|
|
167
|
+
|
|
168
|
+
**Repositorio monorepo de paquetes de investigación** — disponible en [`mcp-tool-shop-org/research-packs`](https://github.com/mcp-tool-shop-org/research-packs) con dos paquetes iniciales. `comfyui-workflow-durability` (Experimento 1, 302 afirmaciones aceptadas, 8 secciones) y `research-os-self-dogfood` (relleno de la versión 0.1 de la prueba interna, 296 afirmaciones aceptadas, 8 secciones). Ambos paquetes PASAN `verify-pack.mjs`.
|
|
169
|
+
|
|
170
|
+
**Experimento 1 de la versión 1 (Durabilidad del flujo de trabajo de ComfyUI)** — CERRADO el 2026-05-09. Todas las 8 secciones en Terminal A, paquete congelado, archivo disponible. Consulte [`docs/experiment-1-proof.md`](docs/experiment-1-proof.md) y [`docs/roadmap.md`](docs/roadmap.md).
|
|
171
|
+
|
|
172
|
+
### Lo que la versión 0.3 no es
|
|
173
|
+
|
|
174
|
+
- No ha sido probado por usuarios externos. Tres ciclos de prueba interna han finalizado: uno autorreferencial y dos de dominio externo. El Experimento 3 (estabilidad de la API bajo presión externa) se **CERRÓ el 10 de mayo de 2026**: los tres paquetes (ComfyUI, XRPL, Godot) alcanzaron la versión final sin cambios disruptivos en la interfaz de línea de comandos (CLI) v0.3.x. Este ciclo de prueba generó la versión v0.3.0 con el parámetro `--detector` (F-09), la versión v0.3.1 con las exenciones específicas de la sección (F-10/F-11), la versión v0.3.2 con la normalización de la contabilización de "accepted claims" (F-36) y la versión v0.3.3 con la mejora en la claridad de la semántica de las "gates" (F-43/F-41).
|
|
175
|
+
- No es un escritor de síntesis. El comando `synth workspace` genera el espacio de trabajo estructurado; los humanos (o Cowork) escriben el contenido en relación con los identificadores de reclamación aceptados.
|
|
176
|
+
- No es estable en la API según la semántica de versiones. La versión 1.0.0 es un estado alcanzado, no una fecha en el calendario; consulte [`docs/roadmap.md`](docs/roadmap.md) para ver los seis experimentos que cierran esa brecha.
|
|
151
177
|
|
|
152
178
|
### Limitaciones conocidas
|
|
153
179
|
|
|
154
|
-
- **
|
|
155
|
-
- **La selección del modelo de revisión
|
|
156
|
-
- **El paquete de
|
|
180
|
+
- **El origen del extractor no es visible en la interfaz de la condición.** Una sección puede pasar la prueba de afirmaciones aceptadas mientras se basan en afirmaciones heurísticas cuando el extractor calibrado (Ollama con el modelo configurado) no está disponible. Se registra como el Experimento 4 en el plan de trabajo; la futura optimización informará las afirmaciones aceptadas por extractor y requerirá la cantidad de afirmaciones aceptadas del camino calibrado.
|
|
181
|
+
- **La selección del modelo de revisión más allá de la línea de base calibrada de `hermes-two-pass` no está resuelta.** El ciclo de prueba interna validó una configuración de revisor; los modelos alternativos necesitan su propia calibración de recuperación de fallos simulados antes de que puedan ser confiables. Experimento 5 en el plan de trabajo.
|
|
182
|
+
- **El paquete de prueba interna de la versión 0.1 utilizó `mistral-nemo:12b` para la extracción (el valor predeterminado canónico es `hermes3:8b`).** `hermes3:8b` no estaba disponible en esta plataforma durante el ciclo de la versión 0.1. La divulgación de la sustitución permanece vigente hasta que se produzca una recepción basada en hermes3; Experimento 6 en el plan de trabajo. Para los operadores en plataformas que no tienen `hermes3:8b`, establezca `OLLAMA_INTERN_MODEL` en un modelo disponible; las URL preconfiguradas para el operador y la disciplina de precisión de la consulta (consulte el manual) mitigan las alucinaciones de descubrimiento en temas ambiguos.
|
|
183
|
+
|
|
184
|
+
## Hoja de ruta para la versión 1.0
|
|
185
|
+
|
|
186
|
+
La versión 1.0 es un estado alcanzado, no una fecha de lanzamiento. Seis experimentos están pendientes entre la versión 0.1 y la 1.0: un sistema de pruebas internas ("dogfood") que no se refiere a sí mismo (actualmente en desarrollo como el paquete de durabilidad de ComfyUI), un comando `research-os pack publish` que automatiza la exportación al repositorio centralizado `research-packs` (Experimento 2, limitado por el Experimento 1 y que requiere su finalización manual), estabilidad de la API bajo presión externa, la resolución de la brecha de trazabilidad del extractor, la generalización de la calibración de los revisores más allá de `hermes-two-pass`, y una ejecución de referencia limpia en `hermes3:8b`. El Experimento 1 no estará finalizado cuando se "congele" el paquete; se completará cuando el paquete congelado se publique como el primer paquete en el repositorio centralizado `research-packs`, junto con la versión 0.1 del sistema de pruebas internas. El plan completo se encuentra en [`docs/roadmap.md`](docs/roadmap.md). La arquitectura permanece constante; la versión 1.0 profundiza en lo que la versión 0.1 demostró, en lugar de volver a abrir temas ya tratados.
|
|
157
187
|
|
|
158
188
|
## Licencia
|
|
159
189
|
|