Views Overview Document Graph Artifacts Background Assets Grounded outputs diagram Before and after knowledge drift diagram Incremental adoption diagram Generated Todo documentation diagram Business Rule Single owner for durable facts Agents maintain Grounded during project work Semantic slices may nest and overlap Concepts Grounded theory Grounded project memory Bounded modeling slice Semantic slice Decisions Registry unit core Separate project domain docs from Grounded background Render structured fields before raw JSON Model invariants as explicit concepts Model statuses as lifecycle values Provide search on every generated HTML page Keep unit metadata unobtrusive Render related concepts inline on unit pages Color-code links by unit type Show object type as quiet context Render typed context as dedicated sections Model lifecycle vocabularies as lifecycle types Model concrete nouns as business entities Model collections as business entities Render entity invariants from backlinks Use friendly status value labels Model status values as lifecycle values Attach invariants to constrained units Hide decisions from domain link panels Link resolvable field types Keep status values on lifecycle page Adopt compact docs shell Componentize generated docs with Lit Package examples as standalone projects Initialize project files under .grounded Make AGENTS updates opt-in Keep built-in types minimal Bundle default stylesheet Add optional grounded-link label Field rows expose stable anchors Use optional short names for display Harden generated outputs and render checks Require exact type matches and collision checks Render enum values on enum pages Support project-defined tags with tag pages Expose a reusable unit core template Render explicit slice documentation pages Release slice and description features as 0.3.0 Support constrained inline rich text Release inline rich text as 0.4.0 Render compact linked item lists Release compact lists as 0.5.0 Increase bundled stylesheet font scale Generalize reusable documentation components Release reusable documentation components as 0.6.0 Generate Graphviz relationship graphs Release Graphviz graph export as 0.7.0 Prepare documentation site for GitHub Pages Add generated docs theme toggle Adopt DESIGN.md default documentation styling Release publishing and documentation styling as 0.8.0 Release graph presentation and sidebar accordions as 0.9.0 Search project memory from the CLI Release CLI project-memory search as 0.10.0 Adapter-backed project-memory loading Name governed type definitions registry types List registry types and specs from the CLI Release registry inspection as 0.13.0 Generate documentation from a documentation graph Support full-file generated document ownership Render generated docs as semantic views Prepare PyPI package publishing Release PyPI-ready Grounded as 1.0.0 Compress public semantics for P2 Introduce minimal typed edges Verification runs reuse repeated work Configure managed Markdown roots explicitly Govern the Grounded knowledge graph audit skill Build focused LLM context from the CLI Release focused context CLI as 1.1.0 Model bindings as opt-in type capabilities Release changed-file context lookup as 1.2.0 Release suffix collection field type links as 1.2.1 Render slice memberships as grounded-links Generated Artifacts Documentation source of truth section Registry inspection section Grounded value proposition section CLI workflow section Documentation migration section Tiny example section Quick start section First useful spec section Common commands section Typed tags section Adoption diagram section Adoption ladder section Usage fit section Examples and deeper docs section Project layout section GitHub Pages publishing section Drift guardrails section Agent workflow section Release publishing section Protected block migration example section Focused context section Generated Artifacts Public documentation set Enums Trust status Example Generated docs reference canonical specs Generated Artifacts README generated document Getting started generated document Concepts generated document CLI reference generated document Incremental adoption generated document LLM workflows generated document Drift checks generated document Publishing generated document Grounded knowledge graph audit skill Guardrails Bindings on non-bindable type Duplicate binding ID Invalid explicit binding shape Invalid mapped binding value Invalid binding field mapping Unsupported binding target kind Invalid binding role Unsafe file binding path Missing file binding path Unknown type capability Binding mapping without bindable capability Knowledge units do not own concrete binding fields Pathless SpecRegistry compatibility unit Concepts avoid catch-all drift Required canonical fact lacks declared test coverage Decisions stay narrow Documentation graph reference has wrong type Sourced document section has no sources Generated document lacks projection contract Documentation file is not generated Document sections are projection assembly Generated view is stale Authored edges field is a list Authored edge entries have type and target Edge type vocabulary stays canonical Authored edge targets must resolve Verified by edges target active proof specs Projection edges do not create truth owners Illustration edges target assets Strong semantic edges do not target generated artifacts Semantic layer vocabulary stays small Dependency layers flow from concrete to stable Manual backlinks are legacy compatibility Legacy fields normalize into typed edges Project behavior must use extension points Duplicate canonical ID Invalid JSON spec Unknown spec kind Grounded public naming guardrail Possible duplicate fact ownership Unknown reference Unknown structured reference Unknown example reference Unknown artifact reference Reference target missing required typed tag Spec root is not an object Missing ID or kind Missing required fields Reference field is not a list Reference list contains non-string values Type-specific schema validation failed Public vocabulary stays compressed Semantic categories stay small Specs directory is missing Missing central stylesheet Missing design tokens Hard-coded presentation outside style source Unknown typed tag type Unknown typed tag value Malformed tag list Invalid trust status Verified claim lacks proof Verified claim references invalid verification Verified claim proof targets another spec Generated artifacts cannot own truth Checkable claims need a structural path Observed claims need a non-generated basis Trust status is separate from lifecycle status Verified claims require targeted proof Verification commands must be runnable-looking Runtime verification proves verified claims Invalid type registry JSON Invalid type registry root Invalid type definition Unknown parent type Missing type schema path Invalid type schema JSON Invalid type schema root Invalid JSON Schema for type Invalid tag type registry Tag constraint on non-reference field Type hierarchy cycle Invalid semantic category Verification command failed Verification command timed out Runtime verification target mismatch Verified claim failed runtime proof Schema Gaps Project-specific fact shapes belong in the type registry Semantic slice structure Test Bindings Grounded link label attribute is rendered and honored Field rows expose anchors and fragment links Knowledge unit short names are used for rendered labels Generated outputs are HTML-safe and render checks report obsolete pages Field types resolve exactly and slug collisions fail fast Enum pages render closed value lists Tagged objects and fields render tag links and grouped tag pages Project templates can extend unit-core and the core unit page renders collection-aware field links Slice pages render scoped members with overrides Documented units require descriptions Rich text links render and validate as references Tag pages render compact item lists Bundled stylesheet uses readable font scale Reusable documentation components are bundled Graph command emits relationship DOT Generated docs include a theme toggle Bundled stylesheet follows DESIGN.md tokens CLI search finds entities and related specs Typed tags validate and constrain references Generated links expose target tooltips Project-memory loading is adapter-backed Registry types render as Grounded Types Registry unit base stays minimal Registry CLI lists types and specs Generated document blocks render from specs Documentation graph audit catches invalid edges Semantic documentation templates render content first PyPI package metadata and publish workflow are declared Package version is synchronized Public surfaces use Grounded naming Trust credibility loop is enforced Semantic compression boundary tests Typed edge model tests Verification and audit reuse repeated work Managed Markdown roots are configurable Audit skill format is verified CLI context builds focused LLM context Binding normalization and context output Bootstrap validation covers single-owner rule Semantic slice nesting is covered by Grounded validation Slice memberships render as grounded-links Verification Audit skill format check Public naming drift check Trust credibility loop tests Bootstrap validation Workflows Scope a bounded Grounded model Project memory Project Memory Generated from typed Grounded specs. Search, backlinks, and links are derived from the same registry.

Generated artifacts

These files are projections over Grounded specs.

Start with the documents, then follow each document into the sections, source specs, and governed assets that explain why the page exists.

README.md

README generated document

This protected block is the default adoption exemplar: keep the surrounding README hand-authored, generate one useful section from source specs, and let grounded render --check catch drift.

1 sections protected_block

docs/getting-started.md

Getting started generated document

Start a project with Grounded, add one useful spec, and run the basic validation and rendering loop.

4 sections full_file

docs/concepts.md

Concepts generated document

Explain the source-of-truth, metamodel, registry, typed tag, and generated-view concepts that Grounded uses.

3 sections full_file

docs/cli-reference.md

CLI reference generated document

List the Grounded CLI commands and the canonical workflow decisions that own their behavior.

4 sections full_file

docs/incremental-adoption.md

Incremental adoption generated document

Show how to adopt Grounded in small steps without turning the whole project into documentation theatre.

4 sections full_file

docs/llm-workflows.md

LLM workflows generated document

Explain how agents should use Grounded search, specs, generated context, and audits during project work.

4 sections full_file

docs/drift-checks.md

Drift checks generated document

Explain the checks Grounded uses to make documentation drift visible and reviewable.

2 sections full_file

docs/PUBLISHING.md

Publishing generated document

Explain how generated documentation and the Todo demo are built and published.

2 sections full_file

skills/audit-grounded-knowledge-graph/SKILL.md

Grounded knowledge graph audit skill

Render the standard audit skill from its canonical maintained source.

0 sections full_file
What The Graph Says

README generated document

This protected block is the default adoption exemplar: keep the surrounding README hand-authored, generate one useful section from source specs, and let grounded render --check catch drift.

Generated Artifact

Getting started generated document

Start a project with Grounded, add one useful spec, and run the basic validation and rendering loop.

Generated Artifact

Concepts generated document

Explain the source-of-truth, metamodel, registry, typed tag, and generated-view concepts that Grounded uses.

Generated Artifact

CLI reference generated document

List the Grounded CLI commands and the canonical workflow decisions that own their behavior.

Generated Artifact

Incremental adoption generated document

Show how to adopt Grounded in small steps without turning the whole project into documentation theatre.

Generated Artifact

LLM workflows generated document

Explain how agents should use Grounded search, specs, generated context, and audits during project work.

Generated Artifact

Drift checks generated document

Explain the checks Grounded uses to make documentation drift visible and reviewable.

Generated Artifact

Publishing generated document

Explain how generated documentation and the Todo demo are built and published.

Generated Artifact

Grounded knowledge graph audit skill

Render the standard audit skill from its canonical maintained source.

Generated Artifact

Registry unit core

Grounded core models project memory as authored specs that use registry_type definitions. A spec is an authored instance of one registry_type; a registry_type describes what that class of specs is allowed or expected to contain; registry_unit is the minimal base contract for every authored Grounded unit; and knowledge_unit is a richer documented registry_unit for human-facing concepts, rules, types, and decisions. The registry_unit base requires stable identity, type or kind, name, and lifecycle status, with optional owner and summary metadata. Documentation fields such as description and tags belong on documented types. Evidence and relationship fields such as references, examples, tests, and generic links must be opted into by specific registry types rather than inherited from the root base or knowledge_unit. Type-specific JSON Schemas, verification bindings, rendering templates, graph links, and search fields are configured by registry_type definitions rather than hardcoded domain semantics.

Decision

Separate project domain docs from Grounded background

Generated project documentation presents project-owned domain units as the primary index.html entry page. Grounded concepts, project memory guardrails, and generated-system metadata remain available on a separate background page through a non-prominent link.

Decision

Render structured fields before raw JSON

Generated unit pages render structured fields and typed details before implementation data. Raw JSON remains available for debugging and traceability, but it is hidden by default behind a disclosure control.

Decision
Assets

Grounded outputs diagram

Governs the README and documentation diagram that shows Grounded specs producing generated docs, LLM context, validation, verification, and drift reports.

Generated Artifact

Before and after knowledge drift diagram

Governs the README diagram that compares scattered project knowledge with Grounded-owned canonical facts.

Generated Artifact

Incremental adoption diagram

Governs the README diagram that shows Grounded's incremental adoption ladder.

Generated Artifact

Generated Todo documentation diagram

Governs the README image that previews generated Todo example documentation.

Generated Artifact
Business Rule

Single owner for durable facts

Defines the Single owner for durable facts rule so agents and maintainers know when and how to apply it.

Business Rule

Agents maintain Grounded during project work

Defines the Agents maintain Grounded during project work rule so agents and maintainers know when and how to apply it.

Business Rule

Semantic slices may nest and overlap

Defines the Semantic slices may nest and overlap rule so agents and maintainers know when and how to apply it.

Business Rule
Concepts

Grounded theory

Explains the Grounded theory concept and how it should be used as canonical Grounded knowledge.

Concept

Grounded project memory

Explains the Grounded project memory concept and how it should be used as canonical Grounded knowledge.

Concept

Bounded modeling slice

Explains the Bounded modeling slice concept and how it should be used as canonical Grounded knowledge.

Concept

Semantic slice

Explains the Semantic slice concept and how it should be used as canonical Grounded knowledge.

Concept
Decisions

Registry unit core

Documents the spec, registry_type, registry_unit, and knowledge_unit relationship so maintainers know the minimal base contract and documented extension shape for authored Grounded units.

Decision

Separate project domain docs from Grounded background

Documents the Separate project domain docs from Grounded background decision and explains how it guides Grounded behavior or project maintenance.

Decision

Render structured fields before raw JSON

Documents the Render structured fields before raw JSON decision and explains how it guides Grounded behavior or project maintenance.

Decision

Model invariants as explicit concepts

Documents the Model invariants as explicit concepts decision and explains how it guides Grounded behavior or project maintenance.

Decision

Model statuses as lifecycle values

Documents the Model statuses as lifecycle values decision and explains how it guides Grounded behavior or project maintenance.

Decision

Provide search on every generated HTML page

Documents the Provide search on every generated HTML page decision and explains how it guides Grounded behavior or project maintenance.

Decision

Keep unit metadata unobtrusive

Documents the Keep unit metadata unobtrusive decision and explains how it guides Grounded behavior or project maintenance.

Decision

Render related concepts inline on unit pages

Documents the Render related concepts inline on unit pages decision and explains how it guides Grounded behavior or project maintenance.

Decision

Color-code links by unit type

Documents the Color-code links by unit type decision and explains how it guides Grounded behavior or project maintenance.

Decision

Show object type as quiet context

Documents the Show object type as quiet context decision and explains how it guides Grounded behavior or project maintenance.

Decision

Render typed context as dedicated sections

Documents the Render typed context as dedicated sections decision and explains how it guides Grounded behavior or project maintenance.

Decision

Model lifecycle vocabularies as lifecycle types

Documents the Model lifecycle vocabularies as lifecycle types decision and explains how it guides Grounded behavior or project maintenance.

Decision

Model concrete nouns as business entities

Documents the Model concrete nouns as business entities decision and explains how it guides Grounded behavior or project maintenance.

Decision

Model collections as business entities

Documents the Model collections as business entities decision and explains how it guides Grounded behavior or project maintenance.

Decision

Render entity invariants from backlinks

Documents the Render entity invariants from backlinks decision and explains how it guides Grounded behavior or project maintenance.

Decision

Use friendly status value labels

Documents the Use friendly status value labels decision and explains how it guides Grounded behavior or project maintenance.

Decision

Model status values as lifecycle values

Documents the Model status values as lifecycle values decision and explains how it guides Grounded behavior or project maintenance.

Decision

Attach invariants to constrained units

Documents the Attach invariants to constrained units decision and explains how it guides Grounded behavior or project maintenance.

Decision

Hide decisions from domain link panels

Documents the Hide decisions from domain link panels decision and explains how it guides Grounded behavior or project maintenance.

Decision

Link resolvable field types

Documents the Link resolvable field types decision and explains how it guides Grounded behavior or project maintenance.

Decision

Keep status values on lifecycle page

Documents the Keep status values on lifecycle page decision and explains how it guides Grounded behavior or project maintenance.

Decision

Adopt compact docs shell

Documents the Adopt compact docs shell decision and explains how it guides Grounded behavior or project maintenance.

Decision

Componentize generated docs with Lit

Documents the Componentize generated docs with Lit decision and explains how it guides Grounded behavior or project maintenance.

Decision

Package examples as standalone projects

Documents the Package examples as standalone projects decision and explains how it guides Grounded behavior or project maintenance.

Decision

Initialize project files under .grounded

Documents the Initialize project files under .grounded decision and explains how it guides Grounded behavior or project maintenance.

Decision

Make AGENTS updates opt-in

Documents the Make AGENTS updates opt-in decision and explains how it guides Grounded behavior or project maintenance.

Decision

Keep built-in types minimal

Documents the Keep built-in types minimal decision and explains how it guides Grounded behavior or project maintenance.

Decision

Bundle default stylesheet

Documents the Bundle default stylesheet decision and explains how it guides Grounded behavior or project maintenance.

Decision

Add optional grounded-link label

Documents the Add optional grounded-link label decision and explains how it guides Grounded behavior or project maintenance.

Decision

Field rows expose stable anchors

Documents the Field rows expose stable anchors decision and explains how it guides Grounded behavior or project maintenance.

Decision

Use optional short names for display

Documents the Use optional short names for display decision and explains how it guides Grounded behavior or project maintenance.

Decision

Harden generated outputs and render checks

Documents the Harden generated outputs and render checks decision and explains how it guides Grounded behavior or project maintenance.

Decision

Require exact type matches and collision checks

Documents the Require exact type matches and collision checks decision and explains how it guides Grounded behavior or project maintenance.

Decision

Render enum values on enum pages

Documents the Render enum values on enum pages decision and explains how it guides Grounded behavior or project maintenance.

Decision

Support project-defined tags with tag pages

Documents the Support project-defined tags with tag pages decision and explains how it guides Grounded behavior or project maintenance.

Decision

Expose a reusable unit core template

Documents the Expose a reusable unit core template decision and explains how it guides Grounded behavior or project maintenance.

Decision

Render explicit slice documentation pages

Documents the Render explicit slice documentation pages decision and explains how it guides Grounded behavior or project maintenance.

Decision

Release slice and description features as 0.3.0

Documents the 0.3.0 version bump so the release version has a canonical Grounded owner.

Decision

Support constrained inline rich text

Documents the constrained inline rich-text syntax so prose fields can link to canonical Grounded units without allowing arbitrary HTML.

Decision

Release inline rich text as 0.4.0

Documents the 0.4.0 version bump so the inline rich-text release has a canonical Grounded owner.

Decision

Render compact linked item lists

Documents the compact list components so generated docs can show dense linked name-and-description rows without full unit cards.

Decision

Release compact lists as 0.5.0

Documents the 0.5.0 version bump so the compact list release has a canonical Grounded owner.

Decision

Increase bundled stylesheet font scale

Documents the default documentation font-size token scale so the bundled stylesheet remains readable and aligned with the design brief without project overrides.

Decision

Generalize reusable documentation components

Documents the reusable Lit component extraction from a project-specific analytics documentation mock.

Decision

Release reusable documentation components as 0.6.0

Documents the 0.6.0 version bump so the reusable documentation component release has a canonical Grounded owner.

Decision

Generate Graphviz relationship graphs

Documents the Graphviz DOT CLI export so Grounded relationship graphs can be generated from the same canonical registry references used by rendered docs.

Decision

Release Graphviz graph export as 0.7.0

Documents the 0.7.0 version bump so the Graphviz relationship graph CLI release has a canonical Grounded owner.

Decision

Prepare documentation site for GitHub Pages

Documents the GitHub Pages preparation for generated Grounded documentation and the Todo demo so publishing uses generated artifacts without committing rendered site files.

Decision

Add generated docs theme toggle

Documents the light and dark theme toggle for generated Grounded documentation so theme behavior has a canonical owner.

Decision

Adopt DESIGN.md default documentation styling

Documents DESIGN.md as the default rendered HTML styling source so bundled docs styling has a canonical owner.

Decision

Release publishing and documentation styling as 0.8.0

Documents the 0.8.0 version bump so the publishing, theme toggle, and DESIGN.md styling release has a canonical Grounded owner.

Decision

Release graph presentation and sidebar accordions as 0.9.0

Documents the 0.9.0 version bump so the graph presentation and generated documentation navigation release has a canonical Grounded owner.

Decision

Search project memory from the CLI

Documents the CLI search workflow so LLM agents can discover existing entities, concepts, and specs before creating new specs.

Decision

Release CLI project-memory search as 0.10.0

Documents the 0.10.0 version bump so the CLI project-memory search release has a canonical Grounded owner.

Decision

Adapter-backed project-memory loading

Documents the project-memory module boundary so graph semantics remain independently testable and JSON, filesystem, and JSON Schema mechanics can be replaced by adapters.

Decision

Name governed type definitions registry types

Documents the registry_type nomenclature for Grounded metamodel types and how generated views should label them.

Decision

List registry types and specs from the CLI

Documents the registry inspection CLI command so maintainers and agents can see both registry types and authored specs from one entry point.

Decision

Release registry inspection as 0.13.0

Documents the 0.13.0 version bump so registry inspection and metamodel terminology changes have a canonical Grounded release owner.

Decision

Generate documentation from a documentation graph

Documents the documentation-graph model so generated docs are projections over source specs instead of hand-maintained durable knowledge.

Decision

Support full-file generated document ownership

Documents generated document write modes so Grounded can migrate safely from protected generated blocks to fully generated documentation files.

Decision

Render generated docs as semantic views

Documents the generated documentation redesign so Grounded pages communicate the underlying graph and source meaning before showing implementation metadata.

Decision

Prepare PyPI package publishing

Documents the PyPI publication preparation so package metadata, release workflow behavior, and trusted-publishing setup have a canonical Grounded owner.

Decision

Release PyPI-ready Grounded as 1.0.0

Documents the 1.0.0 major version bump so the PyPI-ready release has a canonical Grounded owner.

Decision

Compress public semantics for P2

Documents the P2 semantic compression boundary so Grounded exposes fewer public modeling concepts while preserving internal registry precision.

Decision

Introduce minimal typed edges

Documents the P3 edge-model decision so Grounded can normalize important relationships without replacing every field with graph machinery.

Decision

Verification runs reuse repeated work

Documents the runtime efficiency and scope contract for verification and audit execution so repeated proof commands and generated-site rendering stay bounded.

Decision

Configure managed Markdown roots explicitly

Documents the config contract for opting Markdown files into generated-document coverage without forcing every Markdown file to be managed.

Decision

Govern the Grounded knowledge graph audit skill

Documents the governed audit skill artifact so Grounded knowledge-graph review guidance has one canonical source and one rendered skill output.

Decision

Build focused LLM context from the CLI

Documents the focused CLI context command so LLM agents can gather bounded, graph-aware project memory from a specific starting point.

Decision

Release focused context CLI as 1.1.0

Documents the 1.1.0 version bump so the focused context CLI release has a canonical Grounded owner.

Decision

Model bindings as opt-in type capabilities

Defines the generic binding model so context packs can expose implementation and test artifacts without making every knowledge unit inherently bound.

Decision

Release changed-file context lookup as 1.2.0

Documents the 1.2.0 version bump so declared-binding changed-file context lookup has a canonical Grounded owner.

Decision

Release suffix collection field type links as 1.2.1

Documents the 1.2.1 version bump so suffix collection field type linking has a canonical Grounded owner.

Decision

Render slice memberships as grounded-links

Documents the Render slice memberships as grounded-links decision and explains how it guides Grounded behavior or project maintenance.

Decision
Generated Artifacts

Documentation source of truth section

Defines the README problem section from governed source specs and the before-and-after diagram asset.

Generated Artifact

Registry inspection section

Defines the README section that points readers to the registry inspection command as a way to understand the active documentation graph.

Generated Artifact

Grounded value proposition section

Defines the README section that summarizes Grounded's source-of-truth value from canonical source specs.

Generated Artifact

CLI workflow section

Defines the README section that summarizes the CLI workflow capabilities from command-owning decisions.

Generated Artifact

Documentation migration section

Defines the documentation section that explains the safe migration path toward generated public documentation.

Generated Artifact

Tiny example section

Defines the README section that shows a small source spec example.

Generated Artifact

Quick start section

Defines the README quick start section as ordered setup and render steps.

Generated Artifact

First useful spec section

Defines the README section that suggests good first Grounded specs.

Generated Artifact

Common commands section

Defines the README command table for common Grounded CLI workflows.

Generated Artifact

Typed tags section

Defines the README section that introduces typed tags and constrained references.

Generated Artifact

Adoption diagram section

Defines the README adoption diagram section with governed alt text.

Generated Artifact

Adoption ladder section

Defines the README adoption ladder as structured generated documentation.

Generated Artifact

Usage fit section

Defines the README section that describes when Grounded is and is not a good fit.

Generated Artifact

Examples and deeper docs section

Defines the README link list for examples and deeper documentation.

Generated Artifact

Project layout section

Defines the README section that shows the default Grounded project layout.

Generated Artifact

GitHub Pages publishing section

Defines the README section that summarizes generated documentation publishing.

Generated Artifact

Drift guardrails section

Defines the drift checks guide section that lists the main validation, audit, and verification guardrails.

Generated Artifact

Agent workflow section

Defines the LLM workflows guide section that explains agent responsibilities from canonical rules and decisions.

Generated Artifact

Release publishing section

Defines the publishing guide section that summarizes publishing and generated documentation release decisions.

Generated Artifact

Protected block migration example section

Defines the migration example that shows a handwritten README section becoming a protected generated block sourced from specs.

Generated Artifact

Focused context section

Defines the focused context workflow guidance for LLM agents and maintainers.

Generated Artifact
Generated Artifacts

Public documentation set

Groups the generated public documentation artifacts that Grounded should render and check together.

Generated Artifact
Enums

Trust status

Defines the trust-status vocabulary used to describe claim credibility separately from lifecycle status.

Enum
Example

Generated docs reference canonical specs

Provides a concrete example for PROJECT-RULE-001 so the rule can be understood and verified in context.

Example
Generated Artifacts

README generated document

Defines the protected README command block so the repository entrypoint can stay hand-authored while one useful section is projected from Grounded source specs.

Generated Artifact

Getting started generated document

Defines the generated getting-started guide as a projection over setup, first-spec, command, and layout sections.

Generated Artifact

Concepts generated document

Defines the generated concepts guide as a projection over Grounded metamodel and documentation graph specs.

Generated Artifact

CLI reference generated document

Defines the generated CLI reference as a projection over command and CLI workflow sections.

Generated Artifact

Incremental adoption generated document

Defines the generated incremental adoption guide as a projection over adoption and first-spec sections.

Generated Artifact

LLM workflows generated document

Defines the generated LLM workflows guide from agent maintenance and search workflow source specs.

Generated Artifact

Drift checks generated document

Defines the generated drift checks guide from validation, audit, verification, and generated-view guardrails.

Generated Artifact

Publishing generated document

Defines the generated publishing guide from GitHub Pages and release-oriented documentation decisions.

Generated Artifact

Grounded knowledge graph audit skill

Defines the rendered Grounded knowledge-graph audit skill as a generated artifact sourced from the maintained skill source and governing decision.

Generated Artifact
Guardrails

Bindings on non-bindable type

Defines the guardrail for specs that declare explicit bindings without a bindable type capability.

Guardrail

Duplicate binding ID

Defines the guardrail for duplicate binding identifiers within one spec.

Guardrail

Invalid explicit binding shape

Defines the guardrail for malformed explicit binding declarations.

Guardrail

Invalid mapped binding value

Defines the guardrail for mapped binding fields whose values do not match their declared cardinality.

Guardrail

Invalid binding field mapping

Defines the guardrail for malformed type-registry binding_field_mappings metadata.

Guardrail

Unsupported binding target kind

Defines the guardrail for binding targets whose kind is not supported by the current binding slice.

Guardrail

Invalid binding role

Defines the guardrail for binding roles outside Grounded's supported binding-role vocabulary.

Guardrail

Unsafe file binding path

Defines the guardrail for file binding paths that are empty, POSIX-absolute, Windows drive-prefixed, UNC-absolute, home-relative, parent-traversing, or escape the project root.

Guardrail

Missing file binding path

Defines the guardrail for file bindings whose configured path_exists validation points at a missing repository file.

Guardrail

Unknown type capability

Defines the guardrail for type definitions that declare unsupported capability names.

Guardrail

Binding mapping without bindable capability

Defines the guardrail for type definitions that declare binding field mappings without opting into bindability.

Guardrail

Knowledge units do not own concrete binding fields

Defines the binding-schema guardrail so implementation files, tests, commands, and other external artifacts remain opt-in bindings rather than universal knowledge_unit fields.

Guardrail

Pathless SpecRegistry compatibility unit

Defines the Pathless SpecRegistry compatibility unit guardrail so compatibility adapters report source models that cannot be represented by the filesystem-shaped legacy SpecRegistry API.

Guardrail

Concepts avoid catch-all drift

Defines the concept specificity guardrail so concept specs remain sharply defined instead of absorbing arbitrary project prose.

Guardrail

Required canonical fact lacks declared test coverage

Defines the Required canonical fact lacks declared test coverage guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Decisions stay narrow

Defines the decision-shape guardrail so decision specs do not become arbitrary workflow, generated-doc, or implementation-note containers.

Guardrail

Documentation graph reference has wrong type

Defines the documentation graph typed-reference guardrail so generated document views remain explainable and sections, documents, sets, and assets reference the expected kinds.

Guardrail

Sourced document section has no sources

Defines the sourced projection guardrail so generated documents and document sections do not become ungrounded prose buckets.

Guardrail

Generated document lacks projection contract

Defines the generated document projection-contract guardrail so each generated output declares how Grounded renders and writes it.

Guardrail

Documentation file is not generated

Defines the generated documentation coverage guardrail so configured Markdown roots stay owned by generated_document specs instead of drifting as independent sources of truth. Projects opt in additional roots through grounded.yml, while the generated docs tree remains covered by default through the built-in managed_markdown_roots setting owned by GROUNDED-DECISION-068.

Guardrail

Document sections are projection assembly

Defines the document-section truth boundary so generated document sections organize projections without becoming canonical claim owners.

Guardrail

Generated view is stale

Defines the Generated view is stale guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Authored edges field is a list

Defines the authored edges container shape so typed relationships enter the registry through a predictable list field.

Guardrail

Authored edge entries have type and target

Defines the authored edge entry contract so each edge has enough structure to normalize and diagnose.

Guardrail

Edge type vocabulary stays canonical

Defines the canonical typed-edge vocabulary so authored edges, JSON Schema, tests, rendering, and search use the same relationship names.

Guardrail

Authored edge targets must resolve

Defines the target-resolution rule for authored and normalized edges.

Guardrail

Verified by edges target active proof specs

Defines the verified_by edge semantics so proof-bearing relationships cannot point at arbitrary specs.

Guardrail

Projection edges do not create truth owners

Defines generated-artifact edge semantics so documentation and projection nodes derive from or document source specs without becoming canonical truth.

Guardrail

Illustration edges target assets

Defines the illustrated_by target-kind rule so visual support is governed by asset specs.

Guardrail

Strong semantic edges do not target generated artifacts

Defines generated-artifact exclusion rules for strong semantic edges.

Guardrail

Semantic layer vocabulary stays small

Defines the optional dependency-layer vocabulary used for depends_on direction checks.

Guardrail

Dependency layers flow from concrete to stable

Defines optional semantic_layer dependency direction for depends_on edges.

Guardrail

Manual backlinks are legacy compatibility

Defines the backlink ownership rule so inverse relationships are computed from normalized edges instead of maintained by hand.

Guardrail

Legacy fields normalize into typed edges

Defines compatibility between existing relationship fields and the normalized typed-edge model.

Guardrail

Project behavior must use extension points

Defines the extension-point guardrail so project-specific behavior stays in registries, schemas, template overrides, styles, slice metadata, or verification specs instead of core Grounded internals.

Guardrail

Duplicate canonical ID

Defines the Duplicate canonical ID guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Invalid JSON spec

Defines the Invalid JSON spec guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Unknown spec kind

Defines the Unknown spec kind guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Grounded public naming guardrail

Defines the public naming guardrail so Grounded's release, package, documentation, generated views, examples, skills, templates, workflow text, tests, and source package public text use one canonical vocabulary.

Guardrail

Possible duplicate fact ownership

Defines the Possible duplicate fact ownership guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Unknown reference

Defines the Unknown reference guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Unknown structured reference

Defines the Unknown structured reference guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Unknown example reference

Defines the Unknown example reference guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Unknown artifact reference

Defines the Unknown artifact reference guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Reference target missing required typed tag

Defines the Reference target missing required typed tag guardrail so validation and maintenance work can recognize constrained-reference drift.

Guardrail

Spec root is not an object

Defines the Spec root is not an object guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Missing ID or kind

Defines the Missing ID or kind guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Missing required fields

Defines the Missing required fields guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Reference field is not a list

Defines the Reference field is not a list guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Reference list contains non-string values

Defines the Reference list contains non-string values guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Type-specific schema validation failed

Defines the Type-specific schema validation failed guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Public vocabulary stays compressed

Defines the public vocabulary boundary so generated documentation presents Grounded through a small set of user-facing concepts.

Guardrail

Semantic categories stay small

Defines the semantic category guardrail so registry types can be grouped without introducing a large public inheritance hierarchy.

Guardrail

Specs directory is missing

Defines the Specs directory is missing guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Missing central stylesheet

Defines the Missing central stylesheet guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Missing design tokens

Defines the Missing design tokens guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Hard-coded presentation outside style source

Defines the Hard-coded presentation outside style source guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Unknown typed tag type

Defines the Unknown typed tag type guardrail so validation and maintenance work can recognize typed tag registry drift.

Guardrail

Unknown typed tag value

Defines the Unknown typed tag value guardrail so validation and maintenance work can recognize typed tag vocabulary drift.

Guardrail

Malformed tag list

Defines the Malformed tag list guardrail so validation and maintenance work can recognize invalid tag shapes.

Guardrail

Invalid trust status

Defines the invalid trust-status guardrail so validation can report claim credibility values outside the governed vocabulary.

Guardrail

Verified claim lacks proof

Defines the verified-claim proof guardrail so validation can report verified claims with no active targeted verification.

Guardrail

Verified claim references invalid verification

Defines the invalid verification reference guardrail so validation can report verified claims linked to inactive or non-verification specs.

Guardrail

Verified claim proof targets another spec

Defines the verification target-mismatch guardrail so validation can report verified claims linked to proof for a different target.

Guardrail

Generated artifacts cannot own truth

Defines the generated-artifact truth boundary so projected documentation artifacts cannot satisfy claim credibility.

Guardrail

Checkable claims need a structural path

Defines the checkable trust-status guardrail so checkable claims either link to a targeted verification or explain why the verification is not wired yet.

Guardrail

Observed claims need a non-generated basis

Defines the observed trust-status guardrail so observed claims cite a non-generated source, evidence text, or an explicit observed basis.

Guardrail

Trust status is separate from lifecycle status

Defines the trust-status guardrail so claim credibility is modeled independently from active, draft, and retired lifecycle state.

Guardrail

Verified claims require targeted proof

Defines the verified-claim proof guardrail so active verified claims must link to active verification specs that target the claim.

Guardrail

Verification commands must be runnable-looking

Defines the command-existence guardrail so active verification specs must declare a non-empty command whose first executable can be resolved during validation.

Guardrail

Runtime verification proves verified claims

Defines the runtime verification-result guardrail so grounded verify records in-memory results and fails when a verified claim's linked verification does not pass.

Guardrail

Invalid type registry JSON

Defines the Invalid type registry JSON guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Invalid type registry root

Defines the Invalid type registry root guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Invalid type definition

Defines the Invalid type definition guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Unknown parent type

Defines the Unknown parent type guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Missing type schema path

Defines the Missing type schema path guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Invalid type schema JSON

Defines the Invalid type schema JSON guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Invalid type schema root

Defines the Invalid type schema root guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Invalid JSON Schema for type

Defines the Invalid JSON Schema for type guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Invalid tag type registry

Defines the Invalid tag type registry guardrail so validation and maintenance work can recognize malformed tag type declarations.

Guardrail

Tag constraint on non-reference field

Defines the Tag constraint on non-reference field guardrail so validation and maintenance work can recognize invalid reference_tag_constraints configuration.

Guardrail

Type hierarchy cycle

Defines the Type hierarchy cycle guardrail so validation and maintenance work can recognize circular type inheritance in the merged type registry.

Guardrail

Invalid semantic category

Defines the semantic category validation guardrail so registry type definitions cannot introduce unapproved type families.

Guardrail

Verification command failed

Defines the Verification command failed guardrail so validation, audit, and maintenance work can recognize this class of drift.

Guardrail

Verification command timed out

Defines the verification timeout guardrail so runtime verification cannot hang indefinitely.

Guardrail

Runtime verification target mismatch

Defines the runtime verification target-mismatch guardrail so grounded verify can report proof linked to the wrong target.

Guardrail

Verified claim failed runtime proof

Defines the verified-claim runtime proof guardrail so grounded verify fails when linked verification results do not pass.

Guardrail
Schema Gaps

Project-specific fact shapes belong in the type registry

Records the registry_type schema gap for project-specific fact shapes so future registry or renderer work has a canonical owner.

Schema Gap

Semantic slice structure

Records the Semantic slice structure schema gap so future registry or renderer work has a canonical owner.

Schema Gap
Test Bindings

Grounded link label attribute is rendered and honored

Binds GROUNDED-DECISION-029 to an executable test so Grounded can verify the documented behavior.

Test Binding

Field rows expose anchors and fragment links

Binds GROUNDED-DECISION-030 to an executable test so Grounded can verify the documented behavior.

Test Binding

Knowledge unit short names are used for rendered labels

Binds GROUNDED-DECISION-031 to an executable test so Grounded can verify the documented behavior.

Test Binding

Generated outputs are HTML-safe and render checks report obsolete pages

Binds GROUNDED-DECISION-032 to an executable test so Grounded can verify the documented behavior.

Test Binding

Field types resolve exactly and slug collisions fail fast

Binds GROUNDED-DECISION-033 to an executable test so Grounded can verify the documented behavior.

Test Binding

Enum pages render closed value lists

Binds GROUNDED-DECISION-034 to an executable test so Grounded can verify the documented behavior.

Test Binding

Tagged objects and fields render tag links and grouped tag pages

Binds GROUNDED-DECISION-035 to an executable test so Grounded can verify the documented behavior.

Test Binding

Project templates can extend unit-core and the core unit page renders collection-aware field links

Binds GROUNDED-DECISION-036 to an executable test so Grounded can verify the documented behavior.

Test Binding

Slice pages render scoped members with overrides

Binds GROUNDED-DECISION-037 to an executable test so Grounded can verify the documented behavior.

Test Binding

Documented units require descriptions

Binds GROUNDED-DECISION-001 to an executable test so Grounded can verify documented units declare their purpose while the registry_unit base stays minimal.

Test Binding

Rich text links render and validate as references

Binds GROUNDED-DECISION-039 to an executable test so Grounded can verify inline rich-text links render safely and participate in reference validation.

Test Binding

Tag pages render compact item lists

Binds GROUNDED-DECISION-041 to an executable test so Grounded can verify compact list components render linked names and descriptions.

Test Binding

Bundled stylesheet uses readable font scale

Binds GROUNDED-DECISION-043 to an executable render test so Grounded can verify the generated bundled stylesheet includes the readable design-brief body font token.

Test Binding

Reusable documentation components are bundled

Binds GROUNDED-DECISION-045 to an executable render test so Grounded can verify reusable Lit documentation components are emitted and consume design tokens.

Test Binding

Graph command emits relationship DOT

Binds GROUNDED-DECISION-047 to an executable CLI test so Grounded can verify Graphviz DOT export includes outgoing and incoming relationships with bounded depth and type filters.

Test Binding

Generated docs include a theme toggle

Binds GROUNDED-DECISION-050 to executable render tests so Grounded can verify the theme toggle is emitted with stylesheet token support.

Test Binding

Bundled stylesheet follows DESIGN.md tokens

Binds GROUNDED-DECISION-051 to executable render tests so Grounded can verify the bundled stylesheet includes DESIGN.md color, type, and radius tokens.

Test Binding

CLI search finds entities and related specs

Binds GROUNDED-DECISION-054 to executable CLI tests so Grounded can verify search, specs --uses, and check-new behavior.

Test Binding

Typed tags validate and constrain references

Binds typed tag rendering, tag type registry validation, and reference tag constraints to focused unit tests.

Test Binding

Generated links expose target tooltips

Binds generated link hover tooltip behavior to the renderer round-trip test so generated docs expose target summaries without navigation.

Test Binding

Project-memory loading is adapter-backed

Binds the adapter-backed project-memory loading decision to focused business-module and JSON adapter tests.

Test Binding

Registry types render as Grounded Types

Binds GROUNDED-DECISION-057 to an executable test so Grounded can verify the documented naming behavior.

Test Binding

Registry unit base stays minimal

Binds GROUNDED-DECISION-001 to an executable test proving registry_unit does not require documentation or evidence fields at the root.

Test Binding

Registry CLI lists types and specs

Binds GROUNDED-DECISION-058 to an executable CLI test proving registry output includes registry types and authored specs.

Test Binding

Generated document blocks render from specs

Binds GROUNDED-DECISION-060 to an executable renderer test proving generated_document specs write protected README blocks and manifest entries.

Test Binding

Documentation graph audit catches invalid edges

Binds documentation graph guardrails to executable audit tests proving wrong typed edges, missing write modes, unmanaged Markdown docs, and ungrounded sourced sections are reported.

Test Binding

Semantic documentation templates render content first

Binds the semantic generated-docs redesign to an executable renderer test proving generated documents, decisions, the document graph, and the artifact index render content-first views.

Test Binding

PyPI package metadata and publish workflow are declared

Binds PyPI publishing preparation to an executable test proving package metadata, Apache-2.0 license declaration, project URLs, typed-package marker, console entry point, and trusted-publishing workflow configuration are declared.

Test Binding

Package version is synchronized

Binds the current release decision to an executable test proving pyproject metadata and the package __version__ value stay synchronized.

Test Binding

Public surfaces use Grounded naming

Binds the public naming guardrail to an executable tracked-file scan so public surfaces cannot reintroduce previous project-name vocabulary.

Test Binding

Trust credibility loop is enforced

Binds the trust-status vocabulary, verified-claim proof requirement, verification command checks, and runtime verification-result semantics to focused executable tests.

Test Binding

Semantic compression boundary tests

Binds the P2 semantic compression guardrails to tests covering semantic categories, generated-artifact truth boundaries, trust-status structure, concept drift, and document-section projection semantics.

Test Binding

Typed edge model tests

Binds the P3 typed-edge guardrails to tests covering vocabulary, authored edge shape, legacy normalization, target-kind validation, semantic layers, manual backlink warnings, rendering, and search.

Test Binding

Verification and audit reuse repeated work

Binds the default verification scope, opt-in test-binding verification, verification command deduplication, and audit rendered-site reuse decision to focused executable tests.

Test Binding

Managed Markdown roots are configurable

Binds the managed_markdown_roots config contract to the audit test proving Grounded only checks Markdown under configured roots.

Test Binding

Audit skill format is verified

Binds the governed Grounded knowledge-graph audit skill artifact to its deterministic format verification script.

Test Binding

CLI context builds focused LLM context

Binds GROUNDED-DECISION-070 to executable CLI tests proving context seed resolution, changed-file binding resolution, graph traversal, Markdown output, JSON output, bounds handling, retired seed filtering, invalid argument rejection, and registry issue refusal.

Test Binding

Binding normalization and context output

Binds the opt-in binding model to executable tests proving knowledge_unit stays thin, bindable types can declare explicit bindings, non-bindable specs cannot declare bindings, registry-declared file and test fields normalize to binding metadata, unsafe paths and invalid cardinality fail clearly, Windows-style absolute, drive-prefixed, and home-relative paths are rejected, unsupported target kinds preserve their declared kind, context JSON separates relations from bindings, Markdown renders repo-relative binding paths without artifact content, JSON omits binding metadata unless requested, human commands surface registry warnings, JSON commands stay machine-clean, and optional missing test bindings become structured diagnostics.

Test Binding

Bootstrap validation covers single-owner rule

Binds PROJECT-RULE-001 to an executable test so Grounded can verify the documented behavior.

Test Binding

Semantic slice nesting is covered by Grounded validation

Binds PROJECT-RULE-003 to an executable test so Grounded can verify the documented behavior.

Test Binding

Slice memberships render as grounded-links

Binds PROJECT-DECISION-001 to an executable test so Grounded can verify the documented behavior.

Test Binding
Verification

Audit skill format check

Defines the deterministic verification command for the rendered Grounded knowledge-graph audit skill format.

Verification

Public naming drift check

Defines the verification command that scans tracked public surfaces for previous project-name vocabulary before release.

Verification

Trust credibility loop tests

Defines the verification command for the trust-status and verified-claim credibility loop.

Verification

Bootstrap validation

Defines the verification command for PROJECT-RULE-001 so project checks can be run consistently.

Verification
Workflows

Scope a bounded Grounded model

Describes the Scope a bounded Grounded model workflow so agents and maintainers can follow the expected process.

Workflow