From 12c8fa4861cefd9d78431b5ef8596f507b8066ca Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Thu, 8 Oct 2026 19:47:22 +0000 Subject: [PATCH] Registry: census:class-v6 PASS (run census-v6-20261008-2034: the freeze's object hl-v6-all 4de7b836cc40a4ea at class-v6 9415e9c89 through the sub-version 3 harness; evidence docs/analysis/class-v6/census-packs.md sections 0 to 7) Co-Authored-By: Claude Fable 5.1 --- docs/plans/igneum-2.0-test-registry.json | 18 ++++++++---------- tools/ci/batches/census-v6-20261008-2034.json | 12 ++++++++++++ 2 files changed, 20 insertions(+), 10 deletions(-) create mode 100644 tools/ci/batches/census-v6-20261008-2034.json diff --git a/docs/plans/igneum-2.0-test-registry.json b/docs/plans/igneum-2.0-test-registry.json index 0a3e8f917..31a863455 100644 --- a/docs/plans/igneum-2.0-test-registry.json +++ b/docs/plans/igneum-2.0-test-registry.json @@ -748,19 +748,17 @@ "owner": "Cryptography + GPU lead", "manual_page": 24, "owner_lane": "hash lane (a690540514aa453d7)", - "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-pow.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "run_status": "PASS", + "evidence_path": "docs/analysis/class-v6/census-packs.md", + "run_id": "census-v6-20261008-2034", + "updated": "2026-10-08T19:47:22.248Z", "evidence_record": { - "cell": "suite:pow", - "manifest_sha": "7cfa422a", + "cell": "census:class-v6", + "manifest_sha": "9415e9c89", "coverage": { - "POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses", - "POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's", - "POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane" + "POW-02": "partial: the fold's index statistics and the grammar bounds on 256 seeds plus the F8 set; the malformed programs are owed to harness:parser-malformed" }, - "at": "2026-10-08T19:32:50.856Z" + "at": "2026-10-08T19:47:22.248Z" } }, { diff --git a/tools/ci/batches/census-v6-20261008-2034.json b/tools/ci/batches/census-v6-20261008-2034.json new file mode 100644 index 000000000..abc257b2a --- /dev/null +++ b/tools/ci/batches/census-v6-20261008-2034.json @@ -0,0 +1,12 @@ +{ + "run_id": "census-v6-20261008-2034", + "manifest_sha": "9415e9c89", + "evidence_dir": "docs/analysis/class-v6/logs/census-packs", + "cells": [ + { + "cell": "census:class-v6", + "status": "PASS", + "evidence": "docs/analysis/class-v6/census-packs.md" + } + ] +}