The highest tagged major version is
Documentation
¶
Overview ¶
Copyright (c) 2026 Tarek Wasfy Package extsemmatrix imports the proof-safe 13-language external semantic matrix and projects it onto the canonical UASF capability space. The external matrix is evidence, not a second IR: unresolved atoms never become canonical capabilities and absence is only used when the source marks it explicitly as known.
Copyright (c) 2026 Tarek Wasfy
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type ProofSummary ¶
type ProofSummary struct {
PackageSHA256 string `json:"package_sha256"`
SHA256Verified bool `json:"sha256_verified"`
SourceFeatures int `json:"source_features"`
UASFCapabilities int `json:"uasf_capabilities"`
BasisDimensions int `json:"basis_dimensions"`
ExactCrosswalkRows int `json:"exact_crosswalk_rows"`
PresentLanguageCells int `json:"present_language_cells"`
BasisSupportedCells int `json:"basis_supported_cells"`
DirectBasisCells int `json:"direct_basis_cells"`
}
ProofSummary describes the independently supplied 67-dimensional proof compression package. It is kept beside (and never merged into) the UAST schema so the provenance of formal/source evidence remains auditable.
func ImportProof ¶
func ImportProof(opts Options, input string) (ProofSummary, error)
ImportProof copies and validates the proof-compression package and derives a transparent basis-level EXTSEM→UASF matrix from M_EXTSEM_B × M_UASF_B^T. A basis overlap is labelled corroborating; it is not silently promoted to a canonical UASF mapping.
type Summary ¶
type Summary struct {
PackageSHA256 string `json:"package_sha256"`
Files int `json:"files"`
Languages int `json:"languages"`
Atoms int `json:"atoms"`
EvidenceRows int `json:"evidence_rows"`
Sources int `json:"sources"`
CanonicalCapabilities int `json:"canonical_capabilities"`
ConfirmedCrosswalkCells int `json:"confirmed_crosswalk_cells"`
UnresolvedCrosswalkCells int `json:"unresolved_crosswalk_cells"`
ExternalPresentCells int `json:"external_present_cells"`
ExternalAbsentCells int `json:"external_absent_cells"`
DiffCounts map[string]int `json:"diff_counts"`
UnmappedAtoms []string `json:"unmapped_atoms"`
SHA256Verified bool `json:"sha256_verified"`
}
Source Files