{"description":"First-party VSTD reference declarations from one exact public source snapshot; static discovery only, with no fetching, installation, execution, ranking, latest-version selection, native qualification, or ecosystem-completeness claim.","index_id":"timelordraps/verifier-reference-components","index_version":"1.3.0","packages":[{"description":"Public source snapshot; Git HEAD 7ea41c65d1eabc2e32ec386dca1abac7734962cd; working tree dirty=true. Captured bytes, not HEAD alone, identify this snapshot. 19 first-party entrypoints across 12 grouping labels, not independent integrations. Not a wheel, installation archive, runtime, or conformance result. Dependency closure NOT_ESTABLISHED; native runtime dependencies are not bundled.","license":"Apache-2.0","package_id":"timelordraps/verifier-reference-components","package_path":"packages/sha256/d09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c.json","package_sha256":"d09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c","package_size_bytes":2302743,"package_version":"1.3.0","publisher":"TimeLordRaps (unsigned declaration)","registry":{"components":[{"accepted_schema_ids":["VSTD-ARTIFACT-FREEZE-1","VSTD-ARTIFACT-SEAL-1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run artifact verification or establish semantic correctness, custody, or encryption.","component_id":"component:artifact-bundle-verifier","domain_tags":["artifact","integrity","reference"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Byte, guard, seal, or expected-anchor mismatch cannot produce a clean state.","freshness_behavior":"Verification re-reads current bundle paths and bytes on every call.","implementation_ref":"verifier.artifact_control:verify_frozen_artifact","interaction_modes":["OFFLINE_REPLAY"],"kind":"VERIFIER","label":"Artifact freeze and seal verifier","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:artifact-bundle-verification"],"native_inputs":["artifact-control bundle path","optional expected anchors"],"native_objects":["frozen artifact bundle"],"native_outputs":["ArtifactVerification"],"native_result_vocabulary":["CONFLICTED","FAIL","FROZEN_UNSEALED","NOT_ESTABLISHED","SEALED"],"native_system":"Verifier Standard artifact control","native_versions":["VSTD-ARTIFACT-FREEZE-1","VSTD-ARTIFACT-SEAL-1"],"optional_dependencies":["cryptography for seal verification"],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"Byte identity does not establish semantic correctness, custody, or trusted time.","trust_roots":[],"verifier_family_ids":["artifact-control"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not execute the analyzer. MATCH establishes only bounded closure of the declared complete model and grants no universal confidentiality, authorization, identity, intent, conformance, or execution authority.","component_id":"component:composed-untraversability-analyzer","domain_tags":["confidentiality-of-awareness","experimental","graph","inference"],"emitted_schema_ids":["VSTD-UNTRAVERSABLE-REPORT-EXPERIMENTAL-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"A supported hyperpath is FAIL; conflicting relevant rule evidence remains CONFLICTED; missing evidence, incomplete coverage, unsupported semantics, or exhausted bounds remain UNKNOWN. Evidence ceilings cover unique payloads, not repeated mechanism work.","freshness_behavior":"Analysis reruns registered evidence mechanisms and finite closure for the exact graph, observer, interfaces, transcript, interval, capabilities, and resource coordinate.","implementation_ref":"verifier.interoperability.untraversable:analyze_untraversability","interaction_modes":["OFFLINE_REPLAY","STATIC"],"kind":"CONSTRAINT","label":"Experimental composed-graph untraversability analyzer","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:composed-untraversability-analysis"],"native_inputs":["VerificationSession","typed ProvenanceHypergraph","typed UntraversableContract"],"native_objects":["evidence-bound inference rules","observer-relative higher-order interface contract","recorded provenance hypergraph"],"native_outputs":["UntraversabilityReport"],"native_result_vocabulary":["CONFLICTED","FAIL","MATCH","UNKNOWN"],"native_system":"Verifier Standard experimental confidentiality-of-awareness analysis","native_versions":["VSTD-UNTRAVERSABLE-EXPERIMENTAL-0.1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:composed-untraversability"],"transformation_loss":"Facts use caller-selected identifiers and commitments; identifiers and relationship metadata may themselves disclose. Raw protected contents and unmodeled inference or side-channel semantics are outside the report.","trust_roots":[],"verifier_family_ids":["vstd-graph"]},{"accepted_schema_ids":["VSTD-1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run validation or establish command correctness, reproduction, or conformance.","component_id":"component:generic-run-validator","domain_tags":["computation","receipt","reference"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Malformed structure, digest mismatch, or missing bound artifacts fail validation.","freshness_behavior":"Validation reads the supplied stored receipt and currently reachable artifacts.","implementation_ref":"verifier.core.run_validation:validate_run_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"VERIFIER","label":"VSTD-1 generic-run receipt validator","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:generic-run-receipt-validation"],"native_inputs":["VSTD-1 generic-run JavaScript Object Notation receipt"],"native_objects":["generic computational run receipt"],"native_outputs":["diagnostic output","process exit status"],"native_result_vocabulary":["FAIL","PASS"],"native_system":"Verifier Standard generic-run profile","native_versions":["VSTD-1","generic_computational_run"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"Diagnostics are not a new receipt and do not replay the declared command.","trust_roots":[],"verifier_family_ids":["generic-run"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not execute the analyzer, establish physical causality, grant mechanism-earned forward artifact support (TRUST), or confer execution authority.","component_id":"component:graph-topology-analyzer","domain_tags":["constraint","experimental","graph","topology"],"emitted_schema_ids":["VSTD-GRAPH-TOPOLOGY-REPORT-EXPERIMENTAL-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Results remain separate facets with no aggregate verdict. Malformed bindings are invalid; unsupported or incomplete analysis remains NOT_ESTABLISHED. Boolean analysis is bounded to 12 variables, 128 equations, and at most 4096 assignments.","freshness_behavior":"Analysis binds the exact supplied graph and selected ports, contract, and assignment bound at call time.","implementation_ref":"verifier.interoperability.graph_topology:analyze_graph_topology","interaction_modes":["STATIC"],"kind":"CONSTRAINT","label":"Experimental exact-graph-bound topology analyzer","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:graph-topology-analysis"],"native_inputs":["max_assignments bound","typed GraphTopologyContract","typed ProvenanceHypergraph"],"native_objects":["exact graph and port-bound topology contract","recorded provenance hypergraph"],"native_outputs":["GraphTopologyReport"],"native_result_vocabulary":["CONFLICTED","CONSISTENT","INVALID","NOT_ESTABLISHED"],"native_system":"Verifier Standard experimental graph topology interpretation","native_versions":["VSTD-GRAPH-TOPOLOGY-EXPERIMENTAL-0.1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:graph-topology"],"transformation_loss":"Stored contracts are loaded separately; this callable accepts typed objects, not serialized input. Simultaneous classical Boolean equations and temporal offsets per declared clock and unit do not reinterpret provenance as physical causality.","trust_roots":[],"verifier_family_ids":["vstd-graph"]},{"accepted_schema_ids":["VSTD-1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run comparison or establish universal portability or native-execution attestation.","component_id":"component:platform-run-comparator","domain_tags":["cross-platform","diagnostic","reference"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Missing coverage, incompatibility, disagreement, and invalidity remain distinct.","freshness_behavior":"Every comparison is recomputed from the supplied receipt set.","implementation_ref":"verifier.core.platform_comparison:compare_platform_run_receipts","interaction_modes":["OFFLINE_REPLAY"],"kind":"COMPARATOR","label":"Bounded operating-system result comparator","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:platform-run-comparison"],"native_inputs":["VSTD-1 generic-run receipt set"],"native_objects":["set of generic-run receipts"],"native_outputs":["PlatformComparisonResult"],"native_result_vocabulary":["CONFLICTED","INVALID","NOT_ESTABLISHED","PASS"],"native_system":"Verifier Standard platform comparison diagnostic","native_versions":["VSTD-PLATFORM-COMPARISON-0.1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"The diagnostic projects only explicitly declared result surfaces.","trust_roots":[],"verifier_family_ids":["platform-comparison"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not run policy verification or establish hidden ancestry, authentic statuses, or legal conclusions.","component_id":"component:provenance-policy-verifier","domain_tags":["policy","provenance","reference"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Encoding/direct-computation disagreement raises rather than selecting a convenient result.","freshness_behavior":"Each policy reads the supplied in-memory recorded graph state.","implementation_ref":"verifier.data.policy:ProvenancePolicyVerifier","interaction_modes":["STATIC"],"kind":"POLICY","label":"Recorded provenance policy verifier","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:policy-all-ancestors-valid","mechanism:policy-approved-licenses","mechanism:policy-no-revoked-ancestors"],"native_inputs":["target artifact identifier","typed-ProvenanceHypergraph-unversioned"],"native_objects":["recorded provenance hypergraph"],"native_outputs":["PolicyEvaluationResult"],"native_result_vocabulary":["FALSIFIED","VERIFIED"],"native_system":"Verifier Standard provenance policy engine","native_versions":["POL-ALL-ANCESTORS-VALID","POL-APPROVED-LICENSES","POL-NO-REVOKED-ANCESTORS"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"The typed method arguments have no standalone versioned input schema.","trust_roots":[],"verifier_family_ids":["provenance-policy"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not run a SCITT verifier or establish registration, payload truth, or VSTD conformance.","component_id":"component:scitt-evidence-consumer","domain_tags":["experimental","software-supply-chain","transparency"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Incomplete, mismatched, stale, or contradictory evidence remains non-registered.","freshness_behavior":"The adapter preserves supplied registration time and native freshness state.","implementation_ref":"verifier.interoperability.scitt.adapter:consume_scitt_evidence","interaction_modes":["OFFLINE_REPLAY"],"kind":"ADAPTER","label":"SCITT native-evidence consumer","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:scitt-native-evidence-consumption"],"native_inputs":["ScittRegistrationTemplate","native verifier result mapping"],"native_objects":["normalized native SCITT verifier output"],"native_outputs":["bounded SCITT transparency evidence mapping"],"native_result_vocabulary":["CONFLICTED","INVALID","MISSING","REGISTERED","REVOKED","STALE","SUPERSEDED","UNKNOWN"],"native_system":"Experimental VSTD and SCITT mapping","native_versions":["vstd-scitt-interop-experimental-0.1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"The normalized mapping is not a native Concise Binary Object Representation or signature verifier.","trust_roots":[],"verifier_family_ids":["vstd-scitt-composition"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not run either native verifier or establish payload truth, safety, or VSTD conformance.","component_id":"component:scitt-result-composer","domain_tags":["composition","experimental","software-supply-chain"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Every nonpassing or mismatched source state is preserved or lowered.","freshness_behavior":"Composition uses only the supplied current native evidence objects.","implementation_ref":"verifier.interoperability.scitt.adapter:compose_results","interaction_modes":["OFFLINE_REPLAY"],"kind":"TRANSLATOR","label":"VSTD and SCITT adjacent-result composer","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:vstd-scitt-adjacent-composition"],"native_inputs":["ScittVerificationEvidence","VstdScittPayload","VstdVerificationEvidence"],"native_objects":["native VSTD result","normalized SCITT evidence"],"native_outputs":["CompositionResult"],"native_result_vocabulary":["CONFLICTED","FAIL","PASS","UNKNOWN"],"native_system":"Experimental VSTD and SCITT mapping","native_versions":["vstd-scitt-interop-experimental-0.1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"Composition retains native results but cannot strengthen either source mechanism.","trust_roots":[],"verifier_family_ids":["vstd-scitt-composition"]},{"accepted_schema_ids":["VSTD-GRAPH-ASSURANCE-1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run replay or convert graph proximity into correctness, responsibility, or guilt.","component_id":"component:vstd-graph-assurance-rechecker","domain_tags":["assurance","graph","replay"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"The callable returns a replayed AssuranceLedger or raises AssuranceFlowError on hash-chain, evidence, or mechanism mismatch; it emits no aggregate status vocabulary.","freshness_behavior":"Replay rehashes the historical graph and reruns evidence-bound event mechanisms.","implementation_ref":"verifier.data.assurance:recheck_assurance_log","interaction_modes":["OFFLINE_REPLAY"],"kind":"VERIFIER","label":"VSTD-Graph assurance-log rechecker","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:vstd-graph-assurance-log-recheck"],"native_inputs":["EvidenceStore","assurance log","mechanism registry"],"native_objects":["VSTD-Graph assurance log"],"native_outputs":["AssuranceLedger"],"native_result_vocabulary":[],"native_system":"Verifier Standard assurance event log","native_versions":["VSTD-GRAPH-ASSURANCE-1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"Graph propagation remains bounded diagnostic support and not universal assurance.","trust_roots":[],"verifier_family_ids":["vstd-graph-assurance"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not run recheck or establish hidden members, omitted edges, or complete causality.","component_id":"component:vstd-graph-level-rechecker","domain_tags":["evidence","graph","reference"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Missing evidence or any nonpassing required mechanism prevents establishment.","freshness_behavior":"Recheck reruns bound object and edge mechanisms over the supplied collection.","implementation_ref":"verifier.data.graph_level:recheck_evidence_bound_graph_level_record","interaction_modes":["OFFLINE_REPLAY"],"kind":"VERIFIER","label":"Evidence-bound VSTD-Graph profile rechecker","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:vstd-graph-level-recheck"],"native_inputs":["EvidenceStore","graph-level record","mechanism registry"],"native_objects":["evidence-bound graph-level record"],"native_outputs":["EvidenceBoundGraphLevelResult"],"native_result_vocabulary":["ESTABLISHED","NOT_ESTABLISHED"],"native_system":"Verifier Standard evidence-bound graph profiles","native_versions":["MECHANISM_EVALUATED","VSTD-DATA-0.1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"The result is limited to the declared, deduplicated graph collection.","trust_roots":[],"verifier_family_ids":["vstd-graph"]},{"accepted_schema_ids":["VSTD-DATA-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run validation or establish that recorded lineage is complete or causal.","component_id":"component:vstd-graph-receipt-validator","domain_tags":["graph","provenance","receipt"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Malformed shape, digest mismatch, and invalid recorded graph structure fail validation.","freshness_behavior":"Validation reads the supplied stored graph receipt and its recorded state.","implementation_ref":"verifier.data.receipt:validate_data_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"VERIFIER","label":"VSTD-Graph receipt validator","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:vstd-graph-receipt-validation"],"native_inputs":["VSTD-DATA-0.1 JavaScript Object Notation receipt"],"native_objects":["VSTD-Graph-1 receipt"],"native_outputs":["diagnostic output","process exit status"],"native_result_vocabulary":["FAIL","PASS"],"native_system":"Verifier Standard provenance hypergraph receipt","native_versions":["VSTD-DATA-0.1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"Recorded reachability does not represent omitted lineage or real-world causality.","trust_roots":[],"verifier_family_ids":["vstd-graph"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not run the auditor or demonstrate actor, implementation, or runtime independence.","component_id":"component:vstd1-independent-auditor","domain_tags":["constraint","grounding","reference"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Formula disagreement and ungrounded structure remain falsified or indeterminate.","freshness_behavior":"The report reflects only the arguments supplied to one call.","implementation_ref":"verifier.core.checker:IndependentAuditor.audit_claim_derivation","interaction_modes":["STATIC"],"kind":"CONSTRAINT","label":"VSTD-1 satisfiability and grounding auditor","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:vstd1-sat-grounding-audit"],"native_inputs":["typed-python-arguments-unversioned"],"native_objects":["Boolean formula","recorded grounding graph"],"native_outputs":["IndependentAuditReport"],"native_result_vocabulary":["FALSIFIED","INDETERMINATE","VERIFIED"],"native_system":"Verifier Standard bundled Python auditor","native_versions":["VSTD1-CHECKER-REPORT"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"No versioned native input schema exists for the typed call arguments.","trust_roots":[],"verifier_family_ids":["vstd-1-sat-grounding"]},{"accepted_schema_ids":["VSTD-2"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run loading or establish that the modeled surface is complete in the real world.","component_id":"component:vstd2-geometry-loader","domain_tags":["geometry","reference","surface"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Unknown fields, invalid types, and broken geometry references raise GeometryLoadError.","freshness_behavior":"The loader validates the exact supplied mapping or current file bytes.","implementation_ref":"verifier.core.geometry_io:load_verification_geometry","interaction_modes":["STATIC"],"kind":"VERIFIER","label":"Strict VSTD-2 geometry loader and semantic validator","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:vstd2-geometry-validation"],"native_inputs":["VSTD-2 JavaScript Object Notation document"],"native_objects":["VSTD-2 geometry document"],"native_outputs":["typed VerificationGeometry"],"native_result_vocabulary":[],"native_system":"Verifier Standard verification geometry","native_versions":["VSTD-2"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"Integral JSON Schema numbers are normalized to Python integers; source formatting is not retained.","trust_roots":[],"verifier_family_ids":["vstd-2-geometry"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not run validation or establish production vendor attestation or physical-device identity.","component_id":"component:vstd3-receipt-validator","domain_tags":["hardware","receipt","reference"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Missing trust roots or incomplete evidence remain failed or unknown under the profile rules.","freshness_behavior":"Freshness is evaluated from receipt timestamps, nonces, and supplied continuity evidence.","implementation_ref":"verifier.hardware.validation:validate_vstd3_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"VERIFIER","label":"VSTD-3 hardware receipt validator","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:vstd3-hardware-receipt-validation"],"native_inputs":["typed VSTD3Receipt"],"native_objects":["VSTD-3 hardware receipt"],"native_outputs":["ReceiptValidation"],"native_result_vocabulary":["FAIL","PASS","UNKNOWN"],"native_system":"Verifier Standard substrate-accountability model","native_versions":["VSTD-3.0"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"Host inventory and normalized vendor fields do not become device attestation.","trust_roots":[],"verifier_family_ids":["vstd-3-hardware"]},{"accepted_schema_ids":["VSTD-4"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run recheck or establish correctness beyond the bound mechanisms and trust roots.","component_id":"component:vstd4-evidence-rechecker","domain_tags":["evidence","receipt","reference"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Missing evidence, mechanism drift, or kernel failure prevents establishment.","freshness_behavior":"Recheck rehashes evidence and reruns registered mechanisms at call time.","implementation_ref":"verifier.core.depth:recheck_evidence_bound_vstd4_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"VERIFIER","label":"VSTD-4 evidence-bound receipt rechecker","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:vstd4-evidence-bound-recheck"],"native_inputs":["EvidenceStore","VSTD-4 receipt","mechanism registry"],"native_objects":["VSTD-4 evidence-bound receipt"],"native_outputs":["EvidenceBoundDepthResult"],"native_result_vocabulary":["ESTABLISHED","NOT_ESTABLISHED"],"native_system":"Verifier Standard evidence-bound VSTD-4 profile","native_versions":["EVIDENCE_BOUND","VSTD-4"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"The result is bounded to registered mechanisms, roots, and declared resource limits.","trust_roots":[],"verifier_family_ids":["vstd-4-evidence-bound"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not run the kernel or establish that the encoded proposition captures the world correctly.","component_id":"component:vstd4-grounded-certificate-kernel","domain_tags":["certificate","constraint","reference"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Malformed, ungrounded, or invalid derivations are rejected.","freshness_behavior":"The kernel checks one supplied certificate and optional binding.","implementation_ref":"verifier.core.kernel:check","interaction_modes":["STATIC"],"kind":"CONSTRAINT","label":"VSTD-4 grounded decision certificate kernel","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:vstd4-grounded-certificate-check"],"native_inputs":["DecisionCertificate","optional ClaimBinding"],"native_objects":["grounded decision certificate"],"native_outputs":["KernelResult"],"native_result_vocabulary":["ACCEPTED","REFUSED","REJECTED"],"native_system":"Verifier Standard grounded certificate kernel","native_versions":["VSTD4-GDC-1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"The certificate proves only its encoded and grounded finite proposition.","trust_roots":[],"verifier_family_ids":["vstd-4-evidence-bound"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not run proof checking or establish formula grounding, actor independence, or external truth.","component_id":"component:vstd4-refutation-checker","domain_tags":["certificate","checker","reference"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"A malformed, truncated, or non-implied proof step is rejected.","freshness_behavior":"The checker evaluates the supplied formula and proof without re-solving.","implementation_ref":"verifier.core.refutation:RefutationChecker.check","interaction_modes":["STATIC"],"kind":"CHECKER","label":"VSTD-4 reverse-unit-propagation proof checker","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:vstd4-refutation-proof-check"],"native_inputs":["RefutationCertificate","typed conjunctive-normal-form clauses"],"native_objects":["Boolean formula","refutation certificate"],"native_outputs":["RefutationCheckResult"],"native_result_vocabulary":["ACCEPTED","REJECTED"],"native_system":"Verifier Standard bounded refutation checker","native_versions":["VSTD4-RUP-1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["PRODUCES_CHECKABLE_REFUTATION"],"transformation_loss":"Acceptance is limited to reverse-unit-propagation validity of the supplied proof.","trust_roots":[],"verifier_family_ids":["vstd-4-evidence-bound"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not run proof search or establish that a formula encodes the intended real-world proposition.","component_id":"component:vstd4-refutation-producer","domain_tags":["certificate","proof","reference"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Proof or decision bounds terminate search as UNKNOWN rather than a verdict.","freshness_behavior":"The producer searches from the supplied formula under the declared bounds.","implementation_ref":"verifier.core.refutation:ProofProducingDPLL.solve","interaction_modes":["STATIC"],"kind":"PROVER","label":"Bounded VSTD-4 refutation proof producer","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:vstd4-refutation-proof-production"],"native_inputs":["declared proof bounds","typed conjunctive-normal-form clauses"],"native_objects":["Boolean formula"],"native_outputs":["ProofSearchResult","optional RefutationCertificate"],"native_result_vocabulary":["SAT","UNKNOWN","UNSAT"],"native_system":"Verifier Standard bounded refutation producer","native_versions":["VSTD4-RUP-1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["PRODUCES_CHECKABLE_REFUTATION"],"transformation_loss":"A bound-exceeded result carries no proof and remains UNKNOWN.","trust_roots":[],"verifier_family_ids":["vstd-4-evidence-bound"]},{"accepted_schema_ids":["VSTD-5"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run recheck, create an external witness, or establish independence by agreement.","component_id":"component:vstd5-witness-rechecker","domain_tags":["corroboration","receipt","witness"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Contradiction and unresolved independence remain conflicted or unknown.","freshness_behavior":"Recheck repeats every bound witness mechanism against the supplied evidence store.","implementation_ref":"verifier.core.witness:recheck_vstd5_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"VERIFIER","label":"VSTD-5 witness corroboration rechecker","lifecycle":"IMPLEMENTED","mechanism_ids":["mechanism:vstd5-witness-recheck"],"native_inputs":["EvidenceStore","VSTD-5 receipt","mechanism registry"],"native_objects":["VSTD-5 witness receipt"],"native_outputs":["WitnessCorroborationResult"],"native_result_vocabulary":["CONFLICTED","CORROBORATED","REFUTED","UNKNOWN"],"native_system":"Verifier Standard witness corroboration profile","native_versions":["VSTD-5"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"Normalized dimensions retain native disagreement but cannot create independent witnesses.","trust_roots":[],"verifier_family_ids":["vstd-5-witness"]}],"registry_version":"VSTD-REFERENCE-COMPONENTS-1.0","schema_version":"VSTD-INTEROPERABILITY-CATALOG-1.1"},"registry_sha256":"418d00ed21d1510cb56193b98e005853ad49eccd54dba5a470249ed17ab83048"}],"schema_version":"VSTD-COMPONENT-INDEX-1"}