LAB: nightly pv census ratchet red (#4709) #5409

Activity

1. github-actions

   added

   lab-census-ratchetLAB night red: one ticket, one owner (GATE/LAB rule)LAB night red: one ticket, one owner (GATE/LAB rule)

   on Oct 16, 2026
2. noahgift

   added this to the backlog milestone on Oct 16, 2026
3. github-actions commented on Oct 17, 2026

   

   github-actionsBot

   on Oct 17, 2026 – with GitHub Actions

   Author

   More actions

   owner: la-0.72

   Run: https://github.com/paiml/aprender/actions/runs/38983650583

   Last 80 lines of the red steps:

   ok    unchanged tree: GREEN (rc 0)
   ok    unbind one: RED (rc 1)
   ok    add an unbound contract: RED (share rose) (rc 1)
   ok    bind one: GREEN (rc 0)
   ok    add a bound contract: GREEN (rc 0)
   ok    drop falsification_tests: RED (rc 1)
   ok    drop a bound and an unbound contract: RED (bound fell) (rc 1)
   ok    a parse error: NOT_MEASURED (rc 2)
   ok    0 contracts: NOT_MEASURED (rc 2)
   ok    release short of the step: RED (rc 1)
   ok    release meets the step: GREEN (rc 0)
   ok    step capped at unbound(prev): GREEN (rc 0)
   ok    release with missing risen: RED (rc 1)
   ok    stub pv printing garbage: NOT_MEASURED (rc 2)
   ok    stub pv exiting 3: NOT_MEASURED (rc 2)
   ok    anchoring short of n_parsed: NOT_MEASURED (rc 2)
   ok    a parse error reported with exit 0: NOT_MEASURED (rc 2)
   ok    0 contracts reported with exit 0: NOT_MEASURED (rc 2)
   ok    good JSON but exit 3: NOT_MEASURED (rc 2)
   ok    a pv without no_falsification_tests (pre-#5295): NOT_MEASURED (rc 2)
   ok    pv without census: NOT_MEASURED (rc 2)
   ok    census JSON from a pv whose --help lists no census: NOT_MEASURED (rc 2)
   ok    pv_bin.sh rejecting its pv: no pv (rc 1)
   SELF-TEST PASSED
     comparand 0ab0cd97a6a (CENSUS_BASE_REF, the nightly 24 h comparand)
     base n=1964 bound=50 unbound=1914 missing_ft=433
     head n=1983 bound=50 unbound=1933 missing_ft=433
   RED   unbound share rose 1914/1964 -> 1933/1983
   
4. github-actions commented on Oct 20, 2026

   

   github-actionsBot

   on Oct 20, 2026 – with GitHub Actions

   Author

   More actions

   owner: la-0.72

   Run: https://github.com/paiml/aprender/actions/runs/39348866581

   Last 80 lines of the red steps:

   ok    unchanged tree: GREEN (rc 0)
   ok    unbind one: RED (rc 1)
   ok    add an unbound contract: RED (share rose) (rc 1)
   ok    bind one: GREEN (rc 0)
   ok    add a bound contract: GREEN (rc 0)
   ok    drop falsification_tests: RED (rc 1)
   ok    drop a bound and an unbound contract: RED (bound fell) (rc 1)
   ok    a parse error: NOT_MEASURED (rc 2)
   ok    0 contracts: NOT_MEASURED (rc 2)
   ok    release short of the step: RED (rc 1)
   ok    release meets the step: GREEN (rc 0)
   ok    step capped at unbound(prev): GREEN (rc 0)
   ok    release with missing risen: RED (rc 1)
   ok    stub pv printing garbage: NOT_MEASURED (rc 2)
   ok    stub pv exiting 3: NOT_MEASURED (rc 2)
   ok    anchoring short of n_parsed: NOT_MEASURED (rc 2)
   ok    a parse error reported with exit 0: NOT_MEASURED (rc 2)
   ok    0 contracts reported with exit 0: NOT_MEASURED (rc 2)
   ok    good JSON but exit 3: NOT_MEASURED (rc 2)
   ok    a pv without no_falsification_tests (pre-#5295): NOT_MEASURED (rc 2)
   ok    pv without census: NOT_MEASURED (rc 2)
   ok    census JSON from a pv whose --help lists no census: NOT_MEASURED (rc 2)
   ok    pv_bin.sh rejecting its pv: no pv (rc 1)
   SELF-TEST PASSED
     comparand f20d7a6eac1 (CENSUS_BASE_REF, the nightly 24 h comparand)
     base n=1984 bound=50 unbound=1934 missing_ft=433
     head n=1987 bound=50 unbound=1937 missing_ft=433
   RED   unbound share rose 1934/1984 -> 1937/1987
   
5. github-actions commented on Oct 21, 2026

   

   github-actionsBot

   on Oct 21, 2026 – with GitHub Actions

   Author

   More actions

   owner: la-0.72

   Run: https://github.com/paiml/aprender/actions/runs/39519395586

   Last 80 lines of the red steps:

   ok    unchanged tree: GREEN (rc 0)
   ok    unbind one: RED (rc 1)
   ok    add an unbound contract: RED (share rose) (rc 1)
   ok    bind one: GREEN (rc 0)
   ok    add a bound contract: GREEN (rc 0)
   ok    drop falsification_tests: RED (rc 1)
   ok    drop a bound and an unbound contract: RED (bound fell) (rc 1)
   ok    a parse error: NOT_MEASURED (rc 2)
   ok    0 contracts: NOT_MEASURED (rc 2)
   ok    release short of the step: RED (rc 1)
   ok    release meets the step: GREEN (rc 0)
   ok    step capped at unbound(prev): GREEN (rc 0)
   ok    release with missing risen: RED (rc 1)
   ok    stub pv printing garbage: NOT_MEASURED (rc 2)
   ok    stub pv exiting 3: NOT_MEASURED (rc 2)
   ok    anchoring short of n_parsed: NOT_MEASURED (rc 2)
   ok    a parse error reported with exit 0: NOT_MEASURED (rc 2)
   ok    0 contracts reported with exit 0: NOT_MEASURED (rc 2)
   ok    good JSON but exit 3: NOT_MEASURED (rc 2)
   ok    a pv without no_falsification_tests (pre-#5295): NOT_MEASURED (rc 2)
   ok    pv without census: NOT_MEASURED (rc 2)
   ok    census JSON from a pv whose --help lists no census: NOT_MEASURED (rc 2)
   ok    pv_bin.sh rejecting its pv: no pv (rc 1)
   SELF-TEST PASSED
     comparand b08ba56d1 (CENSUS_BASE_REF, the nightly 24 h comparand)
     base n=1987 bound=50 unbound=1937 missing_ft=433
     head n=1996 bound=50 unbound=1946 missing_ft=433
   RED   unbound share rose 1937/1987 -> 1946/1996
   
6. noahgift

   added a parent issue on Oct 22, 2026

   • EPIC S2 standing: Provable Contracts (PVL-001) #2870
7. noahgift

   modified the milestones: backlog, 0.72.0 on Oct 22, 2026
8. noahgift commented on Oct 22, 2026

   

   noahgift

   on Oct 22, 2026

   Member

   More actions

   tracked in #2870
9. noahgift

   closed this as not plannedon Oct 22, 2026