@lapxo/obligations 0.4.0 → 0.4.2

package/docs/img/price.svg

@@ -0,0 +1,28 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 640 178" width="640" height="178" role="img" aria-labelledby="title desc">
+<title id="title">A cell</title>
+<desc id="desc">Two origins on one scale: seller claims 2 to 9 and buyer claims 5 to 12; what they hold together runs from a floor of 5 to a ceiling of 9.</desc>
+<style>
+text{font:14px ui-sans-serif,-apple-system,"Segoe UI",Helvetica,Arial,sans-serif;fill:#59636e}
+.claim{fill:#8c959f}.held{fill:#2da44e}.pole{fill:#2da44e;font-weight:600}.axis,.tick{stroke:#8c959f;stroke-width:1}.touch{stroke:#2da44e;stroke-width:1;stroke-dasharray:3 3}
+@media (prefers-color-scheme:dark){text{fill:#9198a1}}
+</style>
+<line class="touch" x1="269.3" y1="12" x2="269.3" y2="126"/>
+<line class="touch" x1="442.7" y1="12" x2="442.7" y2="126"/>
+<text x="82" y="32" text-anchor="end">seller</text>
+<rect class="claim" x="139.3" y="18" width="303.4" height="18" rx="4"/>
+<text x="82" y="66" text-anchor="end">buyer</text>
+<rect class="claim" x="269.3" y="52" width="303.4" height="18" rx="4"/>
+<text x="82" y="100" text-anchor="end">held</text>
+<rect class="held" x="269.3" y="86" width="173.4" height="18" rx="4"/>
+<line class="axis" x1="96" y1="126" x2="616" y2="126"/>
+<line class="tick" x1="139.3" y1="126" x2="139.3" y2="131"/>
+<text x="139.3" y="148" text-anchor="middle">2</text>
+<line class="tick" x1="269.3" y1="126" x2="269.3" y2="131"/>
+<text x="269.3" y="148" text-anchor="middle">5</text>
+<line class="tick" x1="442.7" y1="126" x2="442.7" y2="131"/>
+<text x="442.7" y="148" text-anchor="middle">9</text>
+<line class="tick" x1="572.7" y1="126" x2="572.7" y2="131"/>
+<text x="572.7" y="148" text-anchor="middle">12</text>
+<text class="pole" x="269.3" y="168" text-anchor="middle">floor</text>
+<text class="pole" x="442.7" y="168" text-anchor="middle">ceiling</text>
+</svg>

package/docs/img/thermometer.svg

@@ -0,0 +1,28 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 640 228" width="640" height="228" role="img" aria-labelledby="title desc">
+<title id="title">A cell</title>
+<desc id="desc">Four origins on one scale: a claims 19.8 to 20.2, b claims 19.9 to 20.3, c claims 19.7 to 20.1 and d claims 24 to 24.4; their claims do not meet.</desc>
+<style>
+text{font:14px ui-sans-serif,-apple-system,"Segoe UI",Helvetica,Arial,sans-serif;fill:#59636e}
+.claim{fill:#8c959f}.held{fill:#2da44e}.pole{fill:#2da44e;font-weight:600}.axis,.tick{stroke:#8c959f;stroke-width:1}.touch{stroke:#2da44e;stroke-width:1;stroke-dasharray:3 3}
+@media (prefers-color-scheme:dark){text{fill:#9198a1}}
+</style>
+<text x="82" y="32" text-anchor="end">a</text>
+<rect class="claim" x="181.4" y="18" width="31" height="18" rx="4"/>
+<text x="82" y="66" text-anchor="end">b</text>
+<rect class="claim" x="189.1" y="52" width="31.1" height="18" rx="4"/>
+<text x="82" y="100" text-anchor="end">c</text>
+<rect class="claim" x="173.6" y="86" width="31.1" height="18" rx="4"/>
+<text x="82" y="134" text-anchor="end">d</text>
+<rect class="claim" x="507.3" y="120" width="31.1" height="18" rx="4"/>
+<text x="82" y="168" text-anchor="end">held</text>
+<text x="96" y="168">their claims do not meet</text>
+<line class="axis" x1="96" y1="194" x2="616" y2="194"/>
+<line class="tick" x1="173.6" y1="194" x2="173.6" y2="199"/>
+<text x="173.6" y="216" text-anchor="middle">19.7</text>
+<line class="tick" x1="204.7" y1="194" x2="204.7" y2="199"/>
+<text x="204.7" y="216" text-anchor="middle">20.1</text>
+<line class="tick" x1="507.3" y1="194" x2="507.3" y2="199"/>
+<text x="507.3" y="216" text-anchor="middle">24</text>
+<line class="tick" x1="538.4" y1="194" x2="538.4" y2="199"/>
+<text x="538.4" y="216" text-anchor="middle">24.4</text>
+</svg>

package/docs/img/withdrawal.svg

@@ -0,0 +1,28 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 640 178" width="640" height="178" role="img" aria-labelledby="title desc">
+<title id="title">A cell</title>
+<desc id="desc">Two origins on one scale: a claims 2 to 9 and b claims 5 to 12; what they hold together runs from a floor of 5 to a ceiling of 9.</desc>
+<style>
+text{font:14px ui-sans-serif,-apple-system,"Segoe UI",Helvetica,Arial,sans-serif;fill:#59636e}
+.claim{fill:#8c959f}.held{fill:#2da44e}.pole{fill:#2da44e;font-weight:600}.axis,.tick{stroke:#8c959f;stroke-width:1}.touch{stroke:#2da44e;stroke-width:1;stroke-dasharray:3 3}
+@media (prefers-color-scheme:dark){text{fill:#9198a1}}
+</style>
+<line class="touch" x1="269.3" y1="12" x2="269.3" y2="126"/>
+<line class="touch" x1="442.7" y1="12" x2="442.7" y2="126"/>
+<text x="82" y="32" text-anchor="end">a</text>
+<rect class="claim" x="139.3" y="18" width="303.4" height="18" rx="4"/>
+<text x="82" y="66" text-anchor="end">b</text>
+<rect class="claim" x="269.3" y="52" width="303.4" height="18" rx="4"/>
+<text x="82" y="100" text-anchor="end">held</text>
+<rect class="held" x="269.3" y="86" width="173.4" height="18" rx="4"/>
+<line class="axis" x1="96" y1="126" x2="616" y2="126"/>
+<line class="tick" x1="139.3" y1="126" x2="139.3" y2="131"/>
+<text x="139.3" y="148" text-anchor="middle">2</text>
+<line class="tick" x1="269.3" y1="126" x2="269.3" y2="131"/>
+<text x="269.3" y="148" text-anchor="middle">5</text>
+<line class="tick" x1="442.7" y1="126" x2="442.7" y2="131"/>
+<text x="442.7" y="148" text-anchor="middle">9</text>
+<line class="tick" x1="572.7" y1="126" x2="572.7" y2="131"/>
+<text x="572.7" y="148" text-anchor="middle">12</text>
+<text class="pole" x="269.3" y="168" text-anchor="middle">floor</text>
+<text class="pole" x="442.7" y="168" text-anchor="middle">ceiling</text>
+</svg>

package/docs/learn/in-phase.md

@@ -0,0 +1,46 @@
+# In phase
+
+A claim carries a size and a direction, how much it narrows and the turn it landed on, and a withdrawal is the same size the other way: two hundred claims in phase make the square of their number and the same two hundred strewn make its order, while a write and its withdrawal at one epoch leave nothing and at different epochs do not cancel.
+
+## Run it
+
+```ts
+import { coherence, interfere } from '@lapxo/obligations/views/field';
+
+const span = { lo: 0, hi: 0 };
+let held = 11;
+const next = (): number => { held = (held * 1103515245 + 12345) % 2147483648; return held / 2147483648; };
+const together = Array.from({ length: 32 }, (_, i) => ({ origin: `o${i}`, epoch: 8, span }));
+const strewn = Array.from({ length: 32 }, (_, i) => ({ origin: `o${i}`, epoch: Math.floor(next() * 8), span }));
+
+console.log('in phase  ', interfere(together, 8), 'coherence', coherence(together, 8).toFixed(2));
+console.log('strewn    ', interfere(strewn, 8).toFixed(0), 'coherence', coherence(strewn, 8).toFixed(2));
+console.log('their number is 32, and its square is', 32 ** 2);
+console.log('why       claims that land at one turn of the period add as the square of their number, and the same claims strewn across it add as its order');
+```
+
+```
+in phase   1024 coherence 1.00
+strewn     50 coherence 0.22
+their number is 32, and its square is 1024
+why       claims that land at one turn of the period add as the square of their number, and the same claims strewn across it add as its order
+```
+
+Its origins meet.
+
+## What it rests on
+
+```mermaid
+flowchart LR
+  c0["coherence"]
+  c1["interfere"]
+  l0(["amplitude has sign and phase"])
+  c0 --> l0
+  c1 --> l0
+  classDef shown fill:#2da44e,color:#ffffff,stroke:#2da44e
+  class l0 shown
+```
+
+## Source
+
+[Its source](../../examples/release/in-phase.ts) is one of the examples of obligations, and it runs as it is written, against the built package, with nothing compiled for it.

package/docs/learn/price.md

@@ -0,0 +1,52 @@
+# Price
+
+<p align="center"><img src="../img/price.svg" alt="Two origins on one scale: seller claims 2 to 9 and buyer claims 5 to 12; what they hold together runs from a floor of 5 to a ceiling of 9." width="640"></p>
+
+A claim from one origin is potential; a cell is information only where two independent origins touch it and their intervals meet.
+
+## Run it
+
+```ts
+import { chain, disagree, freedom, meetAt, origins, point, unit } from '@lapxo/obligations';
+
+const said = (cell: Parameters<typeof meetAt>[0]): string =>
+  (origins(cell) < 2 ? 'grey' : disagree(cell) ? 'split' : 'agreed');
+
+const price = point('price', 0, [
+  { origin: 'seller', span: { lo: 2, hi: 9 } },
+  { origin: 'buyer', span: { lo: 5, hi: 12 } },
+]);
+const scale = chain(Array.from({ length: 16 }, (_, i) => `l${i}`));
+
+console.log('verdict   ', said(price));
+console.log('they hold ', JSON.stringify(meetAt(price)));
+console.log('still free', freedom(scale, unit('price', { floor: 'l5', ceiling: 'l9' })).toFixed(2), 'bits');
+console.log('why       a seller and a buyer are two origins; where their marks meet is a price, and what is left between the marks is what nobody has decided yet');
+```
+
+```
+verdict    agreed
+they hold  {"lo":5,"hi":9}
+still free 2.32 bits
+why       a seller and a buyer are two origins; where their marks meet is a price, and what is left between the marks is what nobody has decided yet
+```
+
+Its origins meet.
+
+## What it rests on
+
+```mermaid
+flowchart LR
+  c0["point"]
+  c1["unit"]
+  l0(["encounter"])
+  l1(["debit in bits"])
+  c0 --> l0
+  c1 --> l1
+  classDef shown fill:#2da44e,color:#ffffff,stroke:#2da44e
+  class l0 shown
+```
+
+## Source
+
+[Its source](../../examples/release/price.ts) is one of the examples of obligations, and it runs as it is written, against the built package, with nothing compiled for it.

package/docs/learn/signature.md

@@ -0,0 +1,50 @@
+# Signature
+
+```mermaid
+flowchart LR
+  c0["cell"]
+  c1["meet"]
+  c2["sign"]
+  l0(["the obligatory"])
+  c0 --> l0
+  c1 --> l0
+  classDef shown fill:#2da44e,color:#ffffff,stroke:#2da44e
+  class l0 shown
+```
+
+The object is c = ⟨⊥, ⊤, O, ⊑⟩ over L at r: four parts in two pairs, the value (⊥, ⊤) and the relations (O, ⊑), with the lattice L it is given and the resolution r it is read at belonging to the reading and the sign to the act; an origin is (o, φ), and the poles are read, never stored: ⊥ is what is required joined with what its live claims hold, ⊤ what is signed met with what they allow; eight acts in four pairs and seven names answer for it: meet and join on the ceiling, local, a join only with a witness; observe and withdraw on the floor, local, a withdrawal being an observation at −1 that restores exactly; sign and require on both poles, travelling by rest, commuting and both closing freedom; encounter and refine with no pole; and no widening travels.
+
+## Run it
+
+```ts
+import { intervals } from '@lapxo/obligations/forms';
+import { cell, meet, sign } from '@lapxo/obligations/views/field';
+
+const scale = intervals(0, 100);
+const world = [0, 1, 2, 3].map((i) => cell(`c${i}`, 0, [{ origin: `own${i}`, span: { lo: 20 * i, hi: 100 } }], ['ceiling']));
+const before = new Map([['ceiling', cell<{ lo: number; hi: number }>('ceiling')]]);
+const after = sign(scale, before, 'ceiling', { lo: 0, hi: 45 });
+
+console.log('cells resting on the ceiling', world.filter((one) => one.restsOn.includes('ceiling')).length);
+for (const [i, one] of world.entries()) {
+  console.log(`c${i} before`, JSON.stringify(meet(scale, one, before)), '· after', JSON.stringify(meet(scale, one, after)));
+}
+console.log('claims edited by the signature', world.flatMap((one) => one.seen).filter((claim) => claim.span.hi !== 100).length);
+console.log('why       one signature narrows a bound and every cell resting on it reads the narrower one, without touching a single claim any origin made');
+```
+
+```
+cells resting on the ceiling 4
+c0 before {"lo":0,"hi":100} · after {"lo":0,"hi":45}
+c1 before {"lo":20,"hi":100} · after {"lo":20,"hi":45}
+c2 before {"lo":40,"hi":100} · after {"lo":40,"hi":45}
+c3 before {"lo":60,"hi":100} · after {"lo":60,"hi":45}
+claims edited by the signature 0
+why       one signature narrows a bound and every cell resting on it reads the narrower one, without touching a single claim any origin made
+```
+
+Its origins meet.
+
+## Source
+
+[Its source](../../examples/release/signature.ts) is one of the examples of obligations, and it runs as it is written, against the built package, with nothing compiled for it.

package/docs/learn/thermometer.md

@@ -0,0 +1,58 @@
+# Thermometer
+
+<p align="center"><img src="../img/thermometer.svg" alt="Four origins on one scale: a claims 19.8 to 20.2, b claims 19.9 to 20.3, c claims 19.7 to 20.1 and d claims 24 to 24.4; their claims do not meet." width="640"></p>
+
+A claim from one origin is potential; a cell is information only where two independent origins touch it and their intervals meet.
+
+## Run it
+
+```ts
+import { disagree, origins, point } from '@lapxo/obligations';
+import { steady } from '@lapxo/obligations/views/product';
+
+const said = (cell: ReturnType<typeof point>): string =>
+  (origins(cell) < 2 ? 'grey' : disagree(cell) ? 'split' : 'agreed');
+
+const bath = point('bath', 0, [
+  { origin: 'a', span: { lo: 19.8, hi: 20.2 } },
+  { origin: 'b', span: { lo: 19.9, hi: 20.3 } },
+  { origin: 'c', span: { lo: 19.7, hi: 20.1 } },
+  { origin: 'd', span: { lo: 24.0, hi: 24.4 } },
+]);
+const without = (name: string) => point('bath', 0, bath.seen.filter((one) => one.origin !== name));
+
+console.log('four thermometers', said(bath));
+for (const one of ['a', 'b', 'c', 'd']) console.log(`without ${one}        `, said(without(one)));
+console.log('holds without any one of them:', steady(bath));
+console.log('why       leaving one out names the instrument that disagrees, and a verdict that needs every origin is not a verdict');
+```
+
+```
+four thermometers split
+without a         split
+without b         split
+without c         split
+without d         agreed
+holds without any one of them: false
+why       leaving one out names the instrument that disagrees, and a verdict that needs every origin is not a verdict
+```
+
+Its origins meet.
+
+## What it rests on
+
+```mermaid
+flowchart LR
+  c0["point"]
+  c1["steady"]
+  l0(["encounter"])
+  l1(["origins are a polygon"])
+  c0 --> l0
+  c1 --> l1
+  classDef shown fill:#2da44e,color:#ffffff,stroke:#2da44e
+  class l0 shown
+```
+
+## Source
+
+[Its source](../../examples/release/thermometer.ts) is one of the examples of obligations, and it runs as it is written, against the built package, with nothing compiled for it.

package/docs/learn/withdrawal.md

@@ -0,0 +1,51 @@
+# Withdrawal
+
+<p align="center"><img src="../img/withdrawal.svg" alt="Two origins on one scale: a claims 2 to 9 and b claims 5 to 12; what they hold together runs from a floor of 5 to a ceiling of 9." width="640"></p>
+
+The object is c = ⟨⊥, ⊤, O, ⊑⟩ over L at r: four parts in two pairs, the value (⊥, ⊤) and the relations (O, ⊑), with the lattice L it is given and the resolution r it is read at belonging to the reading and the sign to the act; an origin is (o, φ), and the poles are read, never stored: ⊥ is what is required joined with what its live claims hold, ⊤ what is signed met with what they allow; eight acts in four pairs and seven names answer for it: meet and join on the ceiling, local, a join only with a witness; observe and withdraw on the floor, local, a withdrawal being an observation at −1 that restores exactly; sign and require on both poles, travelling by rest, commuting and both closing freedom; encounter and refine with no pole; and no widening travels.
+
+## Run it
+
+```ts
+import { intervals } from '@lapxo/obligations/forms';
+import { cell, encounter, meet, observe } from '@lapxo/obligations/views/field';
+
+const scale = intervals(0, 20);
+const held = cell('x', 0, [{ id: 'k1', origin: 'a', span: { lo: 2, hi: 9 } }, { id: 'k2', origin: 'b', span: { lo: 5, hi: 12 } }]);
+const back = observe(held, { origin: 'b', span: { lo: 5, hi: 12 }, takes: 'k2' });
+
+console.log('two origins ', encounter(scale, held).origins, JSON.stringify(meet(scale, held)));
+console.log('b takes k2  ', encounter(scale, back).origins, JSON.stringify(meet(scale, back)));
+console.log('claims kept ', back.seen.length);
+console.log('why       a withdrawal names the claim it takes back, so the cell returns to one origin while all three claims stay on it and nothing is matched by looking like something');
+```
+
+```
+two origins  2 {"lo":5,"hi":9}
+b takes k2   1 {"lo":2,"hi":9}
+claims kept  3
+why       a withdrawal names the claim it takes back, so the cell returns to one origin while all three claims stay on it and nothing is matched by looking like something
+```
+
+Its origins meet.
+
+## What it rests on
+
+```mermaid
+flowchart LR
+  c0["cell"]
+  c1["encounter"]
+  c2["meet"]
+  c3["observe"]
+  l0(["the obligatory"])
+  c0 --> l0
+  c1 --> l0
+  c2 --> l0
+  c3 --> l0
+  classDef shown fill:#2da44e,color:#ffffff,stroke:#2da44e
+  class l0 shown
+```
+
+## Source
+
+[Its source](../../examples/release/withdrawal.ts) is one of the examples of obligations, and it runs as it is written, against the built package, with nothing compiled for it.

package/docs/measures.md

@@ -147,3 +147,67 @@ TypeScript implementation reproduces every captured vector exactly in rational
 arithmetic; validation refuses by name; budget is computed before work; every result
 carries model, handed parameters and conditions; states identical before and after;
 the descriptive 0.4.0 measures and all algebra hashes unchanged.
+
+## 12. Capacity under a single dominant factor
+
+`capacityBound`, `capacityP0`, `mutualInformation`, and `unanimityNoFactor` use the declared single-dominant-factor model. T is uniform on n >= 2 values. F is independent of T with probability c. On F=1 all witnesses report one W, uniform among values different from T. On F=0 they use independent homogeneous private channels: correct with probability 1-p, otherwise uniform among n-1 wrong values. These hypotheses are handed, never inferred.
+
+For every positive k, I(T;V) <= log2(n)-c*log2(n-1). The entropy chain rule gives
+H(T|V) = c*log2(n-1) + (1-c)*H(T|V,F=0) + I(T;F|V).
+The first term is exclusion uncertainty, the second private uncertainty, the third factor ambiguity. A decoder cannot increase information about T.
+
+For 0<p<1 and p!=(n-1)/n, the bound is attained as k tends to infinity: the empirical private vote distribution distinguishes T, and private unanimity has probability (1-p)^k+p^k/(n-1)^(k-1), tending to zero. For p=1,n>2 the missing value identifies T asymptotically. For p=1,n=2 every vote is the complement of T, giving one bit for every k. At p=0, I=log2(n)-h(c)-c*log2(n-1) for every k. At c=1, I=log2(n/(n-1)) for every k. At c=0 the uninformative private channel p=(n-1)/n gives zero for every k; c=0 does not by itself imply log2(n). At that uninformative p with a factor, the limit is c*log2(n/(n-1)), not the general upper bound.
+
+Probabilities and the conditional-entropy expression are exact rationals. Numerical entropy uses the explicitly handed `binary64-log2` policy, in bits, and is an approximation; it is not an exact rational logarithm. `mutualInformation` declares its joint-cell enumeration budget before work. `unanimityNoFactor` declares a rational-bit upper-bound budget before exponentiation. Budget exhaustion is unmeasured, never zero.
+
+Captured finite information, n=4,c=1/5,p=3/10: k=1,2,4,7 gives approximately 0.313028978, 0.469712906, 0.914458010, 1.332321771 bits. The bound is approximately 1.683007500 bits. At p=0 the information is approximately 0.961079405 bits for every k. These decimals are illustrative approximations under the named policy.
+
+## 13. Decision results are separate
+
+`decisionInformation` accepts `plurality-uniform-ties@1` or `posterior-map-uniform-ties@1`. The second compares exact declared joint probabilities for finite k; it does not apply an intuition-based unanimity threshold. Ties are uniformly distributed among maximizers. It returns posterior information I(T;V), decision information I(T;answer), and exact rational decision accuracy as distinct quantities. The exact T/answer joint table accompanies them. A randomized answer cannot gain information over V.
+
+Under p<(n-1)/n, asymptotically plurality emits the forced wrong value on the factor event. Posterior MAP identifies that event and samples uniformly among its n-1 alternatives. For n=4,c=1/5, plurality decision information is approximately 0.961079405 bits; MAP decision information is approximately 1.222162 bits; posterior information is approximately 1.683007500 bits. The two information gains differ. None is a finite-k or model-free guarantee.
+
+## 14. No-truth fitting
+
+`fitUnanimityModel` uses `exact-c-slices-on-declared-p-grid@1`. It takes one named lineage, cardinality, k/count/denominator rows, a declared p grid, exact absolute rate tolerance, and a work budget. For each handed p it intersects the exact inequalities for c, returning the entire compatible c interval and midpoint residual diagnostics. No claim is made about p values between slices or continuous identification. A measured fit means the declared procedure was evaluated; it does not mean parameters or causes were identified.
+
+The observed rate is compared with c+(1-c)*[(1-p)^k+p^k/(n-1)^(k-1)]. Binary p versus 1-p ambiguity remains visible. Perfect unanimity leaves p=0 and c=1 indistinguishable. Too few informative sizes or no compatible slice are explicitly unmeasured. Mixed populations require a separately declared mixture model and are not pooled here.
+
+Optional bootstrap samples complete paired groups across sizes with a handed xorshift32 seed, B and random-word budget. It retains the full compatible regions in each replicate, not independent uncertainty intervals for each size. Groups are the declared resampling units; the procedure assumes exchangeable independent groups and does not establish that assumption. Counts alone leave uncertainty unmeasured. Replicate regions are empirical bootstrap output, not guaranteed confidence sets. Exhausted random words never produce successful uncertainty.
+
+## 15. False coincidence relative to a declared reference
+
+`coincidenceExcess` takes event/origin/value rows, truth rows (`kind=truth`), an explicit selection S and the `independent-uniform-wrong@1` reference. Order h is |S|; identity and redelivery never add origins or events. Values belong to the declared alphabet. Conflicting values or truth refuse. Incomplete shared events and insufficient declared event counts remain unmeasured. Imperfect probes need a separate contract and are not silently accepted as truth.
+
+The reference uses handed error marginals, or explicitly estimated marginals stratified by observed truth. For handed homogeneous errors p_i, reference false coincidence is product(p_i)/(n-1)^(h-1). Estimated strata use their event weights, never a pooled error probability that confounds truth populations. Output contains the false-coincidence count, denominator, exact observed and reference rates, signed delta=observed-reference, and ratio=observed/reference. Delta is never floored at zero. At reference zero the ratio is unmeasured, while counts and delta remain available. No sampling design is inferred; uncertainty is separately unmeasured.
+
+A ratio greater than one means more coincidence than this reference, not a discovered common cause. Nonuniform wrong labels can exceed the uniform reference with independent witnesses. Independent errors with one shared wrong label give ratio (n-1)^(h-1): at n=64 this is 63 for pairs and 3969 for triples. The fair-bit XOR vector explicitly assigns one common wrong label: pairs have ratio 63, triples ratio zero and a negative delta. Indicators alone do not define the reported-value vector.
+
+Under the separately handed dominant-factor model c=1/10,p=1/5,n=64, observed error marginals are 7/25. Relative to those marginals, delta at orders 2 and 3 is approximately 0.099326984 and 0.099996283. Its convergence to c is a conclusion under this model, never model-free identification.
+
+## 16. Research demands and boundaries
+
+The spectrum summarizes covariance of binary error indicators. It is not a sufficient statistic of reported values, closure events or independence. False-unanimity excess summarizes one event and does not replace the full joint distribution. Higher-order closure statistics need a declared closure rule and the appropriate joint law of reported values given truth; neither is inferred from a form name.
+
+Helly is a property of a declared geometric family, not a probabilistic independence order or a truth guarantee. Geometry, factor precedence, partial label sharing, reproduction, percolation, time-varying fitting, imperfect-probe identification and model-free capacity remain explicitly open until their models, procedures and falsifiers close. Controlled experiments live in a world. No new origin, permission, algebraic amount or state is created by a measure.
+
+## 17. Publication and stability
+
+The historical nine publication groups are linked to their contracts, yes/no data and declared Bound 0.1.7 captures in two places. The 0.4.2 operations below require new captures under their selected reader; historical implementation-bound receipts do not cover changed bytes. Validation readers are maintained TypeScript worlds with ordinary modular compilation; no .mjs bundle or private executor ships in this library. Their implementation inventory is retained once by digest. The installed archive must expose the same public exports, preserve the four states, match all published bytes and close native receipts without a private store. Declaring these requirements does not pay them.
+
+## 18. Declared failure bounds
+
+`unionBoundConfidence(failures)` requires distinct nonempty IDs, explicit rational probabilities in [0,1], and nonempty justification references. The caller must establish every failure bound in one probability space. References are retained, not verified. The returned lower bound for all events succeeding is max(0,1−Σp_i), with exact rational arithmetic. The empty family gives 1; Σp_i≥1 gives the trivial bound 0. No independence, truth probability, or algebraic state is inferred.
+
+`tolerantCountConfidence(failures,k)` requires a safe integer 0≤k≤m. For k<m it bounds failure by min(1,min_{0≤j≤k}(Σ of the m−j smallest p_i)/(k+1−j)); its exact success lower bound is the complement. For k=m success is certain. For m=3,k=1 and all p_i=1/10 the result is 17/20, not an inferred success rate. The distinct subset-intersection guarantee gives the weaker bound 7/10. Three disjoint paired failures among six events, each pair having probability 1/10, refute the former 4/5 claim: success is 7/10.
+
+These operations compute conditional probability bounds. They select neither a geometric tolerance nor a consumer policy. Count-tolerant intersection T_k and widened-interval intersection T_eps remain named forms; tolerant-choice remains open.
+
+## 19. Declared covering cause
+
+`commonCauseCapacityBound(n,c,q,{logarithm:'binary64-log2'})` requires integer n≥2 and explicit rational c,q in [0,1]. Truth is uniform; the covering-cause indicator is independent of truth; when active, every report copies one symmetric channel with accuracy q. The inactive private channel is unrestricted. Revealing the indicator gives the upper bound log2(n)−c[h(q)+(1−q)log2(n−1)] in approximate bits. Copy count is no input. This is neither finite-sample mutual information nor an achievability claim.
+
+At n=4,c=1,q=1/4 the bound is exactly zero; q=0 gives log2(4/3), and q=1 gives two bits. Missing q refuses. The operational declaration or detection of activation remains open in identification.model. Unconditioned coincidence does not identify q.
+
+M/3 and M/4 retain their existing definitions. Partial-factor governance proposals do not supply a conditional joint observation and selection law. The information carried by dissent, including a bottom symbol, is open for those unspecified proposals.