Disposition of the proposed workflow

Freeze the claim. Sections sec:status and sec:assembly distinguish the conditional theorem, explicit restricted pilots, and absent general physical instantiation.

Hypothesis ledger. Section sec:ledger gives A1–A6 with separate acceptance conditions and actual statuses.

Finite process examples and audits. Section sec:pilot constructs finite processes in a countable family. Sections sec:operational and sec:generalbridge prove the relevant finite and symmetry obstructions.

Classification and transport. The selecting properties are proved on the pilot and classified conditionally in general. The transport construction and certificate retain all additional access and resource assumptions.

Connection ledger. Section sec:ledger records named-object connections without automatic theorem transfer.

Companion emergence paragraph. The following is a proposed replacement/addition, not an assertion that the external companion has been edited.