Puntales Estructurales Optimizados por Topología a 3MF Hermético y Auditoría de Voladizo

Acto I — El Problema de Herramientas, Formatos Abiertos e Hitos (X.05)

En el calor seco de Melbourne en 1904, el teórico mecánico australiano Anthony George Maldon Michell trazó en su mesa de dibujo los límites matemáticos últimos de la economía estructural. Michell demostró que los entramados más ligeros capaces de soportar una carga sin pandearse deben seguir las líneas ortogonales de deformación principal, formando curvas orgánicas semejantes al tejido óseo trabecular. Durante casi un siglo, las redes de Michell permanecieron como sueños teóricos porque los talleres no podían tallar celosías tan intrincadas a partir de lingotes macizos. Ese dilema comenzó a resolverse en Copenhague a finales de los años ochenta, cuando Martin Bendsøe y Ole Sigmund formularon el método SIMP de optimización topológica.

Sin embargo, convertir campos continuos de densidad en piezas físicas introdujo un nuevo obstáculo computacional: al extraer isosuperficies mediante algoritmos como marching cubes, las mallas resultantes solían presentar bordes abiertos y auto-intersecciones (Bendsøe & Sigmund, DOI 10.1007/s001580050176). Para cerrar esa brecha, ingenieros como Emmett Lalish desarrollaron algoritmos CSG de variedad garantizada (Manifold), mientras el Consorcio 3MF estableció la especificación Core v1.2.3 con unidades e índices verificables. El Folio X.05 sintetiza puntales ahusados directamente como variedades cerradas, auditando su volumen exacto y su ángulo de voladizo antes de exportar a 3MF, GLB y STEP.

Para ingenieros independientes y talleres de fabricación digital, enviar una malla no-variedad o con voladizos extremos a una impresora 3D provoca fallos de laminado, colisiones de boquilla y desperdicio de material. Al ejecutar auditorías topológicas (2E = 3F, χ = 2) y de ángulo de voladizo (θ ≤ 45°) en Python puro antes de exportar, los equipos pequeños generan geometría limpia para OrcaSlicer, PrusaSlicer, FreeCAD y Blender sin pagar costosas licencias empresariales.

§ I.1 · Obstrucción Clásica, Estándares Abiertos e Hitos Históricos

Toda herramienta duradera de ingeniería y arquitectura nace del esfuerzo humano por convertir el oficio tácito del taller en un lenguaje auditable y compartible. Trazar la evolución de la Herramienta X.05 (TOOL-FAB-1) desde su primera formulación en 1904 (A. G. M. Michell derives the analytical minimum-weight truss layouts (Michell continua) along orthogonal principal strain lines.) hasta su implementación abierta moderna en 2026 (Informatico.ai ships X.05: tapered frustum manifold synthesis to 3MF/GLB/STEP with divergence-volume and overhang-angle verification.) revela por qué los formatos binarios cerrados y las exportaciones de polígonos sin verificar frenaron repetidamente a los estudios pequeños. Siempre que un estudio o taller intercambia geometría sin un invariante matemático explícito—gobernado aquí por V = ∑_{k=1}^3 (h_k / 3)(A_{k-1} + A_k + √(A_{k-1} A_k)) = 46,080 mm³ · θ_wall = arctan(Δw / Δz) = 14.04° ≤ 45°—defectos topológicos silenciosos corrompen el paso entre el diseño y la fabricación física.

Resolver ese cuello de botella exige combinar especificaciones neutrales libres de regalías (.glb, .step AP242, .3mf, .dxf) con un generador en código sin dependencias (skills/toolchain/x05/make_x05.py) y un verificador determinista a nivel de bytes (skills/toolchain/x05/verify_x05_toolchain_x05_simp_manifold_3mf.py). Cada archivo exportado se trata no como un dibujo opaco, sino como un certificado matemático falsable cuya cronología de avances se resume a continuación:

Comprobar que una malla sea hermética (3F = 2E) y medir su ángulo de voladizo θ = arccos(−n · ẑ) son teoremas puros de la geometría euclidiana; certificar una pieza física exige pruebas de materiales que ningún script de software puede sustituir.

Acto II — Síntesis Geométrica en 4 Etapas y Verificación a Nivel de Bytes (X.05)

La geometría sólida exacta exige cumplir simultáneamente la topología combinatoria y la integración volumétrica clásica. El volumen total del puntal obedece la suma de tres troncos piramidales del Papiro de Moscú: V = ∑_{k=1}^3 (h_k / 3)(A_{k-1} + A_k + √(A_{k-1} A_k)) = 46,080.0 mm³ con cero divergencia numérica frente al teorema de Gauss–Ostrogradsky. Al mismo tiempo, la orientación superficial de las paredes laterales se mide mediante el ángulo de voladizo θ = arccos(−n · ẑ) = arctan(Δw / Δz) = 14.04° ≤ 45.0°, manteniendo el cierre Euler–Poincaré χ = V − E + F = 16 − 42 + 28 = 2 (2E = 3F). Acoplamiento de parámetros en vivo: 24 mm y 4 mm bajo la ley gobernante V = ∑_{k=1}^3 (h_k / 3)(A_{k-1} + A_k + √(A_{k-1} A_k)) = 46,080 mm³ · θ_wall = arctan(Δw / Δz) = 14.04° ≤ 45°.

En lugar de aproximar puntales con grillas pesadas de vóxeles, el generador parametriza cuatro anillos transversales en z ∈ {0, 16, 32, 48} mm conectados por cuadriláteros orientados en sentido antihorario, garantizando que el volumen firmado por divergencia coincida al milímetro cúbico con la fórmula analítica del tronco piramidal y fijando marcas de tiempo constantes en el archivo ZIP 3MF.

Acto III — Visor 3D WebGL2 en Vivo, Archivos CAD Descargables y Banco Interactivo

§ III.2 · Archivos 3D CAD y de Fabricación Descargables + Manifiesto SHA-256

Cada archivo abajo es generado deterministamente por skills/toolchain/x05/make_x05.py y verificado byte por byte contra manifest.json. Haz clic en cualquier tarjeta para descargar el artefacto neutral y abrirlo directamente en software 100% libre y gratuito (Blender 4.2+, FreeCAD 1.0, Bonsai BIM, OrcaSlicer, PrusaSlicer, QCAD Community Edition, LibreCAD, Inkscape):

Acto IV — Empoderamiento de Estudios, Frontera T0–T3 y Folios Conectados (X.05)

En lugar de navegar complejos menús comerciales, el ingeniero indica a su agente de IA los parámetros del puntal siguiendo SKILL.md, modifica make_x05.py y ejecuta verify_x05 para validar el paquete XML 3MF, el emparejamiento 2E = 3F, el volumen de 46,080.0 mm³ y el ángulo de voladizo θ ≤ 45°.

Este puntal conecta directamente con la optimización topológica SIMP y amortiguadores inerciales del Folio E.11, la aerodinámica Venturi de efecto suelo en Fórmula 1 del Folio P.07, el pandeo de Suiker en impresión 3D de concreto del Folio E.10 y el transporte óptimo de Wasserstein-2 de Benamou–Brenier del Folio M.09.

§ IV.1 · Geometría Certificada en el Repositorio (T0/T1) vs. Frontera Educativa y Horizonte Edición 2 (T2/T3)

Acto V — Generador Reproducible (`make_x05.py`), Verificador Stdlib y SKILL.md Portátil

#!/usr/bin/env python3
"""Deterministic Geometry Generator for Toolbox X.05 (TOOL-FAB-1): Topology-Optimized Structural Struts to Watertight 3MF & Build-Plate Overhang Audit.
Canonical URL: https://informatico.ai/toolchain/x05/
Boundary: Every file on this page is an educational artifact generated by the script beside it. Nothing here is certified as load-bearing, printable, safe, or fit for any purpose. The verifier checks geometry, not fitness.
"""
from __future__ import annotations

import json
import sys
from pathlib import Path

ROOT = Path(__file__).resolve().parents[3]
sys.path.insert(0, str(ROOT / "tools"))

from toolchain_uga import generate_folio_assets  # noqa: E402


def main() -> int:
    files_dir = ROOT / "src" / "research" / "toolchain" / "x05" / "files"
    manifest = generate_folio_assets(
        slug="x05",
        folio_id="X.05",
        title="Topology-Optimized Structural Struts to Watertight 3MF & Build-Plate Overhang Audit",
        script_path=Path(__file__).resolve(),
        files_dir=files_dir,
        formats=('glb', '3mf', 'step'),
    )
    print(json.dumps({"status": "GENERATED", "folio_id": "X.05", "files": [f["filename"] for f in manifest["files"]]}, indent=2))
    return 0


if __name__ == "__main__":
    raise SystemExit(main())

#!/usr/bin/env python3
"""Standalone Stdlib Byte-Level Verifier & Planted-Defect Knockout for X.05 (TOOL-FAB-1): Topology-Optimized Structural Struts to Watertight 3MF & Build-Plate Overhang Audit.
Canonical URL: https://informatico.ai/toolchain/x05/
Governing Law: V = ∑_{k=1}^3 (h_k / 3)(A_{k-1} + A_k + √(A_{k-1} A_k)) = 46,080 mm³ · θ_wall = arctan(Δw / Δz) = 14.04° ≤ 45°
Boundary: Every file on this page is an educational artifact generated by the script beside it. Nothing here is certified as load-bearing, printable, safe, or fit for any purpose. The verifier checks geometry, not fitness.
"""
from __future__ import annotations

import json
import sys
from pathlib import Path

ROOT = Path(__file__).resolve().parents[3]
sys.path.insert(0, str(ROOT / "tools"))

from toolchain_uga import verify_folio_assets  # noqa: E402


def main(argv: list[str] | None = None) -> int:
    args = argv if argv is not None else sys.argv[1:]
    planted_only = "--planted-defect" in args
    files_dir = ROOT / "src" / "research" / "toolchain" / "x05" / "files"
    make_script = Path(__file__).resolve().parent / "make_x05.py"
    try:
        result = verify_folio_assets(
            slug="x05",
            files_dir=files_dir,
            script_path=make_script,
            planted_defect_only=planted_only,
        )
    except AssertionError as exc:
        print(json.dumps({"status": "FAIL", "folio_id": "X.05", "error": str(exc)}), file=sys.stderr)
        return 1
    print(json.dumps(result, indent=2, ensure_ascii=False))
    return 0


if __name__ == "__main__":
    raise SystemExit(main())

---
name: toolchain-x05-simp-manifold-3mf
description: Deterministic 3D CAD generator, byte-level stdlib verifier, and small-studio open-tool kit for X.05 (TOOL-FAB-1) - Topology-Optimized Structural Struts to Watertight 3MF & Build-Plate Overhang Audit.
license: MIT
compatibility: Claude Code, GitHub Copilot, Cursor, Google Antigravity, OpenAI Codex, Ollama (Qwen 3.8 / Gemma 4)
---
# Topology-Optimized Structural Struts to Watertight 3MF & Build-Plate Overhang Audit (X.05 · TOOL-FAB-1)

> **Fixed Educational Boundary (`EN`):** Every file on this page is an educational artifact generated by the script beside it. Nothing here is certified as load-bearing, printable, safe, or fit for any purpose. The verifier checks geometry, not fitness.
>
> **Frontera Educativa Fija (`ES-MX`):** Cada archivo en esta página es un artefacto educativo generado por el script que lo acompaña. Nada aquí está certificado como estructural, imprimible, seguro ni apto para ningún propósito. El verificador comprueba la geometría, no la aptitud.

## 1. Governing Law, Open Standard & Canonical URL
- **Toolbox Folio**: `X.05` (`TOOL-FAB-1` · `REV 1.2`, Redated `2026-11-09`)
- **Canonical URL**: https://informatico.ai/toolchain/x05/ (Spanish: https://informatico.ai/es-mx/toolchain/x05/)
- **Track Badge**: TOOLBOX X.05 · SIMP TOPOLOGY LATTICE → MANIFOLD 3MF · GLB · STEP + OVERHANG AUDIT
- **Reference Standard / Repository**: [elalish/manifold (Apache-2.0 Exact Manifold CSG)](https://github.com/elalish/manifold)
- **Governing Equation**: `V = ∑_{k=1}^3 (h_k / 3)(A_{k-1} + A_k + √(A_{k-1} A_k)) = 46,080 mm³ · θ_wall = arctan(Δw / Δz) = 14.04° ≤ 45°`
- **Deterministic Generator**: `python skills/toolchain/x05/make_x05.py`
- **Byte-Level Stdlib Verifier**: `python skills/toolchain/x05/verify_x05_toolchain_x05_simp_manifold_3mf.py`
- **Planted-Defect Knockout Check**: `python skills/toolchain/x05/verify_x05_toolchain_x05_simp_manifold_3mf.py --planted-defect` (must exit non-zero)
- **Primary Scite Anchor DOI**: https://doi.org/10.1007/s001580050176 (Scite Report: https://scite.ai/reports/10.1007/s001580050176)

## 2. Small-Studio & Independent-Practitioner Open-Tool Workflow
- **EN**: Independent Structural & Maker Stack (Manifold Apache-2.0 + OrcaSlicer / PrusaSlicer + FreeCAD): Generate variable-taper structural struts in Python, export x05_artifact.3mf with embedded XML metadata and x05_artifact.step, and run verify_x05 to audit 2E = 3F watertightness, frustum volume, and wall overhang angle distribution.
- **ES-MX**: Stack para Ingenieros y Makers Independientes (Manifold Apache-2.0 + OrcaSlicer / PrusaSlicer + FreeCAD): Genera puntales estructurales ahusados en Python, exporta x05_artifact.3mf con metadatos XML y x05_artifact.step, y ejecuta verify_x05 para auditar hermeticidad 2E = 3F, volumen exacto y distribución de ángulos de voladizo.

## 3. Tool-Neutral Agent Packet & Security Boundary (`security-runtime`)
1. **Generate Deterministic 3D Artifacts Locally**: Run `python skills/toolchain/x05/make_x05.py` inside the repository working directory to emit `src/research/toolchain/x05/files/x05_artifact.*` and `manifest.json`.
2. **Run Byte-Level Verifier as Acceptance Gate**: Run `python skills/toolchain/x05/verify_x05_toolchain_x05_simp_manifold_3mf.py` to verify GLB chunk bounds, 2-manifold half-edge pairing (`3F = 2E`), Euler–Poincaré characteristic (`χ = V - E + F`), divergence-theorem signed volume against the analytical formula, SHA-256 manifest match, and planted-defect rejection.
3. **Security Boundary (`security-runtime`)**: Never grant an AI agent or CAD MCP server shell execution, home-directory access, or outbound network scope when inspecting 3D binaries. Restrict file operations strictly to the project workspace directory.

## 4. Deterministic Verification & Falsification Rules
1. Frustum-to-Divergence Volume Identity: The divergence-theorem volume of the triangulated strut must equal the analytical sum of frustum volumes ∑ (h_k/3)(A_{k-1} + A_k + √(A_{k-1}A_k)) = 46,080.0 mm³.
2. Geometric Overhang Angle Bound: Every lateral wall facet normal n_f must satisfy θ_f = arccos(−n_f · ẑ) ≤ 45.0° in the reference benchmark configuration (measured purely as geometry, never as a printability claim).
3. 3MF Package & Planted-Defect Integrity: x05_artifact.3mf must be a valid ZIP archive containing [Content_Types].xml, _rels/.rels, and 3D/3dmodel.model, and verify_x05 must reject any flipped-normal mutation.

## 5. 4-Stage Geometry & Verification Pipeline
- Stage 1: Multi-Station Tapered Strut Parameterization — Define 4 cross-sectional rings along z ∈ {0, 16, 32, 48} mm with half-widths hw ∈ {20, 16, 12, 16} mm.
- Stage 2: Closed 2-Manifold Frustum Triangulation — Connect consecutive rings with outward CCW side quads (2 triangles per side) and seal the z = 0 base and z = 48 crown into a 16-vertex, 28-triangle genus-0 manifold.
- Stage 3: Analytical Moscow-Papyrus Frustum Integration — Compute V_exact = ∑_{k=1}^3 (16/3)(A_{k-1} + A_k + √(A_{k-1}A_k)) = 46,080.0 mm³ and verify exact match with the divergence-theorem mesh volume.
- Stage 4: Facet Normal Overhang Audit & 3MF Packaging — Evaluate θ_f = arctan(Δhw / Δz) = 14.036° across the flared upper section, package x05_artifact.3mf, .glb, and .step, and run the planted-defect knockout.

## 6. Certified Reference Telemetry (T0/T1)
- **3-Stage Frustum Volume**: `46,080.0 mm³ (ΔV = 0.00%)`
- **2-Manifold Closure (V, E, F)**: `V=16, E=42, F=28 · χ=2`
- **Max Wall Overhang Angle θ**: `14.04° ≤ 45.0° (GEOMETRY)`
- **3MF / GLB / STEP Gate**: `PASS · DEFECT REJECTED`

## 7. Exact T0–T3 Truth Boundary
### Certified Geometry in Repository Today (T0/T1)
- Deterministic generator (skills/toolchain/x05/make_x05.py) producing byte-reproducible x05_artifact.3mf, x05_artifact.glb, and x05_artifact.step.
- Stdlib verifier (verify_x05_toolchain_x05_simp_manifold_3mf.py) checking 2-manifold closure (χ = 2), frustum volume conservation (46,080.0 mm³), 3MF XML structure, and planted-defect rejection.
- Portable SKILL.md companion with explicit geometry-only boundary guardrails.

### Educational Boundary & Edition 2 Horizon (T2/T3)
- Educational Geometry Boundary: Every file on this page is an educational artifact; nothing is certified as load-bearing, printable, safe, or fit for any purpose.
- Future Edition 2 Extensions: 3MF Beam Lattice extension (<beamlattice>) export for multi-thousand-strut aerospace and architectural space frames.

#!/usr/bin/env python3
"""Standalone Stdlib Byte-Level Verifier & Planted-Defect Knockout for X.05 (TOOL-FAB-1): Topology-Optimized Structural Struts to Watertight 3MF & Build-Plate Overhang Audit.
Canonical URL: https://informatico.ai/toolchain/x05/
Governing Law: V = ∑_{k=1}^3 (h_k / 3)(A_{k-1} + A_k + √(A_{k-1} A_k)) = 46,080 mm³ · θ_wall = arctan(Δw / Δz) = 14.04° ≤ 45°
Boundary: Every file on this page is an educational artifact generated by the script beside it. Nothing here is certified as load-bearing, printable, safe, or fit for any purpose. The verifier checks geometry, not fitness.
"""
from __future__ import annotations

import json
import sys
from pathlib import Path

ROOT = Path(__file__).resolve().parents[3]
sys.path.insert(0, str(ROOT / "tools"))

from toolchain_uga import verify_folio_assets  # noqa: E402


def main(argv: list[str] | None = None) -> int:
    args = argv if argv is not None else sys.argv[1:]
    planted_only = "--planted-defect" in args
    files_dir = ROOT / "src" / "research" / "toolchain" / "x05" / "files"
    make_script = Path(__file__).resolve().parent / "make_x05.py"
    try:
        result = verify_folio_assets(
            slug="x05",
            files_dir=files_dir,
            script_path=make_script,
            planted_defect_only=planted_only,
        )
    except AssertionError as exc:
        print(json.dumps({"status": "FAIL", "folio_id": "X.05", "error": str(exc)}), file=sys.stderr)
        return 1
    print(json.dumps(result, indent=2, ensure_ascii=False))
    return 0


if __name__ == "__main__":
    raise SystemExit(main())

§ V.2 · Fuentes Primarias Revisadas por Pares y Especificaciones Abiertas

1. Bendsøe, M. P., & Sigmund, O. (1999). Material interpolation schemes in topology optimization. Archive of Applied Mechanics, 69(9–10), 635–654. DOI DOI 10.1007/s004190050248 [Scite ↗]
2. Sigmund, O. (2001). A 99 line topology optimization code written in Matlab. Structural and Multidisciplinary Optimization, 21(2), 120–127. DOI DOI 10.1007/s001580050176 [Scite ↗]
3. Lalish, E. (2023–2026). Manifold: Guaranteed manifold triangular meshes (Apache-2.0). github.com/elalish/manifold
4. 3MF Consortium. (2023). 3MF Core Specification v1.2.3. github.com/3MFConsortium/spec_core