{"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.5.0+git.f06414feec80","packages":[{"description":"Public source snapshot; Git HEAD f06414feec801c8b44a662d583ddff817ce22a1b; working tree dirty=false. Captured bytes, not HEAD alone, identify this snapshot. 43 first-party entrypoints across 19 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/bb46001e57c478dcdccd59ffdd32aa0657b65e4a8300a28a1f3aee0231f9041d.json","package_sha256":"bb46001e57c478dcdccd59ffdd32aa0657b65e4a8300a28a1f3aee0231f9041d","package_size_bytes":3831042,"package_version":"1.5.0+git.f06414feec80","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":["VSTD-FINITE-AUTHORITY-COMPOSITION-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match neither runs assessment nor establishes native input validity. Finite correspondence does not establish source grounding, self-derivation, stronger completeness, runtime behavior, general agency, or a six-axis silo-status upgrade.","component_id":"component:artifact-network-authority-composition-assessor","domain_tags":["artifact","authority","composition","experimental"],"emitted_schema_ids":["VSTD-FINITE-AUTHORITY-COMPOSITION-RESULT-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:61e3cb39f80878dfb57f54a34b3e7bddc0fcc71149a2c97eab162afaa754ba6c","RESOURCE_BOUNDS"],"failure_behavior":"Malformed binding remains INVALID; missing evidence, unsupported profiles and exceeded bounds remain UNKNOWN; definite correspondence mismatches and reachable authority removals remain separate negative results.","freshness_behavior":"Each call binds exact member and composite commits and model selections, then enumerates the bounded reachable asynchronous-interleaving product from supplied bytes without storage reads.","implementation_ref":"verifier.interoperability.authority_composition:assess_authority_composition","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental finite authority-composition assessor","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:finite-authority-composition-assessment"],"native_inputs":["VSTD-FINITE-AUTHORITY-COMPOSITION-0.1 canonical bytes","digest-keyed immutable evidence mapping"],"native_objects":["digest-keyed commit and authority-model bytes","exact finite authority-composition declaration"],"native_outputs":["VSTD-FINITE-AUTHORITY-COMPOSITION-RESULT-0.1 decoded object"],"native_result_vocabulary":["BOUND","INVALID","MATCHED","MISMATCH","PRESERVED","UNKNOWN","VIOLATED"],"native_system":"Verifier Standard experimental finite authority composition","native_versions":["ASYNCHRONOUS_INTERLEAVING","VSTD-FINITE-AUTHORITY-COMPOSITION-PROFILE-0.1","sha256:61e3cb39f80878dfb57f54a34b3e7bddc0fcc71149a2c97eab162afaa754ba6c"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:assesses-finite-authority-composition"],"transformation_loss":"The compiled inert profile identifies the declared rule, not implementation or execution identity. The retained FINITE_AUTHORITY_COMPOSITION.md specification bounds the model translation; the evidence mapping has no standalone serialized schema.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"accepted_schema_ids":["VSTD-BOUNDED-COMPLETENESS-0.1","VSTD-BOUNDED-COMPLETENESS-DENOMINATOR-0.1","VSTD-BOUNDED-COMPLETENESS-OBSERVATIONS-0.1","VSTD-SOURCE-GROUNDING-0.1","VSTD-SOURCE-GROUNDING-RECEIPT-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run bounded-completeness assessment. COMPLETE does not establish an exhaustive real-world denominator, source truth, correctness of member claims, or future completeness.","component_id":"component:artifact-network-bounded-completeness-assessor","domain_tags":["completeness","experimental","finite-set","grounding"],"emitted_schema_ids":["VSTD-BOUNDED-COMPLETENESS-RECEIPT-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:1938d311cc1383438475469456100db6108222893d6e626c6a01b629f43f0377","EXACT_SOURCE_GROUNDING_PROFILE:sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e","RESOURCE_BOUNDS"],"failure_behavior":"Extra observations, circular or malformed grounding, and substituted evidence remain INVALID; missing members remain INCOMPLETE; unsupported or exhausted evidence remains UNKNOWN.","freshness_behavior":"Each call rechecks the exact externally grounded finite census and every declared member observation from supplied retained evidence.","implementation_ref":"verifier.interoperability.bounded_completeness:assess_bounded_completeness","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental source-grounded bounded-completeness assessor","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:bounded-completeness-assessment"],"native_inputs":["VSTD-BOUNDED-COMPLETENESS-0.1 canonical immutable declaration bytes","digest-keyed immutable denominator, observation, and grounding evidence mapping"],"native_objects":["exact bounded-completeness declaration","grounded denominator and member observations"],"native_outputs":["BoundedCompletenessReceipt"],"native_result_vocabulary":["COMPLETE","INCOMPLETE","INVALID","UNKNOWN"],"native_system":"Verifier Standard experimental finite-denominator completeness replay","native_versions":["VSTD-BOUNDED-COMPLETENESS-MECHANISM-PROFILE-0.1","sha256:1938d311cc1383438475469456100db6108222893d6e626c6a01b629f43f0377","sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:assesses-bounded-completeness"],"transformation_loss":"COMPLETE is relative only to one exact grounded finite denominator and declared disposition checker; it is not open-world or semantic completeness.","trust_roots":[],"verifier_family_ids":["vstd-bounded-completeness"]},{"accepted_schema_ids":["VSTD-BOUNDED-COMPLETENESS-0.1","VSTD-BOUNDED-COMPLETENESS-DENOMINATOR-0.1","VSTD-BOUNDED-COMPLETENESS-OBSERVATIONS-0.1","VSTD-BOUNDED-COMPLETENESS-RECEIPT-0.1","VSTD-SOURCE-GROUNDING-0.1","VSTD-SOURCE-GROUNDING-RECEIPT-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run receipt rechecking. Receipt reproduction does not establish an exhaustive real-world denominator, source truth, future completeness, or implementation independence.","component_id":"component:artifact-network-bounded-completeness-receipt-rechecker","domain_tags":["completeness","experimental","finite-set","receipt"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:1938d311cc1383438475469456100db6108222893d6e626c6a01b629f43f0377","EXACT_SOURCE_GROUNDING_PROFILE:sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e","RESOURCE_BOUNDS"],"failure_behavior":"Malformed records and any deterministic replay mismatch raise BoundedCompletenessError; reproduced INCOMPLETE and UNKNOWN remain incomplete or unknown.","freshness_behavior":"Each call rebuilds the complete assessment from current retained evidence and requires exact canonical receipt reproduction.","implementation_ref":"verifier.interoperability.bounded_completeness:recheck_bounded_completeness_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental bounded-completeness receipt rechecker","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:bounded-completeness-receipt-recheck"],"native_inputs":["VSTD-BOUNDED-COMPLETENESS-0.1 canonical immutable declaration bytes","VSTD-BOUNDED-COMPLETENESS-RECEIPT-0.1 canonical immutable receipt bytes","digest-keyed immutable denominator, observation, and grounding evidence mapping"],"native_objects":["bounded-completeness receipt","exact declaration and retained evidence"],"native_outputs":["BoundedCompletenessReceipt"],"native_result_vocabulary":["COMPLETE","INCOMPLETE","INVALID","UNKNOWN"],"native_system":"Verifier Standard experimental finite-denominator completeness replay","native_versions":["VSTD-BOUNDED-COMPLETENESS-MECHANISM-PROFILE-0.1","sha256:1938d311cc1383438475469456100db6108222893d6e626c6a01b629f43f0377","sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:rechecks-bounded-completeness-receipt"],"transformation_loss":"Receipt equality is limited to the same exact finite denominator, profile, and reference mechanism and does not widen completeness scope.","trust_roots":[],"verifier_family_ids":["vstd-bounded-completeness"]},{"accepted_schema_ids":["VSTD-SILO-COMPOSITION-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run declaration decoding, resolve members, check general graph edges, establish TypeScript support, or grant composition admissibility.","component_id":"component:artifact-network-composition-declaration-decoder","domain_tags":["artifact","composition","experimental","network"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Malformed or noncanonical declarations raise NetworkError rather than yielding a partial declaration.","freshness_behavior":"Each call strictly reconstructs the supplied declaration and rejects noncanonical member order, duplicate members, unknown fields, and malformed digests.","implementation_ref":"verifier.interoperability.network:SiloComposition.from_dict","interaction_modes":["STATIC"],"kind":"ADAPTER","label":"Experimental strict silo-composition declaration decoder","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:artifact-network-composition-declaration-decode"],"native_inputs":["VSTD-SILO-COMPOSITION-0.1 decoded object"],"native_objects":["exact silo-composition declaration"],"native_outputs":["SiloComposition"],"native_result_vocabulary":[],"native_system":"Verifier Standard experimental verification-artifact network","native_versions":["VSTD-SILO-COMPOSITION-0.1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:decodes-silo-composition-declaration"],"transformation_loss":"Decoding retains exact member and optional composite commit digests but resolves no commit bytes or graph edges.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned match does not run receipt construction, establish an independently implemented checker, check general graph edges, establish TypeScript support, or prove artifact truth.","component_id":"component:artifact-network-composition-receipt-builder","domain_tags":["artifact","composition","experimental","receipt"],"emitted_schema_ids":["VSTD-SILO-COMPOSITION-ASSESSMENT-RECEIPT-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Unresolved, substituted, duplicate, or declaration-mismatched members raise NetworkError; nonadmissible assessed states remain NOT_ADMISSIBLE.","freshness_behavior":"Each call recomputes member and optional composite silo assessments from the supplied current content-addressed stores before binding the declaration, mechanism, nested receipts, and result.","implementation_ref":"verifier.interoperability.network:build_silo_composition_assessment_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"COLLECTOR","label":"Experimental silo-composition assessment receipt builder","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:artifact-network-composition-receipt-construction"],"native_inputs":["SiloComposition","ordered SiloCommit and ContentAddressedStore pairs"],"native_objects":["optional resolved composite silo","resolved member silos","typed silo-composition declaration"],"native_outputs":["SiloCompositionAssessmentReceipt"],"native_result_vocabulary":["ADMISSIBLE","NOT_ADMISSIBLE"],"native_system":"Verifier Standard experimental verification-artifact network","native_versions":["VSTD-SILO-COMPOSITION-MECHANISM-0.1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:constructs-silo-composition-assessment-receipt"],"transformation_loss":"The receipt covers only the exact declared silo composition and reference mechanism; it is not a general graph-edge assessment.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"accepted_schema_ids":["VSTD-SILO-COMPOSITION-ASSESSMENT-RECEIPT-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run receipt rechecking, supply an independent implementation, check general graph edges, establish TypeScript support, or extend the receipt beyond its declared silos.","component_id":"component:artifact-network-composition-receipt-rechecker","domain_tags":["artifact","composition","experimental","receipt"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Malformed receipts, changed evidence, declaration drift, mechanism drift, or any canonical mismatch raise NetworkError.","freshness_behavior":"Each call independently recomputes the complete reference receipt from the supplied declaration, current stores, and exact member and optional composite commits, then compares canonical bytes.","implementation_ref":"verifier.interoperability.network:recheck_silo_composition_assessment_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"VERIFIER","label":"Experimental silo-composition assessment receipt rechecker","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:artifact-network-composition-receipt-independent-recheck"],"native_inputs":["SiloComposition","SiloCompositionAssessmentReceipt or decoded receipt object","ordered SiloCommit and ContentAddressedStore pairs"],"native_objects":["exact declaration and resolved silos","silo-composition assessment receipt"],"native_outputs":["None on exact independent recomputation"],"native_result_vocabulary":[],"native_system":"Verifier Standard experimental verification-artifact network","native_versions":["VSTD-SILO-COMPOSITION-ASSESSMENT-RECEIPT-0.1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:rechecks-silo-composition-assessment-receipt"],"transformation_loss":"Equality establishes agreement with the same reference mechanism at the supplied coordinate, not implementation independence or a general graph-edge result.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"accepted_schema_ids":["VSTD-DERIVER-SELF-STATUS-0.1","VSTD-DERIVER-SELF-STATUS-RECEIPT-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not authorize or run rechecking. ESTABLISHED self-status does not establish global behavior, source correctness, completeness, safety, authorization, sandboxing, or another runtime.","component_id":"component:artifact-network-deriver-self-status-rechecker","domain_tags":["deriver","execution","experimental","receipt"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXPLICIT_PROCESS_EXECUTION_AUTHORIZATION","PUBLIC_NON_SECRET_ENVIRONMENT","RESOURCE_BOUNDS","SUPPORTED_WINDOWS_NATIVE_RUNTIME"],"failure_behavior":"Malformed or inconsistent bindings remain INVALID, reproducible disagreement remains REFUTED, and unsupported or unavailable execution remains UNKNOWN.","freshness_behavior":"Each supported call rehashes the executable and reruns the exact invocation in a new empty directory before comparing transcript bytes.","implementation_ref":"verifier.interoperability.deriver_self_status:recheck_deriver_self_status","interaction_modes":["LIVE_MUTATING"],"kind":"CHECKER","label":"Experimental actual deriver self-status rechecker","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:deriver-self-status-recheck"],"native_inputs":["VSTD-DERIVER-SELF-STATUS-0.1 canonical immutable declaration bytes","VSTD-DERIVER-SELF-STATUS-RECEIPT-0.1 canonical immutable receipt bytes","local executable filesystem path"],"native_objects":["exact deriver declaration and session receipt","local executable bytes"],"native_outputs":["DeriverSelfStatusAssessment"],"native_result_vocabulary":["ESTABLISHED","INVALID","REFUTED","UNKNOWN"],"native_system":"Verifier Standard experimental bounded native-process runner","native_versions":["VSTD-DERIVER-SELF-STATUS-CHECKER-0.1","sha256:b38d1badc7fd90e840f7f09d94f202268c5b74671de66df379395e5ab962cf2f"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:rechecks-deriver-session-receipt"],"transformation_loss":"ESTABLISHED covers one exact executable and declared runtime coordinate; it is not structural self-derivability, source semantics, or an execution sandbox.","trust_roots":[],"verifier_family_ids":["vstd-deriver-self-status"]},{"accepted_schema_ids":["VSTD-DERIVER-SELF-STATUS-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not authorize or run the deriver. A recorded invocation does not establish self-status, deterministic reproduction, sandboxing, source correctness, completeness, safety, or another runtime.","component_id":"component:artifact-network-deriver-session-recorder","domain_tags":["deriver","execution","experimental","receipt"],"emitted_schema_ids":["VSTD-DERIVER-SELF-STATUS-RECEIPT-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXPLICIT_PROCESS_EXECUTION_AUTHORIZATION","PUBLIC_NON_SECRET_ENVIRONMENT","RESOURCE_BOUNDS","SUPPORTED_WINDOWS_NATIVE_RUNTIME"],"failure_behavior":"Unsupported declarations do not run; start, timeout, output-limit, and capture failures remain explicit invocation states rather than successful transcripts.","freshness_behavior":"Each call rehashes the selected executable and launches one bounded invocation in a newly created empty working directory.","implementation_ref":"verifier.interoperability.deriver_self_status:record_deriver_session","interaction_modes":["LIVE_MUTATING"],"kind":"COLLECTOR","label":"Experimental bounded deriver session recorder","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:bounded-deriver-session-recording"],"native_inputs":["VSTD-DERIVER-SELF-STATUS-0.1 canonical immutable declaration bytes","local executable filesystem path"],"native_objects":["exact deriver-session declaration","local executable bytes and invocation"],"native_outputs":["DeriverSessionReceipt"],"native_result_vocabulary":["CAPTURE_FAILED","COMPLETED","NOT_RUN","OUTPUT_LIMIT_EXCEEDED","START_FAILED","TIMED_OUT"],"native_system":"Verifier Standard experimental bounded native-process runner","native_versions":["VSTD-DERIVER-SELF-STATUS-CHECKER-0.1","sha256:b38d1badc7fd90e840f7f09d94f202268c5b74671de66df379395e5ab962cf2f"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:records-deriver-session"],"transformation_loss":"The receipt retains one exact transcript and runtime coordinate, but not a sandbox, confidential environment, source semantics, or all executable behavior.","trust_roots":[],"verifier_family_ids":["vstd-deriver-self-status"]},{"accepted_schema_ids":["VSTD-FINITE-AUTHORITY-COMPOSITION-0.1","VSTD-SILO-COMMIT-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match or READY preflight does not run qualification, validate native local inputs, grant authorization, or close a geometry hole. Qualification is not a portable replay receipt, atomic filesystem snapshot, source proof, runtime/model correspondence, general composed agency result, or six-axis silo-status upgrade.","component_id":"component:artifact-network-finite-composition-qualifier","domain_tags":["artifact","authority","composition","experimental","network"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:61e3cb39f80878dfb57f54a34b3e7bddc0fcc71149a2c97eab162afaa754ba6c","EXACT_SELECTED_LOCAL_SILO_INPUTS","RESOURCE_BOUNDS"],"failure_behavior":"Qualification requires exact selection binding, legacy ADMISSIBLE, finite BOUND coordinates, MATCHED transitions, and both PRESERVED results. Malformed input remains INVALID; missing, unsupported, or bounded observations remain UNKNOWN or NOT_QUALIFIED, with both nested assessments and residual obligations retained.","freshness_behavior":"Each call reads the bounded local declaration and selected commit paths plus current content-addressed-store objects, then separately recomputes legacy admission and the finite asynchronous-interleaving assessment. Commit files are captured once per normalized path, but the full filesystem observation is not atomic.","implementation_ref":"verifier.interoperability.composition_qualification:qualify_silo_composition","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental selected finite silo-composition qualifier","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:artifact-network-finite-composition-qualification"],"native_inputs":["local composite ContentAddressedStore root","local composite silo-commit path","local path to VSTD-FINITE-AUTHORITY-COMPOSITION-0.1 canonical bytes","ordered local (ContentAddressedStore root, silo-commit path) member pairs"],"native_objects":["exact selected local silo composition","separate legacy and finite composition assessments"],"native_outputs":["unversioned composition qualification report retaining legacy and finite assessments"],"native_result_vocabulary":["FINITE_COMPOSITION_QUALIFIED","NOT_QUALIFIED"],"native_system":"Verifier Standard experimental verification-artifact network and finite authority composition","native_versions":["ASYNCHRONOUS_INTERLEAVING","VSTD-FINITE-AUTHORITY-COMPOSITION-PROFILE-0.1","VSTD-SILO-COMPOSITION-MECHANISM-0.1","sha256:61e3cb39f80878dfb57f54a34b3e7bddc0fcc71149a2c97eab162afaa754ba6c"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:qualifies-selected-finite-silo-composition"],"transformation_loss":"The local path and sequence arguments have no standalone serialized call schema, and the qualification report has no standalone wire discriminator. Nested finite results retain their own schema; selected byte digests do not establish source, custody, runtime, or implementation identity.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"accepted_schema_ids":["VSTD-CYCLE-RELATION-SEMANTICS-0.1","VSTD-GLOBAL-CYCLE-ASSESSMENT-0.1","VSTD-RELATION-BOUNDARY-RECEIPT-0.1","VSTD-SOURCE-GROUNDING-0.1","VSTD-SOURCE-GROUNDING-RECEIPT-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run global-cycle assessment. An ASSESSED finite graph does not establish physical causation, whole-system consistency, completeness, safety, or behavior outside selected relations.","component_id":"component:artifact-network-global-cycle-assessor","domain_tags":["cycle","experimental","graph","grounding"],"emitted_schema_ids":["VSTD-GLOBAL-CYCLE-ASSESSMENT-RECEIPT-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RELATION_BOUNDARY_PROFILE:sha256:bd861b3349380a791dd3f15d58a150d4a1473df85e596065f93dfda9b12bae19","EXACT_SOURCE_GROUNDING_PROFILE:sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e","RESOURCE_BOUNDS"],"failure_behavior":"Missing or ungrounded material and exhausted work remain UNKNOWN; digest, receipt, or semantic substitution remains INVALID; declared constraint inconsistency remains CONFLICTED.","freshness_behavior":"Each call rechecks every selected relation and its separately grounded semantic source, then recomputes bounded graph facets from supplied retained bytes.","implementation_ref":"verifier.interoperability.global_cycle_assessment:assess_global_cycles","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental grounded global-cycle assessor","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:grounded-global-cycle-assessment"],"native_inputs":["VSTD-GLOBAL-CYCLE-ASSESSMENT-0.1 canonical immutable declaration bytes","bounded maximum-work integer","digest-keyed typed CycleRelationMaterial mapping"],"native_objects":["exact global-cycle declaration","grounded relation-boundary materials"],"native_outputs":["GlobalCycleReceipt"],"native_result_vocabulary":["ASSESSED","CONFLICTED","INVALID","UNKNOWN"],"native_system":"Verifier Standard experimental grounded finite-graph cycle replay","native_versions":["VSTD-CYCLE-RELATION-SEMANTICS-0.1","VSTD-GLOBAL-CYCLE-ASSESSMENT-0.1","sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e","sha256:bd861b3349380a791dd3f15d58a150d4a1473df85e596065f93dfda9b12bae19"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:assesses-global-cycles"],"transformation_loss":"Support cycles, undirected equation or constraint loops, and explicit backward-time relations remain separate facets; no causal direction is inferred.","trust_roots":[],"verifier_family_ids":["vstd-global-cycle"]},{"accepted_schema_ids":["VSTD-CYCLE-RELATION-SEMANTICS-0.1","VSTD-GLOBAL-CYCLE-ASSESSMENT-0.1","VSTD-GLOBAL-CYCLE-ASSESSMENT-RECEIPT-0.1","VSTD-RELATION-BOUNDARY-RECEIPT-0.1","VSTD-SOURCE-GROUNDING-0.1","VSTD-SOURCE-GROUNDING-RECEIPT-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run receipt rechecking. Receipt reproduction does not establish physical causation, whole-system consistency, completeness, safety, or implementation independence.","component_id":"component:artifact-network-global-cycle-receipt-rechecker","domain_tags":["cycle","experimental","graph","receipt"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RELATION_BOUNDARY_PROFILE:sha256:bd861b3349380a791dd3f15d58a150d4a1473df85e596065f93dfda9b12bae19","EXACT_SOURCE_GROUNDING_PROFILE:sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e","RESOURCE_BOUNDS"],"failure_behavior":"Malformed records and any replay mismatch raise GlobalCycleError; reproduced CONFLICTED and UNKNOWN states remain conflicted or unknown.","freshness_behavior":"Each call rebuilds all cycle facets from current retained materials and requires exact canonical receipt bytes under the same work bound.","implementation_ref":"verifier.interoperability.global_cycle_assessment:recheck_global_cycle_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental global-cycle receipt rechecker","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:global-cycle-receipt-recheck"],"native_inputs":["VSTD-GLOBAL-CYCLE-ASSESSMENT-0.1 canonical immutable declaration bytes","VSTD-GLOBAL-CYCLE-ASSESSMENT-RECEIPT-0.1 canonical immutable receipt bytes","bounded maximum-work integer","digest-keyed typed CycleRelationMaterial mapping"],"native_objects":["exact declaration and grounded relation materials","global-cycle receipt"],"native_outputs":["GlobalCycleReceipt"],"native_result_vocabulary":["ASSESSED","CONFLICTED","INVALID","UNKNOWN"],"native_system":"Verifier Standard experimental grounded finite-graph cycle replay","native_versions":["VSTD-CYCLE-RELATION-SEMANTICS-0.1","VSTD-GLOBAL-CYCLE-ASSESSMENT-0.1","sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e","sha256:bd861b3349380a791dd3f15d58a150d4a1473df85e596065f93dfda9b12bae19"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:rechecks-global-cycle-receipt"],"transformation_loss":"Receipt equality preserves the assessor's separate cycle facets and finite bounds but adds no causal interpretation or independent implementation evidence.","trust_roots":[],"verifier_family_ids":["vstd-global-cycle"]},{"accepted_schema_ids":["VSTD-PROPOSITION-TRANSFER-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned mechanism match does not establish rule-profile compatibility or run assessment. Native results do not establish execution identity, authority, graph-wide deduction, six-axis silo completeness, or universal truth.","component_id":"component:artifact-network-proposition-transfer-assessor","domain_tags":["artifact","experimental","finite-set","proposition-transfer"],"emitted_schema_ids":["VSTD-PROPOSITION-TRANSFER-ASSESSMENT-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:0d26f06addc32e61e0ba68a466b4721db6a8ad2a46021c96f226da7d91b410bd","RESOURCE_BOUNDS"],"failure_behavior":"Malformed declarations raise PropositionTransferError; unsupported rules remain UNKNOWN, missing evidence does not erase known negatives, and a true target does not repair a failed transfer.","freshness_behavior":"Every call rechecks exact commit, census, artifact and context coordinates from retained bounded input bytes; it performs no storage reads.","implementation_ref":"verifier.interoperability.proposition_transfer:assess_transfer","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental finite-set proposition-transfer assessor","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:artifact-network-proposition-transfer-assessment"],"native_inputs":["VSTD-PROPOSITION-TRANSFER-0.1 canonical bytes","digest-keyed immutable evidence mapping"],"native_objects":["digest-keyed commit and artifact bytes","exact proposition-transfer declaration"],"native_outputs":["VSTD-PROPOSITION-TRANSFER-ASSESSMENT-0.1 decoded object"],"native_result_vocabulary":["FAIL","INVALID","NOT_ESTABLISHED","PASS","SUPPORTED","UNKNOWN"],"native_system":"Verifier Standard experimental direct finite-set transfer","native_versions":["VSTD-PROPOSITION-TRANSFER-RULE-0.1","canonical_finite_set_union_v1","sha256:0d26f06addc32e61e0ba68a466b4721db6a8ad2a46021c96f226da7d91b410bd"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:assesses-proposition-transfer"],"transformation_loss":"The compiled semantic profile is mirrored at src/verifier/profiles/proposition-transfer-rule-0.1.json; profile identity is not implementation or execution identity. Native evidence mappings have no standalone serialized schema.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"accepted_schema_ids":["VSTD-PROPOSITION-TRANSFER-0.1","VSTD-PROPOSITION-TRANSFER-RECEIPT-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned mechanism match does not establish rule-profile compatibility or run rechecking. Receipt equality does not establish execution identity, authority, graph-wide deduction, six-axis silo completeness, or universal truth.","component_id":"component:artifact-network-proposition-transfer-rechecker","domain_tags":["artifact","experimental","finite-set","proposition-transfer","receipt"],"emitted_schema_ids":["VSTD-PROPOSITION-TRANSFER-ASSESSMENT-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:0d26f06addc32e61e0ba68a466b4721db6a8ad2a46021c96f226da7d91b410bd","RESOURCE_BOUNDS"],"failure_behavior":"Malformed records or wrong declaration/profile binding raise PropositionTransferError; unequal current replay raises TRANSFER_NOT_REPRODUCED, not a forgery or negation verdict. Reproduced FAIL and UNKNOWN results remain negative or unknown.","freshness_behavior":"Every call rebuilds the complete semantic receipt using current supplied bounded evidence and compares exact canonical bytes, including negative and unknown fields.","implementation_ref":"verifier.interoperability.proposition_transfer:recheck_transfer_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental finite-set proposition-transfer receipt rechecker","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:artifact-network-proposition-transfer-recheck"],"native_inputs":["VSTD-PROPOSITION-TRANSFER-0.1 canonical bytes","VSTD-PROPOSITION-TRANSFER-RECEIPT-0.1 canonical bytes","digest-keyed immutable evidence mapping"],"native_objects":["digest-keyed commit and artifact bytes","exact proposition-transfer declaration and receipt"],"native_outputs":["VSTD-PROPOSITION-TRANSFER-ASSESSMENT-0.1 decoded object"],"native_result_vocabulary":["FAIL","INVALID","NOT_ESTABLISHED","PASS","SUPPORTED","UNKNOWN"],"native_system":"Verifier Standard experimental direct finite-set transfer","native_versions":["VSTD-PROPOSITION-TRANSFER-RULE-0.1","canonical_finite_set_union_v1","sha256:0d26f06addc32e61e0ba68a466b4721db6a8ad2a46021c96f226da7d91b410bd"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:rechecks-proposition-transfer-receipt"],"transformation_loss":"The compiled semantic profile is mirrored at src/verifier/profiles/proposition-transfer-rule-0.1.json; replay equality is not independent implementation or execution identity. Native evidence mappings have no standalone serialized schema.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"accepted_schema_ids":["VSTD-RELATION-BOUNDARY-0.1","VSTD-RELATION-BOUNDARY-EVIDENCE-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run relation-boundary assessment. ESTABLISHED facet preservation does not establish whole-artifact equivalence, physical causality, source truth, or producer independence.","component_id":"component:artifact-network-relation-boundary-assessor","domain_tags":["artifact","boundary","experimental","relation"],"emitted_schema_ids":["VSTD-RELATION-BOUNDARY-RECEIPT-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:bd861b3349380a791dd3f15d58a150d4a1473df85e596065f93dfda9b12bae19","RESOURCE_BOUNDS"],"failure_behavior":"Aliased evidence, invalid topology, malformed frames, and nonreproducing execution evidence remain INVALID; unsupported frames or missing evidence remain UNKNOWN.","freshness_behavior":"Each call replays the exact declared facet map from supplied source, target, and execution-evidence bytes without storage or network reads.","implementation_ref":"verifier.interoperability.relation_boundary:qualify_relation_boundary","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental relation-boundary assessor","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:relation-boundary-assessment"],"native_inputs":["VSTD-RELATION-BOUNDARY-0.1 canonical immutable declaration bytes","digest-keyed immutable source, target, and execution-evidence mapping"],"native_objects":["digest-keyed endpoint and execution-evidence bytes","exact relation-boundary declaration"],"native_outputs":["RelationBoundaryReceipt"],"native_result_vocabulary":["ESTABLISHED","INVALID","REFUTED","UNKNOWN"],"native_system":"Verifier Standard experimental relation-boundary replay","native_versions":["VSTD-RELATION-BOUNDARY-MECHANISM-PROFILE-0.1","sha256:bd861b3349380a791dd3f15d58a150d4a1473df85e596065f93dfda9b12bae19"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:assesses-relation-boundary"],"transformation_loss":"Only declared consumed, preserved, and lost facets are compared. The bounded map does not infer undeclared semantic equivalence or causal direction.","trust_roots":[],"verifier_family_ids":["vstd-relation-boundary"]},{"accepted_schema_ids":["VSTD-RELATION-BOUNDARY-0.1","VSTD-RELATION-BOUNDARY-EVIDENCE-0.1","VSTD-RELATION-BOUNDARY-RECEIPT-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run receipt rechecking. Receipt reproduction does not establish whole-artifact equivalence, physical causality, source truth, or implementation independence.","component_id":"component:artifact-network-relation-boundary-receipt-rechecker","domain_tags":["artifact","boundary","experimental","receipt","relation"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:bd861b3349380a791dd3f15d58a150d4a1473df85e596065f93dfda9b12bae19","RESOURCE_BOUNDS"],"failure_behavior":"Malformed declarations or receipts and any replay mismatch raise RelationBoundaryError; reproduced REFUTED and UNKNOWN remain negative or unknown.","freshness_behavior":"Each call rebuilds the relation-boundary receipt from current supplied retained bytes and requires exact canonical reproduction.","implementation_ref":"verifier.interoperability.relation_boundary:recheck_relation_boundary_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental relation-boundary receipt rechecker","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:relation-boundary-receipt-recheck"],"native_inputs":["VSTD-RELATION-BOUNDARY-0.1 canonical immutable declaration bytes","VSTD-RELATION-BOUNDARY-RECEIPT-0.1 canonical immutable receipt bytes","digest-keyed immutable source, target, and execution-evidence mapping"],"native_objects":["exact declaration and retained endpoint evidence","relation-boundary receipt"],"native_outputs":["RelationBoundaryReceipt"],"native_result_vocabulary":["ESTABLISHED","INVALID","REFUTED","UNKNOWN"],"native_system":"Verifier Standard experimental relation-boundary replay","native_versions":["VSTD-RELATION-BOUNDARY-MECHANISM-PROFILE-0.1","sha256:bd861b3349380a791dd3f15d58a150d4a1473df85e596065f93dfda9b12bae19"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:rechecks-relation-boundary-receipt"],"transformation_loss":"Replay equality is scoped to the same declared facet map and reference implementation; it adds no undeclared relation semantics.","trust_roots":[],"verifier_family_ids":["vstd-relation-boundary"]},{"accepted_schema_ids":["VSTD-AUTHORITY-MODEL-0.1","VSTD-DERIVER-SELF-STATUS-0.1","VSTD-DERIVER-SELF-STATUS-RECEIPT-0.1","VSTD-RUNTIME-AUTHORITY-CORRESPONDENCE-0.1","VSTD-RUNTIME-AUTHORITY-TRACE-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not authorize or run the native process. ESTABLISHED correspondence and COMPLETE finite coverage do not establish authorization, actual deployment, source correctness, secrecy, safety, or unobserved behavior.","component_id":"component:artifact-network-runtime-authority-correspondence-assessor","domain_tags":["authority","execution","experimental","runtime"],"emitted_schema_ids":["VSTD-RUNTIME-AUTHORITY-CORRESPONDENCE-RECEIPT-0.1"],"execution_prerequisites":["EXACT_DERIVER_PROFILE:sha256:b38d1badc7fd90e840f7f09d94f202268c5b74671de66df379395e5ab962cf2f","EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:7cf801b37eb3e0da73b57af35d857b39985f4011fd643ada4a0b32abf5062db3","EXPLICIT_PROCESS_EXECUTION_AUTHORIZATION","PUBLIC_NON_SECRET_ENVIRONMENT","RESOURCE_BOUNDS","SUPPORTED_WINDOWS_NATIVE_RUNTIME"],"failure_behavior":"Malformed or substituted bytes remain INVALID, observed correspondence disagreement remains REFUTED, incomplete finite coverage remains INCOMPLETE, and unsupported execution remains UNKNOWN.","freshness_behavior":"A supported call rechecks one exact deriver execution against the local executable, then replays its exact standard-output trace over the finite authority model.","implementation_ref":"verifier.interoperability.runtime_authority_correspondence:build_runtime_authority_correspondence_receipt","interaction_modes":["LIVE_MUTATING"],"kind":"CHECKER","label":"Experimental runtime-authority correspondence assessor","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:runtime-authority-correspondence-assessment"],"native_inputs":["VSTD-RUNTIME-AUTHORITY-CORRESPONDENCE-0.1 canonical immutable declaration bytes","digest-keyed immutable retained evidence dictionary","optional local deriver executable filesystem path"],"native_objects":["exact runtime-authority declaration","retained model, artifact, trace, and deriver evidence"],"native_outputs":["RuntimeAuthorityReceipt"],"native_result_vocabulary":["COMPLETE","ESTABLISHED","INCOMPLETE","INVALID","REFUTED","UNKNOWN"],"native_system":"Verifier Standard experimental retained-trace and native-process replay","native_versions":["VSTD-RETAINED-EVENT-TRACE-REPLAY-0.1","VSTD-RUNTIME-AUTHORITY-CORRESPONDENCE-PROFILE-0.1","sha256:7cf801b37eb3e0da73b57af35d857b39985f4011fd643ada4a0b32abf5062db3","sha256:b38d1badc7fd90e840f7f09d94f202268c5b74671de66df379395e5ab962cf2f"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:assesses-runtime-authority-correspondence"],"transformation_loss":"The receipt covers only observed events and an explicit finite transition denominator; it is not an attestation of deployment, continuity, actor identity, or all runtime behavior.","trust_roots":[],"verifier_family_ids":["vstd-runtime-authority"]},{"accepted_schema_ids":["VSTD-RUNTIME-AUTHORITY-CORRESPONDENCE-RECEIPT-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not authorize or run receipt rechecking. Receipt reproduction does not establish authorization, actual deployment, source correctness, secrecy, safety, or implementation independence.","component_id":"component:artifact-network-runtime-authority-correspondence-receipt-rechecker","domain_tags":["authority","execution","experimental","receipt","runtime"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_DERIVER_PROFILE:sha256:b38d1badc7fd90e840f7f09d94f202268c5b74671de66df379395e5ab962cf2f","EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:7cf801b37eb3e0da73b57af35d857b39985f4011fd643ada4a0b32abf5062db3","EXPLICIT_PROCESS_EXECUTION_AUTHORIZATION","PUBLIC_NON_SECRET_ENVIRONMENT","RESOURCE_BOUNDS","SUPPORTED_WINDOWS_NATIVE_RUNTIME"],"failure_behavior":"Malformed, forged, or nonreproducing receipts remain INVALID; unsupported or resource-limited replay remains UNKNOWN; only exact reconstruction yields ESTABLISHED.","freshness_behavior":"Each supported call reconstructs retained evidence from the receipt and reruns the bound deriver execution before requiring exact receipt reproduction.","implementation_ref":"verifier.interoperability.runtime_authority_correspondence:recheck_runtime_authority_correspondence_receipt","interaction_modes":["LIVE_MUTATING"],"kind":"CHECKER","label":"Experimental runtime-authority correspondence receipt rechecker","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:runtime-authority-correspondence-receipt-recheck"],"native_inputs":["VSTD-RUNTIME-AUTHORITY-CORRESPONDENCE-RECEIPT-0.1 canonical immutable receipt bytes","optional local deriver executable filesystem path"],"native_objects":["local deriver executable bytes","runtime-authority correspondence receipt"],"native_outputs":["ReceiptRecheck"],"native_result_vocabulary":["ESTABLISHED","INVALID","UNKNOWN"],"native_system":"Verifier Standard experimental retained-trace and native-process replay","native_versions":["VSTD-RETAINED-EVENT-TRACE-REPLAY-0.1","VSTD-RUNTIME-AUTHORITY-CORRESPONDENCE-PROFILE-0.1","sha256:7cf801b37eb3e0da73b57af35d857b39985f4011fd643ada4a0b32abf5062db3","sha256:b38d1badc7fd90e840f7f09d94f202268c5b74671de66df379395e5ab962cf2f"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:rechecks-runtime-authority-correspondence-receipt"],"transformation_loss":"Reproduction uses the same reference mechanisms and local executable; it is not independent implementation, deployment, custody, or all-runtime evidence.","trust_roots":[],"verifier_family_ids":["vstd-runtime-authority"]},{"accepted_schema_ids":["VSTD-SOURCE-GROUNDING-0.1","VSTD-SOURCE-GROUNDING-CERTIFICATE-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run source-grounding assessment. An ESTABLISHED bounded proposition does not establish source truth, custody, authorization, broader semantic grounding, or producer independence.","component_id":"component:artifact-network-source-grounding-assessor","domain_tags":["artifact","experimental","grounding","source"],"emitted_schema_ids":["VSTD-SOURCE-GROUNDING-RECEIPT-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e","RESOURCE_BOUNDS"],"failure_behavior":"Substitution, malformed canonical records, circular evidence, and nonreproducing certificates remain INVALID; absent or unsupported evidence remains UNKNOWN.","freshness_behavior":"Each call replays the exact declared proposition from supplied retained source and certificate bytes; it performs no storage or network reads.","implementation_ref":"verifier.interoperability.source_grounding:qualify_source_grounding","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental source-grounding assessor","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:source-grounding-assessment"],"native_inputs":["VSTD-SOURCE-GROUNDING-0.1 canonical immutable declaration bytes","digest-keyed immutable source and certificate evidence mapping"],"native_objects":["digest-keyed source and certificate bytes","exact source-grounding declaration"],"native_outputs":["SourceGroundingReceipt"],"native_result_vocabulary":["ESTABLISHED","INVALID","REFUTED","UNKNOWN"],"native_system":"Verifier Standard experimental source-grounding replay","native_versions":["VSTD-SOURCE-GROUNDING-MECHANISM-PROFILE-0.1","sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:assesses-source-grounding"],"transformation_loss":"The result covers one canonical JavaScript Object Notation path-equality proposition and one semantic frame. Profile identity is not producer or implementation independence.","trust_roots":[],"verifier_family_ids":["vstd-source-grounding"]},{"accepted_schema_ids":["VSTD-SOURCE-GROUNDING-0.1","VSTD-SOURCE-GROUNDING-CERTIFICATE-0.1","VSTD-SOURCE-GROUNDING-RECEIPT-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run receipt rechecking. Receipt reproduction does not establish source truth, custody, authorization, broader semantic grounding, or implementation independence.","component_id":"component:artifact-network-source-grounding-receipt-rechecker","domain_tags":["artifact","experimental","grounding","receipt","source"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e","RESOURCE_BOUNDS"],"failure_behavior":"Malformed records and any current replay mismatch raise SourceGroundingError; reproduced REFUTED and UNKNOWN results remain negative or unknown.","freshness_behavior":"Each call rebuilds the full receipt from the current supplied declaration and retained evidence, then compares exact canonical bytes.","implementation_ref":"verifier.interoperability.source_grounding:recheck_source_grounding_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental source-grounding receipt rechecker","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:source-grounding-receipt-recheck"],"native_inputs":["VSTD-SOURCE-GROUNDING-0.1 canonical immutable declaration bytes","VSTD-SOURCE-GROUNDING-RECEIPT-0.1 canonical immutable receipt bytes","digest-keyed immutable source and certificate evidence mapping"],"native_objects":["exact declaration and retained evidence bytes","source-grounding receipt"],"native_outputs":["SourceGroundingReceipt"],"native_result_vocabulary":["ESTABLISHED","INVALID","REFUTED","UNKNOWN"],"native_system":"Verifier Standard experimental source-grounding replay","native_versions":["VSTD-SOURCE-GROUNDING-MECHANISM-PROFILE-0.1","sha256:a520ce44d1fb45c2480dda8cf261cdf12eb6a37b2737da974046c595d228426e"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:rechecks-source-grounding-receipt"],"transformation_loss":"Exact replay equality uses the same reference mechanism and does not establish an independently implemented checker or historical producer execution.","trust_roots":[],"verifier_family_ids":["vstd-source-grounding"]},{"accepted_schema_ids":["VSTD-SILO-TRANSFER-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned match does not run transfer validation, contact a deployed service, establish publisher identity, prove artifact truth, or qualify any untested platform coordinate.","component_id":"component:artifact-network-transfer-materializer","domain_tags":["artifact","experimental","interoperability","network"],"emitted_schema_ids":["VSTD-SILO-EXPORT-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","RESOURCE_BOUNDS"],"failure_behavior":"Malformed, oversized, incomplete, substituted, noncanonical, or signature-invalid transfers are rejected and cannot leave a successful destination.","freshness_behavior":"Each call revalidates the supplied transfer bytes and the newly materialized destination tree.","implementation_ref":"verifier.interoperability.network:materialize_silo_transfer","interaction_modes":["OFFLINE_REPLAY"],"kind":"ADAPTER","label":"Experimental artifact-network transfer materializer","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:artifact-network-transfer-materialization"],"native_inputs":["absent destination path","canonical transfer bytes or decoded transfer object"],"native_objects":["bounded signed complete-snapshot silo transfer"],"native_outputs":["VSTD-SILO-EXPORT-0.1 portable manifest","materialized content-addressed silo"],"native_result_vocabulary":[],"native_system":"Verifier Standard experimental verification-artifact network","native_versions":["VSTD-SILO-TRANSFER-0.1"],"optional_dependencies":["cryptography for Ed25519 signature verification"],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":[],"transformation_loss":"Materialization preserves the selected snapshot bytes but does not preserve a live endpoint, publisher custody, or service history.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"accepted_schema_ids":["VSTD-TYPED-FORMATION-0.1","VSTD-TYPED-FORMATION-CERTIFICATE-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned mechanism match does not establish rule-profile compatibility or execution. Finite formation does not establish source self-derivation, grounding, completeness, authority axiom agency, historical execution, implementation independence, or a silo-status upgrade.","component_id":"component:artifact-network-typed-formation-checker","domain_tags":["artifact","certificate","experimental","typed-formation"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:271760d604e1ade55cba4974c658b92263bd3ee8ae343677dd91d0e713fb677f","RESOURCE_BOUNDS"],"failure_behavior":"Known malformed or substituted records, proof steps, types and endpoints yield INVALID; unsupported schema/profile and exceeded resource ceilings yield UNKNOWN. Only a complete bounded check yields CHECKED.","freshness_behavior":"Every call independently reconstructs finite typed nodes and paths from the exact supplied subject and certificate bytes; no producer, stored verdict or external artifact is consulted.","implementation_ref":"verifier.interoperability.formation_checker:check_formation","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental finite typed-formation certificate checker","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:typed-formation-certificate-check"],"native_inputs":["VSTD-TYPED-FORMATION-0.1 canonical immutable subject bytes","VSTD-TYPED-FORMATION-CERTIFICATE-0.1 canonical immutable certificate bytes"],"native_objects":["exact formation certificate","finite typed-formation subject"],"native_outputs":["typed-formation report mapping (unversioned)"],"native_result_vocabulary":["CHECKED","INVALID","UNKNOWN"],"native_system":"Verifier Standard experimental finite typed formation","native_versions":["VSTD-TYPED-FORMATION-PROFILE-0.1","sha256:271760d604e1ade55cba4974c658b92263bd3ee8ae343677dd91d0e713fb677f"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:checks-typed-formation-certificate"],"transformation_loss":"The inert profile is retained at src/verifier/profiles/typed-formation-0.1.json; profile identity is not implementation identity. The report has no standalone serialized schema, preserves all residual obligations, and distinguishes normalized denotation from exact formation identity.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"accepted_schema_ids":["VSTD-TYPED-FORMATION-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned mechanism match does not establish rule-profile compatibility or execution. Finite formation does not establish source self-derivation, grounding, completeness, authority axiom agency, historical execution, implementation independence, or a silo-status upgrade.","component_id":"component:artifact-network-typed-formation-producer","domain_tags":["artifact","certificate","experimental","typed-formation"],"emitted_schema_ids":["VSTD-TYPED-FORMATION-CERTIFICATE-0.1"],"execution_prerequisites":["EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:271760d604e1ade55cba4974c658b92263bd3ee8ae343677dd91d0e713fb677f","RESOURCE_BOUNDS"],"failure_behavior":"Malformed syntax or incompatible formation raises FormationError; unsupported schema/profile raises UnsupportedFormation and exceeded finite bounds raise FormationLimitError. No partial certificate is returned.","freshness_behavior":"Each call constructs a certificate for exactly one supplied finite subject and the compiled profile; it does not call the checker.","implementation_ref":"verifier.interoperability.formation_producer:produce_formation_certificate","interaction_modes":["STATIC"],"kind":"PROVER","label":"Experimental finite typed-formation certificate producer","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:typed-formation-certificate-production"],"native_inputs":["VSTD-TYPED-FORMATION-0.1 canonical immutable subject bytes"],"native_objects":["finite typed-formation subject"],"native_outputs":["VSTD-TYPED-FORMATION-CERTIFICATE-0.1 canonical immutable certificate bytes"],"native_result_vocabulary":[],"native_system":"Verifier Standard experimental finite typed formation","native_versions":["VSTD-TYPED-FORMATION-PROFILE-0.1","sha256:271760d604e1ade55cba4974c658b92263bd3ee8ae343677dd91d0e713fb677f"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:produces-typed-formation-certificate"],"transformation_loss":"The inert profile is retained at src/verifier/profiles/typed-formation-0.1.json; src/verifier/specifications/TYPED_FORMATION.md and src/verifier/schemas/vstd-typed-formation-0.1.schema.json define the bounded contract. Certificate production emits no acceptance verdict and does not discharge residual source obligations.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"accepted_schema_ids":["VSTD-SILO-COMMIT-0.1","VSTD-SILO-FORMATION-RECEIPT-0.1","VSTD-SILO-FORMATION-SELECTION-0.1"],"availability":"AVAILABLE","claim_boundary":"A planned mechanism match does not establish rule-profile compatibility or execution. Finite formation does not establish source self-derivation, grounding, completeness, authority axiom agency, historical execution, implementation independence, or a silo-status upgrade.","component_id":"component:artifact-network-typed-formation-receipt-rechecker","domain_tags":["artifact","experimental","receipt","typed-formation"],"emitted_schema_ids":[],"execution_prerequisites":["EXACT_FORMATION_SELECTION","EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:271760d604e1ade55cba4974c658b92263bd3ee8ae343677dd91d0e713fb677f","OBSERVED_CENSUS_BYTES","RESOURCE_BOUNDS"],"failure_behavior":"Malformed, unsupported, over-budget or mismatched input raises FormationReceiptError. Unequal replay is FORMATION_RECEIPT_NOT_REPRODUCED, not forgery or claim negation. Reproduced INVALID, UNKNOWN and INCOMPLETE remain negative or uncertain results.","freshness_behavior":"Every call captures bounded input bytes, reruns formation inspection, reconstructs the observed-evidence-bound receipt and compares its complete canonical bytes. No stored verdict is trusted or submitted code executed.","implementation_ref":"verifier.interoperability.formation_receipt:recheck_formation_receipt","interaction_modes":["OFFLINE_REPLAY"],"kind":"CHECKER","label":"Experimental finite-formation receipt rechecker","lifecycle":"EXPERIMENTAL","mechanism_ids":["mechanism:typed-formation-receipt-recheck"],"native_inputs":["VSTD-SILO-COMMIT-0.1 canonical immutable commit bytes","VSTD-SILO-FORMATION-RECEIPT-0.1 canonical immutable receipt bytes","VSTD-SILO-FORMATION-SELECTION-0.1 canonical immutable selection bytes","bounded ordinary digest-keyed immutable evidence dictionary"],"native_objects":["exact formation selection and receipt","selected commit and observed census bytes"],"native_outputs":["retained-silo formation inspection mapping (unversioned)"],"native_result_vocabulary":["BOUND","CHECKED","COMPLETE","INCOMPLETE","INVALID","MATCHED","UNKNOWN"],"native_system":"Verifier Standard experimental finite typed formation","native_versions":["VSTD-TYPED-FORMATION-PROFILE-0.1","sha256:271760d604e1ade55cba4974c658b92263bd3ee8ae343677dd91d0e713fb677f"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:rechecks-typed-formation-receipt"],"transformation_loss":"The inert profile is retained at src/verifier/profiles/typed-formation-0.1.json; src/verifier/specifications/FORMATION_RECEIPT.md defines strict selection and observed-evidence binding. The returned inspection has no standalone wire discriminator. Receipt identity is not implementation or execution identity; provider diagnostics are not portable evidence bytes.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"accepted_schema_ids":[],"availability":"AVAILABLE","claim_boundary":"A planned mechanism match does not establish rule-profile compatibility or execution. Finite formation does not establish source self-derivation, grounding, completeness, authority axiom agency, historical execution, implementation independence, or a silo-status upgrade.","component_id":"component:artifact-network-typed-formation-session-mechanism","domain_tags":["artifact","certificate","experimental","typed-formation"],"emitted_schema_ids":[],"execution_prerequisites":["DECLARED_CONTEXT_DIGESTS","EXACT_BOUND_PROPOSITION","EXACT_IMPLEMENTATION_COORDINATE","EXACT_NATIVE_INPUT","EXACT_RULE_PROFILE:sha256:271760d604e1ade55cba4974c658b92263bd3ee8ae343677dd91d0e713fb677f","EXPLICIT_MECHANISM_INSTANCE","RESOURCE_BOUNDS"],"failure_behavior":"Recognized binding or formation failures yield FAIL only for the exact certificate predicate; unsupported declarations, missing evidence, exhausted bounds and execution failure remain UNKNOWN. Pure checker results and every residual obligation remain separate.","freshness_behavior":"This reference names an unbound instance method: explicitly construct FormationPathCertificateMechanism() and invoke its bound evaluate, or register that instance in VerificationSession. Catalog matching never instantiates it. Admitted evaluation requires exact predicate, expected CHECKED, profile, subject and declared context bindings, and rehashes the ordered evidence pair. Early refusals can precede pure checking.","implementation_ref":"verifier.interoperability.formation_mechanism:FormationPathCertificateMechanism.evaluate","interaction_modes":["OFFLINE_REPLAY"],"kind":"ADAPTER","label":"Experimental typed-formation native session adapter","lifecycle":"EXPERIMENTAL","mechanism_ids":["vstd.typed_formation.checked.0.1"],"native_inputs":["BoundProposition typed native declaration (unversioned)","ordered immutable subject/certificate byte pair (unversioned)"],"native_objects":["exact evidence-bound formation proposition","ordered subject and certificate bytes"],"native_outputs":["MechanismDecision with preserved formation_report and residual_obligations (unversioned)"],"native_result_vocabulary":["FAIL","PASS","UNKNOWN"],"native_system":"Verifier Standard experimental finite typed formation","native_versions":["VSTD-TYPED-FORMATION-PROFILE-0.1","sha256:271760d604e1ade55cba4974c658b92263bd3ee8ae343677dd91d0e713fb677f","vstd.typed_formation.checked.0.1"],"optional_dependencies":[],"planning_surface_schema_ids":["VSTD-2"],"supported_relations":["relation:checks-bound-typed-formation-proposition"],"transformation_loss":"The inert profile is retained at src/verifier/profiles/typed-formation-0.1.json; this typed wrapper has no standalone serialized input or result schema. Its implementation digest binds four selected source files plus profile, not loaded code or full dependencies. Ground and agency trust roots remain declared assumptions.","trust_roots":[],"verifier_family_ids":["artifact-network"]},{"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.5","schema_version":"VSTD-INTEROPERABILITY-CATALOG-1.1"},"registry_sha256":"19c66c0803b4e145495c11a13f168a8ab7e7400499300751146bc5392e95423e"}],"schema_version":"VSTD-COMPONENT-INDEX-1"}