Gluing or Recomposition Workflow¶
Aggregation workflow — instantiates Patchwise Global Certification
Fuses the passing local witnesses into one global verdict by applying the declared aggregation rule in a fixed composition order, only after the seams check out.
The Gluing or Recomposition Workflow is the procedure that fuses the passing local witnesses into a single global verdict by applying the declared aggregation rule in a fixed composition order. It is the step that actually performs the local-to-global inference — not "do the parts pass" (the witness), not "do they agree at the edges" (the overlap test), but "given that the parts pass and agree, here is exactly how we combine them into one certified whole, and in what order." Its defining move is twofold: it runs only after witnesses and seams pass, and it applies an explicit rule — never mere summation — whose composition order is fixed so the result is reproducible and not path-dependent.
Example¶
A fabricator builds a large pressure vessel from several rolled steel courses joined by circumferential welds. Each weld has already passed its radiographic inspection (a local witness), and adjacent courses fit at their seams (the overlap check). The Gluing Workflow is the recomposition rule that turns "every weld passed" into "the vessel is certified for its rated pressure." It does not simply AND the welds together. It applies the code's aggregation discipline: a hydrostatic proof test of the assembled vessel at a set multiple of design pressure, performed only after all local welds pass, and in a fixed sequence — fit-up, weld, local examination, then whole-vessel proof — because running the proof before the local welds pass would be meaningless, and doing the steps out of order invalidates the chain of evidence. The workflow's output is the assembled, proof-tested whole, ready for the certificate: the licensed inference from local passes to a global claim.
How it works¶
- Gate on the prerequisites. Run only after all local witnesses pass and all seams are compatible.
- Apply the aggregation discipline. Use the explicit rule that licenses the global claim — conjunction, weighting, quorum, induction, consensus, or a whole-object proof — and never a naive sum.
- Compose in fixed order. Traverse the patches in the declared order so the outcome is order-independent and reproducible.
- Emit the aggregated result. Output the recomposed whole, ready to be certified.
Tuning parameters¶
- Aggregation rule choice — strict conjunction (every patch must pass) versus weighted or quorum rules; stricter is safer but brittle to a single failure.
- Composition order — the traversal over patches; pick one that makes the result order-independent, or that surfaces failures early.
- Recomposition depth — glue in one pass versus hierarchically (glue sub-assemblies, then assemble those), trading directness against manageable complexity.
- Idempotence checks — whether the glue is re-run to confirm the same result, catching order- or state-dependence.
When it helps, and when it misleads¶
Its strength is that it makes the local-to-global inference explicit and reproducible: it converts a scatter of local approvals into one stated rule for why they add up, and so prevents the quiet error of mistaking many local approvals for a valid whole.
Its failure mode is applying an aggregation rule the local witnesses do not actually license — ANDing patches whose passes are not independent, or gluing across a seam that was never truly compatible — so the inference outruns its evidence. The classic misuse is re-running patch tests after a change but never re-running the recomposition, exactly the pattern where seam risk creeps back in unnoticed. The guarding discipline is to treat the aggregation rule as an assumption that must hold, and to re-glue after any patch change rather than trusting a stale composition. The formal license for gluing is the pasting lemma.[n1]
How it implements the components¶
aggregation_discipline— its core: the explicit rule that fuses local passes into a licensed global verdict, distinct from summation.composition_order_or_traversal_rule— it fixes the order of composition so the glue is reproducible and path-independent.
Does not implement obstruction_or_exception_register — collecting and adjudicating the patches that do not glue, the local failures and unresolved seam conflicts, is the job of Obstruction Register Review, its nearest twin. The workflow composes what is compatible; the register quarantines what is not.
Related¶
- Instantiates: Patchwise Global Certification — the workflow is the recomposition core that turns local passes into a global result.
- Consumes: Overlap Compatibility Test certifies the seams the glue crosses; Local Witness Checklist supplies the passing parts.
- Sibling mechanisms: Patch Cover Inventory · Local Witness Checklist · Overlap Compatibility Test · Obstruction Register Review · Coverage Completeness Audit · Global Certificate Template · Local-to-Global Dashboard
Editorial Notes¶
Form Classification¶
Form family: Protocol, Workflow & Routine
Rationale: Gluing or Recomposition Workflow operates as a repeatable ordered procedure or handoff sequence that coordinates action because it fuses the passing local witnesses into one global verdict by applying the declared aggregation rule in a fixed composition order, only after the seams check out.
Independent corroboration: The frozen evidence defines Gluing or Recomposition Workflow as 'Fuses the passing local witnesses into one global verdict by applying the declared aggregation rule in a fixed composition order, only after the seams check out', so its operative form is Protocol, Workflow & Routine.
Nearest alternative: Analysis, Modeling & Optimization — Prerequisite checks, fixed-order aggregation, and emission form an ordered recomposition workflow; the aggregation rule may compute the verdict.
Review outcome: Independent reviewer agreement; medium confidence.
Origin Attribution¶
Primary origin: Mathematics
Origin pattern: Cross-disciplinary synthesis
Present-day reach: Universal
Rationale: Topology's pasting lemma and sheaf-like local-to-global reasoning supply overlap-compatible gluing.
Related originating lineages:
- Computer Science & Software Engineering — Modular composition and integration workflows materially operationalize ordered recomposition and seam checks.
Review resolution: Both reviewers agree that mathematics is primary: Topology's pasting lemma and sheaf-like local-to-global reasoning supply overlap-compatible gluing. I retain computer_science only as formative lineage, not as a list of later applications. I resolve origin_mode as cross_disciplinary_synthesis because the artifact joins distinct disciplinary contributions. I resolve domain_reach as universal because it is broadly applicable across essentially all domains. Encyclopedia synthesis is true because the exact generalized packaging is an encyclopedia-authored combination or refinement.
Encyclopedia synthesis: The exact catalogued form synthesizes established practice rather than reproducing a single standard historical label.
Review outcome: Reconciled after independent review; high confidence.
Notes¶
[n1] The pasting (gluing) lemma in topology: functions defined on closed pieces that agree on their overlaps combine into a single well-defined function on the union. It is the formal warrant for recomposition — and it holds only when the overlaps agree, which is precisely why this workflow runs after the overlap test. ↩