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 2140 (SKOS) · folio-assistant-core 179 (SKOS).
One of 4 pages of this type, split by the first letter of the label: all parts.
Size: this page holds 640 terms and is 359 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 | 2405 | 0 | — |
skos | 0 | 2405 | 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.
640 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.
- 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.
- 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 — for an untyped vocabulary, the code that defines its blocks. - 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
- 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.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.
E
- 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.