igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity
4378 commits 395 branches 1 tag 2.7 GiB
Commit graph

26 commits

Author SHA1 Message Date
igneum-labs
1bfaf0a508 Reference apps F04 in the acceptance layer: run ra-20261008T1915-ver recorded, VER-05 in its own cell 
The verification rows re-run on the 2.0 devnet with the lock-state code: VER-03, VER-04, VER-06, VER-08 pass (coverage names
the F04 cases), VER-01 and VER-02 FAIL by design, VER-05 FAIL on this run because the public read node now reports
startedFrom snapshot (the reader on build-1 is still from genesis); VER-05 moves to harness:reference-apps-ver-availability
so its verdict never drags the other rows. Recorded through test-record.mjs; the harness map page regenerated.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 19:15:55 +00:00
igneum-labs
9e689c3051 Reference apps F04: the one-file verifier rebuilt on the box from the lock-state source; the oracle README names the refused recovery locks 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 19:00:18 +00:00
igneum-labs
bd39a7c18a Reference apps, Review B F04: a recovery lock is never presented as a final lock 
The light service maps the node's lockKind (igneum_getFinalityCheckpoints, 2.0.2 line) to lock_state beside every certificate
it answers with; core.js reads it as one step on /light and /receipt, refuses an unknown kind and a receipt that claims final
under a reported recovery lock; the pages print "recovery lock, not final" on the result, the receipt file carries lock_state,
the one-file verifier prints it; the shared terms block defines the recovery lock; /oracle says recovery locks are not accepted
by the Sepolia verifiers (two-thirds rule only, so every stored root passed the final rule). Node and browser negative cases
added. On a node before the field nothing changes.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 18:58:50 +00:00
igneum-labs
955fac1a19 The reference apps on the Igneum 2.0 devnet: the verifier's placement check takes the DAA-seconds rule (checkpoint i at DAA 30 (i - 1) from a genesis anchor, finality.rs daa_target; devnet-4 runs it from DAA 0, so its certificates sit under 30 i in blue score), the homepage card shares it; /light verifies a devnet-4 balance (chain block 3743 under checkpoint 246, 4 trie nodes) and /receipt a devnet-4 transaction (checkpoint 241), every negative case refused on both devnets' fixtures; the oracle takes the coinbase amount width as a constructor immutable and is redeployed for devnet-4 (0x06c12c0c…, 16 bytes), certificate 249 verified by the devnet-4 verifier and chain block 3815's root stored, provenBalance equal to eth_getProof; the offline verifier rebuilt 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 18:23:53 +00:00
igneum-labs
31f8e6435d Test registry: this lane's run fields inserted into the approved registry textually (master's bytes untouched, rule 26); the read service serialises coinbase amounts at the 2.0 devnet's 16-byte wire width (18 decimals), so /receipt verifies on igneum-devnet-4 (checkpoint 241, 719 headers); the devnet-4 fixtures 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 18:12:30 +00:00
igneum-labs
e78156b813 Merge build/master into reference-apps (the approved registry carried byte for byte with this lane's run fields inserted; master's nav on every rebuilt page) 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 18:10:59 +00:00
igneum-labs
95f540ef53 Test registry: the EVM and VER suites' first automated runs on the Igneum 2.0 devnet (run fields merged under rule 26, owner_lane reference-apps): EVM-02 to EVM-06 PASS (22 compatibility rows, run ra-20261008T1744-evm, two EVM-02 rows added: another chain id refused, a replay refused), EVM-01 PARTIAL and EVM-07 NOT RUN with their dependencies and clocks; VER-03 to VER-06 and VER-08 PASS, VER-01 and VER-02 FAIL by design and disclosed (node-supplied voter table, statement in place of the proof), VER-07 the wallet lane's; the VER runner tools/reference-apps/ver/run.mjs with its evidence files; the write-back script 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 17:47:26 +00:00
igneum-labs
b902b8bec1 Reference apps on the 2.0 devnet before its first lock: the pages and the read service answer "no finality certificate yet; the first lock comes when the weight window fills at DAA 7,200" with the live DAA; the light client and the service refuse any certificate or proof whose network string is not the release manifest's network.id; /oracle labels the devnet-4 verifier "table installs at the first lock" 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 17:20:42 +00:00
igneum-labs
3b54f32f9b /oracle: the igneum-devnet-4 verifier (0x874D8Be5…) set on the devnet-4 oracle; its table installs at the chain's first lock (about 23:00 on 8 October) 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 17:01:08 +00:00
igneum-labs
83a6430d23 Oracle for the 2.0 devnet on Sepolia (0xbb345004…, statements with chain id 4465, on the shared verifier); /oracle says the shared verifier's installed table is Devnet 3's until devnet-4's lands 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 16:54:21 +00:00
igneum-labs
2215a23f0f Compatibility rows on the Igneum 2.0 devnet: 20 of 20 pass with real transactions on igneum-devnet-4 (chain id 4465; ERC-20 deploy, transfer, approve and transferFrom; a probe contract; fee quotes and estimates against gasUsed; the 21,000-limit transfer; a revert with Error(string) data decoded from eth_call's raw answer; out-of-gas; receipt fields, bloom and the rebuilt receipts trie root; logs and index agreement; block context, CREATE2; the measured differences: coinbase per including block, prevrandao from the epoch seed, the two-dimensional fee split); site/lc restored to the payment-receipt code another lane's landing (509e18d7) had reverted; the read service and /api/checkpoint read devnet-4's dn4_ certificates (?source=dn4) 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 16:34:50 +00:00
igneum-labs
dc2851256a Merge build/master into reference-apps (the 2.0 site wipe: the three built pages gone, the devnet wording on /light, /receipt and /oracle; the verification labels, the proof boundary and the data-availability paragraph kept) 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 16:25:16 +00:00
igneum-labs
860e8054f5 Compatibility rows, first run on the Igneum 2.0 devnet (igneum-devnet-4, chain id 4465): the fee quotes, the receipts trie root of a live block, the index agreement and the randomness source pass; the sixteen rows that send are served untested until a sender is funded there 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 16:24:26 +00:00
igneum-labs
e7ad343b9c Site 2.0 wipe: merge the moved master (the 2.0 plan, counter-asic-4, enforced proving, reference apps, pool vote key, tn-land); the reference-app pages take master's note with the positioning line, no devnet number, 24 px blocks; /bench and /journey stay removed; the public ledger regenerated from the 2.0 source; the grants lead names the devnet 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 16:11:14 +00:00
igneum-labs
34fdf1beee Igneum 2.0, compatibility as a product deliverable: /compatibility (docs/build/compatibility.md rendered by the builder programme's shell, its rows from tools/reference-apps/compat/results.json), the runner tools/reference-apps/compat/run.mjs with every row as a test against the devnet (representative contracts, wallet fee estimation, indexing, failed transactions, receipts, application assumptions, the measured differences: block context, randomness, two-dimensional fees), every row served untested until the 2.0 devnet answers; the positioning line and the three boundaries on /light, /receipt and /oracle; the Build group's nav entry 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 15:49:34 +00:00
igneum-labs
6298d89ad5 Merge commit '907a8ad7c' into site-2.0-wipe 
# Conflicts:
#	site/lc/app.js
#	tools/reference-apps/receipt/verify-receipt.src.mjs
 2026-10-08 15:43:09 +00:00
igneum-labs
907a8ad7ce Site reset to Igneum 2.0, second pass: the reference apps and the deploy smoke pins follow the Igneum 2.0 devnet 
- /light, /receipt and the offline receipt verifier say "devnet, no value" (bundle and source), the reference-app test page
  names no devnet number, the faucet API's closed message names no testnet
- /oracle drops the earlier-oracle history sentence
- tools/site-deploy-from-mirror.sh: the served-page pins no longer expect "Devnet 3 faucet" or the class v5 floor history;
  they expect the Igneum 2.0 devnet faucet title and igneum-devnet-4 on /build

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 15:42:20 +00:00
igneum-labs
8ec8a70081 Reference apps: the payment receipt. The transaction's execution outcome is authenticated through the proven segment's receipts commitment: the segment record (BLS by its aggregator, carried under the certificate) commits keccak over the shard receipts roots, the shard's receipts rebuild its ordered trie root in the browser and offline, and the transaction's receipt sits in it (status, logs). Issued for a transaction executed at a paid segment's last block; otherwise the inclusion receipt, with the reason. Eight payment negative cases pass beside the nine inclusion ones; the page and the one-file verifier name which receipt they issue 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 15:06:21 +00:00
igneum-labs
3f648a53b1 Reference apps, the review's four orders: /receipt is a transaction inclusion receipt in title, copy, file and the offline verifier's output (a payment receipt authenticates the outcome and is named as the next step); /light states its trusted inputs in one block and reads as a verification path with stated trust assumptions; /oracle discloses the deployer-installed voter table and the unchecked aggregator signature on the page and in trust() (oracle redeployed on the shared verifier, 0x3ad71d46, chain id accepted before and after the class v5 floor); the four words included, executed, proven, finalised defined once in site/partials/terms.html and injected on the three pages 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 14:48:23 +00:00
igneum-labs
2873e4c4f8 Reference apps: the oracle on the shared IgneumCertificateVerifier (setVerifier 12:36 BST; certificate 2232 recorded with a real BLS check, block 28439's root stored under it, provenBalance equal to the node's eth_getProof); real-verifier.mjs; the tests skip the synthetic part when the shared verifier is installed; /oracle carries the addresses; the test page's transaction search respects the RPC's rate 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 11:38:09 +00:00
igneum-labs
1e0782c3aa Reference apps: the oracle's write helper waits for an empty deployer mempool and re-reads before sending (a duplicate submit landed once) 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 10:52:41 +00:00
igneum-labs
ed1070ae40 Reference apps: the balance proof answers with the earliest certificate above the carrier (the certificate travels in the answer), the real Devnet 3 balance fixture (26631, 97 KB) and its negative cases under Node; the oracle's first real root on Sepolia (block 26631, 404,376 gas, 41 cases pass); the account object captured in the balance verifier 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 10:45:37 +00:00
igneum-labs
381aef9ca2 Reference apps: the Sepolia state oracle (tools/reference-apps/oracle: IgneumStateOracle with keyed BLAKE2b through the EIP-152 precompile, the body merkle path, the IGNS record parse and an MPT verifier; StubCertificateVerifier as the stand-in; deploy, demo and the negative cases through eth_call, 34 passed on Sepolia), its addresses on /oracle 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 10:41:57 +00:00
igneum-labs
39931d0b42 Reference apps: a receipt proves against the earliest certified checkpoint above its block (the smallest proof, 10 headers and 143 KB instead of 289 headers and 2 MB), the certificate used travels in the receipt 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 10:31:00 +00:00
igneum-labs
25a7d9e959 Reference apps: client code under site/lc (a directory named light or receipt would shadow the clean URLs /light and /receipt); step details as strings 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 10:28:40 +00:00
igneum-labs
32bfed13e6 Reference apps (8 Oct 2026): the light wallet (/light), the payment receipt (/receipt) and the Sepolia state oracle page (/oracle), each on Devnet 3; site/light/core.js verifies certificate, header path, coinbase merkle inclusion, segment record (aggregator BLS) and the MPT account proof in the browser; the read service tools/reference-apps/light-service (behind rpc.devnet.igneum.network/light); the one-file offline receipt verifier (site/receipt/verify-receipt.js); /api/checkpoint?source=dn3; the negative cases in verify.test.mjs and /light/test; nav routes 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
 2026-10-08 10:26:55 +00:00