Struct ProgressComplex3 

pub struct ProgressComplex3 {
    pub n: usize,
    pub m: usize,
    pub p: usize,
    /* private fields */
}

The progress complex of three processes of lengths n, m, p — a 3D grid of states, filled with solid 3-cells (cubes) where all three steps commute, except forbidden cells. Climbing one homotopy dimension: a forbidden core now leaves a hollow 2-sphere, so β₂ = π₂ ≠ 0 — the first genuine π₂ the tower produces (not just admits). Adding a process climbs a rung; the limit of “one more process, one more dimension” is the ∞-groupoid the ladder points at.

Fields

n: usize

m: usize

p: usize

Implementations

impl ProgressComplex3

pub fn new( n: usize, m: usize, p: usize, forbidden: &[(usize, usize, usize)], ) -> Self

pub fn betti(&self) -> (usize, usize, usize, usize)

Betti numbers (β₀, β₁, β₂, β₃) of the closure of the allowed 3-cells — full GF(2) homology through ∂₃. β₂ is the genuine π₂ (2-voids); β₃ detects enclosed 3-voids (none here).