@semacode/cli 2.0.1 → 2.1.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/LICENSE +39 -39
- package/README.md +125 -121
- package/dist/agentEntryPoints.js +499 -499
- package/dist/doctorCommand.js +28 -0
- package/dist/geracaoCore.js +97 -1
- package/dist/iaPrompts.d.ts +1 -1
- package/dist/iaPrompts.js +307 -307
- package/dist/index.part01.js +4 -3
- package/dist/index.part02.js +21 -21
- package/dist/index.part04.js +96 -96
- package/dist/index.part06.js +1 -1
- package/dist/index.part07.js +35 -24
- package/dist/init/templates.part01.js +393 -393
- package/dist/init/templates.part02.js +189 -189
- package/dist/initTemplatesBackend.js +73 -73
- package/dist/initTemplatesBase.js +81 -81
- package/dist/initTemplatesFlutter.js +137 -137
- package/dist/initTemplatesRuntime.js +350 -350
- package/dist/initTemplatesWeb.js +309 -309
- package/dist/nativeToolchains.d.ts +15 -0
- package/dist/nativeToolchains.js +132 -0
- package/dist/projetoConfig.js +7 -1
- package/dist/projetoResolucao.js +21 -6
- package/dist/sync/index.js +35 -35
- package/docs/README.md +25 -25
- package/docs/ai-onboarding.md +62 -62
- package/docs/ai-workflow.md +1 -1
- package/docs/auth.md +26 -26
- package/docs/cli.md +79 -72
- package/docs/commands.md +1 -1
- package/docs/database.md +15 -15
- package/docs/deploy.md +41 -36
- package/docs/documentation.md +39 -39
- package/docs/env.md +16 -16
- package/docs/frontend.md +41 -41
- package/docs/getting-started.md +57 -57
- package/docs/i18n.md +15 -15
- package/docs/profiles.md +45 -43
- package/docs/repositories.md +43 -43
- package/docs/rollback.md +31 -31
- package/docs/security.md +32 -32
- package/docs/support.md +8 -8
- package/docs/syntax.md +1 -1
- package/docs/testing.md +35 -28
- package/docs/vocabulary.md +29 -29
- package/exemplos/agendamento.sema +1 -1
- package/exemplos/assinatura.sema +1 -1
- package/exemplos/auditoria.sema +1 -1
- package/exemplos/autenticacao.sema +1 -1
- package/exemplos/author_obra_comum.sema +1 -1
- package/exemplos/author_tema_sensivel.sema +1 -1
- package/exemplos/automacao.sema +1 -1
- package/exemplos/cadastro_usuario.sema +1 -1
- package/exemplos/calculadora.sema +1 -1
- package/exemplos/crud_simples.sema +1 -1
- package/exemplos/estoque.sema +1 -1
- package/exemplos/exportacao.sema +1 -1
- package/exemplos/fila.sema +1 -1
- package/exemplos/integracao_externa.sema +1 -1
- package/exemplos/multi_tenant.sema +1 -1
- package/exemplos/notificacao.sema +1 -1
- package/exemplos/operacao_estrategia.sema +132 -132
- package/exemplos/operacao_estrategia_discovery.sema +220 -220
- package/exemplos/operacao_estrategia_fluxo.sema +114 -114
- package/exemplos/operacao_estrategia_gates.sema +106 -106
- package/exemplos/operacao_estrategia_quarentena.sema +133 -133
- package/exemplos/operacao_estrategia_rollout.sema +124 -124
- package/exemplos/pagamento.sema +1 -1
- package/exemplos/pagamento_dominio.sema +1 -1
- package/exemplos/pedido.sema +1 -1
- package/exemplos/permissao.sema +1 -1
- package/exemplos/persistencia_vendor_first.sema +1 -1
- package/exemplos/profile_conversas.sema +165 -165
- package/exemplos/profile_game.sema +1 -1
- package/exemplos/profile_legal.sema +1 -1
- package/exemplos/profile_ops.sema +1 -1
- package/exemplos/profile_research.sema +1 -1
- package/exemplos/profile_software.sema +1 -1
- package/exemplos/profile_workflow_n8n.sema +1 -1
- package/exemplos/relatorio.sema +1 -1
- package/exemplos/replica_analitica_erp.sema +1 -1
- package/exemplos/testes_embutidos.sema +1 -1
- package/exemplos/tratamento_erro.sema +1 -1
- package/exemplos/upload_arquivo.sema +1 -1
- package/exemplos/webhook.sema +1 -1
- package/node_modules/@sema/gerador-cpp/dist/index.d.ts +3 -0
- package/node_modules/@sema/gerador-cpp/dist/index.js +859 -0
- package/node_modules/@sema/gerador-cpp/dist/index.js.map +1 -0
- package/node_modules/@sema/gerador-cpp/package.json +7 -0
- package/node_modules/@sema/gerador-css/dist/index.part01.js +10 -10
- package/node_modules/@sema/gerador-css/dist/index.part02.js +460 -460
- package/node_modules/@sema/gerador-dotnet/dist/index.d.ts +3 -0
- package/node_modules/@sema/gerador-dotnet/dist/index.js +828 -0
- package/node_modules/@sema/gerador-dotnet/dist/index.js.map +1 -0
- package/node_modules/@sema/gerador-dotnet/package.json +7 -0
- package/node_modules/@sema/gerador-html/dist/index.js +17 -17
- package/node_modules/@sema/gerador-lua/dist/index.js +5 -5
- package/node_modules/@sema/gerador-php/dist/index.js +113 -113
- package/node_modules/@sema/gerador-python/dist/index.part02.js +3 -3
- package/node_modules/@sema/gerador-typescript/dist/index.part02.js +11 -11
- package/node_modules/@sema/nucleo/dist/diagnosticos/melhorador.js +42 -42
- package/node_modules/@sema/padroes/dist/index.d.ts +1 -1
- package/package.json +5 -1
package/docs/profiles.md
CHANGED
|
@@ -1,43 +1,45 @@
|
|
|
1
|
-
# Profiles
|
|
2
|
-
|
|
3
|
-
Profiles are local validation layers for domains where syntax alone is not
|
|
4
|
-
enough. They use the same `.sema` DSL and do not create a second language.
|
|
5
|
-
|
|
6
|
-
## Principle
|
|
7
|
-
|
|
8
|
-
A profile checks whether a contract is strong enough for a specific kind of
|
|
9
|
-
work. It can require:
|
|
10
|
-
|
|
11
|
-
- contract-first workflow;
|
|
12
|
-
- domain core fields;
|
|
13
|
-
- required rules, effects, guarantees, and tests;
|
|
14
|
-
- explicit forbidden behavior;
|
|
15
|
-
- evidence before closing the change.
|
|
16
|
-
|
|
17
|
-
When a profile returns `bloqueado: true`, the artifact is not approved.
|
|
18
|
-
|
|
19
|
-
## Commands
|
|
20
|
-
|
|
21
|
-
```bash
|
|
22
|
-
sema profile capabilities --json
|
|
23
|
-
sema profile validar software contratos/example.sema --maturidade production --preset default --json
|
|
24
|
-
sema rule-packs --profile software --json
|
|
25
|
-
```
|
|
26
|
-
|
|
27
|
-
## Built-In Profiles
|
|
28
|
-
|
|
29
|
-
- `software`: code, APIs, modules, refactors, persistence, and generated output.
|
|
30
|
-
- `workflow`: automations, queues, webhooks, scheduled jobs, and orchestration.
|
|
31
|
-
- `ops`: deploy plans, rollback, incidents, runbooks, and operational evidence.
|
|
32
|
-
- `legal`: terms, privacy, compliance, risk, and regulated language.
|
|
33
|
-
- `research`: comparisons, uncertainty, evidence, citations, and decisions.
|
|
34
|
-
- `game`: rules, loops, player states, scoring, and playability checks.
|
|
35
|
-
- `author`: creative writing, narrative continuity, cliche review, and style
|
|
36
|
-
guardrails.
|
|
37
|
-
- `
|
|
38
|
-
and
|
|
39
|
-
- `
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
1
|
+
# Profiles
|
|
2
|
+
|
|
3
|
+
Profiles are local validation layers for domains where syntax alone is not
|
|
4
|
+
enough. They use the same `.sema` DSL and do not create a second language.
|
|
5
|
+
|
|
6
|
+
## Principle
|
|
7
|
+
|
|
8
|
+
A profile checks whether a contract is strong enough for a specific kind of
|
|
9
|
+
work. It can require:
|
|
10
|
+
|
|
11
|
+
- contract-first workflow;
|
|
12
|
+
- domain core fields;
|
|
13
|
+
- required rules, effects, guarantees, and tests;
|
|
14
|
+
- explicit forbidden behavior;
|
|
15
|
+
- evidence before closing the change.
|
|
16
|
+
|
|
17
|
+
When a profile returns `bloqueado: true`, the artifact is not approved.
|
|
18
|
+
|
|
19
|
+
## Commands
|
|
20
|
+
|
|
21
|
+
```bash
|
|
22
|
+
sema profile capabilities --json
|
|
23
|
+
sema profile validar software contratos/example.sema --maturidade production --preset default --json
|
|
24
|
+
sema rule-packs --profile software --json
|
|
25
|
+
```
|
|
26
|
+
|
|
27
|
+
## Built-In Profiles
|
|
28
|
+
|
|
29
|
+
- `software`: code, APIs, modules, refactors, persistence, and generated output.
|
|
30
|
+
- `workflow`: automations, queues, webhooks, scheduled jobs, and orchestration.
|
|
31
|
+
- `ops`: deploy plans, rollback, incidents, runbooks, and operational evidence.
|
|
32
|
+
- `legal`: terms, privacy, compliance, risk, and regulated language.
|
|
33
|
+
- `research`: comparisons, uncertainty, evidence, citations, and decisions.
|
|
34
|
+
- `game`: rules, loops, player states, scoring, and playability checks.
|
|
35
|
+
- `author`: creative writing, narrative continuity, cliche review, and style
|
|
36
|
+
guardrails.
|
|
37
|
+
- `redacao`: editorial and creative writing, narrative structure, voice,
|
|
38
|
+
clarity, and publication-ready evidence.
|
|
39
|
+
- `propostas`: commercial proposals, scope clarity, deliverables, constraints,
|
|
40
|
+
and client-ready wording.
|
|
41
|
+
- `conversas`: customer conversation guardrails, escalation, pricing promises,
|
|
42
|
+
and channel changes.
|
|
43
|
+
|
|
44
|
+
Profiles are local CLI checks. They do not create or require external service
|
|
45
|
+
accounts.
|
package/docs/repositories.md
CHANGED
|
@@ -1,43 +1,43 @@
|
|
|
1
|
-
# Repository Boundary
|
|
2
|
-
|
|
3
|
-
The public Sema repository should contain only the Codex-native local CLI, the
|
|
4
|
-
first-contact Codex skill, runtime packages, examples, tests that run locally,
|
|
5
|
-
and English documentation.
|
|
6
|
-
|
|
7
|
-
## Public
|
|
8
|
-
|
|
9
|
-
- local CLI source
|
|
10
|
-
- contract parser and validators
|
|
11
|
-
- local drift and impact tooling
|
|
12
|
-
- local code generators
|
|
13
|
-
- examples
|
|
14
|
-
- English docs
|
|
15
|
-
- local package scripts
|
|
16
|
-
- `AGENTS.md` as the official Codex entrypoint
|
|
17
|
-
- the official Sema skill as a thin bootstrap before `AGENTS.md` exists
|
|
18
|
-
- the repo marketplace that installs that skill explicitly
|
|
19
|
-
|
|
20
|
-
## Not Public
|
|
21
|
-
|
|
22
|
-
- private or sensitive operational material
|
|
23
|
-
- real credentials, environment files, or secret inventories
|
|
24
|
-
- private project data or generated private artifacts
|
|
25
|
-
- runtime authorization, activation, billing, credit, token, or panel gates
|
|
26
|
-
- product-specific entrypoint files for AI clients other than Codex
|
|
27
|
-
- MCP servers, remote workspace bridges, or duplicated governance inside the
|
|
28
|
-
bootstrap skill
|
|
29
|
-
|
|
30
|
-
The CLI must run directly against the local workspace without login, user
|
|
31
|
-
authorization, a product-license check, activation key, credits, token, billing
|
|
32
|
-
service, or control panel.
|
|
33
|
-
|
|
34
|
-
Sema is an independent product and is not affiliated with or endorsed by
|
|
35
|
-
OpenAI. Codex-native is Sema's official product direction, not an official
|
|
36
|
-
OpenAI program or submission.
|
|
37
|
-
|
|
38
|
-
## Commercial Use
|
|
39
|
-
|
|
40
|
-
The public Sema source may not be copied, rebranded, bundled, or replicated for
|
|
41
|
-
commercial resale without written permission from OtimiTare.
|
|
42
|
-
|
|
43
|
-
Support: suporte@otimitare.online
|
|
1
|
+
# Repository Boundary
|
|
2
|
+
|
|
3
|
+
The public Sema repository should contain only the Codex-native local CLI, the
|
|
4
|
+
first-contact Codex skill, runtime packages, examples, tests that run locally,
|
|
5
|
+
and English documentation.
|
|
6
|
+
|
|
7
|
+
## Public
|
|
8
|
+
|
|
9
|
+
- local CLI source
|
|
10
|
+
- contract parser and validators
|
|
11
|
+
- local drift and impact tooling
|
|
12
|
+
- local code generators
|
|
13
|
+
- examples
|
|
14
|
+
- English docs
|
|
15
|
+
- local package scripts
|
|
16
|
+
- `AGENTS.md` as the official Codex entrypoint
|
|
17
|
+
- the official Sema skill as a thin bootstrap before `AGENTS.md` exists
|
|
18
|
+
- the repo marketplace that installs that skill explicitly
|
|
19
|
+
|
|
20
|
+
## Not Public
|
|
21
|
+
|
|
22
|
+
- private or sensitive operational material
|
|
23
|
+
- real credentials, environment files, or secret inventories
|
|
24
|
+
- private project data or generated private artifacts
|
|
25
|
+
- runtime authorization, activation, billing, credit, token, or panel gates
|
|
26
|
+
- product-specific entrypoint files for AI clients other than Codex
|
|
27
|
+
- MCP servers, remote workspace bridges, or duplicated governance inside the
|
|
28
|
+
bootstrap skill
|
|
29
|
+
|
|
30
|
+
The CLI must run directly against the local workspace without login, user
|
|
31
|
+
authorization, a product-license check, activation key, credits, token, billing
|
|
32
|
+
service, or control panel.
|
|
33
|
+
|
|
34
|
+
Sema is an independent product and is not affiliated with or endorsed by
|
|
35
|
+
OpenAI. Codex-native is Sema's official product direction, not an official
|
|
36
|
+
OpenAI program or submission.
|
|
37
|
+
|
|
38
|
+
## Commercial Use
|
|
39
|
+
|
|
40
|
+
The public Sema source may not be copied, rebranded, bundled, or replicated for
|
|
41
|
+
commercial resale without written permission from OtimiTare.
|
|
42
|
+
|
|
43
|
+
Support: suporte@otimitare.online
|
package/docs/rollback.md
CHANGED
|
@@ -1,31 +1,31 @@
|
|
|
1
|
-
# Rollback Boundary
|
|
2
|
-
|
|
3
|
-
Public rollback covers both the npm CLI and the separately installed Codex
|
|
4
|
-
bootstrap skill.
|
|
5
|
-
|
|
6
|
-
For a failed pre-publication candidate:
|
|
7
|
-
|
|
8
|
-
1. Keep the previous tarball until the new one passes smoke tests.
|
|
9
|
-
2. Revert the plugin source, marketplace manifest, CLI source, and versions to
|
|
10
|
-
the last known-good commit.
|
|
11
|
-
3. Re-run `npm run release:preparar-publica`.
|
|
12
|
-
|
|
13
|
-
If a bad commit was already pushed, revert it with a normal Git revert and push
|
|
14
|
-
the corrective commit. Refresh the marketplace and reinstall the skill:
|
|
15
|
-
|
|
16
|
-
```bash
|
|
17
|
-
codex plugin marketplace upgrade sema
|
|
18
|
-
codex plugin remove sema@sema
|
|
19
|
-
codex plugin add sema@sema
|
|
20
|
-
```
|
|
21
|
-
|
|
22
|
-
Open a new Codex task before validating the reinstalled skill. Already-open
|
|
23
|
-
tasks keep the plugin/skill catalog they started with.
|
|
24
|
-
|
|
25
|
-
If a bad npm version was published, do not overwrite it. Publish a corrected
|
|
26
|
-
version and direct users to that version. Verify the final registry/GitHub state
|
|
27
|
-
with `npm run release:verificar-distribuicao`. Do not create a GitHub Release or
|
|
28
|
-
asset as a rollback shortcut while the release contract blocks that surface.
|
|
29
|
-
|
|
30
|
-
Do not publish private or sensitive operational rollback material in this
|
|
31
|
-
repository.
|
|
1
|
+
# Rollback Boundary
|
|
2
|
+
|
|
3
|
+
Public rollback covers both the npm CLI and the separately installed Codex
|
|
4
|
+
bootstrap skill.
|
|
5
|
+
|
|
6
|
+
For a failed pre-publication candidate:
|
|
7
|
+
|
|
8
|
+
1. Keep the previous tarball until the new one passes smoke tests.
|
|
9
|
+
2. Revert the plugin source, marketplace manifest, CLI source, and versions to
|
|
10
|
+
the last known-good commit.
|
|
11
|
+
3. Re-run `npm run release:preparar-publica`.
|
|
12
|
+
|
|
13
|
+
If a bad commit was already pushed, revert it with a normal Git revert and push
|
|
14
|
+
the corrective commit. Refresh the marketplace and reinstall the skill:
|
|
15
|
+
|
|
16
|
+
```bash
|
|
17
|
+
codex plugin marketplace upgrade sema
|
|
18
|
+
codex plugin remove sema@sema
|
|
19
|
+
codex plugin add sema@sema
|
|
20
|
+
```
|
|
21
|
+
|
|
22
|
+
Open a new Codex task before validating the reinstalled skill. Already-open
|
|
23
|
+
tasks keep the plugin/skill catalog they started with.
|
|
24
|
+
|
|
25
|
+
If a bad npm version was published, do not overwrite it. Publish a corrected
|
|
26
|
+
version and direct users to that version. Verify the final registry/GitHub state
|
|
27
|
+
with `npm run release:verificar-distribuicao`. Do not create a GitHub Release or
|
|
28
|
+
asset as a rollback shortcut while the release contract blocks that surface.
|
|
29
|
+
|
|
30
|
+
Do not publish private or sensitive operational rollback material in this
|
|
31
|
+
repository.
|
package/docs/security.md
CHANGED
|
@@ -1,32 +1,32 @@
|
|
|
1
|
-
# Security
|
|
2
|
-
|
|
3
|
-
The public Sema repository must not contain private or sensitive operational
|
|
4
|
-
material.
|
|
5
|
-
|
|
6
|
-
Local Sema execution does not need a credential, login, activation key, license
|
|
7
|
-
token, billing token, or control-panel session. Do not introduce one as a
|
|
8
|
-
condition for reading or governing a local workspace.
|
|
9
|
-
|
|
10
|
-
The official Codex bootstrap skill contains instructions only. It must not
|
|
11
|
-
bundle an MCP server, app connector, remote workspace bridge, credential flow,
|
|
12
|
-
or a second copy of the repository governance that belongs in `AGENTS.md`.
|
|
13
|
-
|
|
14
|
-
Do not publish:
|
|
15
|
-
|
|
16
|
-
- real credentials or secret material;
|
|
17
|
-
- private data or internal operational artifacts.
|
|
18
|
-
|
|
19
|
-
Placeholder examples are allowed:
|
|
20
|
-
|
|
21
|
-
```bash
|
|
22
|
-
EXAMPLE_KEY=replace-me
|
|
23
|
-
```
|
|
24
|
-
|
|
25
|
-
If a real credential is exposed in code, docs, logs, screenshots, packages, or
|
|
26
|
-
Git history:
|
|
27
|
-
|
|
28
|
-
1. Rotate it immediately.
|
|
29
|
-
2. Remove it from the affected artifact.
|
|
30
|
-
3. Rebuild and rescan before publishing.
|
|
31
|
-
|
|
32
|
-
Official support: suporte@otimitare.online
|
|
1
|
+
# Security
|
|
2
|
+
|
|
3
|
+
The public Sema repository must not contain private or sensitive operational
|
|
4
|
+
material.
|
|
5
|
+
|
|
6
|
+
Local Sema execution does not need a credential, login, activation key, license
|
|
7
|
+
token, billing token, or control-panel session. Do not introduce one as a
|
|
8
|
+
condition for reading or governing a local workspace.
|
|
9
|
+
|
|
10
|
+
The official Codex bootstrap skill contains instructions only. It must not
|
|
11
|
+
bundle an MCP server, app connector, remote workspace bridge, credential flow,
|
|
12
|
+
or a second copy of the repository governance that belongs in `AGENTS.md`.
|
|
13
|
+
|
|
14
|
+
Do not publish:
|
|
15
|
+
|
|
16
|
+
- real credentials or secret material;
|
|
17
|
+
- private data or internal operational artifacts.
|
|
18
|
+
|
|
19
|
+
Placeholder examples are allowed:
|
|
20
|
+
|
|
21
|
+
```bash
|
|
22
|
+
EXAMPLE_KEY=replace-me
|
|
23
|
+
```
|
|
24
|
+
|
|
25
|
+
If a real credential is exposed in code, docs, logs, screenshots, packages, or
|
|
26
|
+
Git history:
|
|
27
|
+
|
|
28
|
+
1. Rotate it immediately.
|
|
29
|
+
2. Remove it from the affected artifact.
|
|
30
|
+
3. Rebuild and rescan before publishing.
|
|
31
|
+
|
|
32
|
+
Official support: suporte@otimitare.online
|
package/docs/support.md
CHANGED
|
@@ -1,8 +1,8 @@
|
|
|
1
|
-
# Support
|
|
2
|
-
|
|
3
|
-
Official Sema support email: suporte@otimitare.online
|
|
4
|
-
|
|
5
|
-
OtimiTare website: https://otimitare.online
|
|
6
|
-
|
|
7
|
-
Do not publish private or sensitive support routing material in the public Sema
|
|
8
|
-
repository.
|
|
1
|
+
# Support
|
|
2
|
+
|
|
3
|
+
Official Sema support email: suporte@otimitare.online
|
|
4
|
+
|
|
5
|
+
OtimiTare website: https://otimitare.online
|
|
6
|
+
|
|
7
|
+
Do not publish private or sensitive support routing material in the public Sema
|
|
8
|
+
repository.
|
package/docs/syntax.md
CHANGED
|
@@ -110,7 +110,7 @@ The CLI supports JavaScript generation:
|
|
|
110
110
|
sema compilar contratos/orders.sema --alvo javascript --saida ./generated/javascript
|
|
111
111
|
```
|
|
112
112
|
|
|
113
|
-
The project can also generate TypeScript, Python, PHP, Dart, Lua, HTML, and
|
|
113
|
+
The project can also generate TypeScript, Python, PHP, Dart, Lua, HTML, CSS, C#/.NET (`dotnet`), and C++ (`cpp`) when those targets are enabled in `sema.config.json`.
|
|
114
114
|
|
|
115
115
|
## Support Files
|
|
116
116
|
|
package/docs/testing.md
CHANGED
|
@@ -1,28 +1,35 @@
|
|
|
1
|
-
# Testing
|
|
2
|
-
|
|
3
|
-
Public Sema tests should run locally.
|
|
4
|
-
|
|
5
|
-
Recommended checks:
|
|
6
|
-
|
|
7
|
-
```bash
|
|
8
|
-
npm run build
|
|
9
|
-
npm run status:check
|
|
10
|
-
npm run repo:verificar-publico
|
|
11
|
-
npm run plugin:testar-codex
|
|
12
|
-
node pacotes/cli/dist/index.js --help
|
|
13
|
-
node pacotes/cli/dist/index.js --version
|
|
14
|
-
node pacotes/cli/dist/index.js resumo exemplos/calculadora.sema --micro --json
|
|
15
|
-
node pacotes/cli/dist/index.js validar exemplos/calculadora.sema --json
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
1
|
+
# Testing
|
|
2
|
+
|
|
3
|
+
Public Sema tests should run locally.
|
|
4
|
+
|
|
5
|
+
Recommended checks:
|
|
6
|
+
|
|
7
|
+
```bash
|
|
8
|
+
npm run build
|
|
9
|
+
npm run status:check
|
|
10
|
+
npm run repo:verificar-publico
|
|
11
|
+
npm run plugin:testar-codex
|
|
12
|
+
node pacotes/cli/dist/index.js --help
|
|
13
|
+
node pacotes/cli/dist/index.js --version
|
|
14
|
+
node pacotes/cli/dist/index.js resumo exemplos/calculadora.sema --micro --json
|
|
15
|
+
node pacotes/cli/dist/index.js validar exemplos/calculadora.sema --json
|
|
16
|
+
node pacotes/cli/dist/index.js testar exemplos/calculadora.sema --alvo dotnet --saida .tmp/testing-dotnet
|
|
17
|
+
node pacotes/cli/dist/index.js testar exemplos/calculadora.sema --alvo cpp --saida .tmp/testing-cpp
|
|
18
|
+
npm run release:preparar-publica
|
|
19
|
+
npm run release:verificar-drift
|
|
20
|
+
```
|
|
21
|
+
|
|
22
|
+
Do not require private or sensitive operational material for public test
|
|
23
|
+
evidence. The public-package smoke must also reject the removed authorization
|
|
24
|
+
command, legacy gate markers, any stale billing artifact, secrets, and broken
|
|
25
|
+
encoding in every published document. The plugin smoke must validate the repo
|
|
26
|
+
marketplace, manifest version, installed skill copy, and absence of Sema MCP.
|
|
27
|
+
After push and npm publication, `npm run release:verificar-distribuicao` must
|
|
28
|
+
repeat that installation from the remote `gerlanss/Sema` marketplace and prove
|
|
29
|
+
that GitHub HEAD, the installed skill, and npm 2.1.0 all describe the same
|
|
30
|
+
release.
|
|
31
|
+
|
|
32
|
+
Native generator evidence is mandatory when changing C#/.NET or C++ support.
|
|
33
|
+
The `dotnet` smoke must compile and execute through the local .NET SDK. The
|
|
34
|
+
`cpp` smoke must compile and execute through GCC, Clang, or MSVC; checking only
|
|
35
|
+
for generated files is not sufficient.
|
package/docs/vocabulary.md
CHANGED
|
@@ -1,29 +1,29 @@
|
|
|
1
|
-
# Sema Vocabulary
|
|
2
|
-
|
|
3
|
-
Use consistent English prose in public docs while preserving technical
|
|
4
|
-
identifiers.
|
|
5
|
-
|
|
6
|
-
## Canonical Concepts
|
|
7
|
-
|
|
8
|
-
- semantic contract
|
|
9
|
-
- drift
|
|
10
|
-
- impact map
|
|
11
|
-
- governed code
|
|
12
|
-
- traceability
|
|
13
|
-
- Codex-native
|
|
14
|
-
- local runtime
|
|
15
|
-
- finalization
|
|
16
|
-
- evidence
|
|
17
|
-
- local CLI
|
|
18
|
-
|
|
19
|
-
## Do Not Translate
|
|
20
|
-
|
|
21
|
-
- commands: `sema validar`, `sema drift`, `sema impacto`
|
|
22
|
-
- files: `AGENTS.md`, `SEMA_BOOT.md`, `SEMA_INDEX.json`
|
|
23
|
-
- DSL keywords: `task`, `input`, `output`, `rules`, `effects`, `guarantees`
|
|
24
|
-
- package names: `@semacode/cli`
|
|
25
|
-
- code symbols and environment variable names
|
|
26
|
-
|
|
27
|
-
## Public Support
|
|
28
|
-
|
|
29
|
-
Use suporte@otimitare.online for support references.
|
|
1
|
+
# Sema Vocabulary
|
|
2
|
+
|
|
3
|
+
Use consistent English prose in public docs while preserving technical
|
|
4
|
+
identifiers.
|
|
5
|
+
|
|
6
|
+
## Canonical Concepts
|
|
7
|
+
|
|
8
|
+
- semantic contract
|
|
9
|
+
- drift
|
|
10
|
+
- impact map
|
|
11
|
+
- governed code
|
|
12
|
+
- traceability
|
|
13
|
+
- Codex-native
|
|
14
|
+
- local runtime
|
|
15
|
+
- finalization
|
|
16
|
+
- evidence
|
|
17
|
+
- local CLI
|
|
18
|
+
|
|
19
|
+
## Do Not Translate
|
|
20
|
+
|
|
21
|
+
- commands: `sema validar`, `sema drift`, `sema impacto`
|
|
22
|
+
- files: `AGENTS.md`, `SEMA_BOOT.md`, `SEMA_INDEX.json`
|
|
23
|
+
- DSL keywords: `task`, `input`, `output`, `rules`, `effects`, `guarantees`
|
|
24
|
+
- package names: `@semacode/cli`
|
|
25
|
+
- code symbols and environment variable names
|
|
26
|
+
|
|
27
|
+
## Public Support
|
|
28
|
+
|
|
29
|
+
Use suporte@otimitare.online for support references.
|
package/exemplos/assinatura.sema
CHANGED
package/exemplos/auditoria.sema
CHANGED
package/exemplos/automacao.sema
CHANGED
package/exemplos/estoque.sema
CHANGED
package/exemplos/exportacao.sema
CHANGED
package/exemplos/fila.sema
CHANGED