ignotusnemo/parano1d

Fork 0

v2.0.1: derive the fork target from the parent header #43

Merged

ignotusnemo merged 67 commits from v2 into main

2026-09-29 17:19:50 +00:00

ignotusnemo commented

2026-09-29 17:19:11 +00:00

Owner

Summary

At mainnet H210537, competing blocks with the same parent must share one ASERT target. The current v2.0.0 calculation uses each candidate's own timestamp, allowing an earlier timestamp to give that sibling more work. This patch derives the v2 target from the parent header and canonical anchor. The legacy rule remains unchanged through H210536. The v2 activation height is unchanged.

The patch also exposes the public opening of a pending contract call through getMempoolEntry and marks retained contract calls and closes in getBlockDetails. These fields help indexers retain already-public terms. The workspace version and release notes advance to 2.0.1. Release tooling now checks the active canonical, GitHub and GitLab repositories.

Verification

The isolated three-node test produced competing H10 blocks with different timestamps and the same target, then reconnected the nodes and confirmed a common H11. A separate isolated test reorganized across the H9/H10 boundary and verified contract rollback and recovery. The targeted difficulty, header, mempool contract, RPC classification and release-input tests pass.

## Summary At mainnet H210537, competing blocks with the same parent must share one ASERT target. The current v2.0.0 calculation uses each candidate's own timestamp, allowing an earlier timestamp to give that sibling more work. This patch derives the v2 target from the parent header and canonical anchor. The legacy rule remains unchanged through H210536. The v2 activation height is unchanged. The patch also exposes the public opening of a pending contract call through getMempoolEntry and marks retained contract calls and closes in getBlockDetails. These fields help indexers retain already-public terms. The workspace version and release notes advance to 2.0.1. Release tooling now checks the active canonical, GitHub and GitLab repositories. ## Verification The isolated three-node test produced competing H10 blocks with different timestamps and the same target, then reconnected the nodes and confirmed a common H11. A separate isolated test reorganized across the H9/H10 boundary and verified contract rollback and recovery. The targeted difficulty, header, mempool contract, RPC classification and release-input tests pass.

ignotusnemo added 67 commits

2026-09-29 17:19:11 +00:00

feat(v2): prototype proof-native object contracts 590b489a2b

Add a fixed sixteen-slot object-contract envelope to HistoryStep while preserving the existing Tx8x2 body, authorization capacity and Meta-A domain. Include B25 and B255 research fixtures, adversarial cases and explicit full/direct measurement modes.

This is a research prototype. It does not freeze an ABI, matrix pack, activation rule or soundness claim.

research(v2): publish proof-native contract study b0bded075c

Document the measured routes to proof-native contracts, the selected bounded object model and the exact B25 and B255 feasibility results. Include the standalone experiment harness, raw measurements, adversarial cases and reproduction instructions.

The study is authored by Ignotus Nemo and remains explicitly separate from a production ABI, frozen terminal or updated soundness certificate.

Merge main into v2 6a70162214

feat(v2): add fork schedule and checked contract core a88e502243

fix(v2): preserve legacy matrices and isolate object relation 33665588a0

feat(v2): add scheduled single-class candidate prover fc8b459287

test(v2): measure m23 capacity and fork proofs 685cebbb92

Bind authorization overflow to exact capacity. Add complete recursive proof and constrained receiver measurements after both legacy classes.

feat(v2): add measured 96-page input-budget candidate 0bf546ec34

perf(proof): reuse matrix weights and shrink C1 fold buffers 216d675595

Record 112-page m23 candidate and wire limits 0a5e29aa35

perf(proof): cache verified carried matrix claims 8e97b4053c

feat(consensus): schedule v2 activation, timing and rewards f894ba1b52

feat(contracts): add integer programs and scheduled templates 7e04b5281f

Bind configurable call limits into proof bank recipes.

feat(proof): add two-class v2 recursion 1ac4912379

feat(sync): verify and transport authenticated v2 origins 1dbaf6fb4d

feat(build): embed transition and retired v2 packs 25c93fa974

feat(mempool): admit and select height-bound contract calls fb640b6149

feat(node): mine and sync scheduled v2 blocks d8049fa300

feat(contracts): add typed wallet API and retained receipts 94119dbbdf

feat(cli): add contract templates and reviewed calls dc366d2d14

feat(gui): add contract templates and integer program editor f5b99401d7

fix(mining): follow fork timing and report v2 capacity 09f9938e63

test(v2): exercise contract lifecycles over P2P 8c65430c1b

fix(wallet): retain reviewed calls across submission failures 73bebb0413

fix(gui): explain integer contract failures bc5bf21123

test(v2): verify reorg across activation cddc2a67eb

test(v2): qualify full blocks on constrained receiver 6ad2717a1a

perf(wallet): share proof bytes across contract receipts f6505b14df

feat(wallet): discover contract balances after calls and reorgs 86d07d6609

test(v2): qualify cold sync without legacy matrices 932cf3c538

docs(v2): align mining settings and qualification results 4f94c1aa40

test(v2): qualify fork origin with both legacy classes 057f039283

build(v2): add source-scheduled matrix freezer 9f6490ff71

feat(soundness): account for joint v2 and legacy retirement 050771211d

build(v2): require explicit proof packs and retirement keys e98aebc4e9

test(v2): qualify retired-node contract production 141df467cd

test(v2): measure expanded B255 call budget 1ac7582303

feat(v2): schedule annual block rewards cb016840f8

feat(v2): align class input and call limits 3fdff49d64

fix(v2): enforce pinned transaction budgets f1ccf5f9bb

test(v2): verify shared input limits across State segments f302944538

test(v2): qualify constrained verification and startup checks cb9504f4b8

test(v2): verify contract lifecycle on the shared-input bank 38dca0b0c8

docs(v2): document scheduled classes and contract interfaces 6acf202e58

test(v2): qualify full blocks on four-CPU receiver 423d168332

test(v2): verify fork reorgs and shared receipts 7932fc94ea

fix(gui): separate contract activation from loading 4b9ce461d3

test(v2): verify production after both legacy classes a04c1252b0

test(v2): verify legacy retirement certificates 1b09f52838

test(v2): verify cold sync without legacy matrices 0a7ff09e00

test(v2): verify retired-node contract production 77c52fd2cc

docs(v2): record final-bank soundness accounting 9c7f80dd57

chore: prepare v2.0.0 release 7d80ef202e

test(v2): verify native release packages 6a0f8274d5

gui: separate contract creation, management and file import 80d8e58d33

contracts: merge retained calls and receipt imports 8f7e1a06b1

test(contracts): verify two-wallet recovery after pruning 5f5260fd1a

test(release): record contract wallet package checks 5fff8a6f39

docs(v2): document contracts and current network rules 39f7ca3401

docs(release): add v2.0.0 release notes 1efc8ad575

style: format v2 integration code 87a7235b55

fix(release): include v2 proof material in native builds 5912ab6977

Pass both frozen proof packs to all native platforms and synchronize release identity across canonical and mirror repositories.

fix(release): optimize matrix authentication during builds 1e4f745dc8

(cherry picked from commit 30c3f59246)

Merge main into v2 1c04aeadb2

fix(v2): derive block target from parent timestamp 55dc748eec

feat(rpc): expose pending contract openings and retained call kinds 9c8973541a

release: prepare v2.0.1 patch 525d3dfe2d

ignotusnemo merged commit a19a64ebb9 into main

2026-09-29 17:19:50 +00:00

No reviewers

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

ignotusnemo/parano1d!43

No description provided.

Rows
Columns