Ziel
Memories werden nicht mehr alle gleich behandelt. Jedes Fragment bekommt einen Trust Level und optionale Evidence-Einträge mit Datei-/Symbol-/Commit-Referenz.
Aufgaben
Referenz
Siehe docs/architecture/verification.md und docs/roadmap/LEMMA-V2.md (Trust Hierarchy Master-Definition)
Akzeptanzkriterien
Ziel
Memories werden nicht mehr alle gleich behandelt. Jedes Fragment bekommt einen Trust Level und optionale Evidence-Einträge mit Datei-/Symbol-/Commit-Referenz.
Aufgaben
memory_evidenceTabelle anlegen (Migration)memory_validityTabelle anlegen (Migration)trust_levelFeld inmemoriesTabelle ergänzenlemma_memory_verifyTool implementierenlemma_memory_evidence_addTool implementierenReferenz
Siehe
docs/architecture/verification.mdunddocs/roadmap/LEMMA-V2.md(Trust Hierarchy Master-Definition)Akzeptanzkriterien