Alignment Workspace

simplex.rational-points-sum-to-one

and · drafted

Statement

A worked example of the schema, not a research result: the house enumeration checker generates the 28 rational simplex points at denominator six and confirms each sums to one. It exists so the registry, the checker and the CI job are exercised by something real before any research claim depends on them.

Source

projects/normativity/CLAIMS.md, entry simplex.rational-points-sum-to-one (class enumeration-verified, status active, origin round None; answers item 13). Documentation: verification: checkers/README.md; context: CONTRIBUTING.md. The checker invocation enumeration with parameters {"domain": "rational-simplex", "dimension": 3, "denominator": 6, "property": "satisfies-linear-constraints", "constraints": [{"coefficients": [1, 1, 1], "rhs": 1, "equality": true}]}.

Notes

Filed by the map-as-canonical round (prompts/2026-10-22-map-as-canonical) from the registry entry and the declaration's signature; its hypotheses are unread (ruling F1, 2026-10-23): the record's Source carries the signature verbatim, and a reader files the hypothesis leaves. Registry note: A worked example of the schema, not a research result: the house enumeration checker generates the 28 rational simplex points at denominator six and confirms each sums to one. It exists so the registry, the checker and the CI job are exercised by something real before any research claim depends on them. The registry's answers_item is the priorities pointer to item 13 (ruling F2).

Bridge card

Connected to no informal claim yet: held by operative-force.

Declaration simplex.rational-points-sum-to-one (record simplex.rational-points-sum-to-one.record)

Registry simplex.rational-points-sum-to-one: class enumeration-verified, status active, review ci-only, origin round None; bears on item 13

Bridge (formalizer-stated; simplex.rational-points-sum-to-one.bridge, drafted):

The statement of record of `simplex.rational-points-sum-to-one` formalizes the registered claim as the registry reads it: rational simplex points sum to one.

Hypotheses: unread (the record's Source carries the signature; a reader files them).

Completeness (simplex.rational-points-sum-to-one.complete): No premise beyond the signature's binders enters the declaration; the kernel checks it as stated. The result is the record, this leaf and the bridge, and its hypotheses are unread: the record's Source carries the signature verbatim and no hypothesis leaf is filed until a reader files one.

Author and human events

Author @smithy-verity; version 1; size M.

No human event has touched this node.

Edges

Above

Children

Work pointers

Ranking (the lens, not the structure)
{
 "status": "open",
 "diagnosis": null,
 "flags": [
  "held by operative-force",
  "hypotheses unread"
 ],
 "V": {
  "V_prior": null,
  "display": "2",
  "headline": 2,
  "ref": 2,
  "valid": 2,
  "weaker": "both"
 },
 "belief": null,
 "draft": "ai"
}

Say something about it

Each verb opens a prefilled issue; a round files what lands as the ledger event it is.

comment · challenge · estimate · want