caixa_core/
lib.rs

1// SPDX-License-Identifier: MIT
2//! `caixa-core` — manifest types, layout invariants, and version contract
3//! for the caixa tatara-lisp package system.
4//!
5//! The `caixa.lisp` manifest is itself a [`tatara_lisp::domain::TataraDomain`]
6//! — parsing is the derive macro, which makes ill-typed manifests impossible
7//! at load time (the same discipline Cargo gets from `Cargo.toml`, but
8//! enforced by Rust types rather than TOML schema).
9//!
10//! Layout invariants (lib/ presence, exe/ population, service entries) are
11//! enforced by [`LayoutInvariants`], run by `caixa-feira` before any build
12//! step.
13
14extern crate self as caixa_core;
15
16pub mod aplicacao;
17pub mod behavior;
18pub mod dep;
19pub mod dialeto;
20pub mod kind;
21pub mod layout;
22pub mod limits;
23pub mod manifest;
24pub mod render;
25pub mod supervisor;
26pub mod upgrade;
27pub mod version;
28
29pub use aplicacao::{
30    AplicacaoError, AplicacaoSpec, CircuitBreaker, DEFAULT_SERVICO_PORT, Entrada, Membro,
31    MeshPolicy, POLICY_BREAKER_MAX_FAILURES_MAX, POLICY_BREAKER_WINDOW_MAX, POLICY_RATE_LIMIT_MAX,
32    POLICY_RETRIES_MAX, POLICY_TIMEOUT_MAX, Placement, PlacementStrategy, RateLimit, RateLimitUnit,
33    SERVICO_PORT_MIN, WitContract, WitTarget,
34};
35pub use behavior::{BehaviorError, BehaviorSpec};
36pub use dep::{Dep, DepError, DepList, DepSource};
37pub use dialeto::{CaixaDialeto, DialetoError, classify as classify_dialeto};
38pub use kind::CaixaKind;
39pub use layout::{LayoutError, LayoutInvariants, StandardLayout};
40pub use limits::{
41    LIMITS_CPU_MILLICORES_MAX, LIMITS_FUEL_MAX, LIMITS_MEMORY_WASM32_MAX_BYTES,
42    LIMITS_MEMORY_WASM32_PAGE_BYTES, LIMITS_WALL_CLOCK_MAX, LimitsError, LimitsSpec,
43};
44pub use manifest::{Caixa, LeituraError, ManifestError};
45pub use render::{
46    CAIXA_KEY_DEPS, CAIXA_KEY_DEPS_DEV, CAIXA_KIND_LABEL_ACAO, CAIXA_KIND_LABEL_APLICACAO,
47    CAIXA_KIND_LABEL_BIBLIOTECA, CAIXA_KIND_LABEL_BINARIO, CAIXA_KIND_LABEL_SERVICO,
48    CAIXA_KIND_LABEL_SUPERVISOR, CARGO_FEATURE_NAME_MAX_LEN, CILIUM_API_VERSION,
49    CILIUM_AUTH_MODE_DISABLED, CILIUM_AUTH_MODE_REQUIRED, CILIUM_KEY_AUTHENTICATION,
50    CILIUM_KEY_ENDPOINT_SELECTOR, CILIUM_KEY_FROM_ENDPOINTS, CILIUM_KEY_HTTP, CILIUM_KEY_INGRESS,
51    CILIUM_KEY_MODE, CILIUM_KEY_PATH, CILIUM_KEY_PORTS, CILIUM_KEY_TO_PORTS,
52    CILIUM_KIND_NETWORK_POLICY, CIRCUIT_BREAKER_KEY_MAX_FAILURES, CIRCUIT_BREAKER_KEY_WINDOW,
53    CLUSTER_BUNDLE_LAREIRA_ENABLED_DEFAULT, COMPUTEUNIT_MODULE_KEY_SOURCE,
54    COMPUTEUNIT_SPEC_KEY_CAPABILITIES, COMPUTEUNIT_SPEC_KEY_MODULE, COMPUTEUNIT_SPEC_KEY_TRIGGER,
55    COMPUTEUNIT_YAML_SUFFIX, CONTRATO_EDGE_LABEL_SEPARATOR, CONTRATO_KEY_DE, CONTRATO_KEY_PARA,
56    CONTRATO_KEY_WIT, CiDecomposeFailure, DEFAULT_FLUX_CHART_SOURCE_SUBPATH,
57    DEFAULT_FLUX_KUSTOMIZATION_TIMEOUT, DEFAULT_FLUX_RECONCILE_INTERVAL,
58    DEFAULT_FLUX_SYSTEM_NAMESPACE, DEFAULT_GATEWAY_CLASS_NAME, DEFAULT_LIBRARY_NAME,
59    DEFAULT_NAMESPACE, DEP_AUTHOR_KEY_DEPS, DEP_AUTHOR_KEY_DEPS_DEV, DEP_SOURCE_KEY_TIPO,
60    DEP_SOURCE_TIPO_GIT, DEP_SOURCE_TIPO_PATH, DNS_1123_LABEL_MAX_LEN, ENTRADA_KEY_HOST,
61    ENTRADA_KEY_PARA, ENTRADA_KEY_PATHS, ENTRADA_KEY_PORT, FLEET_PROGRAMS_KEY_APLICACAO,
62    FLEET_PROGRAMS_KEY_NAME, FLEET_PROGRAMS_KEY_PROGRAMS, FLEET_PROGRAMS_KEY_VERSAO,
63    FLUX_GITREPOSITORY_API_VERSION, FLUX_GITREPOSITORY_KEY_REF, FLUX_GITREPOSITORY_KEY_URL,
64    FLUX_GITREPOSITORY_REF_KEY_BRANCH, FLUX_GITREPOSITORY_REF_KEY_COMMIT,
65    FLUX_GITREPOSITORY_REF_KEY_TAG, FLUX_GITREPOSITORY_YAML_FILENAME,
66    FLUX_HELMCHART_TEMPLATE_KEY_CHART, FLUX_HELMRELEASE_API_VERSION,
67    FLUX_HELMRELEASE_CREATE_NAMESPACE_DEFAULT, FLUX_HELMRELEASE_KEY_CREATE_NAMESPACE,
68    FLUX_HELMRELEASE_KEY_INSTALL, FLUX_HELMRELEASE_KEY_REMEDIATE_LAST_FAILURE,
69    FLUX_HELMRELEASE_KEY_REMEDIATION, FLUX_HELMRELEASE_KEY_RETRIES, FLUX_HELMRELEASE_KEY_UPGRADE,
70    FLUX_HELMRELEASE_REMEDIATE_LAST_FAILURE_DEFAULT, FLUX_HELMRELEASE_REMEDIATION_RETRIES_DEFAULT,
71    FLUX_HELMRELEASE_YAML_FILENAME, FLUX_KEY_CHART, FLUX_KEY_HEALTH_CHECKS, FLUX_KEY_INTERVAL,
72    FLUX_KEY_SOURCE_REF, FLUX_KEY_VALUES, FLUX_KIND_GIT_REPOSITORY, FLUX_KIND_HELM_RELEASE,
73    FLUX_KIND_KUSTOMIZATION, FLUX_KUSTOMIZATION_API_VERSION, FLUX_KUSTOMIZATION_KEY_PATH,
74    FLUX_KUSTOMIZATION_KEY_PRUNE, FLUX_KUSTOMIZATION_KEY_TIMEOUT, FLUX_KUSTOMIZATION_PRUNE_DEFAULT,
75    FLUX_KUSTOMIZATION_YAML_FILENAME, GATEWAY_API_API_VERSION,
76    GATEWAY_API_DEFAULT_HTTP_LISTENER_NAME, GATEWAY_API_DEFAULT_HTTP_LISTENER_PORT,
77    GATEWAY_API_DEFAULT_HTTP_ROUTE_PATH, GATEWAY_API_HOSTNAME_MAX_LEN,
78    GATEWAY_API_HTTP_PATH_MAX_LEN, GATEWAY_API_KEY_ATTEMPTS, GATEWAY_API_KEY_BACKEND_REFS,
79    GATEWAY_API_KEY_GATEWAY_CLASS_NAME, GATEWAY_API_KEY_HOSTNAME, GATEWAY_API_KEY_HOSTNAMES,
80    GATEWAY_API_KEY_LISTENERS, GATEWAY_API_KEY_MATCHES, GATEWAY_API_KEY_NAME,
81    GATEWAY_API_KEY_PARENT_REFS, GATEWAY_API_KEY_PATH, GATEWAY_API_KEY_REQUEST,
82    GATEWAY_API_KEY_RETRY, GATEWAY_API_KEY_SECTION_NAME, GATEWAY_API_KEY_TIMEOUTS,
83    GATEWAY_API_KEY_VALUE, GATEWAY_API_KIND_GATEWAY, GATEWAY_API_KIND_HTTP_ROUTE,
84    GATEWAY_API_PATH_MATCH_TYPE_PATH_PREFIX, GATEWAY_API_PROTOCOL_HTTP, GIT_OID_SHA1_LEN,
85    GIT_OID_SHA256_LEN, GIT_REF_NAME_MAX_LEN, GIT_REPO_URL_MAX_LEN, HELM_CHART_API_VERSION,
86    HELM_CHART_DEPENDENCY_KEY_ALIAS, HELM_CHART_DEPENDENCY_KEY_NAME,
87    HELM_CHART_DEPENDENCY_KEY_REPOSITORY, HELM_CHART_DEPENDENCY_KEY_VERSION,
88    HELM_CHART_KEY_API_VERSION, HELM_CHART_KEY_APP_VERSION, HELM_CHART_KEY_DEPENDENCIES,
89    HELM_CHART_KEY_TYPE, HELM_CHART_README_FILENAME, HELM_CHART_TYPE_APPLICATION,
90    HELM_CHART_TYPE_LIBRARY, HELM_CHART_YAML_FILENAME, HELM_VALUES_KEY_ENABLED,
91    HELM_VALUES_YAML_FILENAME, KUBE_KEY_API_VERSION, KUBE_KEY_KIND, KUBE_KEY_LABELS,
92    KUBE_KEY_MATCH_LABELS, KUBE_KEY_METADATA, KUBE_KEY_NAME, KUBE_KEY_NAMESPACE, KUBE_KEY_PORT,
93    KUBE_KEY_PROTOCOL, KUBE_KEY_RULES, KUBE_KEY_SPEC, KUBE_KEY_TYPE, KUBE_PROTOCOL_TCP,
94    KindMismatch, LABEL_APLICACAO, LABEL_CONTRATO, LABEL_PROGRAM, LAREIRA_CHART_KEYWORDS,
95    LAREIRA_CHART_NAME_NOME_MAX_LEN, LAREIRA_CHART_NAME_PREFIX, LAYOUT_DIR_EXE, LAYOUT_DIR_LIB,
96    LAYOUT_DIR_SERVICOS, LAYOUT_MISSING_ENTRY_KIND_BEHAVIOR_CALLBACK,
97    LAYOUT_MISSING_ENTRY_KIND_BIBLIOTECA, LAYOUT_MISSING_ENTRY_KIND_EXE,
98    LAYOUT_MISSING_ENTRY_KIND_SERVICO, LAYOUT_MISSING_ENTRY_KIND_UPGRADE_SCRIPT,
99    LISP_SOURCE_EXTENSION, M2_AUTHOR_KEY_BEHAVIOR, M2_AUTHOR_KEY_LIMITS,
100    M2_AUTHOR_KEY_UPGRADE_FROM, M2_BEHAVIOR_AUTHOR_KEY_ON_CALL, M2_BEHAVIOR_AUTHOR_KEY_ON_CAST,
101    M2_BEHAVIOR_AUTHOR_KEY_ON_INFO, M2_BEHAVIOR_AUTHOR_KEY_ON_INIT,
102    M2_BEHAVIOR_AUTHOR_KEY_ON_STATE_CHANGE, M2_BEHAVIOR_AUTHOR_KEY_ON_TERMINATE,
103    M2_BEHAVIOR_KEY_ON_CALL, M2_BEHAVIOR_KEY_ON_CAST, M2_BEHAVIOR_KEY_ON_INFO,
104    M2_BEHAVIOR_KEY_ON_INIT, M2_BEHAVIOR_KEY_ON_STATE_CHANGE, M2_BEHAVIOR_KEY_ON_TERMINATE,
105    M2_KEY_BEHAVIOR, M2_KEY_LIMITS, M2_KEY_UPGRADE_FROM, M2_LIMITS_KEY_CPU, M2_LIMITS_KEY_FUEL,
106    M2_LIMITS_KEY_MEMORY, M2_LIMITS_KEY_WALL_CLOCK, M2_UPGRADE_FROM_KEY_FROM,
107    M2_UPGRADE_FROM_KEY_INSTRUCTIONS, M2_UPGRADE_INSTRUCTION_FIELD_KEY_MODULE,
108    M2_UPGRADE_INSTRUCTION_FIELD_KEY_SCRIPT, M2_UPGRADE_INSTRUCTION_KEY_KIND,
109    M2_UPGRADE_INSTRUCTION_KIND_LOAD_MODULE, M2_UPGRADE_INSTRUCTION_KIND_PURGE,
110    M2_UPGRADE_INSTRUCTION_KIND_RESTART, M2_UPGRADE_INSTRUCTION_KIND_SOFT_PURGE,
111    M2_UPGRADE_INSTRUCTION_KIND_STATE_CHANGE, M3_AUTHOR_KEY_CONTRATOS, M3_AUTHOR_KEY_ENTRADA,
112    M3_AUTHOR_KEY_MEMBROS, M3_AUTHOR_KEY_PLACEMENT, M3_AUTHOR_KEY_POLITICAS, M3_KEY_PLACEMENT,
113    M3_PLACEMENT_ESTRATEGIA_REPLICATED, M3_PLACEMENT_ESTRATEGIA_SHARDED,
114    M3_PLACEMENT_ESTRATEGIA_SINGLE_NODE, M3_PLACEMENT_KEY_AFFINITY, M3_PLACEMENT_KEY_CLUSTERS,
115    M3_PLACEMENT_KEY_ESTRATEGIA, M3_PLACEMENT_KEY_SHARD_KEY, MEMBRO_KEY_CAIXA, MEMBRO_KEY_VERSAO,
116    MappingExt, MissingCiSlot, NATS_SUBJECT_MAX_LEN, OCI_SCHEME_PREFIX, PLEME_LABEL_PREFIX,
117    POLITICAS_KEY_CIRCUIT_BREAKER, POLITICAS_KEY_MTLS_REQUIRED, POLITICAS_KEY_RATE_LIMIT,
118    POLITICAS_KEY_RETRIES, POLITICAS_KEY_TIMEOUT, PathShapeViolation, RenderError, RenderedFile,
119    STANDALONE_LAREIRA_ENABLED_DEFAULT, SUPERVISOR_AUTHOR_KEY_CHILDREN,
120    SUPERVISOR_AUTHOR_KEY_ESTRATEGIA, SUPERVISOR_AUTHOR_KEY_MAX_RESTARTS,
121    SUPERVISOR_AUTHOR_KEY_RESTART_WINDOW, SUPERVISOR_CHILD_KEY_CAIXA, SUPERVISOR_CHILD_KEY_RESTART,
122    SUPERVISOR_CHILD_KEY_VERSAO, SUPERVISOR_CHILD_RESTART_PERMANENT,
123    SUPERVISOR_CHILD_RESTART_TEMPORARY, SUPERVISOR_CHILD_RESTART_TRANSIENT,
124    SUPERVISOR_ESTRATEGIA_ONE_FOR_ALL, SUPERVISOR_ESTRATEGIA_ONE_FOR_ONE,
125    SUPERVISOR_ESTRATEGIA_REST_FOR_ONE, SUPERVISOR_ESTRATEGIA_SIMPLE_ONE_FOR_ONE,
126    SUPERVISOR_KEY_CHILDREN, SUPERVISOR_KEY_ESTRATEGIA, SUPERVISOR_KEY_MAX_RESTARTS,
127    SUPERVISOR_KEY_RESTART_WINDOW, SequenceExt, ServicoCountMismatch, WASI_KV_SLOT_MAX_LEN,
128    WIT_IDENT_MAX_LEN, assert_str_reexport_identity, ci_declared_edge_count, cilium_auth_mode,
129    cilium_network_policy_name, contrato_edge_label, decompose_ci, find_ascii_whitespace_byte,
130    find_by_kind, find_non_ascii_whitespace_char, flux_kustomization_source_subtree,
131    gateway_api_http_route_name, insert_first_seen, is_cargo_feature_name,
132    is_computeunit_yaml_extension, is_digit_only_magnitude, is_dns_1123_label,
133    is_gateway_api_http_path, is_git_oid, is_git_ref_name, is_git_repo_url,
134    is_lareira_chart_name_shape, is_leading_zero_padded_magnitude, is_lisp_extension,
135    is_nats_subject, is_sandboxed_relative_path, is_wasi_keyvalue_slot, is_wit_world_ref,
136    kube_kind_is, kube_metadata_str_field, kube_resource_skeleton, kube_root_str_field,
137    label_selector, lareira_chart_name, oci_chart_ref, pleme_program_in_aplicacao_selector,
138    pleme_program_selector, require_acao_view, require_aplicacao_view, require_ci, require_kind,
139    require_positive_bounded_u32, require_positive_bounded_u64,
140    require_positive_canonical_bounded_duration, require_single_servico, require_v0_servico_shape,
141    require_valid_dns_1123_label, require_valid_versao_requirement, servico_m2_overlay,
142    servico_spec_and_m2_overlay_entries, single_field_overlay, singleton_mapping_sequence,
143    string_keyed_entries, upsert_named_entry, yaml_string_mapping,
144};
145pub use supervisor::{
146    ChildSpec, RestartPolicy, RestartStrategy, SUPERVISOR_MAX_RESTARTS_MAX,
147    SUPERVISOR_RESTART_WINDOW_MAX, SupervisorError, SupervisorSpec,
148};
149pub use upgrade::{
150    UpgradeError, UpgradeFromEntry, UpgradeInstruction, validate_upgrade_from,
151    validate_upgrade_from_against_behavior, validate_upgrade_from_against_versao,
152};
153pub use version::{
154    CaixaVersion, DEFAULT_GIT_REMOTE, DEFAULT_PLEME_GIT_ORG, DEFAULT_PUBLISH_TAG_PREFIX,
155    VersionError, parse_requirement,
156};
caixa_core/lib.rs

caixa_core/
lib.rs
