@semacode/cli 4.1.3 → 4.2.0

package/docs/ai-workflow.md

@@ -5,10 +5,10 @@ This is the minimum workflow for Codex in a local workspace.
 
 1. Read `SEMA_BOOT.md`.
 2. Run `sema --version`. If the shell cannot find it, use `$HOME/.sema/bin/sema` on macOS/Linux. On Windows, PowerShell resolves `sema.ps1` from PATH and cmd.exe resolves `sema.cmd`; use `& "$env:SystemRoot\System32\WindowsPowerShell\v1.0\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\.sema\bin\sema-managed.ps1" --version` as the absolute fallback. Only then declare the CLI unavailable.
-3. Run `sema resumo --drift none` for contract-only orientation; request `--drift cache` or `--drift fresh` only when code evidence is needed.
-4. Run `sema docs-impacto --intencao "<change>" --json`.
+3. Run `sema sessao "<intenção>" --json`; then `sema resumo <contrato> --micro --drift none --json` only for the selected contract.
+4. Run `sema docs-impacto --intencao "<change>" --arquivo <contract> --json`.
 5. Read every required document returned by the command.
-6. Read `docs/commands.md` before selecting a command or interpreting `--saida`.
+6. Consult command help or the relevant section of `docs/commands.md` when syntax, a gate or `--saida` is unclear.
 7. If the right capability is unclear, run `sema descobrir recomendar --intencao "<goal>" --json`; do not auto-run ambiguous recommendations.
 8. Use `exemplos/` and `docs/syntax.md` before creating or editing a contract.
 9. Run `sema drift --cache fresh` and `sema impacto` before editing existing code.
@@ -30,9 +30,11 @@ UI rule: if the task involves an interface, minimum evidence includes desktop an
 
 ## Codex Context Capacity
 
-- Small context: `SEMA_SMALL_MODEL.md`, `SEMA_BRIEF.micro.txt`, `AGENT_CONTEXT_PACK.json`, `SEMA_INDEX.json`.
-- Medium context: `SEMA_BOOT.md`, `AGENT_CONTEXT_PACK.json`, `SEMA_BRIEF.curto.txt`, `SEMA_INDEX.json`, `AGENTS.md`.
-- Large context: `SEMA_BOOT.md`, `AGENT_CONTEXT_PACK.json`, `SEMA_BRIEF.md`, `SEMA_INDEX.json`, AST, IR, drift, and impact.
+All capacities use AGENTS.md -> SEMA_BOOT.md -> the contract returned by `sema sessao`.
+The first session asks for the configured token window; declare `--janela-contexto <tokens> --salvar-perfil`.
+Use `--orcamento-contexto` and `--reserva-saida` to allocate space. Counts use characters / 4, not the model tokenizer.
+The CLI reads SEMA_INDEX.json internally. Do not load the full index, global pack, or unrelated modules.
+An explicit `--arquivo` selects its contract and declared dependencies. Word matches are optional references.
 
 ## When to Generate Code
 

package/docs/commands.md

@@ -18,7 +18,7 @@ Then read every required doc returned by `docs-impacto`.
 
 ## Session Opening
 
-- `sema sessao "<intencao>" --json`: opens a governed session with one compact envelope. It returns workspace identity (`baseProjeto`, `hashContratos`, CLI version), artifact freshness (`frescor.fresco` plus the exact recovery command when stale), the project's contract count and modules, the declared intent's categories with blocking and recommended docs, the four gate commands for the full loop, and concrete next steps. Treat `frescor.fresco:false` as a pre-action blocker: run the suggested `sema sync-codex --json` before editing, because gates protect the consistency that stale artifacts break.
+- `sema sessao "<intencao>" [--arquivo <contrato-ou-codigo>] [--janela-contexto <tokens>] [--orcamento-contexto <tokens>] [--reserva-saida <tokens>] [--salvar-perfil] --json`: asks for the effective window when absent and stores the profile only on explicit request. The compact response contains workspace identity, artifact freshness, matching contracts and linked files, mandatory document paths, scoped gates and next steps. The index stays inside the CLI. The budget estimates the public JSON size using characters/4; it does not measure the conversation or the model's exact tokenizer. Omitted candidates are counted and require scope refinement; mandatory readings are never silently waived. Treat `frescor.fresco:false` as a pre-action blocker and run the suggested `sema sync-codex --json`. Navigation never authorizes execution.
 
 ## Public JSON output
 

package/docs/documentation.md

@@ -47,3 +47,36 @@ same rule applies to drift and semantic-budget governance: keep a cohesive
 primary capability in the root contract and move secondary responsibilities to
 named children. Preserve task names, guarantees, implementations, and
 `vinculos`; never create numbered part files.
+
+
+## Progressive AI Context
+
+The mandatory entry is AGENTS.md and SEMA_BOOT.md. SEMA_INDEX.json and
+AGENT_CONTEXT_PACK.json are internal CLI sources, not required full readings.
+The session asks for the effective context window when it is unknown. The local
+`.sema/contexto-ia.json` profile is saved only by `--salvar-perfil` or by `iniciar`
+with a declared window. Reconfigure it after switching models.
+
+`sema sessao "<intent>" --janela-contexto 32768 --salvar-perfil --json`
+configures a 32K window. Defaults allocate 4096 estimated tokens to the session
+response and reserve 4096 for output. Other instructions, tools, conversation
+and code need the remaining space. `--orcamento-contexto` and `--reserva-saida`
+adjust this split. The characters/4 estimate includes the public envelope and
+a margin; it is not an exact tokenizer or a measurement of the client's used
+context. The limit applies to the session response, not every legacy command
+or the cumulative conversation. The output reserve does not configure the model.
+
+In docs-impacto and finalizar-mudanca, `--arquivo` fixes the target. Explicit
+contracts are included even beyond the 80th catalog entry. Source files resolve
+through `vinculos.arquivo`. Required expansion follows declared `use` dependencies,
+with reasons and originating contracts. Missing or ambiguous dependencies block.
+`docs.arquivo` references are recommendations and do not expand the dependency
+graph. Intent suggestions stay in `leituraRecomendada`, distinct from
+`leituraObrigatoria`, and do not block closure. Pass the same target at closure
+and confirm the selected contracts before editing code.
+
+The context-budget and docs-relevancia tests measure actual CLI output, prove
+that the raw index is absent, verify hash invalidation and configuration before
+writes, and cover WhatsApp alongside 85 unrelated contracts. Drift, contract
+and behavioral gates remain required. To roll back, restore the prior generators
+and resolvers and run sync-codex; preserve manual blocks and the local profile.

package/exemplos/python_verificacao.sema

@@ -1,68 +1,68 @@
-module exemplos.python_verificacao {
-  docs {
-    resumo: "Regressao executavel Python para garantias numericas, formulario tipado, status e metadados aninhados."
-  }
-  entity FormularioEntrega {
-    fields {
-      tipo: Texto
-    }
-  }
-  entity MetaTemplate {
-    fields {
-      original_campaign_id: Texto
-    }
-  }
-  entity Template {
-    fields {
-      _template_meta: MetaTemplate
-    }
-  }
-  entity Status {
-    fields {
-      desired_action: Texto
-    }
-  }
-  task preparar {
-    input {
-      formulario: FormularioEntrega required
-    }
-    output {
-      poolSize: Inteiro
-      workersAplicados: Inteiro
-      template: Template
-      status: Status
-    }
-    rules {
-      formulario.tipo existe
-    }
-    guarantees {
-      poolSize > 0
-      workersAplicados >= 2
-      template._template_meta existe
-      template._template_meta.original_campaign_id em ["campanha_1"]
-      status.desired_action em ["iniciar", "parar"]
-    }
-    tests {
-      caso "verifica cada saida" {
-        given {
-          formulario {
-            tipo: "entrega"
-          }
-        }
-        expect {
-          sucesso: verdadeiro
-          poolSize: 1
-          workersAplicados: 2
-          template {
-            _template_meta {
-              original_campaign_id: "campanha_1"
-            }
-          }
-          status {
-            desired_action: "iniciar"
-          }
-        }
-      }
-    }
-  }
-}
+module exemplos.python_verificacao {
+  docs {
+    resumo: "Regressao executavel Python para garantias numericas, formulario tipado, status e metadados aninhados."
+  }
+  entity FormularioEntrega {
+    fields {
+      tipo: Texto
+    }
+  }
+  entity MetaTemplate {
+    fields {
+      original_campaign_id: Texto
+    }
+  }
+  entity Template {
+    fields {
+      _template_meta: MetaTemplate
+    }
+  }
+  entity Status {
+    fields {
+      desired_action: Texto
+    }
+  }
+  task preparar {
+    input {
+      formulario: FormularioEntrega required
+    }
+    output {
+      poolSize: Inteiro
+      workersAplicados: Inteiro
+      template: Template
+      status: Status
+    }
+    rules {
+      formulario.tipo existe
+    }
+    guarantees {
+      poolSize > 0
+      workersAplicados >= 2
+      template._template_meta existe
+      template._template_meta.original_campaign_id em ["campanha_1"]
+      status.desired_action em ["iniciar", "parar"]
+    }
+    tests {
+      caso "verifica cada saida" {
+        given {
+          formulario {
+            tipo: "entrega"
+          }
+        }
+        expect {
+          sucesso: verdadeiro
+          poolSize: 1
+          workersAplicados: 2
+          template {
+            _template_meta {
+              original_campaign_id: "campanha_1"
+            }
+          }
+          status {
+            desired_action: "iniciar"
+          }
+        }
+      }
+    }
+  }
+}

package/node_modules/@sema/gerador-python/dist/runtime.js

@@ -1,70 +1,70 @@
 // SEMA-GOVERNED: sema.produto.gerador_python_verificacao
 // Contrato: contratos/sema/gerador_python_verificacao.sema
 // Descrição: acesso uniforme a mapas e entidades e síntese demonstrativa de garantias.
-export const RUNTIME_PYTHON = `
-import math
-
-def sema_get(objeto, caminho):
-    for campo in caminho:
-        if objeto is None:
-            return None
-        objeto = objeto.get(campo) if isinstance(objeto, dict) else getattr(objeto, campo, None)
-    return objeto
-
-def sema_set(objeto, caminho, valor):
-    for campo in caminho[:-1]:
-        filho = sema_get(objeto, [campo])
-        if filho is None:
-            filho = {} if isinstance(objeto, dict) else SimpleNamespace()
-            if isinstance(objeto, dict):
-                objeto[campo] = filho
-            else:
-                setattr(objeto, campo, filho)
-        if not isinstance(filho, dict) and not hasattr(filho, "__dict__"):
-            raise ValueError(f"Caminho de objeto incompatível: {campo}")
-        objeto = filho
-    if isinstance(objeto, dict):
-        objeto[caminho[-1]] = valor
-    else:
-        setattr(objeto, caminho[-1], valor)
-
-def sema_sintetizar(atual, restricoes, inteiro=False):
-    # Apenas valores demonstrativos: expect nunca participa desta síntese.
-    def aceita(valor):
-        for operador, limite in restricoes:
-            if operador == "existe" and valor is None:
-                return False
-            if operador == "in" and valor not in limite:
-                return False
-            try:
-                if operador == "==" and valor != limite: return False
-                if operador == "!=" and valor == limite: return False
-                if operador == ">" and not valor > limite: return False
-                if operador == ">=" and not valor >= limite: return False
-                if operador == "<" and not valor < limite: return False
-                if operador == "<=" and not valor <= limite: return False
-            except TypeError:
-                return False
-        return True
-
-    candidatos = [atual]
-    numeros = []
-    for operador, limite in restricoes:
-        if operador == "in":
-            candidatos.extend(limite)
-        elif operador != "existe":
-            candidatos.append(limite)
-            if isinstance(limite, (int, float)) and not isinstance(limite, bool):
-                numeros.append(limite)
-                candidatos.extend([limite - 1, limite + 1, math.floor(limite), math.ceil(limite)])
-    numeros.sort()
-    candidatos.extend((a + b) / 2 for a, b in zip(numeros, numeros[1:]))
-    candidatos.extend([1, 0, -1, True, False, "valor_garantido", "outro_valor"])
-    for candidato in candidatos:
-        if inteiro and (not isinstance(candidato, int) or isinstance(candidato, bool)):
-            continue
-        if aceita(candidato):
-            return candidato
-    raise ValueError("Não foi possível sintetizar saída demonstrativa compatível com as garantias; forneça implementação real.")
+export const RUNTIME_PYTHON = `
+import math
+
+def sema_get(objeto, caminho):
+    for campo in caminho:
+        if objeto is None:
+            return None
+        objeto = objeto.get(campo) if isinstance(objeto, dict) else getattr(objeto, campo, None)
+    return objeto
+
+def sema_set(objeto, caminho, valor):
+    for campo in caminho[:-1]:
+        filho = sema_get(objeto, [campo])
+        if filho is None:
+            filho = {} if isinstance(objeto, dict) else SimpleNamespace()
+            if isinstance(objeto, dict):
+                objeto[campo] = filho
+            else:
+                setattr(objeto, campo, filho)
+        if not isinstance(filho, dict) and not hasattr(filho, "__dict__"):
+            raise ValueError(f"Caminho de objeto incompatível: {campo}")
+        objeto = filho
+    if isinstance(objeto, dict):
+        objeto[caminho[-1]] = valor
+    else:
+        setattr(objeto, caminho[-1], valor)
+
+def sema_sintetizar(atual, restricoes, inteiro=False):
+    # Apenas valores demonstrativos: expect nunca participa desta síntese.
+    def aceita(valor):
+        for operador, limite in restricoes:
+            if operador == "existe" and valor is None:
+                return False
+            if operador == "in" and valor not in limite:
+                return False
+            try:
+                if operador == "==" and valor != limite: return False
+                if operador == "!=" and valor == limite: return False
+                if operador == ">" and not valor > limite: return False
+                if operador == ">=" and not valor >= limite: return False
+                if operador == "<" and not valor < limite: return False
+                if operador == "<=" and not valor <= limite: return False
+            except TypeError:
+                return False
+        return True
+
+    candidatos = [atual]
+    numeros = []
+    for operador, limite in restricoes:
+        if operador == "in":
+            candidatos.extend(limite)
+        elif operador != "existe":
+            candidatos.append(limite)
+            if isinstance(limite, (int, float)) and not isinstance(limite, bool):
+                numeros.append(limite)
+                candidatos.extend([limite - 1, limite + 1, math.floor(limite), math.ceil(limite)])
+    numeros.sort()
+    candidatos.extend((a + b) / 2 for a, b in zip(numeros, numeros[1:]))
+    candidatos.extend([1, 0, -1, True, False, "valor_garantido", "outro_valor"])
+    for candidato in candidatos:
+        if inteiro and (not isinstance(candidato, int) or isinstance(candidato, bool)):
+            continue
+        if aceita(candidato):
+            return candidato
+    raise ValueError("Não foi possível sintetizar saída demonstrativa compatível com as garantias; forneça implementação real.")
 `;
 //# sourceMappingURL=runtime.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@semacode/cli",
-  "version": "4.1.3",
+  "version": "4.2.0",
   "description": "Local-first semantic governance CLI for AI agents, proven with Claude, Codex, zCode (GLM) and Kimi: contracts, drift, impact, docs gates, and code generation.",
   "type": "module",
   "icon": "logo.png",