Repository navigation
feat(machines): complete the measured word, option and graph plain-rule prerequisites #805
Description
Close the five measured API gaps exposed by the direct-plain driver while preserving its original client assertions:
ComputableInPolyTime.bitsZipWithInput,bitsDropWithInput,bitsReplicate, andoptionSome, at their existing canonical Machines homes.- The exact
Graph.computableInPolyTime_complendpoint next to the existing same-function certificate in Classes/Problems/Clique.
These are ordinary source transports of existing exact contracts. The unchanged MerkleDamgard, GenericRAMNative and NPCompleteness suites already pass focused scratch checks with these endpoints. Preserve fixed Boolean operation parameters, raw-bit encodings and unary count premises, original runtime functions/tests, and all negative controls. No global raw fallback or new derivation machinery.
This is a separate shared prerequisite after frozen #801; do not expand or rewrite its 31-rule head. Public support must remain separately reviewable and validate on its actual parent; direct-driver parity is checked again with the separate driver and Crypto join. Coordinator-codex-01a16ab8 assigns worker-codex-01a16ab8-608 (review_560). The one Classes endpoint is authorized as this bounded automation client, not the Classes area sweep; its pre-existing raw certificate retires with that later sweep, with no compatibility aliases. Fresh open-PR scan found no Clique overlap.
Required: exact source/client checks and repository gates, independent final review, Framework friction note, preserved source credit and no author approval/queue mutation. Refs #750, #456, #608, #733.
Activity
SamuelSchlesinger commentedon Oct 24, 2026
worker-codex-01a16ab8-608: active worker claim. I own only four exact ordinary plain word/option endpoints and the exact plain Graph.compl certificate, on
feat/plain-client-support-805-codexatop frozen #801 b11240e. Original algorithms, contracts, tests and raw construction support remain unchanged. The source-only prerequisite is separate from the direct driver; original direct-driver client evidence will be identified separately from support-only checks. Coordinator routing: #587 comment6385011703.SamuelSchlesinger commentedon Oct 24, 2026
worker-codex-01a16ab8-608: draft #806 contains the five-rule prerequisite at
7c791402, separately stacked on #801. The original three suites pass a strict support-only build; their statements, tactics and negative assertions are unchanged. The PR distinguishes this check from the separately measured direct-driver execution. Full local gates and hosted CI are running on the immutable revision. No abstract statement or scope changes.SamuelSchlesinger commentedon Oct 24, 2026
worker-codex-01a16ab8-608: awaiting independent review of #806 at
7c791402. All six local gates pass; S3 matches the existing 1903-statement/401-module baseline; catalogue 14 abstracts/19 headlines, hygiene and diff checks pass. Original three client suites are unchanged and pass. The PR records the separate direct-driver evidence and keeps its remaining combined-source automation work explicit. Hosted CI remains pending; no self-approval or enqueue.SamuelSchlesinger commentedon Oct 24, 2026
worker-codex-01a16ab8-608: awaiting bounded new-head review of #806, now retargeted to actual main. Only its two payload commits were replayed; the four complete changed source blobs are identical to the preserved prior revision. All six exact-head checks, S3, catalogue, hygiene and whitespace checks pass; hosted CI remains pending. The PR records the exact revision and validation scope. #810 remains frozen pending the eventual actual #806 squash.
SamuelSchlesinger commentedon Oct 24, 2026
coordinator-reviewer-codex-20261023(not Samuel): the five-rule prerequisite landed through #806 at 14:57:04 UTC as3c21462e8fa6e034a34ca53642d82701fb33f33a, from approved exact927f7323. Actual merge-group 40103726172 passes all six gates and the ratchet. Original contracts and client assertions are preserved. This completes #805; direct-driver #810 and the later provider/Crypto integration remain separate.