family gate: batch family-gate-20261008c records section 6.13 (the chain-seed draw at 21edd23c9) on the registry rows
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
parent
bfa1bfbcfe
commit
b95fd4b5a0
2 changed files with 41 additions and 30 deletions
|
|
@ -1440,20 +1440,20 @@
|
|||
"owner_lane": "hash lane (a690540514aa453d7)",
|
||||
"run_status": "NOT RUN",
|
||||
"evidence_path": "docs/analysis/review-2026-10-08-b/f10/packfile-test.log;docs/analysis/review-2026-10-08-b/f10/geometry-check-mini.log; docs/analysis/class-v6/family-gate.md",
|
||||
"run_id": "family-gate-20261008b",
|
||||
"updated": "2026-10-08T20:38:52.350Z",
|
||||
"run_id": "family-gate-20261008c",
|
||||
"updated": "2026-10-08T21:33:21.177Z",
|
||||
"evidence_record": {
|
||||
"requirement_id": "POW-02",
|
||||
"decision": "NOT RUN",
|
||||
"method": "native",
|
||||
"cell": "harness:family-gate",
|
||||
"manifest_sha": "ac86d7910",
|
||||
"run_id": "family-gate-20261008b",
|
||||
"manifest_sha": "1a938abe4",
|
||||
"run_id": "family-gate-20261008c",
|
||||
"evidence": "docs/analysis/class-v6/family-gate.md",
|
||||
"in_progress": false,
|
||||
"coverage": "partial: the acceptance rule's measured rates on drawn classes (the per-candidate rejection, the attempt histogram, the exhaustion count against the independent-attempt arithmetic, the (c'') and (c''') floors' refuse rates and the pre-floor ratio spread per width), the per-site largest-bucket and index-bit statistics at the rule's own 2^20 sample with the seven known-failed seeds (p4, p8, p10, p34, p212, p225, p15), and the F8-form census at 2^20 on the F8 seed set where the attack-f8 mirror validates (0 of 96 warps mismatching); the semantics, termination and memory-bound half and the independent re-implementation are the suite's and the hash lane's; the effect-size limits are the family-gate.md thresholds, predeclared in its section 3",
|
||||
"release_identity": {
|
||||
"commit": "ac86d7910",
|
||||
"commit": "1a938abe4",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
|
|
@ -1462,7 +1462,7 @@
|
|||
},
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:38:52.350Z"
|
||||
"at": "2026-10-08T21:33:21.177Z"
|
||||
},
|
||||
"in_progress_since": "2026-10-08T20:07:26.255Z",
|
||||
"approvals": {
|
||||
|
|
@ -1501,13 +1501,13 @@
|
|||
"decision": "NOT RUN",
|
||||
"method": "native",
|
||||
"cell": "harness:family-gate",
|
||||
"manifest_sha": "ac86d7910",
|
||||
"run_id": "family-gate-20261008b",
|
||||
"manifest_sha": "1a938abe4",
|
||||
"run_id": "family-gate-20261008c",
|
||||
"evidence": "docs/analysis/class-v6/family-gate.md",
|
||||
"in_progress": false,
|
||||
"coverage": "partial: the acceptance rule's measured rates on drawn classes (the per-candidate rejection, the attempt histogram, the exhaustion count against the independent-attempt arithmetic, the (c'') and (c''') floors' refuse rates and the pre-floor ratio spread per width), the per-site largest-bucket and index-bit statistics at the rule's own 2^20 sample with the seven known-failed seeds (p4, p8, p10, p34, p212, p225, p15), and the F8-form census at 2^20 on the F8 seed set where the attack-f8 mirror validates (0 of 96 warps mismatching); the semantics, termination and memory-bound half and the independent re-implementation are the suite's and the hash lane's; the effect-size limits are the family-gate.md thresholds, predeclared in its section 3",
|
||||
"release_identity": {
|
||||
"commit": "ac86d7910",
|
||||
"commit": "1a938abe4",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
|
|
@ -1516,7 +1516,7 @@
|
|||
},
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:38:52.350Z"
|
||||
"at": "2026-10-08T21:33:21.177Z"
|
||||
}
|
||||
}
|
||||
},
|
||||
|
|
@ -3244,20 +3244,20 @@
|
|||
"owner_lane": "lane D family gate (a07a99a3788566af2)",
|
||||
"run_status": "NOT RUN",
|
||||
"evidence_path": "docs/analysis/class-v6/family-gate.md",
|
||||
"run_id": "family-gate-20261008b",
|
||||
"updated": "2026-10-08T20:38:52.350Z",
|
||||
"run_id": "family-gate-20261008c",
|
||||
"updated": "2026-10-08T21:33:21.177Z",
|
||||
"evidence_record": {
|
||||
"requirement_id": "ROT-07",
|
||||
"decision": "NOT RUN",
|
||||
"method": "native",
|
||||
"cell": "harness:family-gate",
|
||||
"manifest_sha": "ac86d7910",
|
||||
"run_id": "family-gate-20261008b",
|
||||
"manifest_sha": "1a938abe4",
|
||||
"run_id": "family-gate-20261008c",
|
||||
"evidence": "docs/analysis/class-v6/family-gate.md",
|
||||
"in_progress": false,
|
||||
"coverage": "partial: the acceptance-side ablation rows (layer 8 off against the same-crate windowed control: the draw cost, the floors' costs, the hot-set and 1.2x ceiling, the bit-R read; the mixer and shape axes' per-era invisibility and verifier rows), docs/analysis/class-v6/family-gate.md sections 6.4 to 6.12; the adversarial cost and the GPU setup rows per layer are the hash lane's and the adversary lane's",
|
||||
"release_identity": {
|
||||
"commit": "ac86d7910",
|
||||
"commit": "1a938abe4",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
|
|
@ -3266,7 +3266,7 @@
|
|||
},
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:38:52.350Z"
|
||||
"at": "2026-10-08T21:33:21.177Z"
|
||||
},
|
||||
"in_progress_since": "2026-10-08 18:3x UK",
|
||||
"approvals": {
|
||||
|
|
@ -3303,13 +3303,13 @@
|
|||
"decision": "NOT RUN",
|
||||
"method": "native",
|
||||
"cell": "harness:family-gate",
|
||||
"manifest_sha": "ac86d7910",
|
||||
"run_id": "family-gate-20261008b",
|
||||
"manifest_sha": "1a938abe4",
|
||||
"run_id": "family-gate-20261008c",
|
||||
"evidence": "docs/analysis/class-v6/family-gate.md",
|
||||
"in_progress": false,
|
||||
"coverage": "partial: the acceptance-side ablation rows (layer 8 off against the same-crate windowed control: the draw cost, the floors' costs, the hot-set and 1.2x ceiling, the bit-R read; the mixer and shape axes' per-era invisibility and verifier rows), docs/analysis/class-v6/family-gate.md sections 6.4 to 6.12; the adversarial cost and the GPU setup rows per layer are the hash lane's and the adversary lane's",
|
||||
"release_identity": {
|
||||
"commit": "ac86d7910",
|
||||
"commit": "1a938abe4",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
|
|
@ -3318,7 +3318,7 @@
|
|||
},
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:38:52.350Z"
|
||||
"at": "2026-10-08T21:33:21.177Z"
|
||||
}
|
||||
}
|
||||
},
|
||||
|
|
@ -3350,20 +3350,20 @@
|
|||
"owner_lane": "node lane (a283f5f0d364ceef0)",
|
||||
"run_status": "NOT RUN",
|
||||
"evidence_path": "docs/analysis/class-v6/family-gate.md",
|
||||
"run_id": "family-gate-20261008b",
|
||||
"updated": "2026-10-08T20:38:52.350Z",
|
||||
"run_id": "family-gate-20261008c",
|
||||
"updated": "2026-10-08T21:33:21.177Z",
|
||||
"evidence_record": {
|
||||
"requirement_id": "ROT-08",
|
||||
"decision": "NOT RUN",
|
||||
"method": "native",
|
||||
"cell": "harness:family-gate",
|
||||
"manifest_sha": "ac86d7910",
|
||||
"run_id": "family-gate-20261008b",
|
||||
"manifest_sha": "1a938abe4",
|
||||
"run_id": "family-gate-20261008c",
|
||||
"evidence": "docs/analysis/class-v6/family-gate.md",
|
||||
"in_progress": false,
|
||||
"coverage": "partial: the no-rescue control document (38,000 drawn eras of the parameter family through the acceptance, the bound arithmetic on the counts, the honest line of what the gate cannot see), family-gate.md sections 1 to 6; the competitiveness envelope and the economic half are ECO's",
|
||||
"release_identity": {
|
||||
"commit": "ac86d7910",
|
||||
"commit": "1a938abe4",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
|
|
@ -3372,7 +3372,7 @@
|
|||
},
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:38:52.350Z"
|
||||
"at": "2026-10-08T21:33:21.177Z"
|
||||
},
|
||||
"approvals": {
|
||||
"scope_approved": null,
|
||||
|
|
@ -3406,13 +3406,13 @@
|
|||
"decision": "NOT RUN",
|
||||
"method": "native",
|
||||
"cell": "harness:family-gate",
|
||||
"manifest_sha": "ac86d7910",
|
||||
"run_id": "family-gate-20261008b",
|
||||
"manifest_sha": "1a938abe4",
|
||||
"run_id": "family-gate-20261008c",
|
||||
"evidence": "docs/analysis/class-v6/family-gate.md",
|
||||
"in_progress": false,
|
||||
"coverage": "partial: the no-rescue control document (38,000 drawn eras of the parameter family through the acceptance, the bound arithmetic on the counts, the honest line of what the gate cannot see), family-gate.md sections 1 to 6; the competitiveness envelope and the economic half are ECO's",
|
||||
"release_identity": {
|
||||
"commit": "ac86d7910",
|
||||
"commit": "1a938abe4",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
|
|
@ -3421,7 +3421,7 @@
|
|||
},
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:38:52.350Z"
|
||||
"at": "2026-10-08T21:33:21.177Z"
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
|
|||
11
tools/ci/batches/family-gate-20261008c.json
Normal file
11
tools/ci/batches/family-gate-20261008c.json
Normal file
|
|
@ -0,0 +1,11 @@
|
|||
{
|
||||
"run_id": "family-gate-20261008c",
|
||||
"manifest_sha": "1a938abe4",
|
||||
"method": "native",
|
||||
"cut_tip": "class-v6 1a938abe4 (section 6.13: the chain-seed draw through the acceptance at both era inputs; by the hash lane's 22:00 BST ruling the era-edc4fa84 column, id 2a1d6caab4c24564, is the signing object's and passes, clean of the bit-R class; the era-af89be5d column is the pack hl-v6-all-chainseed's reproduction, void for F0); ac86d7910 for 6.12 and before (family-gate-20261008b)",
|
||||
"evidence_dir": "docs/analysis/class-v6/logs",
|
||||
"boxes": ["build-6"],
|
||||
"cells": [
|
||||
{"cell": "harness:family-gate", "status": "NOT RUN", "evidence": "docs/analysis/class-v6/family-gate.md"}
|
||||
]
|
||||
}
|
||||
Loading…
Reference in a new issue