liviu

liviu pushed to main at aere-network/aere-docs

2026-08-19 11:32:12 +00:00

96ddc72890 Reproducible builds: the referenced aerenew checkout commit after the 2026-08-19 history clean-up (same tree, new hash)

liviu pushed to main at aere-network/aere-research

2026-08-19 11:32:01 +00:00

f0fb52862f Correction 2026-08-19: the anchor SMT model proves K=3-of-9 on anchor blocks since 13,034,000; the 14,050,000 fork height changed no enforcement and the 'blocking quorum' wording is withdrawn; runner entry added

liviu pushed to main at aere-network/aere-node

2026-08-19 11:15:35 +00:00

b7669355eb Correction 2026-08-19: the per-block Falcon quorum armed at 14,050,000 is retired in the shipped code; what is enforced is the anchor certificate (>=3 of 9 seals every 32nd block). Patches 0003/0004/0005 regenerated with Apache 4(b) notices and upstream headers visible; 0004 message now states the floor fork is active since 10,141,734

liviu pushed to main at aere-network/aere-node

2026-08-19 09:07:43 +00:00

d0cb9ca298 RUN-A-NODE: the import proof is no longer owed, it is measured: from block 0 to 14,088,211 and following the tip, 2026-08-16

liviu pushed to main at aere-network/pqc-migration-toolkit

2026-08-17 08:33:07 +00:00

add3b00891 The free scan now carries the confidence label, not just the colour

liviu pushed to main at aere-network/pqc-migration-toolkit

2026-08-17 08:24:36 +00:00

04f735eda6 The free scan now carries the confidence label, not just the colour

liviu pushed to main at aere-network/pqc-migration-toolkit

2026-08-17 07:42:56 +00:00

5b1c9079dd The free scan now carries the confidence label, not just the colour

liviu created branch main in aere-network/pqc-migration-toolkit

2026-08-17 07:31:34 +00:00

liviu pushed to main at aere-network/pqc-migration-toolkit

2026-08-17 07:31:34 +00:00

de9a79298c Aere PQC migration toolkit: measure an address quantum exposure from its bytecode

liviu created repository aere-network/pqc-migration-toolkit

2026-08-17 07:30:34 +00:00

liviu pushed to main at aere-network/aere-node

2026-08-15 23:00:04 +00:00

94438cd8f1 A package-built node has now imported chain 2800 from block 0 to the live tip, with zero anchor rejections

liviu pushed to main at aere-network/aere-node

2026-08-15 21:14:35 +00:00

d96ae52430 The 13,267,729 boundary explained: a historical window where anchoring was deliberately disarmed fleet-wide

liviu pushed to main at aere-network/aere-node

2026-08-15 21:03:23 +00:00

67e3c26e1c Patch 0003 regenerated with the schedule-boundary fix: a package-built node now crosses the first real anchor

liviu pushed to main at aere-network/aere-node

2026-08-15 20:28:28 +00:00

85747e23af Import-proof honesty pass: production validates since Aug 9 (not 'two months'), internal image tag and finding IDs removed, registry provenance stated plainly

liviu pushed to main at aere-network/aere-research

2026-08-15 20:28:26 +00:00

f2ab368c36 Hostile-read repairs across the kernel artifacts: 17 confirmed over-claims fixed to honest

liviu pushed to main at aere-network/aere-research

2026-08-15 19:52:16 +00:00

46c42164de SMT: registry index binding, the loader and the seal rule must read ONE mapping

liviu pushed to main at aere-network/aere-research

2026-08-15 19:51:03 +00:00

8546a4592d Crypto-agility layer verified live from a stranger's machine, with a negative control

liviu pushed to main at aere-network/aere-research

2026-08-15 19:36:29 +00:00

85495f3830 Execution Kernel Stage 4: parallel execution under MI, with a determinism oracle that goes red

liviu pushed to main at aere-network/aere-research

2026-08-15 19:15:56 +00:00

42dd039ddb Execution Kernel Stage 2: the claim-chain gap detector, with lag as a first-class metric

liviu pushed to main at aere-network/aere-research

2026-08-15 19:13:31 +00:00

cea943ff57 Execution Kernel, Stage 1: the MachineInterface seam, contract plus a differential replay harness proven on real blocks