Commit e3bd5c5
Re-pin the spec-engine identities, the H1 calibrate fixture and the best-iterate oracle's gates attestation for the rebased tree (#355)
Rebased onto main after #881 and #883. The country-bundle digests, the seed
protocol and map, the loader golden vector, the US spec digest in the
multispine pool-tool test, the regenerated coverage report and the H1
calibrate parity fixture are re-cut on the combined tree. Main's new
pre-best-iterate oracle attests the gates module's bytes; #355's gates
changes (per-record initial probabilities and the protected mask) move that
digest legitimately, so the attestation is re-pinned and the oracle's
byte-identity checks on the excluded paths still pass.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>1 parent 7de1690 commit e3bd5c5
6 files changed
Lines changed: 14 additions & 14 deletions
File tree
- docs/evidence/spec-engine
- packages
- microcosm-build
- src/microcosm/build/spec_engine
- tests
- microcosm-calibrate/tests/fixtures/pre_best_iterate
- microcosm-graph/tests/fixtures/parity/kernels/calibrate
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1656 | 1656 | | |
1657 | 1657 | | |
1658 | 1658 | | |
1659 | | - | |
1660 | | - | |
| 1659 | + | |
| 1660 | + | |
1661 | 1661 | | |
1662 | 1662 | | |
1663 | 1663 | | |
1664 | | - | |
1665 | | - | |
| 1664 | + | |
| 1665 | + | |
1666 | 1666 | | |
1667 | 1667 | | |
1668 | 1668 | | |
| |||
1677 | 1677 | | |
1678 | 1678 | | |
1679 | 1679 | | |
1680 | | - | |
| 1680 | + | |
1681 | 1681 | | |
1682 | 1682 | | |
1683 | 1683 | | |
| |||
1698 | 1698 | | |
1699 | 1699 | | |
1700 | 1700 | | |
1701 | | - | |
| 1701 | + | |
1702 | 1702 | | |
1703 | 1703 | | |
1704 | 1704 | | |
| |||
2599 | 2599 | | |
2600 | 2600 | | |
2601 | 2601 | | |
2602 | | - | |
| 2602 | + | |
2603 | 2603 | | |
2604 | 2604 | | |
2605 | 2605 | | |
| |||
2609 | 2609 | | |
2610 | 2610 | | |
2611 | 2611 | | |
2612 | | - | |
| 2612 | + | |
2613 | 2613 | | |
2614 | 2614 | | |
2615 | 2615 | | |
Lines changed: 2 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
359 | 359 | | |
360 | 360 | | |
361 | 361 | | |
362 | | - | |
363 | | - | |
| 362 | + | |
| 363 | + | |
364 | 364 | | |
365 | 365 | | |
366 | 366 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
236 | 236 | | |
237 | 237 | | |
238 | 238 | | |
239 | | - | |
| 239 | + | |
240 | 240 | | |
241 | 241 | | |
242 | 242 | | |
| |||
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2504 | 2504 | | |
2505 | 2505 | | |
2506 | 2506 | | |
2507 | | - | |
| 2507 | + | |
2508 | 2508 | | |
2509 | 2509 | | |
2510 | 2510 | | |
| |||
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
131 | 131 | | |
132 | 132 | | |
133 | 133 | | |
134 | | - | |
| 134 | + | |
135 | 135 | | |
136 | 136 | | |
137 | 137 | | |
| |||
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
0 commit comments