Repository navigation
Admit AutoGluon 1.6.3 to CRUX as category O: 24 DRAFT contracts crux-O-01..24 with LIVE-PENDING gates (no implementation, no CLI, no tests), CRUX_COMPETITORS 14->15 in validator.rs + both crux_intake_tests.rs lists, CATEGORY_NAMES[O] in scripts/crux_scaffold_contracts.py, 24 master-registry rows (coverage_intake 267->291) + evidence_sources.autogluon, spec v2.3 §3/§5/§6, evidence/crux/autogluon/ (4 files), 26 roadmap fragments (PMAT-3370 epic, PMAT-3371..3394 stories, PMAT-3401 this ticket) + regenerated roadmap.yaml, README CONTRACT_COUNT 1842->1866 — child of #3370 #3401
Description
Parent: #3370. This is the ADMISSION step only — the registry edit, the draft contracts, the registry rows, the spec section, the evidence and the tickets. It implements none of the 24 stories; every falsification gate is LIVE-PENDING and names the test that will promote it.
Done when PR #3395 merges with:
contracts/crux-O-01..24-v1.yamlpresent,registry: false,pv validategreen under the in-tree pv and CRUX-002 under the stale oneCRUX_COMPETITORScarriesautogluonand the corpus-vocabulary test goes RED when it is removedcoverage_intake267 → 291 asserted fromstories[]- roadmap fragments PMAT-3370..3394 aggregated idempotently
- no library code, no CLI wiring, no test bodies (those are the 24 children)
Activity
chore(crux): bind the admission PR to its own ticket PMAT-3401 — the …
[-]Admit AutoGluon 1.6.3 to CRUX as category O: 24 DRAFT contracts crux-O-01..24 with LIVE-PENDING gates (no implementation, no CLI, no tests), CRUX_COMPETITORS 14->15 + intake tests, 24 master-registry rows (intake 267->291), spec v2.3 §3/§5/§6, evidence/crux/autogluon/, 25 roadmap fragments, README count regen — child of #3370[/-][+]Admit AutoGluon 1.6.3 to CRUX as category O: 24 DRAFT contracts crux-O-01..24 with LIVE-PENDING gates (no implementation, no CLI, no tests), CRUX_COMPETITORS 14->15 in validator.rs + both crux_intake_tests.rs lists, CATEGORY_NAMES[O] in scripts/crux_scaffold_contracts.py, 24 master-registry rows (coverage_intake 267->291) + evidence_sources.autogluon, spec v2.3 §3/§5/§6, evidence/crux/autogluon/ (4 files), 26 roadmap fragments (PMAT-3370 epic, PMAT-3371..3394 stories, PMAT-3401 this ticket) + regenerated roadmap.yaml, README CONTRACT_COUNT 1842->1866 — child of #3370[/+]PMAT-3401 (adoption): the three derivatives 24 new contracts oblige —…
PMAT-3401 (adoption): the row states invariants, not the counts of a …
PMAT-3401: quorum verdict 3/3 on 9f59beb (AD-04)
release(0.69): batch — 15 receipted PRs + fleet-pv andon fix, one CI …
PMAT-3685: apr parity REFUSES (exit 12) a model the CUDA capability g…