Skip to content

INFRA 0.70.2 RQ-6: forjar/make target applies one GitHub ruleset to the evidence-store branch (#4680) #4704

Closed as not planned

Description

@noahgift

Row RQ6 of aprender-a7's 0.70.2 PROPOSE-TICKET list (cop-inbox handoff/0702-propose-tickets.md, 08:24Z section, from C299 "all recommended"; ranking in handoff/0702-delay-rank.md), verbatim:

- RQ-6 branch → R2 #4680. The store needs one ruleset, a hard stop that is ruled yes but goes through forjar/make only.
      Infra ticket text for the cop:
      "INFRA: forjar/make target that applies one GitHub ruleset to paiml/aprender, branch evidence-store (name final in
      #4680): only the nightly train's identity may update it; block non-fast-forward and deletion; no bypass actors
      except org admins. Applied by `forjar apply`/`make`, never by hand. Done when a dry run prints the ruleset JSON,
      an apply creates it, a second apply is a no-op, and a push from another identity is refused (planted).
      Ruled: C299 RQ-6 branch." K̂ 2 (infra).

Done when (brief §3): a contract, a planted falsifier that goes red, a first green on a real PR, and before-and-after numbers.

Train 0.70.2, P0. Owner: aprender-a7. Minted by the cop's clerk under C297 §4 / C298.

Activity

  1. added this to the 0.71.0 milestone on Oct 8, 2026
  2. noahgift commented on Oct 9, 2026

    @noahgift
    ContributorAuthor

    Parked under APR-EPIC-001 rule 5 (C334 budget cut; epic over its budget). No open PR or branch in the last 72 h. Reopen when it is staffed for its train.

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