Glossary: Schema fields, A–E
Candidate terms extracted from every schema field with a doc comment: <Declaration>.<field> as the label, the comment’s first paragraph as the definition. Each is the asset’s own text, verbatim and not curated, and carries the badge “candidate, extracted”. A person promotes one by authoring it. Authored terms are on their owning instance’s page, and those pages, the counts and the sources are linked from the glossary index.
From: bootstrap-tools 44 (SKOS) · cat-harness 2141 (SKOS) · fhir-harness 78 (SKOS) · folio-assistant-core 179 (SKOS) · folio-assistant-sci 13 (SKOS) · smart-base 13 (SKOS).
One of 4 pages of this type, split by the first letter of the label: all parts.
Size: this page holds 666 terms and is 374 KB before compression, fetched in one request, within its budget of 1.0 MB. There is no search index: the filter below runs over this page, and the A–Z bar jumps within it.
| target | mapped | unmapped | undetermined | why undetermined |
|---|---|---|---|---|
fhir | 0 | 2468 | 0 | — |
skos | 0 | 2468 | 0 | — |
Undetermined is never “no match”. A vocabulary that could not be reached has said nothing, and the column above keeps that apart from a checked miss. The counts are reported and not graded: an unmapped candidate may be a term this corpus is right to coin.
Per term. Every term on this page is unmapped on fhir, and unmapped on skos, unless its entry says otherwise. No entry says otherwise.
666 shown
A
- ActorDef.roles candidate, extracted
Roles this actor is eligible to take on. Advisory, not a permission system: it says who is expected in a lane, and the audit uses it to report a role no actor can fill. Empty means "unconstrained", not "none".
- ActorDef.title candidate, extracted
Display text. See
schemas/kg-node.ts—title/descriptioneverywhere.- ActorDefinition.capabilities candidate, extracted
Capability IDs directly granted to this actor.
- ActorDefinition.description candidate, extracted
What this actor can do.
- ActorDefinition.id candidate, extracted
Unique identifier (used as reference key).
- ActorDefinition.inherits candidate, extracted
This field carried a role lattice under an actor's name —
authorinheritsreviewerinheritsviewer— which is a property of a position, not of a person. The lattice now lives inscenarios/roles.json(schemas/role-graph.ts), whereinheritsmeans what it says. Optional so an unmigrated registry still validates.- ActorDefinition.kind candidate, extracted
Human, agentic or mechanical — see {@link ActorKind}.
- ActorDefinition.meta candidate, extracted
Arbitrary metadata (e.g., MCP endpoint, config path).
- ActorDefinition.permissions candidate, extracted
PERMISSION ids — what this actor is allowed to do, independent of process.
- ActorDefinition.reach candidate, extracted
What this participant can reach off its own machine —
internet,egress-restrictedorair-gapped.- ActorDefinition.roles candidate, extracted
Roles this actor may take on — ids from the role graph.
- ActorDefinition.systemUnderTest candidate, extracted
The system-under-test facet — present when this actor can be executed against a
test-plan/v1(bean3o5b).agentandsystemactors only; reach is the actor's own {@link ActorDefinition.reach}, never restated. SeeSystemUnderTestFacetSchemainskill-package.ts.- ActorDefinition.title candidate, extracted
Display text.
title/description, like every KG node — seeschemas/kg-node.ts.- ActorDefinitionSchema.permissions candidate, extracted
Permission ids — what it may do, regardless of lane. See
skills/permissions/.- ActorDefinitionSchema.reach candidate, extracted
Network reach — see
ActorDefinition.reachinassistant-types.ts, andschemas/actor-reach.tsfor how it composes with the deployment's.- ActorDefinitionSchema.roles candidate, extracted
Roles (BPMN swimlanes) this actor may take on.
- ActorDefinitionSchema.systemUnderTest candidate, extracted
The SYSTEM-UNDER-TEST facet (bean
3o5b, arc3fva): present when this actor can be executed against atest-plan/v1. See {@link SystemUnderTestFacetSchema}.- ActorRefSchema.declared candidate, extracted
Does
idresolve to a node under the actors graph?- ActorRefSchema.id candidate, extracted
The actor's id, or the best name available when none is declared.
- AdapterContribution.companionRoles candidate, extracted
Which companion roles this adapter's blocks can have — the contributed half of
ADAPTER_COMPANION_ROLESinschemas/block-qa.ts, which lists the built-in adapters only. Read byincompatibleCompanions, so a criterion scoped to a contributed adapter is checked against what that adapter's blocks can actually carry. Absent means none are declared, and a criterion depending on any companion then reports it as incompatible.- AdapterContribution.module candidate, extracted
Module specifier, resolved relative to the contributing folio's root.
- AdapterContribution.name candidate, extracted
Adapter name, e.g.
"paper". Must be unique across contributors.- AdjudicationAssetSchema.at candidate, extracted
Where the bytes are, when they are anywhere. Required when
materialized: a materialized asset with no locator is a claim that something is here without saying where, which is the one shape the state exists to rule out.- AdjudicationAssetSchema.note candidate, extracted
What it is, in a few words, so a reader of the record can follow it.
- AdjudicationAssetSchema.ref candidate, extracted
Stable identifier — a bib-slug, a block id, a path.
- AdjudicationOutcomeSchema.by candidate, extracted
Who adjudicated, and of which kind. An outcome with no adjudicator is indistinguishable from a default.
- AdjudicationOutcomeSchema.code candidate, extracted
The chosen code. Must be one of
codes.- AdjudicationOutcomeSchema.codes candidate, extracted
The enum in force when this was adjudicated.
- AdjudicationOutcomeSchema.debate candidate, extracted
Optional structured debate record formalizing debate rounds conducted prior to the adjudicator's verdict (SWE-Debate / 2507.23348v1).
- AdjudicationOutcomeSchema.reasoning candidate, extracted
Why, as markdown. REQUIRED, and never empty.
- AdjudicationOutcomeSchema.request candidate, extracted
The request this answers.
- AdjudicationRequestSchema.assets candidate, extracted
Everything the adjudicator is shown, and **nothing else is**.
- AdjudicationRequestSchema.codes candidate, extracted
The permitted answers — the owner's *"list of judgement codes"*.
- AdjudicationRequestSchema.id candidate, extracted
Stable id, so an outcome can point back at the exact question asked.
- AdjudicationRequestSchema.prompt candidate, extracted
The question, as markdown.
- AdversarialChecklistItem.defaultCategory candidate, extracted
Default red-flag category if a blocking finding is raised.
- AdversarialChecklistItem.defaultSeverity candidate, extracted
Default severity for findings under this check.
- AdversarialChecklistItem.extendsSource candidate, extracted
Which skill or discipline this check extends.
- AdversarialChecklistItem.guidance candidate, extracted
Detailed guidance on how to evaluate this question adversarially.
- AdversarialChecklistItem.id candidate, extracted
Unique stable identifier for the checklist question.
- AdversarialChecklistItem.kind candidate, extracted
Content block kind this check applies to.
- AdversarialChecklistItem.question candidate, extracted
The adversarial hypothesis/question to test against the subject.
- AdversarialChecklistItem.references candidate, extracted
The rules supporting this check, BY NAME —
skill:<name>orschema:<module>— never by path. Code, which is addressed by path on purpose, iscode:<layer>/<module path>. Paths went stale as skills moved between packages (two named a skill that no longer exists); a name is found wherever the declaration puts it (check:declared-paths, beanrmi6follow-up).adversarial-checklist.test.tsresolves every one.- AgenticPromotionCriteriaSchema.maximumFalsePositiveRate candidate, extracted
Maximum allowed empirical false-positive rate (default 0.05 / 5%).
- AgenticPromotionCriteriaSchema.minimumPrWindow candidate, extracted
Minimum number of PRs evaluated under warn-only mode (default 50).
- AgenticPromotionCriteriaSchema.minimumReviewCoverage candidate, extracted
Minimum share of findings with conclusive (non-unknown) human adjudication (default 0.80 / 80%).
- AlgorithmBlock.computation candidate, extracted
Optional computational realisation (Python / Rust / ...).
- AlgorithmBlock.interprets candidate, extracted
Optional label of an upstream definition this algorithm realises (parallel to
RemarkBlock.interprets).- AmbiguityFlag.candidates candidate, extracted
Candidate types the term could map to.
- AmbiguityFlag.is_ambiguous candidate, extracted
Whether the term is ambiguous and needs resolution.
- AmbiguityFlag.message candidate, extracted
Description of the ambiguity.
- AmbiguityFlag.resolved_to candidate, extracted
The resolution chosen (filled in after disambiguation).
- AnchorSchema.candidates candidate, extracted
Other plausible targets, for triage to choose between.
- AnchorSchema.note candidate, extracted
Why, in a sentence a triager can check.
- AnchorSchema.targetLabel candidate, extracted
A block or section label in the folio; null when unplaced.
- AptDependency.package candidate, extracted
Debian package name (e.g., "texlive-full", "ripgrep").
- AptDependency.reason candidate, extracted
Why this package is needed.
- AptDependency.version candidate, extracted
Debian version relation (e.g., ">=2.3"). Omit for any version.
- ArchimateConfigModelSchema.description candidate, extracted
One sentence on what this model is and why the instance holds it.
- ArchimateConfigModelSchema.file candidate, extracted
The
.archimatefile, relative to the declared directory.- ArchimateConfigModelSchema.id candidate, extracted
The model's id: its page directory and its IRI segment. A version (
0.2.0) is a good one.- ArchimateConfigModelSchema.title candidate, extracted
What a reader calls it. Absent, the model's own name is used.
- ArchimateConfigSchema.directory candidate, extracted
The
<instance>.jsondirectory id of graph typologyarchimatethe models are held in.- ArchimateElement.folder candidate, extracted
The folder path it is filed under in the model tree.
- ArchimateElement.type candidate, extracted
The ArchiMate type without Archi's prefix:
ApplicationComponent.- ArchimateModel.archiVersion candidate, extracted
Archi's model
versionattribute — the tool's file version, not the model's.- ArchimateRelationship.accessType candidate, extracted
Access only:
write(Archi's default),read,accessorreadwrite.- ArchimateRelationship.directed candidate, extracted
Association only.
- ArchimateRelationship.strength candidate, extracted
Influence only: the strength, e.g.
+or--.- ArchimateRelationship.type candidate, extracted
The relationship type without prefix or suffix:
Composition,Serving.- ArchimateViewConnection.bendpoints candidate, extracted
Archi's relative bendpoints: offsets from the source's and the target's centres.
- ArchimateViewConnection.relationship candidate, extracted
The relationship it shows; absent for a plain line between a note and a box.
- ArchimateViewNode.alternate candidate, extracted
Archi's
type="1": the element drawn as its figure's alternate.- ArchimateViewNode.parent candidate, extracted
The diagram object it is drawn inside, if any.
- ArchimateViewNode.ref candidate, extracted
The element it shows (
element), or the view it refers to (view-ref).- ArchimateViewNode.text candidate, extracted
A group's label, or a note's text.
- ArchiveContentsSchema.@context candidate, extracted
The published content context — bean
yh6u. OPTIONAL because folio repositories hold records written before the arm emitted it; when present it must be that context (bare, or with@basebeside it — beanbh4q), since any other would bind these keys to terms nobody declared.- ArchiveContentsSchema.archive candidate, extracted
The archive file's own
_tech_metablock.- ArchiveEntrySchema.path candidate, extracted
Path inside the archive, exactly as the container records it.
- ArchiveEntrySchema.sha256 candidate, extracted
Full 64-hex digest of the entry's bytes;
nullwhen it could not be read.- ArtCandidate.bytes candidate, extracted
The bytes. Read once by the caller so this module does no I/O.
- ArtCandidate.layout candidate, extracted
The layout this file is offered AS. Checked, never inferred from the name.
- ArtCandidate.sourcePath candidate, extracted
Where the file came from, for the report. Not where it will live.
- ArtefactRefSchema.id candidate, extracted
Its identifier within the provider:
203, a SHA, a run id.- ArtefactRefSchema.kind candidate, extracted
What sort of artefact. See {@link ARTEFACT_KINDS} — open, not an enum.
- ArtefactRefSchema.note candidate, extracted
Why it is referenced.
- ArtefactRefSchema.provider candidate, extracted
github,gitlab, … Defaults to the instance's own forge when absent.- ArtefactRefSchema.repo candidate, extracted
owner/repo. Absent means **this** repository.- ArtifactStoreSchema.basis candidate, extracted
Why this store, in one sentence — it is a choice, and a choice with no reason cannot be revisited.
- ArtifactStoreSchema.cacheTtlSeconds candidate, extracted
What a CDN in front of this store will hold onto. Absent means unstated, never zero.
- ArtifactStoreSchema.immutableUrls candidate, extracted
Whether the store's URLs are immutable once published.
truemeans a re-publish MUST use a new path;falsemeans readers may be served a cached old copy for up tocacheTtlSeconds.- ArtifactStoreSchema.maxArtifactBytes candidate, extracted
Largest single artifact, where the host states one. Absent means unstated, never unlimited.
- ArtifactStoreSchema.publicBaseUrl candidate, extracted
The base the artifact will be READABLE at. Required, and it is the "EXTREME care in URL handling" clause in schema form: a published URL is a promise, and the address has to be decided before the upload rather than discovered from whatever the host returned.
- AssemblyBasisSchema.by candidate, extracted
The script, as a
scriptattribution — what looked.- AssetRoleDef.delivery candidate, extracted
{@link AssetDelivery} — and required, so a new role decides it at the keyboard.
- AssetRoleDef.layer candidate, extracted
Which {@link GraphLayer} the role's file belongs to.
- AssetRoleDef.purpose candidate, extracted
What this artefact is FOR — one line.
- AssetSourceSchema.instance candidate, extracted
The instance it came from, as a reference —
litlfred/cat-harness.- AssetSourceSchema.path candidate, extracted
Path within that instance.
- AssetSourceSchema.ref candidate, extracted
The ref it was taken at, when known. Absent means "not recorded".
- AssociatedHarness.declarationUrl candidate, extracted
Its declaration file, when published at a stable URL.
- AssociatedHarness.name candidate, extracted
The associated harness's instance name, as ITS declaration gives it. Unique within this list.
- AssociatedHarness.note candidate, extracted
One sentence a reader of the panel sees.
- AssociatedHarness.relation candidate, extracted
How it relates to this harness, in a few words: e.g.
folio-of(a folio on this platform).- AssociatedHarness.repository candidate, extracted
Its source repository, where edits to it are made.
- AssociatedHarness.title candidate, extracted
Human title, as its declaration gives it.
- AssociatedHarness.url candidate, extracted
Where a reader goes: the harness's own published site.
- AstManifestSchema.inputs candidate, extracted
What the AST is valid for, in
CompiledInputsSchema's shape.- AstManifestSchema.provisional candidate, extracted
What stays provisional until a full Publisher run.
- AstResourceSchema.builtAt candidate, extracted
On a merged (mixed-provenance) AST: the revision that built this resource.
- AstResourceSchema.file candidate, extracted
The resource's JSON file, relative to the AST directory.
- AstResourceSchema.source candidate, extracted
The IG source file it was built from, where known.
- AttestationKey.locale candidate, extracted
translation-qaonly.- AttestationKey.subject candidate, extracted
The subject root relative to the instance root, POSIX, without extension.
- Attribution.date candidate, extracted
ISO-8601 date the content was authored.
- Attribution.id candidate, extracted
Stable identifier — GitHub login, agent name, or script path.
- Attribution.model candidate, extracted
LLM model identifier, e.g.
claude-opus-5. REQUIRED when kind isagent.- Attribution.session candidate, extracted
Session identifier, where the authoring run had one.
- Attribution.skill candidate, extracted
The skill or tool that dispatched the authoring, e.g.
library-core/library-ingestion.- Attribution.version candidate, extracted
Version pin: a script revision, or a human's role at the time.
- AttributionSchema.skill candidate, extracted
The skill being exercised:
nameorpackage/name(#1168 B8).Whoever is accountable for the reasoning — a human, when one overruled.
- AuditNote.cites candidate, extracted
At least one. A rationale with no citation is an assertion.
- AuditNote.proposed_by candidate, extracted
The agent that assembled the citations, when one did.
The note body, in markdown. Treat the same way as block prose (math, links, lists supported). KEEP IT SHORT — author notes that exceed ~5 lines should probably be a
remarkblock instead.Human-readable date when the note was authored. Free-form string; recommended ISO YYYY-MM-DD.
Note kind for filtering / styling. See BlockBase.authorNotes docs.
Optional cross-link to a follow-up: an audit doc, a successor block, a PR, etc. Rendered as a clickable link when notes are surfaced.
- Avatar.glyph candidate, extracted
SVG path data, drawn in a 24×24 box.
- Avatar.reads candidate, extracted
Why this mark, for the next person deciding whether to change it.
- Avatar.tone candidate, extracted
Hue angle in degrees, 0–359.
B
- BaseStructure.raw candidate, extracted
The parsed variant, for the few readers that need its own fields.
- BeanFrontMatterSchema.issue candidate, extracted
GitHub issue number or reference (e.g. 730, "#730", or issue URL). Queryable field linking a bean to its external human adjudication/tracking issue.
- BeanGraphSchema.directories candidate, extracted
Named
directories, like the harness declaration, notnodes.- BeanGraphSchema.name candidate, extracted
Display name — which instance's work plan this is.
- BeanIndexItemSchema.file candidate, extracted
Path of the bean file ON {@link BeanIndexSchema}
fileRef— the branch that keeps the store. Equal to the checkout path while the store is onmain; since the state cutover it is a path oncat/cat-harness/beans.- BeanIndexItemSchema.parent candidate, extracted
""when the bean has no parent; otherwise a typed bean id (#1168 B8).- BeanIndexItemSchema.preview candidate, extracted
The body, trimmed to its first 400 characters.
- BeanIndexSchema.edges candidate, extracted
The block graph as ONE edge set,
blocker → blocked, over both front-matter declarations (blocking:on the blocker,blocked_by:on the blocked), deduplicated —blockEdgesinscripts/beans.ts, beanvhqq. An end may name no bean initems: that edge is kept here and reported as ablocking-unknownfinding, never dropped.- BeanIndexSchema.fileWeb candidate, extracted
The repository and branch every item's
fileis a path on. A board that composes<repoWeb>/blob/main/<file>sends every bean to a 404 once the store is kept on its own branch (owner, 2026-10-13). Optional so a projection written before these keys still parses; absent meansrepoWebatmain.- BeanIndexSchema.plan candidate, extracted
The milestone rollup the board renders. OPTIONAL, because an index written before this field existed is still a valid index — and because "no plan in the projection" is a state the renderer distinguishes from "a plan with nothing done".
- BeanNoteFrontMatterSchema.bean candidate, extracted
The bean this note adds to. It must exist in the bean store.
- BeanNoteFrontMatterSchema.branch candidate, extracted
The branch that wrote it — the key that keeps two writers apart.
- BeanNoteFrontMatterSchema.created candidate, extracted
When this branch started its note on this bean (UTC).
- BitstreamSchema.maskedRegions candidate, extracted
Regions blanked out of these bytes before they were written.
- BitstreamSchema.materialization candidate, extracted
Its own materialisation state. An item may be referenced while one of its bitstreams is materialised — which is exactly the worked example.
- BitstreamSchema.pixelWidth candidate, extracted
Pixel dimensions, where the bitstream is a raster.
- BlockAnchor.section candidate, extracted
The section listing the block (the ChangeSet's form). The heat map's row for its comments (bean
qbfi).- BlockAtSchema.file candidate, extracted
Manifest path relative to the folio root.
- BlockAtSchema.index candidate, extracted
Zero-based position within that section.
- BlockAtSchema.section candidate, extracted
The section listing it:
{manifest dir}::{section label | title | #n}(written with braces: angle brackets here were published as an escaped HTMLsectiontag and failed the site build). Absent when no manifest lists the block — an orphan, which is itself worth a reviewer's attention and is not guessed at.- BlockBase.audience candidate, extracted
Who this block is written FOR — Role ids from the instance's KG (
scenarios/roles.json, {@link RoleGraph}).Author-tracking notes attached to this block — status snapshots, caveats, refinement-framing comments, and other meta-commentary that should NOT appear in the scholarly prose body of the block.
- BlockBase.cites candidate, extracted
Bibliography keys cited by this block (e.g. ["kock2004", "atiyah1988"]).
- BlockBase.companions candidate, extracted
Override companion file resolution (normally by root-name convention).
- BlockBase.computation candidate, extracted
Optional computational verification (Python/SnapPea/sympy/etc.).
- BlockBase.defines candidate, extracted
Glossary terms *defined* by this block. Each entry is a slug used to mint the LaTeX label
\label{term:<slug>}and the HTML idterm-<slug>.- BlockBase.foreshadows candidate, extracted
Labels this block points DELIBERATELY forward to — a foreshadow, a preview, or an explicitly deferred result the exposition promises to return to (the surreal-number thread is the archetype).
- BlockBase.label candidate, extracted
Label following project convention (e.g. "def:quantum-universe").
- BlockBase.lang candidate, extracted
BCP 47 language tag of this block's **source** content.
- BlockBase.meta candidate, extracted
Freeform metadata (chapter assignment, tags, etc.).
- BlockBase.poSources candidate, extracted
One or more PO file sources that carry translations for this block.
- BlockBase.renamedFrom candidate, extracted
Labels this block was previously known by, oldest first.
- BlockBase.rendered candidate, extracted
Pre-rendered assets for ```tex blocks that can't be rendered client-side.
- BlockBase.simulator candidate, extracted
Reference to an interactive simulator (opens overlay with [simulate] button).
Thematic tags for filtering and grouping. Examples: "archimedean", "complex", "p-adic", "su2", "representation-theory"
- BlockBase.title candidate, extracted
Optional display title.
- BlockBase.uses candidate, extracted
Labels of **immediate EDITORIAL dependencies** — the blocks a reader must already have in hand to follow this one. Rendered as
\uses{}in the LaTeX blueprint.- BlockBaseSchema.audience candidate, extracted
Role ids from the instance's KG — see
BlockBase.audienceinschemas/types.ts. Declared HERE as well as there because Zod strips what it does not know: a field TypeScript accepts and Zod drops is written by an author, type-checks, and vanishes (beanzdrf).- BlockBaseSchema.defines candidate, extracted
Glossary term slugs introduced by this block. See
BlockBase.definesin folio-assistant/schemas/types.ts for the authoring contract. Slugs must be lowercase, hyphen-separated identifiers (no spaces, no:).- BlockBaseSchema.lang candidate, extracted
BCP 47 language tag of this block's **source** content. See
BlockBase.langin folio-assistant/schemas/types.ts for the authoring contract and the defaulting rule (absent means the folio'stranslation.defaultLocale).- BlockBaseSchema.poSources candidate, extracted
PO sources carrying translations for this block, in load order. See
BlockBase.poSourcesin folio-assistant/schemas/types.ts for the resolution order and why declaring it disables the convention walk.- BlockBaseSchema.renamedFrom candidate, extracted
Former labels — see
BlockBase.renamedFrominschemas/types.ts. Declared here too because Zod strips what it does not know (beanzdrf).- BlockKindContribution.adapter candidate, extracted
The adapter namespace claiming it. May be a new namespace.
- BlockKindContribution.builder candidate, extracted
The builder function a manifest calls —
export default <builder>(…). Absent means the kind's own name. A kebab-case kind needs one: a hyphen is not a valid identifier.- BlockKindContribution.docoType candidate, extracted
The DoCO co-type, if the kind has one. Absent means it has none.
- BlockKindContribution.folioType candidate, extracted
The folio class (
BLOCK_KIND_TO_FOLIO_TYPE's vocabulary) for a block of this kind, if any.- BlockKindContribution.kind candidate, extracted
The kind string as it appears in a block manifest, e.g.
"theorem".- BlockKindContribution.labelPrefix candidate, extracted
The label prefix, without its colon —
"dt"fordt:anc-danger-signs.- BlockKindNodeSchema.adapter candidate, extracted
The content adapter whose vocabulary the kind is from.
- BlockKindNodeSchema.builder candidate, extracted
The builder function a block manifest calls. Defaults to
kind.- BlockKindNodeSchema.docoType candidate, extracted
A DoCO co-type, only where one is unambiguously right.
- BlockKindNodeSchema.folioType candidate, extracted
The kind's own RDF class.
- BlockKindNodeSchema.heading candidate, extracted
The English heading, singular — the translation graph's source string. Empty for a kind shown without one (
prose).- BlockKindNodeSchema.headingPlural candidate, extracted
The English heading, plural, for an index that groups by kind.
- BlockKindNodeSchema.indexRank candidate, extracted
Where the definition index lists this kind's section, lowest first; absent for a kind the index omits. A reading order (definitions before the theorems that use them), so it is authored, not sorted.
- BlockKindNodeSchema.kind candidate, extracted
The kind string a block's
kindfield carries.- BlockKindNodeSchema.labelPrefix candidate, extracted
The label prefix, without its colon (
def, notdef:). Two kinds may share one (fig).- BlockKindNodeSchema.prefixEnforced candidate, extracted
Whether a block's label MUST start with the prefix.
falseonly where the label rule never applied (prose), so moving the table onto nodes did not tighten validation of a corpus nobody re-checked.- BlockKindNodeSchema.profile candidate, extracted
The NARROWEST content profile that admits the kind (paper-adapter kinds only; a contributed adapter's kind is in no profile). Profiles nest (
document⊂paper), sodocumentmeans both andpapermeans the paper profile only — a formal mathematical claim.- BlockKindNodeSchema.provable candidate, extracted
Whether a label of this kind names an upstream provable, which an
algorithmmust cite.- BlockQaReport.$schema candidate, extracted
Schema marker — value:
block-qa/v1.- BlockQaReport.criteria candidate, extracted
Per-criterion reviewer entries. Multiple reviewers (script + agent + human) may co-exist; they are NOT deduplicated.
- BlockQaReport.kind candidate, extracted
Block kind (mirror of the .ts manifest's discriminator).
- BlockQaReport.label candidate, extracted
Block label (e.g.
def:carbon-valence,rem:carbon-valence).- BlockQaReport.paths candidate, extracted
Paths to source files, relative to repo root.
- BlockQaReport.source_hashes candidate, extracted
Hashes of present source files (refreshed on every write).
- BlockQaReport.updated_at candidate, extracted
Report creation / last-update timestamp (ISO-8601 UTC).
- BlockSideTextSchema.html candidate, extracted
The same, rendered by the platform's Markdown renderer.
- BlockSideTextSchema.prose candidate, extracted
The Markdown source, exactly as committed.
- BlockSummariesSidecarSchema.entry candidate, extracted
The library entry's slug — the directory this file sits in.
- BlockSummarySchema.block candidate, extracted
The block's
@id, e.g.library/<slug>/blocks/prose-sec-000.- BlockSummarySchema.narrative candidate, extracted
The summary itself, with its state and its author: one narrative, or one per language (bean
cat-tools-e1lo, stage 3).- BlockSummarySchema.source candidate, extracted
The text file summarised, ENTRY-relative, e.g.
sections/sec-000-intro.md.- BlockSummarySchema.source_hash candidate, extracted
sha256 of {@link proseBody} of
sourcewhen the summary was drafted.- BlockSummarySchema.superseded candidate, extracted
Earlier narratives this one replaced — a rejected draft, or one whose source changed. Kept so a rejection's reason is not lost when the block is redrafted: a rejection that vanishes lets the next agent write the identical thing again.
- BoardContentNode.kind candidate, extracted
The node's kind, when it has one.
- BoardContentNode.node candidate, extracted
The node's id within that page.
- BoardContentNode.page candidate, extracted
The page slug the node is on.
- BoardFilterSchema.kinds candidate, extracted
Content kinds. Absent: every kind.
- BoardFilterSchema.pages candidate, extracted
Page slugs. Absent: every page.
- BoardPositionSchema.x candidate, extracted
Horizontal position in board units.
- BoardPositionSchema.y candidate, extracted
Vertical position in board units.
- BoardSchema.filter candidate, extracted
What this board shows. **Absent is the default and means the whole folio** — see the module docs; it is the state that cannot go stale.
- BoardSchema.id candidate, extracted
The id the positions layer already keys by.
- BoardSchema.title candidate, extracted
What a reader sees in a tab or a heading.
- BuiltAtPublishSchema.because candidate, extracted
Which half of the rule it fails.
- BuiltAtPublishSchema.directory candidate, extracted
The declared directory id this path fills, when it is one (so presence checks do not expect it on disk).
- BuiltAtPublishSchema.from candidate, extracted
stateonly: the declared directory ids of the branch-kept graphs it is computed from.- BuiltAtPublishSchema.path candidate, extracted
Instance-relative; a directory ends in
/.- BuiltAtPublishSchema.reads candidate, extracted
The graph typologies (directory kinds) whose directories, in OTHER instances, this entry's writers read: the declared READ EDGE that orders them (see "Writer order" above).
derive:publishruns these writers after the writers of every other instance's entry that fills (directory) a directory of one of these kinds. Kinds, never instance names: a lower layer reading what the layers above it build cannot name them.- BuiltAtPublishSchema.reason candidate, extracted
One sentence a reviewer can check: what makes it pin- or state-dependent.
- BuiltAtPublishSchema.writer candidate, extracted
Package scripts that write it, in order — run as
bun run cat <script>.
C
- CapabilityDefinition.detection candidate, extracted
How to detect this capability at runtime.
- CapabilityDefinition.requires candidate, extracted
Other capability IDs this one depends on.
- CapabilityDefinitionSchema.fallbackTo candidate, extracted
The capability that stands in for this one when it is absent.
- CapabilityDefinitionSchema.satisfies candidate, extracted
The requirement statements this capability discharges. See {@link RequirementStatementRefSchema}.
- CapabilityDefinitionSchema.setupSkill candidate, extracted
The skill that explains how to SET UP this capability — install it, configure it, verify it. Optional.
- CaptureBasisSchema.coverage candidate, extracted
Placed area over page area, as for geometry.
- CaptureBasisSchema.creator candidate, extracted
The PDF's
Creator, verbatim — the browser user-agent for a print.- CaptureBasisSchema.imagesOnPage candidate, extracted
How many images share this page.
- CaptureBasisSchema.page candidate, extracted
The page it sits on, 1-based as a reader counts.
- CaptureBasisSchema.producer candidate, extracted
The PDF's
Producer, verbatim. The evidence, not a derived flag.- CarriedNoteSchema.alsoAbout candidate, extracted
Content nodes this note is ALSO about, without being attached to them.
- CarriedNoteSchema.anchor candidate, extracted
Where this note is attached, as a three-state answer.
- CarriedNoteSchema.comment candidate, extracted
The markdown narrative — context, rationale, the question being asked.
- CarriedNoteSchema.createdAt candidate, extracted
ISO 8601.
- CarriedNoteSchema.id candidate, extracted
Stable id within its store.
- CarriedNoteSchema.summary candidate, extracted
One line.
The knowledge-graph edges — see {@link NoteTagsSchema}.
- CarriedNoteSchema.targetLabel candidate, extracted
Block label this is attached to, when it is attached to one.
- CatalogueNodeSchema.childCountUpstream candidate, extracted
How many children the SOURCE says this container has — not how many are modelled here. The gap between the two is the whole point of a catalogue by reference, and a renderer that counted
children.lengthwould report the model's size as the collection's.- CatalogueNodeSchema.flavour candidate, extracted
The source system's own word for this node —
community,collection,set,prefix. Display and provenance only; nothing branches on it.- CatalogueNodeSchema.handle candidate, extracted
The node's Handle, where the source mints one — PREFERRED over any host URL for resolution ({@link resolvableIri}). Recorded only when read off the source; never derived for a node that shows none (a DSpace community or collection has a Handle upstream, but none is recorded here until one is read).
- CatalogueNodeSchema.libraryId candidate, extracted
The local library slug, where this item has been ingested. Present iff something under
library/corresponds.- CatalogueNodeSchema.metadataRef candidate, extracted
The item's metadata record, by reference to a
folio-dublin-core/v1file.- CatalogueNodeSchema.parents candidate, extracted
Containment, as paths from the catalogue root. A LIST, because an item may be mapped into several collections and because the breadcrumb on the one measured item is four levels deep.
- CatalogueSchema.sizeBasis candidate, extracted
How the numbers above were arrived at. A denominator with no provenance is a denominator nobody can check.
- CatalogueSchema.sourceLoss candidate, extracted
What survives if the SOURCE goes away, stated per node kind — not only for bytes already copied (bean
08u4). ThesourceLossGATE is asked only of a materialization; a referenced node never meets it, so without this the answer for 10 of 13 nodes was silence.- CatalogueSchema.system candidate, extracted
The source system, e.g.
DSpace 7.- CatalogueSchema.totalFilesUpstream candidate, extracted
FILES upstream, where the source publishes that separately.
- CatalogueSchema.totalItemsUpstream candidate, extracted
ITEMS upstream — the things a person cites, not the files they are made of.
- CategoryGlossaryEntry.category_level candidate, extracted
Category-theoretic classification.
- CategoryGlossaryEntry.functor_data candidate, extracted
Functor-specific data.
- CategoryGlossaryEntry.is_functorial candidate, extracted
Whether this type involves functorial operations.
- CategoryGlossaryEntry.required_instances candidate, extracted
Required Lean typeclasses.
- CatHarnessDeclaration.$schema candidate, extracted
cat-harness-declaration/1.0.0— see {@link CAT_HARNESS_DECLARATION_SCHEMA_TAG} (beanujiv).- CatHarnessDeclaration.alsoWritten candidate, extracted
Other spellings of the name, listed on the landing (
ob3m5).- CatHarnessDeclaration.assets candidate, extracted
Non-image artefacts this instance names —
AGENTS.mdfirst among them.- CatHarnessDeclaration.associatedHarnesses candidate, extracted
Harnesses this one is associated with and does not hold — {@link AssociatedHarness}. Issue #1146.
- CatHarnessDeclaration.avatar candidate, extracted
The instance's own avatar (sod4 #4); the table in avatars.ts covers only the instances below the harness.
- CatHarnessDeclaration.builtAtPublish candidate, extracted
Artefacts this instance serves and must never commit, each built at publish by the package scripts it names — {@link BuiltAtPublish}. Owner, 2026-10-14 ("B1"): a page computed over the checkout's other instances, or from a branch-kept graph, cannot be current in a commit of this one.
- CatHarnessDeclaration.canonicalUrl candidate, extracted
Where this instance's artefacts are published — the base every
@idin the exported graph is minted against.- CatHarnessDeclaration.contentAdapters candidate, extracted
The content adapters this instance SHIPS, which the harness's composition root discovers rather than names. See {@link ContentAdapterDeclaration}.
- CatHarnessDeclaration.contentTranslations candidate, extracted
The translation profile of each content type THIS instance owns: which formats it can extract and inject, and which diagrams need re-rendering. Collected by
schemas/translation-tools.tsfrom every present instance (bean0r7u, step 0 part 3), so cat-harness names no content type above it. Module and diagram paths resolve from the declaring instance, then down itsneedschain.- CatHarnessDeclaration.directories candidate, extracted
Directories this instance scans, before inheritance.
- CatHarnessDeclaration.enabled candidate, extracted
Whether this instance is published on the site. Defaults to enabled; only
falsedisables it. Read throughisPublished(schemas/url-space.ts, beannbal).- CatHarnessDeclaration.gateExemptions candidate, extracted
The CI steps and check scripts of THIS instance that the local gate set deliberately does not run, each with its reason — the rows
cat-harness-tools/scripts/gates.tsholds asSTEP_EXEMPTIONSandSCRIPT_EXEMPTIONSfor the harness's own. Same contract: a reason is required, a stepmatchis a substring of the workflow command, a script name is matched exactly. Declared by the owner so the harness need not name a layer above itself (bean0r7ustep 0).- CatHarnessDeclaration.glassStrip candidate, extracted
Which tiles the glass's bottom strip pins, in order — see
GlassStripSchema. Absent inherits.- CatHarnessDeclaration.icon candidate, extracted
The id of the {@link images} entry to use as the browser icon.
- CatHarnessDeclaration.id candidate, extracted
The package identity — reverse-DNS, stable forever, never reused.
- CatHarnessDeclaration.images candidate, extracted
Images this instance names — its marks, in the graph rather than beside it.
- CatHarnessDeclaration.jsonldPrefixes candidate, extracted
The external vocabularies this instance's JSON-LD speaks, prefix → namespace IRI — {@link JsonldPrefixTable}. Owner, 2026-10-14 (bean 63q4): the published context is generated from what documents use, flattened over
needs, so a vocabulary is declared by the layer that owns it.- CatHarnessDeclaration.knownSubstrates candidate, extracted
Substrates known to exist or planned that NO declaration here names — {@link KnownSubstrate}. Issue #1719.
- CatHarnessDeclaration.liquid candidate, extracted
The Liquid prefix this instance's VALUES are addressed by in authored text —
{{ <prefix>.<directory-id>.<entry>.<path> }}— and whether the platform resolves it or passes it through.- CatHarnessDeclaration.livesAt candidate, extracted
Where the instance lives TODAY when that is not the root of {@link repository} — the host repository and the directory within it. Absent means it already lives at the root of its own repository.
- CatHarnessDeclaration.mountApprovers candidate, extracted
Who may consent to a remote mount here —
schemas/mount-trust.ts, roast1ygpL4.2.- CatHarnessDeclaration.mountDefaults candidate, extracted
What a downstream remote-mounts of this instance by default —
schemas/remote-mount.ts, bean0mpw.- CatHarnessDeclaration.name candidate, extracted
The instance's name, e.g.
"agentic-harness".Which icons this instance's navbar row shows — see
NavbarIconsSchema.- CatHarnessDeclaration.needs candidate, extracted
The instances this one is BUILT ON — its layer stack, foundation first.
- CatHarnessDeclaration.previewUrl candidate, extracted
Where CI previews are served, when that differs from
canonicalUrl.- CatHarnessDeclaration.publication candidate, extracted
WHAT KIND of host serves this instance's renderings.
- CatHarnessDeclaration.remoteGraphs candidate, extracted
Graphs known but not held — {@link RemoteGraph}.
- CatHarnessDeclaration.remoteMounts candidate, extracted
Harnesses this instance remote-mounts at a pin, transitively —
schemas/remote-mount.ts, bean0mpw.- CatHarnessDeclaration.renderExemption candidate, extracted
What this instance is excused from rendering, and what it carries instead.
- CatHarnessDeclaration.repository candidate, extracted
The repository this instance IS —
owner/name, its PLANNED home once the pre-split repository is broken apart (owner, 2026-09-30, bean6rmv).- CatHarnessDeclaration.seedsWith candidate, extracted
Instances this one is seeded together with — see
seedsWithon {@link CatHarnessDeclarationSchema}. Absent is "seeds alone".- CatHarnessDeclaration.separation candidate, extracted
Which half of a kg-separation pair the planned {@link repository} is — see
separationon {@link CatHarnessDeclarationSchema}. Absent is "has not said". Beaneayu.- CatHarnessDeclaration.skillPrefix candidate, extracted
The prefix this harness's skills get when installed into an agent host — see {@link CatHarnessDeclarationSchema}'s
skillPrefix(beanx4mt).- CatHarnessDeclaration.source candidate, extracted
Where this whole instance gets its upstream/source material (e.g. an IG source in Git). Bean
bamf, owner ruling 2026-10-07: declare IG source in instance declaration.- CatHarnessDeclaration.stickies candidate, extracted
Sticky notes this layer contributes to the landing board.
- CatHarnessDeclaration.subscriptions candidate, extracted
External Knowledge Graphs this one CONSUMES, and which of their parts it chose to hold — {@link Subscription}. Issue #1719.
- CatHarnessDeclaration.summary candidate, extracted
A reader's one line — see {@link CatHarnessDeclarationSchema}'s
summary(ob3m4/5).- CatHarnessDeclaration.taskIo candidate, extracted
What this instance's own package tasks read and write, keyed by task name — the same {@link ScriptIO}-shaped facts
cat-harness-tools/scripts/task-io.tsholds for the harness's own tasks:outputs: [](measured to write nothing, so it may run in the pool) andinputs(what can change the answer, soregenmay skip it on an unchanged tree;"{tracked}"is the whole working tree).becausekeeps the measurement that justified it.- CatHarnessDeclaration.topology candidate, extracted
The topology axes this deployment declares about itself. See {@link Topology} — every field optional, absent meaning "has not said".
- CatHarnessDeclaration.version candidate, extracted
The version, and it is an EXACT semver triple.
- CatHarnessDeclaration.visualisers candidate, extracted
The visualisers this harness declares, each at
<base>/<name>/<id>/— {@link HarnessVisualiser}. Owner, 2026-10-09.- CatHarnessDeclarationSchema.$schema candidate, extracted
What this file is: {@link CAT_HARNESS_DECLARATION_SCHEMA_TAG}, or an earlier minor/patch of its major. Optional here so a declaration read before it was tagged still parses;
declarations:retag:checkis what fails an untagged one. Declared so a parse-and-write KEEPS it — an undeclared key is dropped by the parse, which is how a tag is lost.Its authorised label, which the corpus now carries.
- ChangeProseSchema.changed candidate, extracted
The source assets that were edited, by repository path.
- ChangeProseSchema.concept candidate, extracted
The authorised concept the corpus now uses.
- ChangeSetHistorySchema.url candidate, extracted
The GitHub comment, issue or PR it came from.
- ChangeSetRefSchema.before candidate, extracted
Before/after deep links to the comment's anchor.
- ChangeSetRefSchema.stagingUrl candidate, extracted
The staging preview of the change set.
- ChangeSetSchema.changes candidate, extracted
Every block that differs, in head reading order, then removed blocks.
- ChangeSetSchema.folio candidate, extracted
Folio root, relative to the repository root.
- ChangeSizeThresholdSchema.basis candidate, extracted
Source and rationale behind the limit.
- ChangeSizeThresholdSchema.exemptions candidate, extracted
Patterns or categories treated as exempt.
- ChangeSizeThresholdSchema.limit candidate, extracted
Numerical limit in effective lines.
- ChangeSizeThresholdSchema.mode candidate, extracted
Current enforcement mode: advisory reporting vs blocking gate.
- ChangeSizeThresholdSchema.weights candidate, extracted
Weights per file category.
- Chapter.number candidate, extracted
Chapter number. Omit for unnumbered chapters (e.g. Introduction).
- Chapter.sections candidate, extracted
Sections can be inline Section objects or SectionRef references.
- Chapter.tabLabel candidate, extracted
Short label shown in collapsed sidebar tab (e.g. "I" for Introduction, "G" for Glossary). Defaults to
String(number)when omitted.- ChapterRef.dir candidate, extracted
Directory name under the paper root (e.g. "quantum-universes").
- ChapterRef.partTitle candidate, extracted
Optional Part banner emitted before this chapter in the rendered paper. When set, the LaTeX renderer emits
\part{<partTitle>}immediately before this chapter's\input{}line, grouping it with subsequent chapters until the next chapterRef with its ownpartTitle(or end of paper).- ChapterRef.uri candidate, extracted
URI to the chapter .ts manifest (default: relative local).
- CheckerResult.metrics candidate, extracted
Optional structured numeric/heuristic measures persisted into the sidecar entry's
metricsfield (seeQaCriterionEntry.metrics). Used by the detangler axis to record per-block graph measures (degree, dependency-cone size, edge span, graph energy, topic coherence) alongside the pass/fail verdict.- CheckerResult.notes candidate, extracted
Optional human-readable context threaded into the sidecar entry's
notesfield. Used by cache-backed checkers (e.g.proof-lean-compiles) to record WHY a result isn/a— for instance "cached diagnostics are stale relative to current .lean".- CheckerResult.result candidate, extracted
Outcome.
warnis preserved end-to-end (matches block-qa/v1'sQaCriterionEntry.resultunion) so a soft finding lands in the sidecar without being silently coerced topass.- CheckoutGraph.deps candidate, extracted
Each instance's transitive dependencies.
- CheckoutGraph.names candidate, extracted
Each instance's declared name, as
declarationChainspells a link.- CheckoutGraph.order candidate, extracted
Every instance the root reaches, deepest first, the root last.
- Citation.locator candidate, extracted
Narrows within the node: a line range, a criterion id, a page.
- Citation.quote candidate, extracted
Verbatim text at that locator, so a stale citation is visible as stale.
- Citation.ref candidate, extracted
The cited node — a path, a label, a finding id, a bib key.
- CitationSchema.caption candidate, extracted
"Table 3.1" / "Figure 2.2" as parsed from the line or comment.
- CitationSchema.raw candidate, extracted
The cell or phrase exactly as given.
- ClassifiedEdge.basis candidate, extracted
Why it was classified so. A classification with no basis is an assertion.
- ClosedContentType.own candidate, extracted
truewhen the marker is on the root itself rather than a dependency.- ClosedRepositoryDescription.disagreements candidate, extracted
Disagreements WITHIN one instance, each tagged with the instance.
- CODATAConstants.source candidate, extracted
Source (e.g., "CODATA 2026").
- CodeListSchema.description candidate, extracted
What question the list answers, or what set it enumerates.
- CodeListSchema.id candidate, extracted
Stable id; what a diagram's
list="…"names.- CodeRef.code candidate, extracted
One of that list's
codes[].code.- CodeRef.list candidate, extracted
The code list's
id, e.g.grade-recommendation-strength.- CodeSchema.code candidate, extracted
The token a record carries. Never renamed once used — retire it instead.
- CodeSchema.definition candidate, extracted
What the code MEANS, in a sentence a reader can act on.
- CodeSchema.value candidate, extracted
The value the code stands for, when it stands for one — a namespace IRI, for instance. Absent on a code that is its own value.
- Companions.lean candidate, extracted
Lean formalization file (relative to lean/ dir, or sibling).
- Companions.md candidate, extracted
Markdown content file. Resolved from sibling by default.
- Companions.test candidate, extracted
Test report reference (e.g. test ID or file).
- CompiledInputsSchema.inputDigest candidate, extracted
A sha256 over the build inputs, where the builder can produce one.
- CompiledInputsSchema.sourceRevision candidate, extracted
The revision of the source the artefact was built from, e.g. a commit sha.
- CompiledInputsSchema.toolchain candidate, extracted
The compiler and its version:
leanprover/lean4:v4.24.0,sushi 3.12.0.- Computation.engine candidate, extracted
Computation engine.
- Computation.requires candidate, extracted
Python package dependencies (e.g. ["snappy>=3.3", "mpmath"]).
- Computation.script candidate, extracted
Path to the Python (or other) script, relative to paper root.
- Computation.status candidate, extracted
Current verification status.
- Computation.witness candidate, extracted
Path(s) to the witness JSON file(s) produced by the script, relative to the repo root (e.g.
folio-assistant/computations/foo.witness.json).- ComputationAssertion.computed candidate, extracted
Computed value from the script.
- ComputationAssertion.expected candidate, extracted
Expected value from the paper / CODATA / etc.
- ComputationAssertion.name candidate, extracted
Human-readable name (e.g. "Vol(4_1)").
- ComputationAssertion.source candidate, extracted
Source of expected value (e.g. "CODATA 2022", "OEIS A091518").
- ComputationAssertion.tolerance candidate, extracted
Absolute error tolerance. Assertion passes if |computed - expected| ≤ tolerance.
- ComputationAssertion.unit candidate, extracted
Unit or context (e.g. "MeV", "dimensionless", "volume").
- ComputationWitness.allPassed candidate, extracted
Whether all assertions passed.
- ComputationWitness.assertions candidate, extracted
Assertions verified by this computation.
- ComputationWitness.auditOnly candidate, extracted
Optional: marks the witness as **audit-only** — produced by an audit/probe whose report lives at `
docs/audits/<file>.md` and which is *not* expected to wire to a content block.- ComputationWitness.commitSha candidate, extracted
Git commit SHA at time of computation.
- ComputationWitness.computedAt candidate, extracted
ISO 8601 timestamp of computation.
- ComputationWitness.contentBlock candidate, extracted
Optional: content-block label this witness was authored for (e.g. `
"prop:foo"). Set byWitnessBuilder.set_content_block`.- ComputationWitness.durationMs candidate, extracted
Script execution time in milliseconds.
- ComputationWitness.engine candidate, extracted
Engine that produced this witness.
- ComputationWitness.engineVersion candidate, extracted
Engine version string (e.g. "snappy 3.3.2", "sympy 1.13").
- ComputationWitness.scriptFile candidate, extracted
The producer, its content hash, and the commit that last changed it — written by `
WitnessBuilderon every witness and missing from this interface until 2026-10-04 (scripts/witness-audit.tsrecorded the drift).scriptHashis what staleness keys on;scriptCommitShais provenance only, because a rebase-merge rewrites it. The runtime schema isschemas/computation-witness.ts`.- ComputeOptions.base candidate, extracted
Default
origin/main.- ComputeOptions.builders candidate, extracted
The contributed builders, so contributed (DAK) blocks are blocks too. See {@link snapshot}.
- ComputeOptions.folio candidate, extracted
Folio root, relative to
repoRoot.- ComputeOptions.head candidate, extracted
A ref, or {@link WORKTREE} (the default) for the files on disk.
- ComputeOptions.repoRoot candidate, extracted
Repository holding the folio.
- ConceptMatchSchema.scheme candidate, extracted
The scheme the concept belongs to.
- ConceptMatchSchema.uri candidate, extracted
The concept's URI, or its in-repo term id where it has no URI yet.
- ConceptMatchSchema.via candidate, extracted
The label that matched, so a reader can see WHY without re-deriving it.
- ConcernGroupsSchema.directories candidate, extracted
Instance directories declared from within, as in
skills.json.- ConcernGroupsSchema.groups candidate, extracted
The concern groups this directory holds, by code; each is
<dir>/<code>/.- ConjectureBlock.lean candidate, extracted
Optional Lean stub for the conjecture statement.
- ConjectureBlock.lean candidate, extracted
Optional Lean stub for the conjecture statement.
- ConsentGrant.standing candidate, extracted
Set when the grant is a standing rule's, not a person's at this pin ({@link withStandingConsent}).
- ConstraintContext.allLabels candidate, extracted
Set of all labels in the document (for cross-ref validation).
- ConstraintContext.allRefIds candidate, extracted
Set of all bibliography keys (for citation validation).
- ConstraintContext.dir candidate, extracted
Directory containing the object files.
- ConstraintContext.fileExists candidate, extracted
File existence checker.
- ConstraintContext.lakeTreeContainsBasename candidate, extracted
Basename lookup under a Lake package root (for lean.ref fallback).
- ConstraintContext.leanContent candidate, extracted
Lean sibling stub content (for §3b-cond kind-check), if the file exists.
- ConstraintContext.mdContent candidate, extracted
Markdown content of the companion .md file (for cross-ref scanning).
- ConstraintContext.rootName candidate, extracted
Root name of the .ts file.
- ConstraintRule.appliesTo candidate, extracted
Which block kinds this rule applies to.
- ConstraintRule.check candidate, extracted
Check function — returns error message or null.
- ContentAdapterDeclaration.className candidate, extracted
The exported class.
- ContentAdapterDeclaration.contentType candidate, extracted
The
contentTypea folio's config names to get this adapter.- ContentAdapterDeclaration.extends candidate, extracted
The
contentTypethis adapter specialises, if any.- ContentAdapterDeclaration.module candidate, extracted
Instance-relative module path.
- ContentAdapterNodeSchema.adapter candidate, extracted
The vocabulary's name — the same field, and the same value, as a block-kind node's
adapter. Deliberately NOTname: a<stem>.jsonwhosenameequals its stem is an instance DECLARATION tofindDeclarationFile, sopaper.jsonwithname: "paper"madecontent-adapters/an instance and collapsed sci's sibling scope.- ContentAdapterNodeSchema.companionRoles candidate, extracted
Which companion roles this vocabulary's blocks can have.
- ContentAdapterNodeSchema.typed candidate, extracted
Whether cat-harness's CODE types this vocabulary's blocks (
BlockSchemainschemas/types.ts). A typed vocabulary's kinds are the platform's own and may not be redefined by a contributor; an untyped one reaches a folio only through its dependency tree.check:kind-validatorsholds the typed set to theContentAdaptertype the code asserts.- ContentAdapterNodeSchema.vocabulary candidate, extracted
The vocabulary's own module,
path.ts, relative to the declaring instance: the code that defines its blocks. For a TYPED vocabulary it exports the kinds' schemas (blockSchemas), and may exportconstraintRulesandbuilders— the contract and its loader arevocabulary-modules.ts. So a layer above cat-harness types its own kinds, and a composition that does not mount it neither discovers nor types them.- ContentDirectory.coverage candidate, extracted
What makes this subgraph reachable — a renderer, a documentation entry, and a governing skill — or the reasons it does not need one.
- ContentDirectory.derivedFrom candidate, extracted
What this directory's content is COMPUTED FROM: the declared directory ids of the graphs whose change can invalidate it, resolved across
needsexactly as a document kind'scomputedFromis (beannama; design notedocs/proposals/derived-graph-dependencies-2026-10-04.md).- ContentDirectory.heldEntries candidate, extracted
Entry slugs of a
libraryheld back from the summary drain while the rest of it drains. See the schema field (beanj7ql).- ContentDirectory.igSite candidate, extracted
Built into the instance's own IG site at
/<instance>/(beanmftp); seeigSiteon the shape below.- ContentDirectory.readOnly candidate, extracted
This directory holds MATERIALIZED content: readable, and not editable here.
- ContentDirectory.readOnlyBasis candidate, extracted
Why — required whenever {@link readOnly} is declared, either value. See the schema field.
- ContentDirectory.source candidate, extracted
Where this subgraph gets its content. Absent is
{ kind: "directory" }. Read it throughresolveSubgraphSource(schemas/subgraph-source.ts), which applies the instance config's override by id.- ContentDirectory.storage candidate, extracted
This directory's contents are STORED on a branch, keyed by commit or tip, and the checkout holds at most a working copy. See {@link DirectoryStorageSchema}.
- ContentDirectory.summaries candidate, extracted
Whether the agent summary drain may offer a
library's blocks; absent meansdrain. See the schema field (beanx80s).- ContentDirectory.theme candidate, extracted
Which theme this subgraph renders on — one answer for every surface that renders it (navbar section, board panel, sticky).
- ContentDirectory.writer candidate, extracted
The GENERATOR that writes this directory: repo-relative script files, and directories ending in
/for what a generator READS rather than imports (its templates). The other half ofderivedFrom: that names the DATA a derived graph is computed from, this names the CODE (owner, 2026-10-04, bean4j86, option 1 of 3).- ContentDirectoryShape.composed candidate, extracted
This directory is AUTHORED FOR THE SITE'S PIPELINE, so compose it into the Jekyll source instead of mounting its built output.
- ContentDirectoryShape.derivedFrom candidate, extracted
What this directory's content is COMPUTED FROM: the declared directory ids of the graphs whose change can invalidate it, resolved across
needsexactly as a document kind'scomputedFromis (beannama; design notedocs/proposals/derived-graph-dependencies-2026-10-04.md).- ContentDirectoryShape.heldEntries candidate, extracted
Entry slugs (
<library>/<slug>/) held back from the summary drain while the rest of thislibrarydrains — the per-entry form ofsummaries: "held". It exists because a hold is the OWNER's decision about a set of documents, and a set can outlive the directory it was stated on: agent-skills' library was held on 2026-09-24 (beanx80s) and dissolved into cat-harness's on 2026-10-01 (beanj7ql), where the other entries drain. Folding the hold into the directory's would either drop it or extend it to documents the owner never held. Listed, never derived, so a move cannot release it silently.- ContentDirectoryShape.igSite candidate, extracted
This directory is built INTO the instance's own IG site, which is served at
/<instance>/— never composed into the main site.- ContentDirectoryShape.instanceRoot candidate, extracted
This directory is what answers at the instance's own route,
/<instance>/.- ContentDirectoryShape.kindRouteRedirect candidate, extracted
/<kind>/<instance>/for this directory is a ONE-FILE REDIRECT to the directory's declared viewer, because the directory itself is not mounted.- ContentDirectoryShape.readOnly candidate, extracted
This directory holds MATERIALIZED content: readable, and not editable here.
- ContentDirectoryShape.readOnlyBasis candidate, extracted
WHY, and required whenever
readOnlyis declared — either value.- ContentDirectoryShape.served candidate, extracted
This directory's BYTES are published verbatim, at
/<instance>/<path>, for the site's own pages to fetch.- ContentDirectoryShape.source candidate, extracted
Where this subgraph gets its CONTENT — the checkout's own directory (the default, so absent means
{ kind: "directory" }) or a declared repository branch, with room for a later kind. The instance config may override it by id. Resolve it withresolveSubgraphSource, never by reading this field: the override and #1764'sstorageare folded in there, once. Seeschemas/subgraph-source.ts— beanl4ay, owner 2026-10-03.- ContentDirectoryShape.storage candidate, extracted
Where this directory's contents are KEPT, when that is not the checkout. See {@link DirectoryStorageSchema} — bean
16ei, arc3fva.- ContentDirectoryShape.summaries candidate, extracted
Whether the agent summary drain may draft summaries for a
librarydirectory's prose blocks (beanx80s). Absent meansdrain.- ContentDirectoryShape.theme candidate, extracted
Which theme this subgraph renders on.
- ContentDirectoryShape.tile candidate, extracted
How this directory's tile looks. See {@link TileSchema}.
- ContentDirectoryShape.visualisedAs candidate, extracted
HOW this graph is shown, and what can be done to it.
- ContentDirectoryShape.writer candidate, extracted
The generator that writes this directory: repo-relative script files, and directories ending in
/for what it reads rather than imports. See the interface field. At least one path, none twice.- ContentTypeDef.facts candidate, extracted
Facts this marker states about the repository, by name, for {@link describeRepository} to cross-check against other markers.
- ContentTypeDef.filename candidate, extracted
The file whose presence at a repository root makes the assertion.
- ContentTypeDef.summary candidate, extracted
One line: what carrying this marker claims about the repository.
- ContentTypeDef.type candidate, extracted
The
@typeIRI this membership projects to. Must dereference.- ContentTypeDisagreement.claims candidate, extracted
Each claim, by the type id that made it.
- ContentTypeMembership.marker candidate, extracted
The marker file that made the assertion, repo-relative.
- ContentTypeMembership.parsed candidate, extracted
Whether the marker PARSED.
- ContentTypeMembership.type candidate, extracted
The IRI a consumer dereferences to learn what this membership means.
- ContentTypeTranslationSchema.bpmnDiagrams candidate, extracted
BPMN diagrams that need re-rendering for translation.
- ContentTypeTranslationSchema.contentType candidate, extracted
Content type identifier (matches adapter name).
- ContentTypeTranslationSchema.formats candidate, extracted
Translatable formats this content type supports.
- ContentTypeTranslationSchema.name candidate, extracted
Human-readable name.
- ContentTypeTranslationSchema.notes candidate, extracted
Additional notes about translation for this content type.
- ContentTypeTranslationSchema.rtlSupported candidate, extracted
Whether RTL rendering is supported.
- ContributedChecker.label candidate, extracted
<contributor>/<sourceFile>— portable, and says whose checker it is.- ContributedChecker.root candidate, extracted
The contributor's own root, absolute.
- ContributedChecker.sourceFile candidate, extracted
Relative to
root.- ConventionSchema.applies candidate, extracted
What this governs —
typescript,bpmn,commit-message.- ConventionSchema.id candidate, extracted
Stable id, referenced by
<cat-harness.processes:convention ref="…"/>.- ConventionSchema.rationale candidate, extracted
WHY, so a reader can tell whether it still holds.
- ConventionSchema.statement candidate, extracted
What the convention actually requires, in one line a reader can act on.
- Coverage.changed candidate, extracted
The changed blocks that need review, in ChangeSet order.
- Coverage.measured candidate, extracted
Whether the build was measured against its base.
- Coverage.missedPages candidate, extracted
Pages the build measured and the prediction missed, not reviewed since. Counted only when
measuredisknown.- Coverage.openDefects candidate, extracted
GW_Covered's fact: review comments of kinddefectstill open or addressed.- Coverage.rendered candidate, extracted
Whether a rendered impact was given; when
absentthe three lists below are empty because UNKNOWN.- Coverage.stale candidate, extracted
Verdicts on an OLDER version of what they are on, which therefore do not count.
- Coverage.uncovered candidate, extracted
Of those, the ones with no current verdict.
- Coverage.uncoveredBlocks candidate, extracted
GW_Covered's fact: changed blocks with no CURRENT verdict.- Coverage.undeterminedInputs candidate, extracted
Inputs no renderer could place, with neither a current verdict nor a waiver.
- Coverage.unreviewedPages candidate, extracted
Rendered pages (and data files) on the review list that nobody has reviewed at their current pin.
- CoverageEntry.chapter candidate, extracted
Chapter number.
- CoverageEntry.label candidate, extracted
LaTeX label (e.g., "thm:lifting-exists").
- CoverageEntry.lean_decl candidate, extracted
Lean declaration name (if any).
- CoverageEntry.lean_docs_url candidate, extracted
URL to pretty-printed Lean documentation (doc-gen4).
- CoverageEntry.lean_source_url candidate, extracted
URL to source on GitHub Pages.
- CoverageEntry.number candidate, extracted
Rendered theorem number (e.g., "4.12").
- CoverageManifest.stats candidate, extracted
Overall coverage statistics.
- CsvwColumnSchema.datatype candidate, extracted
A CSVW datatype name.
anyis CSVW's own top type.- CsvwColumnSchema.fac:group candidate, extracted
The upper row of a two-row header: the label spanning this column, e.g. a decision table's
InputsorOutput. Absent for a one-row header. CSVW has no column groups, sotoCsvwdrops it (bean folio-core-scn4).- CsvwTableSchema.fac:merged candidate, extracted
Merged cell ranges inside the table, A1 notation, e.g.
K8:K25.- CsvwTableSchema.fac:preamble candidate, extracted
Key/value rows ABOVE the header that describe the table rather than belong to it, in sheet order: a DAK decision table's
Decision ID,Business rule,Trigger. Not CSVWnotes, whose objects are JSON-LD annotations a standard reader interprets; these are the source's own labels, verbatim (bean folio-core-scn4).- CsvwTableSchema.fac:stub candidate, extracted
Present iff no extractor produced this.
- CsvwTableSchema.fac:wildcard candidate, extracted
The cell values meaning "any value matches" — a decision table's don't-care. A list: the WHO IMMZ workbook writes
–and-, and 18 of its 86 decision tables use both. A wildcard is a rule, not data: it is not evidence for a column's datatype, and it is not CSVWnull(absent), which would read a don't-care as a missing value.
D
- DakBlockBase.layer candidate, extracted
The WHO knowledge layer this block belongs to.
- DakBlockBase.realises candidate, extracted
Label of the L1 recommendation or L2 component this block realises.
- DakDataDictionaryAnnexSchema.idColumn candidate, extracted
The column key that identifies a data element.
- DakDataDictionaryAnnexSchema.source candidate, extracted
The workbook it was read from, and the sha256 of its bytes.
- DakDeclaration.canonicalUrl candidate, extracted
Where the published DAK lives — the base its
@ids are minted against.- DakDeclaration.name candidate, extracted
The instance's name, e.g. the immunizations DAK's own instance name.
- DakDeclaration.previewUrl candidate, extracted
Where CI previews are served.
- DakDeclaration.publicationUrl candidate, extracted
Where the built IG is published, when that differs from
canonicalUrl.- DakSwimlaneMapSchema.notPersonas candidate, extracted
Lane words that are deliberately not personas -> why.
- DakSwimlaneMapSchema.personas candidate, extracted
Persona as named on the personas page -> the words a lane uses for it.
- DcFieldSchema.schema candidate, extracted
The namespace prefix.
dcthroughout the measured record; DSpace also mintsdcterms,localand others.- DcFieldSchema.values candidate, extracted
Every value, in the order the source gave them. Never collapsed.
- DctermsMapping.range candidate, extracted
literalwhen DCMI gives the term the rangerdfs:Literalor gives no range and the value is prose;resourcewhen the range is a class (Agent, Location, LinguisticSystem, …) or DCMI says the term is "intended to be used with non-literal values".- DctermsMapping.ses candidate, extracted
A syntax encoding scheme the values are in, by the field's own name. Becomes a datatype (JSON-LD) or
xsi:type(XML).- DctermsMapping.term candidate, extracted
The local name under
http://purl.org/dc/terms/.- DctermsMapping.ves candidate, extracted
A vocabulary encoding scheme the values are members of. Becomes
dcam:memberOf(JSON-LD) orxsi:type(XML).The authority record this value is controlled by, where there is one.
dc.subject.meshis a controlled vocabulary with its own resolution; a free-text keyword is not. Keeping the distinction addressable is what lets a later tool ask "which of these subjects can I look up".- DcValueSchema.language candidate, extracted
BCP 47, as DSpace stores it (
en,en_US,fr).- Decision.considered candidate, extracted
Every finding weighed, overruled or not. {@link Finding.id}s.
- Decision.notes candidate, extracted
At least one {@link AuditNote.id}: why this outcome, not another.
- Decision.role candidate, extracted
Role id from
schemas/role-graph.ts— the lane this was decided in.- DecisionContextSchema.alternativeCount candidate, extracted
How many alternatives are being compared.
- DecisionContextSchema.criteriaCount candidate, extracted
How many criteria the alternatives are scored against.
- DecisionContextSchema.criteriaWeightsKnown candidate, extracted
Whether criteria weights are known a priori or must be derived.
- DecisionContextSchema.dataType candidate, extracted
Kind of data available for the criteria values.
- DecisionContextSchema.questionType candidate, extracted
The methodology-adoption lane. When provided, only methods in this lane are candidates.
- DecisionContextSchema.reversibility candidate, extracted
Can the decision be undone, and at what cost?
- DecisionContextSchema.sequential candidate, extracted
True when decisions recur or adapt over time (sequential/bandit setting).
- DecisionContextSchema.stakeholderCount candidate, extracted
Number of people involved in the decision.
- DecisionContextSchema.summary candidate, extracted
Free-text summary of what is being decided. Not matched algorithmically — carried for the rationale narrative.
- DecisionContextSchema.timeConstraint candidate, extracted
How much time is available for the analysis.
- DecisionContextSchema.uncertainty candidate, extracted
How much is unknown about the problem.
- DecisionOptionSchema.con candidate, extracted
What it costs to DO. Not what it costs later; that is
downstream.- DecisionOptionSchema.does candidate, extracted
The mechanism, in one line.
- DecisionOptionSchema.downstream candidate, extracted
What it changes for everything else, afterwards.
- DecisionOptionSchema.label candidate, extracted
What the reader picks. Short, and a noun phrase rather than "yes"/"no".
- DecisionOptionSchema.pro candidate, extracted
What it buys — a benefit, not the absence of a harm.
- DecisionOptionSchema.reversibility candidate, extracted
How expensive it is to undo once taken.
- DecisionRequestSchema.$schema candidate, extracted
Tag identifying the file's contract, when one is written down.
- DecisionRequestSchema.because candidate, extracted
Why that one, in the author's own reasoning.
- DecisionRequestSchema.decides candidate, extracted
What is being decided, as what will DIFFER depending on the answer.
- DecisionRequestSchema.glossary candidate, extracted
Every identifier expanded: bean ids, paths, names coined elsewhere.
- DecisionRequestSchema.ifSilent candidate, extracted
What the author will do if the reader says nothing. Then they do that.
- DecisionRequestSchema.options candidate, extracted
Two to four options, each fully compared.
- DecisionRequestSchema.othersPending candidate, extracted
How many OTHER decisions are waiting.
- DecisionRequestSchema.question candidate, extracted
The question itself, last.
- DecisionRequestSchema.recommends candidate, extracted
The
labelof the recommended option. Checked to be one of them.- DecisionResult.applied candidate, extracted
Decisions applied by this run, as
<decision comment id> → <review comment id>: <status>.- DecisionResult.refused candidate, extracted
A decision tag that could not be applied, and why: said, never silently dropped.
- DecisionResult.tagged candidate, extracted
How many PR comments carried a decision tag, so they are not counted as conversation.
- DecisionSchema.changeSet candidate, extracted
Where the change is made, for a decision that changes the document.
- DecisionTag.target candidate, extracted
The review comment's id.
- DecisionTag.text candidate, extracted
Everything after the header, trimmed: the reason.
- DeclaredContribution.alsoWritten candidate, extracted
The declaring instance's
alsoWritten, forbodyFrom: "summary".- DeclaredContribution.declaredBy candidate, extracted
The declaring instance's
name.- DeclaredContribution.declaredIn candidate, extracted
The declaration this contribution came from, RELATIVE TO THE REPOSITORY —
cat-harness/cat-harness.json,bootstrap/bootstrap.json: each instance's own<instance>/<instance>.json.- DeclaredContribution.description candidate, extracted
The declaring instance's
description, forbodyFrom: "description".- DeclaredContribution.instanceRoot candidate, extracted
The declaring instance's root path on disk, when known.
- DeclaredContribution.summary candidate, extracted
The declaring instance's
summary, forbodyFrom: "summary".- DeclaredGraph.absPath candidate, extracted
Set iff the graph is HERE.
- DeclaredGraph.url candidate, extracted
Set iff the graph is elsewhere. Exactly one of the two, always.
- DeclaredImage.avatarRegion candidate, extracted
The part of this image that IS the avatar, in fractions of it —
603s.- DeclaredImage.textRegion candidate, extracted
The quiet interior a sticky's words sit in, in fractions of this image.
- DeclaredMounts.file candidate, extracted
The file read; absent for
none.- DeclaredMounts.from candidate, extracted
Where they were read from: the index, the declaration's
remoteMounts(no index), or nowhere.- DeclaredSubgraph.instanceName candidate, extracted
That instance's declared
name.- DeclaredSubgraph.instanceRoot candidate, extracted
The root of the instance whose OWN declaration carries the entry.
- DeclaredSubgraph.repository candidate, extracted
The instance's declared
repository(owner/repo), when it has one.- DeclaringInstance.namespace candidate, extracted
<iriBase><version>/ns#— {@link instanceNamespaceOf}.- DeclaringInstance.prefix candidate, extracted
The declaration's
stub, else itsname: the prefix its terms are written with.- DefinitionBlock.examples candidate, extracted
Labels of example blocks illustrating this definition.
- DefinitionBlock.examples candidate, extracted
Labels of example blocks illustrating this definition.
- DefinitionBlock.lean candidate, extracted
Required: every definition must be formalized.
- DefinitionBlock.lean candidate, extracted
Required: every definition must be formalized.
- DependencyEdge.from candidate, extracted
Label of the object that uses another.
- DependencyEdge.to candidate, extracted
Label of the object being used.
- DependencySchema.attribute candidate, extracted
R5
attribute(a code); R4property(a URI).- DependencySchema.display candidate, extracted
R4 only.
- DependencySchema.system candidate, extracted
R4 only.
- DependencySchema.valueSet candidate, extracted
R5 only.
- DependsOnExport.records candidate, extracted
Emitted only when the exporting instance is itself publishable.
Why there are no records, when the answer is not "it has no dependencies".
- DependsOnGap.name candidate, extracted
The dependency's declared name, which is all an unresolved edge has.
- DependsOnRecord.packageId candidate, extracted
The dependency's
id— reverse-DNS, the identity a consumer resolves.- DependsOnRecord.uri candidate, extracted
Its
canonicalUrl, which plays FHIR'surirole (§3.2).- DependsOnRecord.version candidate, extracted
Its exact
version. Never a range, never a SHA (§3.3).Whether {@link EdgeAuthority the direction} may be trusted.
- DetangleEdge.via candidate, extracted
How the edge was found, e.g.
md-link,bpmn-skill,ts-import. Provenance, so a surprising edge can be re-checked rather than argued with.- DetangleFinding.criterion candidate, extracted
Which clause of the criterion produced it.
- DetangleFinding.id candidate, extracted
Unique within the sweep.
- DetangleFinding.metrics candidate, extracted
The numbers behind it, so an adjudicator argues with evidence rather than with a verdict.
- DetangleFinding.reviewer candidate, extracted
Always
scripthere: this module computes and never judges.- DetangleFinding.severity candidate, extracted
The machine axis.
majorthroughout: a failing clause is a reason to look, not a reason to stop.- DetangleFinding.subject candidate, extracted
The candidate group.
- DetangleMetrics.cohesion candidate, extracted
internal / (internal + inbound + outbound). Zero when the group has no edges at all — which is a folder, not a subgraph.
- DetangleMetrics.directionality candidate, extracted
How one-way the boundary is, REGARDLESS of which way it points:
|2 * oneWayness - 1|. 1.0 is perfectly one-way, 0.0 is perfectly balanced.- DetangleMetrics.distinctTargetGroups candidate, extracted
Distinct groups outside that are referenced. What a declared dependency list would actually hold.
- DetangleMetrics.distinctTargets candidate, extracted
Distinct nodes outside the group that are referenced. The DEPENDENCY count, as against the reference count.
- DetangleMetrics.enforcedBoundary candidate, extracted
Boundary edges whose direction is a fact.
roleis read off these ALONE.- DetangleMetrics.inbound candidate, extracted
Edges from outside INTO the group. High is good.
- DetangleMetrics.internal candidate, extracted
Edges with both ends inside the group.
- DetangleMetrics.internalEdges candidate, extracted
The INTERNAL edges themselves, not just their count.
- DetangleMetrics.oneWayness candidate, extracted
inbound / (inbound + outbound). Reported with the raw counts, never instead of them.
- DetangleMetrics.outbound candidate, extracted
Edges from the group OUT. Must be near zero; each is a worklist item.
- DetangleMetrics.proseMentions candidate, extracted
Cross-group PROSE MENTIONS. Not a dependency and not a coupling: a count of sentences that name something living elsewhere. High means "look at whether this prose is in the right file", not "this group is entangled".
- DetangleMetrics.recordedBoundary candidate, extracted
Boundary edges whose direction is a filing decision. Reported as SYMMETRIC COUPLING — a real finding about how tied together two groups are — never as directed dependency.
- DetangleMetrics.role candidate, extracted
Which way the arrows point. See {@link BoundaryRole}.
- DetangleMetrics.worklist candidate, extracted
The outbound edges themselves — the detangling worklist.
- DetangleNode.group candidate, extracted
The candidate grouping under test — a directory, a package, a proposed repo.
- DetangleSidecar.$schema candidate, extracted
The schema tag, so the file declares what it is rather than being identified by shape.
- DetangleSidecar.cohesion candidate, extracted
internal / (internal + inbound + outbound), rounded — see {@link COHESION_DP}.- DetangleSidecar.enforcedBoundary candidate, extracted
Boundary edges whose direction is a FACT.
- DetangleSidecar.group candidate, extracted
The group this measures — the same string
measure()takes.- DetangleSidecar.inbound candidate, extracted
Edges from outside in.
- DetangleSidecar.internal candidate, extracted
Edges with both ends inside.
- DetangleSidecar.outbound candidate, extracted
Edges from inside out.
- DetangleSidecar.proseMentions candidate, extracted
Cross-group prose mentions. Neither a dependency nor a coupling.
- DetangleSidecar.recordedBoundary candidate, extracted
Boundary edges whose direction is a FILING DECISION — symmetric coupling.
- DetangleSidecar.size candidate, extracted
Node count.
- DetangleSidecar.undeterminedDirection candidate, extracted
Outbound edges whose direction cannot be decided, because the source instance declares no
needs. Not clean.- DetangleSidecar.wrongDirection candidate, extracted
Outbound edges
directionOfcalledwrong-direction— the layering is inverted.- DiagramBlock.caption candidate, extracted
Caption text (rendered below diagram in LaTeX).
- DiagramBlock.label candidate, extracted
Diagram label (e.g. "fig:monoidal-structure").
- DiagramBlock.tex candidate, extracted
tikzcd or diagram TeX source (can live inline for short diagrams).
- DiffRendererSchema.defaultFor candidate, extracted
Block kinds this renderer is the DEFAULT for, from
BLOCK_KINDS.*is the fallback, and exactly one renderer carries it. {@link STRUCTURED} is any block with structured sides, and comes before its kind. Two renderers may list the same kind: order is preference, and the page takes the first one that can run on the block. A test holds every other entry to a kind that exists, so a renamed kind cannot silently lose its default.- DiffRendererSchema.description candidate, extracted
One sentence: what the reviewer will see.
- DiffRendererSchema.id candidate, extracted
Stable, and what a viewer's saved choice refers to.
- DiffRendererSchema.label candidate, extracted
What the selector shows. Words, never an icon alone.
- DirectoryStorageSchema.branch candidate, extracted
The branch, e.g.
qa-reports. A plain branch name: norefs/, no.., no leading-.- DirectoryStorageSchema.branchPrefix candidate, extracted
keyedBy: "family"only (beanlehh, owner 2026-10-04): a FAMILY of branches, one per key — the branch-only graphs fhir-ast (one branch per IG package) and lake-cache (one per Lean package and toolchain).pathis where a mount of ONE member lands, as fsh-guts' is. Resolved tokind: "family", never to a single branch.- DirectoryStorageSchema.keyedBy candidate, extracted
How entries are keyed on the branch: one entry per
commit, one live copy at thetip, or one entry per publishedroute. See {@link DirectoryStorageSchema}'s docblock for whyrouteis not a synonym fortip.- DirectoryStorageSchema.keyFrom candidate, extracted
familyonly: what the key is, in words — "the IG's package id".- DirectoryStorageSchema.repository candidate, extracted
familyonly: where the family is. Absent = this repository, a copy materialised here;owner/repo= read from that remote (owner, 2026-10-04: a remote AST may be read or materialised locally, "similar for lean cache").- DirectoryStorageSchema.tool candidate, extracted
The declared Tool that puts content on this store, or mounts it from there:
gh-pagesdeploys a site,ig-cacherestores an AST family (bean j9cs, owner 2026-10-04: *"there should not be a central registry for declaring mount tools"*). A Tool node'sid, whichcheck:storage-toolsresolves against every declaredtoolsgraph.- DocumentImageSchema.basis candidate, extracted
Why
rolesays what it says. Absent only when nothing could be read.- DocumentImageSchema.file candidate, extracted
Path to the extracted file, relative to the library entry.
- DocumentImageSchema.id candidate, extracted
Stable within the document:
img-p007-1.- DocumentImageSchema.narrative candidate, extracted
Present only where a description is worth having — see
role.- DocumentImageSchema.placements candidate, extracted
Every place this image appears, the first one included.
- DocumentImageSchema.same_as candidate, extracted
The SAME PICTURE is already held elsewhere in the repository, and
filepoints there instead of at a copy (beanscfh,scripts/image-reuse.py).- DocumentKindSectionSchema.computedFrom candidate, extracted
Declared graph ids this section is derived from.
- DocumentKindSectionSchema.modelledBy candidate, extracted
The classes of an external vocabulary this section's content instantiates, each as
<system>#<code>in a PINNED snapshot (folio-pinned-terminology/v1) the harness declares.computedFromsays where a section's content comes from; this says what KIND of thing it is in a model someone else owns. Resolving the terms is the harness's check, because only it knows which snapshot it pinned — core names no vocabulary.- DocumentKindSectionSchema.sources candidate, extracted
This section's own sources, when they differ from the kind's.
- DocumentKindSourceSchema.locator candidate, extracted
The part of it that says so: a chapter, a section, a table.
- DocumentKindSourceSchema.ref candidate, extracted
A library entry id or a URL — something a reader can open.
- DublinCoreRecordSchema.id candidate, extracted
The repository's own identifier for the item — a DSpace UUID here. NOT the library slug: the slug is derived downstream and is the weakest of the three identifiers this repository holds for the one worked item.
- DublinCoreRecordSchema.provenance candidate, extracted
Where this record was read from, and when. A metadata record with no provenance is the
source: nulldefect beanr1lzwas opened over, wearing a different hat.- DublinCoreRef.source candidate, extracted
Canonical URI — an IRIS handle, for WHO publications.
E
- EditorCheckerNodeSchema.check candidate, extracted
checkSuggestion(before, after, ctx)→ findings. Errors are syntax errors; warnings never block.- EditorCheckerNodeSchema.contentType candidate, extracted
The content type whose blocks this profile serves (a declared
contentAdapters[].contentType).- EditorCheckerNodeSchema.crepe candidate, extracted
Crepe settings for the profile.
- EditorCheckerNodeSchema.kinds candidate, extracted
Block kinds it is limited to. Absent means every Markdown block of the content type.
- EditorCheckerNodeSchema.macros candidate, extracted
(katexMacros) => macros: the profile's macro table from the page's KaTeX macros, passed tocheck(asmacros) and tocrepe.remarkFirst. Absent: the checker's own defaults.- EditorCheckerNodeSchema.rawFirstFor candidate, extracted
Block kinds whose raw pane (for a paper, the raw-LaTeX pane) is offered up front (owner, 2026-10-14: "both").
- EditorCheckerNodeSchema.tokens candidate, extracted
() => TokenRule[]: the profile's own syntax, for the runtime to keep intact and check while the profile's module is not loaded (adapters/paper/suggest/latex-tokens.ts). Called at build time by cat-harness-tools' editor-profiles bundler, which serialises each pattern.- EjectionSchema.evidenceUrl candidate, extracted
The run, comment or log that shows it.
- EjectionSchema.reason candidate, extracted
What the steward concluded, e.g. "own CI red on
docs:harness:check".- ElementSchema.code candidate, extracted
The source term: a field of the source record, or a code in the source system.
- ElementSchema.noMap candidate, extracted
Deliberately unmapped: an absence that is a statement, not a gap (R5
noMap).- EntryObjectSchema.beans candidate, extracted
Beans and epics this PR serves. Epics are beans, so one list.
- EntryObjectSchema.decidedBy candidate, extracted
Who decided — a session URL,
owner, or an actor id.- EntryObjectSchema.reason candidate, extracted
Why this placement, in a sentence. For
computed, the rule's description will do.- EntryObjectSchema.release candidate, extracted
A person's decision to merge, or not — {@link ReleaseSchema}.
- EntryObjectSchema.repository candidate, extracted
owner/name— a PR number means nothing without its repository.- EntryObjectSchema.status candidate, extracted
The steward's triage verdict (see {@link QUEUE_STATUSES}). Absent on entries written before it existed.
- EntryObjectSchema.trainId candidate, extracted
Assigned once the PR is taken into a train; the train-run instance's id.
- EquationBlock.label candidate, extracted
Equation label (e.g. "eq:snake-identities").
- EquationBlock.tex candidate, extracted
Inline TeX for the equation (short enough to live in .ts).
- ExampleBlock.interprets candidate, extracted
Label of the provable block this example illustrates.
- ExampleBlock.lean candidate, extracted
Optional Lean formalization of the example.
- ExampleSchema.interprets candidate, extracted
Label of the provable block this example interprets. Declared on TS
ExampleBlockand missing here, unlike itsalgorithmandremarksiblings — so it was silently stripped..min(1)matches theirs.- ExpressionCheck.deprecated candidate, extracted
Listed ids the edition marks deprecated, canonical spelling.
- ExpressionCheck.recased candidate, extracted
Ids written in a case other than the list's, as
[written, canonical]. Valid; reported.- ExternalIdentitySchema.actor candidate, extracted
The declared actor this identity belongs to, when known.
- ExternalIdentitySchema.displayName candidate, extracted
Display name, when the provider gave one. Never used for matching.
- ExternalIdentitySchema.id candidate, extracted
The handle or address **within that provider**.
- ExternalIdentitySchema.provider candidate, extracted
The naming system —
github,google,git, an institutional IdP.- ExternalSchemaSchema.id candidate, extracted
Stable local id, e.g.
omg-bpmn-2.0.- ExternalSchemaSchema.namespaces candidate, extracted
The XML namespaces or URI stems this edition defines, as WE consume them.
- ExternalSchemaSchema.note candidate, extracted
Why this edition, where the choice was not forced.
- ExternalSchemaSchema.specUrl candidate, extracted
Where the specification is published.
- ExternalSchemaSchema.terms candidate, extracted
The OPERATIVE vocabulary — the terms this repository actually acts on.
- ExternalSchemaSchema.title candidate, extracted
The specification's own title, as the authority writes it.
- ExternalSchemaSchema.version candidate, extracted
The edition being conformed to.
- ExtractedAssetSchema.bytes candidate, extracted
Uncompressed size in bytes, from the container's index.
- ExtractedAssetSchema.extractedBecause candidate, extracted
Why this one entry was extracted, when one was.
- ExtractedAssetSchema.localPath candidate, extracted
Where the entry was written, IF it was written.
- ExtractedAssetSchema.mediaType candidate, extracted
Media type.
- ExtractedAssetSchema.modifiedAt candidate, extracted
The entry's own timestamp, as the container records it.
- ExtractedAssetSchema.path candidate, extracted
Path INSIDE the container, exactly as the container spells it.
- ExtractedAssetSchema.sha256 candidate, extracted
sha256 of the entry's bytes, when it was read rather than indexed.
- ExtractionSchema.assets candidate, extracted
Every entry the container indexes.
- ExtractionSchema.capturedAt candidate, extracted
When the CONTAINER'S CONTENTS were produced — the capture moment.
- ExtractionSchema.container candidate, extracted
The container this describes, repo-relative.
- ExtractionSchema.omitted candidate, extracted
Entries deliberately not listed, and why.
- ExtractionSchema.producer candidate, extracted
The tool that produced the container, verbatim.
- ExtractionSchema.readAt candidate, extracted
When THIS record was written — a fact about the reading, not the file.