Constrained Form II: How Building Traditions Close Their Forms, and What They Build Afterwards

Second paper of the Constrained Form series. A local building process can close only a bounded repertoire of forms; the first paper established that bound. This paper asks what happens next: how a finite form-space is occupied in time, how planning selects within it, and how closed local forms couple into larger wholes that behave in ways no part does. Giza enters as the source saturation case, the Arsenale di Amalfi as the measured local-to-global bridge. A protocol with declared falsifiers governs every historical claim. The deposit holds the manuscript and its LaTeX source, the pilot workbook, eight verifiers with recorded outputs and biting negative controls, the claim registers and an adversarial referee matrix. Every gate is reproducible from the archive. Companions: Theoretical Core 10.17605/OSF.IO/3PC9F · Extended Edition 10.17605/OSF.IO/D538Y · Arsenali di Amalfi 10.17605/OSF.IO/A2GS7

Authors

Publication Details

Journal
Open Science Framework
Published
2026-08-26
DOI
https://doi.org/10.17605/osf.io/rf45m
Primary Topic
Logic, programming, and type systems
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Constrained Form II: How Building Traditions Close Their Forms, and What They Build Afterwards

Pasquale Camelia
Open Science Framework
Logic, programming, and type systems
preprint

Constrained Form II: How Building Traditions Close Their Forms, and What They Build Afterwards

Pasquale Camelia
preprint en

Abstract

Second paper of the Constrained Form series. A local building process can close only a bounded repertoire of forms; the first paper established that bound. This paper asks what happens next: how a finite form-space is occupied in time, how planning selects within it, and how closed local forms couple into larger wholes that behave in ways no part does. Giza enters as the source saturation case, the Arsenale di Amalfi as the measured local-to-global bridge. A protocol with declared falsifiers governs every historical claim. The deposit holds the manuscript and its LaTeX source, the pilot workbook, eight verifiers with recorded outputs and biting negative controls, the claim registers and an adversarial referee matrix. Every gate is reproducible from the archive. Companions: Theoretical Core 10.17605/OSF.IO/3PC9F · Extended Edition 10.17605/OSF.IO/D538Y · Arsenali di Amalfi 10.17605/OSF.IO/A2GS7

Open Science Framework
Sustainable cities and communities
Logic, programming, and type systems
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.