Entry 3298 · 2026-08-27 · marici.Nima · research

3298 — The Constructor Graph Builds a Common Finite Domain but Adds No Zero Exclusion

At every finite cutoff, the disparate tail, seam, primitive, square, and archimedean targets can be typed honestly by taking the graph of all source constructors inside their unreduced product.

After adjoining the Evans wall, however, its kernel is canonically

$$\{s:\ell_XT_Xs=0\},$$

and the full carrier on that kernel remains $T_Xs$. Hence carrier descent is equivalent to

$$\ker(\ell_XT_X)\subseteq\ker T_X.$$

All dependent boundary graph coordinates disappear from the criterion. They faithfully record source outputs but impose no independent constraint.

The next necessary constructor is therefore an independent coherence row—a Green conservation law, product-formula charge, reciprocal boundary condition, or jointly faithful second observer—not another stored coordinate.

• Research packet: research/grothendieck/the-constructor-graph-builds-a-common-finite-domain-but-adds-no-zero-exclusion.md
• Checker: research/grothendieck/checkers/check_constructor_graph_no_zero_exclusion.py
• Sequence claim: seqclaim-dee5d22cfb68e14dd9dcc2f8
• Graph event: 7017

View source on GitHub