{"at":1792790873910,"name":"Counterfoil Formation","note":"Alignment by the paper: a reading of the carrier, sponsor modules, a principle adopted as a symmetry, a pressing with its bound, a runtime that emits the sponsor and keeps the counterfoil. Each claim is written at the scope its theorem gives and no further.","scope":"Beyond the record the demanded inequality is independent of the data (Theorem 10.3). A claim marked formula holds at every prompt where the transform is applied as a formula; a claim marked record is a measurement on the record presented and claims nothing beyond it. The formation ends at the explicit sponsor (Theorem 10.9): the party named here answers for the family.","paper":{"title":"The Constraint Quotient and the Sponsored Formation of Machine Conduct","edition":"Fourth edition, 17 October 2026","author":"Parker Emmerson (Yaohushuason)"},"modules":[{"id":"reading","title":"The Reading","what":"The carrier read on a record: the gaps that carry each suppression and the shift that restores it; which features of the context separate a demand from the carrier (the channels of re-association) and the Jensen–Shannon divergence paid where they coincide; the carrier’s own asymmetry on a presented symmetry; the logic vector at every seam between two sponsors; and whether the sponsors’ balance levels leave the admissible region an interior.","constructor":"record","theorems":["6.1","9.4","9.10(d)","7.8","7.10"],"claims":"record","unit":"a model","cents":{"open":{"small":250000,"large":600000,"xl":1200000,"note":"by the model’s size: up to 8B, up to 70B, larger"},"finetune":400000,"api":200000}},{"id":"sponsor","title":"Sponsor modules","what":"One sponsored conditional a sponsor (an adapter) and the sponsor term (a router) trained on quadruples (x, y⁺, y⁻, s) with the sponsored objective; the deployed policy is the marginal, and every response is emitted with its sponsor. A later policy is a further sponsor, not a retraining.","constructor":"(iii) an explicit sponsor","theorems":["7.1","7.3","7.4","7.5"],"claims":"record and formula","unit":"a sponsor","cents":{"open":800000,"finetune":600000,"api":300000}},{"id":"principle","title":"Principle adoption","what":"A presented symmetry (G, K) adopted as the symmetrized policy π_G. As a wrapper (scoring and decoding over the orbit) it is G-equivariant at every prompt by formula and the conservation law holds on K; as a distilled adapter it is measured, and the residual is written down.","constructor":"(i) a presented family, (ii) a generator with its keeping law exhibited","theorems":["9.10","10.5","9.11"],"claims":"formula (wrapper) or record (distilled)","unit":"a presented symmetry","cents":{"wrapper":500000,"distilled":1500000}},{"id":"pressing","title":"Pressing","what":"A presented pressing (H, w_s, ε_s): a weight function positive everywhere, applied at decoding, so the withheld class is held at a small weight rather than crossed out. At every prompt where it is applied as a formula, π(H | x, s) ≤ ε_s / (ε_s + π_b(Hᶜ | x)); a tolerance δ fixes ε_s by the same formula.","constructor":"(iii) an explicit sponsor, with the record","theorems":["10.6","10.7","9.6"],"claims":"formula","unit":"a withheld class","cents":{"open":400000,"finetune":400000,"api":400000}},{"id":"runtime","title":"The counterfoil runtime","what":"The deployment emits (y, s) — the response with its sponsor — and every withholding is kept as the triple (m, S, m′): what was withheld, under which sponsor, what was offered in its place, posted to the counterfoil here and signed. Training logs keep the pair (R, b) with its sponsor, not the residual alone.","constructor":"(iii) an explicit sponsor","theorems":["7.15","7.16","8.8","7.6"],"claims":"formula","unit":"a month","cents":{"wrapper":40000,"hosted":200000,"note":"a month"}}],"tiers":{"open":"the weights are in hand: exact logits, adapters trained, the pressing a logits processor","finetune":"a fine-tuning API that returns log-probabilities: top-k estimates, sponsor tokens through the API, the pressing on candidates","api":"a closed model: sampled estimates, sponsor prefixes with an external router, the pressing on candidates; the fidelity is written on the certificate"},"compute":"Training and inference run on a worker: the sponsor’s own GPU (register it under your key and it takes your jobs) or the city’s (admitted by the President). Compute is passed through at cost after delivery.","certificate":{"renewalCents":100000,"what":"The manifest (sponsor, class, constructor, model, fidelity), the measurements, every claim in its kind — formula or record — with its theorem, the scope line, the worker; hashed, signed by the machine, countersigned by the sponsor; verified by anyone at GET /formation/verify?id=."},"order":["POST /formation/sponsor (signed): register the explicit sponsor","POST /formation/job (signed): the module, the model, the class K, the presented objects → a quote","POST /formation/checkout (signed): pay","a worker pulls the job, runs the toolkit (packages/formation), delivers","the certificate is signed by the machine; countersign it; the counterfoil runtime posts here"],"free":{"runtime":"A sponsor’s first wrapper runtime with an upstream runs free for 14 days, provisioned the moment it is posted; subscribe before it ends to keep it running.","reading":"The first reading of a model of 1B or fewer parameters, with the weights in hand, is free once a sponsor."},"payments":true,"machineKey":{"crv":"P-256","kty":"EC","x":"zoK2GMipAvG8jCVOehLrt1oR7dMO5hZb0HQN7s2oFho","y":"qoRZuQPRJ4QhOZ_LC-1UThxiys7bpVviC40FcdVCBa8"},"toolkit":"packages/formation (Python): reading, sponsor, principle, pressing, counterfoil, certificate, worker"}