32 lines
3.5 KiB
YAML
32 lines
3.5 KiB
YAML
schema-version: 1
|
|
claims:
|
|
- {id: C-PROJECT-001, type: factual, section: document, sources: [{fact-id: F-PROJECT-001}], status: supported}
|
|
- {id: C-OUTPUT-001, type: factual, section: document, sources: [{fact-id: F-VERIFY-001}, {fact-id: F-OUTPUT-001}], status: supported}
|
|
- {id: C-CODEX-001, type: factual, section: document, sources: [{fact-id: F-CODEX-001}], status: supported}
|
|
- {id: C-XTOOL-001, type: factual, section: document, sources: [{fact-id: F-CODEX-001}], status: supported}
|
|
- {id: C-PROOF-001, type: factual, section: proof, sources: [{fact-id: F-PROOF-001}], status: supported}
|
|
- {id: C-INVOCATION-001, type: factual, section: quick-start, sources: [{fact-id: F-CODEX-001}], status: supported}
|
|
- {id: C-RESULTS-001, type: factual, section: quick-start, sources: [{fact-id: F-OUTPUT-001}], status: supported}
|
|
- {id: C-NO-AUTO-APPLY-001, type: factual, section: quick-start, sources: [{fact-id: F-APPLY-001}], status: supported}
|
|
- {id: C-APPLY-CHECK-001, type: factual, section: quick-start, sources: [{fact-id: F-APPLY-001}], status: supported}
|
|
- {id: C-MODE-BOOTSTRAP-001, type: factual, section: usage, sources: [{fact-id: F-MODES-001}, {fact-id: F-OUTPUT-001}], status: supported}
|
|
- {id: C-MODE-AUDIT-001, type: factual, section: usage, sources: [{fact-id: F-MODES-001}, {fact-id: F-AUDIT-001}], status: supported}
|
|
- {id: C-MODE-REFRESH-001, type: factual, section: usage, sources: [{fact-id: F-MODES-001}, {fact-id: F-REFRESH-001}], status: supported}
|
|
- {id: C-MODE-SECTION-001, type: factual, section: usage, sources: [{fact-id: F-MODES-001}, {fact-id: F-SECTION-001}], status: supported}
|
|
- {id: C-SOURCE-SPLIT-001, type: factual, section: safeguards, sources: [{fact-id: F-AUTHORITY-001}], status: supported}
|
|
- {id: C-FACT-TRACE-001, type: factual, section: safeguards, sources: [{fact-id: F-CLAIM-001}, {fact-id: F-VERIFY-001}], status: supported}
|
|
- {id: C-PRESERVE-001, type: factual, section: safeguards, sources: [{fact-id: F-REFRESH-001}], status: supported}
|
|
- {id: C-CONFLICT-001, type: factual, section: safeguards, sources: [{fact-id: F-REFRESH-001}], status: supported}
|
|
- {id: C-SECRET-PATH-001, type: factual, section: safeguards, sources: [{fact-id: F-SAFETY-001}], status: supported}
|
|
- {id: C-STALE-001, type: factual, section: safeguards, sources: [{fact-id: F-SAFETY-001}, {fact-id: F-APPLY-001}], status: supported}
|
|
- {id: C-WORKFLOW-001, type: factual, section: workflow, sources: [{fact-id: F-WORKFLOW-001}], status: supported}
|
|
- {id: C-REWORK-001, type: factual, section: workflow, sources: [{fact-id: F-WORKFLOW-001}], status: supported}
|
|
- {id: C-REQUEST-001, type: factual, section: inputs, sources: [{fact-id: F-AUTHORITY-001}, {fact-id: F-REPO-LAYOUT-001}], status: supported}
|
|
- {id: C-RUN-DIR-001, type: factual, section: inputs, sources: [{fact-id: F-RUN-LAYOUT-001}], status: supported}
|
|
- {id: C-DEV-PREREQ-001, type: factual, section: development, sources: [{fact-id: F-RUNTIME-001}], status: supported}
|
|
- {id: C-LAYOUT-001, type: factual, section: documentation, sources: [{fact-id: F-REPO-LAYOUT-001}], status: supported}
|
|
- {id: C-WRITING-LIMIT-001, type: factual, section: limitations, sources: [{fact-id: F-VERIFY-001}], status: supported}
|
|
- {id: C-VERIFY-LIMIT-001, type: factual, section: limitations, sources: [{fact-id: F-VERIFY-001}], status: supported}
|
|
- {id: C-XTOOL-LIMIT-001, type: factual, section: limitations, sources: [{fact-id: F-CODEX-001}], status: supported}
|
|
- {id: C-BENCH-LIMIT-001, type: factual, section: limitations, sources: [{fact-id: F-BENCH-001}], status: supported}
|