| { |
| "audit_kind": "static source review; no model or workflow executed by fixture authoring agent", |
| "effects": { |
| "dynamic_eval_exec_in_runtime_source": [], |
| "execution_time": [ |
| "Initializers use torch random normal and zero operations.", |
| "Forward uses ordinary CPU-capable PyTorch operations; CPU-only proof is produced only by release execution.", |
| "HF/QFS dynamic-code loader may fetch and verify explicitly selected immutable Hub source; this is loader activity, not runtime-source network behavior." |
| ], |
| "filesystem_calls_in_runtime_source": [], |
| "import_time": [ |
| "Imports installed torch/transformers modules; transitive dependency import effects are not independently sandboxed.", |
| "Obtains module logger through transformers.utils.logging.get_logger.", |
| "Defines classes/functions and evaluates type annotations and can_return_tuple decorator.", |
| "Appends Spark2_5RMSNorm to transformers.pytorch_utils.ALL_LAYERNORM_LAYERS; global normalization registry mutation retained from upstream." |
| ], |
| "network_calls_in_runtime_source": [], |
| "scope_exclusion": "Build/verification/publication scripts live in the evidence repository and are separately invoked tools, not auto_map imports. The model repo has only the two runtime .py files; original upstream .py bytes are preserved with an inert .py.txt suffix. release.py performs intended subprocesses and Hub mutations only when Main/user executes it.", |
| "subprocess_calls_in_runtime_source": [] |
| }, |
| "imports": { |
| "dependencies": [ |
| "torch", |
| "transformers" |
| ], |
| "optional_accelerator_imports": [], |
| "relative": [ |
| "configuration_spark" |
| ], |
| "standard_library": [ |
| "math", |
| "typing (reviewed compatibility import)" |
| ] |
| }, |
| "known_upstream_semantics": [ |
| "Rotary positions are taken from cache_position; arbitrary per-example position_ids are not newly supported by this fork. Fixture uses contiguous unpadded positions.", |
| "Eager attention only, as upstream; no FlashAttention/SDPA claim." |
| ], |
| "license": { |
| "file_evidence": "LICENSE contains full Apache 2.0 and Copyright 2026 XHToken; configuration_spark.py carries Apache header; modeling_spark.py has no original per-file header but is covered by repository LICENSE", |
| "metadata": "README.md frontmatter license apache-2.0", |
| "retention": [ |
| "LICENSE", |
| "NOTICE", |
| "upstream/LICENSE", |
| "upstream/configuration_spark.py.txt in model; upstream/configuration_spark.py in evidence", |
| "upstream/modeling_spark.py.txt in model; upstream/modeling_spark.py in evidence" |
| ], |
| "spdx": "Apache-2.0", |
| "upstream_notice": "No NOTICE file in pinned repository sibling inventory." |
| }, |
| "patches": [ |
| { |
| "change": "Import Unpack from Python3.12 typing instead of removed transformers.processing_utils re-export; annotations only, no model math changes.", |
| "file": "modeling_spark.py", |
| "installed_api": "transformers/processing_utils.py imports typing_extensions but no longer exports Unpack", |
| "mathematical_change": false |
| }, |
| { |
| "change": "Add pinned source attribution and Apache notice.", |
| "file": "modeling_spark.py", |
| "mathematical_change": false |
| }, |
| { |
| "change": "Mask helper input_embeds renamed inputs_embeds; obsolete cache_position keyword removed. Transformers5.16 infers mask offsets from Cache and position_ids.", |
| "file": "modeling_spark.py", |
| "installed_api": "transformers/masking_utils.py create_causal_mask and create_sliding_window_causal_mask signatures", |
| "mathematical_change": false |
| }, |
| { |
| "change": "Replace Transformers4 tied-key list with Transformers5 target/source mapping lm_head.weight -> model.embedding.weight.", |
| "file": "modeling_spark.py", |
| "installed_api": "transformers/modeling_utils.py get_expanded_tied_weights_keys", |
| "mathematical_change": false |
| }, |
| { |
| "change": "Use self.lm_head(hidden_states) for both tied and untied configurations; declared tying aliases the original embedding parameter, retaining F.linear operands without duplicate invented head weights. Enables actual output-module pre-hook.", |
| "file": "modeling_spark.py", |
| "mathematical_change": false, |
| "proof": "verify_native.py checks pointer alias and actual hooked-head logits bit-exact equality to upstream F.linear." |
| } |
| ], |
| "preserved_equations": [ |
| "GQA eager attention with FP32 softmax", |
| "three sliding layers then one full layer", |
| "per-attention-type partial RoPE and theta", |
| "headwise sigmoid output gating", |
| "GELU(gate_proj(x))*up_proj(x) MLP", |
| "RMSNorm and FP32 residual stream", |
| "legitimately tied output vocabulary head" |
| ], |
| "runtime_files": { |
| "configuration_spark.py": "02218597240490f490659b184052db940b08163ff9c3af7b7e59323f6f963722", |
| "modeling_spark.py": "ba15bd14cca26322c9461ee2cf129423b59a5122826449947f7bb1acf5d9f2a6" |
| }, |
| "schema": "malaiwah.spark2-5-upstream-code-audit.v1", |
| "upstream": { |
| "repository": "XHToken/Spark-X2.5-4B", |
| "revision": "5e10fcc0286756aebf7c41dc52c1e42d95c70281" |
| }, |
| "upstream_files": { |
| "LICENSE": { |
| "bytes": 11338, |
| "sha256": "525c465ab952779d2d360a9ff36f7f49ae018a23d80302ff839a850a77784c36" |
| }, |
| "README.md": { |
| "bytes": 24346, |
| "sha256": "7aac2c2e00d2c8ea608254c9085152c853282d93dad0312c62d7ba328bc6a5be" |
| }, |
| "config.json": { |
| "bytes": 2035, |
| "sha256": "767161ece8ed2891e44345afdf98d29c1cacb964116cb6db7d20dc1c757490ad" |
| }, |
| "configuration_spark.py": { |
| "bytes": 4329, |
| "sha256": "02218597240490f490659b184052db940b08163ff9c3af7b7e59323f6f963722" |
| }, |
| "modeling_spark.py": { |
| "bytes": 19418, |
| "sha256": "9cf0d1ad2b54b9f7088792779ddd8b5cb4d4fe63bfea054da7f2dd16362bcaf4" |
| } |
| }, |
| "verification_entrypoint": "verify_native.py; results only exist after stage execution" |
| } |
|
|
