Skip to content

P-0.6: pv lint as its own CI step with --min-score 0.48 (basis=measured mean score 0.48 Grade D at b1a6324b8, #2870 ledger — a floor at the current value, never an aspiration), shrink-onl #2912

Closed

Description

@noahgift

DAG row P-0.6 — docs/specifications/pp-066-dag.yaml (epic #2873; spec: #2870 phase 0/1 text (improve-provable-contracts.md not in tree); PP-066 §5 Track P).

Track: P · lane: 0.66 · host: intel (CI runner) for P-0.6, else any · owner: spec-owner · expiry: 2026-09-26 · quorum: review-only

Blockers (rows): P-0.3, DEC-D-11
Linked issues: —

A — acceptance (exit 0 = done):

  • the ci.yml step (via scripts/pv_bin.sh) exits 0 at HEAD and prints warnings=1082 score>=0.48
  • bash scripts/check_pv_lint_step.sh --selftest (a contract adding one warning -> RED)
  • bash scripts/check_baseline_ratchets.sh PASS with the new baseline classified

Contract: contracts/pv-p-0-6-v1.yaml
Mutation → RED: add a hollow contract carrying one new warning -> RED

Filed by the PP-066 driver STEP 5; status tracked in the DAG (status: complete after the receipt docs/audits/impl-<ticket>-receipt.md).

Activity

  1. modified the milestones: 0.68.0, 0.70.0, 0.73.0 on Sep 10, 2026
  2. noahgift commented on Sep 23, 2026

    @noahgift
    MemberAuthor

    triage 2026-09-23 (aprender-dd, standing triage owner): milestoned to 0.70.0, theme Fast Train (CI, gates, pv, release tooling, hygiene); it moved out of backlog (the 2026-09-17 overflow bucket, not a release).

  3. added
    kind:codeWork is a code change (derived rule, #4159)
    on Sep 24, 2026
  4. noahgift commented on Sep 24, 2026

    @noahgift
    MemberAuthor

    PP-066 triage (0.70, cop ruling): closing as duplicate of #2870, which stays open and carries this work.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    kind:codeWork is a code change (derived rule, #4159)pp-066PP-066 (0.66) DAG row

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions