Private immutable projection for Contract Explorer consumers.
The projection copies bounded scalar facts from the frozen
HypermediaProgramand a finalized
CheckResult. It deliberately does not accept an
App: construction must not inspect mutable registries, load templates, or
execute route handlers.
This module is internal and is not exported fromchirpor
chirp.contracts. Its records are not a public inspection schema.
contracts.explorer_projection
| Name | Type | Default | Description |
|---|---|---|---|
type
|
|
— | |
qualified_name
|
|
— | |
element_type
|
|
— | |
description
|
|
— | |
source_file
|
|
— | |
line_number
|
|
— | |
is_autodoc
|
|
— | |
autodoc_element
|
|
— | |
_autodoc_template
|
|
— | |
_autodoc_url_path
|
|
— | |
_autodoc_page_type
|
|
— | |
title
|
|
— | |
doc_content_hash
|
|
— |
Symbols on this page
One bounded, public-safe logical source copied from compiler output.
One route, template, block, or target copied from the compiler model.
One compiler-authored relationship, including unresolved destinations.
One finalized check finding with honest exact-location correlation.
Complete immutable static topology and finalized check snapshot.
Copy frozen compiler topology and a finalized check result.
result may be Noneonly for consumers that need to represent an unavailable check run.…
ExplorerOrigin
class
One bounded, public-safe logical source copied from compiler output.
ExplorerNode
class
One route, template, block, or target copied from the compiler model.
ExplorerEdge
class
One compiler-authored relationship, including unresolved destinations.
ExplorerFinding
class
One finalized check finding with honest exact-location correlation.
ExplorerProjection
class
Complete immutable static topology and finalized check snapshot.
build_explorer_projection
function
def build_explorer_projection(program: HypermediaProgram, result: CheckResult | None) -> ExplorerProjectionCopy frozen compiler topology and a finalized check result.
result may be Noneonly for consumers that need to represent an
unavailable check run. That state is an explicit analysis gap and never a
clean result. Callers must finish mutating aCheckResultbefore passing
it here; all data is copied into frozen tuples before this function returns.
Parameters
| Name | Type | Default | Description |
|---|---|---|---|
program
|
HypermediaProgram
|
— | |
result
|
CheckResult | None
|
— |
View source · /home/runner/work/chirp/chirp/site/../src/chirp/contracts/explorer_projection.py:1