Naar inhoudBlockAssay

Waargenomen, afgeleid, onbekend en onvoldoende bewijs

P14-L01 · P14 · P14-M01

Classificeer claims consistent over de vier bewijstoestanden

ILLUSTRATIVE · needs_review

Vereisten: P08-L08 · P09-L08

Leerdoelen

  • Classificeer claims consistent over de vier bewijstoestanden
  • Wijs bewijstoestanden aan afzonderlijke claims toe in plaats van een rapportbadge als universele waarheid te behandelen.

Uitleg

Een bewijstoestand hoort bij een claim. OBSERVED betekent dat het benoemde artefact een genoemd veld of gebeurtenis binnen een gespecificeerde meetgrens bewaart. INFERRED betekent dat een conclusie volgt uit benoemde waarnemingen plus vermelde aannames. UNKNOWN betekent dat een benodigde waarde ontbreekt. INSUFFICIENT EVIDENCE betekent dat een voorgestelde conclusie onvoldoende onderbouwing heeft; het bewijst niet haar tegenovergestelde.

Uitleg

Begin met het schrijven van de claim voordat je haar toestand kiest. “De fictieve kaart bevat review” kan tegen de fixture worden gecontroleerd. “Als de flag onveranderd blijft, bevat de volgende sample ook review” is een voorwaardelijke afleiding onder een expliciete persistentieaanname. De toekomstige sample zelf blijft afwezig. “De provider mat dit op een specifiek moment” vereist een providerrecord dat deze fixture niet bevat. “Een benoemd persoon beheerst het object” vereist identiteitsbewijs dat een abstract label niet kan leveren.

Gebruik een register met vier kolommen: claim, artefactverwijzing, bewijstoestand en grens. Een afleiding moet zowel invoer als aannames benoemen, niet alleen de betrouwbaarheid van het invoerrapport erven. Een latere ontbrekende meting is UNKNOWN, ook wanneer een eerdere sample bestaat. Onbewezen toeschrijving is INSUFFICIENT EVIDENCE, ook als het rapport gedetailleerd oogt.

ILLUSTRATIVE is de dataherkomst van deze kaarten. OBSERVED in deze oefening betekent zichtbaar in de fictieve fixture, niet waargenomen op een echte blockchain. Verhef een gesimuleerd label of netjes opgemaakte tabel nooit tot historisch productbewijs. Een record kan meerdere toestanden tegelijk bevatten en een review-badge moet onderscheiden blijven van een redactionele reviewStatus van needs_review.

Historisch voorbeeld

SIM-ALPHA is een fictief label zonder keten of adres. De fixture bevat displayedFlag=review; laterState en allegedOperator zijn null. De afgebakende uitspraak is “de onderwijsfixture bevat een review-flag”. Haar providerdekking is UNKNOWN en haar vermeende menselijke exploitant is niet vastgesteld. Geen kapitaal of wallet betrokken.

Wat het bewijs aantoont

OBSERVED is begrensd tot het gespecificeerde opgeslagen artefact of expliciet fictieve fixture. INFERRED-claims benoemen hun invoer en aannames. Door de auteur gedefinieerde fictieve kaarten, geen providerwaarnemingen of werkelijk BlockAssay-rapport.

Wat het bewijs niet aantoont

UNKNOWN-velden blijven afwezig. INSUFFICIENT EVIDENCE bewijst niet het tegenovergestelde. Er volgt geen onbewezen menselijke toeschrijving, gegarandeerde veiligheid/winst, financiële aanbeveling of uitvoerbare transactie.

Veelgemaakte fouten

UI- of geaggregeerde velden tot ruwe providerrecords verheffen; datums tussen bronnen vervangen; verborgen identiteit of links verzinnen; een tijdstempel of commerciële badge als bewijs behandelen.

Praktische oefening

Classificeer vier claims: (1) de fixture toont review; (2) de volgende sample toont review; (3) de providertijdstempel is bekend; (4) dezelfde persoon beheerst dit en een ander object. Lever voor elk een verwijzing, aanname waar relevant en een zin die uitbreiding van de claim vermijdt.

Uitgewerkte correctie tonen

(1) OBSERVED binnen /classificationCards/displayedFlag en de ILLUSTRATIVE-grens. (2) INFERRED uitsluitend voorwaardelijk, met de aanname dat de flag onveranderd blijft. Geen bewijs hier stelt die aanname of het toekomstige resultaat vast; zonder haar heeft de toekomstpersistentieclaim INSUFFICIENT EVIDENCE en is de latere toestand UNKNOWN. (3) UNKNOWN: observedAt en providerbewijs ontbreken en zijn niet terug te halen uit de bestandsdatum. (4) INSUFFICIENT EVIDENCE: er bestaat geen persoon-, keten- of controlebewijs. Een geldig register houdt alle vier uitspraken gescheiden. Vervang null niet door nul en verander bewijsgebrek niet in ontkenning van controle.

Visuele specificaties

Vier claimkaarten verbonden met een claimregister. Gebruik afzonderlijke toestandslabels, toon SIMULATED boven elke kaart en laat ontbrekende-tijd- en toeschrijvingscellen zichtbaar UNKNOWN/INSUFFICIENT EVIDENCE. Geen betrouwbaarheidspercentage of veiligheidskleur wordt afgeleid.

SPECIFICATION_ONLY — definitieve visuele productie maakt geen deel uit van deze contentrun.

Controlelijst

  • Benoem het exacte artefact en de identiteitsgrens.
  • Behoud bron/tijd/dataStatus voor elke claim.
  • Houd OBSERVED, INFERRED, UNKNOWN en INSUFFICIENT EVIDENCE onderscheiden.
  • Behoud beperkingen zonder privégegevens of actuele vervangingen.

Samenvatting

  • Artefactintegriteit staat los van feitelijke volledigheid.
  • Herkomst en tijdstempelprecisie blijven bij hergebruik behouden.
  • Een afgebakende conclusie moet haar onbekenden doorstaan.

Volgende les

P14-L02

Hulpmiddelen

Uitsluitend offline bewijsleesoefening. Geen providerverversing, privéaccounttoegang, oefening met echt geld, wallet-ondertekening, toegangswijziging of generatie van runtime-uitvoer.

Bronnen en grenzen van claims

  • SIM: Fictieve bewijsworkflowkaarten P14 (interne, niet-openbare bron) — Door de auteur gedefinieerde fictieve kaarten, geen providerwaarnemingen of werkelijk BlockAssay-rapport.

Bewijsklassen

ILLUSTRATIVE — Door de auteur gedefinieerde fictieve kaarten, geen providerwaarnemingen of werkelijk BlockAssay-rapport.

Observatiedatum

null — ILLUSTRATIVE-fixture heeft geen historische waarnemingstijdstempel.

Beoordelingsstatus

needs_review

Visuele specificaties

P14-L01-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Classificeer claims consistent over de vier bewijstoestanden

Door de auteur gedefinieerde fictieve kaarten, geen providerwaarnemingen of werkelijk BlockAssay-rapport.

Vier claimkaarten verbonden met een claimregister. Gebruik afzonderlijke toestandslabels, toon SIMULATED boven elke kaart en laat ontbrekende-tijd- en toeschrijvingscellen zichtbaar UNKNOWN/INSUFFICIENT EVIDENCE. Geen betrouwbaarheidspercentage of veiligheidskleur wordt afgeleid.

Vier claimkaarten verbonden met een claimregister. Gebruik afzonderlijke toestandslabels, toon SIMULATED boven elke kaart en laat ontbrekende-tijd- en toeschrijvingscellen zichtbaar UNKNOWN/INSUFFICIENT EVIDENCE. Geen betrouwbaarheidspercentage of veiligheidskleur wordt afgeleid.

Stapel elke claim-/bron-/tijd-/grenskaart op 390 px; houd volledige ID’s leesbaar en brede tabellen in lokale scrollers. Lever het volledige tekstequivalent.

Proza mag RTL gebruiken; identifiers, exacte tijden en decimale berekeningen blijven LTR. Behoud relatierichting.

SIM-P14-EVIDENCE-WORKFLOW-v1

Bronnen en grenzen van claims

SIM · ILLUSTRATIVE_FIXTURE

Fictieve bewijsworkflowkaarten P14

Ondersteunde claim
Specifieke voorbeeld- en oefenvelden/claimgrenzen in deze les
Verificatiegrens
Door de auteur gedefinieerde fictieve kaarten, geen providerwaarnemingen of werkelijk BlockAssay-rapport.
Controledatum
2026-10-02

Interne, niet-openbare bron: dit bewijs is intern gecontroleerd en niet gepubliceerd.

Herkomst van gegevens

id: SIM-P14-EVIDENCE-WORKFLOW-v1

dataStatus: ILLUSTRATIVE

observedAt: null

source: Interne, niet-openbare bron: dit bewijs is intern gecontroleerd en niet gepubliceerd.

scope: Author-defined fictional cards, not provider observations or an actual BlockAssay report.

Toets je redenering

P14-L01-Q1 · Welke toestand past het best bij een ontbrekende providermeettijd?
P14-L01-Q2 · Wat moet een afgeleide claim vergezellen?
P14-L01-Q3 · Bewijst INSUFFICIENT EVIDENCE voor dezelfde-controleurtoeschrijving verschillende controleurs?
P14-L01-Q4 · Wat betekent OBSERVED voor deze fictieve kaart?
P14-L01-Q5 · Kan één rapport legitiem alle vier bewijstoestanden bevatten?