LAWS.bend open laws/TODOs

Counting contacts in an empty set finds nothing, at any point and cutoff.

An empty set has no clash, at any point and threshold.

Spread of nothing is zero.

An empty set links nothing to anything.

No closest approach exists from an empty set.

An empty complex holds no atoms.

LJ energy of nothing is zero, at any parameters.

The empty set is at zero RMSD from itself (empty case, by computation). (This says nothing about nonempty sets; see rmsd_single. Unequal lengths silently answer 0 by zip semantics; see rmsd_checked_some/none.)

Nothing has no surface.

Zero minimization steps change nothing, on any input, not just nothing.

Counting a cons cell is the head hit plus the count of the tail.

Interface counting peels one head the same way.

The fused spread/count pass extends by one head distance.

Coordination counts peel one head.

Closest-approach folds one head into the running best.

Set linkage folds one head linkage into the running best.

An LJ row over a cons cell splits head from tail.

An LJ total over a cons cell splits head from tail.

A Coulomb row splits head charge from tail charges.

A Coulomb total splits head charge from tail charges.

A sweep over cons cells moves the head and sweeps the tail.

A pair-distance fold splits the head pair from the tail pairs.

Scoring against a cons ensemble scores the head and the tail.

Counting one atom is that atom's hit.

One atom is close exactly when its head test says so.

The closest approach to a singleton is its one distance.

Spread about a point of nothing is zero through rg_of.

A singleton is at the RMSD its one pair distance dictates.

splitmix32 golden values (catches mistyped mixer constants).

One atom with nothing near it exposes all six sample points.

Pair folds against an empty list answer the identity.

Coulomb with no charges answers zero, however many atoms remain.

A sweep with no forces leaves the atoms in place.

Nothing links to anything, however many heads are peeled.

No closest approach exists from any set held against nothing.

Equal-length singletons check cleanly.

Unequal lengths answer None{} instead of a silent zero.

Appending atom lists associates.

Flattening distributes over appending residue lists.

Adding zero on the right changes nothing (induction seed for comm).

Adding a successor on the right pulls out front.

Nat addition commutes.

Counting an append splits into the counts.

Counting a flattening agrees with counting residues in place.

A complex holds as many atoms as its flattening lists.

10^3 is 1000.

Iron reads as 26.

Carbon reads as 6.

ATOM records (6-column tag) pass the filter.

Anything else does not.

No lines in, no lines out.

Non-ATOM lines drop, ENDMDL stops the file, the tail never parses.

12.5 parses to 12 + 5/10 (stuck F32, identical both sides).

Signs apply outside the magnitude.

Non-numeric fields fail instead of answering zero.

The two-line ALA snippet parses to two atoms ...

... in one residue ...

... in one chain ...

... with nothing skipped ...

... while a bad serial skips exactly its line.

... and the first atom is nitrogen.

Total area splits head from tail.

Empty input counts nothing, through the fallback arm.

A full unrolled step splits four parallel hits plus the tail.

Short inputs take the sequential fallback exactly.

Empty rows sum nothing, through the fallback arm.

A full unrolled row splits four parallel heads plus the tail.

Short rows take the sequential fallback exactly.

Carbon takes illustrative OPLS-style parameters.

Unknown elements take the generic pair.

An element row over a cons cell splits head from tail.

An element total over a cons cell splits head from tail.

No bonds bind nothing.

A bond total splits head bond from tail bonds.

No angles bend nothing.

An angle total splits head triple from tail triples.

Nobody is found in nothing.

A singleton finds its atom's position.

No bonds exclude nothing.

A listed pair (either order) is 1-2 excluded.

An unlisted pair is not.

Neighbors of 1 in [(1,2),(2,3)] are just [2].

1 and 3 share neighbor 2.

2 and 3 are directly bonded (1-2 wins over 1-3 either way).

Pair bonds flatten in order.

Excluded rows sum nothing over nothing.

Element-excluded rows/totals sum nothing over nothing.

A directly bonded pair contributes exactly 0.0 (wiring pin: the row must test serials, not elements; the sum is (0.0 + 0.0) since F32.add is stuck).

Same through a 1-3 link.

No lines in, no bonds out.

CONECT lines survive, everything else drops.

One record with one partner is one bond.

A partnerless record binds nothing.

Carbon weighs 12.011 amu.

A Coulomb row over a cons cell splits head from tail.

Coulomb forces over cons cells split head from tail.

No charges feel nothing.

Carbon's covalent radius is 0.76 A.

An inference row over nothing finds nothing.

An inference row splits head from tail.

Nothing infers from nothing.

Bond forces sum nothing over nothing.

Bond forces split head atom from tail atoms.

Zero charges over nothing is nothing.

Zero charges split head from tail.

Normalized sweeps move nothing over nothing.

No atoms carry no max force.

Setting forces over nothing is nothing.

Adding empties is empty.

Force addition splits head pair from tail pairs.

No flats pair to nothing.

Flat pairs split head pair from tail pairs.

Padding and symbols print as written.

ALA links N-CA in the template.

... but not N-O.

Unknown residues link nothing.

HIS variants share heavy topology.

Template rows split head from tail.

The snippet's first atom parses with identity intact.

Neighbors of 2 excluding 1 in [(1,2),(2,3)] are just [3].

A fan over [3, 4] from (1, 2) lists both triples.

A two-bond chain auto-derives both directed angles.