Informatico.ai

Contents

Engineering & Construction

  1. E.01 Stokes–Brinkman Porous Continuum, Helmholtz–Hodge Decomposition, and Percolation
  2. E.02 Herschel–Bulkley Yield-Stress Rheology: High-Performance Concrete Pumping & Tremie Placement
  3. E.03 Sub-Wavelength Acoustic Metamaterial Helmholtz Arrays and Viscothermal Boundary-Layer Damping
  4. E.04 Counter-Current Enthalpy Recovery Exchangers: Effectiveness–NTU, Membrane Sorption, and Frost Limits
  5. E.05 Terzaghi Soil Mechanics, CFA Augercast Deep Foundation Piling & Liquefaction Surcharge
  6. E.06 Nonlinear Structural Dynamics, ASCE 7-22 Inelastic Response Spectra & Seismic Base-Isolation Dampers
  7. E.07 Long-Span Suspension Bridge Aeroelastic Flutter, Scanlan Derivatives & Physics-Informed Neural Network (PINN) Digital Twins
  8. E.08 Earth-Pressure-Balance Tunnel Boring Machines (EPB-TBM), Peck–Mair Gaussian Settlement Troughs & GNN Subsurface Digital Twins
  9. E.09 Autogenous Bacterial & Crystalline Self-Healing Concrete: Lucas–Washburn Capillary Imbibition, Fickian–Michaelis–Menten Calcite Precipitation & Ultrasonic Coda-Wave Digital Twins
  10. E.10 3D Concrete Printing (3DCP) Extrusion Rheology & Buildability: Roussel Thixotropic Structuration, Elastic Buckling vs. Plastic Collapse & Robotic Toolpath Control
  11. E.11 Continuum Topology Optimization & Skyscraper Inerter Damping: SIMP Penalization, Michell Funicular Trusses & Trabecular Bone Mechanics
  12. E.12 Machine-Checked Silicon-to-Grid Safety: 180M-Line Rocq RISC-V Verification, Control Barrier Functions & Firefly-Synchronized Renewable Grids

Architecture

  1. A.01 Funicular Thrust Surfaces, Maxwell–Cremona Duals, and 1:5 Nodal Tectonics
  2. A.02 Reciprocal Timber Gridshells (Nexorades), Eccentric Lap Moments, and 1:5 Shear-Block Joinery
  3. A.03 Double-Skin Facade Buoyancy Stack Ventilation, Cavity Plumes, and 1:5 Acoustic Damper Louvers
  4. A.04 From Archigram's Plug-In Megastructures to British High-Tech Exoskeletons: Gerberette Cantilevers, Maxwell Space Frames & Shearing-Layer Pods
  5. A.05 Acoustic Sabin–Eyring Reverberation, Diffusive Coffered Vaults, and Speech Intelligibility (STI ≥ 0.68)
  6. A.06 Net-Zero Water & Greywater Constructed Wetlands: Subsurface Darcy Filtration, UV-C Photolysis, and Pathogen-Free Plumbing (CSI 22 13 00)
  7. A.07 Luis Barragán's Chromatic Tectonics, Kubelka–Munk Pigment Radiosity & Emotional Spatial Wavefields
  8. A.08 AI-Designed Daytime Radiative Sky-Cooling Photonic Roofs (8–13 μm Window) & Stefan Phase-Change Envelopes
  9. A.09 Bending-Active & Hygroscopic Programmable Timber Skins: Timoshenko Bilayer Curvature, Orthotropic Moisture Swelling & Zero-Energy Climate Facades
  10. A.10 Kinetic Origami & Miura-Ori Deployable Biomimetic Facades: Isometric Crease Kinematics, Auxetic Poisson Ratio Inversion & Solar Mashrabiya Envelopes
  11. A.11 3D Polyhedral Graphic Statics & Airy Stress Surfaces: Maxwell–Rankine Reciprocal Polyhedra, Guastavino Tile Vaulting & Zero-Rebar Floors
  12. A.12 Tensegrity Cable-Strut Domes & Radiative Sky-Cooling Envelopes: Pellegrino Equilibrium Nullspaces, Prestress Stiffening & Zero-Energy Cooling

Physics

  1. P.01 Non-Equilibrium Fluctuation-Dissipation Theorems and Allosteric Gating Energetics
  2. P.02 Active Matter Hydrodynamics and Ciliary Metachronal Wave Synchronization
  3. P.03 Soft Matter Rheology and Anomalous Subdiffusion in Entangled Mucin Hydrogels
  4. P.04 Electrokinetics, Donnan Equilibrium, and the Catastrophic Osmotic Collapse of the Periciliary Layer
  5. P.05 Quantum WKB Barrier Penetration, Proton-Coupled Electron Transfer, and Deaminase Base-Editing Catalysis
  6. P.06 de Gennes Polymer Reptation (D_rep ~ N⁻²), Doi–Edwards Tube Relaxation, and Kilobase Genetic Cargo Transport
  7. P.07 Formula 1 Ground-Effect Venturi Aerodynamics, 2026 Active X/Z-Mode Wings, Outwash Vortex Sealing & Porpoising Limit Cycles
  8. P.08 Electromagnetic Color Wave Physics: Bragg Thin-Film Interference, Gonioapparent Automotive Pearlescence & Barragán Stucco Optics
  9. P.09 Electrohydrodynamic Taylor Cones (49.3°), Rayleigh Fission Limits & Precision Monodisperse Aerosol Jet Physics
  10. P.10 Topological Photonics, Haldane–Raghu Photonic Chern Insulators, Berry Curvature & Backscatter-Free Chiral Edge Waveguides
  11. P.11 Fault-Tolerant Quantum Computing & Clean Nitrogen Fixation: Surface-Code Stabilizers, Non-Abelian Anyon Braiding & FeMoCo Catalysis
  12. P.12 Hilbert's Sixth Problem Resolved: Hard-Sphere Boltzmann Kinetics to Navier–Stokes Continuum & Neural Climate Operators

Series · Time & Gravity · 9 steps (T.00–T.10)

  1. T.00 Time & Gravity
  2. T.01 Gravity as a Slope in the Rate of Time
  3. T.02 Everyone Moves at One Rate
  4. T.03 What Sets the Slope
  5. T.04 A Clock in Two Places
  6. T.05 Does Gravity Entangle, and Would That Settle It?
  7. T.06 Does Gravity Collapse the Wave?
  8. T.07 The Equation with No Time
  9. T.10 Page's Counting Argument

Mathematics

  1. M.01 Modularity Lifting, Spectral Zero-Density Barriers, and #3-SAT Sparsification
  2. M.02 Riemann Zeta Zero-Density Estimates, Large Sieve Inequalities, and XiPrime Spectral Bounds
  3. M.03 Extremal Cap Sets in F_3^n, Polynomial Method Upper Bounds, and Rank-48 Matrix Tensors
  4. M.04 Polynomial Freiman–Ruzsa (PFR) Entropy Calculus and the 22-Million Equational Magma Graph
  5. M.05 Neuro-Symbolic Deductive Search (AlphaGeometry 2): Auxiliary Constructions and Allosteric Pocket Triangulation
  6. M.06 Sub-Cubic Fine-Grained Reductions (3SUM → APSP) and Step-Level Process Supervision (PRM800K)
  7. M.07 Formula 1 350 kW MGU-K Pontryagin Optimal Energy Control, Hamilton–Jacobi–Bellman Lap Time Minimization & Fourier Neural Operator Surrogates
  8. M.08 Riemannian Differential Geometry of Color Perception: Helmholtz–Schrödinger Geodesics, MacAdam Metric Tensors & Grassmann Spectral Hilbert Projections
  9. M.09 Monge–Kantorovich Optimal Transport, Benamou–Brenier Wasserstein-2 Geodesic Fluid Dynamics, Sinkhorn Entropic Regularization & Flow Matching
  10. M.10 Persistent Homology, Vietoris–Rips Simplicial Filtrations, Betti Barcodes & Topological Percolation Thresholds in Disordered Media
  11. M.11 Resolution of the 3D Kakeya Conjecture & Breaking Ingham's 1940 Riemann Barrier: Wang–Zahl Graininess, Guth–Maynard 30/13 & Lean 4
  12. M.12 Anthropic Lean 4 Complexity & Post-Quantum Crystal Locks: ETH Refutation (ETHIsFalse), Eight-Square Rank Compression & ML-KEM Lattices

Open-Bounty & Prize Crucible · 6 Dedicated Problem Folios (B.01–B.06)

  1. B.01 · BOUNTY-M1 Erdős Sidon B₂ Sets, Golomb Rulers & Anthropic Lean 4 Formalization Bounties
  2. B.02 · BOUNTY-P1 $5M XPRIZE Quantum Applications & Unitary Foundation: Surface-Code Thresholds & FeMoCo Catalysis
  3. B.03 · BOUNTY-E1 $100M XPRIZE Carbon Removal & IStructE Benchmark: Sub-45 kg CO₂e/m² SIMP Mineralized Slabs
  4. B.04 · BOUNTY-A1 $1M Holcim Awards & $3M Global Cooling Prize: Zero-Rebar 3D Graphic Statics Vaults & Sky-Cooling
  5. B.05 · BOUNTY-P2 Pareto Symbolic Regression (PySR) & Sparse PDE Discovery (PySINDy + Dedalus) from Noisy Sensor Fields
  6. B.06 · BOUNTY-M2 Machine-Checked Gauge Physics in PhysLean & Tensor-Network Quantum Criticality (ITensors.jl + NetKet)

Tech & Tools · The Toolbox · 6 Open 3D CAD & Studio Folios (X.01–X.06)

  1. X.01 · TOOL-CORE-1 Zero-Build WebGL2 GLB Inspector & Byte-Level 2-Manifold Geometry Verifier
  2. X.02 · TOOL-ENG-1 Code-First Parametric Solids & Measured STEP AP242, 3MF, and GLB Round-Trip Fidelity
  3. X.03 · TOOL-ARCH-1 The Small Architecture Studio's Vault, Timber & Reciprocal Frame Kit: Equilibrium to Open CAD
  4. X.04 · TOOL-ARCH-2 Miura-Ori Deployable Solar Screens: From 3D Folding Kinematics (GLB) to Flat-Pattern DXF
  5. X.05 · TOOL-FAB-1 Topology-Optimized Structural Struts to Watertight 3MF & Build-Plate Overhang Audit
  6. X.06 · TOOL-PHYS-MATH-1 Sub-Wavelength Acoustic & Topological Metamaterial Unit Cells: Genus g = 1 & Betti-Number Verification

ESSAY ZERO · ABOUT INFORMATICO.AI & SENSEI EWOK LAB

Why Every Claim Here Carries a Verifier

NON-CLINICAL RESEARCH BOUNDARY Independent research, not medical advice. Sensei Ewok CF Lab does not promise cures or clinical treatments.

Informatico.ai is an open-source publication of interactive essays on civil engineering, architecture, physics, and mathematics—built on the same deterministic verification engine that audits open Cystic Fibrosis research at senseiewok.ai.

Visit Sensei Ewok CF Lab → Trace a Sentence ↓

Interactive ledger below: select any dotted sentence (or press Tab then Enter) to inspect its primary source, Answer Tier (T0–T3), date read, and verification command.

8 sentences indexed in about-evidence.json; open the table below or select a sentence to inspect its proof.

Architectural cross-section of a sun-lit engineering atelier and civic infrastructure span.
Plate 0-A · Shared Verification Atelier. Civil trusses, porous media, and biomolecular frames share one deterministic verification harness across Informatico.ai and senseiewok.ai.

1 · The Missing Pin at Position 508

Four public coordinate files sit in our open repository from the global protein archive. Each file maps a nanoscale valve made of 1,480 amino-acid links that regulates salt and water across human airways. In two files, the chain runs cleanly through link 508 and the gate swings open on its hinge. In the other two files, the coordinate table jumps straight from link 507 to link 509. Link 508 is missing. Two small molecular wedges sit pinned inside the frame, bracing the wobbly truss open so ions can pass. Every structural map also has regions too flexible for the electron beam to resolve. Our scripts measure the exact distances between the wedges and the rods they brace, and leave unmeasured regions blank. Those four structures (6MSM, 5UAK, 8EIQ, and 8EJ1) taught us our first rule: a language model will smooth over a missing coordinate with a plausible paragraph, whereas a deterministic verifier simply reports that residue 508 is absent.

Plate 0-D. How a sentence earns its place: source, catalog row, verifier, page. Four boxes in a row joined by arrows: 1. Source (T1 primary quote, T0 summary), 2. Catalog row (permissions and date read), 3. Verifier (T2 cross-checked script exit 0), and 4. Page (T3 person-reviewed sentence), with a red return arrow showing that any failed check sends the sentence back to its source, plus a 65-facet geometric rosette in the upper right. PLATE 0-D · HOW A SENTENCE EARNS ITS PLACE · SHARED VERIFICATION ENGINE 1 Source The primary document, read on a stated date. T1 primary quote T0 summary only 2 Catalog row What the publisher permits, the path, the date read. catalog.yaml (330 rows) permits: quote, doi, link date_read: 2026-11-08 3 Verifier A script fails on any number not in the evidence file. T2 cross-checked exit 0 = numbers exist 4 Page The sentence as published, with its tier beside it. T3 person-reviewed a person compared quote A check that fails sends the sentence back to its source. tiers: T0 summary · T1 primary quote · T2 cross-checked · T3 person-reviewed
Plate 0-D · How a sentence earns its place. A source is read on a date; the catalog row records what the publisher permits; a verifier fails on any number that is not in the evidence file; the page shows the sentence with its tier. When you select a sentence below, its tier lights up here.

Answer tiers

T0
Summary: the lab's own words about a source, a lead, not a quote.
T1
Primary quote: the number or phrase appears in the source, read on the date shown.
T2
Cross-checked: two independent sources or a script agree.
T3
Person-reviewed: a person compared the sentence with its quote.

4 · Trace a Sentence: A Lab, Not a Clinic

The lab's public repositories opened on 2026-10-06, pairing interactive engineering essays on informatico.ai with open Cystic Fibrosis research on senseiewok.ai. A shared source catalog tracks 330 primary references, recording what each publisher permits before any quote or equation is rendered. The nanoscale valve model draws only what four published cryo-EM structures (6MSM, 5UAK, 8EIQ, and 8EJ1) place in 3D space, leaving unmeasured gaps blank.

Our public error ledger recorded 138 caught mistakes and failed checks when last counted, because an engineering log is only honest if it keeps its misclosures. The cf-evidence-loop verification CLI runs 47 deterministic subcommands with zero language model inside the loop. Informatico exports 60 portable SKILL.md companions and stdlib Python verifiers so any engineer can stress-test the same verification engine locally.

Across civil engineering, architecture, physics, and mathematics, informatico.ai publishes 48 five-act Folios alongside 6 Bounty Crucible and 6 CAD Toolbox Folios. The lab has produced no therapy, no clinical result, and no prize, and none of its pages has been reviewed by a clinician.

All evidence for this page (8 sentences)
Every sentence above with its Answer Tier, source, date read, check command, and limitation.
# Tier Source Date read Check Limitation
1T1cf-lab, cf-research, cf-skills: initial public git commit2026-11-08git log --reverse --format=%ad --date=short | head -1A first commit date records when the public git history begins, not when prior scratch work began.
2T1cf-research/sources/catalog.yaml2026-11-08python tools/claims/check_claims.py --catalog sources/catalog.yamlA count of catalog rows and license permissions, not a claim of clinical endorsement.
3T2cf-research/tools/cftr-model/web/ (RCSB PDB: 6MSM, 5UAK, 8EIQ, 8EJ1)2026-11-08python tools/claims/check_claims.py --helpCross-checked against published PDB coordinate files; static coordinates do not predict patient clinical response.
4T0cf-research/README.md & cf-research/ledger/2026-10-04-first-session.md2026-11-08python tasks/check_anti_hallucination.pyA summary count from the ledger snapshot; catching syntax and citation errors does not guarantee zero scientific blind spots.
5T0cf-skills/.claude/skills/cf-evidence-loop/SKILL.md2026-11-08python .claude/skills/cf-evidence-loop/scripts/evidence_cli.py --helpDeterministic scripts verify exact string, coordinate, and numeric invariants; they do not replace domain peer review.
6T1informatico.ai/src/research/skills/ (48 Pillar + 6 Bounty + 6 Toolbox SKILL.md)2026-11-08python -m unittest discover -s tests -p "test_informatico_*.py"Counts exported SKILL.md companions across the 60 Informatico Folios; each verifier bounds a simplified physical or mathematical model.
7T2informatico.ai/src/research/{engineering,architecture,physics,math}/*/index.html2026-11-08python tools/build_longform_folios.pyCross-checked between the catalog JSON, rendered HTML directories, and the test suite; educational models are not stamped engineering drawings.
8T3Sensei Ewok CF Lab non-clinical charter & What We Have Not Done boundary2026-11-08python .claude/skills/lab-voice/scripts/check-voice.py --check-distillation src/research/about/index.htmlA negative boundary reviewed by the maintainer; automated linters check wording rules, while human discipline keeps the boundary honest.

5 · Where the Shared Engine Goes Next: Cystic Fibrosis Research on senseiewok.ai

When you finish an engineering or physics essay on Informatico.ai, you can follow the exact same mathematical and physical kernels across to senseiewok.ai, where they are applied to open Cystic Fibrosis questions—especially for the 8.0% of people in the CFF Patient Registry whose rare nonsense, frameshift, or splicing genotypes cannot use current small-molecule modulators.

How Four Engineering Disciplines Power Open Cystic Fibrosis Research

Every interactive simulator and Python verifier on Informatico.ai is designed as a dual-use mathematical kernel. On this site, those kernels explain civil bridges, acoustic vaults, non-equilibrium motors, and formal theorems in plain engineering terms. On senseiewok.ai, the exact same verified equations and scene-graph engines are applied to four open biophysical challenges in Cystic Fibrosis:

PILLAR I · SPACE-FRAME MECHANICS → CFTR FOLDING Bracing a 1,480-Link Nanoscale Truss The Maxwell–Calladine stiffness matrices and thermal buckling laws used in our civil truss essays also model how deleting residue 508 destabilizes the NBD1–ICL4 interface—and how dual small-molecule wedges brace the channel open across 53 Å and 42 Å lever arms.
PILLAR II · POROUS MEDIA → AIRWAY DELIVERY Crossing the 65 nm Mucin Hydrogel Sieve The Brinkman porous-flow and steric percolation solvers from our materials folios quantify how hyperconcentrated airway mucins compress periciliary cilia and trap gene-delivery nanoparticles unless neutral brush coatings reduce adhesive drag.
PILLARS III & IV · STOCHASTIC PHYSICS & LEAN 4 → THE LAST 8% Genetic Rescue & Zero-Hallucination Proofs Non-equilibrium Markov cycle solvers and Lean 4 formal verification blueprints help model premature stop-codon readthrough, prime/base editing, and global registry denominators—refusing unverified hand-waving until every genotype has a rigorous path forward.
Architectural cross-section of a sun-lit engineering atelier and civic infrastructure span. SENSEIEWOK.AI · HOMEPAGE & LAB OVERVIEW Sensei Ewok CF Lab · Open Research Platform → Explore the 40 five-act CF monographs, 3D CFTR molecular workbenches, and primary evidence catalog on the main homepage. Architectural space-frame truss geometry and structural node bracing diagram. MONOGRAPH C.01 · STRUCTURAL MECHANICS The Nanoscale Valve & Dual-Site Allostery at Position 508 → How two small-molecule wedges brace a 1,480-residue protein truss across 53 Å and 42 Å lever arms. Porous media percolation and fluid transport cross-section. MONOGRAPH D.01 · POROUS TRANSPORT The Viscoelastic Hydrogel Sieve & Nanoparticle Percolation → Why a dehydrated mucin mesh acts like a 65 nm steric filter and how neutral brush coatings slip through. Information theory and error-correcting code parity check diagram. MONOGRAPH G.01 · CODING & READTHROUGH Premature Stop Signals & the Last 8% Genotype Gap → What happens when a genetic sequence hits a premature termination codon before the valve is built. Formal deductive proof graph and invariant verification lattice. MONOGRAPH L.01 · FORMAL VERIFICATION Lean 4 Formal Proofs & Auxiliary Patching Landscapes → How machine-checked deduction in Lean 4 inspires zero-hand-waving verification across our research notes.

How Every Essay Is Audited: 4-Seat Council & 2x Retina Playwright Gate

SEAT 01 · DETERMINISTIC KERNEL Claim & Catalog Lock Every number and citation is checked against sources/catalog.yaml, Crossref Retraction Watch, and SHA-256 evidence locks.
SEAT 02 · MULTI-LINEAGE COUNCIL Adversarial Peer Review Independent frontier and open-weight models challenge equations, analogies, and clinical boundary compliance.
SEAT 03 · 2X RETINA PLAYWRIGHT Visual & Contrast Gate Headless 2x Retina Playwright checks inspect WCAG contrast, SVG geometry, dark/light themes, and zero horizontal overflow.

For the Cystic Fibrosis Community · Supporting Direct Care & Clinical Research

Children and adults living with Cystic Fibrosis—and those who care alongside them—carry a daily discipline of airway clearance, enzymes, nebulizers, and clinical visits so ordinary life has room to breathe. The lab's maintainer is part of the CF community; the lab does not speak for it. We build open verification tools and educational monographs on donated time because careful, honest engineering is how we show respect.

If our essays, open-source solvers, or 3D CAD tools have been useful to your work and you would like to support accredited clinical trials, care centers, and patient support programs directly, please consider donating to the Cystic Fibrosis Foundation. Sensei Ewok CF Lab and Informatico.ai are independent and are not affiliated with or endorsed by the Cystic Fibrosis Foundation; donations on give.cff.org go directly to the Foundation.

Donate directly to the Cystic Fibrosis Foundation (give.cff.org) →

What We Have Not Done

Check Our Math, and Write to Us

Every page, solver, and verification script is open for inspection across our public GitHub repositories: senseiewok/informatico.ai, senseiewok/cf-research, and senseiewok/cf-skills. If you find a broken citation, a numerical edge case in a solver, or a sentence that outruns its source, please open an issue or write to us directly at contact@senseiewok.ai (please never include personal medical details).

Evidence

Tier
Source
Date read
Check that covers it
Limitation