Skip to content

Census round 2: screening results for the 16 uncovered open complex claims (no new kappa) - #2762

Draft
geckods wants to merge 1 commit into
CrocSwap:mainfrom
geckods:contrib-census-r2
Draft

geckods wants to merge 1 commit into
CrocSwap:mainfrom
geckods:contrib-census-r2

Conversation

@geckods

@geckods geckods commented Oct 15, 2026

Copy link
Copy Markdown

Census round 2 for the open complex queue, extending the merged
research/complex-queue-ceiling-census (and built on merged #1240). No new kappa;
a screening review-aid only - no claim is accepted or rejected.

What this does

The first census covered 14 open claims and listed 16 as not covered: no complex
profile whose kappa equals the title kappa occurred together with an idle histogram
in those packages. This round re-audits the same 16 claims at their heads of
2026-10-15 (heads frozen to full SHAs in SNAPSHOT2.json) and covers 13 of them. The
reason round 1 missed them is a recording-key convention: the paid profile sits under
global_profile in each claim's data/SPEC.json (together with
idle_remainder_profile, live and an exact kappa), not under complex_profile;
RESULT/CERTIFICATE profiles pair with a sibling SPEC for their identity inputs.

Results

Evidence

  • verify.py: PASS_COMPLEX_QUEUE_CEILING_CENSUS_R2 screened=13 words=8 unscreened=3
    (identity + split for all 13, exact kappa match, endpoint below a_lo, kappa below
    cap, W4/W3 cross-controls against the first census's pinned inputs, two negative
    controls, frozen RESULT.json byte match). Stdlib only.
  • rebind2.py: PASS_SNAPSHOT2_REBOUND 13 - all pinned profile/idle blobs re-read at
    the frozen heads.
  • producer.py re-derives SNAPSHOT2.json offline at the frozen heads
    (or with --fetch-prefixes --fetch-titles at live heads).
  • scripts/research_package.py --check-only: PASS_PACKAGE_METADATA_AND_PINS, and
    verify.py re-run green on a second host (Python 3.12, git 2.47).

Provenance

Base c22e42de697334df85337e005864773cdc2bc98b; claim thread
discussions/2739; overlaps refreshed (337/144/260 matches on the drawn cards - the
refinement lands on the first census's own recorded remainder). Selected record and
catalogue are historical provenance. SOURCES.json pins the first census and #1240
files; SNAPSHOT2.json pins the 16 audited heads and profiles. Caps are planning
bounds under the fixed coverage law and halving guard; they do not bound changed
words, templates, recipes or the two-unpaid-coordinates contract change, and do not
review any claim.

Prepared by Abhinav Ramachandran (geckods) with substantial end-to-end assistance
from a Hermes agent (Nous Research, GLM-5.3) under the standard donation prompt.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant