Author

Diego Gabriel Impieri

0 works0 citationsORCID

Recent research

  • AI & ComputingOpen access

    Appendix A · The Factory: A Formal Paper Built From Its Contract, With No Module Written By Hand

    A deterministic architecture engine declares software architecture as verifiable constraints and confronts them against real code. Since August 2026 it also builds: given a contract carrying structures, signatures and flow, its factory` plane produces the complete system, with an...

    Zenodo (CERN European Organization for Nuclear Research)2026-08-140 citationsDOI
  • Engineering & TechnologyOpen access

    Operator Engine 2.0.13: Blueprint of a Deterministic Structural Solver

    Operator Engine is a deterministic structural solver: it takes aproblem stated in natural language, represents it as planes undertension, classifies the form of the conflict, builds the architecturethat form requires, computes its structural energy, and transforms thestate until...

    Zenodo (CERN European Organization for Nuclear Research)2026-08-131 citationsDOI
  • Engineering & TechnologyOpen access

    Operator Engine 2.0.13: Blueprint of a Deterministic Structural Solver

    Operator Engine is a deterministic structural solver: it takes aproblem stated in natural language, represents it as planes undertension, classifies the form of the conflict, builds the architecturethat form requires, computes its structural energy, and transforms thestate until...

    Zenodo (CERN European Organization for Nuclear Research)2026-08-130 citationsDOI
  • Engineering & TechnologyOpen access

    Builder Engine 3.5.7: Blueprint of a Verifiable Architecture Language and System Factory

    Builder Engine is two things in one system: a language in which architecture is declared as verifiable constraints, and a factory that builds a system from that contract. The inversion that defines the language is that it does not state what a system is but what cannot happen in...

    Zenodo (CERN European Organization for Nuclear Research)2026-08-130 citationsDOI