Merge master 0a1639d6b into v607-floor-memory under the master-landing lock
This commit is contained in:
commit
eb96a047f5
8 changed files with 762 additions and 664 deletions
|
|
@ -8,3 +8,14 @@ The coordinator's blocking read: the research pack hl-v6-all (4de7b836cc40a4ea)
|
|||
| the research comparison | 442a1691b3e3507f (mx8-era93a14ac6+sh256x27+state+reg64c+fold+rw) | seed af89be5d..., era 0:af89be5d..., day 20730, node1 state | ACCEPTED; min site ratio 0.99992, under 0.98: 0, under 0.995: 0; largest bucket +5.25 sigma; worst free bit 2.91 sigma; sites over 6 sigma 0 | 256 of 256, 0 exhausted at 256, r 0.129, mean attempt 0.15, max 2, (c''') refused 0 of 294; parts a' 23 b 7 a 4 reg64 3 c 1 |
|
||||
|
||||
Verdict: the engine's draw 2a1d6caab4c24564 PASSES the sub-version 3 rule with the (c''') floor (every site clear of 0.98 and 0.995 at 0.99988, the largest 256-item bucket +6.25 sigma on one site, which the rule does not bound and the record's clean full-window sites read to +5.5, the worst free index bit 3.06 sigma, no site over 6 sigma) and the attempts census (256 of 256 chain-shaped seeds accepted inside two attempts, 0 exhausted, 0 (c''') refusals: the same 294 candidates and parts as the research pack's, since the census draws its own seeds under the pair's era and state). The research comparison reads the same on every line but the bucket (+5.25). The freeze's object on the chain's own seed is sound under the rule; the research pack's rows (census-packs.md section 7) are the same class on the genesis seed.
|
||||
|
||||
## The window trace on the signing program (22:53 to 22:56 UK, build-4)
|
||||
|
||||
The uniform tool (`tools/attack/v6-census/uniform`, with `--epoch-hex` added so one chain-drawn program is traced) on the engine's pair at 2^22 nonces, every load of the 32-site interleaved schedule through the interpreter's tracing probe on the closed form, beside the foldrw control (the same pair, no window; program 768497ac7a47599a). The tool prints the draw's id under the un-stamped generator byte (c3c7ce6d9df51c48 for the signing program); the seed bytes, class, era and attempt 0 are the CLI's, which stamps the same draw 2a1d6caab4c24564 at generator 6.
|
||||
|
||||
| Program | Per-site distinct ratio (worst site; floors 0.98 and 0.995) | Top 0.1 percent item share | Flat control | Ratio to flat | Against the foldrw control |
|
||||
|---|---|---|---|---|---|
|
||||
| the signing program (2a1d6caab4c24564; 1,073,741,824 reads) | 1.00262 (site 7) | 0.001683 | 0.001447 | 1.1631x | 1.021x |
|
||||
| the foldrw control (768497ac7a47599a; 536,870,912 reads) | 1.00266 (site 13) | 0.001875 | 0.001646 | 1.1387x | |
|
||||
|
||||
The window on the signing object reads as the class traces read (1.0026 per site, 1.015 to 1.032x of the control): uniform inside every window, the item-level share the era windows' with at most 2 percent on top.
|
||||
|
|
|
|||
|
|
@ -0,0 +1,2 @@
|
|||
class era seed attempt program_id min_site_ratio min_site top0.1_share control_share ratio_to_control max_item_reads control_max reads
|
||||
mx8+sh256x27+state+reg64c+fold+rw 0:edc4fa844da9dc98d37e965176f6558a31560e40502ab3ae5491b21aaaabfb07 0 0 c3c7ce6d9df51c48 1.00262 7 0.001683 0.001447 1.1631 132 111 1073741824
|
||||
|
|
|
@ -0,0 +1,2 @@
|
|||
class era seed attempt program_id min_site_ratio min_site top0.1_share control_share ratio_to_control max_item_reads control_max reads
|
||||
mx8+sh256x27+state+fold+rw 0:edc4fa844da9dc98d37e965176f6558a31560e40502ab3ae5491b21aaaabfb07 0 0 768497ac7a47599a 1.00266 13 0.001875 0.001646 1.1387 75 72 536870912
|
||||
|
File diff suppressed because it is too large
Load diff
BIN
proving/igneum-prove/target-remote/release/igneum-prove-export
Executable file
BIN
proving/igneum-prove/target-remote/release/igneum-prove-export
Executable file
Binary file not shown.
BIN
proving/igneum-prove/target-remote/release/igneum-prove-host
Executable file
BIN
proving/igneum-prove/target-remote/release/igneum-prove-host
Executable file
Binary file not shown.
69
tools/ci/batches/202-a284380b-5f50afd1.json
Normal file
69
tools/ci/batches/202-a284380b-5f50afd1.json
Normal file
|
|
@ -0,0 +1,69 @@
|
|||
{
|
||||
"run_id": "202-a284380b-5f50afd1",
|
||||
"manifest_sha": "a284380b",
|
||||
"cut_tip": "5f50afd1 (miner; pow and app cells on 77b5acc5, no crate move since); node a284380b on the key-succession pairing with the class v5 freeze (fingerprint cbc5bd0a)",
|
||||
"evidence_dir": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1",
|
||||
"boxes": [
|
||||
"build-4"
|
||||
],
|
||||
"method": "native",
|
||||
"note": "2.0.2 pair gate on build-4, 22:03 UTC: release-manifest-check green on 5f50afd1 (node block release-2.0.2-node a284380b, the 2.0.1 pairing); 77b5acc5..5f50afd1 moves pool/ (2 files) and packaging only Every suite cell maps its cases partially (the map's coverage words), so the green suites read NOT RUN in progress with their logs as evidence, never PASS by inference (the standard's rule; the 2.0.1 batch 201-7cfa422a-aa0e0f45 reads the same way).",
|
||||
"cells": [
|
||||
{
|
||||
"cell": "suite:pow",
|
||||
"status": "NOT RUN",
|
||||
"evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-pow.log",
|
||||
"note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; pow on release-2.0.2 77b5acc5 (box4, 226s); 77b5acc5..5f50afd1 moves no crate, so the cell covers the tip by content",
|
||||
"in_progress": true
|
||||
},
|
||||
{
|
||||
"cell": "suite:app",
|
||||
"status": "NOT RUN",
|
||||
"evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log",
|
||||
"note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; app on release-2.0.2 77b5acc5 (box4, 39s); 77b5acc5..5f50afd1 moves no crate, so the cell covers the tip by content",
|
||||
"in_progress": true
|
||||
},
|
||||
{
|
||||
"cell": "check:freeze",
|
||||
"status": "NOT RUN",
|
||||
"evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-kaspad-check.log",
|
||||
"note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; kaspad-check on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 35s)",
|
||||
"in_progress": true
|
||||
},
|
||||
{
|
||||
"cell": "suite:core",
|
||||
"status": "NOT RUN",
|
||||
"evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-core.log",
|
||||
"note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; core on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 26s)",
|
||||
"in_progress": true
|
||||
},
|
||||
{
|
||||
"cell": "suite:exec",
|
||||
"status": "NOT RUN",
|
||||
"evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log",
|
||||
"note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; exec on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 45s)",
|
||||
"in_progress": true
|
||||
},
|
||||
{
|
||||
"cell": "suite:miner",
|
||||
"status": "NOT RUN",
|
||||
"evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-miner.log",
|
||||
"note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; miner on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 45s)",
|
||||
"in_progress": true
|
||||
},
|
||||
{
|
||||
"cell": "suite:p2p-flows",
|
||||
"status": "NOT RUN",
|
||||
"evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-p2p-flows.log",
|
||||
"note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; p2p-flows on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 46s)",
|
||||
"in_progress": true
|
||||
},
|
||||
{
|
||||
"cell": "suite:consensus",
|
||||
"status": "NOT RUN",
|
||||
"evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log",
|
||||
"note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; consensus on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 45s)",
|
||||
"in_progress": true
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -0,0 +1,6 @@
|
|||
{
|
||||
"run_id": "census-v6-chainseed-trace-20261008-2305",
|
||||
"manifest_sha": "1a938abe4",
|
||||
"evidence_dir": "docs/analysis/class-v6/rows/chainseed-census-1a938abe4",
|
||||
"cells": [ { "cell": "census:class-v6", "status": "PASS", "method": "native", "evidence": "docs/analysis/class-v6/rows/chainseed-census-1a938abe4.md" } ]
|
||||
}
|
||||
Loading…
Reference in a new issue