cargo / tatara-render
tatara-render 0.4.3
clean- processes
- 436
- operations
- 9.2K
- packages
- 39
- compiler runs
- 35
- connections
- 1
- job time
- 30s
- capture
- 127 KB
- records
- 17K
- bytes / record
- 7.7
Env → IaC-platform-shaped manifests. The RENDER phase (THEORY §IV.3) of the eight-phase convergence loop. Each `Backend` impl is a morphism from the typescape (typed Rust resources in `tatara-env::Env`) to a target's native shape (Kubernetes CR YAML, Helm template, Terraform JSON, Pangea Ruby DSL). Adding a backend inherits every existing proof — proofs attach to the typescape types, not to the rendering code (THEORY §III.2).
Artifact
- libtatara_render.rlibfile · retained · product
| Checks | Detections |
|---|---|
| Build behavior | |
| ✓ Network activity | — |
| ✓ Sensitive data access and transfer | — |
| ✓ Cross-process access | — |
| ✓ Build file changes | — |
| ✓ Build script activity | — |
| ✓ Data flow analysis | — |
| ✓ Filesystem writes | — |
| ✓ Context collection | — |
| Supply chain | |
| ✓ Known vulnerabilities | — |
| ✓ Build-time dependency advisories | — |
| ✓ Dependency advisories | — |
| ✓ Declared and observed dependencies | — |
| ✓ Dependency and toolchain versions | — |
| Pipeline | |
| ✓ Pipeline coverage | — |
Detections
0No detections
No abnormal activity detected across 9.2K flows.
Network
0 peerscargo fetched 1,708 files from static.crates.io
Dependencies
40 packages, 8 with a build script that ran, 0 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| blake3 | 1.8.6 | observed | build script | |
| ld-linux-x86-64.so.2 | linked | system library | ||
| libc | 0.2.189 | observed | build script, not run | |
| libc.so.6 | linked | system library | ||
| libgcc_s.so.1 | linked | system library | ||
| libm.so.6 | linked | system library | ||
| libmvec.so.1 | linked | system library | ||
| proc-macro2 | 1.0.107 | observed | build script | |
| quote | 1.0.47 | observed | build script | |
| serde direct | 1.0.229 | observed | build script | |
| serde_core | 1.0.229 | observed | build script | |
| serde_derive | 1.0.229 | observed | proc macro | |
| serde_json direct | 1.0.151 | observed | build script | |
| tatara-closed-set-derive | 0.4.3 | observed | proc macro | |
| tatara-lisp-derive | 0.4.3 | observed | proc macro | |
| thiserror direct | 2.0.19 | observed | build script | |
| thiserror-impl | 2.0.19 | observed | proc macro | |
| zmij | 1.0.23 | observed | build script | |
| arrayref | 0.3.9 | observed | ||
| arrayvec | 0.7.8 | observed | ||
| cc | 1.4.0 | observed | ||
| cfg-if | 1.0.4 | observed | ||
| constant_time_eq | 0.4.2 | observed | ||
| cpufeatures | 0.3.0 | observed | ||
| equivalent | 1.0.2 | observed | ||
| find-msvc-tools | 0.1.9 | observed | ||
| hashbrown | 0.17.1 | observed | ||
| indexmap direct | 2.14.0 | observed | ||
| itoa | 1.0.18 | observed | ||
| memchr | 2.8.3 | observed | ||
| ryu | 1.0.23 | observed | ||
| serde_yaml_ng direct | 0.10.0 | observed | ||
| shlex | 2.0.1 | observed | ||
| syn | 2.0.119 | observed | ||
| syn | 3.0.3 | observed | ||
| tatara-closed-set | 0.4.3 | observed | ||
| tatara-env direct | 0.4.3 | observed | ||
| tatara-lisp direct | 0.4.3 | observed | ||
| unicode-ident | 1.0.24 | observed | ||
| unsafe-libyaml | 0.2.11 | observed |
1 of 1 jobs captured: build-test success · Generated 2026-10-11 · run 165c9650-c468-4b37-8d47-db93bbb90166
analysis 0.1.0 · 2026-10-10 · ce2b8d5 · graph v2