-
Notifications
You must be signed in to change notification settings - Fork 21
RELEASE GATES — OPERATOR, verbatim 2026-09-24: "ensure we know that .70 must have FULL ontology spec and all aprender binary working"
(1) ONT-001 complete (owner infra-83).
(2) Every aprender [[bin]] builds and smokes at the release commit and on the nightly: #4189, #4186, #4192, #4193.
Theme: Fast Train (operator 2026-09-23). Freeze->publish <=4h. Ratchet slice 1/5 (#3997).
Scope (triage 2026-09-24, operator "go .70", cop ruling (a)): ruled 74 + discretionary 21 = 95 rows (98 issues; #4175 stands for #4129/#4130/#4149) + 3 epics (#3081 #3144 #4033) + #3177, plus issues filed since.
Ruled (exempt from the cap): the 12 pulls, every P0, and the ONT/PVL/coverage rows under operator rulings. Discretionary cap 43 = 1.2x the median 36 PRs/train (0.68.2: 36, 0.69.0: 25; 0.69.1 about 99 fold units, excluded as an outlier). Measured as first-parent PRs between tags on main; the milestone search undercounts. There were 21 discretionary rows, so the cap was not reached and nothing overflowed to 0.71.
Method: K1 P0/on-theme > K2 gate red on the release base > K3 defect in a published artifact > K4 operator ruling; then P0>P1>P2; then issue number. A row matching no K rule went to backlog; theme-0.7x rows went to their theme milestone.
List view
0 of 43 selected 0 issues of 43 selected
release train: move the release autopilot's tag path into the repo — tag step calls scripts/check_milestone_cut.sh and cannot be reached without it
P0Critical priorityCritical priorityStatus: Open.#3459 In paiml/aprender;check_ont_ratchet.sh probes a BARE pv (
pvbin="$(command -v pv)") — on a fleet-clobbered runner (pv 0.65.2, no census) it reads 'no consumer' and REDs an honest anchored rise; check_apr_bin_pinned.sh is blind to the formbugSomething isn't workingSomething isn't workingont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P0Critical priorityCritical priorityStatus: Open.#3679 In paiml/aprender;ONT-4c5 aprender extractor: capability-cells shape in pv lint (per paiml/infra#950)
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P0Critical priorityCritical priorityStatus: Open.#4047 In paiml/aprender;check_pr_ont_delta.sh grades an event-SNAPSHOT body against a LIVE file list, so the documented fix can never be applied without a push
bugSomething isn't workingSomething isn't workingont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P0Critical priorityCritical priorityStatus: Open.#3298 In paiml/aprender;EPIC E0 0.70: Ontology (ONT-001)
epicEpic — multi-story umbrellaEpic — multi-story umbrellaont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P1High priorityHigh priorityStatus: Open.#3269 In paiml/aprender;ONT-001 to 80% in 0.69 (≈7 more rows) with SHACL armed and falsifiable — and the §11 one-row-per-train conflict this creates
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P0Critical priorityCritical priorityStatus: Open.#3559 In paiml/aprender;Docs, all 1037 examples and the cookbook: pv-SHACL validated and current for Qwen3.5 (6 of ~1500 artifacts mention it today)
documentationImprovements or additions to documentationImprovements or additions to documentationont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P0Critical priorityCritical priorityStatus: Open.#3560 In paiml/aprender;Decision 8: census.json becomes derived (CI computes, guard refuses PR diffs); lint-baseline counts become a base-vs-head never-down check
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P1High priorityHigh priorityStatus: Open.#3569 In paiml/aprender;pv: a shapes gate reports Pass AND armed over ZERO focus nodes — aggregate swallows decline: NoFocus
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P0Critical priorityCritical priorityStatus: Open.#3610 In paiml/aprender;pv: implement sh:lessThan / sh:lessThanOrEquals — SHACL Core property-pair constraints
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P0Critical priorityCritical priorityStatus: Open.#3611 In paiml/aprender;pv: by_entity_type is a hand-written list parallel to Σ — derive it from ontology.yaml, or refuse when an implemented entity type is uncounted
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P1High priorityHigh priorityStatus: Open.#3624 In paiml/aprender;ONT-4c: the first non-code contracts — README.md, CLAUDE.md, one .apr model file, one CSV — with their extractors
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P2Medium priorityMedium priorityStatus: Open.#3847 In paiml/aprender;Capability facts as a contract: apr-model-capability-v1 + SHACL + exposure on verb/http/mcp (operator keystone)
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P1High priorityHigh priorityStatus: Open.#3856 In paiml/aprender;ONT-4c5 (infra#921): aprender capability-cell extractor + arming rule (required Unknown{NotRun} meets to RED)
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)P0Critical priorityCritical priorityStatus: Open.#3972 In paiml/aprender;ONT-4c4: kernel symbols as focus nodes — extract:kernel over extract:code (ont:KernelSymbol ⊑ ont:Symbol, v4.15)
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)Status: Open.#4069 In paiml/aprender;ONT-4d: subsumption in Σ; shapes inherit down the hierarchy
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)Status: Open.#4070 In paiml/aprender;ONT-2c: in-house OWL 2 EL writer; TBox check via the oracle, advisory
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)Status: Open.#4071 In paiml/aprender;ONT-3a: extract:code — bindings resolve fail-closed across the workspace, via syn
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)Status: Open.#4072 In paiml/aprender;ONT-3b: formalization.yaml gains model_of; a statement with no model earns no L4
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)Status: Open.#4073 In paiml/aprender;ONT-5: pv-sat offline behind a bin boundary; witness checked in the gate; two positive controls
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)Status: Open.#4074 In paiml/aprender;ONT-4e: requires/ensures as first-class; Liskov rule on refines, witness-checked
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)Status: Open.#4075 In paiml/aprender;ONT-8: one evidence block — PROV-O names, one L-enum, every entity type
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)Status: Open.#4077 In paiml/aprender;ONT-9: the ontology has a contract; checker soundness by Kani and planted-solution generation
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)Status: Open.#4078 In paiml/aprender;ONT-10: release aprender-contracts-cli with ONT-0..9 (incl. 4d, 4e) — CI tags, operator publishes (RP-001)
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)Status: Open.#4079 In paiml/aprender;PVL-001 EV-2 — PVL-2: proof-status resolves bindings; ghost binding is a reject
ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)Status: Open.#4080 In paiml/aprender;