Přeskočit na obsah

Tato stránka byla automaticky přeložena z angličtiny, jediného jazyka, ve kterém se tento web píše. Číst originál.

Každý záznam znalostí je validní podle schématu bez neznámého klíče, jednoznačně identifikovaný, doložený důkazy, je-li ověřený, rozlišuje každý odkaz, který uvádí, a neobsahuje žádnou konverzaci; check, doctor a `majordomus knowledge check` odmítnou záznam, který tomu neodpovídá

Záznam znalostí pod candidates/ nebo curated/ se odmítne, když není tím, čím ho schéma definuje: neznámý klíč, třída nebo status mimo výčet, id, které se liší od názvu souboru nebo které si nárokuje i jiný záznam, ověřený záznam bez provenience, extrahovaný záznam bez jmenovaného důkazu, cíl derived_from nebo relations, který nevede nikam, nahrazený záznam, který nejmenuje náhradu a nezaznamenává zamítnutí, kandidát, který se prohlašuje za ověřeného, nebo řádek titulku, popisu či těla, který nese konverzaci. check, doctor i majordomus knowledge check jej všechny odmítnou nálezem FAIL knowledge a exit 10.

deklarovaný stavdeklarovaný stav: zaručeno Deklarováno jako deterministické a blokující, implementováno a s uvedeným behaviorálním testem, který to má dokázat. Zda to zaznamenaný běh podporuje, říká verdikt důkazů zobrazený vedle.

zaznamenané důkazyzaznamenané důkazy: nespuštěno Deklarováno jako zaručené, ale nepodložené zaznamenaným během: test je pojmenován, ale žádný úspěšný běh nad současnými vstupy zaznamenán není. jak se zaznamenávají důkazy

mj_validate_knowledge_integrity čte candidates/ a curated/ jednou a odmítne kandidáta, který tvrdí verified, visící cíl derived_from nebo relations, duplicitní id napříč oběma adresáři, klíč, který generovaný allow-list nenese, nahrazený záznam bez superseded_by i bez zamítnutí a řádek titulku, popisu či těla, který odpovídá kontrole přepisů, jíž se dodržuje never-store-transcripts. Reference na knihu a git (session, task, decision, commit) se přeloží zde, v jednom průchodu, a jsou vnější vůči kompilátoru grafu, který je nikdy nehlásí jako visící.

Co to znamená

Záznam znalostí pod candidates/ nebo curated/ je odmítnut, pokud není tím, čím schéma říká, že záznam je: neznámý klíč, třída nebo stav mimo výčet, id lišící se od názvu souboru nebo které si nárokuje i jiný záznam, záznam verified bez původu, záznam extracted neuvádějící žádné důkazy, cíl derived_from nebo relations, který se nikam nevyřeší, záznam superseded, který neuvádí náhradu a nezaznamenává zamítnutí, kandidát, který tvrdí, že je ověřen, nebo titulek, popis či řádek těla, který nese konverzaci. check, doctor a majordomus knowledge check jej všechny odmítnou nálezem FAIL knowledge a skončí s kódem 10.

Princip

mj_validate_knowledge_integrity v lib/knowledge.sh jednou zploští oba adresáře, zkontroluje front matter každého záznamu proti požadovaným klíčům, výčtům a generovanému allow-listu share/allow/knowledge.txt a sesbírá všechny odkazy do jednoho seznamu. Odkazy se řeší tam, kde podle svého typu cíl žije: soubor nebo test ve stromu, relace v úložišti relací nebo v ledgeru, úloha nebo rozhodnutí v ledgeru nebo adresáři stavu, commit v gitu jedním dávkovým dotazem cat-file, úkol v sekci projektu, záznam znalostí v kterémkoli adresáři, pravidlo nebo záznam rozhodnutí ve vrstvě. decision:none a task:none jsou výslovně odmítnuty. Regex přepisu, který drží project.never-store-transcripts, se aplikuje na titulek, popis a tělo. Duplicitní id se kontrolují napříč oběma adresáři. Kompilátor grafu zachází s cíli v ledgeru a gitu jako s externími a nikdy je nehlásí jako visící; právě tento validátor je řeší.

Jak to vidět

majordomus knowledge check                              # one line per finding; last line counts records and failures
printf -- '---\nschema: knowledge/v1\nid: bad\nkind: knowledge\nclass: fact\ntitle: "x"\ndescription: "y"\nstatus: verified\nepistemics: observed\ndate: 2026-09-12\nprovenance:\n  origin: extracted\n  derived_from:\n    - session:no-such-episode\n---\n\n# x\n' > .ai/repo/knowledge/candidates/bad.md
git add .ai/repo/knowledge/candidates/bad.md
majordomus knowledge check; echo "exit $?"               # FAIL knowledge ... claims verified under candidates/; ... does not resolve; exit 10
majordomus doctor | grep 'FAIL +knowledge'

Co nepokrývá

Neposuzuje, zda je tvrzení pravdivé, užitečné nebo hodné kurátorství; to je akt povýšení. Neověřuje README, které adresář nese, protože to je kontextový dokument a ověřuje se jako takový. Nerozlišuje odkaz vůči remote: commit, který git lokálně nemá, zde chybí, i když jinde existuje.

Proč existuje

Záznam, jehož reference nevede nikam, je tvrzení v převleku za citaci a čtenář o měsíce později jej nerozliší od pravdivého. Úložiště má dva adresáře a jedno pole stavu a právě pole je odděluje; kandidát, který tvrdí verified, přeskočil úkon, který slovu dává význam. .ai/repo/adrs/0091-knowledge-is-derived-at-the-episode-boundary-and-a-person-promotes-it.md zaznamenává rozhodnutí a majordomus.knowledge-integrity je pravidlo, které kontrolu spouští.

Detail vykreslený z docs/claims/knowledge-integrity.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Každý záznam znalostí je validní podle schématu bez neznámého klíče, jednoznačně identifikovaný, doložený důkazy, je-li ověřený, rozlišuje každý odkaz, který uvádí, a neobsahuje žádnou konverzaci; check, doctor a `majordomus knowledge check` odmítnou záznam, který tomu neodpovídá

    Vzniklo na Doctor.

  2. 2 · kanonické tvrzení

    knowledge-integritydeklarovaný stav: zaručeno v docs/CLAIMS.yaml

    Definováno v přečtěte si to na tomto webu · docs/KNOWLEDGE.md

  3. 3 · implementace

    lib/knowledge.sh · majordomus knowledge

  4. 4 · test a scénáře

    Test: test/cases/707_knowledge_check_refuses_malformed_records.sh

  5. 5 · zaznamenané běhy

    zaznamenané důkazy: nespuštěno jak se zaznamenávají důkazy

Ověřte si to sami

Test běží v jednorázovém dočasném repozitáři a ověřuje chování, ne řetězec ve zdrojovém kódu.

z klonu repozitáře
bash test/run.sh 707_knowledge_check_refuses_malformed_records

Kde se toto tvrzení používá

pokryté odpovědnosti

Související tvrzení stejná implementace

Prohledává názvy a popisy všech stránek, které tento web publikuje.