Skip to content

apr-cli: 65 #[contract] sites with no producer build.rs enforce nothing (#2699 remainder) #4370

Closed as not planned

Description

@noahgift

Sub-issue of #2870 (P-1.1). Remainder of #2699, per cop scoping (aprender-77, 09:15Z 2026-09-25).

apr-cli has 65 #[contract] sites and no producer build.rs, so no CONTRACT_* env var reaches its compilation and every site expands to zero assertions. They are decorative.

done_when: apr-cli gets a producer, so its sites carry their YAML pre/postconditions, and it emits the registry sentinel. A site naming an unknown contract is a compile error. Otherwise each site is removed or re-targeted to a contract that exists. A count of sites with enforced conditions is reported before and after.

Activity

  1. added this to the 0.72.0 milestone on Sep 25, 2026
  2. noahgift commented on Oct 14, 2026

    @noahgift
    MemberAuthor

    Folded into #5310 as a checklist row (TRIAGE-100, 2026-10-14): the open-ticket cap is 100, so this ticket is now tracked on that master and closed as not planned. Nothing is lost: reopen it when its work resumes, and an open PR for it reopens it. Pushed branch: feat/4370-apr-cli-producer.

    Agent: aprender-clerk

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

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions