@saulwade/swl-ses 2.6.1 → 2.8.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.
Files changed (268) hide show
  1. package/CLAUDE.md +14 -2
  2. package/README.md +65 -18
  3. package/agentes/_intent-spec.md +73 -73
  4. package/agentes/_propose-step.md +90 -90
  5. package/bin/swl-ses.js +10 -0
  6. package/comandos/swl/brainstorm.md +1 -0
  7. package/comandos/swl/briefing.md +119 -119
  8. package/comandos/swl/contribuir.md +233 -233
  9. package/comandos/swl/deuda-codigo.md +97 -97
  10. package/comandos/swl/mcp-status.md +1 -0
  11. package/gateway/lib/event-channel.js +191 -191
  12. package/habilidades/agent-deep-links/SKILL.md +148 -148
  13. package/habilidades/backend-async-postgres-testing/SKILL.md +216 -216
  14. package/habilidades/backend-error-design/SKILL.md +221 -221
  15. package/habilidades/backend-production-resilience/SKILL.md +288 -288
  16. package/habilidades/calidad-anti-patrones-universales/SKILL.md +105 -1
  17. package/habilidades/calidad-contract-testing/SKILL.md +165 -165
  18. package/habilidades/calidad-mutation-testing/SKILL.md +25 -1
  19. package/habilidades/checklist-seguridad/recursos/stride-cobertura.md +60 -60
  20. package/habilidades/ci-cd-pipelines/SKILL.md +5 -1
  21. package/habilidades/css-moderno/SKILL.md +7 -1
  22. package/habilidades/diagrama-arquitectura/assets/template.html +276 -276
  23. package/habilidades/doubt-driven-review/recursos/EXAMPLES.md +130 -130
  24. package/habilidades/estructura-proyecto-claude/recursos/mcp-json-template.json +57 -57
  25. package/habilidades/extractor-de-aprendizajes/SKILL.md +5 -1
  26. package/habilidades/feynman-auditor-swl/recursos/preguntas-language-agnostic.md +108 -108
  27. package/habilidades/harness-claude-code/SKILL.md +3 -2
  28. package/habilidades/meta-skills-estandar/recursos/convencion-examples.md +93 -93
  29. package/habilidades/patrones-python/recursos/patrones-avanzados.md +469 -469
  30. package/habilidades/perfil-usuario/SKILL.md +200 -200
  31. package/habilidades/prevencion-sobreingenieria/recursos/EXAMPLES.md +580 -580
  32. package/habilidades/prevencion-sobreingenieria/recursos/soluciones-nativas.md +166 -166
  33. package/habilidades/prevencion-sobreingenieria/recursos/variables-residuales-post-refactor.md +85 -85
  34. package/habilidades/proceso-ddia-streaming/SKILL.md +231 -231
  35. package/habilidades/proceso-discovery-machote/SKILL.md +157 -157
  36. package/habilidades/proceso-dynamic-workflows/SKILL.md +60 -0
  37. package/habilidades/proceso-dynamic-workflows/recursos/template-adversarial-verify.js +65 -65
  38. package/habilidades/proceso-dynamic-workflows/recursos/template-triage.js +65 -65
  39. package/habilidades/proceso-intent-engineering/SKILL.md +269 -269
  40. package/habilidades/proceso-modular-split/SKILL.md +256 -256
  41. package/habilidades/state-inconsistency-auditor-swl/recursos/coupled-state-patterns.md +147 -147
  42. package/habilidades/swl-claudemd/recursos/contrato-aprender.md +83 -83
  43. package/habilidades/swl-claudemd/recursos/duplicacion-reglas-globales.md +85 -85
  44. package/habilidades/swl-claudemd/recursos/plantillas-init.md +94 -94
  45. package/habilidades/tdd-workflow/recursos/gherkin-bdd.md +111 -111
  46. package/hooks/calidad-pre-commit.js +159 -10
  47. package/hooks/ciclo-evolucion-subagente.js +26 -26
  48. package/hooks/ciclo-evolucion.js +26 -26
  49. package/hooks/contexto-subagente.js +68 -68
  50. package/hooks/lib/auto-consolidator.js +335 -335
  51. package/hooks/lib/ciclo-evolucion.js +47 -47
  52. package/hooks/lib/deep-links.js +185 -185
  53. package/hooks/lib/error-classifier.js +308 -308
  54. package/hooks/lib/notificacion-formato.js +45 -11
  55. package/hooks/lib/provenance-tracker.js +191 -191
  56. package/hooks/lib/raiz-proyecto.js +35 -4
  57. package/hooks/lib/resource-quota.js +122 -122
  58. package/hooks/lib/retry-jitter.js +165 -165
  59. package/hooks/lib/security-net.js +201 -201
  60. package/hooks/lib/skill-auditor.js +588 -588
  61. package/hooks/lib/sync-status.js +228 -228
  62. package/hooks/lib/taint-tracker.js +107 -107
  63. package/hooks/lib/text-similarity.js +241 -241
  64. package/hooks/lib/toon-compressor.js +245 -245
  65. package/hooks/notificacion-telegram.js +5 -11
  66. package/hooks/session-briefing.js +12 -4
  67. package/instintos/autonomia.yaml +27 -27
  68. package/instintos/prompt-appendices.yaml +57 -57
  69. package/llms.txt +1 -1
  70. package/manifiestos/agent-output-schemas.json +57 -57
  71. package/manifiestos/canonical-hashes.json +662 -0
  72. package/manifiestos/harness-ir.json +47536 -0
  73. package/manifiestos/hooks-config.json +469 -469
  74. package/manifiestos/invariantes-criticos.json +30 -30
  75. package/manifiestos/policy-bundle.json +2065 -0
  76. package/manifiestos/policy-corpus-w2.json +3926 -0
  77. package/manifiestos/runtime-adapters-core3.json +208 -0
  78. package/manifiestos/runtime-conformance.json +139 -0
  79. package/manifiestos/skills-lock.json +43 -43
  80. package/package.json +2 -2
  81. package/plantillas/auditor-veto-template.md +105 -105
  82. package/plantillas/github-workflows/release-please.yml +44 -44
  83. package/plantillas/github-workflows/swl-ci.yml +107 -107
  84. package/plantillas/github-workflows/swl-security.yml +51 -51
  85. package/plugin.json +2 -2
  86. package/reglas/accesibilidad.md +10 -10
  87. package/reglas/auditorias-documentales-estructurales.md +7 -7
  88. package/reglas/cloud-infra.md +8 -8
  89. package/reglas/consultar-vault-primero.md +195 -195
  90. package/reglas/git-workflow.md +1 -0
  91. package/reglas/hooks.md +6 -6
  92. package/reglas/intent-engineering.md +218 -218
  93. package/reglas/markitdown.md +8 -8
  94. package/reglas/monitor-ci.md +12 -0
  95. package/reglas/patrones.md +6 -6
  96. package/reglas/testing.md +7 -7
  97. package/reglas/tests-cleanup.md +224 -224
  98. package/schemas/agent-message.schema.json +73 -73
  99. package/schemas/agent-output-implementacion.schema.json +114 -114
  100. package/schemas/agent-output-planificacion.schema.json +150 -150
  101. package/schemas/agent-output-review.schema.json +98 -98
  102. package/schemas/diary-entry.schema.json +112 -112
  103. package/schemas/gate-state.schema.json +76 -0
  104. package/schemas/harness-ir.schema.json +369 -0
  105. package/schemas/hook-profiles.schema.json +54 -54
  106. package/schemas/hooks-config.schema.json +89 -89
  107. package/schemas/legacy-gates.schema.json +45 -0
  108. package/schemas/modulos.schema.json +38 -38
  109. package/schemas/perfiles.schema.json +36 -36
  110. package/schemas/plugin.schema.json +77 -77
  111. package/schemas/policy-bundle.schema.json +140 -0
  112. package/schemas/policy-enforcement.schema.json +117 -0
  113. package/schemas/policy-operation.schema.json +261 -0
  114. package/schemas/runtime-adapter.schema.json +176 -0
  115. package/schemas/runtime-build-attestation.schema.json +100 -0
  116. package/schemas/runtime-conformance.schema.json +239 -0
  117. package/schemas/runtime-diagnostic.schema.json +395 -0
  118. package/schemas/skill-evals.schema.json +119 -119
  119. package/schemas/skill-frontmatter.schema.json +245 -245
  120. package/schemas/w4-certification-request.schema.json +72 -0
  121. package/schemas/w4-certification-verdict.schema.json +224 -0
  122. package/schemas/w4-corpus.schema.json +172 -0
  123. package/schemas/w4-mutation-report.schema.json +116 -0
  124. package/schemas/w4-replay-result.schema.json +164 -0
  125. package/schemas/w4-scoring-report.schema.json +89 -0
  126. package/scripts/audit-tools/audit-history.js +330 -330
  127. package/scripts/audit-tools/bundle-tracker.js +290 -290
  128. package/scripts/audit-tools/canary-monitor.js +352 -352
  129. package/scripts/audit-tools/code-profiler.js +605 -605
  130. package/scripts/audit-tools/dep-doctor.js +320 -320
  131. package/scripts/audit-tools/env-validator.js +206 -206
  132. package/scripts/audit-tools/lib/fs-walk.js +48 -48
  133. package/scripts/audit-tools/lib/output.js +23 -23
  134. package/scripts/audit-tools/migration-checker.js +392 -392
  135. package/scripts/audit-tools/pentest-scanner.js +1436 -1436
  136. package/scripts/bootstrap-instintos.js +3 -0
  137. package/scripts/cli/aprobar-plan.js +73 -73
  138. package/scripts/cli/briefing.js +23 -23
  139. package/scripts/cli/ciclo-evolucion.js +26 -26
  140. package/scripts/cli/derivar-feature-list.js +25 -25
  141. package/scripts/cli/detectar-host.js +27 -27
  142. package/scripts/cli/diary-entry.js +69 -69
  143. package/scripts/cli/execution-state.js +18 -18
  144. package/scripts/cli/gateway-notify.js +41 -41
  145. package/scripts/cli/liberar-fase.js +42 -42
  146. package/scripts/cli/mark-evolved.js +56 -56
  147. package/scripts/cli/metricas-dora.js +26 -26
  148. package/scripts/cli/near-duplicate.js +55 -55
  149. package/scripts/cli/notificaciones.js +123 -123
  150. package/scripts/cli/propose-step.js +29 -29
  151. package/scripts/cli/schedule-parse.js +19 -19
  152. package/scripts/cli/sugerir-modelo.js +20 -20
  153. package/scripts/cli/verificar-plan.js +36 -36
  154. package/scripts/cli/verificar-trazabilidad.js +35 -35
  155. package/scripts/comandos/install-asistido.js +8 -7
  156. package/scripts/configurar-branch-protection.js +418 -418
  157. package/scripts/detectar-aprendizajes-duplicados.js +151 -151
  158. package/scripts/doctor.js +61 -36
  159. package/scripts/generar-checklists-consolidados.js +273 -273
  160. package/scripts/generar-claims-runtime.js +1342 -0
  161. package/scripts/generar-harness-ir.js +257 -0
  162. package/scripts/generar-inventario.js +52 -54
  163. package/scripts/generar-policy-bundle.js +202 -0
  164. package/scripts/instalador.js +26 -7
  165. package/scripts/lib/approval-receipts.js +190 -0
  166. package/scripts/lib/artefactos-python.js +43 -43
  167. package/scripts/lib/benchmark-metrics.js +160 -160
  168. package/scripts/lib/budget-enforcer.js +252 -252
  169. package/scripts/lib/certificacion-loop-state.js +421 -0
  170. package/scripts/lib/ci-reader.js +193 -193
  171. package/scripts/lib/ciclo-autonomo/yaml-instintos.js +56 -0
  172. package/scripts/lib/clasificar-directorio.js +92 -0
  173. package/scripts/lib/contadores-inventario.js +217 -217
  174. package/scripts/lib/detectar-host-swl.js +175 -175
  175. package/scripts/lib/detectar-runtime.js +29 -20
  176. package/scripts/lib/detectar-stack-detallado.js +307 -307
  177. package/scripts/lib/detector-autoduplicacion-intra-archivo.js +234 -234
  178. package/scripts/lib/detector-reglas-duplicadas.js +220 -220
  179. package/scripts/lib/eval-metrics-store.js +218 -218
  180. package/scripts/lib/eval-quality.js +171 -171
  181. package/scripts/lib/eval-schemas.js +144 -144
  182. package/scripts/lib/eval-self-correct.js +106 -106
  183. package/scripts/lib/eval-validator.js +185 -185
  184. package/scripts/lib/evidence-verifier.js +192 -0
  185. package/scripts/lib/evidencia-release.js +322 -322
  186. package/scripts/lib/frontmatter-canonico.js +509 -0
  187. package/scripts/lib/gate-engine.js +871 -0
  188. package/scripts/lib/gate-hooks-requires.js +249 -249
  189. package/scripts/lib/gate-licencias.js +212 -212
  190. package/scripts/lib/git-config-preflight.js +48 -0
  191. package/scripts/lib/git-metricas.js +257 -257
  192. package/scripts/lib/harness-ir.js +778 -0
  193. package/scripts/lib/harness-source-snapshot.js +309 -0
  194. package/scripts/lib/integrity-ledger.js +1147 -0
  195. package/scripts/lib/jaccard-similarity.js +98 -98
  196. package/scripts/lib/legacy-gate-migration.js +324 -0
  197. package/scripts/lib/limpiar-basura-global.js +45 -2
  198. package/scripts/lib/longmemeval-runner.js +125 -125
  199. package/scripts/lib/metricas-dora.js +204 -204
  200. package/scripts/lib/notificaciones-telegram.js +1 -0
  201. package/scripts/lib/npm-version.js +1 -0
  202. package/scripts/lib/paquetes-conocidos.js +50 -50
  203. package/scripts/lib/plan-lock.js +61 -13
  204. package/scripts/lib/policy-broker.js +338 -0
  205. package/scripts/lib/policy-bundle.js +342 -0
  206. package/scripts/lib/policy-context-provider.js +310 -0
  207. package/scripts/lib/policy-contract.js +479 -0
  208. package/scripts/lib/policy-verifier-utils.js +65 -0
  209. package/scripts/lib/pr-analyzer.js +399 -399
  210. package/scripts/lib/principal-verifier.js +178 -0
  211. package/scripts/lib/prompt-builder.js +264 -264
  212. package/scripts/lib/resolver-plan-fase.js +37 -37
  213. package/scripts/lib/rrf-fusion.js +175 -175
  214. package/scripts/lib/runtime-adapter-contract.js +267 -0
  215. package/scripts/lib/runtime-artifact-verifier.js +426 -0
  216. package/scripts/lib/runtime-build-attestation.js +127 -0
  217. package/scripts/lib/runtime-bundle-installer.js +586 -0
  218. package/scripts/lib/runtime-compiler.js +327 -0
  219. package/scripts/lib/runtime-conformance.js +202 -0
  220. package/scripts/lib/runtime-doctor-core3.js +567 -0
  221. package/scripts/lib/runtime-doctor-input.js +59 -0
  222. package/scripts/lib/runtime-operation-adapter.js +267 -0
  223. package/scripts/lib/schema-version.js +164 -164
  224. package/scripts/lib/semantic-search.js +252 -252
  225. package/scripts/lib/signed-envelope.js +545 -0
  226. package/scripts/lib/single-use-store.js +359 -0
  227. package/scripts/lib/skills-externas.js +31 -0
  228. package/scripts/lib/transformadores/codex.js +15 -8
  229. package/scripts/lib/transformadores/gemini.js +79 -5
  230. package/scripts/lib/w4-attestation-adapter.js +158 -0
  231. package/scripts/lib/w4-canario.js +337 -0
  232. package/scripts/lib/w4-claims.js +182 -0
  233. package/scripts/lib/w4-corpus-generador.js +542 -0
  234. package/scripts/lib/w4-gate-c5.js +115 -0
  235. package/scripts/lib/w4-harness-bajo-prueba.js +155 -0
  236. package/scripts/lib/w4-matriz-combos.js +55 -0
  237. package/scripts/lib/w4-motor-mutacion.js +1348 -0
  238. package/scripts/lib/w4-motor-replay.js +735 -0
  239. package/scripts/lib/w4-pin-origen.js +54 -0
  240. package/scripts/lib/w4-publicar-request.js +132 -0
  241. package/scripts/lib/w4-revocacion.js +62 -0
  242. package/scripts/lib/w4-runtimes-core3.js +38 -0
  243. package/scripts/lib/w4-scorer-certificacion.js +692 -0
  244. package/scripts/lib/w4-superficie-candidato.js +49 -0
  245. package/scripts/lib/w4-veredicto.js +452 -0
  246. package/scripts/lib/w4-verificar-veredicto.js +302 -0
  247. package/scripts/limpiar-artefactos-python.js +131 -131
  248. package/scripts/migrar-csv-a-array.js +168 -168
  249. package/scripts/migrar-fase-dominio.js +200 -200
  250. package/scripts/migrar-gates-legacy.js +108 -0
  251. package/scripts/publicar-certification-request.js +115 -0
  252. package/scripts/runtime-doctor.js +107 -0
  253. package/scripts/tui/componentes/selector-multi.js +189 -189
  254. package/scripts/tui/componentes/selector-unico.js +158 -158
  255. package/scripts/tui/ejecutores.js +375 -375
  256. package/scripts/tui/lib/colores.js +129 -129
  257. package/scripts/tui/lib/render.js +264 -264
  258. package/scripts/tui/lib/teclas.js +113 -113
  259. package/scripts/tui/pantallas/install-wizard.js +12 -7
  260. package/scripts/tui/pantallas/menu-principal.js +52 -52
  261. package/scripts/tui/pantallas/progreso.js +274 -274
  262. package/scripts/tui/pantallas/resumen.js +132 -132
  263. package/scripts/validar-userland-vacio.js +110 -110
  264. package/scripts/verificar-aislamiento-swl-eval.js +87 -0
  265. package/scripts/verificar-empaquetado-downstream.js +375 -0
  266. package/scripts/verificar-loop-constructor.js +215 -0
  267. package/scripts/verificar-trazabilidad.js +13 -6
  268. package/scripts/verificar-veredicto-real.js +84 -0
@@ -0,0 +1,190 @@
1
+ 'use strict';
2
+
3
+ /** Verifica approvals Ed25519 ligadas a principal, operación, PLAN y FSM. */
4
+
5
+ const crypto = require('node:crypto');
6
+
7
+ const { assertPrincipalCurrent, isVerifiedPrincipal } = require('./principal-verifier');
8
+ const {
9
+ exactKeys, fail, freezeDeep, getContractValidators, plainObject,
10
+ } = require('./policy-verifier-utils');
11
+ const signed = require('./signed-envelope');
12
+
13
+ const APPROVALS = new WeakSet();
14
+ const APPROVAL_META = new WeakMap();
15
+ const SHA256 = /^[a-f0-9]{64}$/u;
16
+ const IDENTIFIER = /^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$/u;
17
+ const CLAIM_KEYS = [
18
+ 'kind', 'schemaVersion', 'approvalId', 'principalDigest', 'operationDigest',
19
+ 'sessionId', 'runtimeId', 'projectId', 'worktreeDigest', 'capability', 'effectKind',
20
+ 'scopeDigest', 'planDigest', 'fsmVersion', 'issuedAt', 'expiresAt', 'nonce',
21
+ ];
22
+ const SCOPED_CLAIM_KEYS = [...CLAIM_KEYS, 'phaseId', 'taskId'];
23
+ const EPOCH_CLAIM_KEYS = [...SCOPED_CLAIM_KEYS, 'g1ApprovalDigest'];
24
+ const OPTION_KEYS = [
25
+ 'trustContext', 'dependencies', 'principal', 'operation', 'planDigest', 'fsmVersion',
26
+ ];
27
+ const SCOPED_OPTION_KEYS = [...OPTION_KEYS, 'phaseId', 'taskId'];
28
+ const EPOCH_OPTION_KEYS = [...SCOPED_OPTION_KEYS, 'g1ApprovalDigest'];
29
+ const TASK = /^T-[0-9]{2}$/u;
30
+
31
+ function validateOptions(options) {
32
+ const contract = getContractValidators();
33
+ plainObject(options, 'APPROVAL_OPTIONS_INVALID', 'opciones approval');
34
+ const isScoped = Object.hasOwn(options, 'phaseId') || Object.hasOwn(options, 'taskId');
35
+ const hasEpoch = Object.hasOwn(options, 'g1ApprovalDigest');
36
+ exactKeys(
37
+ options, hasEpoch ? EPOCH_OPTION_KEYS : (isScoped ? SCOPED_OPTION_KEYS : OPTION_KEYS),
38
+ 'APPROVAL_OPTIONS_INVALID', 'opciones approval'
39
+ );
40
+ if (!contract.isKernelDependencies(options.dependencies)) {
41
+ fail('APPROVAL_OPTIONS_INVALID', 'dependencies inválidas');
42
+ }
43
+ if (!isVerifiedPrincipal(options.principal)) {
44
+ fail('APPROVAL_PRINCIPAL_INVALID', 'principal inválido');
45
+ }
46
+ if (!contract.isVerifiedOperation(options.operation)) {
47
+ fail('APPROVAL_OPERATION_INVALID', 'operación inválida');
48
+ }
49
+ if (!SHA256.test(options.planDigest) || !Number.isInteger(options.fsmVersion)
50
+ || options.fsmVersion < 0) {
51
+ fail('APPROVAL_OPTIONS_INVALID', 'PLAN o FSM inválido');
52
+ }
53
+ if (isScoped && (!IDENTIFIER.test(options.phaseId) || !TASK.test(options.taskId))) {
54
+ fail('APPROVAL_OPTIONS_INVALID', 'alcance de gate inválido');
55
+ }
56
+ if (hasEpoch && !SHA256.test(options.g1ApprovalDigest)) {
57
+ fail('APPROVAL_OPTIONS_INVALID', 'época G1 inválida');
58
+ }
59
+ }
60
+
61
+ function validateShape(claims) {
62
+ plainObject(claims, 'APPROVAL_INVALID', 'claims approval');
63
+ const isScoped = ['1.1.0', '1.2.0'].includes(claims.schemaVersion);
64
+ const keys = claims.schemaVersion === '1.2.0' ? EPOCH_CLAIM_KEYS
65
+ : (isScoped ? SCOPED_CLAIM_KEYS : CLAIM_KEYS);
66
+ exactKeys(claims, keys,
67
+ 'APPROVAL_INVALID', 'claims approval');
68
+ if (claims.kind !== 'authorization-approval'
69
+ || !['1.0.0', '1.1.0', '1.2.0'].includes(claims.schemaVersion)) {
70
+ fail('APPROVAL_INVALID', 'approval futura o inválida');
71
+ }
72
+ for (const field of ['approvalId', 'sessionId', 'runtimeId', 'projectId', 'nonce']) {
73
+ if (!IDENTIFIER.test(claims[field])) fail('APPROVAL_INVALID', `${field} inválido`);
74
+ }
75
+ for (const field of ['principalDigest', 'operationDigest', 'worktreeDigest',
76
+ 'scopeDigest', 'planDigest']) {
77
+ if (!SHA256.test(claims[field])) fail('APPROVAL_INVALID', `${field} inválido`);
78
+ }
79
+ if (!IDENTIFIER.test(claims.capability) || !IDENTIFIER.test(claims.effectKind)
80
+ || !Number.isInteger(claims.fsmVersion) || claims.fsmVersion < 0) {
81
+ fail('APPROVAL_INVALID', 'capability, effect o FSM inválido');
82
+ }
83
+ if (isScoped && (!IDENTIFIER.test(claims.phaseId) || !TASK.test(claims.taskId))) {
84
+ fail('APPROVAL_INVALID', 'alcance de gate inválido');
85
+ }
86
+ if (claims.schemaVersion === '1.2.0' && !SHA256.test(claims.g1ApprovalDigest)) {
87
+ fail('APPROVAL_INVALID', 'época G1 inválida');
88
+ }
89
+ }
90
+
91
+ function validateBindings(claims, options) {
92
+ const requestedSchema = Object.hasOwn(options, 'g1ApprovalDigest') ? '1.2.0'
93
+ : (Object.hasOwn(options, 'phaseId') ? '1.1.0' : '1.0.0');
94
+ if (claims.schemaVersion !== requestedSchema) {
95
+ fail('APPROVAL_BINDING_INVALID', 'schema no satisface las garantías solicitadas');
96
+ }
97
+ const expected = {
98
+ principalDigest: options.principal.principalDigest,
99
+ operationDigest: options.operation.operationDigest,
100
+ sessionId: options.principal.sessionId, runtimeId: options.principal.runtimeId,
101
+ projectId: options.principal.projectId, worktreeDigest: options.principal.worktreeDigest,
102
+ capability: options.operation.capability, effectKind: options.operation.effectKind,
103
+ scopeDigest: options.operation.scope.digest, planDigest: options.planDigest,
104
+ fsmVersion: options.fsmVersion,
105
+ };
106
+ if (['1.1.0', '1.2.0'].includes(requestedSchema)) {
107
+ expected.phaseId = options.phaseId;
108
+ expected.taskId = options.taskId;
109
+ }
110
+ if (requestedSchema === '1.2.0') {
111
+ expected.g1ApprovalDigest = options.g1ApprovalDigest;
112
+ }
113
+ if (Object.entries(expected).some(([key, value]) => claims[key] !== value)) {
114
+ fail('APPROVAL_BINDING_INVALID', 'approval ligada a otro contexto');
115
+ }
116
+ }
117
+
118
+ function validateTime(claims, now) {
119
+ signed.validarTimestampIso(claims.issuedAt, 'approval issuedAt');
120
+ signed.validarTimestampIso(claims.expiresAt, 'approval expiresAt');
121
+ if (claims.issuedAt > now || claims.expiresAt < now || claims.issuedAt >= claims.expiresAt) {
122
+ fail('APPROVAL_EXPIRED', 'approval fuera de vigencia');
123
+ }
124
+ }
125
+
126
+ function createReceipt(envelope, options) {
127
+ const digestInput = {
128
+ issuer: envelope.issuer, subject: envelope.subject,
129
+ signerPublicKeyDigest: envelope.signerPublicKeyDigest,
130
+ trustEpoch: envelope.trustEpoch, trustDigest: envelope.trustDigest,
131
+ claims: envelope.claims,
132
+ };
133
+ const approvalDigest = crypto.createHash('sha256')
134
+ .update(signed.canonicalizarIJson(digestInput), 'utf8').digest('hex');
135
+ const receipt = freezeDeep({
136
+ kind: 'verified-approval', ...structuredClone(envelope.claims),
137
+ approverId: envelope.subject, issuer: envelope.issuer,
138
+ keyId: envelope.keyId, rootKeyDigest: envelope.rootKeyDigest,
139
+ signerPublicKeyDigest: envelope.signerPublicKeyDigest,
140
+ trustEpoch: envelope.trustEpoch, trustDigest: envelope.trustDigest,
141
+ approvalDigest,
142
+ });
143
+ APPROVALS.add(receipt);
144
+ APPROVAL_META.set(receipt, Object.freeze({
145
+ envelope, principal: options.principal,
146
+ integrityLedger: options.dependencies.integrityLedger,
147
+ }));
148
+ return receipt;
149
+ }
150
+
151
+ function assertApprovalCurrent(approval, authority) {
152
+ if (!APPROVALS.has(approval)) fail('APPROVAL_INVALID', 'approval no verificada');
153
+ const metadata = APPROVAL_META.get(approval);
154
+ if (!metadata.integrityLedger.isAuthorityReceipt(authority)) {
155
+ fail('APPROVAL_AUTHORITY_INVALID', 'autoridad no verificada');
156
+ }
157
+ assertPrincipalCurrent(metadata.principal, authority);
158
+ signed.revalidarEnvelopeVerificado(metadata.envelope, authority.observedAt);
159
+ validateTime(approval, authority.observedAt);
160
+ return true;
161
+ }
162
+
163
+ function verifyApproval(rawBytes, options) {
164
+ validateOptions(options);
165
+ const authority = options.dependencies.integrityLedger.readAuthority();
166
+ const envelope = signed.verificarEnvelope(rawBytes, {
167
+ trustContext: options.trustContext, expectedType: 'approval',
168
+ requiredScope: `approve:${options.operation.capability}`, now: authority.observedAt,
169
+ });
170
+ if (envelope.trustEpoch !== authority.trustEpoch
171
+ || envelope.trustDigest !== authority.trustDigest
172
+ || envelope.rootKeyDigest !== authority.rootKeyDigest) {
173
+ fail('APPROVAL_TRUST_INVALID', 'approval ligada a trust distinto');
174
+ }
175
+ assertPrincipalCurrent(options.principal, authority);
176
+ validateShape(envelope.claims);
177
+ validateBindings(envelope.claims, options);
178
+ validateTime(envelope.claims, authority.observedAt);
179
+ return createReceipt(envelope, options);
180
+ }
181
+
182
+ function isVerifiedApproval(value) {
183
+ return APPROVALS.has(value);
184
+ }
185
+
186
+ module.exports = {
187
+ assertApprovalCurrent,
188
+ isVerifiedApproval,
189
+ verifyApproval,
190
+ };
@@ -1,43 +1,43 @@
1
- 'use strict';
2
-
3
- /**
4
- * artefactos-python.js — fuente única de verdad para los artefactos
5
- * Python que NO deben distribuirse en el paquete npm.
6
- *
7
- * Por qué existe:
8
- * Tanto `scripts/limpiar-artefactos-python.js` (prepack) como
9
- * `scripts/publicar.js` (copiarDir hacia tmpDir del mirror GH)
10
- * necesitan saber qué directorios y extensiones excluir. Tener la
11
- * lista hardcodeada en cada archivo es violación DRY de conocimiento
12
- * — agregar `.pyd` o `.mypy_cache_v2` exigiría editar dos archivos
13
- * y mantenerlos sincronizados.
14
- */
15
-
16
- const DIRS_ARTEFACTOS_PYTHON = Object.freeze(new Set([
17
- '__pycache__',
18
- '.pytest_cache',
19
- '.mypy_cache',
20
- '.ruff_cache',
21
- ]));
22
-
23
- const EXTS_ARTEFACTOS_PYTHON = Object.freeze(new Set([
24
- '.pyc',
25
- '.pyo',
26
- ]));
27
-
28
- function esDirArtefacto(nombre) {
29
- return DIRS_ARTEFACTOS_PYTHON.has(nombre);
30
- }
31
-
32
- function esArchivoArtefacto(nombre) {
33
- const dot = nombre.lastIndexOf('.');
34
- if (dot < 0) return false;
35
- return EXTS_ARTEFACTOS_PYTHON.has(nombre.slice(dot).toLowerCase());
36
- }
37
-
38
- module.exports = {
39
- DIRS_ARTEFACTOS_PYTHON,
40
- EXTS_ARTEFACTOS_PYTHON,
41
- esDirArtefacto,
42
- esArchivoArtefacto,
43
- };
1
+ 'use strict';
2
+
3
+ /**
4
+ * artefactos-python.js — fuente única de verdad para los artefactos
5
+ * Python que NO deben distribuirse en el paquete npm.
6
+ *
7
+ * Por qué existe:
8
+ * Tanto `scripts/limpiar-artefactos-python.js` (prepack) como
9
+ * `scripts/publicar.js` (copiarDir hacia tmpDir del mirror GH)
10
+ * necesitan saber qué directorios y extensiones excluir. Tener la
11
+ * lista hardcodeada en cada archivo es violación DRY de conocimiento
12
+ * — agregar `.pyd` o `.mypy_cache_v2` exigiría editar dos archivos
13
+ * y mantenerlos sincronizados.
14
+ */
15
+
16
+ const DIRS_ARTEFACTOS_PYTHON = Object.freeze(new Set([
17
+ '__pycache__',
18
+ '.pytest_cache',
19
+ '.mypy_cache',
20
+ '.ruff_cache',
21
+ ]));
22
+
23
+ const EXTS_ARTEFACTOS_PYTHON = Object.freeze(new Set([
24
+ '.pyc',
25
+ '.pyo',
26
+ ]));
27
+
28
+ function esDirArtefacto(nombre) {
29
+ return DIRS_ARTEFACTOS_PYTHON.has(nombre);
30
+ }
31
+
32
+ function esArchivoArtefacto(nombre) {
33
+ const dot = nombre.lastIndexOf('.');
34
+ if (dot < 0) return false;
35
+ return EXTS_ARTEFACTOS_PYTHON.has(nombre.slice(dot).toLowerCase());
36
+ }
37
+
38
+ module.exports = {
39
+ DIRS_ARTEFACTOS_PYTHON,
40
+ EXTS_ARTEFACTOS_PYTHON,
41
+ esDirArtefacto,
42
+ esArchivoArtefacto,
43
+ };
@@ -1,160 +1,160 @@
1
- 'use strict';
2
-
3
- /**
4
- * benchmark-metrics.js — Métricas de retrieval para benchmark de memoria SWL.
5
- *
6
- * Patrón adoptado de `temp/agentmemory-main/benchmark/longmemeval-bench.ts`.
7
- * Funciones puras zero-deps. Adaptado a IDs SWL (aprendizaje, sesion,
8
- * instinto) en lugar de session_id de agentmemory.
9
- *
10
- * Métricas:
11
- * - recallAt(k): 1.0 si al menos un gold ID está en los top-k, sino 0.0
12
- * - precisionAt(k): proporción de top-k que son gold
13
- * - mrr: Mean Reciprocal Rank (1/rank del primer gold encontrado)
14
- * - ndcgAt(k): Normalized Discounted Cumulative Gain
15
- *
16
- * @module scripts/lib/benchmark-metrics
17
- */
18
-
19
- // ── helpers ───────────────────────────────────────────────────────────────────
20
-
21
- function asSet(arr) {
22
- return new Set(Array.isArray(arr) ? arr : []);
23
- }
24
-
25
- // ── métricas individuales ─────────────────────────────────────────────────────
26
-
27
- /**
28
- * Recall @ k: 1.0 si ALGÚN id gold está en los primeros k retrieved.
29
- *
30
- * @param {string[]} retrievedIds - IDs ordenados (mejor primero).
31
- * @param {string[]} goldIds - IDs correctos esperados.
32
- * @param {number} k
33
- * @returns {number} 0 o 1
34
- */
35
- function recallAt(retrievedIds, goldIds, k) {
36
- if (!Array.isArray(retrievedIds) || !Array.isArray(goldIds)) return 0;
37
- const topK = new Set(retrievedIds.slice(0, k));
38
- return goldIds.some(g => topK.has(g)) ? 1.0 : 0.0;
39
- }
40
-
41
- /**
42
- * Precision @ k: proporción de los primeros k retrieved que son gold.
43
- *
44
- * @param {string[]} retrievedIds
45
- * @param {string[]} goldIds
46
- * @param {number} k
47
- * @returns {number} en [0, 1]
48
- */
49
- function precisionAt(retrievedIds, goldIds, k) {
50
- if (!Array.isArray(retrievedIds) || !Array.isArray(goldIds) || k <= 0) return 0;
51
- const goldSet = asSet(goldIds);
52
- const topK = retrievedIds.slice(0, k);
53
- if (topK.length === 0) return 0;
54
- const hits = topK.filter(id => goldSet.has(id)).length;
55
- return hits / topK.length;
56
- }
57
-
58
- /**
59
- * Mean Reciprocal Rank: 1/rank del primer gold encontrado, o 0 si ninguno.
60
- *
61
- * @param {string[]} retrievedIds
62
- * @param {string[]} goldIds
63
- * @returns {number} en [0, 1]
64
- */
65
- function mrr(retrievedIds, goldIds) {
66
- if (!Array.isArray(retrievedIds) || !Array.isArray(goldIds)) return 0;
67
- const goldSet = asSet(goldIds);
68
- for (let i = 0; i < retrievedIds.length; i++) {
69
- if (goldSet.has(retrievedIds[i])) {
70
- return 1 / (i + 1);
71
- }
72
- }
73
- return 0;
74
- }
75
-
76
- function dcg(relevancias, k) {
77
- let suma = 0;
78
- for (let i = 0; i < Math.min(k, relevancias.length); i++) {
79
- suma += (relevancias[i] ? 1 : 0) / Math.log2(i + 2);
80
- }
81
- return suma;
82
- }
83
-
84
- /**
85
- * Normalized Discounted Cumulative Gain @ k.
86
- *
87
- * @param {string[]} retrievedIds
88
- * @param {string[]} goldIds
89
- * @param {number} k
90
- * @returns {number} en [0, 1]
91
- */
92
- function ndcgAt(retrievedIds, goldIds, k) {
93
- if (!Array.isArray(retrievedIds) || !Array.isArray(goldIds) || k <= 0) return 0;
94
- const goldSet = asSet(goldIds);
95
- const rels = retrievedIds.slice(0, k).map(id => goldSet.has(id));
96
- const idealRels = Array.from({ length: Math.min(k, goldSet.size) }, () => true);
97
- const idealDCG = dcg(idealRels, k);
98
- if (idealDCG === 0) return 0;
99
- return dcg(rels, k) / idealDCG;
100
- }
101
-
102
- // ── agregados ─────────────────────────────────────────────────────────────────
103
-
104
- /**
105
- * Calcula el conjunto completo de métricas para una query.
106
- *
107
- * @param {string[]} retrievedIds
108
- * @param {string[]} goldIds
109
- * @returns {{ recall_at_5, recall_at_10, recall_at_20, mrr, ndcg_at_10, precision_at_5 }}
110
- */
111
- function calcularMetricas(retrievedIds, goldIds) {
112
- return {
113
- recall_at_5: recallAt(retrievedIds, goldIds, 5),
114
- recall_at_10: recallAt(retrievedIds, goldIds, 10),
115
- recall_at_20: recallAt(retrievedIds, goldIds, 20),
116
- mrr: mrr(retrievedIds, goldIds),
117
- ndcg_at_10: ndcgAt(retrievedIds, goldIds, 10),
118
- precision_at_5: precisionAt(retrievedIds, goldIds, 5),
119
- };
120
- }
121
-
122
- /**
123
- * Promedia métricas sobre múltiples queries.
124
- *
125
- * @param {Array<object>} resultados - Array de objetos producidos por calcularMetricas().
126
- * @returns {object} Promedios con campo `n` (cantidad de queries).
127
- */
128
- function promediar(resultados) {
129
- if (!Array.isArray(resultados) || resultados.length === 0) {
130
- return {
131
- n: 0,
132
- recall_at_5: 0,
133
- recall_at_10: 0,
134
- recall_at_20: 0,
135
- mrr: 0,
136
- ndcg_at_10: 0,
137
- precision_at_5: 0,
138
- };
139
- }
140
-
141
- const claves = ['recall_at_5', 'recall_at_10', 'recall_at_20', 'mrr', 'ndcg_at_10', 'precision_at_5'];
142
- const promedio = { n: resultados.length };
143
- for (const k of claves) {
144
- const sum = resultados.reduce((a, r) => a + (r[k] || 0), 0);
145
- promedio[k] = sum / resultados.length;
146
- }
147
- return promedio;
148
- }
149
-
150
- // ── exports ───────────────────────────────────────────────────────────────────
151
-
152
- module.exports = {
153
- recallAt,
154
- precisionAt,
155
- mrr,
156
- ndcgAt,
157
- dcg,
158
- calcularMetricas,
159
- promediar,
160
- };
1
+ 'use strict';
2
+
3
+ /**
4
+ * benchmark-metrics.js — Métricas de retrieval para benchmark de memoria SWL.
5
+ *
6
+ * Patrón adoptado de `temp/agentmemory-main/benchmark/longmemeval-bench.ts`.
7
+ * Funciones puras zero-deps. Adaptado a IDs SWL (aprendizaje, sesion,
8
+ * instinto) en lugar de session_id de agentmemory.
9
+ *
10
+ * Métricas:
11
+ * - recallAt(k): 1.0 si al menos un gold ID está en los top-k, sino 0.0
12
+ * - precisionAt(k): proporción de top-k que son gold
13
+ * - mrr: Mean Reciprocal Rank (1/rank del primer gold encontrado)
14
+ * - ndcgAt(k): Normalized Discounted Cumulative Gain
15
+ *
16
+ * @module scripts/lib/benchmark-metrics
17
+ */
18
+
19
+ // ── helpers ───────────────────────────────────────────────────────────────────
20
+
21
+ function asSet(arr) {
22
+ return new Set(Array.isArray(arr) ? arr : []);
23
+ }
24
+
25
+ // ── métricas individuales ─────────────────────────────────────────────────────
26
+
27
+ /**
28
+ * Recall @ k: 1.0 si ALGÚN id gold está en los primeros k retrieved.
29
+ *
30
+ * @param {string[]} retrievedIds - IDs ordenados (mejor primero).
31
+ * @param {string[]} goldIds - IDs correctos esperados.
32
+ * @param {number} k
33
+ * @returns {number} 0 o 1
34
+ */
35
+ function recallAt(retrievedIds, goldIds, k) {
36
+ if (!Array.isArray(retrievedIds) || !Array.isArray(goldIds)) return 0;
37
+ const topK = new Set(retrievedIds.slice(0, k));
38
+ return goldIds.some(g => topK.has(g)) ? 1.0 : 0.0;
39
+ }
40
+
41
+ /**
42
+ * Precision @ k: proporción de los primeros k retrieved que son gold.
43
+ *
44
+ * @param {string[]} retrievedIds
45
+ * @param {string[]} goldIds
46
+ * @param {number} k
47
+ * @returns {number} en [0, 1]
48
+ */
49
+ function precisionAt(retrievedIds, goldIds, k) {
50
+ if (!Array.isArray(retrievedIds) || !Array.isArray(goldIds) || k <= 0) return 0;
51
+ const goldSet = asSet(goldIds);
52
+ const topK = retrievedIds.slice(0, k);
53
+ if (topK.length === 0) return 0;
54
+ const hits = topK.filter(id => goldSet.has(id)).length;
55
+ return hits / topK.length;
56
+ }
57
+
58
+ /**
59
+ * Mean Reciprocal Rank: 1/rank del primer gold encontrado, o 0 si ninguno.
60
+ *
61
+ * @param {string[]} retrievedIds
62
+ * @param {string[]} goldIds
63
+ * @returns {number} en [0, 1]
64
+ */
65
+ function mrr(retrievedIds, goldIds) {
66
+ if (!Array.isArray(retrievedIds) || !Array.isArray(goldIds)) return 0;
67
+ const goldSet = asSet(goldIds);
68
+ for (let i = 0; i < retrievedIds.length; i++) {
69
+ if (goldSet.has(retrievedIds[i])) {
70
+ return 1 / (i + 1);
71
+ }
72
+ }
73
+ return 0;
74
+ }
75
+
76
+ function dcg(relevancias, k) {
77
+ let suma = 0;
78
+ for (let i = 0; i < Math.min(k, relevancias.length); i++) {
79
+ suma += (relevancias[i] ? 1 : 0) / Math.log2(i + 2);
80
+ }
81
+ return suma;
82
+ }
83
+
84
+ /**
85
+ * Normalized Discounted Cumulative Gain @ k.
86
+ *
87
+ * @param {string[]} retrievedIds
88
+ * @param {string[]} goldIds
89
+ * @param {number} k
90
+ * @returns {number} en [0, 1]
91
+ */
92
+ function ndcgAt(retrievedIds, goldIds, k) {
93
+ if (!Array.isArray(retrievedIds) || !Array.isArray(goldIds) || k <= 0) return 0;
94
+ const goldSet = asSet(goldIds);
95
+ const rels = retrievedIds.slice(0, k).map(id => goldSet.has(id));
96
+ const idealRels = Array.from({ length: Math.min(k, goldSet.size) }, () => true);
97
+ const idealDCG = dcg(idealRels, k);
98
+ if (idealDCG === 0) return 0;
99
+ return dcg(rels, k) / idealDCG;
100
+ }
101
+
102
+ // ── agregados ─────────────────────────────────────────────────────────────────
103
+
104
+ /**
105
+ * Calcula el conjunto completo de métricas para una query.
106
+ *
107
+ * @param {string[]} retrievedIds
108
+ * @param {string[]} goldIds
109
+ * @returns {{ recall_at_5, recall_at_10, recall_at_20, mrr, ndcg_at_10, precision_at_5 }}
110
+ */
111
+ function calcularMetricas(retrievedIds, goldIds) {
112
+ return {
113
+ recall_at_5: recallAt(retrievedIds, goldIds, 5),
114
+ recall_at_10: recallAt(retrievedIds, goldIds, 10),
115
+ recall_at_20: recallAt(retrievedIds, goldIds, 20),
116
+ mrr: mrr(retrievedIds, goldIds),
117
+ ndcg_at_10: ndcgAt(retrievedIds, goldIds, 10),
118
+ precision_at_5: precisionAt(retrievedIds, goldIds, 5),
119
+ };
120
+ }
121
+
122
+ /**
123
+ * Promedia métricas sobre múltiples queries.
124
+ *
125
+ * @param {Array<object>} resultados - Array de objetos producidos por calcularMetricas().
126
+ * @returns {object} Promedios con campo `n` (cantidad de queries).
127
+ */
128
+ function promediar(resultados) {
129
+ if (!Array.isArray(resultados) || resultados.length === 0) {
130
+ return {
131
+ n: 0,
132
+ recall_at_5: 0,
133
+ recall_at_10: 0,
134
+ recall_at_20: 0,
135
+ mrr: 0,
136
+ ndcg_at_10: 0,
137
+ precision_at_5: 0,
138
+ };
139
+ }
140
+
141
+ const claves = ['recall_at_5', 'recall_at_10', 'recall_at_20', 'mrr', 'ndcg_at_10', 'precision_at_5'];
142
+ const promedio = { n: resultados.length };
143
+ for (const k of claves) {
144
+ const sum = resultados.reduce((a, r) => a + (r[k] || 0), 0);
145
+ promedio[k] = sum / resultados.length;
146
+ }
147
+ return promedio;
148
+ }
149
+
150
+ // ── exports ───────────────────────────────────────────────────────────────────
151
+
152
+ module.exports = {
153
+ recallAt,
154
+ precisionAt,
155
+ mrr,
156
+ ndcgAt,
157
+ dcg,
158
+ calcularMetricas,
159
+ promediar,
160
+ };