@blockml/inspect 0.9.1

package/blocks/org/blockml/bml/inspect/InspectOptions.bml

@@ -0,0 +1,49 @@
+<!--
+  Inspect — InspectOptions
+  FQN: org.blockml.bml.inspect.InspectOptions
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:inspect="org.blockml.bml.inspect"
+  xmlns:inspectcap="org.blockml.bml.inspect.capability"
+  xmlns:inspectdocumentation="org.blockml.bml.inspect.documentation"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>InspectOptions</name>
+  <type>inspect:InspectOptions</type>
+  <baseType>inspect:InspectType</baseType>
+  <is>Options for inspectBlock and inspectProject</is>
+
+  <documentation>Default depth 1, max depth 3, default maxBlocks 48. inspectProject also accepts srcDir and libraries for bootstrapFullProjectRegistry.</documentation>
+
+  <properties>
+    <depth type="type:Integer">
+      <documentation>Expansion depth. (optional)</documentation>
+    </depth>
+    <rootDir type="type:Text">
+      <documentation>Project root for relative paths and origin. (optional)</documentation>
+    </rootDir>
+    <srcDir type="type:Text">
+      <documentation>Source directory override. (optional)</documentation>
+    </srcDir>
+    <libraries type="type:Text">
+      <documentation>Extra library paths. TS: Text[]. (optional)</documentation>
+    </libraries>
+    <maxBlocks type="type:Integer">
+      <documentation>Expansion budget. (optional)</documentation>
+    </maxBlocks>
+  </properties>
+
+</block>

package/blocks/org/blockml/bml/inspect/InspectResult.bml

@@ -0,0 +1,54 @@
+<!--
+  Inspect — InspectResult
+  FQN: org.blockml.bml.inspect.InspectResult
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:inspect="org.blockml.bml.inspect"
+  xmlns:inspectcap="org.blockml.bml.inspect.capability"
+  xmlns:inspectdocumentation="org.blockml.bml.inspect.documentation"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>InspectResult</name>
+  <type>inspect:InspectResult</type>
+  <baseType>inspect:InspectType</baseType>
+  <is>Ephemeral JSON inspect view for one root FQN</is>
+
+  <documentation><![CDATA[Not a canonical model format. TS blocks is Record<fqn, InspectedBlock>. unresolved, cycles, and truncated are FQN lists.]]></documentation>
+
+  <properties>
+    <root type="type:Text">
+      <documentation>Inspected root FQN. (required)</documentation>
+    </root>
+    <depth type="type:Integer">
+      <documentation>Applied expansion depth. (required)</documentation>
+    </depth>
+    <unresolved type="type:Text">
+      <documentation>FQNs not found in the registry. TS: Text[]. (required)</documentation>
+    </unresolved>
+    <cycles type="type:Text">
+      <documentation>FQNs that closed an expansion cycle. TS: Text[]. (required)</documentation>
+    </cycles>
+    <truncated type="type:Text">
+      <documentation>FQNs skipped after the block budget. TS: Text[]. (required)</documentation>
+    </truncated>
+  </properties>
+  <aggregations>
+    <blocks type="inspect:InspectedBlock[]">
+      <documentation>Projected blocks. TS: Record keyed by FQN. (required)</documentation>
+    </blocks>
+  </aggregations>
+
+</block>

package/blocks/org/blockml/bml/inspect/InspectType.bml

@@ -0,0 +1,33 @@
+<!--
+  Inspect — InspectType
+  FQN: org.blockml.bml.inspect.InspectType
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:inspect="org.blockml.bml.inspect"
+  xmlns:inspectcap="org.blockml.bml.inspect.capability"
+  xmlns:inspectdocumentation="org.blockml.bml.inspect.documentation"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>InspectType</name>
+  <type>inspect:InspectType</type>
+  <baseType>core:Entity</baseType>
+  <is>Abstract marker for Inspect projection data-structure blocks</is>
+
+  <documentation>InspectResult, InspectedBlock, and related ValueTypes used as capability payloads.</documentation>
+
+  <abstract>true</abstract>
+
+</block>

package/blocks/org/blockml/bml/inspect/InspectTypeRef.bml

@@ -0,0 +1,52 @@
+<!--
+  Inspect — InspectTypeRef
+  FQN: org.blockml.bml.inspect.InspectTypeRef
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:inspect="org.blockml.bml.inspect"
+  xmlns:inspectcap="org.blockml.bml.inspect.capability"
+  xmlns:inspectdocumentation="org.blockml.bml.inspect.documentation"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>InspectTypeRef</name>
+  <type>inspect:InspectTypeRef</type>
+  <baseType>inspect:InspectType</baseType>
+  <is>Compact TypeExpression projection</is>
+
+  <documentation>kind is named, union, generic, anonymousStruct, self, genericParam, or grouped. Named FQNs stay as ref; they are not inlined.</documentation>
+
+  <properties>
+    <kind type="type:Text">
+      <documentation>TypeExpression kind. (required)</documentation>
+    </kind>
+    <ref type="type:Text">
+      <documentation>Named type FQN. (optional)</documentation>
+    </ref>
+    <args type="inspect:InspectTypeRef[]">
+      <documentation>Generic type arguments. (optional)</documentation>
+    </args>
+    <alternatives type="inspect:InspectTypeRef[]">
+      <documentation>Union alternatives. (optional)</documentation>
+    </alternatives>
+    <name type="type:Text">
+      <documentation>Generic parameter name. (optional)</documentation>
+    </name>
+    <multiplicity type="type:Text">
+      <documentation>min..max label. (optional)</documentation>
+    </multiplicity>
+  </properties>
+
+</block>

package/blocks/org/blockml/bml/inspect/InspectedBlock.bml

@@ -0,0 +1,81 @@
+<!--
+  Inspect — InspectedBlock
+  FQN: org.blockml.bml.inspect.InspectedBlock
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:inspect="org.blockml.bml.inspect"
+  xmlns:inspectcap="org.blockml.bml.inspect.capability"
+  xmlns:inspectdocumentation="org.blockml.bml.inspect.documentation"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>InspectedBlock</name>
+  <type>inspect:InspectedBlock</type>
+  <baseType>inspect:InspectType</baseType>
+  <is>Compact projection of one Block</is>
+
+  <documentation>Members are the effective set. baseType is an InspectTypeRef (generic arguments kept). ancestors are parent FQNs only — the inheritance chain is not copied into InspectResult.blocks. genericTypes are declared parameters, not subBlocks.</documentation>
+
+  <properties>
+    <fqn type="type:Text">
+      <documentation>Block FQN. (required)</documentation>
+    </fqn>
+    <name type="type:Text">
+      <documentation>Short name. (required)</documentation>
+    </name>
+    <file type="type:Text">
+      <documentation>Source path relative to project root. (optional)</documentation>
+    </file>
+    <origin type="type:Text">
+      <documentation>workspace, dependency, or unresolved. (optional)</documentation>
+    </origin>
+    <is type="type:Text">
+      <documentation>Idea descriptor. (optional)</documentation>
+    </is>
+    <documentation type="type:Text">
+      <documentation>First documentation entry. Truncated to 400 characters with an ellipsis when longer. (optional)</documentation>
+    </documentation>
+    <documentationTruncated type="type:Boolean">
+      <documentation>true when documentation was truncated. (optional)</documentation>
+    </documentationTruncated>
+    <baseType type="inspect:InspectTypeRef">
+      <documentation>Parent type; generic arguments are kept on args. (optional)</documentation>
+    </baseType>
+    <ancestors type="type:Text">
+      <documentation>baseType chain FQNs excluding self. TS: Text[]. (optional)</documentation>
+    </ancestors>
+    <contracts type="type:Text">
+      <documentation>Contract FQNs. TS: Text[]. (optional)</documentation>
+    </contracts>
+    <subBlocks type="type:Text">
+      <documentation>Nested sub-block FQNs. TS: Text[]. (optional)</documentation>
+    </subBlocks>
+    <abstract type="type:Boolean">
+      <documentation>true when the Block is abstract. (optional)</documentation>
+    </abstract>
+    <final type="type:Boolean">
+      <documentation>true when the Block is final. (optional)</documentation>
+    </final>
+  </properties>
+  <aggregations>
+    <genericTypes type="inspect:InspectedGenericType[]">
+      <documentation>Declared generic type parameters. (optional)</documentation>
+    </genericTypes>
+    <members type="inspect:InspectedMember[]">
+      <documentation>Effective members. (required)</documentation>
+    </members>
+  </aggregations>
+
+</block>

package/blocks/org/blockml/bml/inspect/InspectedGenericType.bml

@@ -0,0 +1,43 @@
+<!--
+  Inspect — InspectedGenericType
+  FQN: org.blockml.bml.inspect.InspectedGenericType
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:inspect="org.blockml.bml.inspect"
+  xmlns:inspectcap="org.blockml.bml.inspect.capability"
+  xmlns:inspectdocumentation="org.blockml.bml.inspect.documentation"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>InspectedGenericType</name>
+  <type>inspect:InspectedGenericType</type>
+  <baseType>inspect:InspectType</baseType>
+  <is>Declared generic type parameter projection</is>
+
+  <documentation>One genericTypes entry from the inspected Block. baseType is the bound FQN. defaultType is the resolved default when authored (FQN or earlier parameter name).</documentation>
+
+  <properties>
+    <name type="type:Text">
+      <documentation>Parameter name (e.g. T). (required)</documentation>
+    </name>
+    <baseType type="inspect:InspectTypeRef">
+      <documentation>Constraint type. (required)</documentation>
+    </baseType>
+    <defaultType type="inspect:InspectTypeRef">
+      <documentation>Resolved default type when authored. (optional)</documentation>
+    </defaultType>
+  </properties>
+
+</block>

package/blocks/org/blockml/bml/inspect/InspectedImplementation.bml

@@ -0,0 +1,43 @@
+<!--
+  Inspect — InspectedImplementation
+  FQN: org.blockml.bml.inspect.InspectedImplementation
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:inspect="org.blockml.bml.inspect"
+  xmlns:inspectcap="org.blockml.bml.inspect.capability"
+  xmlns:inspectdocumentation="org.blockml.bml.inspect.documentation"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>InspectedImplementation</name>
+  <type>inspect:InspectedImplementation</type>
+  <baseType>inspect:InspectType</baseType>
+  <is>Capability implementation projection</is>
+
+  <documentation>language is the last segment of languageFqn (English, PseudoCode). source is truncated like documentation at 400 characters; sourceTruncated is true when cut.</documentation>
+
+  <properties>
+    <language type="type:Text">
+      <documentation>Implementation language name. (required)</documentation>
+    </language>
+    <source type="type:Text">
+      <documentation>Implementation text, possibly truncated. (required)</documentation>
+    </source>
+    <sourceTruncated type="type:Boolean">
+      <documentation>true when source was cut at 400 characters. (optional)</documentation>
+    </sourceTruncated>
+  </properties>
+
+</block>

package/blocks/org/blockml/bml/inspect/InspectedInstance.bml

@@ -0,0 +1,49 @@
+<!--
+  Inspect — InspectedInstance
+  FQN: org.blockml.bml.inspect.InspectedInstance
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:inspect="org.blockml.bml.inspect"
+  xmlns:inspectcap="org.blockml.bml.inspect.capability"
+  xmlns:inspectdocumentation="org.blockml.bml.inspect.documentation"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>InspectedInstance</name>
+  <type>inspect:InspectedInstance</type>
+  <baseType>inspect:InspectType</baseType>
+  <is>One authored composition child on an aggregation</is>
+
+  <documentation><![CDATA[Compact projection of a composition BlockInstance. Enum literals use id. Library catalog entries are type-only. Nested aggregation fills are aggregations keyed by member name. TS members is Record<name, value>; aggregations is Record<name, InspectedInstance[]>.]]></documentation>
+
+  <properties>
+    <type type="type:Text">
+      <documentation>Instance type FQN. (required)</documentation>
+    </type>
+    <id type="type:Text">
+      <documentation>bml:id when authored. (optional)</documentation>
+    </id>
+    <generics type="type:Text">
+      <documentation>Raw bml:generics when authored. (optional)</documentation>
+    </generics>
+    <members type="type:Text">
+      <documentation>Authored instance member values. TS: Record of name to value. (optional)</documentation>
+    </members>
+    <aggregations type="type:Text">
+      <documentation>Nested aggregation fills. TS: Record of name to InspectedInstance list. (optional)</documentation>
+    </aggregations>
+  </properties>
+
+</block>

package/blocks/org/blockml/bml/inspect/InspectedMember.bml

@@ -0,0 +1,84 @@
+<!--
+  Inspect — InspectedMember
+  FQN: org.blockml.bml.inspect.InspectedMember
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:inspect="org.blockml.bml.inspect"
+  xmlns:inspectcap="org.blockml.bml.inspect.capability"
+  xmlns:inspectdocumentation="org.blockml.bml.inspect.documentation"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>InspectedMember</name>
+  <type>inspect:InspectedMember</type>
+  <baseType>inspect:InspectType</baseType>
+  <is>One effective member in an Inspect projection</is>
+
+  <documentation>kind is property, aggregation, association, or capability. inheritedFrom is omitted when the member is declared on the inspected Block. instances holds authored composition children when present. capability members include implementation (language + truncated source) when authored.</documentation>
+
+  <properties>
+    <kind type="type:Text">
+      <documentation>Member kind. (required)</documentation>
+    </kind>
+    <name type="type:Text">
+      <documentation>Logical member name. (required)</documentation>
+    </name>
+    <type type="inspect:InspectTypeRef">
+      <documentation>Projected member type. (optional)</documentation>
+    </type>
+    <inputType type="inspect:InspectTypeRef">
+      <documentation>Capability input type. (optional)</documentation>
+    </inputType>
+    <outputType type="inspect:InspectTypeRef">
+      <documentation>Capability output type. (optional)</documentation>
+    </outputType>
+    <throws type="type:Text">
+      <documentation>Thrown type FQNs. TS: Text[]. (optional)</documentation>
+    </throws>
+    <cardinality type="type:Text">
+      <documentation>Aggregation or association cardinality. (optional)</documentation>
+    </cardinality>
+    <inheritedFrom type="type:Text">
+      <documentation>Declaring ancestor or contract FQN. (optional)</documentation>
+    </inheritedFrom>
+    <visibility type="type:Text">
+      <documentation>Member visibility. (optional)</documentation>
+    </visibility>
+    <readOnly type="type:Boolean">
+      <documentation>true when the member is read-only. (optional)</documentation>
+    </readOnly>
+    <abstract type="type:Boolean">
+      <documentation>true when the member is abstract. (optional)</documentation>
+    </abstract>
+    <final type="type:Boolean">
+      <documentation>true when the member is final. (optional)</documentation>
+    </final>
+    <override type="type:Boolean">
+      <documentation>true when the member overrides an ancestor. (optional)</documentation>
+    </override>
+    <value type="type:Text">
+      <documentation>Literal property value. TS: unknown. (optional)</documentation>
+    </value>
+    <implementation type="inspect:InspectedImplementation">
+      <documentation>Authored capability implementation. (optional)</documentation>
+    </implementation>
+  </properties>
+  <aggregations>
+    <instances type="inspect:InspectedInstance[]">
+      <documentation>Authored composition children. Enum literals, Library catalog refs, nested ModelOperation/Task fills. (optional)</documentation>
+    </instances>
+  </aggregations>
+
+</block>

package/blocks/org/blockml/bml/inspect/Library.bml

@@ -0,0 +1,84 @@
+<!--
+  BlockML Inspect Library Descriptor
+  FQN: org.blockml.bml.inspect.Library
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:inspect="org.blockml.bml.inspect"
+  xmlns:inspectcap="org.blockml.bml.inspect.capability"
+  xmlns:inspectdocumentation="org.blockml.bml.inspect.documentation"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>Library</name>
+  <type>inspect:Library</type>
+  <baseType>core:BlockLibrary</baseType>
+  <is>The BlockML Inspect package library catalog</is>
+
+  <documentation>
+    Canonical inspect-view specification for BlockML — ephemeral JSON projection
+    of a Block from the validate --all TypeRegistry. TypeScript in packages/inspect/src/
+    implements this library. Membership is defined exclusively by this blocks list.
+  </documentation>
+
+  <version>0.9.1</version>
+
+  <language>
+    <English />
+  </language>
+
+  <properties>
+    <description override="true">
+      <value>BlockML Inspect library</value>
+    </description>
+  </properties>
+
+  <aggregations>
+    <readMe>
+      <composition>
+        <inspect:README />
+      </composition>
+    </readMe>
+    <dependencies>
+      <composition>
+        <blockml:Library />
+        <bom:Library />
+        <framework:Library />
+      </composition>
+    </dependencies>
+    <blocks>
+      <composition>
+        <inspect:InspectType />
+        <inspect:InspectTypeRef />
+        <inspect:InspectedMember />
+        <inspect:InspectedInstance />
+        <inspect:InspectedImplementation />
+        <inspect:InspectedGenericType />
+        <inspect:InspectedBlock />
+        <inspect:InspectResult />
+        <inspect:InspectOptions />
+        <inspectcap:InspectBlock />
+        <inspectdocumentation:Introduction />
+        <inspectdocumentation:LayerSeparation />
+        <inspectdocumentation:ArchitectureOverview />
+        <inspectdocumentation:V1Scope />
+        <inspectdocumentation:PublicApi />
+        <inspectdocumentation:DesignDecisions />
+        <inspectdocumentation:PackageOwnership />
+        <inspectdocumentation:ScopeExclusions />
+      </composition>
+    </blocks>
+  </aggregations>
+
+</block>

package/blocks/org/blockml/bml/inspect/README.bml

@@ -0,0 +1,41 @@
+<!--
+  BlockML Inspect — README
+  FQN: org.blockml.bml.inspect.README
+-->
+<block
+  xmlns="http://blockml.org/bml"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://blockml.org/bml https://blockml.org/schemas/bml.xsd
+                      "
+  xmlns:blockml="org.blockml.bml"
+  xmlns:bom="org.blockml.bml.bom"
+  xmlns:bomapi="org.blockml.bml.bom.api"
+  xmlns:bomcommon="org.blockml.bml.bom.common"
+  xmlns:bomdoc="org.blockml.bml.bom.document"
+  xmlns:core="org.blockml.bml.core"
+  xmlns:def="org.blockml.bml.definition"
+  xmlns:framework="org.blockml.bml.framework"
+  xmlns:fwcap="org.blockml.bml.framework.capability"
+  xmlns:inspect="org.blockml.bml.inspect"
+  xmlns:inspectcap="org.blockml.bml.inspect.capability"
+  xmlns:inspectdocumentation="org.blockml.bml.inspect.documentation"
+  xmlns:type="org.blockml.bml.type">
+
+  <name>README</name>
+  <type>inspect:README</type>
+  <baseType>core:ReadMe</baseType>
+  <is>Reading entry for the Inspect library</is>
+
+  <documentation>
+    The @blockml/inspect package projects a Block FQN from the TypeRegistry
+    into a compact JSON inspect view for LLMs. No index is persisted.
+
+    Start at org.blockml.bml.inspect.documentation.Introduction.
+  </documentation>
+
+  <references>
+    <see type="inspectdocumentation:Introduction" relation="ReadFirst" />
+    <see type="inspectdocumentation:PublicApi" relation="SeeAlso" />
+  </references>
+
+</block>