Naar inhoudBlockAssay

Ontbrekend, conflicterend en verouderd bewijs

P10-L06 · P10 · P10-M02

Los conflicten op of rapporteer onvoldoende bewijs

ILLUSTRATIVE · needs_review

Vereisten: P10-L05

Leerdoelen

  • Los conflicten op of rapporteer onvoldoende bewijs
  • Los conflicterende metingen op volgens tijd, eenheid en dekking voordat je een waarde kiest.

Waarom dit belangrijk is

Twee providers kunnen verschillen omdat zij andere vensters maten, niet omdat één misleidt. De gunstige waarde kiezen verbergt het werkelijke bewijsprobleem.

Uitleg

Begin met een conflictregister. Leg per waarde activa-identiteit, keten, blok/slot, ruwe eenheid, finaliteitsbasis, paginering en opvragingstijd vast. Normaliseer verenigbare eenheden en behoud ruwe responsen. Waarden van verschillende blokken kunnen beide geldige waarnemingen zijn; zij beschrijven niet één gezamenlijk snapshot. Een ontbrekend veld is geen nul en een verouderd veld wordt niet vernieuwd door dezelfde cache opnieuw op te halen.

Als records werkelijk dezelfde toestand betreffen, toets decoderversie, tokendecimalen, weggelaten gebeurtenissen, omgang met pending/reorg en paginering. Middel onverenigbare saldi niet tot synthetisch “consensus”-getal. Een onafhankelijk primair toestandsrecord kan een veldconflict oplossen, maar alleen bij passende reikwijdte en identificator. Bewaar het eerdere conflict en verklaar de oplossing in plaats van bewijs te overschrijven.

De conclusie moet aangeven welke beperktere claims worden ondersteund en wat niet beschikbaar blijft. UNKNOWN labelt een onopgelost veld; INSUFFICIENT EVIDENCE betekent dat een voorgestelde beslissing, zoals opnamebeschuldiging, niet door die velden kan worden onderbouwd. Een leeg toolpaneel kan dekkingsfalen zijn, geen zuiver resultaat.

Begrippen

Verouderd: waarde waarvan de gemeten toestand vóór de geclaimde waarneming ligt.

Conflictregister: bronrecords naast elkaar met controles op verenigbare velden.

Ontbrekend: niet-beschikbaar veld, anders dan numerieke nul.

Oplossing: met bewijs onderbouwde verklaring van verschil.

Historisch voorbeeld

ILLUSTRATIVE: provider A geeft saldo 100 bij blok 50 met 0 decimalen. Provider B geeft 9000 ruwe eenheden bij blok 51 met 2 decimalen: 90 weergegeven eenheden. Provider C geeft null bij blok 51 omdat het ondersteunde gebeurtenistype niet beschikbaar is. Een opnameclaim van 10 eenheden wordt voorgesteld, maar geen overgangsontvangstbewijs is aangeleverd.

Visuele specificaties

Bewijspaneel met A/B/C-rijen, ruwe/weergavebedragen en blokkolommen. Markeer tijdsmismatch en ontbrekende C; toon opnameclaim als onopgelost, niet als rode fraudebadge.

Bijschrift: Fictieve conflicterende waarnemingen worden aangesloten vóór enige gebeurtenistoeschrijving.

SPECIFICATION_ONLY — de gerenderde visual is niet geproduceerd of onafhankelijk beoordeeld.

Wat het bewijs aantoont

A en B beschrijven verschillende gestipuleerde bloktoestanden; B converteert tot 90 eenheden. C ontbreekt, is geen nul. Het schijnbare verschil van 100 naar 90 is een mogelijke toestandsverandering die overgangsbewijs vereist.

Wat het bewijs niet aantoont

Het bewijst geen opnamegebeurtenis, controllerintentie, providerfraude of actueel saldo. Zelfs een werkelijk saldoverschil kan meerdere overgangen of onverenigbare boekhouding weerspiegelen.

Veelgemaakte fouten

Null als nul behandelen; 100 en 9000 middelen; blokmismatch negeren; het verschil diefstal noemen; ruwe records verliezen na normalisatie.

Praktische oefening

Maak het conflictregister, bereken B, verwerp één ongeldige aggregatie en schrijf een conclusie over de voorgestelde opname. Specificeer het volgende doorslaggevende record om te vragen.

Uitgewerkte correctie tonen

A: blok 50, raw100, decimals0, display100. B: blok 51, raw9000, decimals2, display90. C: blok 51, niet beschikbaar, weergave onbekend. Een rekenkundig gemiddelde vermengt tijd- en eenheidsbasissen en is ongeldig. “De fixture bevat een 10-eenhedenverschil tussen afzonderlijke blokwaarnemingen; opnamemechanisme en toeschrijving zijn niet bewezen.” Vraag overgangsontvangstbewijs/toestandaansluiting voor het exacte activum tussen blokken50–51, met volledige relevante dekking. Bewaar C als leemte in providerdekking.

Controlelijst

  • Stem identiteit, eenheid, tijd en finaliteitsbasis af.
  • Bewaar null als niet beschikbaar.
  • Verwerp gemiddelden van onverenigbare toestanden.
  • Benoem het bewijs dat de specifieke claim moet oplossen.

Samenvatting

Los eerst de meetbasis op; rapporteer bij ontbrekend doorslaggevend overgangsbewijs de precieze onopgeloste claim.

Samenvatting

  • Null is geen nul.
  • Verschillende bloktoestanden zijn niet één snapshot.
  • Saldoverschil alleen noemt geen mechanisme of motief.

Volgende les

P10-L07

Hulpmiddelen

Gebruik de genoemde BlockAssay-tool alleen als context voor bewijslezing. Deze les creëert geen tooluitvoer, accountsessie of toegangsrecht. Offline oefening; onderteken, implementeer, autoriseer of financier niets.

Bronnen en grenzen van claims

  • API: Specificatie van openbare Esplora API — GET-routes, gehele satoshiwaarden en geïndexeerde bevestigings-/outspendvelden. Grens: Alleen mechanismedocumentatie; oorspronkelijke illustratieve waarden zijn gestipuleerd, geen waarnemingen. Historische records hebben afzonderlijk vastgelegde herkomst en expliciete verzamelingsleemten.

Bewijsklassen

ILLUSTRATIVE — volledig fictieve offline invoer; geen actuele waarneming.

Observatiedatum

null — geen echte waarneming

Inhoudsversie

1

Beoordelingsdatum

null

Beoordelingsstatus

needs_review

Visuele specificaties

P10-L06-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Los conflicten op of rapporteer onvoldoende bewijs

Fictieve conflicterende waarnemingen worden aangesloten vóór enige gebeurtenistoeschrijving.

Bewijspaneel met A/B/C-rijen, ruwe/weergavebedragen en blokkolommen. Markeer tijdsmismatch en ontbrekende C; toon opnameclaim als onopgelost, niet als rode fraudebadge.

Bewijspaneel met A/B/C-rijen, ruwe/weergavebedragen en blokkolommen. Markeer tijdsmismatch en ontbrekende C; toon opnameclaim als onopgelost, niet als rode fraudebadge.

Stapel waarnemingen, aannames, leemten en conclusie op 390 px; behoud volledige ID’s en volledig tekstequivalent. Brede tabellen scrollen lokaal.

Proza mag RTL volgen; ID’s, hoeveelheden en tijdassen blijven LTR. Behoud afhankelijkheidsrichting.

P10-L06-ILLUSTRATIVE-v1

Bronnen en grenzen van claims

API · PRIMARY_DOCUMENTATION

Specificatie van openbare Esplora API

Ondersteunde claim
GET-routes, gehele satoshiwaarden en geïndexeerde bevestigings-/outspendvelden.
Verificatiegrens
Alleen mechanismedocumentatie; oorspronkelijke illustratieve waarden zijn gestipuleerd, geen waarnemingen. Historische records hebben afzonderlijk vastgelegde herkomst en expliciete verzamelingsleemten.
Controledatum
2026-10-02
Primaire bron openen
https://github.com/Blockstream/esplora/blob/master/API.md

Herkomst van gegevens

id: P10-L06-ILLUSTRATIVE-v1

dataStatus: ILLUSTRATIVE

observedAt: null

source: Original offline scenario in realOrHistoricalExample

scope: Fictional stipulated labels and values. No wallet, deployment, transaction, token launch or production observation.

Toets je redenering

P10-L06-Q1 · Hoe moet null van provider C een weergavewaarde worden?
P10-L06-Q2 · B geeft 9000 eenheden met twee decimalen terug. Wat is verenigbare weergave?
P10-L06-Q3 · Waarom A en B niet middelen tot één vertrouwd saldo?
P10-L06-Q4 · Bewijst het verschil van 100 naar 90 opname?
P10-L06-Q5 · Wat moet gebeuren nadat een onafhankelijk record van dezelfde toestand een decoderfout oplost?