Finite Spine Construction
require order.length == tasks.length
height = max(rank)
require spine.length == height
require everyPartIsAntichain(partition)
A finite DAG construction with three verified minimum antichain partitions
A spine is a chain paired with an antichain partition whose every part it meets. This prototype selects one maximum-cardinality chain for the finite DAG and verifies three compatible minimum partitions.
The property is existential, not universal: arbitrary antichains or arbitrarily refined partitions need not meet the chosen chain.
A chain may qualify under more than one selection rule. Here the CPM path is also maximum-cardinality and meets every displayed partition, so it is a second spine rather than a non-spine comparator.
An antichain is a set of pairwise precedence-incomparable tasks. Logical parallelism does not guarantee simultaneous execution once resources, calendars or access constraints are considered.
The displayed layerings are deliberately compatible, programmatically verified minimum partitions—not arbitrary management groupings.